In Maple there is a command, testeq, that checks a purported identity by numerically substituting random values for variables to establish falsehood with certainty or truth (with high probability). Is there an equivalent command in Maxima? Paul Channell