WolframAlpha computational knowledge AI
solve {2*m + N*s = W, 2*m + M*s = H, W>0, H>0, M>0, N>0, s>0} for m and s over the reals