abs(2 x-2)-9 > 0