WolframAlpha computational knowledge AI
x<y&|x|=|y|