y - 6 ≥ 12