sum_(k=0)^(x/37) ((binomial(13, k))*(binomial(13+x-k*37-1, 12))*(-1)^k)