b for b.
0
Let f(n) = 2*n**2 + 11*n + 4. Let m be f(-7). Suppose 5*a - 2 - 17 = 2*i, m = 5*i + 2*a. Let s be (3 - i)/((-6)/3). Solve s = h + 2 + 2 for h.
-4
Let n(c) = c**2 + 4*c - 9. Let x be n(-6). Solve -x = -4*q + 3*q for q.
3
Suppose -2*l + 5*l = 0. Let b be 39/6 + (-1)/(-2). Suppose -b*z = -2*z. Solve z = 3*o - l*o for o.
0
Let x(u) = -u + 7. Let m be x(3). Solve 0*o - m = -2*o for o.
2
Let j be (-6)/27 - 101/(-9). Solve -5*u - 1 = -j for u.
2
Let n(v) be the first derivative of -v**4/4 + 10*v**3/3 - 5*v**2 + 10*v + 2. Let p be n(9). Solve -2*o + p + 1 = 0 for o.
1
Let j be (-3)/15 + 176/5. Suppose -g + j = 4*g. Solve g = 2*p - 1 for p.
4
Let l(s) = -2*s**3 - 2*s**2 + 2*s + 1. Let u(i) = -i**3 + 5*i**2 - i + 3. Suppose r - 5*r + 20 = 0. Let b be u(r). Let y be l(b). Solve -y*m + 9 = -11 for m.
4
Suppose 0 = -k + 5*u + 9, 4*k + u - 7 = 2*k. Solve -k*s = 13 + 7 for s.
-5
Suppose 0 = -2*c, 26 = 3*a - 4*c - 4. Solve 2*q + a = -0*q for q.
-5
Let a = -6 - -11. Solve a*g + 21 = -4 for g.
-5
Let p(o) = 3*o - 9. Let t(x) = -x**3 - 3*x**2 + 4. Let f be t(-3). Let z be p(f). Solve -8 = -l + z*l for l.
-4
Let o = 164 - 141. Solve -5*z = -o - 2 for z.
5
Suppose 2*h - 5*i = -0*h + 20, -3*i = -4*h + 54. Suppose -2*m - 4*l - 12 = 0, 7*l = 2*l - h. Solve 0 = -m*d + 2*d + 6 for d.
-3
Suppose -9 = 5*d + 16, 0 = 2*l - 2*d - 20. Solve l = -y + 2 for y.
-3
Let g(p) = -p - 1. Let q be g(-5). Suppose -w + 18 + 80 = 0. Suppose 3*i - 106 = -4*s, i + w = 3*s + s. Solve -f - s = q*f for f.
-5
Suppose 5*n + y = -1 - 2, 2*n = -4*y - 12. Solve 4 = -v - n for v.
-4
Let q = 15 - 12. Suppose 3*i - 15 = -5*n, 3*n = 2*n. Solve q*x - i = 4*x for x.
-5
Suppose -24 = -4*u + 4*p, -2*u + 4*u + p - 15 = 0. Let y(c) = -5*c - 5. Let a be y(-6). Solve -u*z - a = -2*z for z.
-5
Let b be 0 - (-3)/(6/4). Suppose 3*m = g + 4, 14*g - 12*g = m + 7. Solve f = -b*f + m for f.
1
Let g(b) = b + 2. Suppose -4*c + 3*i = -23, -c = 4*i + 1 + 17. Let s be g(c). Solve 0*v - s = -v for v.
4
Let w = 7 + -13. Let l be w/(-8) + (-33)/(-4). Let b = l + -4. Solve 5 + b = 5*y for y.
2
Let k(o) = o**3 - 2*o**2 - 2*o - 1. Let f be k(3). Suppose 0 = 4*b - 2 - f, -2*b = -5*i + 78. Suppose 2*l + 0*l = i. Solve n + l = -n for n.
-4
Let p be ((-4)/3)/(3/27). Let f be 16/p - (-48)/9. Solve f = -l + 1 for l.
-3
Suppose -b - 43 = -5*g, -2*g - 38 = -6*g + 2*b. Let k be (g/(-6))/((-8)/12). Suppose -k*p = -p. Solve p = 4*n + 9 + 7 for n.
-4
Let x = 28 + -25. Solve 0*m + x = -m for m.
-3
Suppose -3*r = -r + 3*l - 58, 0 = -l - 2. Let u = r + -27. Solve -4*q + 5 = -u*q for q.
-5
Let g = -14 + 16. Solve -2*x - g*x + 20 = 0 for x.
5
Suppose 0 = -4*x + 8, -5*x + 18 = 3*r + r. Solve r*p + 2 = -6 for p.
-4
Let x = -1 - -1. Let j(b) be the second derivative of b**5/20 - b**4/4 + 2*b**3/3 - b**2 - b. Let p be j(2). Solve a + x = -p for a.
-2
Suppose -3*t + q + 1 = 0, -t + 5*q + 5 + 0 = 0. Let j be t + 2 + (-4 - -4). Solve 2*l + 0 = j for l.
1
Suppose 1 = -3*w + 13. Solve -w*o - o = 25 for o.
-5
Suppose 5*x + 30 = 2*f - 7*f, -4*f = x + 18. Let r be 3*8/(-6) - f. Solve r = 5*b - 2 + 22 for b.
-4
Let d be -1 + (-3)/(6/(-4)). Solve -d + 7 = -2*q for q.
-3
Suppose g + g - 6 = 0. Solve b - 1 - g = 0 for b.
4
Let x(a) = -a + 3. Let j be x(3). Suppose j = -2*s - s + 6. Suppose -2*k = 4*y + 10 - 2, 4*k + s*y = 8. Solve -2*n = -k*n for n.
0
Let d be (1 + -1 - -6)/1. Suppose -k - b = k - d, -4*b = 4*k - 4. Suppose -o = -2*o + k. Solve 0*f - 10 = -o*f for f.
2
Let b be (2 + -3)/((-2)/4). Solve -2*c = -b - 0 for c.
1
Let i(x) = 17*x + 1. Let l(q) = 18*q + 1. Let s = -8 - -3. Let n(u) = s*l(u) + 6*i(u). Let r be n(2). Solve -3*f + 10 = r for f.
-5
Let v(i) = -i + 4. Let w be v(0). Let a be (w/2)/(0 - -1). Solve -4 = a*y + 2 for y.
-3
Let h = -15 - -27. Let n be (-30)/(-4)*(-16)/(-6). Let r be (-2)/10 + 44/n. Solve 6*b - r*b = h for b.
3
Let s be (9/(-36))/(1/(-12)). Solve 0*r = s*r - 9 for r.
3
Suppose -16 = -2*n - 18. Let t be (-2)/2 - (-1)/(-1). Let q be (n/t - 1)*-2. Solve 5*z + 4 = -q for z.
-1
Let i = 3 + -1. Suppose 3 - i = d. Solve 2*f - d - 5 = 0 for f.
3
Suppose 0 = -u - 2*u. Suppose 4*c - 40 = -2*q, u*c + 5*c + 2*q = 48. Let a = 10 - 10. Solve -3*p + c + 7 = a for p.
5
Suppose 5*a = 4*l + l, l - 5 = 0. Solve -15 = 2*k - a*k for k.
5
Let d(t) be the first derivative of -t**2/2 + 14*t + 1. Let f be d(10). Suppose -3*j = -4*j - 2, -4*h + 3*j = -10. Solve f = g - h for g.
5
Suppose 8*x - 9 = 5*x. Solve -x*d + 5 = -1 for d.
2
Suppose 0 = -o - s + 7, -2*s - 2*s = -2*o - 16. Solve -o*c - 3*c - 15 = 0 for c.
-3
Let v be (0 - 2) + 9 + 2. Let l = -117 + 119. Solve l*r + v = -r for r.
-3
Let b(f) = -f**3 - f**2 + f + 8. Let z be b(0). Solve z = 3*n + n for n.
2
Suppose 0*a - 2*a + 3*k + 10 = 0, a + 4*k + 6 = 0. Let b be ((-9)/a)/(21/(-56)). Solve -b = 3*n - 0 for n.
-4
Let d = 47 - 39. Let a(o) = -o + 2*o + 1 - 7. Let u be a(d). Solve u*z - 5 = 1 for z.
3
Suppose -8*b + 11 = -21. Let q(y) = -5*y**3 + y. Let p(d) = -d**3 - 6*d**2 + 7*d - 1. Let m be p(-7). Let x be q(m). Solve 4 + x = -b*g for g.
-2
Suppose 10 = -18*c + 10. Let g be 1*9*(-2 - -3). Solve -3*m + c = -g for m.
3
Suppose 2*g = -4 + 12. Solve g*y - 2 = 2*y for y.
1
Suppose -78 = -a - 5*a. Solve 5*n = 7 + a for n.
4
Suppose 4*l - 1 = 7. Suppose -99*a = -96*a. Solve l*v + v = a for v.
0
Let p be ((-4)/(-10))/((-5)/(-25)). Suppose 2*l = p*v + 6 + 6, 0 = 3*l + 2*v + 7. Solve 0 = s + 3 - l for s.
-2
Let a = -7 + 12. Solve -a*j + 10*j = 10 for j.
2
Let v be 19/8 + (-12)/32. Solve v*d = 5*d for d.
0
Suppose 23 = -4*j + 7. Let n(a) = -20*a - 19. Let p(s) = 13*s + 13. Let c(f) = 5*n(f) + 7*p(f). Let v be c(j). Solve 0 = 5*l + 7 - v for l.
5
Suppose -2*z = -z - 2. Suppose j = 2*c - 2, -z*c - c - 2*j = -10. Suppose 3 + 1 = c*m. Solve m*v - 6 + 0 = 0 for v.
3
Let o be 2 + -1 + (9 - 1). Solve -4*b - o = -b for b.
-3
Suppose 5 = 5*p - 2*q - q, 5*p + 3*q = -25. Let u be (1 - (p - 1)) + -1. Let f = 41 + -33. Solve -l - f = -u*l for l.
4
Suppose -2*w - 8 = -6*w. Suppose -x + 4 = -2*a, x = -0*x + 3*a + 5. Let f(g) = -g**2 + 7*g + 4. Let p be f(7). Solve -x*n = w - p for n.
1
Let r(u) = u + 23. Let p be r(0). Let q be (-23)/3 - (-1)/(-3). Let o = p + q. Solve -4*j + o = j for j.
3
Let l(k) = k**3 - 2*k**2 - 6*k + 2. Let h be l(4). Suppose 0 = -a - 6 + h. Solve 4*v = -0 - a for v.
-1
Suppose 0*u + 12 = 3*u. Let j(b) = -b**3 - 2. Let l be j(-2). Suppose l*h = h + 25. Solve 0 = p + h - u for p.
-1
Let h(c) = -9*c**3 - c**2. Let m(a) = -a**2 - 7*a - 1. Let g be m(-7). Let i be h(g). Let u(q) = -3*q + 1. Let t be u(-1). Solve i*o = t*o for o.
0
Let v = -90 - -100. Solve -v = 3*s - 5*s for s.
5
Let v be ((-2)/(-3))/((-2)/6). Let b be 8/3 - v/(-3). Suppose 0 = -g - c - 2, -g = -3*c + 2*c - b. Solve w + w + 8 = g for w.
-4
Let j be 10/8*(-20)/(-5). Let u = 7 - -1. Solve -j*t = -t + u for t.
-2
Let y(t) = t**3 - t**2 + t - 1. Let v(s) = -s + 1. Let w be v(0). Let h be y(w). Solve h = u + 8 - 3 for u.
-5
Let h = -46 + 48. Solve -2*z - h - 2 = 0 for z.
-2
Suppose -4*a + 27 = 5*u, 2*u = -0*a + 2*a. Suppose 0 = -u*l + l. Solve l*d = -3*d for d.
0
Suppose -4 = -5*z - 2*w, -4 = -z + w + 1. Suppose -26 = -3*c - 3*x - 5, -5*c = 4*x - 40. Let b = -12 + c. Solve b = z*u + u + 12 for u.
-4
Let j = -8 - -11. Suppose 0 = 5*i - j*f - 30, -4*i - 2 = f - 26. Solve i*z = z for z.
0
Let t(p) = -2*p - 4. Let s be t(-2). Solve -i + 0*i = s for i.
0
Let y be -2*(-3)/(-15)*5/(-2). Solve -5 = -4*z - y for z.
1
Suppose 5*c + 2*s = 19, 2*c + 2*s - 1 = -s. Solve y + c = 8 for y.
3
Let u(k) = -2*k - 2. Let q be u(-2). Suppose 0 = -4*a + v + q + 1, 4*a + 2*v - 18 = 0. Suppose 3*z + z = 12. Solve a*p = -z*p + 20 for p.
4
Let c be 6/4*((3 - -3) + -4). Solve -3*q + 0 = c for q.
-1
Suppose 0*b - b = b. Solve 3*h + h - 12 = b for h.
3
Let s(l) be the first derivative of -l**2/2 + 2. Let h(q) = q - 2. Let n be h(-3). Let d be s(n). Solve -2*j - 12 = -d*j for j.
4
Suppose 88 = 2*o + 2*m, 0 = 2*o - 4*m + 36 - 100. Suppose 0 = -6*y + 2*y - 5*w + o, -w + 14 = 2*y. Solve -k = -y*k + 8 for k.
2
Let h = 0 + 4. Suppose 5 = -5*n, -p = 5*n - 2 + h. Solve p*v = 4*v for v.
0
Let z = 2 + 0. Suppose -12 = -z*j + 6*j. Let q = 5 + j. Solve -12 = s + q*s for s.
-4
Let t(u) = u + 8. Let i(o) = 1. Let a(z) = 3*i(z) - t(z). Let b be a(-7). Solve b*x - 6 = 