WolframAlpha computational knowledge AI
solve abs (x-3) >= 5