-4y - x ≥ 7