WolframAlpha computational knowledge AI
2(x+1)+4=12