NO

Problem:
 0(1(2(3(4(5(1(x))))))) -> 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x)))))))))))))))))))
 0(1(2(3(4(5(1(x))))))) ->
 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x)))))))))))))))))))))))))

Proof:
 Nonconfluence Processor:
  terms: 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(x))))))))))))))))))) *<- 
  0(1(2(3(4(5(1(x))))))) ->* 1(2(3(4(5(1(1(0(1(2(3(4(5(0(1(2(3(4(5(0(1(2(3(4(5(x)))))))))))))))))))))))))
  Qed