Let j be (-7 - 2)*2/(-3). Suppose -2*c + j = f, 4 = 2*f - 0. Suppose p + c = 3. Solve 2*x = 1 + p for x.
1
Let k = -2 - 0. Let d be k/5 + (-312)/(-30). Suppose -3*t - m + 17 = 0, -5*t = -d*t - 4*m + 40. Solve -t*x + 2*x = 6 for x.
-3
Let o = 17 - 10. Let b = -21 + 38. Suppose -x + j - b = -6*x, j = x - o. Solve 1 + 19 = -x*z for z.
-5
Let s = 20 - 15. Solve -s*c + 17 = -8 for c.
5
Let z(b) = b**2 - 12*b - 13. Let u be z(13). Suppose -2*d - 12 = -2*g - 0*d, u = 5*g + 2*d - 16. Solve -g*x + 7 = -9 for x.
4
Suppose 6*w = 5*w + 10. Suppose 6*t + 12 = w*t. Solve t = -2*y + 9 for y.
3
Suppose -6*v = -8*v + 4. Let b(o) = -o + 4. Let k be b(4). Suppose 24 = 4*p - k. Solve v*x + 8 = p*x for x.
2
Let c = -20 - -29. Solve 2*h + c = -1 for h.
-5
Suppose 5*l - 2*p = -3*p + 62, -14 = -l - p. Let w = -12 + l. Solve -3*r + 7 + 8 = w for r.
5
Let b(w) be the first derivative of -w4⁄4 + 2*w3 + 7*w2⁄2 - 3. Let n be b(7). Let r(v) = v2 - v - 1. Let o be r(-2). Solve n = -o*d + 2 + 3 for d.
1