{(x^5-x^2)/x^2 >= (x^3-1)/(4x^2),abs(2x^2+(19/8)*x-1/8)>=3x^2+x/8-19/8}