YES

(VAR x0)
(RULES
  u(w(w(w(w(u(x0)))))) -> w(w(w(u(w(w(w(w(w(x0)))))))))
  u(w(w(w(w(w(u(x0))))))) -> w(w(w(w(w(w(u(w(w(w(x0))))))))))
  u(w(w(u(x0)))) -> w(w(u(w(w(w(w(x0)))))))
  u(w(u(x0))) -> w(w(w(w(u(w(x0))))))
  u(u(x0)) -> w(w(w(w(w(u(w(w(w(w(w(w(x0))))))))))))
  u(w(w(w(w(w(w(u(x0)))))))) -> w(u(w(w(x0))))
  u(w(w(w(u(x0))))) -> w(w(w(w(x0))))
  c(x0) -> w(w(w(w(w(w(x0))))))
  w(w(w(w(w(w(w(x0))))))) -> x0
  a(x0) -> w(w(w(u(w(w(w(x0)))))))
  v(x0) -> w(w(u(w(w(w(x0))))))
  b(x0) -> u(w(x0))
)

(COMMENT
Termination is shown by ELPO with interpretations on natural numbers

  a_A(x1) = x1 + 1969
  c_A(x1) = x1 + 109
  b_A(x1) = x1 + 12475
  u_A(x1) = x1 + 328
  v_A(x1) = x1 + 2079
  w_A(x1) = x1 + 18
  a#_A(x1) = x1
  b#_A(x1) = x1
  u#_A(x1) = x1
  v#_A(x1) = x1
  w#_A(x1) = x1

and precedence:

b > v > a > u > c > w
)