let mathd-algebra-116 = `!k:real x:real.
    (x = (&13 - sqrt (&131)) / (&4)) /\
    (&2 * x pow 2 - &13 * x + k = &0)
==>
    (k = (&19) / (&4))
`;;