WolframAlpha computational knowledge AI
x^2+2ix+3=a,a<0