let mathd-algebra-33 = `!x y z. ~(x = &0) /\ &2 * x = &5 * y /\ &7 * y = &10 * z ==> z / x = &7 / &25`;;