let mathd-algebra-110 = `!q:complex e:complex.
    (q = Cx(&2) - Cx(&2) * ii) /\
    (e = Cx(&5) + Cx(&5) * ii)
==>
    q * e = Cx(&20)
`;;