WolframAlpha computational knowledge AI
solve xy'+y=2x