Let c be a(2). Solve 0 = -0*g + 2*g - c*b - 30, -3*b + 8 = 4*g for g.
5
Let a be (2 + -8)*7/14. Let j be (2/a - 1)/((-15)/18). Solve 5*k + 4*q = -16, 0 = -2*k + 2*q + j*q - 12 for k.
-4
Suppose 0 = -17*t + 20*t - d - 29, -t + 31 = -3*d. Solve t = 2*c + 3*y, -5*y = -4*c + 8 - 5 for c.
2
Let k(v) = v**2 - 12*v - 13. Let a be k(11). Let b be 2*a/(-4)*(0 + 1). Let z(f) = -3*f + 36. Let d be z(b). Solve 2*h + 3*i - 2 = 5*i, d = 5*h - 3*i - 5 for h.
1
Let i = -8494 - -8496. Solve 0 = -c + 2*b - 10, -10 = i*b - 4*b for c.
0
Let d be (48/5)/8 + 70/25*1. Solve -40 = 4*w + d*h, w + w + 23 = -3*h for w.
-7
Let k(r) = 3*r**2 + 59*r + 38. Let p be k(-19). Solve 2*z - 3*g + 20 = 0, 5*z = -3*g - p*g - 8 for z.
-4
Suppose -43 = 5*a - 113. Let q(y) be the first derivative of y**4/4 - 14*y**3/3 + 10*y + 64. Let b be q(a). Solve 3*w - r = b, 0 = -2*w + 5*w + 3*r - 6 for w.
3
Let t(k) = 14*k**3 - 3*k**2 + 2*k - 1. Let x be t(1). Let u be (x/(-9))/((-2)/(-36)). Let n = 24 + u. Solve -5*c - 4*m - 25 = n, -4*m = -5*c - 3*m for c.
-1
Let p(c) be the third derivative of 4 + 4*c**2 + 1/60*c**5 - 3/2*c**3 - 1/8*c**4 + 0*c. Let q be p(5). Solve 3*z + 9 = -3*l, 3*l = 3*z + q + 8 for z.
-3
Let t be ((-3)/(-5))/(1/(-955)). Let z = t + 574. Solve -2*m + 7 = 2*o + z, 4*m + 5*o - 16 = 0 for m.
-1
Suppose -26 = -33*u + 139. Suppose -13*m + 34 + u = 0. Solve 9 = 3*o - 3*x, -m*x - 5 - 4 = 0 for o.
0
Suppose -4*x = 3*w - 31 + 16, 0 = -3*x + w - 5. Solve 3*m - 8 = -2*k - 4, x = -m - 2*k + 8 for m.
-2
Let d(u) = -u**2 - 95*u - 2096. Let y be d(-60). Solve -y*w = 13 - 5, -2*k + w + 12 = 0 for k.
5
Let q(y) be the first derivative of -y**4/4 + y**3 + 3*y**2/2 + 7*y + 92. Let g be q(4). Solve 3*j + 2*j + z = -29, 4*z + 31 = -g*j for j.
-5
Suppose -5*o + 3*n - 3 = -6, 5*n - 26 = -2*o. Suppose -2*y = -2*a + 14, 2*a = o*y + 9 + 8. Solve -3*r + 24 = -4*k, r + 0*k = -a*k - 8 for r.
4
Let z be (30/6)/((1445/34)/17). Solve z*f = -n + 2, 0*n = f - 4*n + 8 for f.
0
Let m = 1 + 8. Suppose 5*x - 16 = -3*l + m, 15 = l + 3*x. Solve -5*u + 30 = -5*t, 2*t + 0*t + 2 = l for u.
5
Suppose 2*g + 946 = 24*g. Let t(x) = -11*x + 3. Let l be t(4). Let w = l + g. Solve -p = -w*n + 12, -n + 2*p - 4 = -4*n for n.
4
Let g be -10 - (-92)/8 - 3/(-2). Solve -8 = 2*i - g*f, -24*f = -23*f for i.
-4
Suppose 2*l + 1 = -3*v + 22, -3*l - v = -28. Suppose -x - c + 100 - 20 = 0, 0 = -3*c + l. Let a = x - 70. Solve -4*m - a - 1 = 0, k - m = 4 for k.
2
Suppose 3*j = j - 2*f + 160, 3*j + 4*f - 239 = 0. Suppose 12 = -83*t + j*t. Let l be -10*(-4)/24*t/(-5). Solve -6 = -2*m - 3*g, 2*m + l*g - 3 = 1 for m.
0
Let h = -10106 + 10112. Solve -6 = -s + b, h*s - s = -5*b - 20 for s.
1
Let w = -7851 - -7870. Solve -3*a - 10*r + 12*r = w, -2*r = -4 for a.
-5
Let m be (7 - (14 - 0)) + 12. Solve -9*c - 4*w = -13*c - 12, 9 = c + m*w for c.
-1
Let m(h) = 5*h - 5*h**3 + 4*h**3 - 7 + 3*h + 5*h**2. Let x(z) = -6*z**2 - 175*z + 156. Let w be x(-30). Let n be m(w). Solve 4*i + 0 + n = p, -p + 1 = 0 for i.
-1
Suppose -3*t = 4*s - 15, -28*s = 3*t - 32*s - 15. Solve 2*v + 12 = 2*x, 2*v + 13 = -2*x + t*x for v.
-5
Let x(o) = -o. Let g(s) = 5*s - 39. Let i(a) = g(a) + 2*x(a). Let f be i(14). Solve -5 = -2*n - l, -f*l + 0 = 4*n - 11 for n.
2
Let j be (-2 - 10) + 0 + -4. Let y = j + 18. Let w be 32/56 + 30/21. Solve -w*t + 6 = -2*o, y*o = o - 4*t + 12 for o.
0
Let k be 11*(-1 + 2) + -7 + 1. Let c(a) = -a + 6. Let w be c(2). Solve -25 = 2*s + 5*r, w*r - 23 = 4*s + k*r for s.
-5
Let q be 51/17 + (-2 - 0). Suppose 0 = -5*m - 10, -2*j - m + q = -j. Suppose -j*b + 12 = 6. Solve 0 = -5*d - 3*c + b - 18, -4*d - 2 = -3*c for d.
-2
Let a be 411*(-5)/15*1. Let c = 145 + a. Suppose 0 = 38*u - 36*u - c. Solve 1 = -l - k, u*l + 2*k + 40 = 7*k for l.
-5
Suppose 5*q = -b + 14, -27*q = -32*q - 3*b + 2. Solve 3*u + 12*x - 23 = 14*x, -2*u - q*x = 6 for u.
5
Let y be 5*((-4)/10 - 12/(-10)). Suppose 5*b - 48 = y*v, -3*v = 5*b - 8*b + 30. Solve -3*s = 4*f + 14, -4*f - 10 = 5*s + b for f.
-2
Suppose 79*k - 33*k - 230 = 0. Solve k*w + 2*c = 9*w + 22, -2*w - c - 5 = 0 for w.
-4
Let g(f) be the first derivative of -2*f**3/3 - 57*f**2/2 - 13*f + 279. Let l be g(-28). Solve -3*u - l = 0, 2*i + 2*u + 0 = -2 for i.
4
Suppose 335*z - 357*z = -88. Solve 26 = z*b + 6*i - 3*i, -4*i - 17 = -5*b for b.
5
Let n be 6 - 96/54 - (-5 - 235/(-45)). Solve -4*v + 5 = -3*c, n*c - 5*v = -11 + 4 for c.
-3
Let u = 7589 - 7575. Solve -7*x + 11 = -10*x + 2*m, -2*m = 2*x + u for x.
-5
Suppose 0 = 827*b - 826*b. Solve 5*n + b - 9 = v, 4*n + 2*v + 4 = 0 for n.
1
Suppose 6*q - 907 + 559 = 0. Suppose 20*x = q + 22. Solve b - x*r + 9 + 6 = 0, -4*b - 3*r = 3 for b.
-3
Let x(a) = -a**2 + 3907*a - 62234. Let u be x(16). Let k be ((-4)/(-5))/(6/15). Solve k*p = -6*f + 4*f - 2, 3*f - 2*p - u = 0 for f.
4
Suppose -9843 + 9898 = 11*m. Solve 4*a - m - 11 = 0, -a - 1 = -5*r for r.
1
Suppose -4*k - t + 80 = 0, 4*k - 26 = 2*k - 4*t. Suppose -85 - k = -2*d. Suppose d = 3*z + 11. Solve 4*a + z = -b, 7*a - 4*a = -5*b - 19 for a.
-3
Suppose 4*l - 14 = -6, -2*w + 5*l = -96. Let o = -33 + w. Suppose 0 = r - 2 - 3. Solve -r*s - 2*a = -o, 3*a + 4 = 2*s - s for s.
4
Suppose -3*u - 12 = 0, -5*z = 10*u - 8*u - 2. Solve 4*y - 9 = -p, y - 4*y - 7 = -z*p for p.
5
Let l(x) = 26*x + 134. Let a be l(-5). Suppose 0 = a*z - 3*w - 42, 2*w - 5*w + 6 = 0. Solve 2 = m - s - 1, -2*m + z = -4*s for m.
0
Suppose 5*s - 1402 + 1379 = g, -g = 2*s + 2. Solve 3 = 3*y, -4*l + 6*y = s*y + 3 for l.
0
Let i(o) = 46 + 93 - 7*o - 66. Let n be i(8). Solve -5*g + n = a, 0 = 5*a + g - 17 + 4 for a.
2
Let y(p) = 2*p**2 - 7*p + 11. Let n be y(5). Let t = -30 + n. Let x be -14 - -15 - t/(4/3). Solve c - 3*o + 9 = 2*o, 3*o = x*c + 19 for c.
-4
Suppose -10*q = -4*q. Suppose q = -t - 5*m, -t + 4*m = 3*m. Let c = -120 - -125. Solve 5*f + t*f - 5 = 0, -3*f + 23 = c*d for d.
4
Suppose -111 - 109 + 217 = -d. Solve 8*z = -w + 9*z - 2, 14 = -d*w + z for w.
-6
Let w be (-4)/(-1*4) + 2. Suppose 2*b + 55 = 67. Suppose 3*p - b = 2*k + 3, -12 = -4*p - 4*k. Solve -2*n + 5*d = -w*n + 15, -p*n = 5*d - 5 for n.
-5
Let r(a) = -11*a - 51. Let m be r(-10). Let u = m + -60. Let n be (-1 - u)*7/21*-3. Solve 4*f + 10 = -5*t, -10 + n = 5*t + 5*f for t.
-2
Let x be (-14)/(56/(-12)) + 1348. Suppose -1358*d = -x*d - 14. Let t be -2*(2 + 27/(-6)). Solve -d*z + 12 = -4*q, 3*q - 5*z = -2*q - t for q.
-5
Let m be 224/(-672) - (-32)/6. Solve -5*u = 2*x + 13, m*x - 5*u = 50 - 30 for x.
1
Let v(f) = 32*f - 15. Let b(j) = 32*j - 15. Let o(y) = -4*b(y) + 3*v(y). Let t be o(3). Let x = t - -100. Solve i + 4 = -d, 0 = 5*d - i + 5*i + x for d.
-3
Let j(c) = -37*c**3 + 5*c**2 - 53*c - 58. Let l be j(-1). Solve 0 = -2*q - l*t + 40*t - 7, 0 = -3*q - 4*t - 19 for q.
-5
Suppose -93*z - 1140 = -169*z. Let c be 16/(-12) - (-8)/(-12). Let x be c/5 - 12/(-5). Solve 5*n = -5, -4*a - z = -x*a + 5*n for a.
-5
Let r(q) = -q**2 + 15*q + 5. Let j be r(0). Let a be j - 6/6 - 1*-1. Solve 5 = -5*x - 2*p, -6*x + a*p = -4*x + 2 for x.
-1
Let j = 44622 + -44399. Solve 2*l + 213 = -5*n + j, 0 = 5*l - 2*n + 33 for l.
-5
Suppose -8*l + 1972 = -908. Suppose 5*c - 8*c = -l. Let m = c + -116. Solve a = -m*g - 6, 2*g - 4 = 2*a - 2 for g.
-1
Let f = -14331 - -14352. Solve 17*v + 4*g = f*v - 8, -3*v + 7 = -4*g for v.
1
Let n = 42 + -22. Let i be (-15)/n - 33/(-12). Suppose -6*m = -2*m + 4*c, -2*m + i*c = 0. Solve y + 0*y - t + 1 = m, -5 = 4*y - 5*t for y.
0
Let n be (2 + 0)/(2/21). Solve -5*b - y = n, -y = 4*b + 20 - 3 for b.
-4
Suppose 2936*z - 2947*z = -44. Suppose c - 5*c + 8 = 0. Solve c*n = z*k + 8, k - 8 = -7*n + 5*n for n.
4
Let w(d) = d**3 - 3*d**2 + 18*d - 82. Let i be w(4). Suppose 30 = i*y - 0. Solve -3*k = -y*a + 32, -5*k = -a + 6*a for a.
4
Let a = -26 - -160. Suppose w - s - a = 0, 3*w + s = 5*s + 405. Let k = -127 + w. Solve r + 22 = -3*r - 2*n, 1 = -k*r + 5*n for r.
-4
Suppose -7*d + d = -240. Suppose 4*w - 148 = -3*r - 41, 0 = w - 2*r - 24. Let g = d - w. Solve o + g = 4*f, 7*o = 3*o - 4*f + 4 for o.
-2
Let h(v) be the third derivative of -v**4/24 - 5*v**3/6 - 17*v**2. Let f be h(-8). Suppose 0 = s - 3 - 3. Solve -m = -q - s, -f*q + m = -m + 14 for q.
-2
Let b(k) = k**3 - 13*k**2 + 86*k - 253. Let w be b(6). Solve -2*y - w = 5*g, 3*g = 8*y - 3*y + 12 for g.
-1
Let w = 345 + -343. Suppose -8*u + 11*u + 10 =