Suppose 5*r - 4 = x, -2*x + 20 = -3*r + 7*r. Suppose 5*o = -3*j - 1, 0 = 5*j + 5*o - 1 - 4. Solve -x*m + j*m = -12 for m.
4
Let v(b) = b**2 - 3*b + 2. Let a be v(0). Solve -a*h + 3 = -3 for h.
3
Suppose -4*b + 10 = -6. Solve 0 = n - 5*n - b for n.
-1
Let w be 2⁄2*(-8 + -12). Let c = w + 20. Solve c = 2*r - 0*r - 8 for r.
4
Let g(a) = -3*a3 + a. Let q be g(1). Let v(d) = -2*d3 + 2. Let h be v(1). Let f = h - q. Solve -1 = -f*w + w for w.
1
Let o(h) be the third derivative of -h4⁄12 + 2*h3⁄3 - 3*h**2. Let w be o(2). Let s(i) = 2*i. Let d be s(1). Solve d = -w*j + j for j.
2
Suppose 0 = -3*j + 19 - 7. Suppose -2*r - 3 = 5*l, 5*r - j*r = 3*l + 15. Let d = r + -3. Solve d = 2*m - m for m.
3
Suppose -2*f = -8*f. Solve f = 5*x + 3 + 2 for x.
-1
Suppose 4*i + 5 = 13. Suppose -j = 4*j - 15. Suppose -4*k + 12 = -0*k, i*k - 15 = -j*o. Solve 1 = -b - o for b.
-4
Suppose 2*s - s = -4*j + 18, 5*s + 30 = 4*j. Let u(t) = 2*t**2 + 2*t. Let c be u(s). Solve v = 5*v + c for v.
-1