WolframAlpha computational knowledge AI
solve a/x > 1/abs(x-1) for x