let mathd-algebra-181 = `!n:real.
    ~(n = &3) /\
    ((n + &5) / (n - &3) = &2)
==>
    n = &11
`;;