YES
Input TRS:
      1: a____(__(X,Y),Z) -> a____(mark(X),a____(mark(Y),mark(Z)))
      2: a____(X,nil()) -> mark(X)
      3: a____(nil(),X) -> mark(X)
      4: a__U11(tt()) -> tt()
      5: a__U21(tt(),V2) -> a__U22(a__isList(V2))
      6: a__U22(tt()) -> tt()
      7: a__U31(tt()) -> tt()
      8: a__U41(tt(),V2) -> a__U42(a__isNeList(V2))
      9: a__U42(tt()) -> tt()
      10: a__U51(tt(),V2) -> a__U52(a__isList(V2))
      11: a__U52(tt()) -> tt()
      12: a__U61(tt()) -> tt()
      13: a__U71(tt(),P) -> a__U72(a__isPal(P))
      14: a__U72(tt()) -> tt()
      15: a__U81(tt()) -> tt()
      16: a__isList(V) -> a__U11(a__isNeList(V))
      17: a__isList(nil()) -> tt()
      18: a__isList(__(V1,V2)) -> a__U21(a__isList(V1),V2)
      19: a__isNeList(V) -> a__U31(a__isQid(V))
      20: a__isNeList(__(V1,V2)) -> a__U41(a__isList(V1),V2)
      21: a__isNeList(__(V1,V2)) -> a__U51(a__isNeList(V1),V2)
      22: a__isNePal(V) -> a__U61(a__isQid(V))
      23: a__isNePal(__(I,__(P,I))) -> a__U71(a__isQid(I),P)
      24: a__isPal(V) -> a__U81(a__isNePal(V))
      25: a__isPal(nil()) -> tt()
      26: a__isQid(a()) -> tt()
      27: a__isQid(e()) -> tt()
      28: a__isQid(i()) -> tt()
      29: a__isQid(o()) -> tt()
      30: a__isQid(u()) -> tt()
      31: mark(__(X1,X2)) -> a____(mark(X1),mark(X2))
      32: mark(U11(X)) -> a__U11(mark(X))
      33: mark(U21(X1,X2)) -> a__U21(mark(X1),X2)
      34: mark(U22(X)) -> a__U22(mark(X))
      35: mark(isList(X)) -> a__isList(X)
      36: mark(U31(X)) -> a__U31(mark(X))
      37: mark(U41(X1,X2)) -> a__U41(mark(X1),X2)
      38: mark(U42(X)) -> a__U42(mark(X))
      39: mark(isNeList(X)) -> a__isNeList(X)
      40: mark(U51(X1,X2)) -> a__U51(mark(X1),X2)
      41: mark(U52(X)) -> a__U52(mark(X))
      42: mark(U61(X)) -> a__U61(mark(X))
      43: mark(U71(X1,X2)) -> a__U71(mark(X1),X2)
      44: mark(U72(X)) -> a__U72(mark(X))
      45: mark(isPal(X)) -> a__isPal(X)
      46: mark(U81(X)) -> a__U81(mark(X))
      47: mark(isQid(X)) -> a__isQid(X)
      48: mark(isNePal(X)) -> a__isNePal(X)
      49: mark(nil()) -> nil()
      50: mark(tt()) -> tt()
      51: mark(a()) -> a()
      52: mark(e()) -> e()
      53: mark(i()) -> i()
      54: mark(o()) -> o()
      55: mark(u()) -> u()
      56: a____(X1,X2) -> __(X1,X2)
      57: a__U11(X) -> U11(X)
      58: a__U21(X1,X2) -> U21(X1,X2)
      59: a__U22(X) -> U22(X)
      60: a__isList(X) -> isList(X)
      61: a__U31(X) -> U31(X)
      62: a__U41(X1,X2) -> U41(X1,X2)
      63: a__U42(X) -> U42(X)
      64: a__isNeList(X) -> isNeList(X)
      65: a__U51(X1,X2) -> U51(X1,X2)
      66: a__U52(X) -> U52(X)
      67: a__U61(X) -> U61(X)
      68: a__U71(X1,X2) -> U71(X1,X2)
      69: a__U72(X) -> U72(X)
      70: a__isPal(X) -> isPal(X)
      71: a__U81(X) -> U81(X)
      72: a__isQid(X) -> isQid(X)
      73: a__isNePal(X) -> isNePal(X)
Number of strict rules: 73
Direct POLO(bPol) ... removes: 15 8 3 26 17 27 22 28 5 10 25 30 14 12 23 24 11 9 13 6 29 2
      a 	w: 20539
      U21	w: 2 * x1 + 2 * x2
      U11	w: x1
      isNeList	w: 2 * x1
      isPal	w: 2 * x1 + 12226
      U42	w: x1 + 25673
      u 	w: 13798
      U71	w: x1 + 2 * x2 + 11575
      a__U22	w: x1 + 27593
      isNePal	w: 2 * x1 + 11576
      U72	w: x1 + 13145
      a__U31	w: x1
      a__U51	w: x1 + 2 * x2
      a__U81	w: x1 + 649
      isQid	w: x1
      a____	w: 2 * x1 + x2
      a__U41	w: 2 * x1 + 2 * x2
      a__isList	w: 2 * x1
      a__isNeList	w: 2 * x1
      o 	w: 16821
      isList	w: 2 * x1
      a__U21	w: 2 * x1 + 2 * x2
      nil	w: 17234
      mark	w: x1
      a__U72	w: x1 + 13145
      a__isNePal	w: 2 * x1 + 11576
      a__U11	w: x1
      a__U42	w: x1 + 25673
      a__U52	w: x1 + 13796
      i 	w: 25989
      U52	w: x1 + 13796
      U61	w: x1 + 11575
      e 	w: 21399
      U31	w: x1
      a__U71	w: x1 + 2 * x2 + 11575
      a__isPal	w: 2 * x1 + 12226
      a__U61	w: x1 + 11575
      U81	w: x1 + 649
      tt	w: 13797
      a__isQid	w: x1
      U22	w: x1 + 27593
      U51	w: x1 + 2 * x2
      U41	w: 2 * x1 + 2 * x2
      __	w: 2 * x1 + x2
Number of strict rules: 51
Direct POLO(bPol) ... removes: 20
      a 	w: 17620
      U21	w: x1 + x2 + 14999
      U11	w: x1
      isNeList	w: x1
      isPal	w: 2 * x1 + 38542
      U42	w: x1 + 14024
      u 	w: 2
      U71	w: x1 + 2 * x2 + 40626
      a__U22	w: x1 + 789
      isNePal	w: 2 * x1 + 9245
      U72	w: x1 + 2086
      a__U31	w: x1
      a__U51	w: x1 + x2 + 14999
      a__U81	w: x1 + 29297
      isQid	w: x1
      a____	w: x1 + x2 + 14999
      a__U41	w: x1 + x2 + 14022
      a__isList	w: x1
      a__isNeList	w: x1
      o 	w: 40523
      isList	w: x1
      a__U21	w: x1 + x2 + 14999
      nil	w: 2
      mark	w: x1
      a__U72	w: x1 + 2086
      a__isNePal	w: 2 * x1 + 9245
      a__U11	w: x1
      a__U42	w: x1 + 14024
      a__U52	w: x1 + 15001
      i 	w: 56795
      U52	w: x1 + 15001
      U61	w: x1 + 9245
      e 	w: 34891
      U31	w: x1
      a__U71	w: x1 + 2 * x2 + 40626
      a__isPal	w: 2 * x1 + 38542
      a__U61	w: x1 + 9245
      U81	w: x1 + 29297
      tt	w: 2
      a__isQid	w: x1
      U22	w: x1 + 789
      U51	w: x1 + x2 + 14999
      U41	w: x1 + x2 + 14022
      __	w: x1 + x2 + 14999
Number of strict rules: 50
Direct POLO(bPol) ... removes: 18 21
      a 	w: 34379
      U21	w: x1 + x2 + 1
      U11	w: x1
      isNeList	w: x1
      isPal	w: 2 * x1 + 5
      U42	w: x1 + 2
      u 	w: 1184
      U71	w: x1 + 2 * x2 + 38542
      a__U22	w: x1 + 1
      isNePal	w: 2 * x1 + 1
      U72	w: x1 + 1
      a__U31	w: x1
      a__U51	w: x1 + x2 + 15001
      a__U81	w: x1 + 4
      isQid	w: x1
      a____	w: x1 + x2 + 15002
      a__U41	w: x1 + x2 + 15002
      a__isList	w: x1
      a__isNeList	w: x1
      o 	w: 57414
      isList	w: x1
      a__U21	w: x1 + x2 + 1
      nil	w: 10748
      mark	w: x1
      a__U72	w: x1 + 1
      a__isNePal	w: 2 * x1 + 1
      a__U11	w: x1
      a__U42	w: x1 + 2
      a__U52	w: x1 + 1
      i 	w: 69538
      U52	w: x1 + 1
      U61	w: x1 + 1
      e 	w: 45004
      U31	w: x1
      a__U71	w: x1 + 2 * x2 + 38542
      a__isPal	w: 2 * x1 + 5
      a__U61	w: x1 + 1
      U81	w: x1 + 4
      tt	w: 1
      a__isQid	w: x1
      U22	w: x1 + 1
      U51	w: x1 + x2 + 15001
      U41	w: x1 + x2 + 15002
      __	w: x1 + x2 + 15002
Number of strict rules: 48
Direct POLO(bPol) ... removes: 4 1 16 19 7
      a 	w: 34379
      U21	w: x1 + x2 + 36013
      U11	w: x1 + 21256
      isNeList	w: x1 + 17624
      isPal	w: x1 + 46147
      U42	w: x1 + 1
      u 	w: 1184
      U71	w: x1 + x2 + 31438
      a__U22	w: x1 + 1
      isNePal	w: x1 + 42699
      U72	w: x1 + 1
      a__U31	w: x1 + 34
      a__U51	w: x1 + x2 + 36013
      a__U81	w: x1 + 3448
      isQid	w: x1 + 16494
      a____	w: 2 * x1 + x2 + 36013
      a__U41	w: x1 + x2 + 14756
      a__isList	w: x1 + 38881
      a__isNeList	w: x1 + 17624
      o 	w: 57412
      isList	w: x1 + 38881
      a__U21	w: x1 + x2 + 36013
      nil	w: 25747
      mark	w: x1
      a__U72	w: x1 + 1
      a__isNePal	w: x1 + 42699
      a__U11	w: x1 + 21256
      a__U42	w: x1 + 1
      a__U52	w: x1 + 11842
      i 	w: 69538
      U52	w: x1 + 11842
      U61	w: x1 + 26205
      e 	w: 45004
      U31	w: x1 + 34
      a__U71	w: x1 + x2 + 31438
      a__isPal	w: x1 + 46147
      a__U61	w: x1 + 26205
      U81	w: x1 + 3448
      tt	w: 14710
      a__isQid	w: x1 + 16494
      U22	w: x1 + 1
      U51	w: x1 + x2 + 36013
      U41	w: x1 + x2 + 14756
      __	w: 2 * x1 + x2 + 36013
Number of strict rules: 43
Direct POLO(bPol) ... failed.
Uncurrying ... failed.
Dependency Pairs:
     #1: #mark(U71(X1,X2)) -> #a__U71(mark(X1),X2)
     #2: #mark(U71(X1,X2)) -> #mark(X1)
     #3: #mark(isList(X)) -> #a__isList(X)
     #4: #mark(U81(X)) -> #a__U81(mark(X))
     #5: #mark(U81(X)) -> #mark(X)
     #6: #mark(U61(X)) -> #a__U61(mark(X))
     #7: #mark(U61(X)) -> #mark(X)
     #8: #mark(U52(X)) -> #a__U52(mark(X))
     #9: #mark(U52(X)) -> #mark(X)
     #10: #mark(U41(X1,X2)) -> #a__U41(mark(X1),X2)
     #11: #mark(U41(X1,X2)) -> #mark(X1)
     #12: #mark(isQid(X)) -> #a__isQid(X)
     #13: #mark(isNePal(X)) -> #a__isNePal(X)
     #14: #mark(U42(X)) -> #a__U42(mark(X))
     #15: #mark(U42(X)) -> #mark(X)
     #16: #mark(U51(X1,X2)) -> #a__U51(mark(X1),X2)
     #17: #mark(U51(X1,X2)) -> #mark(X1)
     #18: #mark(isPal(X)) -> #a__isPal(X)
     #19: #mark(__(X1,X2)) -> #a____(mark(X1),mark(X2))
     #20: #mark(__(X1,X2)) -> #mark(X1)
     #21: #mark(__(X1,X2)) -> #mark(X2)
     #22: #mark(isNeList(X)) -> #a__isNeList(X)
     #23: #mark(U21(X1,X2)) -> #a__U21(mark(X1),X2)
     #24: #mark(U21(X1,X2)) -> #mark(X1)
     #25: #mark(U72(X)) -> #a__U72(mark(X))
     #26: #mark(U72(X)) -> #mark(X)
     #27: #mark(U22(X)) -> #a__U22(mark(X))
     #28: #mark(U22(X)) -> #mark(X)
     #29: #mark(U11(X)) -> #a__U11(mark(X))
     #30: #mark(U11(X)) -> #mark(X)
     #31: #mark(U31(X)) -> #a__U31(mark(X))
     #32: #mark(U31(X)) -> #mark(X)
Number of SCCs: 1, DPs: 14
  SCC { #2 #5 #7 #9 #11 #15 #17 #20 #21 #24 #26 #28 #30 #32 }
POLO(Sum)... succeeded.
      a 	w: 0
      #a__isNePal	w: 0
      U21	w: x1 + 1
      #a__U72	w: 0
      #a__U71	w: 0
      U11	w: x1 + 1
      #a__U31	w: 0
      #a__isNeList	w: 0
      isNeList	w: 0
      isPal	w: 0
      U42	w: x1 + 1
      u 	w: 0
      U71	w: x1 + 1
      #a__isPal	w: 0
      #a__U51	w: 0
      a__U22	w: 0
      isNePal	w: 0
      U72	w: x1 + 1
      #a__U11	w: 0
      a__U31	w: 0
      a__U51	w: 0
      #a____	w: 0
      a__U81	w: 0
      isQid	w: 0
      a____	w: 0
      #a__U42	w: 0
      a__U41	w: 0
      a__isList	w: 0
      a__isNeList	w: 0
      o 	w: 0
      #a__U21	w: 0
      #a__U81	w: 0
      #a__U61	w: 0
      #mark	w: x1
      isList	w: 0
      a__U21	w: 0
      nil	w: 0
      #a__isQid	w: 0
      #a__U52	w: 0
      mark	w: 0
      a__U72	w: 0
      a__isNePal	w: 0
      a__U11	w: 0
      a__U42	w: 0
      a__U52	w: 0
      i 	w: 0
      U52	w: x1 + 1
      U61	w: x1 + 1
      e 	w: 0
      #a__U22	w: 0
      U31	w: x1 + 1
      a__U71	w: 0
      a__isPal	w: 0
      a__U61	w: 0
      U81	w: x1 + 1
      #a__U41	w: 0
      tt	w: 0
      a__isQid	w: 0
      #a__isList	w: 0
      U22	w: x1 + 1
      U51	w: x1 + 1
      U41	w: x1 + 1
      __	w: x1 + x2 + 1
    USABLE RULES: { }
    Removed DPs: #2 #5 #7 #9 #11 #15 #17 #20 #21 #24 #26 #28 #30 #32
Number of SCCs: 0, DPs: 0