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