Let i = 39 + -35. Solve -i*g = -6*g for g.
0
Let b(z) be the second derivative of 3*z5⁄20 + z3⁄6 + 2*z. Let v be b(1). Let r be 15/v + 3⁄12. Solve -n = -r*n - 6 for n.
-2
Let a be ((-3 - -1) + 1)*-3. Solve a*m - 8 = 7*m for m.
-2
Suppose -5*z - 4*p + 13 = -2*p, -4*z + 9 = 3*p. Suppose -4*m + 3*t = 4*t - 4, -z*t - 2 = -2*m. Suppose m + 31 = 4*r. Solve -g - 3*g = -r for g.
2
Suppose 24 = 3*b - 6. Suppose -b = -2*n - 3*n. Suppose a - n = 1. Solve -1 = 4*k - a*k for k.
-1
Let y(i) = i3 + 3*i2 - 10*i + 2. Let s be y(-5). Solve 0 = -2*k - s*k - 8 for k.
-2
Suppose -4*n + 20 = 0, n - 6*n = -4*t - 61. Let r = t - -14. Solve 3*m = 2*m + r for m.
5
Let t(s) be the third derivative of s6⁄120 - 3*s5⁄20 - 5*s4⁄12 - 14*s2. Let n be t(10). Suppose 0 = -0*c + 5*c - 35. Solve c*f - 2*f - 25 = n for f.
5
Suppose 4*s = 4*g - 32, -g = -2*g - 4*s + 28. Let y = 12 + -7. Suppose -16 = -y*p - 3*r, 2*r - 10 = -4*p + r. Solve -p*w = w - g for w.
4
Let a(k) = -k3 - 3*k2 + 2*k - 2. Let w(x) = -x - 4. Suppose 0 = t - 5*t. Let d be w(t). Let q be a(d). Solve 3*p - 6 = q for p.
4