Java Programming with Z3 APIs

Need a passionate programmer who is willing to help out with some somewhat short tasks. I would like to potentially work with you for a long time.

The first required work is attached. Please take a look and send your proposal if you can solve if all correct.

**Please note: Preference goes to whose who bid the lowest and can get over such work successfully.**

Thanks!