(<= (+ (- 5 3) 42) (- 7 2))