YES

TRS:

  c(z,x,a()) -> f(b(b(f(z),z),x))
  b(y,b(z,a())) -> f(b(c(f(a()),y,z),z))
  f(c(c(z,a(),a()),x,a())) -> z

max/plus interpretations on N:

  c_A(x1,x2,x3) = max{1, 16 + x1, -41, 29}
  c#_A(x1,x2,x3) = max{41, -7 + x1, 5 + x2, 4 + x3}
  a_A = 51
  a#_A = 41
  f_A(x1) = max{10, -32 + x1}
  f#_A(x1) = max{0, 4}
  b_A(x1,x2) = max{9, 12 + x1, 49}
  b#_A(x1,x2) = max{2, 5 + x1, -8 + x2}

precedence:

  b > c = a > f