WolframAlpha computational knowledge AI
2 + 2^(p+1) == 3^p