WolframAlpha computational knowledge AI
solve 4x-1=13