O=print
def J(n):
	return[input()for _ in[0]*n][-1]
O("? 1 r 1\n? 2 + 2\n? 3 + 2\n? 1 * 1\n? 3 r 1\n? 6 * 6\n? 1 - 7",flush=1)
b="0">J(7)
if b:
	i=3
	for _ in[0]*9:
		i+=6;O("? 2 +",[6,i-6][i>9]);O('?',i,'*',i);O('?',i+1,'-',1);O("? 3 r",i+2);O('?',i+3,'*',i+3);O('?',i+2,'-',i+4)
		if"+"<J(6):O('?',i,'-',i+3);O('?',i+5,'*',i+5);O('?',i+6,'*',i+5);O("? 4 *",i+6);O('?',i+8,'+',1);O('?',i+9,'*',i+9);O('?',i+10,'*',1);O("? 4 *",i+5);O('?',i+12,'+',2);O('?',i+13,'*',1);O('?',i+14,'+',i+7);O('?',i+15,'*',i+15);O('?',i+16,'-',i+11,flush=1);b=J(13)=='-';break
O("!","YNeos"[b::2])