let mathd-algebra-440 = `!x:real. (&3 / &2 / &3 = x / &10) ==> x = &5`;;