let mathd-algebra-24 = `!x. (x / &50 = &40) ==> x = &2000`;;