4y + 3 ≤ y