N≡3(mod7), N≡5(mod11), N≡0(mod13).
Since 7,11,13 are pairwise coprime, by the Chinese Remainder Theorem, N is uniquely determined modulo 7⋅11⋅13=1001.
Finding N: Write N=13k. Then
13k≡3(mod7)⇒6k≡3⇒−k≡3⇒k≡4(mod7),13k≡5(mod11)⇒2k≡5⇒k≡5⋅6=30≡8(mod11).
(2−1≡6(mod11) since 2⋅6=12≡1.)
Combine: k=7m+4, then 7m+4≡8(mod11)⇒7m≡4⇒m≡4⋅8=32≡10(mod11) (since 7⋅8=56≡1(mod11)).
So m=11j+10, k=77j+74. Smallest positive k is 74, giving N=13⋅74=962.
Verification: 962=7⋅137+3 \checkmark, 962=11⋅87+5 \checkmark, 962/13=74 \checkmark.
The next solution is N+1001=1963. So M=1963 and M−N=1001.
Why this is CAT-level: The question looks like a standard CRT problem, but the third condition (``divisible by 13'') is the moduli twist -- it must be expressed as N≡0(mod13). Two layers of modular inversion (2−1(mod11), 7−1(mod11)) are required. The clean route exploits the fact that M−N is simply lcm(7,11,13)=1001, sidestepping the entire computation of N itself. Students who don't see this shortcut compute N first and then add the LCM -- which works but is slower.
Answer: M−N=1001.