2 ___ (x - 5) < \/ 7 *(x - 5)
(x - 5)^2 < sqrt(7)*(x - 5)
___ (5, 5 + \/ 7 )
x in Interval.open(5, sqrt(7) + 5)
/ ___\ And\5 < x, x < 5 + \/ 7 /
(5 < x)∧(x < 5 + sqrt(7))