I'm kind of more intersted in why you know this. There's lots of weird esoteric stuff that I know that I need as part of my job, but what are you doing that requires you to know this that isn't "copy paste this number into a python notebook"?
Oh and if you are copy pasting into notebook, then x %7 == 0 probably is a reasonable substitute...