WolframAlpha computational knowledge AI
solve linear equations x=3y+7, x=2y-1