WolframAlpha computational knowledge AI
x'-x/(t-1)=t^2+2