//interactive
ll b,i=3;wt("? 1 r 1\n? 2 + 2\n? 3 + 2\n? 1 * 1\n? 3 r 1\n? 6 * 6\n? 1 - 7");char@c[7];if(b=48>c[6])rep(9){i+=6,wt("? 2 +",i>9?i-6:6);wt("?",i,"*",i),wt("?",i+1,"-",1),wt("? 3 r",i+2),wt("?",i+3,"*",i+3),wt("?",i+2,"-",i+4),rd(c(6));if(45<c[5])wt("?",i,"-",i+3),wt("?",i+5,"*",i+5),wt("?",i+6,"*",i+5),wt("? 4 *",i+6),wt("?",i+8,"+",1),wt("?",i+9,"*",i+9),wt("?",i+10,"*",1),wt("? 4 *",i+5),wt("?",i+12,"+",2),wt("?",i+13,"*",1),wt("?",i+14,"+",i+7),wt("?",i+15,"*",i+15),wt("?",i+16,"-",i+11),rd(c(7),c(6)),b=c[5]==45,break;}wt("!",b?"No":"Yes");