2 x + 3*x + 5 >= 0
x^2 + 3*x + 5 >= 0
(-oo, oo)
x in Interval(-oo, oo)
And(-oo < x, x < oo)
(-oo < x)∧(x < oo)