Transforme o código 

Normalmente as variáveis With posteriores desconhecem os valores das variáveis anteriores.

In[1]:=

X With[{a = 3, b = a + 2, c = a + b}, {a, b, c}]

Out[1]=

A situação muda com esta função que transforma a expressão With.

In[2]:=

X SetAttributes[IterateWith, HoldAll] IterateWith[expr_] := Activate[Inactivate[expr] //. Inactive[With][{first_, rest__}, body_] :> Inactive[With][{first}, Inactive[With][{rest}, body]]]

Aplique a função.

In[3]:=

X IterateWith[With[{a = 3, b = a + 2, c = a + b}, {a, b, c}]]

Out[3]=