PolynomialRemainder[x^5 + x^2 + x + 1, x^3-x, x]