_____________ _________________ _______ / 2 / 2 / x + 7 \/ x - x - 56 - \/ x - 25*x + 136 < 8* / ----- \/ x - 8
-sqrt(x^2 - 25*x + 136) + sqrt(x^2 - x - 56) < 8*sqrt((x + 7)/(x - 8))
Or(And(x <= -7, -oo < x), And(18 < x, x < 20))
((x <= -7)∧(-oo < x))∨((18 < x)∧(x < 20))
(-oo, -7] U (18, 20)
x in Union(Interval(-oo, -7), Interval.open(18, 20))