20, 3*b - 3*t + 17 = 41 for b.
4
Let l = -265 + 249. Let h be l/24 + 42/9. Solve 2*b - h*a - 26 = 0, b - 5*a = 14 + 11 for b.
5
Let x(k) = 4*k**3 + 17*k**2 - 8*k - 31. Let o be x(-4). Solve -z + 1 = o*d - 16*d, -4*z + 4*d = 12 for z.
-1
Suppose -55*j = -2158 + 323 + 75. Solve -4*n + z - 8 + j = 0, 4*n - 32 = 3*z for n.
5
Suppose -3*g = -18 + 63. Let n(j) = j**2 + 12*j - 41. Let b be n(g). Let h(z) = z**2 + 6*z + 6. Let r be h(-6). Solve -2*t + 5 = m, -m + r + 1 = b*t for m.
3
Let d = -2 + 20. Let k be ((-135)/d)/(15/(-40)). Solve k = -4*p - 4*t, -3*p - 5*t - 19 = -p for p.
-2
Suppose c + 0*c - 3 = 0. Suppose -5*b = -c*b + d - 11, -5*d - 25 = 0. Let x be (-3)/(108/b) - 4/(-18). Solve x = -3*t + 4*m + 24, 2*t - 5*m = 12 + 11 for t.
4
Let g = 7688 - 7672. Solve 5*q + 63*m + 21 = 64*m, -3*q = -4*m + g for q.
-4
Let s = -136 + 146. Suppose 2*p + 0 = s. Let l be -1 - -2*4*1. Solve 4*k = p*a + 15, 0 = l*a - 3*a - 5*k + 12 for a.
-3
Suppose -11*l = -13*l + 762. Suppose 385*x - 8 = l*x. Solve -n = 3*f + n - 8, -x*f - n = -4 for f.
0
Let v(r) = -2*r - 28. Let p be v(10). Let w be p/27 + 14/(-63). Let l be 0/(9/((-9)/w)). Solve d + 4 = l, -2*i - 3*i - d = 29 for i.
-5
Let a(x) = -x - 5. Let j be a(0). Let z be (-9)/(-6)*(-10)/j. Suppose 6*g - 3*g = z*u - 9, -3*u = 2*g - 19. Solve s = u*p - 2 - 0, 5 = 2*s - p for s.
3
Let g(x) = -3*x - 10. Suppose l = -6*l - 28. Let z be g(l). Suppose 5*f = 4*a, 3*f + f = -z*a + 26. Solve 0 = -2*m + f*y + 6, 1 = 5*m - 6*y + 3*y for m.
-1
Let l be (-4420)/(-220) - 20 - 32/(-11). Solve -l*b - j = 11, 15*b = 11*b + j - 24 for b.
-5
Let v = -61 - -62. Let j be v*2 - (-4 - 108)/4. Suppose -3*f = 2*c + c - 48, -4*f = -4*c - 96. Solve -5*h = -4*p + f, 5 = -5*p - h + j for p.
5
Suppose -4*d - 3*b = -227, -6*d + 8*d = -3*b + 121. Let n = 56 - d. Solve -3*z + 2*t + 7 = 0, -n*z - 13 = -8*z + 4*t for z.
1
Suppose 5*j - 5*i + 15 = -4*i, -3*i = 2*j + 6. Let w be -6*((-7)/(-3) - (6 + j)). Solve 2*x + 2*z + z + 25 = 0, w*z = 3*x - 5 for x.
-5
Suppose -l = 4*h + 877, 0*l - l = -3. Let c = 223 + h. Solve 0 = -2*y - 4*s, 0*y + c = -y + s for y.
-2
Let r = 1562 - 1548. Solve -14 = 4*j + v - 3, -r = 4*j - 2*v for j.
-3
Suppose 9*f - 26 = 55. Suppose 21*z - 24*z = -f, 4*z - 21 = -3*c. Solve 4 = -c*p + 2*p + 5*r, p + 4 = -2*r for p.
-4
Let p = 4 - 2. Suppose 43*x + p = 44*x. Suppose -5 = -5*f + 2*t, 0*f - 11 = -x*f - t. Solve -3*w + 0*j - 3*j - f = 0, 5*w - 3 = 3*j for w.
0
Suppose -11*w + 12*w - 19 = 4*i, -4*i = 16. Solve -2*g = 4*p - 2, 8*p - w*p = g - 1 for g.
1
Suppose 0 = 163*k - 307 - 19. Solve -c - 3 = 3*i, 34*i = 31*i + k*c - 3 for i.
-1
Suppose 6*a + 33 = -l + a, -20 = 4*a. Let y be (l/(-16))/(3/108). Solve -5*i + 3*k - 1 - 4 = 0, 2*i + y = -2*k for i.
-4
Let a(x) = -166*x - 2321. Let k be a(-14). Solve -p - j + 25 = 28, 0 = k*p + 4*j + 10 for p.
-2
Suppose 5*f = -2*g - 10 + 7, -g + 9 = -f. Suppose 568*r + g = 571*r. Solve -3*a + 5 + 6 = -r*b, 0 = 5*a + 5*b + 15 for a.
1
Suppose 2*a + 6 = 7*a - 74. Solve -2*n - 11 = 3*b, -15*n - 2*b + 9 = -a*n for n.
-7
Let r = 15 - -5. Let k = r - 17. Suppose 4*v - k*v + 17 = 4*j, 2*v + 3*j = 21. Solve -9 = 4*z - 2*o + 17, -v*o + 3 = 3*z for z.
-4
Suppose -d - 5 + 37 = 0. Let r = 32 - d. Suppose -l + 5*p - 6 + 2 = r, 2*p = 4. Solve -l*g + 40 = -2*g - 4*b, -20 = 4*b for g.
5
Suppose 6*h - 367 = -127. Suppose 4*l + 2*n - h = -26, -2*n = l - 5. Solve -5*i = -2*z + 5, -l*i + 7*i = -z - 17 for i.
-3
Let d be (-2)/(7*-1 - 18/(-3)). Solve -2*n - 2 = -4*t, -4*n - d*t = -15 - 11 for n.
5
Suppose -822*z - 40 = -817*z, -4*r - 2*z = 4. Suppose -2*s + 5*l = -4*s + 37, 4*s = l + 19. Solve 2*h - s*h - n + 21 = 0, 4*h - 1 = r*n for h.
4
Let d be ((-10)/(-4))/(12*11/264). Suppose -24 = -4*f + d*p, -9*f + 6 = -8*f - p. Let q = -9 + 13. Solve -2*k - 4 = q*l + f, -3*k = l - 5 for k.
3
Let h(a) = 24 - 264*a + 41 + 295*a. Let v be h(-2). Solve 2 = v*w + 5*o - 4, -4*w + 3*o = 21 for w.
-3
Let m be ((-50)/(-15))/(14/21). Let h be (1 - (2 + -1))/2. Let p(q) = -q**2 - q + 2. Let o be p(h). Solve 2*g + g + 9 = -5*b, o*b = -m*g + 4 for g.
2
Suppose 37 = 5*f - f - i, 0 = -f + 4*i + 28. Suppose 2*v = f*v. Suppose v*k = -4*s + 2*k + 40, 3*s + k = 20. Solve m + 4*d - 12 = 0, -s - 2 = -2*m - d for m.
4
Let a(k) = -k**3 + 22*k**2 - k + 27. Let t be a(22). Suppose 2*i = i - h + t, 4*h - 16 = -2*i. Solve 0 = -5*b + d + 22, i*b + 26 = 6*b + 2*d for b.
5
Let a(r) = -33*r + 39. Suppose -1 = 3*j + 5*y - 19, 20 = 5*j + 5*y. Let q be a(j). Solve -2*p + 13 = 3*d, -2*d + q*d = -2*p + 18 for d.
5
Let f(v) = -12*v - 9. Let b be f(-8). Let p = 107 - b. Solve 3 = 5*j + a - 2, p = 4*j + 4*a for j.
0
Let j = 30 - -10. Suppose 6*c = 8*c - j. Let y be 22/10 - (c/25)/4. Solve w - 4*p = -3, -y*w + 5 + 1 = 4*p for w.
1
Let t be 18/6*(-15)/(-9). Suppose -3*b = -t*b + 4*b. Solve 0 = -5*x + 3*v + 37, -3 = x - b*x + 2*v for x.
5
Let c = -734 + 746. Solve 7*j - c*j - 3*y + 28 = 0, 5*j = -y + 26 for j.
5
Let v = 86 - 82. Suppose -12 = 3*o + 3*f, -v*o - f = -5*o + 4. Solve y - 4*t + 24 = o, -6 - 5 = 4*y + t for y.
-4
Suppose 0 = -1592*j + 1620*j - 224. Solve -8*z = 2*w - 4*z - 22, -2*z + j = -2*w for w.
1
Suppose t = -t + 8. Suppose -t*w = -5*a + 15, 4*w - 12 = -4*a + 8*w. Let v be 4/5 - 165/(-75). Solve 3 = -m + a*c, -v*c + 2*c = m - 1 for m.
0
Suppose -34 = -14*f - 3*f. Suppose -4*d = -f*x + 5*x + 296, 4*x - 2*d = -380. Let c = x + 98. Solve 3*w + 3 = -3*i, 2*w + c*w = -5*i - 4 for i.
0
Suppose 36 = 4*p - 26*n + 22*n, -13 = -2*p + n. Solve f + 3 = 5*w - 1, -f + 4*w = p for f.
-4
Let o = 5 - 5. Suppose -2*k - 10 = 2*j - o, 25 = 4*j - 5*k. Suppose -111 + 70 = -4*c + 5*g, 11 = -c - 3*g. Solve -2*m = -j*m + 2*s + 4, -2*m = c*s + 10 for m.
1
Suppose -2*g - 5*m - 3061 = 2*g, 0 = -g - 4*m - 768. Let c = 770 + g. Solve -3*a + n - c = 4*n, 5*n + 17 = 2*a for a.
1
Suppose -5*x + 208 = 3*x. Suppose -4*v = -z + 26, -3*z + x = -2*z + 5*v. Solve -5*u = -a - 0 + z, 2*a = 2 for u.
-5
Suppose 0 = -41*x + 37*x - 148. Let q = 41 + x. Solve -q*o + 14 = -3*i, -o = 2*o - 6 for i.
-2
Let i(o) = 318*o + 1594. Let q be i(-5). Solve -x - 11 = 5*t - 25, 0 = 3*x - q*t - 4 for x.
4
Let g(d) = -d**3 - 7*d**2 + 24*d + 58. Let c be g(-9). Solve 2 + 38 = -5*z - c*y, 0 = -3*z + 2*y - 2 for z.
-4
Let d = -1222 - -1229. Solve -u = -3*s + 2*s + 2, u = 4*s + d for s.
-3
Let a = 1998 + -1994. Solve 5*y - 15 = -a*p, 0*p = -2*y + 4*p - 22 for y.
-1
Let x(n) = n**3 - 15*n**2 + 23*n - 32. Let i be x(14). Let z = -92 + i. Suppose -2*j = -l + 10, -z*l + j + 19 = 2*l. Solve 5*y = 0, -c - l = 3*y - 4*y for c.
-4
Suppose -159 = 44*a - 247. Solve -84*r = t - 81*r - 3, 3*t - a*r + 2 = 0 for t.
0
Suppose 3675 = -20*x + 3835. Solve -6*p - 15 = -p - 5*u, -4*u = p + x for p.
-4
Suppose -68*d - 66*d + 2494 = -48*d. Solve 2*v + d = 5*y, -29 + 13 = -2*y + 3*v for y.
5
Suppose 2*f - 15 = -3*f. Suppose 23*v - r + 3 = 24*v, -3 = -2*v - f*r. Solve 4*l = -8, -u + 3*u - l = -v for u.
-4
Let k(v) = 6*v**2 - 37*v + 45. Let a be k(5). Solve w + 8 - a = -u, u + 2*w = 0 for u.
4
Let t(w) be the second derivative of -w**3/3 - 12*w**2 + 7*w. Let i be t(-14). Let g be (5 - i) + 5/(-5). Solve 12 + 8 = -5*k + 5*r, 4*k - r + 19 = g for k.
-5
Let h = 317 + -306. Suppose 0 = -10*z + h*z. Solve 3*m = 4*p - 4 - 1, 2*m + 2*p - 6 = z for m.
1
Suppose -19*d = -17*d - 54. Suppose -20*m = -d - 13. Solve -m*c - 14 = 5*u + 2*c, 3*u = -5*c - 11 for u.
-2
Let w(p) = 11*p + 4. Let s be w(-3). Let f = -16 - s. Suppose -c = 3*v + 1 - 14, -4*v + 3*c = -f. Solve j + 3*g = -0*g + 15, -v*g + 7 = -3*j for j.
3
Suppose -u = -0*u + 5. Let o(b) = -b**2 - 8*b - 2. Let j be o(u). Suppose 72 = 30*v - 12*v. Solve -v*i + 10 = 3*s - 0*i, 5*i = -4*s + j for s.
2
Let u be 11/4 + 801/356. Solve -u*d = -5*s - 25, -10*s + 11*s = -4*d + 15 for d.
4
Let f = -131 + 151. Suppose -16*o + f*o - 12 = 0. Solve h + 2*b = -o*h + 30, h - b = 0 for h.
5
Let a(v) = -v**3 + 6*v**2 - 10*v + 13. Suppose 0 = d - 7 + 5, 3*j + 5*d = 22. Let r be a(j). Solve -2*k + 0*b = 3*b - r, 1 = 4*k - 3*b for k.
1
Suppose -9*a = -12*a + 108. Suppose -11*o + a = -7*o. Suppose -2*r = -r - t + 3, -2*r - o = -3*t. Solve 5*k - 35 = 5*p - r*p, 5*p + 11 = -3*k for p.
-4
Let o(m) = -m**2 + 8*m - 6. Let p be o(3). Suppose -3*a + p = -0. Suppose 0 = a*s + 2*s. Solve w + s*w = -4*k - 19, 2*k + 15 = 5*w f