X es un número positivo
X > 0
X es par positivo
(X MOD 2 = 0) AND (X > 0)
X es un año del siglo XX
(X >= 1900) AND (X <= 1999)
X es negativo
X < 0
X es impar negativo
(X < 0) AND (X MOD 2 <> 0)
X es un número de 4 dígitos que comienza con 4
(X >= 1000) AND (X <= 9999) AND (X / 1000 = 4)
X es par
X MOD 2 = 0
X está entre 10 y 20
(10 <= X) AND (X <= 20)
X es un número de 5 dígitos que comienza con 1 y termina en 9
(X >= 10000) AND (X <= 99999) AND (X / 10000 = 1) AND (X MOD 10 = 9)
X es multiplo de Y
X MOD Y = 0
X e Y se distancian entre ellos por 5
(X - Y = -5) OR (X - Y = 5)
X es un número de dos digitos idénticos
(X >= 10) AND (X <= 99) AND (X MOD 10 = X / 10)
X termina en 0
X MOD 10 = 0
X es un número de 6 dígitos
(X >= 100000) AND (X <= 999999)
X es un año bisiesto
???