 c.
-2
Suppose 4*m + 32 = -28. Let q = m + 31. Let p be (q/12)/((-2)/(-3)). Solve p*a + 15 = -a for a.
-5
Let b(w) = 2*w + 6. Let v be b(-3). Solve v + 6 = -2*n for n.
-3
Let f be (-3 - -2) + 4 + (0 - -1). Solve 12 = -f*a + a for a.
-4
Suppose 3*x + 9 = 4*x. Let i be 42/(-9) - 1/3. Let c = x + i. Solve 2*r + 2 + c = 0 for r.
-3
Let n(u) = -21*u - 1. Let t(q) = -q + 4. Let p = -5 - -10. Let h be t(p). Let f be n(h). Solve -3*r = 2*r + f for r.
-4
Suppose 0*s - 12 = -3*s. Let v be ((-60)/16)/(9/(-12)). Solve -v*k + s = -11 for k.
3
Suppose 0 = -10*c - 1 + 1. Suppose s = -3*s. Solve 5*z + s*z + 5 = c for z.
-1
Let g be (6/9)/(4/(-24)). Suppose -3*w - 2*o + o - 9 = 0, 2*o = 3*w. Let t = w - g. Solve 0 = -t*r + 2 for r.
1
Suppose 2*v - 10 + 0 = 0. Suppose 0 = -r + 2*z, v*r = -4*z + 38 - 10. Solve r*i + 5 = -15 for i.
-5
Let k be 3 + (-6)/((-3)/(-1)). Let a(o) be the second derivative of -o**5/20 + o**4/6 - o**2/2 + 2*o. Let q be a(k). Solve 0 = -q*n - 2*n + 10 for n.
5
Suppose -3*v + 7*v = -16. Let x = 1 - v. Solve 2*y - 12 = x*y for y.
-4
Suppose 28 - 3 = -5*t. Let o = 9 + t. Let h(l) = -l + 7. Let w be h(4). Solve 2 = -w*s - o for s.
-2
Suppose -40 = -2*y - 6*y. Solve 0 = z - y*z for z.
0
Let t be 8/12 - (-2)/(-3). Solve t*s - 10 = -5*s for s.
2
Let n = 14 - 4. Let l(o) = 4*o - 20. Let c be l(n). Solve -4*f + 4 - c = 0 for f.
-4
Let j(s) = 3 - s**3 - 2*s - s - s**2 + 5*s**2. Suppose 2*i + 9 = 15. Let h be j(i). Solve 0 = -n + h for n.
3
Let u(r) = r**3 + 7*r**2 + 4*r - 6. Let h be u(-6). Solve h*l - l = -25 for l.
-5
Let c(a) = -a**3 - 9*a**2 - 9*a. Let u be c(-8). Let s = -2 + u. Suppose -s*t + 3*t + 3 = -3*f, 5*f + 5 = 3*t. Solve 0 = -t*d + d for d.
0
Let d = -27 - -37. Solve 4*u - d = -u for u.
2
Let a be (-6 - -6)/(1 + 0). Solve t - 5 = -a for t.
5
Suppose -2*w + 8 = -5*v, -4*v = 3*w + 2*w + 46. Let o be ((-32)/(-10))/(w/(-30)). Solve -o = -y - 3*y for y.
4
Let q be (6 - 4) + 8/(-1). Let o = 11 + q. Solve -5*i + 0 = -o for i.
1
Let s(y) = -2*y - 4. Let m be s(-4). Suppose 3*t + 3 = m*t. Solve t*j = 5*j for j.
0
Let g be 0 + (-1 - -1 - -2). Suppose -g*h - 1 = -3. Solve -h = -3*l + 2 for l.
1
Let t = -12 - -16. Solve 4 = t*b - 0 for b.
1
Let i(s) = 5*s. Let c be i(-1). Let w = 11 + c. Solve -3*b + 0 = -w for b.
2
Let u(j) = -j + 27. Let k be u(0). Suppose -4*q - 11 + k = 0. Solve 0 = q*z + 14 + 2 for z.
-4
Suppose c = 8*c - 35. Solve -3*i + c = -7 for i.
4
Suppose -181*d = -182*d + 15. Solve -5 + d = 2*n for n.
5
Let c = 5 - 3. Let r be (1/2*0)/(-1). Suppose r = 4*f - 16 - 4. Solve -c*k + k = -f for k.
5
Suppose 0 = 3*d - 9, m + 5*d + 4 = 3*d. Let w = -4 - m. Solve w = 2*q - 2 for q.
4
Suppose -4*d = -2 + 6, 3*d = -5*n + 7. Solve -5 = -3*m - n for m.
1
Let j = 8 + -2. Suppose -4*l = -j*l + 6. Solve l*b = -8 - 1 for b.
-3
Let l be (-1)/(-2) - 15/6. Let m be 3/(-4 + 1)*l. Suppose 0 = -m*h - 2*h. Solve h*t = -3*t - 6 for t.
-2
Suppose -4*q - 3*w = -18, 5*q - 3*w - 4 = 32. Solve -2*t + 4*t = q for t.
3
Let c = -1 - -2. Let o be (c - -2)/((-1)/8). Let p be (18/o)/(2/(-24)). Solve -p = q - 4*q for q.
3
Suppose 0 = -4*q - x - 4*x + 26, -3*x = -q - 2. Let y = q - 2. Solve 0 = -y*k + k - 5 for k.
-5
Let s(y) = -6 + 2*y**2 + 8*y - 3*y**2 + 2*y. Let g(w) = w**3 - 6*w**2 - 5*w - 5. Let p be g(7). Let a be s(p). Solve 6 = a*r - 9 for r.
5
Let l be (-6)/(-9) + (-8)/3. Let f be (-39)/(-9) - l/3. Solve -f*a = -9 - 6 for a.
3
Let v be 4 - (2 + 3 + -4). Solve -v*y + 1 = -4*y for y.
-1
Let h = 13 - 5. Solve 0 = 5*t + 2 + h for t.
-2
Suppose 2*f - 16 = -4*k, 3*f - k + 24 = 6*f. Let q be -2*6/8*-2. Solve q*p - f*p = 0 for p.
0
Suppose 5*x + 0*x - 40 = 0. Let o be (-2)/x - 3/(-12). Solve o = -2*a - 12 + 2 for a.
-5
Let v(m) = m**3 - 2*m**2 + m. Let r be v(1). Solve -d - 4*d + 5 = r for d.
1
Suppose -5*w - 3 = -8. Suppose w = s - 2. Let y = -4 + 6. Solve -y*q = -5*q + s for q.
1
Suppose -19 - 43 = -2*d + 5*b, -2*d = 4*b - 26. Solve -5*v - d = -1 for v.
-4
Let z = -14 - -29. Suppose 5*t + 18 = 4*i - 12, 2*i = t + 12. Let p = 4 + t. Solve -3*r = p*r - z for r.
3
Let o = 27 + -27. Solve 3*s - 3 = -o*s for s.
1
Suppose 3*o + 1 = 73. Let g = o + -18. Solve 5*r = 2*r + g for r.
2
Let j(u) be the first derivative of u**2/2 + 10*u - 2. Let c be j(-10). Suppose c*f + 9 = 3*f. Solve -f*w - 4 = -7 for w.
1
Suppose 0 = 3*j - q - 39, 3*q - 1 = -j + 2. Suppose -s + 3*s = j. Suppose s = 2*f + f. Solve 22 - f = 4*u for u.
5
Let i = -38 + 40. Solve h = -i - 2 for h.
-4
Let k(n) = -n**3 - 3*n**2 - 2*n - 3. Suppose -5*r = -5*b - 15, 5*b + 2*r - 4*r + 15 = 0. Let s be k(b). Let u = s - 1. Solve -u*d - d = 0 for d.
0
Suppose -5*p + p = -8. Solve -a = p*a for a.
0
Let n(z) = 2*z**2. Let h be n(1). Suppose 4*a + 0 = h*f - 20, -5*a = f - 10. Solve -y = y + f for y.
-5
Let a be 0*(-3 + 28/8). Solve a = -2*l + l - 2 for l.
-2
Let m = -9 + 4. Let t(r) = -r - 2. Let n be t(m). Let c = 5 - n. Solve -3*f - c*f = -25 for f.
5
Let y be (-3)/(-2) + (-8)/(-16). Solve y*g - g - 3 = 0 for g.
3
Let y = 0 + 4. Suppose -8 = -y*s + 8. Solve -s = 2*h - 6*h for h.
1
Let o(u) = u**3 + 8*u**2 - 3*u - 12. Suppose 4*y = -5*h - 20, y = -h + 6*y - 33. Let z be o(h). Suppose 5*m - z = 2*m. Solve m = 4*q - 3*q for q.
4
Suppose 0 = -3*b + 5*x - 29 + 10, -5*b - 5 = -3*x. Suppose 4*w + 22 = b*l, 0*w = 2*l + w + 3. Suppose -l - 8 = -3*z. Solve z*d - d = 8 for d.
4
Suppose 5*r - 8 = 3*r. Let j(w) = -w**3 - 5*w**2 + 8*w + 9. Let t be j(-6). Let v be 13 + t + 1 - -1. Solve v + 0 = r*y for y.
3
Suppose d + 3*h = -19 + 4, 0 = 3*d - 2*h - 10. Suppose w - 4*j - 18 = d, -5*w - 1 = -j - 15. Suppose y = 37 - 22. Solve -y = w*z + 3*z for z.
-3
Suppose 3*s = -0*s + 6. Suppose 0 + 20 = -4*g. Let l = 14 + g. Solve l = s*a + a for a.
3
Let s = -2 + 4. Suppose -s = a - 2*x, a = -2*a + 2*x + 2. Let n(h) = -h**2 - 4*h + 6. Let d be n(-5). Solve 9 = -a*m + d for m.
-4
Suppose 5*a - a - 24 = 4*s, 0 = -2*a - 2*s + 12. Let l be (2/6)/(a/36). Solve -l*w - 6 - 4 = 0 for w.
-5
Let v(j) = -j**3 - 6*j**2 - j - 1. Let a be v(-6). Let u be (-2)/(-1 - 0) + -5. Let o be (3 + -3)*(-1)/u. Solve -25 = -a*g - o for g.
5
Suppose -2*t + t + 21 = -q, -5*t - 2*q = -140. Let n = t - -2. Suppose -2*x - 3*y = -n, -3*y = y - 8. Solve 2*p - 1 = -x for p.
-5
Suppose -k = 2 - 5. Let v(r) = -42*r - 2. Let p be v(-1). Let j be p/6*(3 + 0). Solve 7*t - j = k*t for t.
5
Let h(i) = -i**2 + 4*i + 15. Let m be h(6). Solve m*z - 13 = 2 for z.
5
Suppose 2*p - 6 = -0*p. Solve -n = -p*n - 8 for n.
-4
Let h = 37 + -30. Suppose -6 = 6*x - 3*x. Let u be (-7)/(h/10)*x. Solve 0 = 4*n + u - 4 for n.
-4
Let a(s) = 2*s + 10. Let l be a(-8). Let v be -4 - (-4)/((-8)/l). Let o be (2*v)/((-4)/2). Solve 3*f + o = -2 for f.
-1
Let s(b) = -b**3 + 6*b**2 + 9*b - 10. Let u be s(7). Let d be 7 + (3 - u - 2). Solve -3*i + d*i + 3 = 0 for i.
-3
Suppose d - j - 23 = j, 0 = -2*d - 2*j + 22. Let f = 27 - d. Solve -f = -5*p + p for p.
3
Suppose -3*w + 68 = 11. Solve -5*n - w = 6 for n.
-5
Suppose 2*k = -3*k + 3*q + 6, -5*k + 4 = -2*q. Solve 3*d + 2*d + 15 = k for d.
-3
Suppose 2*r + 8 = 6*r. Suppose r = 4*u - 3*i, 3*u + 0*i - 2*i = 2. Suppose 0 = -4*b + 5*h - 2, 4*b - 2*h = -6*h + 16. Solve 0*k - b = -u*k for k.
1
Suppose -3*r + 10 - 1 = 0. Suppose 4*d - r*t = 8, d + 4*t + 15 = 36. Solve -d*l - 20 = -l for l.
-5
Suppose -4*p + 15 = 3*n, -3*p - 5*n = -3*n - 11. Suppose p*i + 64 = 4*v, -3*v = -2*i + 7*i - 19. Solve 5*m = 28 - v for m.
3
Suppose c + 1 = 2*q + 4, -q = -3*c + 9. Suppose 2*g = 5*g - 5*h, c*g = -2*h. Solve 3*y - 4 - 8 = g for y.
4
Suppose 25 + 0 = -4*l - 5*m, 20 = -4*m. Solve 2*j - 3*j - 2 = l for j.
-2
Let b(l) = l + 4. Let p be b(-4). Let g be 3 + 12 - (-1 + p). Let i = g - 8. Solve -i = 3*w - 2 for w.
-2
Let z = -2 + -2. Let t be 2/(-3)*30/z. Let v = -1 + t. Solve 3 = -v*d + 19 for d.
4
Let b be (70/21)/(6/9). Solve -w = -0 - b for w.
5
Suppose -8 = -0*o - 2*o + p, 5*o + 3*p = -2. Suppose 0 = -i + 1, -5*i = r - o - 7. Solve 0 = -r*z + 14 - 6 for z.
2
Suppose 11 = 2*t + 1. Let n(l) = l - 7. Let c be -1 + (2 + -6)*-2. Let q be n(c). Solve t*s - s = q for s.
0
Let j(m) = -m + 6. Let q be j(6). Solve 0 = -q*p + 3*p - 6 for p.
2
Let m(z) = 2*z - 1. Let n be m(2). Suppose n = l - 2. Solve l*j = -11 - 4 for j.
-3
Suppose 3*g - 19 = 5. Suppose 3 = 5*v + g. Let z be (-8)/(-12) + v/(-3). So