YES

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

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

  b_A(x1) = x1
  u_A(x1) = x1
  a_A(x1) = x1
  w_A(x1) = x1 + 5
  c_A(x1) = x1
  v_A(x1) = x1 + 1
  u#_A(x1) = 0
  a#_A(x1) = 0

and precedence:

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