_______ \/ x - 5 < x - 7
sqrt(x - 5) < x - 7
(9, oo)
x in Interval.open(9, oo)
And(9 < x, x < oo)
(9 < x)∧(x < oo)