3 > 2

And[3 > 2, 3 > 7]

Or[3 > 2, 3 > 7]

Implies[3 > 2, 3 > 7]

Implies[3 > 7, 3 > 2]

IntegerQ[1/2]

Clear[LeapQ]; 
    LeapQ[y_] := 
      Or[And[IntegerQ[(y/4)], Not[IntegerQ[(y/100)]]], 
        IntegerQ[(y/400)]]

LeapQ[2100]