resout 4*x-12=0
Let's solve in <math><mi>ℝ</mi></math>: <math><mn>4</mn><mi>x</mi><mo> -</mo><mn>12</mn><mo> = </mo><mn>0</mn></math> <math><mn>4</mn><mi>x</mi><mo> = </mo><mn>12</mn></math> <math><mi>x</mi><mo> = </mo><mfrac><mrow><mn>12</mn></mrow><mrow><mn>4</mn></mrow></mfrac></math> ▷<b>Answer: <math><mi>x</mi><mo> = </mo><mn>3</mn></math></b><span style='font-size:smaller'> (computation required 3 steps and 2 ms)</span>
