let mathd-algebra-251 = `!x:real.
    ~(x = &0) /\
    (&3 + &1 / x = &7 / x)
==>
    x = &2
`;;