//判断数是否=3 + 3 + 3 + 3.......
#include <stdio.h>
typedef long long ll;
int main() {
int T;
scanf("%d", &T);
while(T--){
ll x;
scanf("%lld", &x);
if(x == 2 || x == 3 || x == 5 || x == 6 || x == 8 || x == 11 || x == 14)
printf("No\n");
else
printf("Yes\n");
}
return 0;
}



京公网安备 11010502036488号