Fixed handling of zero equalities.
Merge branch 'experiment' of https://github.com/avigad/polya into experiment
Updates sample problems.