2.2.1.5 Maple. Time used: 0.000 (sec). Leaf size: 11
ode:=diff(x(t),t) = -lambda*x(t); 
dsolve(ode,x(t), singsol=all);
 
\begin{align*} x = c_1 \,{\mathrm e}^{-\lambda t} \end{align*}

Maple trace

Methods for first order ODEs: 
--- Trying classification methods --- 
trying a quadrature 
trying 1st order linear 
<- 1st order linear successful
 

Maple step by step

\[ \begin {array}{lll} & {} & \textrm {Let's solve}\hspace {3pt} \\ {} & {} & \frac {d}{d t}x \left (t \right )=-\lambda x \left (t \right ) \\ \bullet & {} & \textrm {Highest derivative means the order of the ODE is}\hspace {3pt} 1 \\ {} & {} & \frac {d}{d t}x \left (t \right ) \\ \bullet & {} & \textrm {Solve for the highest derivative}\hspace {3pt} \\ {} & {} & \frac {d}{d t}x \left (t \right )=-\lambda x \left (t \right ) \\ \bullet & {} & \textrm {Separate variables}\hspace {3pt} \\ {} & {} & \frac {\frac {d}{d t}x \left (t \right )}{x \left (t \right )}=-\lambda \\ \bullet & {} & \textrm {Integrate both sides with respect to}\hspace {3pt} t \\ {} & {} & \int \frac {\frac {d}{d t}x \left (t \right )}{x \left (t \right )}d t =\int -\lambda d t +\mathit {C1} \\ \bullet & {} & \textrm {Evaluate integral}\hspace {3pt} \\ {} & {} & \ln \left (x \left (t \right )\right )=-\lambda t +\mathit {C1} \\ \bullet & {} & \textrm {Solve for}\hspace {3pt} x \left (t \right ) \\ {} & {} & x \left (t \right )={\mathrm e}^{-\lambda t +\mathit {C1}} \\ \bullet & {} & \textrm {Redefine the integration constant(s)}\hspace {3pt} \\ {} & {} & x \left (t \right )=\mathit {C1} \,{\mathrm e}^{-\lambda t} \end {array} \]