________________ / 2 \/ - x + 6*x - 5 > -2*x + 8
sqrt(-x^2 + 6*x - 5) > 8 - 2*x
And(x <= 5, 3 < x)
(x <= 5)∧(3 < x)
(3, 5]
x in Interval.Lopen(3, 5)