These examples were explored in Maple.  Our theory stopped with essentially linear systems, and did not extend to doing more than running Maple to solve non-linear problems such as the last two!