Let s = 31 + -29. Suppose -9 = -2*n - n. Solve s*k - 7 = n for k.
5
Suppose 9*o - 5*o + 8 = -2*x, 0 = -4*x - o + 5. Let f be (0/12)/(1*x). Solve -2*t + t + 1 = f for t.
1
Let v = -76 + 84. Suppose -j + 0*j = -3. Solve -v*t + 20 = -j*t for t.
4
Let n = -1 + 3. Suppose 5*q - 12 = -n*d, 2*q - 8 + 34 = 2*d. Solve 3 = 4*i + d for i.
-2
Suppose -4*s - 7 + 27 = 0. Solve 11 = -s*k - 9 for k.
-4
Suppose -4*w + 7 + 1 = 0. Solve w = v + 7 for v.
-5
Suppose 0*q + 5*q = 2*v - 12, 0 = 5*q - 20. Suppose -52 = -5*x - 2*s, 3*s - v = -2*x + 7*s. Let t be (11 - 5)*6⁄9. Solve -t*o = -2 - x for o.
3
Let k(s) be the third derivative of s4⁄8 + s3⁄6 + s**2. Let c be k(-2). Let j be 10/(5/(c/(-2))). Solve 0*f = -j*f + 20 for f.
4
Let m be 5/(10⁄4) - -10. Let p = m - 11. Solve -p = 3*f + 5 for f.
-2
Let u be 0/((-4)/(-4 + 2)). Solve -1 = -f - u for f.
1