Разложить на множители:
ab^2-b2^y-ax+xy-b^2-x
a2^b-ab^2-ac+ab+bc+c
ax^2-2ax-bx^2+2bx-b+a
(bx^2+x)(a-y+1+a+y-1)=bx^2+x