4 for b.
3
Let j = -18 + 21. Solve -3*g - 15 = 0, -3*k + 6*g = j*g for k.
-5
Let u = 28 + -18. Suppose 5*k + 2 = 4*m - u, 9 = -5*k + 3*m. Solve -c + k*c = 3*g - 12, 3*g + 3*c - 12 = 0 for g.
4
Let b = 26 - 9. Let n = -15 + b. Solve -3*a = 12, 10 = -4*g + n*g - 2*a for g.
-1
Suppose 3*j + 10 = 61. Suppose j = 3*u + 5. Suppose -6 = -q - c, 5*q - 26 = -0*c - u*c. Solve -2*b - b = q*r - 7, 0 = 5*r + b - 11 for r.
2
Suppose 2*d + 3*k = -d - 6, -d - 10 = 3*k. Solve -l + t - 1 = 0, t = d*l - 0*t for l.
1
Let i be 7/3 + (-2)/6. Suppose -1 = -i*a + 7. Solve -9 = 4*z - k + 1, 5*z + 3*k + a = 0 for z.
-2
Suppose 4 = -3*b - 2. Let n be (b/(-4))/(2/8). Solve -4*a - o - 17 = 0, a + 3*o - 10 = -n*o for a.
-5
Let z be (-1)/(3/(-5))*3. Suppose 3*o = z*o - 12. Suppose o = 5*b + 2*l - 16, -3*l + 19 = 4*b. Solve -5*w = -2*g - 10, 3*g + b*w - w - 6 = 0 for g.
0
Suppose 4*g - 5 = -g. Let h be ((-6)/(-12))/(g/14). Solve -2*j - 3*p - h = 0, 2 = -4*j - 2*p - 0 for j.
1
Let u(h) = h + 11. Let o be u(-8). Let t = -1 + o. Solve 2 = 4*s - 3*l, -s + 3*l - t = s for s.
2
Let h(x) = -x**2 - 8*x + 14. Let b be h(-9). Solve -j - 17 = -b*c, 2*c - 3*c = 5*j - 19 for c.
4
Let o be (1 - (-4)/(-2))*-4. Solve -a = 2*l - o*a + 23, -2*a = -4*l - 26 for l.
-4
Let l = -9 - -11. Suppose 25 = l*m + 3*m. Solve -6*c + c - m = u, -4*u = 3*c + 20 for u.
-5
Let s = 0 + 17. Suppose i + 3*z + 6 = 4*i, -5*z + 10 = 5*i. Solve l = -4*j + s, -6*l = -i*l - j - 17 for l.
5
Let d = 9 + -7. Suppose 0*j = -d*j. Solve -u + f + 3 = -0, 5*f = j for u.
3
Suppose 0 = -0*u - 4*u. Solve 0*p - 2*p + 8 = u, 4*g + 3*p + 4 = 0 for g.
-4
Suppose 9*u - 20 = -2. Solve 2*v = u*g + 3*g, -4*v = -2*g for g.
0
Let y(v) = v**2 - v - 2. Suppose 9 = -0*f + 3*f. Let m be y(f). Suppose m*z + z = 0. Solve -2*h = 5*s + 24, z = s - 4*s - 12 for h.
-2
Let g = -10 - -40. Suppose -3*r + 6 = 15, 0 = 3*s - 5*r - g. Solve -s*j + 21 = 3*l, -l + 5*j - 16 = -3 for l.
2
Suppose -o + 4*o + 3*w + 45 = 0, 0 = -2*w - 4. Let b = o + 17. Solve 1 = -3*j - 4*m + 15, -b = 2*j - 4*m for j.
2
Let w be (3/(-12))/((-1)/8). Solve 4*u = -0*z + z - 13, -5*z - u = -w for z.
1
Let y(o) = 11 - 7*o**3 + 10*o**2 - 10*o + 8*o**3 + 3 + 0*o. Let x be y(-11). Solve -6 = 2*z, -2*l - 2*l = -3*z + x for l.
-3
Let d = -17 + 24. Let r(z) = z**3 + 8*z**2 - 15*z**2 - 4 + 2 - 3 + z. Let m be r(d). Solve -4*g + w - 3*w - m = 0, 5*w - 25 = 0 for g.
-3
Suppose -10 = -n - 4*n. Suppose 0 = -n*g + 3 + 1. Solve g*z - 4*r + r = 5, -r - 19 = -5*z for z.
4
Let x = 138 + -134. Solve x*i - 10 = -2*r + i, 0 = -r - 5*i + 12 for r.
2
Suppose 0 = 3*j - 9. Suppose -15 = -3*z, -2*m = m - z + 2. Let c be (2/4)/(m/4). Solve 4*y - 3*b + 8 = -c*b, -2*b + j = 5*y for y.
-1
Let j(d) = -d**2 - 7*d - 3. Suppose -g - 7 = -2. Let m be j(g). Solve -4*r + m + 17 = 5*o, 2*r = 4*o - 14 for r.
1
Suppose 0 = v + v - 4. Suppose 3*c - 4*c = 3*f - 3, 4 = -f - 2*c. Solve f*l - 1 = -g, 16 = -2*g + v*l + 3*l for g.
-3
Suppose 3*f = -3*m + 2*m, 0 = -2*m + 4*f. Let j be (10 + -8)*2/4. Solve -5*h - 7*p = -3*p + 1, -h - 2*p + j = m for h.
-1
Suppose -3*n = -4*q - 5, 0 = -4*n + 7*n + 3*q - 12. Solve -5*t + 4*p = -t + 24, -n*p = -3 for t.
-5
Suppose w - 2 - 4 = 0. Suppose -3*u - 3 = 3*b - 21, 2*b = 4*u - 6. Suppose 3*n = n - 5*v + 4, 10 = 5*n + u*v. Solve -3*k + n*q + w = -4, 5*q = -5*k for k.
2
Let k be (0 - -1)/((-5)/45). Let u be k/(-2) - (-4)/8. Solve -u*y - 28 + 3 = 0, 4*m = -2*y + 2 for m.
3
Let y(x) = x**3 + 11*x**2 + 9*x - 7. Let a be y(-10). Solve a*h = -4*z + 14, 2*z = -0*h - h + 8 for h.
-2
Suppose q - 15 = -4*s, 2*q + 9 = s - 3*q. Solve 5*y + 2*b - 3*b - 17 = 0, 3*y + s*b - 1 = 0 for y.
3
Let h be (-6)/((6*-1)/2). Solve h*g + 6 = 2*p, -2*g - 5 + 0 = -3*p for p.
-1
Let g be (-15)/(-10) + (-1)/(-2). Suppose g*p = p + 5. Solve 0 = 2*s - s - 3*v + 6, 0 = p*s - v + 2 for s.
0
Let s = 2 - -1. Suppose -3*j + 11 - 2 = 3*u, 13 = s*j + u. Suppose -3*h - v = -6 - 0, h + v = 0. Solve 3*q - n + 14 + 5 = 0, j*q - h*n = -37 for q.
-5
Suppose 0 = -6*z + 4 + 20. Let a be (12/(-10))/(z/(-10)). Suppose -5*r - 4*v = -113, -14 + 88 = 4*r - 5*v. Solve -m + 13 = 4*c - 3, a*c + 3*m = r for c.
3
Suppose 4*o - o - 9 = 0. Suppose o*z = -2*s - 8, s + 3*z = -z + 1. Let j be 2/(-7) - 30/s. Solve 0 = 3*k + 4*x - 0*x + 1, -4*x = j*k for k.
1
Let r = 28 + -26. Solve 25 = -5*b - r*x, 0 = b + 5*x + 16 + 12 for b.
-3
Suppose 0*w - 75 = -w - 3*l, 0 = 3*w - 2*l - 170. Suppose 4*k - k + 105 = 4*h, 4*k + w = 2*h. Solve 0*u = 5*u - 5*i - 5, 0 = -3*u - 4*i + h for u.
4
Let z = 11 + -6. Solve -4*y - 15 = -z*w - 3*y, 25 = 5*y for w.
4
Suppose 8 = a + 3*a. Let g = 14 - a. Suppose -4*f + 11 - 1 = 2*z, f + 4*z = -8. Solve 4*k - 4*l = g, 3*l - 13 = -f*k + 13 for k.
5
Suppose 4*a - 5 - 7 = 0. Let d be 218/8 + 1/(-4). Solve -2*v + 13 = -a*v - 2*i, 4*v + d = -3*i for v.
-3
Let k(d) = -d + 2. Let c be k(-2). Solve 0 = -3*i - c*x - 29, 2*i + 4 = -i + x for i.
-3
Let x(f) = f**2 - 12*f + 14. Let d be x(11). Let a = -10 - -18. Suppose a*m = d*m. Solve 4*w - 3*w + u + 2 = 0, m = 4*w + u + 14 for w.
-4
Let y(q) = 9*q - 70. Let i be y(10). Suppose 20 = 4*f + 3*m, -1 = -3*f + 4*m - 11. Suppose 3 + 7 = f*x. Solve -x*o - n - i = 0, o + 3*n + 8 = -o for o.
-4
Let k = 21 - 19. Let i be -2 - -1 - (k - 5). Solve 3*m = -2*h + i, 3*h + h = 2*m + 4 for h.
1
Let i(d) = d**2 - d - 2. Let y be i(3). Solve 2*u + 2 = 4*o, -y*o - 2 = -3*o - 3*u for o.
1
Suppose 5*y + 24 - 4 = 0. Let h be (-11)/y + 15/(-20). Solve -2*t + h*l + 14 = 6*l, t - 2*l = -13 for t.
-3
Let d be ((-28)/(-2) - -3) + -1. Let p = d - 11. Solve -v + t - 4 + 1 = 0, -t = -p*v - 3 for v.
0
Let v be (6 + -5)*(1 + -1). Suppose 2*n - 4 - 4 = v. Solve -n*i = 2*o - 7 + 37, 20 = -4*o for i.
-5
Suppose g = -2*g + 12. Suppose -3*f - 5*n - 8 = -20, -2*f - g*n + 8 = 0. Let d(x) = -2*x - 13. Let p be d(-9). Solve 5*t - f*y = -y - 4, -p*t + y - 8 = 0 for t.
-2
Suppose 4*t = -5*d + 17, -4*d + 3 = -t + 2. Solve 0 = -5*h + t*u + 20, -3*u - u - 17 = 3*h for h.
1
Let q be (-1)/((-5)/5)*(1 + -1). Suppose 3*c - 6*c + 18 = 0. Suppose -2*o - o + c = 0. Solve 2*z = 4*w - 3*z - 3, -5*w + o*z - 9 = q for w.
-3
Suppose 0 = -5*g - 0*g + 15. Suppose -4*b - 3*u + 20 = 0, -b + 2*u = -g*b + 10. Solve 2*c + 11 = -h + 4, 37 = -b*c + 4*h for c.
-5
Let h be 2/4 + 4/(-8). Suppose h = -11*r + 9*r. Suppose r = -2*u + 8, 2*x = 3*x + 5*u - 24. Solve 0 = -4*g - 4*o - 4 - 0, 3*g + 8 = -x*o for g.
4
Let u = 7 + -2. Suppose -2*o + 25 = u. Let d(c) = c - 9. Let j be d(o). Solve -3*b - 2*m = -6, 0*b + 4*b + 5*m = j for b.
4
Let m be (-15 + 3)*1/(-3). Solve 0 = 3*z - m*h - 3, -4*z - 4*h + 2*h + 4 = 0 for z.
1
Let y be (-1 + -2)*4/(-6). Let r be 8/3 + y/(-3). Solve 3*v + 2*v = 2*n + 13, -2 = -r*n for v.
3
Suppose 4*i - 5*c = 22 + 3, -3*i + 5*c = -25. Suppose 3*b = -3*g + 4*g - 7, i = -5*b - 10. Let z = 8 - g. Solve 3*r = 4*s + 2, -4*r + 3*s = 2*s - z for r.
2
Let h(k) = k**3 - 13*k**2 + 3. Let s be h(13). Suppose 0 = 2*l - 5*l. Solve l = -3*p + s, 0*o + 5 = 5*o - 5*p for o.
2
Suppose -20 = 4*q - 4. Let b be (5/2)/((-2)/q). Suppose -3*v = -b*v + 4. Solve -2*j - 13 = v*r - 3, -r = 2*j + 10 for r.
0
Let j be -1 - -7 - ((-9)/(-1) + -5). Solve t + 14 = 4*g - 5, j*g + 4*t = 14 for g.
5
Let g be -4*(2*-2 - -3). Let q(y) = 2*y. Let w be q(-3). Let t be 2/w - 30/(-9). Solve -8 = -t*c + 5*f - 24, 0 = -g*f + 8 for c.
-2
Let b(p) = p**3 - 5*p**2 + 4*p - 2. Let w be b(4). Let m(j) = j**2 + 6*j - 4. Let z be m(-6). Let h = w - z. Solve 0*r + 7 = 5*k + 3*r, -18 = h*k - 4*r for k.
-1
Let i be 15 - -2 - (1 - 4). Solve y - 4*k = i, -k + 8 = -2*y - 5*k for y.
4
Suppose -1 = -3*r + 8. Let z = r - 1. Let h = -106 + 108. Solve -3*y = z*m - 0*m - 8, h*m + 12 = 2*y for m.
-2
Let y(p) = -p + 15. Let v be y(10). Solve 0 = 5*c - j - 11, v*c = -3*j - j + 31 for c.
3
Suppose -7*x = -3*x. Suppose -3*r = 4*l - 2, -l = -2*l - r. Solve -6 = -2*b + v, l*v + x*v = -4*b + 20 for b.
4
Suppose -4*o + 5 = 5*x - 7, 5*x = 0. Let w be (-1 + 7)/((18/4)/3). Solve -w*n = -5*l - 21, -3*n - 10 - 8 = o*l for l.
-5
Suppose -g = -5*r + 102, -2*g - 33 = -4*r + 45. Solve 2*h = -4*m - 14, 3*m + 2*m - h + r = 0 for m.
-4
Let h be 1866/34 - 2/(-17). Suppose 8*y - 3*y = h. Suppose -3*l + 5*l = 8. Solve 5*r - 30 = -5*a, l*a = 4*r - r - y for r.
5
Let x(u) = u + 2. Let m be x(0). Let p = 3 - m. Let l = 10 + -7.