(= (* 7 9) (+ (+ 8 (* 6 4)) (< 3 (<> (/ 7 6) 19))))