let mathd-numbertheory-345 = `(2000 + 2001 + 2002 + 2003 + 2004 + 2005 + 2006) MOD 7 = 0`;;