(-25) - (-9)/5. Solve 2 - b = m for m.
1
Suppose 0 = 5*s - 10 - 5. Suppose s*d + 9 = 3*w, d + 4*w = 3*d + 16. Solve d*h = -2*h - 4 for h.
-1
Suppose -16*x - 32 = -24*x. Let b = 0 - 0. Solve f - 2*f - x = b for f.
-4
Let z be 490/42 - (-5)/(-3). Solve p = -p + z for p.
5
Suppose 0 = -2*a - p + 3*p - 6, -4*p = 5*a - 30. Solve a*s = -s for s.
0
Let t = 19 + -12. Let l = t - 5. Suppose l*p - 15 = 4*w - 1, w + 21 = 3*p. Solve -3*z - p = 8 for z.
-5
Suppose -4*p = -4*k - 2*p + 18, 29 = 2*k - 5*p. Solve -5*w + k = -7*w for w.
-1
Suppose 0 = -u + 4*n - 17, u - 2*n + 22 = -u. Let t = -6 - u. Solve 2*b - 25 = -t*b for b.
5
Let n(w) = w + 5. Let m be n(0). Let k = 7 - m. Let o be 1*(k + -2 - -1). Solve x + o = 2 for x.
1
Suppose 5*o = h - 1, -23 = 2*h - 5*h - 5*o. Solve -8*g = -h*g + 6 for g.
-3
Suppose 4*j = -3*n + 16, -2*n + 0*j + 12 = 4*j. Solve n = l - 1 for l.
5
Let o(a) = -a**3 + a**2 + a + 3. Let i be o(0). Solve 0*c = -i*c - 6 for c.
-2
Let n = 4 + -2. Solve -n*k + 15 = 3*k for k.
3
Suppose 6 = 8*r - 26. Suppose 0 = 5*d - 2*s - 54, -2*d + 11 = -3*s - 4. Let z = 21 + -13. Solve z + d = r*x for x.
5
Let j = -2 - -9. Suppose -x + j = -4*o - 1, 0 = 3*o + 2*x - 5. Let y be o/(-5) + (-118)/(-10). Solve -u - y = 3*u for u.
-3
Suppose -2*n - 14 = 4. Let d be -18*((-1 - -2) + 0). Let b be (-9)/d - n/2. Solve b*z + 31 = 6 for z.
-5
Let q(j) = -2*j + 5 - 3*j + 3*j. Let a be q(-4). Solve 5*z = -7 - a for z.
-4
Let z = -22 - -28. Solve -4*y = -26 + z for y.
5
Suppose 7 + 13 = 5*d. Suppose -h - 1 = b + d*b, 4*h + 4*b = 12. Solve -g + h = g for g.
2
Let l(c) = -c - 3. Let u be l(-6). Suppose x + 6 + 2 = 4*s, -u = -3*x + 3*s. Solve -3*t = -7*t - x for t.
-1
Let o = -98 - -100. Solve -6 = -5*f + o*f for f.
2
Let m be 126/33 - (-2)/11. Let c = m + -6. Let g be 190/8 + c/(-8). Solve 5*y + g = -1 for y.
-5
Suppose 0 = -5*o + 5*u + 35, -3*o - 3*u = -12 + 3. Let i be (3/4)/(3/12). Solve -1 - o = i*s for s.
-2
Suppose 5 - 17 = -3*p. Solve p*l = -0*l for l.
0
Suppose 5*o = -3*v - 2*v, o - 24 = 5*v. Suppose 0 = -3*k + 2*k - 5*g - 6, -3*k + 33 = -2*g. Suppose 7*a - 6*a - 7 = 0. Solve k = -o*z - a for z.
-4
Suppose 0 = 4*s - 10*s + 18. Let m be (-1 - -1) + 0/s. Solve m = g - 5*g for g.
0
Let f(c) = c - 1. Let u be f(3). Suppose -3*b = 2*p + 2, 0 = -5*p - 6 - 14. Solve u*a + b = a for a.
-2
Suppose 4*a = 5*g + 15, 0 = -2*a + 2*g - 2 + 8. Let c be (1 - -2)/(6/8). Solve a = c*l - 0*l - 20 for l.
5
Suppose 0 = -2*g - 3*g + 15. Suppose 0*q + i = 2*q - 7, 5*q + g*i = 12. Solve 5 - q = 2*t for t.
1
Let l(d) be the third derivative of d**5/30 + d**4/12 + d**3/6 - 2*d**2. Let p be l(-2). Let r(m) = m**3 + 6*m**2 + 8. Let v be r(-6). Solve p*n - v = n for n.
2
Let x be (12/(-16))/((-12)/112). Solve -3*t - x = -4 for t.
-1
Suppose 0 = 2*i - 3*p + 2, p + 27 = -5*i + 3*p. Let v = -2 - i. Solve -v*k - 3 = -2*k for k.
-1
Suppose 4*q - 22 = 4*n - n, 0 = 2*q + 5*n - 24. Suppose q*p + 3 = 8*p. Solve -p*a - 3 = -12 for a.
3
Let u = 152 + -151. Solve -u = -2*l + 1 for l.
1
Let f(r) = -2*r + 14. Let a be f(5). Solve 5*n - n - a = 0 for n.
1
Let l(m) = 2*m**3 + 2*m**2 - m. Let f be l(1). Solve 0 = 3*c - 3 - f for c.
2
Let h(c) be the first derivative of -c**3/3 - 3*c**2 + 6. Let g be h(-5). Solve 5*k = g + 10 for k.
3
Let r(j) = -j**2 + j + 2. Let n be r(0). Let b be (0 - 0)/(2/n). Solve -3*f = -b*f + 3 for f.
-1
Let l = -91 + 103. Solve -l = 5*o + 8 for o.
-4
Let h be 9 + (1 - 3)/2. Let g = -4 + h. Let s(q) = 9*q - 6. Let y be s(g). Solve y = 4*u + 10 for u.
5
Let h(v) = 0*v - 4 + 3*v + 3*v. Let n be (-7 + -1)*(-2)/4. Let w be h(n). Solve j + w = 6*j for j.
4
Let t be (-3 + 1/1)/(-1). Let q be 8/(-5)*(-5)/t. Suppose 0*h = 2*h - 4. Solve -r - h + q = 0 for r.
2
Let d(l) = -l + 4. Suppose -3*a + 3*w = -4*a, w = -2. Let n be (-4)/6*a*1. Let q be d(n). Solve 4*s = q*s - 12 for s.
3
Let b(i) = 2*i**2 + 6*i + 6. Let m be b(-3). Solve 5*f - m = 3*f for f.
3
Suppose -5*x + j = -21 + 4, -5*x + 29 = 3*j. Let a be 1 + 0 + -1 + x. Solve -a - 11 = -5*v for v.
3
Suppose -3*t = -6*t - 2*l + 8, -l = -4*t + 29. Let z = 14 + -11. Suppose 3 = -z*g + 9. Solve g = q + t for q.
-4
Suppose 5*f = 4*f - 4*q - 17, 0 = 4*f - 3*q - 27. Solve 0 = -f*u + u + 10 for u.
5
Let a = 3 - 1. Suppose 0 = -2*h + 3*h - 5. Suppose 5*x + 20 = 5*f, 3*f = h*x - f + 16. Solve -a*i = -x*i for i.
0
Let z(t) = 5 + 4*t**2 - 5*t - 3*t**2 + 0*t**2. Let k be z(5). Suppose -k*h + h + 16 = 0. Solve 0*o - h*o + 20 = 0 for o.
5
Let t(f) = 14*f**2 - 3*f + 1. Let j be t(1). Let c be 28/j + (-4)/(-6). Solve c*h = -0 + 6 for h.
2
Let v(i) = i**3 + i**2 + i - 2. Let a be v(2). Suppose 4 = c + c. Let q be (1 - (c + -3)) + -2. Solve -a + q = -4*s for s.
3
Let a(d) = 2*d + 5. Let u be (3 - 8)/(2/(-4)). Let v be a(u). Solve -v = -h + 6*h for h.
-5
Let o(a) = -a. Let c be o(-5). Suppose 2*d - d - 5*s - c = 0, 0 = -s - 1. Solve d = -q + 2*q - 2 for q.
2
Let w(c) = -c**3 + c**2 + 2*c. Let y be w(-1). Solve -q + 0*q + 3 = y for q.
3
Let f(o) = o + 4. Let q be f(-2). Suppose 3*y + q = h, 0*y - 3*h = 2*y - 6. Suppose z - 4*z = y. Solve z = -i - i for i.
0
Suppose 5 = 3*t + 5*n, t + 0*n + 4*n = 4. Solve -5*i = -t*i + 5 for i.
-1
Let y(t) = -2*t - 14. Let r be y(-9). Solve r*j = 6 + 2 for j.
2
Let r = 7 - 4. Suppose 5*p - 4 - 8 = -r*k, 0 = -4*p + 5*k + 17. Suppose -3*o - 2*o = -10. Solve j - p = o for j.
5
Let h be 12/20 - 2/(-5). Let s = 4 - h. Suppose -25 = -4*q + 2*y + 1, -24 = -s*q + 3*y. Solve -3 = -2*c + q for c.
4
Suppose 2*s = -h - 35, -3*s = -2*h - 5 - 37. Let f = -24 - h. Solve -4 = -f*z - 16 for z.
-4
Let u = -4 + 6. Let b = 5 - u. Suppose -d + 2 = -3. Solve z - d = -b for z.
2
Let z be (-74)/(-26) - (-2)/13. Solve -12 = -3*m - z for m.
3
Let f be 21/(-63) - (-14)/6. Suppose -3*h - 13 = -5*v + 12, -v - 3*h = -5. Solve -f*c + 6 = -v*c for c.
-2
Let o be 12*-1*1/(-2). Suppose 2*b + 3*z = 2, -4*z + o*z = -4. Solve 11 = b*s - 1 for s.
3
Suppose 4*k - 18 = 6. Solve 2*n - k*n = 0 for n.
0
Suppose 8*v = 5*v. Suppose v = -3*h + 4*h - 2. Solve h*k = -0*k - 8 for k.
-4
Let c be -1*3/6*-10. Let y = 8 - 26. Let a = 34 + y. Solve 1 - a = c*k for k.
-3
Suppose 3*c = -t, 0*c = c + 4. Suppose -5*r - l = -5, 2*l - 1 = -r - 9. Solve -r*j + t = j for j.
4
Let w(j) = j**3 - 7*j**2 + 2*j + 5. Let g be w(7). Suppose -g = -5*y + 6*u - 3*u, -4*y - 2*u + 24 = 0. Solve -11 - 4 = y*q for q.
-3
Let v(l) = -l**2 - 6*l + 3. Let h be v(-6). Solve 0 = p - h*p - 2 for p.
-1
Let t(p) be the third derivative of -p**6/120 + p**5/12 + p**4/12 + p**3/6 + 4*p**2. Let g be t(4). Let o = g + -17. Solve -o = 8*j - 4*j for j.
-2
Suppose -5*a + 1 + 14 = 0. Suppose 3*w = 3*j - a, 0 = -w + 3*j + 2*j - 17. Solve -w = 4*c - 3*c for c.
-3
Let m = -1 + -2. Let n = 3 + m. Solve -t + 1 + 2 = n for t.
3
Let j be (-32)/(1 - -1) + 1. Let r = 17 + j. Solve n - r + 6 = 0 for n.
-4
Suppose z + 0*z = 0. Solve -3*y = -z*y - 6 for y.
2
Suppose 3*b - 18 = -5*l, 7 = 4*b + 3. Suppose x + 1 = w, 0 = 5*w - l*x - 3. Solve w = -k + 2*k for k.
0
Let v = 1 - 1. Let x = -20 - -6. Let q = -11 - x. Solve v*d - q = -d for d.
3
Suppose -g + j + 15 = 0, 19*j = -4*g + 21*j + 50. Solve 6*n + g = -8 for n.
-3
Let g = 0 + 3. Suppose -3*m + 8*m + 20 = 0, 0 = 2*f + m. Suppose g = 4*n - t, 6 = -2*n - n - f*t. Solve n = -4*o + 3*o for o.
0
Suppose -a + 0*j + 15 = 3*j, 0 = a + j - 9. Let d(f) = 0 + f - 2*f + a. Let c be d(6). Solve c*m = -4*m for m.
0
Suppose 10*w = 56 + 4. Solve -w*i + i + 10 = 0 for i.
2
Let p(c) = 6*c**2 + c - 1. Let i be p(1). Solve -10 = -i*o + o for o.
2
Let z be -1 - (-6)/(2 + 0). Suppose 3*y + 3 = 4*t - 9, y - 6 = -z*t. Solve y - 3 = -o for o.
3
Let m be 22*(-6)/(-9) - (-13)/39. Solve o = 6*o - m for o.
3
Suppose 7*o - 12 = 5*o. Let r = 8 - o. Solve 0 = -2*v + v + r for v.
2
Suppose 30 = 2*n - s, -2*s - 9 = -n + 6. Suppose -3*q - k = -4*q, -3*q = -2*k. Solve q = 2*p + 3*p - n for p.
3
Suppose 4*a + 2*u + 53 = 21, -3*u = 5*a + 40. Let w = a - -10. Suppose w*k + 10 = 0, 5*k = 2*t - 0*t - 27. Solve 2*g = t + 3 for g.
2
Let a = 9 - 5. Suppose -2*n + a = -6. Solve -n*f + 3 = -22 for f.
5
Let n = -41 + 46. Solve -2 = -n*g - 17 for g.
-3
Let f(l) = -l - 7. Let c(m) = -m**3 - 6*m**2 + 10*m + 8. Let p be c(-7). Let u be f(p). Solve -3*s + u = -s for s.
3
Let j be (-1)/(-2)*2 - 1. Suppose 0*x = 2*x - 6. Let p(z) = z**