___ ___ _____ \/ x + 6 > \/ x + 7 + \/ 2*x - 5
sqrt(x) + 6 > sqrt(2*x) + sqrt(x) + 7 - 5
[0, 8)
x in Interval.Ropen(0, 8)
And(0 <= x, x < 8)
(0 <= x)∧(x < 8)