WolframAlpha computational knowledge AI
induction 3 divides n^3 - 7 n + 3