https://reduce-algebra.sourceforge.io/
    を ご使用ですか?

https://reduce-algebra.sourceforge.io/tutorials/pure-tutorial.php
Problem3 ; 12|7^n - 3^(n + 1) + 2
            が例示されていますが
       
7^n - 3^(n + 1) + 2 を 解とする ●漸化式をつくり
            其れを証明願います;
    (何故 この発想による証明を推奨されないのでしょうか?)

Problem2 ; Z/11*Z に於ける ↓の連立方程式を解いて下さい;
{4*x + 7*y = 4, 2*x + 6*y = 1}

http://www.jssac.org/Editor/Suushiki/V18/No2/V18N2_130.pdf