C :

#include <stdio.h>
int Input(void);
int main(int argc, char const *argv[])
{
	int n0,n;
	scanf("%d\n",&n0);
	for (n=0;n<n0;n++)
	{
		int num[10000]={0,};
		int t=0,i=0;
		while (t=Input())
		{
			if (t==2)continue;
			num[i++]=t;
			while (i>1&&(num[i-2]+num[i-1]==0)&&num[i-2]>num[i-1])i=i-2;
		}
		if(i==0)printf("Case %d:Yes\n",n+1);
		else printf("Case %d:No\n",n+1);
	}
	return 0;
}
int Input(void)
{
	char a=getchar();
	int s=0;
	switch (a)
	{
		case '(':s=1;break;
		case ')':s=-1;break;
		case ' ':s=2;break;
	}
	return s;
}