main(n){while(~scanf("%d",&n))printf("%d = 6 * %d %c 1\n",n,-~n/6,45+~n%3);}