WolframAlpha computational knowledge AI
{ S1+S2=17; (S1-3)=2*(S2+3-5) }