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