minimize -(x^3 + 5*y -2^z) subject to x -0.5*y+z^2 <= 50 AND mod(x, 4) + y/2 <= 1.5