C :

#include <stdio.h>
int main()
{
	int n,i;
	scanf ("%d",&n);
	int a[n];
	for (i=0;i<n;i++)
	scanf ("%d",&a[i]);
	for (i=0;i<n;i++)
	{
		if (a[i]==1||a[i]==2||a[i]==4||a[i]==5||a[i]==8||a[i]==11)
		printf ("NO\n");
		else
		printf ("YES\n"); 
	}
	return 0;
}

C++ :

#include <stdio.h>

int main()
{
	int t;
	scanf("%d",&t);
	while(t--)
	{
		int x;
		int flag = 0;
		scanf("%d",&x);
		while(x >= 0)
		{
			if(x % 7 == 0 || x==0)
			{
				flag = 1;
				break;
			}
			x -= 3;
		}
		if(flag) printf("YES\n");
		else printf("NO\n");
	}
	return 0;
}