Some random problems in integer arithmetic,
taken from http://lira.gforge.avacs.org/toolpaper/