 = 3*t + 37, -v - 2*t = i + 8 for v.
-5
Let h(w) = -w**2 - 8*w + 35. Let g be h(-11). Suppose -2*x + g = l, -2*l = -4*x - 6*l. Solve 2 = -4*k - 2*i, -x*i = 5*k - 0 + 5 for k.
-3
Let l(x) = 6*x**2 - 34*x - 12. Let c be l(6). Solve c = -3*z + 2*y - 4*y - 17, 0 = 5*z - 5*y + 20 for z.
-5
Let v = 8812 - 8805. Solve v*t = z + 2*t + 23, 3*z + 19 = 5*t for z.
2
Let s(r) = r**3 - 122*r**2 + 7*r - 846. Let c be s(122). Solve 11*m - c = -4*z + 15*m, -m = 5*z - 16 for z.
3
Suppose 35 = -3*f + 50. Solve f*j = 2*j + 5*d - 7, j - 2*d = -3 for j.
1
Suppose 10*t + 1323 = 157*t. Solve -19 = -4*f + 3*o, 5*f = t*f + 5*o + 21 for f.
1
Suppose 1237*l - 5*d = 1238*l, 4*l = -4*d. Let u be 2/11 - (-192)/33 - 3. Solve 5*w - k - 11 = l, -w - 5*k = u*w - 32 for w.
3
Let b = 210 - 172. Let c = -342 + 354. Solve -3*d - 4 = -4*t, 5*d + 3*t = -b + c for d.
-4
Suppose -2*d - 1 = w, -3*d - 10 = -7*d + 2*w. Suppose x = -s + 4*x + 14, x + d = 0. Solve -3*t + t = 3*o + s, -4*t + 4*o + 8 = 0 for t.
-1
Suppose 24 = 140*h - 137*h, -a + 4*h = 27. Solve 3*u + 33*m - 13 = 31*m, -a*m - 10 = -u for u.
5
Suppose n + 5*j = -7 + 20, -5*j + 7 = -n. Solve 21 = 4*i + 5*z, -32 = -n*i - 4*z - 15 for i.
-1
Suppose -3*j + 42 = -k + j, k + 45 = 5*j. Let o = 33 + k. Solve 0 = -o*m - 2*g + 15, 2*m = -3*m - g + 18 for m.
3
Let u be ((-405)/(-5) - 4) + -4. Let s = 77 - u. Solve -o = s*r + 6, 5*r - 5 = 5*o - 0 for o.
-2
Let w be 21/105 - (-2)/(-10). Solve m + 3 = 3*p, w = 3*p - 2*m + 1 - 7 for p.
0
Suppose 125 = 19*o - 27. Suppose 58*z - 62*z + o = 0. Solve -5*f - 10 = z*k, -3*k - 4 = 2*f - 0*f for k.
0
Suppose 0 = b + 8*b - 297. Suppose 0*u + 85 = 5*t - u, t = -3*u + b. Solve a = 3*o - 12, -o + a = 4*o - t for o.
3
Let o = 202 + -210. Let r be (8 - o)/8*(-3)/(-2). Solve -2*w + 3*a - a = 0, -r*w - 2*a = -10 for w.
2
Suppose -z + 7 - 3 = 0. Suppose -5 = -y + o, 1 = y + 7*o - z*o. Solve 5*f - 3*s + 5 = 2*s, 0 = -f + 2*s - y for f.
2
Let h = 279 - 271. Suppose -b + 27 = h*b. Solve -3*p + 4*k = 1, b*p + k - 24 = -5 for p.
5
Let r(x) = x**3 + 78*x**2 + 151*x - 76. Let s be r(-76). Solve 5*j = -i - 3 - 7, s = 5*j + 3*i for j.
-3
Let v be (-12 - -17)*2 - -18. Solve 3*u + 4*x + v = 0, 0*x + 4 = -x for u.
-4
Let a = -5 + 13. Solve 0 = -5*i - s - 2, 0 = i + a*s - 3*s + 10 for i.
0
Let c = -45 + 63. Suppose -c*x = -22*x + 12. Suppose -23 = -5*l - x*u + 6, 5*l - 14 = 2*u. Solve l*g + 3*q + 2*q = 14, 3*q = 5*g + 1 for g.
1
Let n = -61 + 80. Suppose -2*x = 4*b - 22, -5*b - x + 22 = -4*x. Solve 5*m - 1 = -4*p + p, -3*p + b*m - n = 0 for p.
-3
Let l = 17030 + -17021. Solve 2*r + 24 = -4*i, -r = -l*i + 6*i - 13 for r.
-2
Let f = -46 - -128. Suppose 2*w + t + f = 3*t, 2*w + 3*t = -107. Let p = 49 + w. Solve -5 = 5*b + 5*y, 0 = -3*b + 2*b - p*y + 7 for b.
-5
Let c(w) = w**2 + 226*w - 452. Let b be c(2). Solve -18 = b*l + f, 7*f - 13 = 3*l + 8*f for l.
-5
Let i = 228 + -137. Suppose i - 1 = 5*f. Suppose -3*t = 4*l - 41 + 14, -l - 3*t + f = 0. Solve -l*m + 4 = -a - 1, a - 2*m = -2 for a.
4
Suppose -70 = -40*v + 90. Solve -4*s + 20 = v*u, -4*s = 2*u - 8 - 10 for u.
1
Let s = -388 - -115. Let b = s - -283. Solve -4*k + 0*h + 4*h = 20, 2*k = h - b for k.
-5
Let f = -11551 + 11554. Solve 2*c + 16 = -2*a, -7 = 4*a - f*c + 11 for a.
-6
Let f = 87 + 7. Let s be (f/235)/(2/10). Solve -r = -s*c + 10, 0*r - 4 = r for c.
3
Suppose -15*i + 107 + 283 = 75. Solve -3*s - 3*f = -i, -3*s = 7*f - 6*f - 15 for s.
4
Let j = -4 - -6. Let i be 0 + 7 + 31 + -29 + -5. Solve h - 6 = j*p - i*p, -2*h = -p - 7 for p.
1
Suppose 5*v - 3*v = 6*w - 26, -w = -4*v - 19. Suppose 0 = 3*b - 8*b + 25. Suppose -6 - 4 = -b*q. Solve -t = -s + w, -2*t = q*s + 2*t + 24 for s.
-2
Suppose -29*g = -26*g + 27. Suppose 60 - 64 = i. Let j be g + 9 + (-1 - i). Solve -j*s - z - 18 = 0, -4*s + 5*z - 5 = -0*s for s.
-5
Let t = -173 - -171. Let x(p) = 2*p**3 + 8*p**2 + 12*p + 10. Let j be x(t). Solve -j*i + 7*i - 20 = 5*m, -5*i = m - 2 for i.
1
Suppose -100*z = -162*z + 294 + 16. Solve -z*a - 10 = -2*d - 3*a, 2*d - a = 9 for d.
4
Let i = -35016 + 35026. Solve -4*f - i = 222*a - 227*a, 4 = 2*a - f for a.
2
Suppose 2*d + q = -2*d - 225, 3*d - q = -167. Suppose 0 = 3*u + 3*j - j + 191, 5*u = -j - 309. Let z = d - u. Solve 5*w - o = -16, 2 = z*w - 5*o + 22 for w.
-3
Let r be (8/(-12))/(1 - 8/6). Suppose 4*s = -r*s + 156. Solve 0 = o + o - 4*x - s, 5*x = -5*o - 10 for o.
3
Let x be -3 - (-3)/(4 + -1). Let y be (5/((-5)/2))/(-3 - x). Solve 0*f = 2*f + y*l - 2, 3*f - 2*l = -12 for f.
-2
Let n = -2 - -5. Suppose -3*y - n = -15. Suppose 0 = -48*q + 1196 - 476. Solve -5*c = z - 2*c + q, -y*z + c - 8 = 0 for z.
-3
Let p(j) be the first derivative of j**2/2 + 13*j - 2. Let l = 153 + -157. Let c be p(l). Solve -32 = 4*q - 3*m, -m + 0*m + c = -q for q.
-5
Let d be 17 + -15 - (-3 - -1). Suppose 23*j + 5*p = 22*j + 10, 2*p = -5*j + d. Let u be 0 + 9 + (4 - 3). Solve j = 5*z - 2*l - u, -5*l - 25 = -3*z + z for z.
0
Suppose -5*d + 4*r = r + 9, 3*r = 9. Suppose 0 = 6*w - w + 4*n - 17, 3*n + 6 = d. Solve -4*f = -9*f - 5*k - 10, -w*f - k - 2 = 0 for f.
0
Let h(s) = -20*s - 138. Let v = 755 - 762. Let y be h(v). Solve -2*r = z - 2*z - 4, r - 12 = -y*z for z.
4
Suppose 42 - 78 = -9*a. Suppose -23 - 17 = -5*u. Suppose -4*w + u + 4 = 0. Solve -a*g + 2*l + 13 = l, 4*g + w*l - 25 = 0 for g.
4
Suppose 0 = -6*n + 53 + 1. Suppose -g - 5 = -n. Let b(o) = o + 4. Let a be b(1). Solve a*y = -g*i - 4, -5*i + y - 5 = 2*y for i.
-1
Suppose r + 0 - 9 = 0. Suppose 30 = r*t + 6*t. Solve -12 = 3*w - 3*v - 3, -t*v + 8 = 0 for w.
1
Suppose 2*a - 48 = -3*v, -37*a = -32*a. Solve v*h - 18*h + 17 = -5*t, 4*t - 2*h = -14 for t.
-3
Let k be (-7)/(-126)*178 - ((-230)/45 - -5). Solve -3*c + 2*d - 6 = 0, 5 = 2*c + 5*d - k for c.
0
Let g(d) = d + 12. Let n be g(-10). Suppose n*r = 5*r - 261. Let o = r - 60. Solve -5*b = -3*a - b + o, -5*a = 3*b - 16 for a.
5
Suppose -11*g = 6*g + 6732. Let s = 396 + g. Solve -28 = 5*c + 4*n, -4*c + 2*c + 4*n = s for c.
-4
Suppose k = -3*k. Suppose -15 = -4*r - 2*v + 3, 2*r + 3*v - 7 = k. Suppose -3*i + 3 = -4*b - 4, -i = -r. Solve 10 = 4*f + b*z, -z - 4*z - 15 = 0 for f.
4
Let o(q) = q**3 - q**2 - q + 4. Let j be o(0). Suppose 0 = -j*k + l + 21, 5*k - 2*l - 23 = -4*l. Solve 0 = -x + 4*x - k*m + 2, 3*x - 4 = -m for x.
1
Let x = -2499 + 2501. Solve 0 = -3*h + 5*y + 10, h + 0 = -x*y - 4 for h.
0
Let c(t) = -t**2 - 7*t + 20. Let k be c(-9). Let j be ((-1440)/128)/(k/(-8)). Solve 5*l = -4*g + j, 0 = -3*g - 5*l + 35 + 5 for g.
5
Suppose 3*j - 149 = 493. Suppose -3*u = 5*d - 638, 4*u + j = 5*u + d. Let i be u/28 + 1 + 4/14. Solve -4*r = -3*t + 7, -4*r - r = -4*t + i for t.
1
Let a be -1*3 + (-65)/(-5). Solve -3*y - 2*j = -6*y + a, -20 = -5*y + 5*j for y.
2
Suppose -4*k + k + 276 = 3*c, -3*c + 276 = 2*k. Suppose -c*w = -88*w - 96. Let o = 28 - w. Solve 0 = n - 2, o*g = 4*n - 1 - 7 for g.
0
Let f(u) = -53*u + 390. Let w be f(7). Suppose 3*x - 2 - 17 = 4*q, -4*x = q - w. Solve 3*j + x*c = 21, 4*c = -4*j - 14 + 34 for j.
2
Let m be 3/((-11)/(-4) + 2/(-1)). Let t = -1 + m. Solve 4*a + t*d - 5 = 0, 0 = -a - 3*a + d + 25 for a.
5
Suppose k - 5*u = 112 - 115, 3 = 4*k - 5*u. Solve 0 = -k*w - 5*i - 17, -3*i - 19 = -w - 0*w for w.
4
Let h be (88/20)/((-4)/((-20)/1)). Let v be 55/h*(-4)/(-5). Solve y + 2*y + 8 = 2*r, v*r = 5*y + 8 for r.
4
Suppose 5*x - 35 = -4*d, -5*x - 4 = 1. Let n(s) = s**2 - 19*s + 103. Let g be n(d). Solve 3*u + z + 8 = 0, 3*z - 5*z = 3*u + g for u.
-1
Suppose 0 = 3*s - 4*d - 72, -2*d - 6 + 100 = 5*s. Let k be (1/5)/(2/s). Solve -2*o + 4 = -2*j, -2*o + 5*j = -0*j + k for o.
4
Let a(g) = -g**3 - 5*g**2 + 5*g - 5. Let v be a(-5). Let c = v + 34. Solve 4*d + 4 = -c*t, 3*d + 7 = -3*t + 4*d for t.
-2
Let s be 6/21 + 2/(-7). Suppose -o - 13 = 4*c, -2*c = -s*o + o + 5. Solve -12 = o*l, 4*l + 8 = i + 3*l for i.
4
Suppose 0 = -4*q - 3*r - 12, -r - 8 = 5*q - 4. Let f be q*(-1)/6*(-39)/(-26). Solve 5*n + 7 + 7 = -3*p, f = -5*n - 5*p - 20 for n.
-1
Let c(n) = -n**2 + 94*n - 835. Let s be c(10). Solve 4*m + s*d + 6 = 3*m, 4*m = 4*d for m.
-1
Let v be (-2)/10 - (954/(-10))/(-3). Let i = 32 + v. Suppose i*y + 5*y - 20 = 0. Solve 4*c - n = n + 14, -21 = -c + y*n for c.
1
Let n = -5768 + 5773. Solve -10*l - n = -5*l, -2*l + 13 = -3*g for g.
-5
Let f(w) = 3*w - 27. Let d be f(10). Let z be -5 - 0 - (0 - 