http://maxima.hatenablog.jp/entry/2014/05/18/225800

maximaでいくつか入試問題を解いているけど
Mathematicaでも似たような感じなのでは?