Let v = 10 + -10. Solve v = -4*x - 0 + 20 for x.
5
Let y(t) = 2*t**2 + 4*t + 1. Suppose -d - 3 = -0*d. Let m be y(d). Solve -m = -5*r - 27 for r.
-4
Let v be 12 - (-4)/(16⁄12). Solve v = -k + 12 for k.
-3
Suppose 0 = -140*r + 139*r. Solve -k - 4*k - 5 = r for k.
-1
Suppose -20 = -5*k - 0. Let b be 3⁄3 - (-1 + 1). Let c be 9 - 5 - 2*b. Solve -k*l - c = 2 for l.
-1
Suppose 0*i + 30 = i. Suppose 0*c - i = -3*c. Solve -4*b - c = -26 for b.
4
Suppose 4*r + 7 = 23. Suppose 2*h = -h - 12, -r = -2*u - h. Solve u*b - 12 = 4 for b.
4
Suppose -18 = 51*k - 57*k. Solve -16 = k*y - 7*y for y.
4
Suppose -3*w + 22 = w + 5*x, -4 = -4*w + 4*x. Solve -w*p = p for p.
0
Let m(l) be the third derivative of 0*l + 0 + 1⁄24*l4 - 4*l2 - 5⁄6*l**3. Let u be m(6). Solve 0 = d - 2*d + u for d.
1