abs(x^2-ax-5)<x+1