abs(3x-15) = 0