WolframAlpha computational knowledge AI
solve x, (20 - 3 - 6 - x) / 32 >= 0.5