`(2x^4 + 5x + x^3 - 2 - 3x^3) : (x^2 + 1 - x)`
`⇔ (2x^4 - 2x^3 + 5x - 2) : (x^2 - x + 1)`
`⇔ (2x^4 - 2x^3 + 2x - 2) : (x^2 - x + 1) + 3x : (x^2 - x + 1)`
`⇔ [2x^3(x - 1) + 2(x - 1)] : (x^2 - x + 1) + 3x : (x^2 - x + 1)`
`⇔ (2x^3 + 2)(x - 1) : (x^2 - x + 1) + 3x : (x^2 - x + 1)`
`⇔ 2(x^3 + 1)(x - 1) : (x^2 - x + 1) + 3x : (x^2 - x + 1)`
`⇔ 2(x + 1)(x^2 - x + 1)(x - 1) : (x^2 - x + 1) + 3x : (x^2 - x + 1)`
`⇔ 2(x + 1)(x - 1) + 3x : (x^2 - x + 1)`
`⇔ 2(x^2 - 1) + (3x)/(x^2 - x + 1)`
