WolframAlpha computational knowledge AI
factor t^4+7 mod 17