(setmodulus 5)
(simple)
vars x,y;6*x*y;
