WolframAlpha computational knowledge AI
���(4x+1)���^2=x^3+x+1 mod 7