264*v, x + 3*v - m = 0 for x.
3
Suppose -125*i + 76*i = -196. Let u(b) = -b**2 + b**3 - 4*b - 2*b**2 + 4 + 0*b**3. Let g be u(i). Solve 0*p - 8 = g*y - p, 0 = -y + 3*p - 2 for y.
-2
Let o be (2 - (3 + -3))*-166. Let v = 334 + o. Solve 2*h + 2 = -4*s, v*h - 15 = 5*s - 35 for s.
2
Suppose -23*p + 0*p - 9407 = 0. Let s = p - -411. Solve 2*j - s*d + 6 = 0, -5*d + d + 2 = j for j.
-2
Suppose 0 = -271*o + 262 + 1093. Solve 3*h = o*c, c = -3*c - h for c.
0
Suppose -19*w + 20*w + 252 = 0. Let x = w - -252. Solve 0 = 5*b + p - 29, x*b + 3*b - 3*p = 3 for b.
5
Suppose -4 = -g + 3*g. Let n be (-2 + -4)/(1/g). Suppose -3*c - 3*y - 33 = 0, -2*c - 3*y = -12*c + 33. Solve 2*a + 3*v + 3 - 15 = c, 4*a = -3*v + n for a.
0
Let s(f) = -f**3 - 26*f**2 + 3*f + 114. Let t be s(-26). Solve -4*c + 4 = 0, 33*c - 9 = 3*n + t*c for n.
-4
Suppose d + 193 = 184, 3*q - 48 = 4*d. Let w(b) = -b. Let i be w(-6). Solve 5*t + q*x - 3 = 0, t + t + 4*x + i = 0 for t.
3
Suppose -60 + 65 = m. Suppose i - 2 = -a, -30 = -4*a + a + m*i. Suppose -2*z - 12 = j + z, 4*z + 5 = -a*j. Solve 4*v = j*d - 12, 6*v = v - d + 4 for v.
0
Let t(z) = -1342*z - 5365. Let x be t(-4). Solve 3*k = -5*a + 13, 6*a - 4 = 2*k + x*a for k.
1
Let w = -851 + 854. Solve -5*u + 5*i = 0, -59*u - w*i = -64*u for u.
0
Let p(s) = -3*s**2 + 229*s + 156. Let z be p(77). Solve -4*o + 11 = z*g - 11, 2 = -o + g for o.
3
Let y(r) = 3*r**2 + 5*r + 25. Let i be y(-9). Let d = i - 221. Solve 5*f = 5, m - d*f - 13 = -4*m for m.
3
Let l(r) be the third derivative of r**6/120 - r**5/60 - r**4/6 + 3*r**3/2 + 110*r**2. Let o be l(0). Solve 5*n - o = -g, -7*g + 5*g = 2*n - 2 for g.
-1
Suppose 5*f - 4*x = 31, -4*x = -84 + 100. Solve -12 = 2*d + 2*j, -2*d + f*j = -2 + 9 for d.
-5
Suppose 0 = -3*q - 7 + 4. Let n be -1*(q + -2) + (1 - -2). Suppose 6*p - n = 6. Solve -h - 6 = 2*d - 4*d, 2*h = p*d - 10 for d.
1
Suppose -18*g - 8 = -14*g - 3*f, 2*f + 8 = 0. Let w be (g + 0)/10*-10. Solve 4*r + w*t - 14 = 3*t, 0 = 2*r - t + 3 for r.
1
Let z(a) = 37*a - 34. Let j(h) = -5*h**3 + 15*h**2 + 2*h - 5. Let o be j(3). Let n be z(o). Solve -4*q + 8 = -3*v, -2*q - n*q - v - 9 = 0 for q.
-1
Let t be -4 - (15 + -2)*1*(-7)/7. Solve -4*f + 3*a - 11 = 0, -8*f + 5*f + 3*a = t for f.
-2
Let n = 96 + -85. Suppose -5*b + 10 = -40. Suppose -6*f - b = -n*f. Solve -4*m = 3*w - 19, m - 4 + f = 2*w for w.
1
Let w = 3313 + -3310. Let x = -27 + 31. Solve -5*k - h - w*h - 4 = 0, 3*h + 3 = x*k for k.
0
Let j(d) = -d**3 + 23*d**2 - 25*d + 70. Let m(p) = -p**2 + 14*p + 9. Let n be m(13). Let a be j(n). Solve 2*q + 8 = 4*u, -u - u = 5*q - a for q.
0
Suppose 21*c = 15*c + 144. Suppose -16 = h - 5*h. Let n(f) = f**3 - 3*f**2 - 2*f. Let d be n(h). Solve -d = g - 0*g + 3*j, 5*g = j + c for g.
4
Let o be (-7 - (-3 - 3))/(3/((-24)/4)). Solve o = p - 0*w + 2*w, -p = 3*w - 2 for p.
2
Let w(f) = 2*f + 8. Let j be w(5). Suppose -j*r = -15*r - 48. Suppose 18*i = r*i. Solve i = 2*b - 3*a - 13, 2*a = -b - 3*a for b.
5
Suppose -z = n - 13, 18*z - 22*z + 12 = 0. Solve 3*v + 2*h - n = -3*h, 4*v - h - 21 = 0 for v.
5
Let r(j) = 191*j + 1910. Let w be r(-10). Solve w = 5*x + v + 20, 40*v - 44*v = 5*x + 5 for x.
-5
Suppose v - 2 = 0, -3*p + 9*v + 4 = 5*v. Suppose 3*w = d + 4*w - 6, -2*d + 4*w - 12 = 0. Solve -p*b = d*j - 6, -5*b + 18 = j + 3 for b.
4
Suppose 10 = 6*b - 20. Suppose 0 = b*a + 136 + 64. Let l = a + 66. Solve 3*x - 20 = 2*w - x, -l = 3*w - 5*x for w.
-2
Let k be -66 - -60 - ((-5 - -3) + -29). Solve 0 = 5*r + b - 17 - 10, 5*b - k = -3*r for r.
5
Let y be 9/(-72)*0 + 3. Solve 9*k - 12*k + y = 0, 0 = -a + 4*k - 3 for a.
1
Suppose 70*w - 70 - 281 = -71. Suppose -7*m + 2*m + 15 = 0. Solve 2*i - m*a - 11 = 0, 3*i + 12 = w*a + 27 for i.
1
Let l(o) be the second derivative of o**4/12 + 13*o**3/3 + 48*o**2 - 2*o + 49. Let f be l(-4). Solve 3*z - y = 7, -3*z - y + f = -z for z.
3
Let a = 7 - 5. Let g(o) = 8*o**2 + 2*o + 2. Let l be g(-1). Suppose 0 = 22*p + l - 30. Solve a*n = -4*h, -4*n - 3 = 4*h + p for n.
-2
Let x(b) be the first derivative of b**2/2 + 4*b - 14. Let u be x(-1). Suppose -3*l + 9 = 0, 2*i - 28 = -u*l + 5. Solve -3*y + g = -i, 11 = -3*g + 2 for y.
3
Let q be 33/2 - 27/18. Let c(j) = j**2 - 16*j + 20. Let x be c(q). Let a be ((-19)/38)/(1/(-4)). Solve 0 = 3*y + x*r + 12, -a*y - 2*r + 3*r + 5 = 0 for y.
1
Let o = 9 + -5. Let j = 162 - 121. Suppose 124 + 40 = j*c. Solve c*n = -b + o, 0*b = -3*n + b + 10 for n.
2
Let u(z) = 84*z**2 - 256*z + 16. Let n be u(3). Solve -s + 2 = k, -n*s + 2 = 3*k - 3 for s.
-1
Suppose 5*x = -0*x. Let a = 152 - 151. Let z be 5/(49/14 - (a + 0)). Solve x*f = -5*f + z*u + 30, 2*u = 4*f - 26 for f.
4
Let c(t) = -479*t - 479. Let l be c(-1). Solve -4*s + 44*k - 6 = 46*k, l = -2*k + 10 for s.
-4
Suppose -2*s + 5 = -365*j + 366*j, -4*j + 20 = -s. Let f = -7 + 12. Solve j*w - 16 = 3*n, -f*n + 35 = 4*w - 0*w for w.
5
Let h be 2/9 - (1 + (-284)/18). Suppose 10*z - 130 = h*z. Let l = -24 - z. Solve n + 5*f = 0, -l*n - 2*n + 3*f = 0 for n.
0
Suppose 0 = -0*o + 2*o - 8. Let u = -468 + 1181. Suppose -688 + u = 5*f. Solve 2*s - 7 = s + 2*q, -f*s + o*q = -5 for s.
-3
Suppose 0*o = -2*o - q + 18, -4*o = -4*q - 36. Suppose 0 = -o*w + 10*w - 3. Solve -4*j - w*a - 20 = 0, -3*a = -j + 2*a - 5 for j.
-5
Suppose -c + 0*i + 9 = -2*i, 9 = 4*c + i. Let z be (c - -3)/(-2 + (-7)/(-2)). Solve 8*m + 27 = z*m - 5*j, 5*j = -3*m - 24 for m.
-3
Suppose -14*m + 9 = -11*m. Let o = 44 - 2. Solve k = -3*y + 7, -4*y + o = -m*k + 11 for k.
-5
Let m = 46 + 201. Suppose 5*a - 4*u = -5*u - m, 0 = -4*u - 8. Let q = 52 + a. Solve -t + 3 = -o, -q*t - o - 4*o + 1 = 0 for t.
2
Suppose -a - 13 = -4*m, 0 = -a - 1 - 0. Solve -2*j + m*g = -j - 6, 0 = g + 3 for j.
-3
Let r = 186 - 184. Let x be 805/92 + (-2)/(-8). Let c = 5 - 2. Solve -c*l = x, -9 = 3*n + r*l + 3*l for n.
2
Suppose 2*p = -5*r + 76, -79*r = -3*p - 77*r + 76. Suppose v - 5*v + p = 5*k, 0 = 3*k + v - 14. Solve -3*q + k*x = -5*q - 4, 2*q + 3*x + 3 = 0 for q.
0
Let w = -2 - -80. Let t = w - 74. Let r be 1/((-21)/(-56))*(-1 + t). Solve -2*b + r = 3*d + 20, 3*b + 4 = -d for b.
0
Suppose -766 + 312 = -430*w + 836. Solve -4*p - w*a + 33 = 0, -58*a + 9 = 3*p - 61*a for p.
6
Let n = 554 + -500. Let a = n - 51. Let s = -1 - -1. Solve -a*i - 7 = -s*y - 2*y, 5*i = 2*y - 17 for y.
-4
Let t(h) = -8*h - 82. Let p(l) = -l**3 - 6*l**2 + 9*l + 2. Let d be p(-7). Let z be t(d). Solve -g = m + 3*g - z, 3*g - 9 = 0 for m.
2
Suppose 0 = 2*m + m - 12. Let y(f) = 2*f**2 + 22*f + 38. Let g be y(-2). Suppose 8 + 4 = 4*o. Solve d - 3 - g = 0, 0 = o*l + m*d - 8 for l.
-4
Suppose 2*f = 6*f + g - 95, -50 = -2*f + 2*g. Suppose 412 = -6*z + 382. Let a be (z - (-16)/4)/(-1). Solve 5*r - f = 4*j, r + 4*j = -j - a for r.
4
Suppose -30 = -60*d + 65*d. Let h be 2 + ((-21)/d - 4/8). Suppose 3*t + h*n + 2 = -20, -n - 10 = -5*t. Solve x + t = -4*j + 5*j, 0 = -3*x - 3 for j.
0
Let l(j) = -7*j - 39. Let v be l(-6). Suppose -3*q + 17 = 2*n, -3*q = 2*n - v*n - 5. Solve 4*u = -4*m - 8, m - n*u - 6 - 7 = 0 for m.
1
Suppose d - 79 = -4*k, -2*k + 2*d + 38 = 4*d. Let x = 38 + -38. Suppose x = 2*q - 7*q + 30. Solve h - q*h - t = -k, 4*t = -5*h + 35 for h.
3
Suppose 3*t = -4*a + 327, t + 2 = -1. Let v = a - 82. Solve -3*p + 16 = -j + v, 2*p = -5*j - 19 for p.
3
Suppose 0 = -2*c + 2, 2*n + 4*c - 95 = -37. Suppose -25*a + n*a = 0. Solve -b + a*b = -2*h - 8, -4*b = 5*h - 6 for h.
-2
Suppose -7*y - 28*y + 116 = -6*y. Solve -3*i + 6 = -6*z, 5*z = y*z - 2*i - 1 for z.
-1
Let a(s) = 8*s + 211. Let j be a(-26). Suppose 38*f - j*f = 70. Solve 5*y = 5*t + 25, -f*t = -y + 8 - 0 for y.
2
Let y = -32162 + 32169. Solve 4*d + n = -y, 5*n - 9 - 7 = -3*d for d.
-3
Suppose -3*g = -5*j, 82 - 77 = 5*j - 2*g. Solve t + 3*b + 6 = 0, -j*b - 8 = -2*t + 7 for t.
3
Suppose v - 11 = -g, -2*v = -5*g + 8 - 9. Let m be 4*(42/v + 1). Solve -c + 11 = 2*f, 3*c - m = 2*f - 6*f for c.
3
Let v be 4/(-10) - 152/20. Let r be (24/v)/((-22)/8 - -2). Suppose -4 = 5*y - 5*g + 6, 6 = -5*y + r*g. Solve 2*q + 5*u = -35, 4*q + y*u + 20 = 2*q for q.
-5
Let j = -36 - -36. Suppose 0 = 13*u - j*u - 26. Solve 4*w - u = -4*v + 2*w, -4*v = -w + 7 for v.
-1
Let c = 6911 - 6884. Solve -13*a + 17*a - 13 = -v, -a - 5*v + c = 0 for a.
2
Let x(y) = 8*y + 53. Let n be (-6)/8 + (-6)/48*34. Let q be x(n). Suppose -5*l - 23 = -d - 0*l, -