Let y(u) = 7*u - 2. Let k be y(1). Solve -15 = 2*m - k*m for m.
5
Let y = 6 + -5. Solve -2*f = -f + y for f.
-1
Suppose -5*l = -4*l. Suppose l = 4*m - 13 - 3. Let p be ((-4)/2)/((-2)/m). Solve -4*a + 2*a = -p for a.
2
Suppose 20 = 5*v, 5*v + 5 = 4*x + x. Suppose -x*m + 4 = -3*m. Solve i + m*i = 0 for i.
0
Let g® = r + 8. Let f be g(-6). Let c be (-1 - -2) + 1 - -2. Suppose 4 = -4*j + 5*i - 4, 4*j - 2*i = c. Solve f = -j*z - 10 for z.
-4
Let s = -40 - -40. Solve 15 = -s*j + 5*j for j.
3
Let j(d) = 5*d**2 + 1. Let g be j(-1). Suppose -p + 0 = -2. Suppose 0*w = p*w - 18. Solve -w = -5*v + g for v.
3
Let l be (-5 + 29⁄7)*28/(-6). Solve -3 - 13 = -l*c for c.
4
Let v(q) be the second derivative of q3⁄3 + q2⁄2 + 5*q. Let r be v(1). Solve 0 = -2*b - r*b - 15 for b.
-3
Let q(h) = -h2 - 10*h - 2. Let s(a) = 2*a2 + 21*a + 3. Let t(k) = 7*q(k) + 3*s(k). Let r be t(-6). Let f be 0 - -2 - 0/r. Solve -y + 2*y + f = 0 for y.
-2