Following are two examples of nonlinear systems of ODEs that can be solved symbolically using
DSolve.
This system of two nonlinear ODEs is
autonomous, in the sense that the right-hand sides of the equations do not depend on

.
The previous two examples demonstrate that the solutions to fairly simple systems are usually complicated expressions of the independent variable. In fact, the solution is often available only in implicit form and may thus contain
InverseFunction objects or unevaluated
Solve objects.