Assertion list for term "solve mathematical problems".

Results from Ascent++: 1
miner CapableOfsolve mathematical problems 0.54