WolframAlpha computational knowledge AI
Reduce56 x12 , x, Integers