______________ / 2 \/ t + 4*t - 5 - 2*t + 3 > 0
-2*t + sqrt(t^2 + 4*t - 5) + 3 > 0
/ / ____\ \ | | 8 \/ 22 | | Or|And|1 <= x, x < - + ------|, And(x <= -5, -oo < x)| \ \ 3 3 / /
((x <= -5)∧(-oo < x))∨((1 <= x)∧(x < 8/3 + sqrt(22)/3))
____ 8 \/ 22 (-oo, -5] U [1, - + ------) 3 3
x in Union(Interval(-oo, -5), Interval.Ropen(1, sqrt(22)/3 + 8/3))