Factoring a quadratic with a negative leading coefficient