2 x - 8*x + 13 x - 1 ------------- <= ----- x - 6 2
(x^2 - 8*x + 13)/(x - 6) <= (x - 1)/2
(-oo, 4] U [5, 6)
x in Union(Interval(-oo, 4), Interval.Ropen(5, 6))
Or(And(5 <= x, x < 6), And(x <= 4, -oo < x))
((5 <= x)∧(x < 6))∨((x <= 4)∧(-oo < x))