x^2+5<y