ab^2=-1
-ab(a^2b^5-ab^3-b)
= -ab{ a^2b^4 * b - ab^2 * b - b)
= -ab{ (-1)^2 * b - (-1) * b - b)
= -ab{ b + b - b)
= -ab^2
= 1