NO

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

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