制約抜けてないか
その書き方だと x = -b * a^(-1) (mod 1e9 + 7) で終わりに見える