YES

TRS:

  a(c(d(x))) -> c(x)
  u(b(d(d(x)))) -> b(x)
  v(a(a(x))) -> u(v(x))
  v(a(c(x))) -> u(b(d(x)))
  v(c(x)) -> b(x)
  w(a(a(x))) -> u(w(x))
  w(a(c(x))) -> u(b(d(x)))
  w(c(x)) -> b(x)

max/plus interpretations on N:

  a_A(x1) = max{3, -17 + x1}
  a#_A(x1) = max{0, 165 + x1}
  c_A(x1) = max{3, -125 + x1}
  c#_A(x1) = max{2, 112 + x1}
  d_A(x1) = max{71, 67 + x1}
  d#_A(x1) = max{149, 1 + x1}
  u_A(x1) = max{2, -72 + x1}
  u#_A(x1) = max{131, 111 + x1}
  b_A(x1) = max{2, -141 + x1}
  b#_A(x1) = max{132, -1}
  v_A(x1) = max{55, -4 + x1}
  v#_A(x1) = max{167, 144 + x1}
  w_A(x1) = max{1, -1 + x1}
  w#_A(x1) = max{2, 147 + x1}

precedence:

  a > v > u > w > d > b > c