(2a^2-1)(a-4)-(a^2+3)(2a-5)