(- (+ (* 5 6) 42) (/ 7 8))