(let ((x 1) (y 2)) (and (> y x) (= (* x y) 2)))