(<> (< (- (- (+ 5 (* 7 12)) 14) 10) (* (* 6 5) 7)) (= (< 1 12) (>= 54 32)))