#include <stdio.h>
#include <stdbool.h>
bool divisible15(unsigned int x)
{
//286331153 = (2^32 - 1) / 15
//4008636143 = (2^32) - 286331153
return x * 4008636143 <= 286331153;
}
int main(void) {
printf("%d\n", divisible15
(15)); return 0;
}
I2luY2x1ZGUgPHN0ZGlvLmg+CiNpbmNsdWRlIDxzdGRib29sLmg+Cgpib29sIGRpdmlzaWJsZTE1KHVuc2lnbmVkIGludCB4KQp7CiAgICAvLzI4NjMzMTE1MyA9ICgyXjMyIC0gMSkgLyAxNQogICAgLy80MDA4NjM2MTQzID0gKDJeMzIpIC0gMjg2MzMxMTUzCiAgICByZXR1cm4geCAqIDQwMDg2MzYxNDMgPD0gMjg2MzMxMTUzOwp9CgppbnQgbWFpbih2b2lkKSB7CglwcmludGYoIiVkXG4iLCBkaXZpc2libGUxNSgxNSkpOwoJcmV0dXJuIDA7Cn0=