___ ________ _______ \/ x > \/ 10 - x - \/ x - 5
sqrt(x) > sqrt(10 - x) - sqrt(x - 5)
And(x <= 10, 5 < x)
(x <= 10)∧(5 < x)
(5, 10]
x in Interval.Lopen(5, 10)