x > 0; x + 2 > 5; y >= 4; z <= 7;