$$4x + x^2y^3 - xy^2 - 4y = (4x - 4y) + (x^2y^3 - xy^2) = 4(x - y) + xy^2(xy - 1)$$.
Ответ: $$4(x - y) + xy^2(xy - 1)$$