WolframAlpha computational knowledge AI
solve [a==b+x, b]