WolframAlpha computational knowledge AI
solve 7y-5 = 3y+1 for y