NO

The input TRS violates the variable condition and therefore is non-terminating.