400 <= x + y <= 600, 200 < x < 300, 100 < y < 400, y => (2/3)(x)