 - g - 9 = 0 for b.
3
Let y(d) = -d**3 - 24*d**2 - 128*d + 4. Let k be y(-8). Solve 4*t - 10 = 3*r, -4*r + 4 - 16 = -k*t for t.
1
Let k = -123 + 125. Solve -4*f = k*x - 20, -3*f = x - 13 - 0 for f.
3
Let w(x) = -x**3 + 9*x**2 + 19*x - 205. Let t be w(8). Solve y - 5*b - 9 = 0, 3*y - 5*b = -4 + t for y.
-1
Let y be 231/44 + (-2)/8. Suppose 0 = 4*z - 4*g - 48, y*z = -g + 25 + 23. Suppose -2*h = 3*h - z. Solve 4*k = -4*u - 20, 3*u + 7 = -k + h*k for u.
-3
Let i(j) = -28*j**2 - 111*j + 4. Let h be i(-4). Solve -3*p = -4*f - h*f - 8, -2*f = 2*p + 18 for p.
-4
Suppose 3*v - 5 = 4*v - 2*w, 0 = -v + 5*w - 17. Suppose 0 = -z - 4*c + 1 - 10, -v = -3*z - 2*c. Solve y + 12 = 2*h - 3*y, h - 9 = z*y for h.
0
Let a(q) = -q - 1. Let m(i) = -2*i. Let g(r) = 4*a(r) - 3*m(r). Let x = 2 + 1. Let v be g(x). Solve 3 - 2 = 4*y + 5*u, 3*y - v*u = -5 for y.
-1
Let w(z) = -z - 6 + 4 - 2*z**3 - 10*z**2 + 0*z. Let h be w(-5). Suppose 10 = 3*r + 2*r. Solve 0 = -5*d + r*d - h*a - 9, -5 = 3*d + 2*a for d.
1
Let g be (-6)/(-24)*(1 + 19). Suppose 2 = -g*n + 7. Let i be 6 + (n - -2) + -1. Solve 3*y = 4*x + 10, i = -5*x + 4*y - 5 for x.
-1
Suppose 2*q - 1 - 36 = s, 5*q - 142 = 4*s. Let m be (-22)/s*9/2. Suppose -2*p = -4*d - 20, -3*p = p - 3*d - 35. Solve u = 4*i + 3 - p, m*u - 3*i = 3 for u.
3
Suppose -3*z + 4*g + 45 = 0, 30 = 2*z - 4*g + 3*g. Solve 3*q + 5*a = -z - 4, -5*a - 17 = 4*q for q.
2
Let c = -336 - -356. Suppose -f = -0*f - 20. Solve f = 4*q + 4*r, -4*r = 3*q - q - c for q.
0
Let s = -128 - -135. Solve 0 = w + 5*p - s, 2*w + 1 = 2*p - 9 for w.
-3
Let c(v) = -v**2 + 20*v + 10. Let u be c(15). Suppose 5*j - u + 30 = 0. Solve 4*h + j + 19 = 5*l, -4*h + 4*l - 28 = 0 for h.
-5
Suppose -4*x = -7*x + 9, 4*q - 5*x = 5. Solve q*a + 2*d = 11, 4*a - 2 = -0*a - 5*d for a.
3
Let v be (-25)/(-3) - 36/(-54). Solve 0 = 3*a - v, 4*f + 19 = a + 4*a for f.
-1
Let k(u) = -10*u + 7. Let q be k(0). Let r be 3/q + (-77)/(-49). Solve 23 = -5*j - r*o, -3*j + o = -3*o + 19 for j.
-5
Suppose -2*q = 71 - 91. Let l be (-2 - (-24)/10) + 36/q. Solve 4*k - 16 = -4*v, -k + 3*k - l*v - 8 = 0 for k.
4
Let g = -9 + 13. Suppose f + 0 - g = 0. Suppose 3*p = 4*p - f. Solve 0*h + 5*t = 2*h + 5, 5*t = -p*h - 25 for h.
-5
Suppose 1 - 1 = -8*a. Solve 0 = g - 4*j, -g + a = -j - 3 for g.
4
Suppose 5*w - 3*t - 24 = 8, -t - 12 = -2*w. Let k be (-117)/(-27) - w/(-6). Solve -k*x + 5*i + 40 = 0, -x - i - 28 = -6*x for x.
5
Suppose 12 = -i - 3*i, -6 = 3*r + 2*i. Suppose 0 = 5*m - 5*h - 5, -4*m + 2*h = -2 - 10. Solve r = -q - 3, 3*o - o = -q + m for o.
4
Let x be 56/3 + 63/189. Solve 5*j + 0*r = 2*r - x, 0 = 2*r + 6 for j.
-5
Let d = -11 - -15. Let t(p) = -4*p - 29. Let x be t(-8). Solve x*n = -j + 3 - 6, -3*n = -d*j + 3 for j.
0
Let m = 39 - 24. Suppose -6*w - 2*t - 10 = -3*w, -15 = 3*t. Suppose 9*d + 7 - 25 = w. Solve -3*o + m = -6*o - d*g, g + 15 = -4*o for o.
-3
Suppose 0 = -0*v - 3*v + 3*f + 246, 0 = 4*v - 5*f - 331. Let c = v - 79. Solve -12 = -c*n - 3*n + 4*q, 0 = 3*q for n.
4
Suppose -2*z + 3*w + 7 = -43, -5*z - w + 91 = 0. Let k = z + -19. Let d be 3 - -4 - (k - -4). Solve -7 = -d*c - j, -c = c + 3*j for c.
3
Let j(a) = -a**3 + 7*a**2 + 6*a + 18. Let k be j(8). Suppose -c + k*m - 6 = 0, -3*c + 8*c - 4*m = -6. Solve -1 = 5*t + 4*b + 4, -2*t - c = -2*b for t.
-1
Suppose 18*z - 30 = 42. Let o be 6/(-6) + z + -2 + 2. Solve -2*x = o*i - 3*x - 1, x - 6 = -4*i for i.
1
Let c be 17 - (1 - (-5 - -3)). Suppose 26 = 4*q + c. Let g = 1 - 0. Solve -2*x - f + q = -7, 0 = -x + f - g for x.
3
Suppose 2*u - 13 = -5*d, -d + u + 4 = -0*u. Solve -2*k - 5*w - 33 = 0, 0*w = d*k + 3*w + 27 for k.
-4
Let x = 785 + -785. Solve 3*y - 3*l + 8*l + 4 = x, 0 = 2*y - l + 7 for y.
-3
Suppose -2094*a + 2101*a = 28. Solve 5*u = a*d + 28, -9 = -5*u + 5*d + 21 for u.
4
Let w = 3 + 5. Suppose 3*f + 20 = w*f. Let y be (3/f)/(5/20). Solve y*j = -5*t - 1 + 6, 4*j + 1 = t for j.
0
Suppose y + 13 = 4*n, 3*n - 44 = -5*y + 6. Let g(d) = 2*d**2 - 14*d + 5. Let i be g(y). Solve i*a = -5*x, 7*a - 2*a - 5 = -4*x for a.
5
Let l be ((-14)/3)/((-24)/36). Suppose 4*m + l = -9. Let q be 2/((-5)/(30/m)). Solve 0 = 5*b + 3*z - 8, q*b + 4 = 6*b + z for b.
1
Let k = -578 - -580. Solve -4*y + k*c - 35 = y, -5*c + 50 = -5*y for y.
-5
Let s be 13/4 + (-4)/16. Let a = 82 - 81. Let n = a + s. Solve 0*d = 3*q - 3*d + 6, -n*q = -2*d + 14 for q.
-5
Let a = 26 + -24. Suppose -a*w = 2*w - 5*m - 3, 4*m = -3*w + 10. Solve -u + 0*u - 3 = v, -w*v + 14 = -3*u for u.
-4
Let b(u) = -20*u + 9*u**2 - 3*u**3 + 21*u + 13 + 4*u**3. Let i be b(-9). Solve -l + 16 = i*x, -19 = -4*l - 5*x + 12 for l.
4
Let j(p) = 12*p - 3*p + 11 - p**2 + 2. Let d be j(10). Suppose 3*h = -5*q + 86, d*h + 65 = 5*q - 9. Solve 2*c - 5*y = q, -3*y = 5*c + y - 7 for c.
3
Let a be (0/(3/3))/(-2). Suppose 3*u - 30 + 12 = w, 18 = 3*u - 5*w. Suppose a = -x + 10 - u. Solve -4 = x*c, i - 2*c - 4 = -0*i for i.
2
Let x = -294 + 315. Solve -w = 4*o + x, -2*w - 16 + 2 = o for w.
-5
Suppose 5 = -2*n - 1. Let p(u) = u**3 + 4*u**2 + u - 1. Let r be p(n). Solve 0 = 5*i + 5*s + 50, -2*i + 10 = -5*s - r for i.
-5
Let u = -1315 - -1319. Solve 0 = -u*c - 2*h + 20, -h - 2 = 4*c - 5*c for c.
4
Let h be (6/8)/((-7)/56). Let u = -3 - h. Suppose 2*d = 3*w + 15, -d = -0*d + 2*w + u. Solve 3 = 2*f + q, -d*q - 4 = -5*f - 24 for f.
-1
Let k(g) = 8*g - 21. Let n be k(3). Solve -z - n*c = -11, 2*z - 4 = 4*c - 2 for z.
5
Suppose 4*h = -2*b + 178, -2*h + 78 = -b - 17. Let m = h - 42. Solve -2*n = -4*z - m, n = -z - 0*n + 2 for z.
0
Let q = -24 + 54. Let h(u) = -u**2 + u**3 + q - 2*u - 30. Let w be h(2). Solve 4*j + w = 8, 1 = -p + 2*j for p.
3
Let k be 19/3 - (-14)/(-42). Let v be (k/12)/((-1)/(-48)). Let u = v - 19. Solve -2*f + f + u*q = -2, 0 = -q - 1 for f.
-3
Suppose -i - 5*o + 29 = -0*o, -2*o + 14 = i. Suppose -3*w + 69 = i*v, 5*w - 12 = w. Solve 4*d = -4*m - m - 12, -5*d - v = 3*m for m.
0
Let y = 4 - 1. Let n = -7 + y. Let x = 4 - n. Solve 0 = 2*t + x, -2*g + t = -0*g for g.
-2
Let v(l) = -2*l + 10. Let b be v(-3). Suppose 0 = b*w - 18*w. Solve o = 2*a - 2, o + w = -5*a + 5 for o.
0
Let i = -2427 - -2431. Solve -c = -i*c - 4*b + 5, -c - b + 2 = 0 for c.
3
Suppose -207*t + 213*t = 42. Solve -4*q - t = -o, -q + o + 3 = 1 for q.
-3
Suppose -7*h - 11 + 11 = 0. Solve h = 5*r + 5, -l + 2*r + 3 = -4 for l.
5
Let u be 0/(-1) + 1 + 1. Let y = -22 + 17. Let t be -2 - (-6 - (y - -3)). Solve t = u*q + 4*p, 3*q + 3*p + 0 + 6 = 0 for q.
-5
Let u = -93 - -108. Solve 3*j - 6*s + 11 = -s, 5*s = 5*j + u for j.
-2
Let c be (8/16)/(1/16). Let a be (-129)/(-27) - c/(-36). Solve t + 0*t = 5, a*g + 2*t = -10 for g.
-4
Suppose 0 = -60*h + 74*h - 42. Solve 4*g + 5 = 3*x - 8, -h*x + g + 1 = 0 for x.
-1
Let t be (-25)/30*(-12)/2. Suppose -12 = 3*a + a, t*d - 32 = -a. Suppose 0 = d*y - 3*y - 36. Solve -k = -4*k + 5*r - y, 9 = -3*k + r for k.
-3
Let q be (1/3)/(4 - 245/60). Let u(p) = -p**2 - 5*p. Let n be u(q). Solve 2*w - 17 = 6*t - 3*t, 12 = -n*t for w.
4
Suppose 129 = -5*p + 5*t + 34, p = -5*t + 11. Let a be (-134)/6 - (-2)/6. Let z be (-74)/p + a/77. Solve 0 = -6*w + 3*w - 5*v - 6, 3*v = z*w + 10 for w.
-2
Let y = 15 + -9. Suppose 6 + y = 4*a. Let c(l) = l**3 - 10*l**2 - 11*l + 5. Let m be c(11). Solve -m*s + a*g - 7 = -26, -17 = -s + 5*g for s.
2
Let a(o) = -o**3 - o**2 + 2*o + 1. Let l be a(0). Let c = 3 - l. Solve j + c*h = -3*j + 10, 5*j + 5*h = 25 for j.
0
Suppose 110*s = 113*s - 15. Solve 0 = s*b + 4*i - 8 - 9, -4*i = -12 for b.
1
Let s = 2723 - 2721. Solve -17 = -3*i - x, 4*x - 20 = -s*i - 2 for i.
5
Let h = 819 - 1275. Let b be (-6)/27 + (h/(-27))/4. Solve -4*k = b, -4*d - 3*k - 4 = -1 for d.
0
Let s(d) = d**3 - 7*d**2 + 11*d + 7. Let h be s(4). Suppose h*w = 1 + 5. Solve z - 5*a = -17, 0 = w*a - 0*a - 6 for z.
-2
Let s = 1179 + -1170. Solve -5*r - 2*a + 3 = 0, 0 = 2*r - r - 2*a + s for r.
-1
Let o be 2*15/6 + (10 - 13). Solve 2*k - 6 = 4*g + 4, o*g = 2*k - 2 for k.
-3
Suppose 29 - 1 = 2*j. Let p = 3 + 5. Suppose 3*i = i + p. Solve -2 = 3*q + i*z, 4*z - j = q + 4*q for q.
-2
Let u(j) = j - 16. Let n be u(20). Solve 4*l + 8 = -4*g, 19 = n*g - 5*l - 0*l for g.
1
Let d(r) = -r + 52. Let n be d(47). Solve 0 = -3*f + n*a + 26, 5*a = f - 22 for f.
2
Let l = -229 + 238. Let d(j) = j**2. Let t be d(2). Let q = t - 0. Solve -q*m + 13 = s, s + 14 = 5*m - l