多項式の因数分解

高校生がこのような問題を解いていました。
次の式を因数分解せよ
　x⁴+5x³+5x²-5x-6
これは比較的簡単な問題ですが、もっと面倒な問題もいっぱいあります。因数分解の問題をたくさんやらせているのは日本だけだと聞いたことがあります。
スマホでも簡単に解ける時代なのでそろそろ日本の数学の教育も内容を見直しても良いのでは？
この問題をPythonで解いてみました。
———————————
import sympy
x = sympy.Symbol(‘x’)
f = x*x*x*x+5*x*x*x+5*x*x-5*x-6
f2 = sympy.factor(f)
print(f2)
—————————–
(x – 1)*(x + 1)*(x + 2)*(x + 3)