abs(x+3) + 7 <= 10