Solving equations over groups while satisfying first-order conditions is difficult, yet necessary when studying elementary classes of expansions of groups. For certain groups coming from pure group theory, o-minimality or commutative algebra, we may rely on valuations that behave well with respect to commutativity on such groups. I will explain how to use valuations in order to solve equations over groups.