resultant(α^3 - 5, x - a - b α - c α^2, α)