let mathd-algebra-263 = `!y:real.
    (&0 <= &19 + &3 * y) /\
    (sqrt (&19 + &3 * y) = &7)
==>
    (y = &10)
`;;