YES

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

(COMMENT
Termination is shown by KBO with weight

  w0 = 1
  w(a) = 111
  w(c) = 10
  w(b) = 160
  w(u) = 158
  w(v) = 65
  w(w) = 1

and precedence:

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