10) + -2). Solve -d*o + 2 = b for o.
-1
Let x be 2 + 5/(10/4). Let f = x + 3. Let m be (f + -4)*(2 + -1). Solve 4*n - m = 3*n for n.
3
Let n = -15 - -28. Let i = 1 - 4. Let m(z) = -z**2 - 4*z - 1. Let o be m(i). Solve -o - n = -5*l for l.
3
Let i = 5 - 3. Suppose 4*a - 3*h = h + 28, 0 = -4*a - 2*h + 46. Solve 2*j - a = -i for j.
4
Suppose -b = -3*b. Let d be (-38)/(-8) + 3/(-4). Solve -4*z + d - 16 = b for z.
-3
Let j = -17 - -19. Solve 0 = -j*m - 6 for m.
-3
Suppose 4*z + 3*u - 12 = u, -5*u = 2*z - 14. Suppose z*l + 2*l - 72 = 0. Solve -l = 5*c - 3 for c.
-3
Suppose -5*q + 32 = -18. Suppose -2*k = -5*y + q, y - k = -2*y + 5. Solve y = d - 2 + 3 for d.
-1
Let w = -93 - -95. Solve 9 = -w*r + 5 for r.
-2
Let h = 38 + -38. Solve h*j + 3*j = -6 for j.
-2
Let j be (-6)/(-4)*5/(75/20). Solve -j*g = -0*g for g.
0
Let g be (-2)/(-3)*(-3)/2. Let t be (-3*2)/(0 + g). Suppose -t = -4*c + 10. Solve -5*h + c = 29 for h.
-5
Suppose 0*u = 2*u - d - 1, -3*d - 3 = u. Solve b + 0*b = u for b.
0
Suppose 0 = -3*a + 2*a + 1. Let s be (0 + a)*8/2. Suppose d = -4*v + 8, -3*v - 4*d = 3 + s. Solve 3*q + v - 12 = 0 for q.
3
Let z = 5 + -1. Let f be (2/z - 1)*-4. Solve -3*t = f*t - 15 for t.
3
Let z(k) be the first derivative of -k**2/2 + 5*k + 4. Let y be z(-5). Suppose 4*p - y = 2*p. Solve 2*f = p*f + 9 for f.
-3
Suppose 0*a - 5*a + 10 = 0. Suppose i = -3*i + 3*w - 27, 2*i = a*w - 16. Let g be 0*1/(-6)*i. Solve 0 = -2*l - g*l + 10 for l.
5
Suppose 3*t - 26 = -t - 5*b, -4*t - 2*b = -20. Suppose 3 = t*c - 3*c. Solve -m = -c*m - 8 for m.
-4
Let i be 2/(-4) + (-161)/(-2). Let k = i + -56. Suppose 4*u - k = u. Solve 10 = -u*p + 3*p for p.
-2
Let t be (-3 - 0/2) + 3. Solve n + 1 = -t*n for n.
-1
Let p(z) = -z**3 + 16*z**2 - 15*z + 9. Let h be p(15). Solve 2*q + q + h = 0 for q.
-3
Let d be -11 - -13 - (-12 - 1). Let y be d/(-20) - (-129)/12. Solve -y = 3*u + 2*u for u.
-2
Suppose -5*j + 5 = 2*v - 78, -2*v + 56 = -4*j. Suppose 5*h = -3*w + v, 3*h - 4*w + 1 = 4. Let p be 2*h/2 - 1. Solve u = p*u for u.
0
Let y(q) = 2*q**2 + 5*q + 5. Let s be y(-2). Solve -2*o - s*o = -25 for o.
5
Let k = -10 - -24. Let z be 7/k*(0 - -16). Solve -z = -3*h - 2 for h.
2
Let x = 22 - 2. Let u = x - 17. Solve -r - u = 2 for r.
-5
Let r be (-24)/(-8) - (3 - 1). Solve -3*j + 4 = r for j.
1
Let l = -7 + 9. Solve l = 4*a - 2 for a.
1
Let c = 12 + -12. Suppose 5*a - 3*a = c. Solve d + a - 4 = 0 for d.
4
Suppose 5*n + 5*f = 28 - 8, f = -5*n + 20. Let u be 3/(-1 - -4)*3. Suppose 0 = u*z + 4*l - 5 + 13, -4*z - 4*l - 8 = 0. Solve -h - n*h = z for h.
0
Suppose i + 3*l = 15, -2*l = 3*i + i - 10. Suppose i*t + 3*t = 9. Solve -t*s = -s for s.
0
Let x(o) = o. Let i be x(2). Suppose -7 = -i*w + 3. Suppose k - w*k = 0. Solve k*s = 3*s for s.
0
Let k = -9 - -64. Suppose 2*o - k = -5*n - 0*n, -3*n + 37 = 2*o. Solve -u - 2*u - n = 0 for u.
-3
Let r = 55 + -47. Solve g + r = -3*g for g.
-2
Let s = 60 - 58. Solve w + 12 = -s*w for w.
-4
Let h = -3 - -19. Solve -5*b = -h - 9 for b.
5
Let u(r) = 4*r**2 - 2*r. Suppose 0 = -4*t - k + 8, 4*t - 4*k - 2 - 6 = 0. Let z be u(t). Let o = 1 + 1. Solve w + o*w = -z for w.
-4
Suppose 3*i - 3*m - 15 = 0, -m + 2*m + 17 = 3*i. Solve -i*t = -t for t.
0
Let s(u) = -u + 2. Let g be s(-2). Suppose -g*x + 7*x = 0. Let j be (32/6)/((-8)/(-12)). Solve -3*z + j*z = x for z.
0
Let v(c) = -4*c - 4. Let d be v(-2). Solve 0 = d*a + a + 10 for a.
-2
Let h be (10/25)/(-2)*-25. Solve h = 4*r - 3 for r.
2
Suppose -6*c = -4*c - 6. Solve -c*z + 15 = 3 for z.
4
Suppose -t + 6*t = 0. Suppose -2*u = -t - 4. Suppose 4*l + c = -3, l + 2*c + u*c + 12 = 0. Solve r = -l*r for r.
0
Let s(j) = 6*j + 1. Let h be s(1). Let o = -200 + 208. Solve o + h = -3*p for p.
-5
Let k = 16 + -14. Solve 4*t + 6 = -k for t.
-2
Let c = -14 + 16. Suppose -g + 4*u + 18 = 0, u + c = -2. Solve -g*i + 2 + 0 = 0 for i.
1
Let b be 3/6*6 - 12/6. Solve -6 = 5*r - b for r.
-1
Suppose 0 = 2*z - 6*z + 120. Suppose a + 1 = 3*g, a - z = -5*g - 3*a. Solve -4 + 0 = -g*h for h.
2
Let g(a) = 10*a + 2*a**3 - 10*a**2 + 0*a**3 - 11 - 3*a**3. Let j = -25 - -14. Let q be g(j). Solve b + 4*b = q for b.
0
Let n(h) = -h**3 + 4*h**2 + 6*h. Let a be n(5). Let w(f) = -f + 9. Let q be w(5). Suppose -5 = -q*m - 1. Solve 0 = 4*d - a + m for d.
1
Let g = 7 - 5. Suppose 0 = y + 4, -16 = -g*q - 0*q + 2*y. Solve q*t = 2 + 2 for t.
1
Let t be 0/(9/3) - 0. Suppose 3*w - 24 - 12 = t. Solve 0 = r + 3*r - w for r.
3
Let d be -1 + (3 - -1)/(-2). Let p be ((-1)/d)/(4/60). Let y = 2 + -2. Solve p*b + 0*b + 10 = y for b.
-2
Let f = 8 - 5. Solve 2*g = g - f for g.
-3
Suppose 0 = 4*z - 0*z - 16. Suppose 5*f = -4*x + 36, 0 = -2*f - z*x - 3 + 27. Solve -3*q + f*q = 0 for q.
0
Let f(c) = c + 6. Suppose -r = -1 + 5. Let u be f(r). Solve u*y = y for y.
0
Let z = 10 + -18. Let i = z - -16. Solve 3*h = -h + i for h.
2
Suppose -3*s + 21 - 6 = 0. Solve 17 + 3 = s*v for v.
4
Let w = -4 + -4. Let d = -2 - w. Solve -3*x = -6*x - d for x.
-2
Suppose -3*g + 16 = 4*o, 3*g = -0*o + 3*o - 12. Solve 15 = i + o*i for i.
3
Let a(f) = f - 9. Let o be a(12). Suppose -o*y = 4*v - 23, -1 = 2*v - y - 0*y. Let q = -4 - -11. Solve q = 5*c + v for c.
1
Let w = -1 - -12. Suppose 3*h = -2*p - 2, -4*h = -p + 3*p. Suppose 2*u - h = 6. Solve -u - w = 3*i for i.
-5
Let o(w) = w - 5. Let y be o(10). Solve 2*b = y*b + 9 for b.
-3
Suppose h - 3*i = -h + 28, -16 = 4*i. Suppose -4*z = -5*k - 6 + 9, -15 = -5*k. Solve -z*t + h = t for t.
2
Suppose -4*s + 5*h + 38 = 0, -h - 4*h = s - 22. Let j = -12 + s. Suppose -3*b = 2*b - 35. Solve -b*a + 2*a = j for a.
0
Suppose 5*z = 2*r + 22, -z + 4*r - r + 7 = 0. Suppose z*v = -4*a + 28, 2*a = 4 + 4. Solve -v*x + 4*x - 3 = 0 for x.
3
Let d = 66 - 61. Solve 0*s = -s - d for s.
-5
Let c(s) = -8*s**3 + 2*s**2 - 2*s + 1. Let p be c(1). Let r = p + 21. Let k be r/(-63) + (-2)/(-9). Solve 2*b - 5*b - 15 = k for b.
-5
Let b = -1 + 6. Solve 3*x - 2 = -b for x.
-1
Let i(g) = g**2 + 2. Let w be i(-2). Suppose 12 = 3*p - w. Solve -p*c = -c for c.
0
Let r(c) = 4*c**2 - 6*c + 4. Let n be r(1). Solve 3*g + 8 - n = 0 for g.
-2
Let c(o) = -o**3 + 15*o**2 + o - 1. Let i be c(15). Solve i = 4*x + 2 for x.
3
Suppose 3*v - v = 0. Let l be 6 - (3 - (2 + v)). Suppose -l*h + 34 = -2*r, 4*r + 19 + 19 = 5*h. Solve 3*p - h = -0*p for p.
2
Suppose 43*l - 40*l - 3 = 0. Solve -5*j - 4 = l for j.
-1
Suppose p + 2*p - 22 = 4*d, -5*d - 14 = 3*p. Solve 0*g - p = -g for g.
2
Let z(x) = 3*x + 3*x - 1 + 3 + 2*x**2. Let r be z(-4). Suppose 5*p - 15 - r = 0. Solve -4 - 6 = p*j for j.
-2
Suppose -4*u = 2*p - 3*p - 5, 2*u - 19 = -5*p. Solve 2*r + 6 = u for r.
-2
Suppose 0 = g - 7*g + 36. Solve -g*f = -5*f for f.
0
Let u = 130 - 130. Solve 5*b + u*b + 15 = 0 for b.
-3
Let r(x) = x**3 + 3*x**2 - 7*x - 9. Let l be r(-4). Solve -4*u + l = -u for u.
1
Suppose -15 = -29*p + 24*p. Solve 4*k = p + 1 for k.
1
Suppose 5*a - 60 = -5*b, -3*a + 16 = 2*b - 15. Solve -20 = -3*x + a*x for x.
-5
Suppose 7*r - 17 = 4. Solve 6*a - r*a = 0 for a.
0
Let b be (-3 - 1)*6/((-24)/20). Solve -i - b = -6*i for i.
4
Suppose -5*b + 2*b = n - 20, -2*n = -2*b. Suppose 2*u = t - n*t + 16, 0 = -t - 3. Suppose 5*k - 18 = -4*s, -k = k - s - 2. Solve -4*f - u - k = 0 for f.
-4
Suppose 0 = 3*m + 2*r - 14, -3*m - 6 = -4*r + 4. Let z be 6 - -1*4/2. Solve 2*s = -m*s + z for s.
2
Suppose -5 + 32 = 3*g. Let r = -5 - -8. Solve -r - g = 3*z for z.
-4
Suppose 4*x - 2*g - 12 = 0, 2 + 0 = g. Suppose -4*y = -x*w + 12, 0 = 4*y - 6*w + 3*w + 8. Solve -4*z + 5*z - y = 0 for z.
1
Let v(m) be the second derivative of 3*m**5/20 + m**4/12 - m**2/2 + 3*m. Let l(b) = -b - 5. Let q be l(-6). Let w be v(q). Solve -1 = -w*p + 5 for p.
2
Suppose -4*x - 7 - 21 = -2*n, -10 = -n - 2*x. Let k be (-6)/(-10) - (-6)/15. Let f be k + -4 + -2 + 7. Solve f*g = -g + n for g.
4
Suppose -6*k + k - 2 = -4*i, 0 = -3*i - 6. Let n be -1 + (-4)/(k - -1). Let f(s) = s**3 + 3*s**2 + s + 3. Let p be f(-3). Solve 8*d - n*d - 20 = p for d.
4
Let i be 5 + -1 + 1 + -2. Suppose -1 = d - 2*d + b, -i*d - 3*b + 27 = 0. Suppose -10 = -3*q + q. Solve q*o - d + 0 = 0 for o.
1
Let t be -1*1 - (-6 - -3)/1. Solve t*u = 7*u for u.
0
Suppose 4*w - 2*t - 3 = 7, 0 = 5*w + 2*t - 17. Solve -o - w*o + 16 = 0 for o.
4
Suppose -8*w + 11 = -6*w + 3*q, 0 = 4*q - 4. Solve 0 = 4*h + 8 + w for h.
-3
Let a = 112 + -10