i + 2*b - 2, -k*b - 2 = -2*i for i.
-5
Suppose 43 - 13 = 5*w. Suppose -3*h - 15 = -w*h. Solve h*b = 3*t + 16, 5*t = -0*b - 2*b + 25 for b.
5
Let l = -11 - -12. Let t be (0/(-5 - -3))/l. Solve 2*i = 3*m - t*m - 16, -6 = -3*m for i.
-5
Let z(g) = -g**3 - 9*g**2 - 7*g + 9. Let j be z(-8). Let i = -1 + j. Solve 2*q = 6*u - 3*u + 8, -2*q - 2*u - 2 = i for q.
1
Let f = 11 - 8. Suppose -k + 1 = -f*c + 2, 0 = 5*k - 2*c - 21. Let a = -2 - -42. Solve 3*p - a = k*b, b + p = -b - 5 for b.
-5
Suppose -7*r - 15 = -4*r, -2*i + 2*r + 20 = 0. Solve i*p = 20, 3*p = -4*j + 8*j - 8 for j.
5
Let w(i) be the second derivative of -i**3/6 + 5*i**2 - i. Let u be w(0). Suppose o - u = -o. Solve -5*l + j = -4, -l + o = -j + 1 for l.
0
Let t(v) = v**3 + 5*v**2 - 5*v + 5. Let g be t(-6). Let p(b) = -13*b**3 + 2*b**2 - 1. Let y be p(g). Solve y = 4*a + 3*z, 0 + 7 = 3*a + 4*z for a.
5
Let b(q) = -2*q - 4. Let a be b(-6). Suppose 4*l - 2 = -t, -a = t + 4*t + 2*l. Let x be t/9 - 4/(-18). Solve 0 = -3*o + 3*f - 6, 2*f = -4*o - x*f + 22 for o.
3
Let h be (2/3 - 0)*3. Let x(n) = 2*n**2 + n**2 - 7*n - 5 - 4*n**h. Let c be x(-6). Solve 5*j + 31 = -4*m, 8 = -m - j + c for m.
-4
Let r be (-132)/(-16) - (-1)/(-4). Let k be (-36)/r - 1/2. Let m be (-36)/(-10) - 2/k. Solve -m*g = 3*s, 4*s = g + 9*s for g.
0
Let f(h) = -3*h - 2. Let m be f(-2). Suppose 0 = -3*c - 2*j + 15, -3*c + 30 = -5*j - 6. Let t = c - m. Solve 0 = -4*i + t + 5, 5*b - 19 = 3*i for b.
5
Let a(l) = -3*l - l**2 - 6*l + 1 - 5*l - 10. Let j be a(-13). Solve -4*u + 3*u - 4*s = -11, -9 = 5*u + j*s for u.
-5
Let t be (4/2*2)/(-1). Let d = 8 + t. Solve -3*k - 2*s + d*s = -2, -4 = 4*s for k.
0
Let d = -10 - -11. Let c be d + (-12)/4 - -4. Solve -5*b + 25 = -c*r, -b = -5*b + 2*r + 20 for b.
5
Let o be (0 - (-5 + -1))/2. Suppose -31 = -2*b - 5*r - 0, -3*b + 4*r - 11 = 0. Let t = 9 - b. Solve -v + 12 = -4*z - 4*v, -2*z = o*v + t for z.
-3
Let w = 42 - 39. Solve -27 = -f + 6*f - 4*u, u = w*f + 12 for f.
-3
Let g(c) = c**2 - c - 2. Let n be g(5). Let v be 43/9 + 4/n. Let i = -3 + 8. Solve v*d - 5*a = -5, -2*d - d = -5*a - i for d.
-5
Suppose -2*u + 3 + 5 = z, 4*u - 14 = -z. Suppose 4*o - 188 = -2*m, -z*o - m + 110 = 4*m. Solve -4*t + o = 5*s, -5*s + 3*t = 5*t - 35 for s.
5
Suppose -2*s + 3*s - 5*o - 10 = 0, 4*o = -2*s + 62. Suppose 0 = -5*b - 5*u + s, -u = -b + u + 2. Solve 2 = 2*d - 3*f, 0 = -4*d - 0*f + b*f for d.
-2
Suppose 4*z + 5*y = 3*y - 142, -5*z - 190 = 5*y. Let v = z - -17. Let r = 22 + v. Solve 4*k + r*f - 2*f = -8, -5*f + 25 = -2*k for k.
-5
Let r(l) = 6 - l - 4 + 6. Let b be r(5). Let g(c) = c + 8. Let i be g(-5). Solve k + 5*w = 21, -2*k = i*w - 2*w + b for k.
-4
Let r be (-10 + 4)/(1*-1). Let s be (0 + r)/(2/1). Suppose 50 = s*m + 2*m. Solve 5*z - 5*c = -0*z - m, 0 = -z + 4*c - 11 for z.
1
Let k(u) = -2*u - 6. Let r be k(-9). Let i = r + -9. Solve n + 2*n - i*g + 21 = 0, 5*n - 5 = -3*g for n.
-2
Let d be (-56)/(-12) - (-4)/(-6). Solve -d*g - 12 = l, 2*g - 8 = 6*l - 3*l for g.
-2
Suppose -5 = 5*b - 20. Let x = -4 - -9. Let s = 9 - x. Solve -v + 2 + 0 = -2*i, s*v + b = -3*i for v.
0
Let b(l) = -l**3 + 16*l**2 + 36*l. Let k be b(18). Solve 2 = 5*o + 7, u + 4*o = k for u.
4
Let a(u) = -u - 5*u + 1 + 6*u**2 + 4*u. Let h be a(2). Solve 0 = -5*c - 3*i - h, -5*c - 33 = 5*i - 8 for c.
-3
Let n(j) = 13*j**2 + 2*j + 1. Let f be n(-1). Suppose 0 = -g - g + f. Suppose b = z, -g + 0 = -5*z + 3*b. Solve 2*w = -3*i + 2, 0 = 4*w - z*w - 5*i - 1 for w.
1
Let o be ((-4)/(-12))/((-2)/(-12)). Suppose 0 = -4*n - 3*c + o - 0, 4*n - 4*c - 16 = 0. Let l = 18 + -13. Solve 18 = -4*p + n*y, 3*p - l*y = -9 - 1 for p.
-5
Let w(x) = x - 1. Let s be w(4). Let o(l) = -l**3 - 3*l**2 - 5*l - 2 - l**s + 4*l. Let k be o(-2). Solve -6*j + 4*j = -5*g + 12, 0 = -k*g + 5*j - 4 for g.
4
Let w be (-14)/(-35) - (-93)/5. Suppose 3*s = -4*q - q + w, -5*q + 31 = -3*s. Solve 4*j + q = -u, 4*j + 6 = -5*u - 3 for j.
-1
Let w = -11 + 14. Solve -w = -3*l + 2*l, -5*l = v - 12 for v.
-3
Suppose -40 = -5*a + 4*m, -m - 27 = -3*a + 4. Solve q = -5*y - 20, -3*y + a = -6*y - 3*q for y.
-4
Let b(p) = -p. Let c be b(-2). Solve -v + 0*v + 5 = c*i, 2*v - 4 = 2*i for v.
3
Let s = 27 - 24. Solve d + 17 = 4*k - s, -16 = -k + 3*d for k.
4
Suppose 2*q + 1 = 5. Suppose 46 = 42*x + 4*x. Solve -x = -2*b + 3*r, 3*r = -3*b - q*r - 27 for b.
-4
Let x be -4*(0/(-2) - -1). Let b = x - -6. Solve 4*c + s + 2*s + 18 = 0, b*c - s + 4 = 0 for c.
-3
Let i be 6/(-2) - (-6 + 3). Let y = i + 4. Solve q - u - 2 = 0, y*u = 5*q - 6 - 2 for q.
0
Suppose 0 = 4*w + 5*t - 66 - 79, -3*w = 4*t - 110. Suppose 4*x = 8, -2*x = 4*u - 7*x - w. Solve z - 11 = 6*z - 2*m, -z + 3*m = u for z.
-1
Let j = -1549 + 1551. Suppose -25 = -m - 8. Let l = -9 + m. Solve -2*n + 0*h = -3*h - j, 0 = -2*h - l for n.
-5
Let s = 4 + 1. Suppose -2*h - 3*j + 3 = 0, -2*j - 17 = -5*h - 0*j. Solve 3*l + 2*q = 7, s*l - 3*q + h = q for l.
1
Let y(d) = -d**2 + 28*d - 23. Let b be y(27). Solve -2*f + b*c - 18 = 0, f + 5*c = 2 + 10 for f.
-3
Suppose 27 = z + 8*z. Solve x + 9 = -4*y + 6*x, -7 = z*y - 4*x for y.
-1
Suppose 0*l + 6 = 3*l. Solve j + 1 = -2*r + r, -l*j - 3 = r for r.
1
Suppose -4*o - 3*j = -5*j + 6, 4*o - 3*j + 3 = 0. Let n = o + 0. Let m = n + 9. Solve -s - 3*b = 8 + 1, -2*b = 3*s + m for s.
0
Suppose 0*d + 2*d - 12 = -o, 5*o - 20 = -2*d. Solve -6 = -0*j - 4*j - 3*p, -o*p = 4 for j.
3
Suppose -c + 12 = -3*m - 5*c, 0 = -2*m - 4*c - 12. Solve -20 = -3*q - o, -2*q + 5*o - 15 + 0 = m for q.
5
Suppose 5*g = 41 + 84. Suppose -2*z = 2*w - 6*z + 10, 3*z = -2*w + g. Solve -a - w*t = -3*a + 23, -a - 5*t = 11 for a.
4
Let s be 2 + (-27)/(-12) + (-1)/4. Solve -3*i = 3*v + v + 17, 4*v - 4*i - s = 0 for v.
-2
Let q be (-42)/(-8) + (-2)/8. Let k(d) = -1 + 4 - 2*d + 1 - 2. Let z be k(-1). Solve q*n = -2*i + 21, -n + z*i + 23 = 2*n for n.
5
Suppose 4*i + 2*q - 50 = 0, -9*q + 5*q = -5*i + 95. Solve 9 = 4*j + 3*r, -5*j + 4*r + i + 4 = 0 for j.
3
Suppose 6*x - 14 = 4*x. Let i = x - 2. Suppose 15 + 10 = 5*c. Solve h - i*l = -0*h - 14, -c*l + 16 = h for h.
1
Let t = -16 - -25. Solve -b - 4*l = t, 2*l - 2 = -8 for b.
3
Suppose -2*q + 19 = 7. Solve -q = 4*w + w + x, -3*x = 3 for w.
-1
Suppose 4*x = 3*x. Solve x = -3*q + n + 17, 3*q - 2*n = 20 + 2 for q.
4
Let l be (-10)/4*(-54)/45. Let z(a) = -a + 13. Suppose 4*k - k = 0. Let f be z(k). Solve l*s + 11 = -0*j - j, -3*j - f = 5*s for j.
4
Let i(s) = 1 + 1 + 4*s - 5*s. Let j be i(5). Let n be 4 + j + 1 + 5. Solve -4*v = -5*o + n, -3*o = 4*v + 11 + 4 for o.
-1
Let q(r) = -r - 1. Let n be q(-4). Let j be (-3 + -3)*1/(-2). Let t = j - n. Solve -4*k = -t*k - m + 16, 5*m = -20 for k.
-5
Suppose -3*d + 4*c - 19 = -2*d, -3*d - 9 = 4*c. Let w(a) = -a**2 - 8*a - 1. Let t be w(d). Solve 4*p + 4*j = p - t, 0 = -3*p + 2*j + 12 for p.
2
Suppose 0 = -8*q + 16 + 32. Solve -5*o = 5*m - 4*m - 13, 2*o - q = 0 for m.
-2
Suppose -y + 4*y - 9 = 0. Solve 0 = 3*u - 5*v - 5, y*v + v + 4 = 5*u for u.
0
Let z be ((-18)/(-4))/((-1)/2). Let f = -7 - z. Suppose -f*j + 13 = 5. Solve -2*p + 2 = -2*b - p, p = j*b + 6 for b.
-2
Let l = 1 - -6. Solve -3*v + l = -5*f - 2, -16 = 4*f + 2*v for f.
-3
Let q = -18 + 18. Solve 3*p - 5*l + 2 = q, -p = p + 2*l + 12 for p.
-4
Suppose -4*l = -3*t - 14, 2*l - 5*l = 3*t. Solve 0 = -l*x - 3*b - 7, 0 = -3*x - 0*x + 3*b + 12 for x.
1
Suppose 6*t = 5*t. Solve 0 = v + 4, t = -3*p - v + 6*v + 29 for p.
3
Suppose -2*r = -2, -6*p + 3*p + 3*r + 3 = 0. Suppose -j = -6 - p. Solve -3*k - k - j = i, 0 = -5*k + 4*i + 11 for k.
-1
Let o be (-152)/(-4) - (2 + -1). Suppose 102 = 5*y + o. Solve -1 + 5 = 4*j + 4*f, 5*f = 4*j - y for j.
2
Let a(s) = -7*s + 7 + 2 - 2*s**2 + 2*s**2 + s**2. Let r be a(6). Solve g + 3 = 0, -r*q = -7*q - g + 9 for q.
3
Let k be (1/3)/(2/12). Solve u - 1 + k = -2*g, -4*g = -4*u + 32 for g.
-3
Let x = -145 + 152. Solve -x = 2*l + 3*b + 14, -2*b - 10 = 0 for l.
-3
Let a(y) = 12*y**3 - 3*y**2 + y + 1. Let o be a(1). Let c = 8 - 6. Solve -c*x - 5*r = -30, -5*x = -3*r - o - 2 for x.
5
Let j(f) = -f - 2. Let m be j(-2). Suppose 0 = 4*v, -3*v = -m*g + 2*g - 12. Suppose x = g*x. Solve s + 4*t - 8 = x, 2*s - 5*s + 14 = 2*t for s.
4
Let y(x) = x. Let c be y(4). Suppose 0*r + 2*r = c. Solve r*k - 3 = m, -k + 5*k + 4 = 4*m for k.
4
Let t(i) = -i + 10. Let u be t(6). Solve 5*j - u*z = -45, -j + 0 = 2*z