


{x < 3, y >= 5, y < 8}

x = x+ 1
y = y + 2
z = 2*(x + y)


{x < 10, y < 50, y> 6, z < 60, z > 16}