 - 8, 4*b - k = -16 for b.
-4
Let b = 18 + -13. Suppose -142 = 4*k + b*n, -124 = k + 2*k - 5*n. Let y = 38 + k. Solve v - 2*i + i + 1 = y, i + 3 = 2*v for v.
4
Let i(v) = -v**3 + 4*v**2 + 1. Let n be i(4). Let d be (0/4)/(2 - n). Solve o + p - 5 = -p, d = 3*o + 4*p - 13 for o.
3
Let j(k) = -61*k**3 - 2*k**2 + 23*k + 49. Let s be j(-2). Let y = s - 475. Solve -2*p = 4*g - 2, -4*p - 4*g = -2*g + y for p.
-3
Let d(b) = -b + 1. Let x(z) = -10*z - 30. Let y(t) = 10*d(t) - 2*x(t). Let k be y(-7). Solve -3*o + 2 = -5*j - k*o, o = 3*j + 2 for j.
-1
Suppose -18 = -3*u - 15, 0 = p - 4*u + 2. Let d be 11/(-33) - p/(-6). Solve 3*o - 24 = 3*g - d*o, 3*o + 1 = -2*g for g.
-5
Suppose -45*l = -21 - 24 - 45. Solve -5*o = -l*p - 20, 3*o = -11*p + 6*p - 19 for p.
-5
Suppose -6*y = 87 - 129, -5*z = 5*y - 55. Solve -z*w - 5 = 3*d, 15 = -d + 3*w + 9 for d.
-3
Let w(y) = y**2 + 24*y + 124. Let g be w(-7). Suppose 4*j + 42 = 5*p, p + g*j - 4 = 16. Solve 4*n - 2*x + p = 0, -3*n - 6*x = -x + 14 for n.
-3
Suppose 3*b - 5 - 1 = 0. Let k be -3 + -3 - 1/((-1)/9). Solve -6 = -b*h + k*n + 7, -2*n = -h + 8 for h.
2
Suppose -h + 0*h + 245 = 48*h. Solve -4*k + 6*g = 3*g + 14, 4*g + 33 = -h*k for k.
-5
Let w(n) = n**2 + 392*n + 1557. Let a be w(-4). Solve x = 2*h - 5, 0*h - 5*h = -a*x for x.
5
Let x(m) = 3*m**2 - 37*m + 39. Let u be x(12). Solve 7*t = 4*t + 4*v - u, v + 22 = -5*t for t.
-5
Suppose 0 = -5*i + 3*h - 13, -4*i - 4*h - 10 - 26 = 0. Let b = 78 + i. Let n = b + -69. Solve p - 13 = -n*j, 0 = -0*j + 4*j - 8 for p.
5
Suppose 0 = 4*h + 2*z - 10 + 2, -3*h - 3*z = -12. Solve h = 4*t + f, -4*t + 4*f = -f for t.
0
Let w = -6630 - -6635. Solve -w*p = 5*u + 45, -4*p + 4 = -5*p for u.
-5
Let s(k) = 2*k - 5*k + 19 - 5 - 4. Let p be s(3). Let z be -6*p*(-4)/8*1. Solve 4*o = -12, -z*x + 1 = -x - 3*o for x.
-4
Let l(j) = -8*j + 137. Let r(p) = -5*p + 137. Let s(u) = 3*l(u) - 4*r(u). Let m be s(-40). Solve -a = -3*n - 2*a - 17, 0 = -5*n + a - m for n.
-5
Suppose 39*g = 37*g + 4*q - 36, 5*g + 18 = 2*q. Solve -2*a + 6*b + 14 = 4*b, g = -5*a - 2*b + 42 for a.
8
Let g(i) = -2*i**3 - 40*i**2 + 8*i + 160. Let v be g(-20). Solve -5*w + 3*r + 29 = v, 5*r - r + 12 = 0 for w.
4
Let b = 10448 + -10445. Solve 4*i - 8 = -3*z - b, 0 = 2*z + 5*i - 15 for z.
-5
Suppose -28*u - 118 = -87*u. Solve -32*j + 34*j - y = -8, -u*y - 5 = 3*j for j.
-3
Suppose -3*s - 7 - 14 = -10*t, 0 = t - 3. Solve s*a = j + 3*j - 27, 2*j - 11 = a for a.
-5
Let h(k) = k - 14. Let p be h(12). Let g(f) = 2*f + 11. Let y be g(p). Suppose -y*s + 24 = -32. Solve -2*o = 2*v - 2, 3*v = -2*o - 2*v + s for o.
-1
Suppose 39*b - 420 - 5 = -74. Solve -11*t + b*t = -2, -5 = 3*v + 4*t for v.
-3
Let z = 43 - 28. Suppose -4*n + 2 = 3*m - 2*n, 3*n = -z. Solve -4 = b + b - f, -m*b - 12 = -f for b.
-4
Let h(r) = 2*r. Let i(g) = -3*g - 114. Let t(n) = 2*h(n) - i(n). Let f be t(-16). Solve 24 = 3*b - 3*q, 0*b - 3*b + 4 = f*q for b.
4
Let g be -9*(-9 - (-78)/9). Solve -5*q + 2*r = 15, -g*q - q + 4*r = 12 for q.
-3
Suppose 4*a = 5*z - 15, -3*z + 9 = 17*a - 14*a. Solve 5 - 7 = f - h, z*h = 2*f + 4 for f.
-2
Suppose 2 = -16*n + 84 + 62. Solve -5*j + n*y = 13*y + 40, -j + 2*y + 6 = 0 for j.
-4
Let i = -193 + 195. Suppose -5*k = -k + 2*s - 2, i*k - 7 = s. Solve 3*j - 2*q = k, 5*q + 13 = -4*j + 54 for j.
4
Let b be (135/(-189))/(-2 + 39/21). Solve 59*s - 3*x + 12 = 62*s, 20 = b*s - x for s.
4
Suppose -4*a - 2*a + 60 = 0. Let s(x) = -x**3 + 9*x**2 + 11*x + 2. Let d be s(a). Let v be 2/(d/(-9))*12/(-9). Solve -4*h + 12 = 2*m + v*m, 0 = -5*m - 5 for h.
4
Suppose -5*z = 443 - 463. Suppose 0 = -16*b + z*b. Solve b = -u - 4*y - 4, 4*u + y + 16 = 3*y for u.
-4
Suppose 0 = -2*d + 3*d - 5*c + 19, 0 = 4*d + 4*c - 20. Let w = 7954 - 7952. Let x be 4*(-8)/(-4)*d/w. Solve k = -x*u - u - 11, -3*k = -4*u - 5 for k.
-1
Let a = 3009 + -2992. Solve -3*m = -4*c - a, -5 + 10 = 5*m + 5*c for m.
3
Suppose 0 = 5*i + 3*s - 19, 71*i + 7 = 72*i - s. Solve 11*k = i*d + 10*k - 13, -4*d + k + 11 = 0 for d.
2
Suppose 5*c - a = 3*a + 30, -5*c = 2*a - 60. Let m be (-48)/(-20) - (-1 + 4/c). Solve 1 = m*v + 4*j, -2*v - j + 3 = 4 for v.
-1
Suppose 2*m = 1103*p - 1100*p - 22, 0 = 3*p - 5*m - 46. Solve -p*n - 3*r + 10 = 0, -2*n + 8 = -3*r + 10 for n.
2
Let o be (-36)/(-16) + (-69)/(-92). Solve -3 = o*f, -5*l - 3*f - 1 - 7 = 0 for l.
-1
Suppose 2*v + 720 = -6*v. Let l = v - -94. Suppose -4*j + s = -14, -s - l*s = -10. Solve j*t + 8 = -2*c, -c = -2*t + 3*c + 16 for t.
0
Let t be 1/(-3) - (-104)/6. Let r(h) = h**2 - 11*h - 15. Let o be r(0). Let z = o + t. Solve 3*g + 3 = 3*m, 9 = -z*g - 0*g - 5*m for g.
-2
Let w be 9/12*(-8)/(-3). Let p(q) = 10*q + 12*q**3 - 4*q + 8 - 11*q**3 - 6*q**w. Let i be p(4). Solve 2*o + r + 3 = i, 5*o = -r - 0*r for o.
1
Suppose -3*u + 3*c + 12 = 0, -5*u - 2*c - c = -20. Suppose 5*k + 12 = u*b + k, 5*b - 9 = -k. Solve -b = 3*l + f - 16, -4*f = -5*l + 29 for l.
5
Let g(d) = -d**3 + 11*d**2 + 12*d + 2. Let b be g(12). Solve 4 = -b*v - 2*q, -5*v = -2*q + 4 + 13 for v.
-3
Let j(r) = -r**2 - 13*r - 9. Let l be j(-11). Let c(v) = 12*v**2 + 63 + l*v + 2 - 11*v**2. Let y be c(-7). Solve -3*g + n + y = 6*n, 0 = g + n - 5 for g.
1
Let j = 488 - 478. Suppose 2*f - 28 = 4*u, 2*u = -7*f + 4*f + j. Solve 2*z = -n - 2, -n = -2*z - 0*z - f for n.
2
Suppose -15*l + 136 = 46. Solve -4*a + i + 18 = 0, 0 = -a - 3*i + 4 - l for a.
4
Suppose 4 = 4*y - 40. Suppose 4*p - u = -8 - y, -44 = 4*p + 4*u. Let s be (-7)/(-2) - (-3)/p. Solve -4*i + 6*i = -4*t - 18, 2*i = -s*t - 15 for i.
-3
Let x(a) = a + 14. Let b be x(-35). Let m = 26 + b. Solve 3*f = 5*u - 18, m + 3 = u - 5*f for u.
3
Let g(w) = w - 14. Let d(l) = -l + 8. Let s(o) = 2*d(o) + 3*g(o). Let a be s(29). Solve -2*i - 5*r = -a*r - 14, i - 12 = -2*r for i.
2
Let j = -3026 - -3031. Solve 2*v - 54 = 5*f - 28, -2*f - j = v for v.
3
Suppose -4*v + 19 = 7. Suppose -2*h + 12 + 15 = -3*m, 2*m = h - 12. Suppose 17*s + 2 = h*s. Solve 16 = s*b - 5*b - 2*r, v*b - 5*r + 2 = 0 for b.
-4
Suppose -122*v + 130*v = 48. Suppose n + 6*a + 1 = 3*a, 0 = -3*a - v. Solve 5*k - 3*x = -n, 0 = -2*k - x + 5*x - 2 for k.
-1
Let c = 28 - 24. Suppose -7*j + 35 = -196. Suppose 2*z + 27 - j = 0. Solve -2*t + 15 = -z*x, 4*t + 0*x - 24 = c*x for t.
3
Suppose -8*k + 39*k - 65 = 90. Solve -30 = 5*s - o, -2*o = 8*s - 5*s + k for s.
-5
Suppose 22 = t - 3*o, -9*t + 6*t + o + 50 = 0. Suppose 2*p = -5*x + t, p + 2*x - 6 = -x. Solve 2*c = 2*f - 2, -4*f + p = 3*c - 0*c for c.
2
Suppose 0 = 6*m - 10*m + 68. Let d(y) = y**2 - 18*y + 20. Let a be d(m). Solve 9 = 5*o + 3*g, 0*g = -a*o - 4*g + 1 for o.
3
Let j = 108 - 112. Let k be -2 + (-2)/j*10. Solve 0 = 3*l + l - 2*i + 2, -l = -3*i + k for l.
0
Let g(m) = 10*m**3 + 2*m**2 - 15*m + 14. Let v be g(1). Solve -4*u = 5*y - 12, -y + 1 + v = -4*u for y.
4
Let o be (-3 - 1) + 4/(-4) + -2. Let n be 130/o - (-4)/7. Let b be (6/n)/(((-10)/24)/5). Solve b*m - 2*u + 2 = -0, -5*u = m - 5 for m.
0
Suppose 7*d = 2*d - 700. Let j = d - -144. Solve 0 = -j*y + 8, 3*f + f - 4*y - 12 = 0 for f.
5
Suppose -128 = -38*m - 14. Solve -10*y - 7 = -12*y + 3*j, -m = j for y.
-1
Let l be 9*(-1)/4*(342/(-54) - -5). Solve 4*d = -3*v - d - 6, -l*d - 10 = 5*v for v.
-2
Let u = -169 - -180. Suppose 5*t = 2*v + 14, 3*v + 3 = 4*t - u. Solve -n = 3*h - 10, -3 + 5 = -5*n - t*h for n.
-2
Suppose 2*p - 31 = -3*z, -12 - 25 = -5*z + 4*p. Suppose 6*l - 3*l = z. Solve -3*w + 15 = 0, l*c - 2 = 3*w - 11 for c.
2
Let f = -19 + 15. Let w = f + 6. Suppose -3*l - 3*y + 21 = 0, -2*l + 2*y = -3*l + 11. Solve w*j + 6 = l*u - 3, -12 = -3*u + j for u.
5
Let n be -53 + 3 + 42/(-7). Let r be (n/98)/(4/(-42)). Solve 3*b + r*d - 3 = 2*d, 0 = -5*b + 4*d + 5 for b.
1
Let b(g) = -g. Let m be b(-6). Suppose -m*i + 147 - 123 = 0. Solve -2*n = -r - i, -10 = -5*n + 2*r - r for n.
2
Let g be ((-30)/(-7))/(7/(-147)*-3). Let j be ((-3)/9)/((-95)/g + 3). Let q(s) = -s - 4. Let b be q(-8). Solve -r + j*m + b = 0, 5 + 1 = -3*m for r.
0
Suppose -5*n - 2*l = -66 - 105, 5*n - 165 = -5*l. Let c be 26/10 - 21/n. Solve -2*p + 10 = 3*d, -c*d + 4*p = -4*d + 12 for d.
2
Let s = -3 + 6. Let t = 74397 + -74394. Solve 4*w + t = -5*v - 0, -s*v + 3 = 0 for w.
-2
Suppose 2*d + 39 = -9. Let k be d/(-60) - 36/(-10). Suppose -k*y - 20 = -9*y. Solve -4*r - 17 = r + 4*n, 0 = -y*n + 8 for r.
-5
Suppose -5*r + 4*o - 