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