NO

Problem:
 a(b(a(a(a(a(a(a(a(a(a(x))))))))))) -> a(a(a(a(a(a(a(a(a(a(a(b(a(b(x))))))))))))))

Proof:
 Nonconfluence Processor:
  terms: a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(a(b(a(b(a(a(b(a(b(a(b(a(b(x61))))))))))))))))))))))))))))))))) *<- 
  a(b(a(a(a(a(a(a(a(a(a(b(a(a(a(a(a(a(a(a(a(x61))))))))))))))))))))) ->* 
  a(a(a(a(a(a(a(a(a(a(a(b(a(b(b(a(a(a(a(a(a(a(a(a(x61))))))))))))))))))))))))
  Qed