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