let mathd-algebra-275 = `!x:real.
    (exp ((&3 * x - &3) * ln (exp ((&1 / &4) * ln(&11)))) = &1 / &5)
==>
    (exp ((&6 * x + &2) * ln (exp ((&1 / &4) * ln(&11)))) = &121 / &25)
`;;