kill(all)$ fpprintprec:4$

     Van | facebook.com/LearningCalculus | 2015

a:[1,3,7,9,11,13,15]$
l:length(a)$

for frBase : 1 thru 15 do
    for toBase : 1 thru 15 do
        for i : 1 thru l do
          for j : 1 thru l do
             for k : 1 thru l do
                block([],
                (A : base_conv(a[i], frBase, toBase)),
                (B : base_conv(b[i], frBase, toBase)),
                (C : base_conv(c[i], frBase, toBase)),
                (S : base_conv(A+B+C,frBase, toBase)),
                (D : base_conv(  30, frBase, toBase)),

               (if is(equal(S,D)) then print(base,A, B, C, S, D)));