 Solve 0 = -v*b - 4*b - 12 for b.
-3
Let m(g) = -g + 8. Suppose -32 = -8*i + 4*i. Let r be m(i). Solve -5 = -r*t - t for t.
5
Suppose -11 = -10*i + 19. Solve i*p - 5 = -2 for p.
1
Let h be 4 + 4*8/32. Suppose -v + 5 - 2 = 0. Suppose r - 5 = -w, -5*w + v*r + 0 + 25 = 0. Solve -25 = -h*p - w for p.
4
Let j(h) = h**2 + 10*h. Let p be j(-10). Solve p = r + 3*r + 8 for r.
-2
Suppose -10 = -2*k + k. Let t = -6 + k. Let z = -2 + 4. Solve t = -z*d + 14 for d.
5
Let c = -17 - -27. Suppose 1 = -3*m + c. Suppose g - 5*w - 41 = 0, -54 = -4*g + 2*w - 4*w. Solve g = m*r + 1 for r.
5
Suppose 4*j + 3*v + 32 = 0, -1 - 7 = 2*v. Let t be (-3)/3*(j + 2). Solve -4*q + 13 = -t for q.
4
Let n(x) = 18*x**2 + 2*x + 1. Let t be n(-1). Let y = 22 - t. Solve y*h - 14 - 1 = 0 for h.
3
Let u = 0 + 5. Let t be (4 + -2)*(-14)/(-4). Suppose t*i = 3*i. Solve -5*r = -i*r + u for r.
-1
Suppose 3*w = -0*w + 2*v + 157, 0 = 2*w - 2*v - 102. Suppose 0 = -5*k - 0*k - 4*z + 28, -5*k = -5*z - w. Solve -2*x + 2 = -k for x.
5
Let j(v) = 4*v**2 + 10*v + 2. Let d(r) = r**2 + 3*r + 1. Let h(u) = -7*d(u) + 2*j(u). Let o be h(3). Solve -12 = -o*k - k for k.
3
Let x(h) = h**2 - 6*h + 5. Let l be 1/((-2)/(-4))*-1. Let q be (-6)/(-7)*(-14)/l. Let s be x(q). Solve -s*y + 4 = -y for y.
1
Let y = 29 - 26. Solve -1 = -o - y for o.
-2
Let c = 40 + -27. Solve -5*u + c = -2 for u.
3
Let v = -6 - -14. Let c be (-2)/7 + (-30)/(-7). Solve 4*p = -v + c for p.
-1
Suppose -z + 2*z = 3. Suppose -5*b = -3*b - 16. Suppose -b = -z*j + j. Solve -j*l = l - 15 for l.
3
Let g = 0 + -3. Let v be 3/(1 + 0) + -2. Let a be g/(-2) - v/(-2). Solve a*o - 3*o = 3 for o.
-3
Let q(h) = -h + 2. Let m be q(-9). Let v = -9 + 11. Solve -v*o + m = 1 for o.
5
Suppose -22*j = -21*j - 4. Solve 2*r - r = j for r.
4
Let n(b) be the first derivative of b**4/4 - 5*b**3/3 + 3*b**2/2 + 4*b + 2. Let a be n(4). Suppose -w + a = -1. Solve -4 = -5*r + w for r.
1
Let t(g) = g**2 - 7*g + 6. Let n be t(6). Let d be (-4)/10 + (-24)/(-10). Suppose d*s = 2 + 4. Solve n = -s*w - w + 4 for w.
1
Let v(w) = -w**3 + w + 2. Let o be v(0). Solve -o*m + 0 = -4 for m.
2
Let i be 0*((-6)/4 + 2). Let k be (-2 - -3) + -1 + 2. Suppose 5*w - 5*h = 40, 2*w - 14 = -0*w + 3*h. Solve k*s - w + i = 0 for s.
5
Let w = 877 - 436. Let h = w - 93. Let d be 4/22 + h/22. Solve 3*p = 1 - d for p.
-5
Let j(u) = u**2 - u**2 + u**2 - 3 + 2*u. Let z be j(-3). Solve z = b + 3*b - 4 for b.
1
Let f = -7 + 11. Let b(x) = x**2 + 2*x - 5. Let z be b(f). Suppose 5 = 4*c - z. Solve 10 = t - c*t for t.
-2
Let h = -68 + 84. Let g(i) = -i - 2. Let t be g(-5). Solve -t*w = w + h for w.
-4
Let y = 27 - 24. Solve -y*i = -i - 6 for i.
3
Let k = 43 - 25. Let i be ((-8)/6)/((-12)/k). Solve 0 = 5*r - i*r - 6 for r.
2
Suppose 3*f = -5*f + 16. Solve -f*w = 2*w + 4 for w.
-1
Let z(k) = -k**2 + 3*k + 5. Let s be z(4). Suppose 4 = q, -3*w = -q - 0 + 1. Let h = 1 + w. Solve s = h*u - 9 for u.
5
Let s(y) = -y**3 - 2*y**2 - y. Suppose 0*r - 4*r = 0. Let d = -2 - r. Let w be s(d). Solve w*u = -2*u for u.
0
Suppose -v = 5*w - 13, -8 = -4*w - 3*v - 2. Suppose 8*s = 7*s + w. Solve -s*r - 10 = -5*r for r.
5
Suppose -w = 0, 2*r = -w - 2*w + 6. Solve -4 = n - r for n.
-1
Let z = 12 + -9. Suppose -21 = -2*r + 5*j, -4*r + 0 = 5*j + z. Solve -2*o + 4 = -r*o for o.
-4
Suppose 12*u = 10*u + 10. Suppose 0 = -5*j + 5. Let w be j/1*(-1 + 5). Solve u*n - w*n = 1 for n.
1
Suppose 9 = 5*h - 2*a, h - 12 = -0*h - 3*a. Solve -h*o = o for o.
0
Let q be (-31)/(-2) - (-2)/4. Suppose -7*r = -2*r - 20. Suppose -5*p - 6*h + 33 = -3*h, 2*p - q = -r*h. Solve -f = -p*f for f.
0
Let h be (-58)/(-6) + (-2)/3. Let w(z) = -z**3 + 6*z**2 + z. Let f be w(6). Suppose -f*y + 9*y = 15. Solve -h = -y*d + 6 for d.
3
Let t = 9 + -8. Solve g - t = -0*g for g.
1
Suppose f = -1 + 3. Let u(v) = v**2 - 6*v + 1. Let c be u(6). Solve s = -c - f for s.
-3
Let w be (-3 - (3 + -7))*2. Solve -w*a - 10 = -0*a for a.
-5
Suppose 4*p - 29 = 51. Suppose -4*t = -p, t - 75 = -5*c + 3*t. Let f be (-4)/6 + c/3. Solve -5*a + f = -0 for a.
1
Suppose -6 + 14 = 4*a. Suppose -a*q + 4*t = -4, -2*q - q - 3*t = -6. Solve 0 = 3*n + q*n - 10 for n.
2
Let a(l) = l**2 - 3*l - 5. Let g be a(4). Let s(n) = 20*n**2 - 3*n - 2. Let h be s(g). Solve 6 - h = 3*f for f.
-5
Suppose 0 = -3*v, 4 + 11 = 5*k - 5*v. Solve 0 = -2*c + c - k for c.
-3
Let h(t) = t**2 - 9*t + 5. Let g be h(9). Suppose 0 = 2*s - 5 - g. Suppose 0 = 2*i - 4*m + 20, 2*i - s*i + 5*m - 25 = 0. Solve -10 = 2*o - i*o for o.
-5
Suppose 2*a = 7*a + 10. Let w be (-14)/(-3) - a/(-3). Solve 0 = m - w*m - 15 for m.
-5
Let a = 1 + 4. Solve 0 = -y + a*y + 12 for y.
-3
Let u = 9 - -3. Solve 4*b + u = b for b.
-4
Let j(m) = -8*m - 1. Let x be j(-2). Let i(z) = -z**3 + 15*z**2 + 3. Let t be i(x). Solve t*n - 9 = -0*n for n.
3
Let f = 5 - 2. Let t(x) = x**2 - 3*x + 2. Let i be t(f). Solve 8 - i = 3*c for c.
2
Suppose 0*g = -5*g. Suppose -y = 3*p + 2, -y - 1 = 2*p - g*p. Suppose -y = c - 3. Solve 0 = 2*m + c*m for m.
0
Let t = 12 + -7. Let k = -5 + t. Solve k = -3*l + 12 - 0 for l.
4
Let f(s) = -s**2 + 6*s - 6. Let o be f(4). Suppose -r - 3*a = -17, -2*r - 2*a = -10 - 4. Suppose o*z = -6, -3*m + 0*m = r*z. Solve 2 + 6 = m*p for p.
4
Suppose 0 = -3*q - 2*v - 2, 2*q = v - 5*v - 4. Solve -2*d + 3 + 5 = q for d.
4
Let t(i) = -41*i - 5. Let b be t(-4). Let j be 2/12 + b/18. Suppose -2*g = -4*n - 2, 4*n - n - 3*g = -j. Solve 3 = 5*l - n for l.
1
Let j(v) = -v**3 - 8*v**2 + 9*v - 1. Let y be j(-9). Suppose 0 = -2*n + 3*t + 12, -2*t - t = 6. Let f be (-3)/(-9) + y/n. Solve f = u + 3 + 2 for u.
-5
Suppose 4*b + 2 - 10 = 0. Let u be ((-3 + 3)/b)/(-2). Solve 2*v + 2 = -u for v.
-1
Let h(k) = -k**2 - 11*k - 18. Let z be h(-9). Solve -f - f = z for f.
0
Suppose -4*y + 8 = -0*y. Suppose -y = -0*j - j. Solve -q - j*q + 6 = 0 for q.
2
Let n = 12 + -24. Let p be 25*1*n/(-30). Solve p = -0*s - 2*s for s.
-5
Let a be 2 + -1 - 2/(-2). Let o be -3 + (-4)/(16/(-4)). Let z = o + a. Solve z = -2*v + 4*v for v.
0
Suppose -4*c = -0*c + l, -5*c - 3*l = 0. Solve 3 = -c*f + f for f.
3
Let k = 48 + -44. Solve h - k = -h for h.
2
Let c(f) be the second derivative of -f**3/6 + 2*f**2 + 4*f. Let i be c(4). Solve -r = -2 - i for r.
2
Let i be 0/(14 - 5) + (4 - 1). Solve 9*g = i*g - 18 for g.
-3
Suppose 2*p + 3 - 7 = 0. Suppose z = -4*n - 0*n - 6, -p*n - 2 = z. Let j be ((-1)/n)/((-4)/(-24)). Solve 2 = j*r - 2*r for r.
2
Let r(j) = j**2 - 2 + j**3 + j + 0 - 7*j**2. Let d = -14 - -20. Let u be r(d). Solve u = v + 3*v for v.
1
Let i(u) = -u**3 - 2*u**2 + u - 3. Let c be i(-3). Suppose 0 = -2*z + c*d - 9 - 4, 6 = -4*z + 2*d. Solve z = t - 1 for t.
2
Let c be -12 + 0/(-3 + 0). Let b be -2*1 - (c - -2). Let r = b + -2. Solve d + 4 = r for d.
2
Suppose 4*a = 6 + 10. Solve -6*t + a*t = -2 for t.
1
Let j = 2 + 4. Suppose f + k - 5 = j*k, -5*f = 3*k + 3. Solve f = -4*i + 2*i + 10 for i.
5
Suppose -95 = k - 99. Let s be 4 + -1*(-1 + 0). Solve -k*f = -3*f + s for f.
-5
Suppose 2*w + 0*o = o + 26, 0 = -4*w - o + 46. Solve -5*p = -w + 37 for p.
-5
Let t(k) = 3*k**3 - 3*k**2 + 9*k - 3. Let z(i) = -2*i**3 + 3*i**2 - 8*i + 2. Let w(y) = 3*t(y) + 4*z(y). Let s be w(-4). Solve -s*o + 12 = -0 for o.
4
Let j(u) = -u**3 + 3*u**2 + 5*u + 1. Let z be j(4). Solve -2*n = -z*n - 6 for n.
-2
Suppose 2*m - 8 = -2*m. Solve -3*q = m*q for q.
0
Let k = 63 + -58. Solve 2*x - 15 = k*x for x.
-5
Let a(u) = u - 6. Let g be a(9). Suppose -1 = -g*z + 2. Suppose -3*m = -2*m - z. Solve s - 3 = -m for s.
2
Let s = 2 + -2. Let y be s + -2 + 4 + 3. Solve 0 = n - 0*n + y for n.
-5
Let p(k) = -3*k - 9. Let d be p(-3). Solve d = -3*h + 5*h + 6 for h.
-3
Let k(f) = -f**2 + 8*f + 11. Let d be k(9). Let t be 6 - (-3)/(-3)*d. Suppose 4*q - 4 = -t*y, 3*y - 13 = -0*q - 5*q. Solve 0 = 4*u - 1 + q for u.
-1
Let t(w) = -w**2 + 9*w - 4. Let o be t(8). Let j = -11 + 14. Suppose -3*p = 5*q + 19, j*p - o*q + 3*q = 11. Solve 3 = p*n + n for n.
1
Suppose 5*j + 3 + 7 = 0. Let i = 3 - j. Let t = 14 - 6. Solve -i*u + u - t = 0 for u.
-2
Suppose -10*v = -2*v. Solve -2*k + 0 + 4 = v for k.
2
Let l be (-7)/(-2) + 3/6. Solve m = l*m for m.
0
Let q = 23 - 22. Let z = 7 - 2. Solve -q = -z*h + 4 for h.
1
Let i(a) = a**3 - 8*a**2 + 7*a. Let l be (42/12)/((-2)/(-4)). Let f be i(l). Solve 3*x + x = f for x.
0
Let w = 19 + -27. Let t