Factoring trinomials a>1