x - (-10) ≤ -15