b - g for b.
-4
Let r(x) = x**3 - 12*x**2 + 2*x - 21. Let b be r(12). Solve -b*f + 1 = -2*f for f.
1
Let d(a) = 17*a + 3. Let l be d(6). Solve l - 27 = 26*o for o.
3
Let b = 5 - 2. Let a be b + -1 - 57/(-1). Suppose -5*k - 19 = -a. Solve -k*d = -3*d for d.
0
Let w(x) = 10*x - 38. Let m be w(8). Suppose 46*v - 20 = m*v. Solve 0 = -v*g - 4 - 1 for g.
-1
Let y = 53 - 53. Solve y = -2*z - 4 - 0 for z.
-2
Let g be (-3)/((-1 - 0)*7/(-91)). Let d = -33 - g. Solve 0 = s + 3 - d for s.
3
Suppose -3*h - 6 = 0, c - 3*h = 2*h + 27. Suppose 5*b - 14 = -s + 5, -s = -4*b + c. Let y be (32/(-24))/(s/3). Solve 3*u = y*u - 2 for u.
2
Let r(h) = h**2 - 45*h + 303. Let z be r(37). Solve -5*q - z = 8 for q.
-3
Let p be -3 - (1 + -105 + -4). Let r be p/14 - 2/(-4). Solve -a + r = 3*a for a.
2
Suppose -27 = -3*s + 5*j, 4*j = -30*s + 26*s + 4. Solve 0 = s*d - 6*d for d.
0
Let m = 6 - -1. Let n be ((-8)/m)/(8/(-28)). Suppose b - 1 - 4 = k, -n*k = 12. Solve 2*l = -0*l + b for l.
1
Let f = 3 - -1. Let u be 28*1*4/(-4). Let h be 21/f - (-7)/u. Solve -4*v + 3 = -h*v for v.
-3
Let n be (51/9)/(21/1134). Solve -4*y - n = -294 for y.
-3
Suppose 0 = -3*m - 40 - 35. Let h be (0/m)/(2/2). Solve h = n - 2*n + 2 for n.
2
Let u be (0 + 12/(-18))*(6 + -18). Solve -u*c + 7 = -9 for c.
2
Let p(w) be the first derivative of w**4/4 + 8*w**3/3 + 7*w**2/2 + 2*w + 8. Let q be p(-7). Solve -6 = q*o - 5*o for o.
2
Let l be -1 + 0 + (-2)/(-1). Let k be ((-7)/(28/12))/(-1). Suppose j = -2*v - k, 0*j - j + 3*v + 12 = 0. Solve -w = l + j for w.
-4
Let i be (-2)/((-8)/2)*-26. Let w = i + 16. Solve 2*h = -w*h + 15 for h.
3
Let o(q) = q**3 + 2*q**2 - 3*q + 10. Let a(y) = y**2 - 12*y - 13. Let t be a(13). Let r be o(t). Solve 2*d - 7*d = -r for d.
2
Suppose 7*a - 4*a = 0. Let m be (4/16 - a)*4. Solve 4 + m = -5*z for z.
-1
Let i(b) = 8*b - 1. Let z be i(2). Suppose -3*c + z = 6. Suppose 5*q = -2*v, 5*q = 2*v + 10 + 10. Solve -q*f = -c*f for f.
0
Let r be ((-10)/2)/((-6)/12). Let n be (r/(-4))/(-5)*30. Solve -5*y + 2*y = -n for y.
5
Suppose 82 - 148 = -22*i. Solve 7*g = i*g + 20 for g.
5
Suppose -2*a = -10 + 4. Suppose a*q - 12 = -0. Suppose q*g + g = 0. Solve g*p - 5 = p for p.
-5
Let o be (-2)/(3 + 5 + -7). Let b be 8/(-8) + (-18)/(0 + o). Solve n + b = -n for n.
-4
Suppose -375 = -78*g + 3*g. Solve -2*c = -g - 3 for c.
4
Let g be (-2478)/(-236) - (-3)/(-2). Solve -2*z = z - g for z.
3
Let g be (-8)/(-14)*42/4. Solve 0 = -0*i - 3*i - g for i.
-2
Suppose -2*m + 6*m - 104 = 0. Suppose -c = p + 6, -4*p - m = -c + 6*c. Let y = 2 - c. Solve b + y = -b for b.
-2
Suppose -2*s + 38 = 30. Solve -w = -5*w + s for w.
1
Let y(o) = 3*o**2 - 5*o + 2. Let i be y(3). Let t be (-6)/i + 170/70. Solve -t*v = 2*v - 16 for v.
4
Suppose -2*b - 20 = -5*s + 2*b, 25 = 4*s - 5*b. Suppose w = -s*w. Suppose 5*u + 4*v = -1, u - 7 = 4*u + 4*v. Solve -u*q - q - 16 = w for q.
-4
Suppose -4*p - f = -41, 3*p = 8*p + 4*f - 54. Suppose -3*n - p = -k + n, -5*n - 2 = 4*k. Suppose 4 = 5*a + x + 2, -3*a = x - k. Solve -7*d + 2*d + 15 = a for d.
3
Suppose 2*p - t - 6 = 0, -5*p = 3*t + 11 - 48. Let s be 0 - -8 - (p - (-3 + 7)). Solve j - s = -4 for j.
3
Let n(g) = -g**2 + 8*g - 12. Let x be n(6). Suppose x = -4*u - 6 + 18. Solve -u*f = 11 + 1 for f.
-4
Let r = -17 + 21. Suppose t = 5*x + 4 - 18, t + 11 = r*x. Let s = x - -1. Solve -s*l + 16 = -4 for l.
5
Suppose 2*x - 2*z + 0*z - 60 = 0, 3*z - 70 = -2*x. Suppose 4*n = 2*n + 2*l + x, 4 = -l. Let f = -12 + n. Solve f*a + 9 = 3*a for a.
3
Suppose -5*b + h + 14 = 0, 9 = 4*b - 3*h - 11. Solve -34 = -b*f - 32 for f.
1
Suppose 2*n = -3*n + 20. Suppose n*f - 141 = -17. Suppose 0 = -2*g + 5*m + f, -5*g - 3*m + 60 = 2*m. Solve 3*c + 1 = g for c.
4
Let m be 25 + (1 + -1 - (-13 + 11)). Let s = m - 16. Solve 0 = -4*y + 1 + s for y.
3
Let g be (-34)/(-9) - (-2)/9. Suppose 4*i - 105 = 55. Suppose 0 = 3*d - 12, g*c = -0*d - 2*d + i. Solve 4 = -c*j + 4*j for j.
-1
Suppose 3*q - 3*f = 3, 0 = -0*f - f - 1. Suppose q = -4*x + 11 + 37. Solve -3*d + 0*d - x = 0 for d.
-4
Let o be 232/12*9/(-6). Let s = o - -33. Suppose -s*h + 20 = h. Solve -h*i + 2*i = 2 for i.
-1
Let i(c) be the first derivative of -c**3/3 + 5*c**2/2 - c + 1. Let h be (-2 - 1)*(84/9)/(-7). Let o be i(h). Solve -o*y = 2*y for y.
0
Let m(x) = -x**3 - 3*x**2 - 6*x - 5. Let r be m(-3). Solve 3*f + 4 = r for f.
3
Let p = -63 + 68. Suppose -p*l + 18 = 3. Solve 2 = l*f + 5 for f.
-1
Suppose -5*r + 2*t = -4, 4*r + t + 0*t = 11. Solve 2*k = 4 - r for k.
1
Let k(f) be the third derivative of -f**6/720 + f**4/8 - 5*f**2. Let t(o) be the second derivative of k(o). Let q be t(-3). Solve 3 = q*b - 0 for b.
1
Let l be -3 + ((-124)/(-434) - 374/(-14)). Solve -6*w - l = -6 for w.
-3
Let u(l) be the second derivative of -l**5/4 + l**4/12 + l**3/6 + l**2/2 - l. Let i be u(-1). Let n = i - 3. Solve 0 = -0*h - n*h for h.
0
Let v(h) = -h + 5. Let n be v(2). Suppose 21 = n*i + 4*i. Suppose -i*t = -5 - 7. Solve -t*j + 12 = -j for j.
4
Let a = -281 + 290. Solve -11 = -a*c + 7 for c.
2
Let o(y) = y**3 + 2*y**2 - 4*y. Let p be o(-3). Let c = -97 + 88. Let a be 4/(-1)*c/6. Solve 0 = p*d - a for d.
2
Suppose -17*i - 42 = -93. Solve -i*z = -0*z + 9 for z.
-3
Let m(s) = 7*s - 42. Let t be m(6). Solve 3*k - 2*k + 4 = t for k.
-4
Let r(s) = s**3 + 15*s**2 + 12*s + 5. Let a be r(-14). Suppose 12*n = 15 + a. Solve -4*t = n - 8 for t.
1
Let x be -2 - (-2 + (-15)/(-9))*12. Let f(v) = 4*v - 1. Let a be f(1). Solve -x*k + a = k for k.
1
Let d(n) = -n**2 + 11*n - 10. Let a be d(10). Suppose 2*x = x + 5. Solve x*k - 2*k - 6 = a for k.
2
Let x = -7 - -18. Suppose -6*w + x + 109 = 0. Let z = w + -17. Solve z = -2*a + 11 for a.
4
Suppose 3 = -2*y - 1. Let d(z) = z**2 + 3. Let h be d(y). Solve -2*m - 15 = -h*m for m.
3
Let i be 31/4*(-1 + 5). Let y = i + -31. Solve -w = -y*w + 1 for w.
-1
Let a be 1*(1 - -1 - 1). Suppose 11*c - 12*c - a = 0. Let i = c + 4. Solve 5*z - 22 = i for z.
5
Let y(u) = -u**3 - 5*u**2 - 8*u - 12. Let f be y(-4). Solve -5*w + w = f for w.
-1
Suppose 4*a + 704 - 816 = 0. Solve 9*f = a + 17 for f.
5
Let f(m) = -m**3 - 10*m**2 - 2*m - 18. Let x be f(-10). Suppose -u - 4 = -4*h - 5*u, 3*h = 2*u - x. Solve -t + h*t = 0 for t.
0
Let n(i) = -i - 5. Let l be n(-8). Suppose -j = -l*y + 2*y + 4, 5*j = y + 4. Let c(q) = q - 3. Let a be c(6). Solve y*f + 3 = a*f for f.
-1
Suppose 2*d + 32 = 4*t, 18 = 3*t + 7*d - 10*d. Solve t*x = 129 - 179 for x.
-5
Let l = 5 - 5. Let u be (-3 - l)/(6/(-8)). Suppose -4*o + o = 5*h + 7, 0 = 5*h - u*o - 21. Solve -h - 2 = -3*k for k.
1
Suppose -3*l - 11 = -5*n, -4*n - l + 2 = -17. Suppose -5*k + n*w = 7, 2*w - 3 = w. Let y be (1/2)/(k/10). Solve -q + 1 = y for q.
-4
Let i(l) = l**3 - 17*l**2 + 13*l + 50. Let t be i(16). Solve -7 + 1 = -t*m for m.
3
Let o(n) = n**2 + 29*n - 93. Let h be o(-32). Solve 10 = -h*r + r for r.
-5
Let o be (-3)/6*-1*4. Let z = 22 + -18. Let y be 7 + 5/((-5)/z). Solve -y*x = -o*x + 5 for x.
-5
Let n be -2 + 49/7 - 5. Solve n = -5*u + 7*u - 10 for u.
5
Let p(d) = d**3 + d - 1. Let v(w) = -4*w**3 - 4*w**2 + 2*w + 3. Let c(t) = 3*p(t) + v(t). Let l be c(-5). Solve -2*k + k = l for k.
0
Let k be 3 + (-112)/36 + (-518)/(-126). Solve 0*z - z = -k*z for z.
0
Let a be (77/(-55))/((-2)/10) + 2. Let s = 21 + -19. Suppose s*j = -2*d + 4, 2*d = 5*j - 2*d - 37. Solve -j*r = -a + 29 for r.
-4
Suppose 4*h - 8 = -5*c, -8 = -7*h + 3*h. Let q = 1922 + -1920. Solve -q*b - 1 + 3 = c for b.
1
Let t be (-35)/4 + (-1)/4. Let w = 9 + t. Let z be (0 + w + 0)/1. Solve z = -3*r + 6 for r.
2
Let o(c) = c - 2 + c - 13*c. Suppose 0 = w - 3 + 4. Let v be o(w). Solve 5*a + v = -1 for a.
-2
Let d = 2152 + -2058. Solve 96*n = d*n + 10 for n.
5
Let t be (9 + -1)/((-2)/(-4)). Let d be -16*(5/30)/((-1)/(-3)). Let g be (6/d)/((-4)/t). Solve 0 = g*o - 10 - 2 for o.
4
Let v = -2 - -6. Suppose -9 = -5*q - v. Solve -m = 4 - q for m.
-3
Let q = -238 + 238. Solve q = 2*j + 2*j - 4 for j.
1
Let o be (1 - 9/7)/((-24)/168). Suppose o*i + 1 = -2*v + 7*i, 8 = 3*v + 2*i. Solve 0*x = v*x for x.
0
Let k = -328 - -372. Solve -6 = 10*z + k for z.
-5
Suppose -4*j + 56 = -8*j. Let n = j - -19. Suppose -b = b - 16. Solve b + 2 = n*x for x.
2
Suppose -5*n - 80 = -5*v, 0 = 3*v - n - 36 - 20. Let o(l) = -l**2 - 61*l. Let s be o(0). Solve s*d + v = 4*d for d.
5
Let i(a) = -