A generalized divisibility rule for binary inspired by Matt at Stand-up Maths https://www.youtube.com/watch?v=6pLz8wEQYkA

divisibility_rules.c

#include <stdio.h>
#include <stdbool.h>
#include <stdint.h>


bool is_divisible(uint64_t n, uint64_t divisor) {
	while((divisor % 2) == 0) {
		if((n % 2))
			return false;
		n /= 2;
		divisor /= 2;
	}
	while((n % 2) == 0)
		n /= 2;
	while(n > divisor) {
		n -= divisor;
		while((n % 2) == 0)
			n /= 2;
	}
 	return n == divisor;
}

int main() {
	for (uint64_t n = 2; n < 17; n++) {
		for (uint64_t i = 2; i <= n; i++) {
			if (is_divisible(n, i)) {
				printf("%lu %% %lu == 0\n", n, i);
			}
		}
	}
	return 0;
}