 22 for c.
5
Let q be ((-8 - -5) + 5)/(-2) + 7. Suppose -z + 5*z - 10 = -y, 0 = z + 2*y - q. Solve -10 = t + 3*u, -2*t - z*u = t + 2 for t.
2
Let k be 10/2*-1*(-6705)/11175. Solve -4*s + 2 = 2*g, -4*s = 27*g - 30*g + k for g.
1
Let a be 57/(5643/924) - 5/(-3). Suppose -3*x - 2*b + 17 = -2*x, -3*x - 2*b + 39 = 0. Solve -2*m = 5*h - x, -3*h + 5*m + a = -8 for h.
3
Suppose 4*m - 4*i - 36 = 0, m = 3*m + 2*i - 2. Solve -m*j - 3*s - 2*s - 35 = 0, 3*s = 3*j - 3 for j.
-3
Let m be 19/((-3990)/90) - 20/(-14). Solve 0 = 3*i + m + 2, 4*r + 4*i - 8 = 0 for r.
3
Let l(z) = -4*z + 4. Let x be l(3). Let i = x + 12. Solve -i*p + 4*w + 4 = 0, -3*p = -4*p + 4*w + 16 for p.
-4
Let j(c) = -3*c**2 + 11*c + 47. Let n be j(6). Solve n*w + 48*d - 8 = 49*d, 2*w - 4*d = 14 for w.
1
Suppose 0 = q - 5*k - 520, 0*q + 1064 = 2*q - 4*k. Let l be 6/(3/(-7) - q/(-672)). Let s = 41 - l. Solve -3*v + 0 = -u + 5, s = 5*u + v for u.
5
Suppose 0 = -64*o + 48*o + 80. Solve 2*t = 4*x, 5*t = -o*x - 29 - 16 for t.
-6
Let c be (1 + 0 - -1)*(-303)/(-202). Suppose 3 = -c*x + 27. Solve -40 = 3*i - x*i - 4*u, -6 = i - 2*u for i.
4
Suppose -115 = -6*l + 3*l - 2*a, -25 = -l + 2*a. Let w(y) = 57 - 24*y - y**2 - 25*y + l*y. Let t be w(-17). Solve -g - 2 = 3*v, g = t*g + 5*v for g.
1
Let d be 2/3 + 42/(-63). Let p be ((-22)/(-4))/(-11)*d. Suppose 2*v - 15 = 15. Solve p*r + r = 5, -5*r = -5*g - v for g.
2
Let f = -18309 - -18335. Solve 4*z - f = 2*b, -27*z + 25*z = 3*b - 1 for z.
5
Suppose -21*r = 11*r + r. Solve r = 4*f + 16, -3*f - 2 - 14 = 4*a for a.
-1
Let p(f) = 2*f**2 + 66*f - 68. Let r be p(1). Solve 5*x - 1 = 2*k - r, -3*x + 11 = 4*k for x.
1
Let d be ((-8)/2)/2 - 12/(312/(-130)). Solve -3*l = -5*n + d, 159*l - 161*l - 2*n = -14 for l.
4
Suppose 69 = 7*a - 1226. Suppose -a*t = -178*t. Solve -5*c = 4*w + 3, 3*w + t*w - 18 = 3*c for w.
3
Let o be (-4)/(112/(-77)) - 1/(-4). Suppose -5*v + 4*w = -70, -w + 23 = 4*v - o*v. Let n be 2*1/((-6)/(-9)). Solve -d - v = -b - n*b, 3 = -d + b for d.
2
Let n = 297 + -291. Suppose -n*i + 5*i = 0. Solve 4*w + i = -p - 9, w + 6 = -p for w.
-1
Suppose -6*g = 71*g - 294 - 14. Solve -2*m + 4*n = -6, g*m - 4*n = -7*n - 10 for m.
-1
Suppose -1 = q, 3*r + 3*q = 31 - 25. Let o be (14 + -6)/(-8) + r + 1. Solve -12 = -4*a, o*a + 2*a = 4*s + 27 for s.
-3
Suppose 24*b - 26*b = -k - 4, 5*k + 6*b - 60 = 0. Solve 5*t - 3*i - k = 0, 8*t - 12*t - 10 = 5*i for t.
0
Suppose -5 = -5*s + y, 2*s - 3 = 3*y - 1. Suppose 2*b - 4 = -2*b. Let q = b + s. Solve 4*i = -4*r - 24, 2*r + 2*r - q*i + 6 = 0 for r.
-3
Suppose 0 = 342*v - 86 + 86. Solve z - 4 = 0, 4*d + 2*z - 6*z + 4 = v for d.
3
Let g = -16203 + 16208. Solve 5*s - 5*p = -15, -4*s - 8 = -g*p + 2 for s.
-5
Let b(m) = -4*m**2 - 25*m - 35. Let g be b(-3). Solve -6*s + g = -4*h - 10*s, -4*h - 3*s - 1 = 0 for h.
2
Let l(o) = -1067*o - 3184. Let m be l(-3). Solve 21 = -3*j - k - 2*k, 0 = -j - 3*k - m for j.
-2
Let n(w) = -w**2 - 9*w + 15. Suppose i = 5, -4*i = 6*m - m - 165. Suppose -3*k = m + 1. Let o be n(k). Solve -o*g - j + 27 = -4*j, -15 = -g + 3*j for g.
3
Let a(h) = -2*h - 2. Let l be a(-3). Suppose 10 - 214 = -64*n - 12. Solve -r + 12 = 2*r, 0 = -n*u + 2*r + l for u.
4
Let m(y) be the third derivative of y**4/6 - 6*y**3 - 12*y**2 + 14*y. Let k be (-4)/3*(-15)/2. Let d be m(k). Solve -4*w + 2*b - d*b = 0, -w + 4*b = 0 for w.
0
Let d(b) = -5*b**3 + 2*b**2 - 2 - 3*b + 3*b**3 + 2*b. Let o be d(2). Let k(y) = y**2 + 11*y + 7. Let n be k(o). Solve -15 = -3*r, 0 = 3*u + 3*r - r - n for u.
3
Let v be ((-12)/(-3))/(-8)*-42. Suppose -v = -18*u + 11*u. Solve -3*k + 3*d - 1 = -10, 2*d = u*k - 6 for k.
0
Let f be -8 + 18 + 5 + 0. Suppose 2*n - 4 = k - 3*k, 0 = -4*n + 3*k + f. Solve -n*t + 13 = -4*o, 5*t - 11 = 4*o + 8 for o.
-1
Let p be (3 - (-11)/(-5)) + (-1)/(-5). Suppose -6*z + p = 2*k - 3*z, 2 = -2*z. Solve k*x - 4 = -4*h, -5*h + 2*x + 5 = -2*x for h.
1
Suppose 2*p = i - p - 497, 2016 = 4*i + 2*p. Let u = i + -500. Solve s + 0*k + 2*k = -9, u*s = 5*k + 17 for s.
-1
Let y(g) be the first derivative of -g**3/3 + 17*g**2/2 + 12*g - 28. Let q be y(17). Solve -n + 8 = -2*o, q = -o - 3*o for n.
2
Suppose -l + 10 = -4*l + 2*o, -2*o = -5*l - 10. Solve 5*x + 19 - 9 = 0, l = -2*h + 2*x + 8 for h.
2
Suppose 33*l + 21*l - 227 = 745. Solve -l = 4*c + v - 7, 4*v + 5 = -3*c for c.
-3
Suppose 4*c - 29 = c + 5*k, -5*c = -5*k - 35. Suppose -l - 13 = -b + c*l, -l = 3*b - 13. Solve -31 = -2*f - b*i, -5*f - 5*i + 37 = -f for f.
3
Suppose 2*y = 14*f - 9*f - 19, -5*y = 5*f - 40. Solve 5*j = 3*k - 14, -5*k - 3*j = 25 - y for k.
-2
Let x(i) = -i**2 + 94*i - 2028. Let j be x(34). Solve 4*z = -4*o - j, 3*z + 5*o + 16 = 1 for z.
0
Suppose -22*n - 945 = -31*n. Let t = n - 104. Solve 2*y = -j + t, 0 = 3*j - 6*j + 3*y + 3 for j.
1
Suppose -10*d - 576 = 1204. Let i = 183 + d. Solve -3*w + u = 0, u = -i*w - 0*u - 8 for w.
-1
Let r be (-10)/(3*18/(-27)). Solve -19 = 5*c + 4*n, -12 - 2 = r*c - n for c.
-3
Let y(l) = l**2 - 18*l + 83. Let t be y(8). Suppose -4*n = -6*i + i + 36, -t*n - 16 = -i. Solve 0*p - 5 = p + 3*w, i*w - 2 = 3*p for p.
-2
Let h be 9*8/12*(-59)/(-118). Solve 5*j = -h*m + 2, -4*m + 3*j = 2 + 5 for m.
-1
Suppose 2*v - 5 - 5 = 0. Suppose 2*l - 5 = l. Suppose -12 = -3*q - 4*c, 2 = 2*q - l*c - 6. Solve 3*u - h - 5 = 0, -v*u - q*h + 17 = 3 for u.
2
Let z(p) = p**2 - 3*p + 6. Let g be z(7). Suppose 22*n - g = 54. Solve d = 1, -n*y + 3*d + 10 = d for y.
3
Let y(v) be the second derivative of -v**3/2 - 17*v**2 + v - 100. Let g be y(-13). Solve 4*i = -3*z - 14, -19 + 4 = g*z + 5*i for z.
2
Suppose 2*o + 36 = 4*y + 6*o, -y + 4*o = 16. Solve -12 = -y*b + 5*g, -79*b - g + 2 = -82*b for b.
-2
Suppose 0 = 40*r - 39*r - q - 6, 4*r + 5*q = -30. Solve 3*z = -n + 2*n - 16, r = 3*n - 3*z - 18 for n.
1
Let m be ((-2)/(4/33))/(77/(-154)). Suppose 83 - m = 5*d. Solve -5*z = 3*b - d, -6*z = 4*b - 2*z for b.
-5
Let r = 12 - 8. Let u(z) be the second derivative of z**4/12 + z**3/2 - 2*z**2 - 27*z. Let m be u(2). Solve m = 2*v - i, -r*i + 0 + 6 = -2*v for v.
5
Let w(i) = i**2 + 16*i - 10. Let n be w(-17). Let y be (215/n)/5 + 1/(-7). Let m be (12/(-2))/2*(-4)/y. Solve m*a + 6 = 2*k, 3*a + k + 6 = 13 for a.
1
Let b be (4 + 1 - 7) + 1*32. Let v be (b*(-3)/24)/(9/(-12)). Solve 5*i + v*q - 20 = 0, 0 = -0*i - 3*i + q for i.
1
Let x be (-2)/(-9) - 12/54. Suppose -11*c + 17 + 27 = x. Solve -2*g - c*b + 14 = -b, -4*g = 3*b - 16 for g.
1
Suppose -17*w + 20*w - 27 = -2*c, 0 = 4*c - 2*w - 62. Solve -5*p + 9*p - 5*b + c = 0, -2*b + 6 = -2*p for p.
0
Suppose f = 3*f + 64. Let s = f + 35. Suppose -s*r + 20 = r. Solve -r*m - 4*v = 8, -3*m + m - 5*v - 10 = 0 for m.
0
Let m = -147 - -153. Let u be (6 - 4)/(4/m). Solve -2*i = z, -u*i + 4*z - 22 = -0*z for i.
-2
Let m be ((-3)/(3*-4))/(3/(-144)*-2). Solve w + 3*u + 1 + m = 0, -u = 2 for w.
-1
Let y = -40 - -56. Suppose -4*j = 2*a - 4, 3*j + 3 = 4*a - y. Suppose 0*n = 3*n + 3, a*f + n - 11 = 0. Solve -f*b - d = 1, -b + 5 = -d - 4*d for b.
0
Let w(h) = -6*h - 22. Suppose 15 = -37*r + 34*r. Let f be w(r). Let y be 21/28 + 18/f. Solve -y*m + 2 = 2*n, 3*n - 5*m - 3 = -0 for n.
1
Let k(p) = 73*p**2 + 20 + p - 74*p**2 + p + p. Let h be k(0). Solve 3*l = -5*f + 1 + 11, -5*l + h = -2*f for l.
4
Let z = 785 - 778. Suppose -114*w + 115*w = 2. Suppose -3*x = 2*x - 10. Solve -3*r - h = z, 3*h = -x*r + h + w for r.
-4
Suppose -2*r - 39 = -49. Suppose 0 = -z - 2*u + 8, -2*z + r*u - 18 + 70 = 0. Solve 0 = 3*b + 5*h + z, -h = -b + 2*b + 2 for b.
3
Suppose 53 = -2*p - 3*j, -j - 4*j = -15. Suppose -52 = -2*d + 5*b, 2 = -5*b + 12. Let i = p + d. Solve -5*x + 3*a = -16, 2*a + i + 14 = 4*x for x.
5
Let n(p) = -p**2 - 84*p - 737. Let i be n(-74). Solve -y - 6 = i*u, 0 = 3*y - y - 2*u - 4 for y.
0
Let b = 3996 - 3993. Solve 8 = 4*l, 5*v + 7*l = b*l + 28 for v.
4
Let o = 135 - 94. Suppose 19*c + o = 117. Solve -c*l - 8 = -2*h, -7*h + 2*h + l + 11 = 0 for h.
2
Let c be -3*6/10*135/(-81). Solve -3*q + 27 = 3*g, 0 = -c*g + g - q + 14 for g.
5
Suppose 2 - 25 = -z. Suppose 3*a - 32 = -z. Suppose 4*g + 5*h = -a + 39, g + 5*h = 9. Solve -r - 5 = 2*l, 0*r - g = 3*l + r for l.
-4
Suppose 12*i + 2 = 2. Let x be (-37)/74*i*2/4. Solve 4*v = -2*d, x = -3*v + 5*v - 4*d - 20 for v.
2
Let s be ((-3)/(-4))/(-3) - (2490/120 - 24). Solve s*o = -5*r + o + 20, 5*o - 8 = -2*r for r.
