2 6*a < a + 10
6*a < a^2 + 10
(-oo, oo)
a in Interval(-oo, oo)
And(-oo < a, a < oo)
(-oo < a)∧(a < oo)