YES

TRS:

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

max/plus interpretations on N:

  b_A(x1,x2) = max{2, 16 + x1, 20 + x2}
  b#_A(x1,x2) = max{14, -17 + x1, 1}
  c_A(x1,x2,x3) = max{1, 29, 29 + x2, 32 + x3}
  c#_A(x1,x2,x3) = max{0, 2 + x1, -2 + x2, x3}
  a_A = 1
  a#_A = 0
  f_A(x1) = max{14, -7 + x1}
  f#_A(x1) = max{14, -18}

precedence:

  c > b = a > f