Số nguyên dương $n$ thỏa mãn $C_n^3+A_n^2+2n=376$ là

(AI giải đề cho tôi)
Thử các phương án: với $n=12$: $C_{12}^3=220$, $A_{12}^2=12\cdot 11=132$, $2n=24$, tổng $220+132+24=376$ thỏa mãn. Các phương án khác: $n=5$ cho $10+20+10=40$; $n=7$ cho $35+42+14=91$; $n=15$ cho $455+210+30=695$, đều sai. Vậy $n=12$.