WolframAlpha computational knowledge AI
solve 3x+4y=5 over the integers