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 + 5
  d#_A(x1) = x1 + 5
  e_A(x1) = x1 + 1
  e#_A(x1) = x1 + 1
  u_A(x1) = x1 + 3
  u#_A(x1) = x1 + 3
  c_A(x1) = x1 + 4
  c#_A(x1) = x1 + 4
  b_A(x1) = x1 + 4
  b#_A(x1) = x1 + 4
  v_A(x1) = x1 + 1
  v#_A(x1) = x1 + 1
  a_A(x1) = x1 + 1
  a#_A(x1) = x1 + 1

precedence:

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