-3c + 8 ≤ -1