x* y z 5, x y 5 x&&z y 1 x+y+z, x y z 10 +5 -5, x 5-y 5, x 5 y 2 x and y, x 5 y 3 y* x+5, x 2+y 5 z 3, x 5+y 5 1, x+y+z 5 xy+yz+zx 3, x y+2 z-5, y 5x 4 y 5x x 0, x+y+z 5 xy+yz+xz 3, y x+ 5*3, x/3 y/4 z/5
x y z 5-x 5-y 5-z 5. There are any references about x y z 5-x 5-y 5-z 5 in here. you can look below.