(x mod 5)=0 and (x mod 2)=0
 abs(x)>=y and abs(x)<>Z
x=int(x) and a>=0
(x=0 and y<>0) or( x<>0 and y=0)