MathDB
ASU 059 All Russian MO 1965 first 3 digits = last 3 digits, divisible by 13

Source:

June 19, 2019
number theoryDigits

Problem Statement

A bus ticket is considered to be lucky if the sum of the first three digits equals to the sum of the last three (66 digits in Russian buses). Prove that the sum of all the lucky numbers is divisible by 1313.