WolframAlpha computational knowledge AI
solve a(n+1)=a(n)-3, a(1)=50