(check-expect (penalty-points 1 true false false) -100 )
(check-expect (penalty-points 1 true true false) -200)
(check-expect (penalty-points 1 true true true) -400)
(check-expect (penalty-points 3 true false false) -300)
(check-expect (penalty-points 3 true true false) -800)
(check-expect (penalty-points 3 true true true) -1600)
(check-expect (penalty-points 5 true false false) -500)
(check-expect (penalty-points 5 true true false) -1400)
(check-expect (penalty-points 5 true true true) -2800)
(check-expect (penalty-points 1 false false false) -50)
(check-expect (penalty-points 1 false true false) -100)
(check-expect (penalty-points 1 false true true) -200)
(check-expect (penalty-points 2 false false false) -100)
(check-expect (penalty-points 2 false true false) -300)
(check-expect (penalty-points 2 false true true) -600)
(check-expect (penalty-points 4 false false false) -200)
(check-expect (penalty-points 4 false true false) -800)
(check-expect (penalty-points 4 false true true) -1600)