let amc12b-2021-p3 = `!x:real.
    (&2 + &1 / (&1 + &1 / (&2 + &2 / (&3 + x))) = &144 / &53)
==>
    (x = &3 / &4)
`;;