x > 7 + y, 2x > 4 + 3y