WolframAlpha computational knowledge AI
solve ab+c=0 for c