while True:
    try:
        a = input().split()
        b = ['+','-','*','/']
        flag = 0
        
        for i_1 in range(4):
            for i_2 in range(4):
                for i_3 in range(4): #三个符号空穷举
                        c = []
                        c.append('('+'('+ a[0]+b[i_1]+a[1] + ')'+b[i_2] + a[2]+ ')'+b[i_3]+a[3]) #四个数字空,穷举,但要注意计算顺序,虽然符号没有括号,但是默认前两个数计算出来再+-*或/第三个数
                        c.append('('+'('+ a[0]+b[i_1]+a[1] + ')'+b[i_2]+a[3]+ ')'+b[i_3]+a[2])
                        c.append('('+'('+ a[0]+b[i_1]+a[2] + ')'+b[i_2]+a[1]+ ')'+b[i_3]+a[3])
                        c.append('('+'('+ a[0]+b[i_1]+a[2] + ')'+b[i_2]+a[3]+ ')'+b[i_3]+a[1])
                        c.append('('+'('+ a[0]+b[i_1]+a[3] + ')'+b[i_2]+a[2]+ ')'+b[i_3]+a[1])
                        c.append('('+'('+ a[0]+b[i_1]+a[3] + ')'+b[i_2]+a[1]+ ')'+b[i_3]+a[2])
                        c.append('('+'('+ a[1]+b[i_1]+a[0] + ')'+b[i_2]+a[2]+ ')'+b[i_3]+a[3])
                        c.append('('+'('+ a[1]+b[i_1]+a[0] + ')'+b[i_2]+a[3]+ ')'+b[i_3]+a[2])
                        c.append('('+'('+ a[1]+b[i_1]+a[2] + ')'+b[i_2]+a[3]+ ')'+b[i_3]+a[0])
                        c.append('('+'('+ a[1]+b[i_1]+a[2] + ')'+b[i_2]+a[0]+ ')'+b[i_3]+a[3])
                        c.append('('+'('+ a[1]+b[i_1]+a[3] + ')'+b[i_2]+a[2]+ ')'+b[i_3]+a[0])
                        c.append('('+'('+ a[1]+b[i_1]+a[3] + ')'+b[i_2]+a[0]+ ')'+b[i_3]+a[2])
                        c.append('('+'('+ a[2]+b[i_1]+a[0] + ')'+b[i_2]+a[1]+ ')'+b[i_3]+a[3])
                        c.append('('+'('+ a[2]+b[i_1]+a[0] + ')'+b[i_2]+a[3]+ ')'+b[i_3]+a[1])
                        c.append('('+'('+ a[2]+b[i_1]+a[1] + ')'+b[i_2]+a[0]+ ')'+b[i_3]+a[3])
                        c.append('('+'('+ a[2]+b[i_1]+a[1] + ')'+b[i_2]+a[3]+ ')'+b[i_3]+a[0])
                        c.append('('+'('+ a[2]+b[i_1]+a[3] + ')'+b[i_2]+a[0]+ ')'+b[i_3]+a[1])
                        c.append('('+'('+ a[2]+b[i_1]+a[3] + ')'+b[i_2]+a[1]+ ')'+b[i_3]+a[0])
                        c.append('('+'('+ a[3]+b[i_1]+a[1] + ')'+b[i_2]+a[2]+ ')'+b[i_3]+a[0])
                        c.append('('+'('+ a[3]+b[i_1]+a[1] + ')'+b[i_2]+a[0]+ ')'+b[i_3]+a[2])
                        c.append('('+'('+ a[3]+b[i_1]+a[2] + ')'+b[i_2]+a[0]+ ')'+b[i_3]+a[1])
                        c.append('('+'('+ a[3]+b[i_1]+a[2] + ')'+b[i_2]+a[1]+ ')'+b[i_3]+a[0])
                        c.append('('+'('+ a[3]+b[i_1]+a[0] + ')'+b[i_2]+a[2]+ ')'+b[i_3]+a[1])
                        c.append('('+'('+ a[3]+b[i_1]+a[0] + ')'+b[i_2]+a[1]+ ')'+b[i_3]+a[2])
                        for i in range(24):
                            if(eval(c[i]) == 24):
                                flag = 1 #若有等于24的,flag = 1
                                
                                break
        if(flag == 1):
            print('true')
        else:
            print('false')
    except:
        break