abs(x+3) <= 3