Yes, it is divisible, as there is no remainder.
Following are the steps for division:
Step 1. Multiply x with x6 to get x7, Remainder =−ax6+a7
Step 2. Multiply x with −ax5to get −ax6, remainder= a2x5+a7
Our target would be to reduce the first term of the remainder.
This steps will continue to go unless all the terms are cancelled by division.
Step 6: Multiply x with −a5x to get−a5x2, Remainder =a6x+a7
Step 7: Multiply x with a6 to get a6x, Remainder =0