abs(x+2)>8-abs(x-4)