let mathd-algebra-125 = `!x:int y:int. x > &0 /\ y > &0 /\ &5 * x = y /\ x - &3 + y - &3 = &30 ==> x = &6`;;