How Dynare works

Does Dynare considers the following equations equal (with the respect of other equations that exist in a model)?
2x-x=y
x=y

Yes, those two equations are identical.