y=(1-Sum[nCr(5,k)*nCr(19,x-k)/nCr(24,x),{k,0,1}])*(nCr(9,0)*nCr(15,x)/nCr(24,x))