In problem 87:
(= (__ 3 4 5 60) '(= (+ (* 3 4) 5) 60))
should be:
(= (__ 3 4 5 60) '(= (* 3 4 5) 60))
and the last two:
(= (__ 1 2 10 100 2001) '(= (+ 1 (* 2 10 100)) 2001)
(= (__ 1 2 10 100 1300) '(= (* (+ 1 2 10) 100) 1300)
are missing an ending parenthesis