 2 = -2*b - h for b.
-2
Suppose 5*c + 90 = 2*x, 0 = 5*x - c + 2*c - 198. Suppose 0 = 5*d - x - 5. Solve 5*z = d + 1 for z.
2
Suppose -5*d + 8 = -3*d. Solve -12 = -d*j - 0 for j.
3
Let t = 1 + -1. Suppose 2*g - g = t. Solve -8*r + 3*r = g for r.
0
Let u(d) = -17*d - 2. Let s be u(-3). Let h = -33 + s. Solve -3*x + h - 1 = 0 for x.
5
Let v = -11 - -15. Let b be 6/v - 3/(-6). Solve b*f + 3*f = 20 for f.
4
Let x = -17 - -47. Suppose 0*m - m + 4 = 0. Suppose -m*k - x = -9*k. Solve -o + k - 2 = 0 for o.
4
Suppose -3*s + 0*s = 0. Solve 2*z - 8 = -s for z.
4
Suppose 5*a - 44 = a. Let o = a - 2. Solve o*m = 4*m for m.
0
Let q be 2 + -1 - 4/(20/(-15)). Solve -12 = -4*f + q for f.
4
Let v(t) = t**2 + 5*t - 4. Let h be v(-6). Let x be 4/6 + 3/9. Let r = h + x. Solve -4*i = -3*i + r for i.
-3
Suppose 13 = j - 5*q, -3*j - 2*q - 3*q = 1. Suppose 0 = d + j*m - 19, -4*m + 0*m + 32 = 2*d. Solve 0*t + 2*t - d = 0 for t.
5
Let o(a) = -a**2 - 11*a + 20. Let s be o(-12). Solve -h = -5*h + s for h.
2
Suppose 6 - 46 = 2*f. Let x = f + 20. Solve -2*s - 1 + 3 = x for s.
1
Suppose 3*k = -3*t - 27, 0*t + t - 6 = 2*k. Let h be (-1)/(-2)*0 - t. Solve w = h*w + 3 for w.
-1
Let v be 15/6 - 2/(-4). Solve -v + 7 = 4*t for t.
1
Suppose 4 = -4*o + 8. Suppose 0*l + 6 = 3*l. Let r be 1/1*(11 - 2). Solve -o = -l*q - r for q.
-4
Let n be (-8)/(-2) + 0/(-1). Let u be (n/(-8))/((-3)/36). Solve 0 = -b + u*b for b.
0
Suppose 3*g - 4 = -16. Let n be (g/7)/((-16)/56). Solve 0*p = -n*p for p.
0
Let j(q) = q**3 + 6*q**2 + q + 6. Let u be j(-6). Let x be (-24)/(-4) + (-3 - u). Solve x*b + 2 - 5 = 0 for b.
1
Suppose -2*w + 3*w - 21 = 0. Suppose 5*l - m = 2*l + w, l - 2 = 2*m. Solve 4*z - l - 8 = 0 for z.
4
Let p(y) = -y + 20. Let u be p(18). Solve 3*k - k - u = 0 for k.
1
Let f(j) = -2*j**2 + 6*j + 4. Let l be f(3). Solve -3*o = -l*o for o.
0
Suppose 3*m - 78 = -3*v, 0*m + 3*v + 90 = 3*m. Let k = m - 20. Let y be -2 - k*(-6)/4. Solve 3*p = -2 - y for p.
-4
Let c be ((-2)/(-6))/((-1)/(-3)). Let i be -2*1 - (-115)/23. Solve -i = -b - c for b.
2
Let z be (-3)/2 - -2 - 99/(-18). Solve 4*q = z + 2 for q.
2
Suppose 5*s = -0*r + 5*r - 10, r + 3*s = 14. Let c = -2 + r. Solve -c*u - 2 = -5 for u.
1
Let g = 29 - 27. Solve 6 = 5*i - g*i for i.
2
Suppose 4*g = 2*k + 6, 0 = 2*g - g - 2*k. Suppose -l - 2 = -g*l. Suppose -x - 6 = -n + 2*x, -2*n + l*x + 8 = 0. Solve -n*b = -4*b for b.
0
Let w(k) = k + 12. Let q be w(0). Solve j = -2*j + q for j.
4
Let w(u) = -u**2 - 8*u - 7. Let d be w(-7). Solve d = -5*g + g for g.
0
Let n = 99 + -93. Solve 6*r - 4*r = -n for r.
-3
Let u(g) = -g**2 + 9*g - 14. Let n be u(7). Let d be n + 6 + -6 + 3. Solve d*o + 4 = o for o.
-2
Suppose 0 = 3*v - 6 - 12. Solve -3*p - 9 = -v for p.
-1
Suppose 0*h + 4 = 2*h. Solve h*a - 3 = -11 for a.
-4
Suppose 3*v + h + 2*h = 12, -3*h + 26 = 5*v. Solve v*u + 25 = 2*u for u.
-5
Let c(d) = -5*d + 9. Let o(j) = 3*j - 4. Let v(q) = 4*c(q) + 7*o(q). Let m be v(-7). Solve -m = 3*h + 8 for h.
-3
Suppose -3*s - 9 = 0, 3*v + 2*s - 9 = -s. Solve 1 - v = -5*i for i.
1
Let b = -25 + 35. Suppose 2*h = 5*n, -5*h - 3*n + 0*n + 31 = 0. Solve 0*z - b = h*z for z.
-2
Let o(w) = -w**3 + w**2 + 4. Let p be o(0). Suppose -2 = -h + p. Suppose 0 = m - h. Solve -2*c = -5*c - m for c.
-2
Suppose 2*d + 0 - 4 = 0. Suppose 0 = -3*z + 2*j - 13, 4*z = -2*j + 5 + 1. Let m be (-1 + 1)/(z + -1). Solve m = d*q - q + 3 for q.
-3
Suppose -2*g = -g - 2. Suppose g*p + 7 = 17. Solve n + p = 2*n for n.
5
Let h = 80 + -32. Suppose h = -2*f + 5*f. Solve 0*d + 4*d = f for d.
4
Let d be 7*(-1 + 2 + 0). Suppose -9*n + 10 = -4*n. Solve w - n = -d for w.
-5
Let c(o) = o**2 + o. Let h be (-2)/(-4)*(0 - 0). Let r be c(h). Suppose r = 6*m - 2*m. Solve 4*j + j + 15 = m for j.
-3
Let y(n) = -n**3 + 5*n**2 - n - 5. Let w be y(3). Solve -3*x + w + 2 = 0 for x.
4
Let l = -6 - -7. Solve -2*k + 3 - l = 0 for k.
1
Suppose 8*y = -3*m + 3*y + 63, 0 = -5*m - 5*y + 105. Let q be 74/14 - 6/m. Suppose 0 = 2*l - f - 52, -34 = 4*l - 5*f - 144. Solve l = -0*h + q*h for h.
5
Let h = -16 + 26. Solve 4*r - 2 - h = 0 for r.
3
Let t(z) = 16*z + 3. Let r be t(-6). Let a = r + 144. Suppose -c - c - b = -a, -4*c + 105 = 5*b. Solve -8*j + 3*j = -c for j.
5
Let s be (-4)/12 + 8/6. Let l be s + 0 + (-1)/(-1). Solve t + t = -l for t.
-1
Let b be (-1)/(39/(-12) + 3). Let l be (0/(-2))/(4/b). Solve l = -0*f - f - 2 for f.
-2
Suppose 40 = -9*l + 11*l. Suppose 4*m - 20 = -f - 0*f, -5*m + 8 = -3*f. Solve f*v + v = l for v.
4
Let i(a) be the first derivative of a**3/3 - 7*a**2/2 - 8*a - 1. Let c be i(8). Let s = -13 - -29. Solve c = 3*m + s - 7 for m.
-3
Suppose -3*u + 9 = 3. Suppose -4*a = -3*z - 15, u*z + 14 = 3*a - 3*z. Solve -p = -2*p - a for p.
-3
Let s(p) = p**3 - 11*p**2 + p - 8. Let w be 44/10*5/2. Let h be s(w). Solve -h*v - v + 12 = 0 for v.
3
Let z(g) = -1 + g**2 + 6*g + 13 + g. Let j be z(-5). Solve 0 = -j*v - v for v.
0
Suppose -5*a = -4*r + 19, 2*r - 3*a = -2*r + 29. Solve -5*y + 1 = r for y.
-2
Suppose -u + 4 = -0. Suppose -c + u*c - 19 = -4*l, 0 = -2*l - c + 9. Suppose -l*z - 2 = -5*z. Solve -z*o = -o for o.
0
Let p be (6/(-10))/((-1)/5). Suppose -3*z = 2*z + 40. Let c = 16 + z. Solve p = a + c for a.
-5
Suppose -12 = 2*o + 2. Let y be o/((-21)/2)*24. Suppose 4*b - y = -0*b. Solve c - 9 = b*c for c.
-3
Let h(o) = o**2 + 3. Let d be h(3). Let f(i) = i - 6. Let p be f(d). Solve 2*z + 4 = p*z for z.
1
Let p be (-1)/5 - -6*21/30. Solve -3*u + p*u - 5 = 0 for u.
5
Let r(i) = i - 4. Suppose 5*d - 8 = 3*d. Let f be r(d). Solve 2 = c - f for c.
2
Let x(l) = l**3 + 8*l**2 + 5*l - 10. Let m be x(-7). Solve -20 = -m*y + 9*y for y.
-4
Let u be 2 + 0/(1 - 5). Let c be 18/4 - 1/u. Solve c*y + 3 = y for y.
-1
Let d be 2/(-2 + 0 + -4)*0. Solve 2*l - 7 + 3 = d for l.
2
Suppose -b + 6*b = i + 15, 5*b + 3*i = -5. Solve 0*f + b = -f for f.
-2
Let s(y) be the second derivative of y**4/6 - 5*y. Let l be s(-1). Solve -l = -b - 1 for b.
1
Let w(c) be the third derivative of 0 - 2/3*c**3 + 0*c - 3*c**2 - 1/60*c**5 - 1/3*c**4. Let r be w(-7). Solve 0 = 4*t + 1 + r for t.
-1
Let o be ((-5)/(-4) + -2)*-12. Let k = o - -4. Solve 7 = 4*y - k for y.
5
Let v = 18 - 15. Let g be 30/20*2/v. Solve g = -u - 3 for u.
-4
Let d(z) = -z - 4. Let s(a) = -8*a**2 + a. Let t be s(1). Let i be d(t). Let g = i - 0. Solve g*h - 15 = -2*h for h.
3
Let q(p) = p**3 - p**2 - 2*p. Let m be q(2). Suppose m*a = 5*a. Suppose u + u - 14 = a. Solve u*t = 3*t + 8 for t.
2
Let b = -41 + 43. Solve 6*s - 8*s - b = 0 for s.
-1
Let c = -28 + 37. Solve 16 = 5*o - c for o.
5
Let i be (-8)/(-5) + (-2)/(-5). Let b = 1 + -1. Suppose v - 15 = c + 2*c, -2*v - 4*c = b. Solve 0 = v*r - i*r for r.
0
Let n(a) = a**3 - 7*a**2 - 10*a + 19. Let s be n(8). Solve -12 = -s*f - f for f.
3
Suppose -y - 2*h - 46 = -4*y, 2*y - 5*h = 49. Let f = y + -11. Let b be -1 - (0 - 2) - 1. Solve 0 = -b*v + v + f for v.
-1
Suppose 3*l - 2 - 10 = 0. Suppose -l = 4*x - 16. Solve -x = -i - 0 for i.
3
Suppose -5*l - 23 - 1 = -3*d, -l - 18 = -5*d. Suppose 7*w = d*w. Solve -4*y - 8 = -w*y for y.
-2
Let s(t) = -t**2 + 3. Let o be s(3). Let x be (8/o)/(4/(-6)). Suppose -3*c - 19 = -5*r, -3*r + 12 = -0*c - 2*c. Solve r + 0 = -x*p for p.
-1
Let i(n) = n**2 - 2*n + 2. Let v be i(2). Let w be 33*2/3 - v. Suppose y = -5*c - w, 0*y = y - 2*c - 8. Solve 2*d = -y*d - 4 for d.
-2
Let b(r) = -3*r - 26. Let m be b(-10). Suppose 5*c + 19 = 6*c. Suppose 4*v - 1 = c. Solve -v*n = -n - m for n.
1
Let l(f) = -10*f. Suppose 4*y - 12 = -4*h, 2*h + 21 = 2*y + 7*h. Let z be l(y). Suppose -2*m + 12 = -z. Solve -6 = -5*t - m for t.
-2
Let p = -6 + 0. Let k(q) = q**3 + 5*q**2 - 7*q - 8. Let n be k(p). Let f be n/5 - 48/(-20). Solve 0 = f*o + 3*o for o.
0
Let y(v) = -v**3 + 7*v**2 + 2. Let x be y(7). Suppose 2*g - 5*k = 9, 0*k - 6 = x*k. Let j be ((-26)/6 - 1)*g. Solve 2*w = -2*w + j for w.
4
Let h = 56 - 41. Solve 0 = 3*j - 0*j - h for j.
5
Suppose 0 = -4*r + 11 + 1. Suppose 5*a + 6 = 4*x, 5*a - x = 9 - r. Solve 0 = -4*h + 14 - a for h.
3
Suppose -n + 10 = -r + 6*r, -5*n - 25 = 0. Let d(i) = 2*i**2 - i - 1. Let f be d(-1). Suppose -f*m + r = -3*q, 6*q = m + 3*q. Solve 2*a - a = m for a.
3
Suppose 5*f - 8*f + 9 = 0. Suppose 0*c - 12 = -3*c - 2*d, 5 = c + d. Solve 0 = -z - f + c for z.
-1
Suppose -4*l = -l. Let u(i) be the first d