(= (< 1 12) (>= 54 32))