= -6 + r. Solve 0 = b*z - 0*z for z.
0
Suppose -1250*m + 1240*m = -110. Solve -m = r - 12*r for r.
1
Let d(y) = 2*y**3 - y**2 + 2. Let t be d(2). Suppose -4*u - 2 = t. Let o = u + 4. Solve o = -4*n - 8 - 0 for n.
-2
Let b(s) = 2*s**3 + 11*s**2 + s + 6. Let c be b(-5). Suppose 5*n - c + 16 = 0. Solve 8 = -n*q - 2 for q.
-5
Let y(n) = -n**3 + 3*n**2 + 4*n - 5. Let p be y(4). Let j = 8 + p. Let u be (-4)/(-7)*210/60. Solve 0 = -2*b + j*b + u for b.
-2
Suppose 20 = 3*n + 2*n - 5*d, -4*n = 5*d - 16. Let v(o) = o**3 + 4*o**2 + o + 4. Let h be v(-4). Suppose h = l + n*l. Solve -w = -l*w for w.
0
Let k = -15 + -6. Let i be 7/(-2)*12/k. Suppose 5*m - i*c = -3*c + 4, 5*m = -2*c + 3. Solve -m = -3*q + 14 for q.
5
Let x(n) = 2*n**2 - 6*n**2 - 9 + 3*n**2 + 10*n. Let k be x(4). Let v = k - 7. Solve -v = 5*w - w for w.
-2
Suppose 25*j - 27*j = -60. Solve -j*l = -28*l - 10 for l.
5
Suppose 3*d = 5*g - 37, -2*g + d - 7 = -21. Solve -g*n = n + n for n.
0
Suppose -8*y + 48 = -4*y. Suppose -w = 3*w - y. Solve w = -3*h - 0*h for h.
-1
Suppose 4*q - 56 = 4*t, 4*t = 2*q + 3*t - 30. Suppose l = a - 4*a + 15, 2*l - q = a. Solve -3*f + l = -6*f for f.
-3
Suppose 7567*l = 7542*l + 50. Let t be ((-4)/5)/(2/(-10)). Solve 3*d + l + t = 0 for d.
-2
Let o(p) = p**3 - p - 1. Let g(i) = -8*i**3 - i**2 + 9*i + 10. Let r(x) = g(x) + 5*o(x). Let m be r(-2). Let n = m - 15. Solve 4*u + n = -6 for u.
-2
Suppose -5*t - 5*d - 450 = 0, 3*d = 4*t + d + 330. Let p = t - -123. Suppose 0 = 3*o - 10 - p. Solve o = 5*w - 9 for w.
5
Suppose 3*l - 12 = 0, m - 13 - 5 = -4*l. Suppose -c = 4*x, m*c = 5*x + 6 + 7. Solve -5 + 25 = -c*o for o.
-5
Let w = 292 + -289. Solve -2*p = -p + w for p.
-3
Suppose -3 = 2*d - 1, 3*h - 5*d = 20. Suppose -2*x - 2*i + 18 + 14 = 0, i = -5*x + 80. Solve h*c - x + 1 = 0 for c.
3
Let m = 821 - 807. Solve -4*g - m + 26 = 0 for g.
3
Let z be 21/5 + (-3)/15. Suppose 4*b = -5*s - 24, -b - 3*b = -z*s - 12. Let d be 4*s/20*-10. Solve -3*i - d = 4 for i.
-4
Let a be (-214)/(-14) + (-3 - 38/(-14)). Suppose -a*x + 10*x = -30. Solve 3*q + x + 3 = 0 for q.
-3
Let m(g) = 6*g**2 + 11*g + 16. Let p be m(-2). Let y be 15 - (3 + -2 + 2). Let j = -7 + y. Solve 7 + p = -j*w for w.
-5
Let h be (20/(-6))/((-8)/(-108)). Let b = 59 + h. Solve -2 = -3*s - b for s.
-4
Let r = -22 - -20. Let c(m) = m + 5. Let v be c(r). Solve v*b + 8 = b for b.
-4
Let l = -2337 + 2337. Solve l = 2*c - 3*c + 3 for c.
3
Let z(f) = 29 - 86 + 49 + 2*f + 36. Let o be z(-14). Solve -7*p + 3*p = o for p.
0
Suppose -13 = -4*r + 3*r + 3*m, 0 = 2*r - m - 21. Solve 50 = r*g - 0 for g.
5
Let j = 3 - -3. Suppose j - 30 = -3*r. Solve 0 = r*l - 3*l - 15 for l.
3
Let u(j) be the first derivative of j**3/3 - 5*j**2/2 - 3*j + 4. Let w be u(6). Suppose 8 = p + w*p. Solve -m - m = -p for m.
1
Suppose -34*j + 25*j + 36 = 0. Solve -3*l = -2*l - j for l.
4
Suppose 2*b = -4*l + 94, 0 = 3*l - 2*l - 3*b - 20. Suppose 5*d - l = -3. Solve d*w + 11 + 9 = 0 for w.
-5
Let w = 169 + -167. Solve -w*a - 3 - 1 = 0 for a.
-2
Let s(h) be the third derivative of h**6/120 - 7*h**5/60 + h**2. Let l be s(7). Let n(m) = -m. Let x be n(l). Solve -p + 2*p = x for p.
0
Let b be (-11 - -10)/((4/(-2))/(-8)). Let u = 9 + b. Solve -10 = u*i + 5 for i.
-3
Let y = 433 - 375. Solve -y*v + 62*v = -12 for v.
-3
Suppose 4*u - 2 = 3*h + 61, -75 = -5*u + 3*h. Solve u*b + 4 = 14*b for b.
2
Let q(t) = -t + 4. Let w(j) = -j + 1. Let l(a) = q(a) - 6*w(a). Let k be l(1). Solve -k = -f - 0 for f.
3
Let x be (3/(-2))/(3/4). Let o be 1 - (x - (-4 + 3)). Solve 4*z = 10 + o for z.
3
Suppose 0 = -61*b + 46*b + 390. Solve -29*w = -b*w - 9 for w.
3
Let s = 168 + -162. Solve a = s*a for a.
0
Let v(o) = -90 + 90 - 6*o - o**2. Let w be v(-5). Solve -w*p + p = -16 for p.
4
Let y be (-4)/((80/(-50))/4). Solve y*k - 64 = -24 for k.
4
Suppose -2*p + 7*t = 2*t, -4*p - 2*t + 24 = 0. Let h(w) = 2*w**2 - 2*w - 7. Let y be h(p). Let o = 70 - y. Solve 5*b = -12 + o for b.
5
Let a = -12 - -17. Suppose -b + 4 + a = 0. Solve -b = -3*x + 6 for x.
5
Let p(h) = -20*h + 648. Let t be p(32). Solve -7*x = t*x - 30 for x.
2
Let h be 275/11 - 7 - 10. Solve h*r - 11*r = 0 for r.
0
Let s(m) = m**3 - 4*m + 2. Let f be s(3). Suppose -5*k + f - 2 = 0. Suppose -d - 4*r = -25, k*d - 2*r - r = 0. Solve 0*x - d = x for x.
-5
Let o be (-2)/(6/(-4) + 1). Let v(s) = 2*s + 1098. Let c be v(0). Let k be (c/24)/3 + 1/(-4). Solve o*u + 5 = -k for u.
-5
Let o(y) = -2*y**2 + 8*y + 3. Let c = -25 - -29. Let f be o(c). Solve -2 = s - f for s.
1
Suppose -4*u + 12*u = 2600. Suppose d = 14*d - u. Suppose 0 = c + 5*n - 0 + 16, -2*c - n + 13 = 0. Solve -d = -c*f + 4*f for f.
5
Suppose 60*m - 69*m + 54 = 0. Solve -m*d + d = 25 for d.
-5
Suppose -29 = -6*j + 13. Let r be (0/(-2))/(j + -8). Suppose r*a = a. Solve a = -s - s - 6 for s.
-3
Let z(n) = -n**3 + 46*n**2 - 43*n - 31. Let i be z(45). Solve i - 15 = 11*k for k.
4
Let h = -183 + 185. Let j(t) = t**3 + 5*t**2 + 2*t - 3. Let w be j(-4). Let f = 6 - 5. Solve -f - w = h*i for i.
-3
Let k(t) be the third derivative of -t**4/8 - t**3/6 - 6*t**2. Let s be k(-1). Suppose s*i - 4*i = 0. Solve -c + 0*c + 2 = i for c.
2
Let n be (-80)/12 - (-10)/15. Let q be (4/(-24))/(1/n). Solve -5 = -2*s - q for s.
2
Suppose 4*k + 157 - 395 = 2*v, 220 = 4*k + 4*v. Solve -k + 86 = 7*f for f.
4
Suppose 0 = -11*i + 8*i + 9. Solve -q + i*q - 4 = 0 for q.
2
Let u be 16/128 + 510/16. Solve -5*j - 3*j = u for j.
-4
Suppose -38 = -7*d + 18. Solve d*y - 5 = 13*y for y.
-1
Suppose 8 = -4*b, 4*d - 9*d - 5*b = 10. Solve 0 = -d*f - 3*f + 12 for f.
4
Suppose -8 = -h - 3*b - 4, -2*h = -4*b - 38. Suppose h = -n + 27. Let t = n + -12. Solve c + 0*c = -t for c.
-2
Let x(t) = t**3 - t**2 + 11*t + 7. Let r be x(0). Solve n - 5 + r = 0 for n.
-2
Suppose 2*y = 0, -25*p = -24*p + y - 7. Solve -3 = -4*w - p for w.
-1
Suppose m + g = -2, -3*g - 6 = -5*m + 24. Let u(q) be the third derivative of -q**4/24 - q**3/6 - 19*q**2. Let x be u(-8). Solve 4*b + m = x*b for b.
1
Let g(p) be the second derivative of -p**3/6 + p**2 - 6*p. Let x be g(-13). Solve -2*u + x = 3*u for u.
3
Let o(i) = 2*i**2 + 6*i + 5. Let b be o(-5). Suppose 2*s - 20 - 9 = -3*a, b = 5*s - 2*a. Suppose s*x = 6 + 8. Solve x*c + 1 + 9 = 0 for c.
-5
Let k = -151 - -153. Solve 4*q - 10 = -k for q.
2
Suppose 0 = 3*z - 5*b - 43, 2*b + 24 = 5*z - 16. Let k be (-6 - (-3)/(-3))*-3. Suppose 0 = 5*j + z - k. Solve -5*t = -j*t for t.
0
Let j(m) = m + 4. Let a be j(6). Let u be a/(-15) - 8/(-12). Let w be (-2 - 4/(-1))*1. Solve u*l - 4 = -w*l for l.
2
Suppose -3*t + 7 + 11 = 0. Suppose -t*d = 7*d. Solve -15 = 3*v - d*v for v.
-5
Let a(k) = k**2 - k - 5. Let c be a(-4). Suppose -5*y - 3 = 4*w - 0, 5*y = -c. Suppose 0 = -3*t - t + w*h + 40, 2*t - 10 = -h. Solve t*q = 3*q for q.
0
Suppose h + 10 = -j - 4*j, 0 = -5*h + 5*j - 50. Suppose -3*f = 59 - 32. Let k = f - h. Solve -b = 2 + k for b.
-3
Suppose 24*y = 15*y + 477. Solve -50*k + y*k = 0 for k.
0
Let j be 15 + -2 + (1 - 2). Let f = 14 - -2. Let m = f - j. Solve -7*v = -m*v for v.
0
Suppose 22 = i + 4*w, 0 = -4*i + 8*i - 4*w + 12. Solve 0 = 8*c + 34 - i for c.
-4
Suppose d = -c, 0 = 5*c - 3*d - d - 27. Let q be 72/(-6)*1/(-2). Suppose q*t + 10 = 4*t + 4*p, 2*t - 14 = -4*p. Solve -c*v - t - 11 = 0 for v.
-4
Let x(b) be the first derivative of -b**3/3 + 3*b**2/2 + 4*b + 46. Let f be x(3). Solve f*o - 2*o = 10 for o.
5
Let i(o) = -7*o - 9. Let m be i(-4). Solve 7*x - m = 2 for x.
3
Let j be 2/(-7) - ((-30)/7 - -4). Let m be 4/(40/6)*5. Suppose 3*t + m*t - 72 = j. Solve 3*c - t = -c for c.
3
Let k(m) = m**3 + 5*m**2 + m + 7. Let j be k(-5). Let i = 20 + -10. Suppose -i*f = -13*f. Solve f = j*w - w for w.
0
Let i = 15 + -10. Suppose -u - 4*h = -6*u + 26, -i*h - 22 = -u. Suppose -u*c = -5*c. Solve 6*o - 2*o = c for o.
0
Let a be 3 + 72/(-45) + 4/(-10). Let b = a + 2. Solve 2 + b = l for l.
5
Let f(b) = 2*b**3 + 2*b**2 - 1. Let h be f(-1). Let l = h - -5. Suppose 4*t + 28 = 36. Solve -t*y + y = l for y.
-4
Suppose 3*y - 11 = -u - 1, 5*y - 2*u = 35. Suppose -2*t - 25 = -5*o, 0 = o - 2*t - y. Let a be (4/o)/((-4)/(-20)). Solve -p + a = p for p.
2
Let r = 79 - 141. Let s = -60 - r. Solve 0*n = -s*n + 8 for n.
4
Let w be (-7 + 4)*(-2)/3. Suppose 2*d - 20 = -w*d. Suppose d*n - n = 0. Solve n = -4*p - 17 + 5 for p.
-3
Let a be 