______________ / 2 \/ x - 8*x + 7 > 3 - x
sqrt(x^2 - 8*x + 7) > 3 - x
Or(And(7 <= x, x < oo), And(-oo < x, x < -1))
((7 <= x)∧(x < oo))∨((-oo < x)∧(x < -1))
(-oo, -1) U [7, oo)
x in Union(Interval.open(-oo, -1), Interval(7, oo))