let mathd-algebra-80 = `!x. ~(x = -- &1) /\ ((x - &9) / (x + &1) = &2) ==> x = -- &11`;;