YES

TRS:

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

linear polynomial interpretations on N:

  d_A(x1) = x1 + 6
  d#_A(x1) = x1 + 6
  e_A(x1) = x1 + 3
  e#_A(x1) = x1 + 3
  u_A(x1) = x1 + 2
  u#_A(x1) = x1 + 2
  c_A(x1) = x1
  c#_A(x1) = x1
  b_A(x1) = x1 + 2
  b#_A(x1) = x1 + 2
  v_A(x1) = x1
  v#_A(x1) = x1
  a_A(x1) = x1
  a#_A(x1) = x1

precedence:

  d > u = b > e = c = v = a