_____ \/ 5*x + 11 > x + 1
sqrt(5*x) + 11 > x + 1
And(0 <= x, x < 20)
(0 <= x)∧(x < 20)
[0, 20)
x in Interval.Ropen(0, 20)