plusx0xplus0yyplussxysplusxytimes0y0timess0yytimessxyplusytimesxydiv0y0divxyquotxyyquot0syz0quotsxsyzquotxyzquotx0szsdivxszdivdivxyzdivxtimesyzplussxyplusxytimessxyplusytimesxytimessxytimesxydivxyquotxyyquotsxsyzquotxyzquotx0szdivxszdivdivxyzdivxtimesyzdivdivxyztimesyztruedivxyquotxyyquotsxsyzquotxyzquotx0szdivxszdivdivxyzdivxtimesyztrue12341div211quot311s1111000div21112times20plus20divxyquotxyyquotx0szdivxszdivdivxyzdivxtimesyz1div211quot311000s10div211112times20plus20divxyquotxyyquotx0szdivxsz1div212quot312001s10divxyquotxyydivxyquotxyyfalsedivdivxyztimesyzfalse123timessxytimesxytrue121times211s1111timessxyplusytimesxyfalse1plussxyplusxytrue1plus211s1111