resultant(x^4 - x^3 + 2 x^2 + x + 1, z - x^3 - 1, x)