Solve -h*b + 2*b + v = 0 for b.
3
Let a be 1 + -1*(6 - 3). Let g = 1 - a. Solve 2*j + 5 = -g*j for j.
-1
Let a = -3 - -6. Solve -a*g = 2*g + 10 for g.
-2
Suppose -5*o + o + 16 = 0. Solve -l + o*l = -12 for l.
-4
Let v be (-2 - -6)*3/(-6). Let f be v + 0 + 26 + 1. Suppose 3*x + 2*x = f. Solve -5 = -x*h + 4*h for h.
5
Suppose -6 = -0*b - 2*b. Solve -2*o = -1 - b for o.
2
Let r(g) = -g - 3. Let p be r(-5). Solve 3*q + p*q + 20 = 0 for q.
-4
Suppose 0 = a - 1 - 1. Let n be (2 + 1/(-2))*a. Solve n = u + 4 for u.
-1
Let n = 18 - 13. Suppose n*p + 0*t - 11 = t, -5*p - 4*t + 31 = 0. Solve 9 = 4*i - p for i.
3
Suppose 5*r - 18 - 7 = 0. Solve -r*k + 8 = -7 for k.
3
Let h be 7/((-7)/(-6)) + -2. Let f be h/(-12) + 1/3. Solve y + 2 = -f*y for y.
-2
Suppose -x = -q - 5*x - 3, -5*q = -3*x - 31. Solve -c + 2 = q for c.
-3
Suppose -z = 4*o - 7, z = o - 2*o + 1. Let p(q) = q**2 - 9*q. Let i be p(9). Suppose o = m - i. Solve -m = -4*f + 2 for f.
1
Suppose 19 + 1 = y + 5*x, -5*x = -15. Suppose y*v = 5*r + 10, -r + 53 - 13 = 5*v. Solve v = -3*q - 8 for q.
-5
Let t = 102 - 97. Solve -t = 10*s - 11*s for s.
5
Let w(i) = 2*i**2 - 3*i - 7. Let o be w(4). Solve -2*m + o = 5 for m.
4
Let m = -51 - -53. Solve -m*v + 4*v = 4 for v.
2
Suppose 8*n - 62 = -22. Solve 0 = v - n*v + 4 for v.
1
Let f(k) = 13*k**3 - k**2 - 7*k - 7. Let s(d) = 12*d**3 - d**2 - 6*d - 6. Let l(c) = -6*f(c) + 7*s(c). Let h be l(1). Solve 5*x + 0 - h = 0 for x.
1
Suppose -5*l + 2*l = -9. Solve -4*w - 7 = -l for w.
-1
Suppose 0 = -x - 3*n - 10, -x - 5*n - 6 = 12. Solve -4*b + x = -2 for b.
1
Let c = -9 - -23. Let d be (c/6 - 2)*0. Solve -2*n - n = d for n.
0
Let o be 6/1 - (-7 - 27/(-3)). Solve o*h = -17 + 9 for h.
-2
Let d be 0 - ((-20)/(-5))/(-2*1). Solve -d + 0 = a for a.
-2
Let u be (-1 - -1)/(-1 - -2). Let s be 14/21*(u + 12). Suppose 5*g - 30 - 55 = 0. Solve 5*n + g = -s for n.
-5
Let v(j) = -2*j**3 + j**2 + j - 3. Let z be v(0). Let p be 0/((-4 - -1)/z). Solve p*y = -4*y + 4 for y.
1
Let q = 36 - 30. Solve -q*o + 2*o - 20 = 0 for o.
-5
Let g = 6 - 4. Suppose g*w + z - 114 = 0, w - 4*z + 3*z - 51 = 0. Suppose -4*h = -w + 7. Solve 0 = -p + 5*p - h for p.
3
Let c(w) = -1 + 0 + 2*w - 3*w. Let j be c(-5). Solve -2*y + j*y = -2 for y.
-1
Let d be 7 + 0 + -2 + -3. Solve 12 - d = 2*r for r.
5
Let f(x) = -3*x - 36. Let o be f(-12). Solve o*b + 3*b = -15 for b.
-5
Let t = -17 - -20. Solve -t*y - 25 = 2*y for y.
-5
Let i be ((3 - 0) + -2)*3. Suppose -a - 5*c = -3 + 4, a + c - i = 0. Suppose -a*l - 4*q = 4, 2*l = l - 5*q - 13. Solve 0 = -l*w - 0*w + 10 for w.
5
Let g be (-5)/(10/4) + -2. Let r be g/(1/((-1)/2)). Let u be 2/(-1) - (-14)/r. Solve 0 = -u*m + 8 - 3 for m.
1
Suppose 0*x = -2*x + 12. Let b = x - 4. Solve 12 = p + b*p for p.
4
Suppose 2*f = -3*f + 60. Suppose f = -g + 4*g. Solve r = 3*r + g for r.
-2
Suppose 3*q - 5 - 31 = 0. Solve 0 = -4*n - 0*n + q for n.
3
Let s(r) = -r**2 + 25*r - 19. Let g be s(24). Solve o - g*o = 16 for o.
-4
Let a(d) = d**3 - 7*d**2 + 9*d - 1. Let o be a(6). Suppose 0 = -u + 2 + 3. Let n(i) = i - 3. Let x be n(5). Solve -u*k = x - o for k.
3
Suppose -3*q - 3*o = -27, 0 = -q - 3*o + 4*o + 19. Suppose -5*y - 2*i = -q - 12, -3*y = -5*i - 28. Suppose -18 = -f - y. Solve 4*v - f = v for v.
4
Let q(s) = -s - 3. Let c be q(-3). Solve c = g + g for g.
0
Let c be (16/12)/((-3)/(-27)). Solve -3*h = h + c for h.
-3
Let r = 11 + -9. Suppose -13 = -r*j - 3. Solve 2*l - 9 = j*l for l.
-3
Suppose 0 = -3*p - 2*p + 15. Solve p*i + 0*i + 15 = 0 for i.
-5
Suppose -5*q + 37 = 12. Suppose -3*j + 29 = i, j = 2*i + 4*j - 52. Suppose 0 = -w + 2 + 1. Solve -w = -q*p - i for p.
-4
Let n be 2 + 0 - 2/(-2). Let s(x) = x**2 - 5*x + 1. Let i be s(6). Suppose -h + g + i = 0, g + 0 = -5. Solve 0 = -n*k + h*k + 4 for k.
4
Let x be (-12)/10*50/(-15). Suppose -w - x*w - 5*s = -20, 3*w - 4 = 5*s. Solve -4*o + w*o = -5 for o.
5
Suppose 18 = 5*g - 4*c, 3*g - 3*c - 2 = -5*c. Suppose 0*q = -g*q - 5*d - 21, -d - 7 = -q. Solve q*w - 2 = -4 for w.
-1
Suppose -2*z = 4*k + 52, -k = 4*z - 0*k + 83. Let r be (-45)/z + (-1)/4. Suppose 4*g + r*a = 70, 5*a - 75 = -4*g - g. Solve 6*b - b = g for b.
4
Let k(j) = j**2 - 6*j + 4. Let m be k(6). Suppose 5*x - 10 = -3*z, 4*x + 0*x + 3*z = 8. Suppose 3*n = -x*n + 2*g + 43, 3*g + 6 = n. Solve -m*l + n = -7 for l.
4
Let c(x) = -x + 9. Let a be 26/4 - 4/8. Let o be c(a). Solve 8 = -o*s + 23 for s.
5
Suppose 0 = -2*p - 2*a + 4, -p - 1 = 3*a + 3. Solve 4*r - 4 = p*r for r.
-4
Let v be 2 + ((-8)/1)/1. Let c be 34/8 - v/(-24). Solve j = -j - c for j.
-2
Let f be 82/7 - 18/(-63). Suppose 5*l - 4*g = f + 23, -22 = l + 5*g. Let r be (-5 + l)*-1*1. Solve r*b + 3 = -5 for b.
-4
Let v(q) be the third derivative of q**5/60 - 7*q**4/24 + 7*q**3/6 - 4*q**2. Let l be v(6). Solve -l + 3 = -2*p for p.
-1
Let p be -1*1*(4 - 4). Let r = 4 - p. Solve r*a = -a for a.
0
Let t = 10 - 21. Let w = t - -15. Suppose f - w = -f. Solve f*p = -2*p + 8 for p.
2
Suppose 5 = 3*f - 10. Let y = f - 1. Suppose y*b + 0*h + 8 = -5*h, -5*b - 3*h + 3 = 0. Solve 3 = b*i - 12 for i.
5
Let r = 57 - 54. Solve -w - 8 = -r*w for w.
4
Let r(b) = -b + 2. Let j be r(7). Let h(k) = -1. Let n(c) = c + 5. Let y(x) = -h(x) - n(x). Let w be y(j). Solve w = -t - 1 for t.
-2
Let u = 24 - 20. Solve -19 = 5*j - u for j.
-3
Let i = 6 + -3. Suppose 0 = h - 2*h + 3. Suppose -h*g - t = 2, g - t = -0*t + 6. Solve g = -c - i for c.
-4
Let i = 41 + -23. Let m be (1/(-2))/(3/i). Let a be (0 + -1)/(m/6). Solve 0 = -l - 3 + a for l.
-1
Suppose 4*b - 3*l - 2*l + 5 = 0, 4*b = -4*l + 40. Suppose d = b*d - 24. Let x = d - 1. Solve -6*c = -x*c - 2 for c.
2
Let f = 18 - 13. Suppose -c - 4*u + 1 = 9, -f*c = u + 2. Solve 3*x - 9 = -c for x.
3
Let o(p) be the first derivative of -p**4/4 + 2*p**3 - 2*p**2 - p - 1. Let m be o(5). Solve 4*i - m + 0 = 0 for i.
1
Let f be (18/10)/((-3)/(-10)). Suppose -40 = k - f*k. Solve k*y = 3*y + 10 for y.
2
Let q(z) = -z + 2. Let j be q(-5). Suppose 5*v - 3 = j. Solve -v*r = -r + 4 for r.
-4
Suppose -2*h + 3*h = 3. Suppose -12 = -d - h*d. Solve -f = d*f + 4 for f.
-1
Suppose -5*s - 10 = 0, -5*t + 5*s - 114 = -24. Let l = t + 35. Solve 0 = -5*a + l + 10 for a.
5
Let s(n) = n**3 + 5*n**2 - 3*n - 4*n**2 + n**2. Let h be s(-3). Let q(b) = b. Let m be q(3). Solve 5*x - 18 + m = h for x.
3
Let w = 418 + -416. Let p be (-2)/(2/3*-1). Let h(i) = -i + 2. Let o be h(-2). Solve 0 = p*b - o - w for b.
2
Let d be (-2)/1 + 8 + 4. Solve d*y = 5*y - 25 for y.
-5
Let d(y) = -y**2 - 5*y - 5. Let s be d(-4). Let h be -1 - (s + (-3)/1). Solve -h*f + 8 + 4 = 0 for f.
4
Let u(h) = -h**3 - h**2 + h. Let o be u(0). Suppose 4*y - 3*y - 6 = o. Solve 0 = s + s + y for s.
-3
Suppose q - c = -0*q + 6, -8 = -3*q - 2*c. Let s(j) = -2 - 3 + q - 9*j. Let m be s(-1). Solve 5*y - m = 2 for y.
2
Let n = -46 - -66. Solve 6*r = r - n for r.
-4
Let u = -49 - -55. Solve u = 2*n + 2 for n.
2
Suppose 0 = -3*r + 2 + 7. Let l(q) = 3*q**2 + 1 + q**r + 8*q + 0*q**3 - 6*q. Let u be l(-1). Solve -4*p = -u + 5 for p.
-1
Suppose -4*b + 4*i + 4 = 0, -5*b - 3*i - 12 + 49 = 0. Solve -o - b + 2 = 0 for o.
-3
Suppose 0 = -5*s + s. Suppose s = -3*q - 0 + 6. Solve 0 = -3*j + q + 10 for j.
4
Suppose 500 = 3*h + 2*h. Suppose -6*f + f + h = 0. Solve -2*q = 2*q + f for q.
-5
Suppose r + 5*i = 27, 2*r + 6 = 2*i + 24. Solve -5*x + r = -13 for x.
5
Suppose 8*q - 25 = 3*q. Let y = q + -3. Suppose -29 = -4*u - 1. Solve -y*g + 3 = -u for g.
5
Suppose -13 = -3*k - q, -2*q = -k - 0*k + 2. Let s(l) = l**2 + l + 2. Let p be s(-2). Suppose -1 + 9 = p*d - 4*u, 3*u = 0. Solve 14 = d*m + k for m.
5
Let y be 14/28*(0 + 0). Solve y = -4*b - b - 25 for b.
-5
Suppose 0 = 4*u - 3*u - 2. Let z be (-1 + u)/(1/2). Suppose 0 = h - 0 - z. Solve 0*k + h = -2*k for k.
-1
Suppose 2*g + 3 = 5*w + 18, -4*g = w + 3. Solve 3*u + g*u = 0 for u.
0
Suppose -6*i = -8*i. Solve i = 3*t + 1 + 8 for t.
-3
Suppose -2*h = -1 - 3. Suppose h*w - 28 - 4 = 0. Solve -6 = -5*v - w for v.
-2
Suppose 2*v + 3*s = 42, 0*v - 3*s = -2*v + 30. Let r be (v/3)/((-3)/(-2)). Suppose -g + 10 = r*g. Solve 3*q + 3 = g*q for q.
-3
Let h = -10 + -4. Let s be (-38)/(-14) - 4/h. Solve -2*n + s = n for n.
1
Let j(d) = -d**3 + 3*d**2 + d - 3. Suppose 4*s = f + 11, 2*s + 2*f - 2 = 6*f. Let y be j(s). Solve y*h = h for h.
0
Let n be 1*-2 + 5 + (