Sum divisibility (#8747) - Basecamp