.
4
Suppose 2*m + j - 8 = 0, -j - 2 + 4 = 0. Let v be 2 + (1/(-1) - -7). Solve m*k - k = v for k.
4
Let y = -15 - -17. Solve 3 = -y*b - 1 for b.
-2
Let b be 1/(2 - (-18)/(-10)). Suppose 0 = -3*z - 2*k + 18, -b*z = -k - 3 - 14. Suppose 0 = z*p - 2*a - 58, 4*a = 3*p + 5*a - 31. Solve 4*v = 4 + p for v.
4
Let u be 2 + 0 + -2 - -2. Suppose -3*w - 5*q + 0 = -2, 3*w + 2*q = -10. Let v(j) = -j**3 - 7*j**2 - 7*j - 6. Let y be v(w). Solve y*h - u*h = 0 for h.
0
Let v(j) = -j + 8. Let i be v(5). Suppose m - 5*f - 3 + 2 = 0, 0 = -i*m + 3*f + 51. Solve 5*q - 4 = m for q.
5
Suppose b + 17 = -b + 3*i, i = 4*b + 9. Let n be 10 + -1 - b/1. Solve n = -2*x - 0*x for x.
-5
Let z be (-2 - -5)/((-3)/(-6)). Solve -s + z = -4*s for s.
-2
Let c = 6 - 6. Let w(z) = z**2 + z + 6. Let g be w(c). Solve 0 = -g*p + p + 20 for p.
4
Let x be (-28)/3 + (-1)/(-3). Let b be 2/(-4) + (-35)/(-2). Let r = b + x. Solve 3 - r = j for j.
-5
Let x(b) = b**3 - 10*b**2 - 8*b - 13. Suppose -j - 2*j + 125 = 2*a, -j + 51 = 3*a. Let h = j + -28. Let l be x(h). Solve 4*z = -z - l for z.
-4
Let u(n) be the second derivative of -n**4/12 - 5*n**3/3 - 5*n**2/2 + n. Let x be u(-8). Let c = 16 - x. Solve 2 - c = h for h.
-3
Let h be 20/50 + 4/(-10). Suppose t - 3 = -h*t. Solve -4*s = -t + 11 for s.
-2
Let u = 35 + -23. Suppose -5*z - 3*q + u = 0, 3*q = z + q + 8. Solve z*k = 4*k for k.
0
Let u = -8 + 15. Suppose -u = 4*z - 8*z - v, 7 = -z - 2*v. Solve z*c + 24 - 9 = 0 for c.
-5
Let n be 10/(-25) + (-2)/(-5). Suppose 2*x = p + 1, -x + 2*x = 4*p - 24. Let m(k) = -k + 9. Let b be m(p). Solve n = -s - b - 0 for s.
-2
Suppose -3*f + 4*g = 3, 0 = -f + 3*g - 2*g. Solve 2*v - f = -7 for v.
-2
Let u be ((-16)/(-3))/((-4)/(-6)). Let l = u + -6. Solve 0*a = l*a for a.
0
Suppose 6*h - 16 = 2*h. Solve 0 = h*b - 4 + 12 for b.
-2
Let o = 9 + -4. Suppose o*t - 70 = k - 6*k, -3*t = k - 44. Solve 5*b - t = -0*b for b.
3
Suppose v = -g - 2*v + 21, -4*g - 3*v = -84. Solve -4*o - 5 + g = 0 for o.
4
Suppose 0 = -4*m + m + 6. Suppose 0 = -p - 0*p. Solve -k - m = -p*k for k.
-2
Let z = -2 - -5. Suppose 7*b - 11 = 3*b + 5*m, -5*m = -2*b + z. Let c be (6/(-1))/((-2)/3). Solve 3 = b*g - c for g.
3
Let q = 69 + -65. Solve -21 = -5*s + q for s.
5
Suppose 12 = 3*p + p. Solve -p = -0*w - w for w.
3
Let w = -45 - -51. Solve -3*q - 3 + w = 0 for q.
1
Let d be 5/(-30) - 62/(-12). Suppose d*v - 3*y = -y + 20, 0 = 3*v - y - 12. Solve 3 + 9 = v*b for b.
3
Suppose 5*o + 6 = -5*g + 16, 5*o = g - 2. Let t be -6*((-15)/(-9) - g). Let m be ((-33)/6)/((-1)/t). Solve m = 3*s - 4 for s.
5
Let j(s) = 3*s - 2. Let l be j(2). Solve 5 = -i + l for i.
-1
Let y be ((1 - 5) + 3)*-10. Solve v - y = -4*v for v.
2
Suppose 6 = -m + 4*m. Solve -5*q = m - 22 for q.
4
Let t = 34 - 9. Let c = -6 - -11. Suppose -h - p = -c, 1 + 0 = p. Solve -h*x - x = t for x.
-5
Suppose 3*s - a - 4 = a, -6 = 3*a. Solve 2*u + 0*u - 4 = s for u.
2
Let t be -2 - (2*-1 + -2). Let w = 246 - 246. Solve -t*m + w - 2 = 0 for m.
-1
Let d(u) = u**2 - u. Let m(n) = -n**3 + 5*n**2 + 2*n + 6. Let a(v) = d(v) - m(v). Let l be a(5). Let t be 8/l - (-1 - -1). Solve -2*x = -8 - t for x.
5
Suppose 0 = -2*u + 3*u + 4*a + 16, 5*u = 3*a + 35. Let y be (-2)/(u/3)*6. Let c be 3/(-2)*24/y. Solve c*z - 16 = -4 for z.
3
Suppose -19*a = -14*a - 20. Solve -9 = -a*d + 11 for d.
5
Let v = -40 + 58. Suppose -4*z - 96 = -4*k, 2*z - v = 5*k - 144. Suppose 2*x = -4*u - 16, -x - k = -4*x + 4*u. Solve -3*t - x*t = 0 for t.
0
Let z(v) = -v + 8. Let a be (6/(-5))/((-2)/10). Let t be z(a). Solve t*s = -4 - 2 for s.
-3
Suppose 4*f = 5*q + 3, -3 - 27 = -5*f + q. Solve 3*l = f + 5 for l.
4
Suppose 0*f = f - 4*m + 12, 0 = 5*f + 2*m - 28. Let n = 6 + -3. Solve 0 = n*g - f - 2 for g.
2
Let s be (-66)/(-30) + 4/5. Suppose 0 = -r - 1 + 5. Suppose 5*g + 2*j = 12, r*g - 6 = -2*j + 4*j. Solve s = k - g for k.
5
Let n be 3 + (-6 - 6/(-2)). Let b be (-4)/10 - 24/(-10). Solve n = -w - w + b for w.
1
Suppose 8*s = 3*s + 25. Suppose 6 = s*d - 2*d. Solve d = p + p for p.
1
Let o = -10 + 15. Suppose -m - m - o*g + 70 = 0, 5*m - 198 = -g. Suppose -5*p = -k + 2*k - m, 5*k = 3*p + 60. Solve -k = 2*u + 3*u for u.
-3
Let w(b) = 9*b + 5. Let g(u) = -5*u - 3. Let y(h) = -7*g(h) - 4*w(h). Let o = -12 - -10. Let t be y(o). Solve -f - 2 = -t*f for f.
1
Suppose -m = 2*m. Suppose m = 5*t - 84 - 16. Solve 5*o + t = o for o.
-5
Suppose 6*q + 18 = 9*q. Let h be q/((-27)/(-6) - 3). Solve 2*d + 2 = -h for d.
-3
Let m be 1/(0 - 1/(-3)). Solve m*g - 2*g + 1 = 0 for g.
-1
Suppose -4*r = 5*z - 35, 0 = 3*r + 2*z + 10 - 45. Solve -j + 4*j + r = 0 for j.
-5
Suppose -5*u = -7 - 8. Let k(f) = -2*f - 1. Let s be k(-5). Suppose -u*p = p + 5*m + 21, 0 = -p - 2*m - s. Solve 3*i + 8 = -p for i.
-3
Let n be ((-8)/12)/(1/(-6)). Let z = 7 - n. Solve 0 = z*h - 4*h - 1 for h.
-1
Let h be (-12)/(-66) + 3/(-33)*2. Solve h = -3*s + 13 - 1 for s.
4
Suppose 5*d = -2*m + 7*m - 15, 0 = 5*d. Let n be -2 + 5 + m*4. Suppose 2*i - 5*j + n = 0, -5*i + j + j = -15. Solve -20 = i*o - 0*o for o.
-4
Suppose 3*r = -2*r. Suppose 4*m - h = -r*m + 9, 2*h = -3*m + 4. Suppose 23 = 3*q - 4. Solve -s - m*s + q = 0 for s.
3
Let c = 23 + -19. Solve -2*j - c = -8 for j.
2
Suppose t + 4*j + 10 = 0, -t - 7 + 0 = 3*j. Suppose 30 = 7*u + 2. Solve t*y + 8 = u*y for y.
4
Suppose -2 = -z + 2. Suppose 2*f + 4 = 0, -3*f - 8 = 3*i - z*i. Solve -7 = -i*y + 3 for y.
5
Let p = -115 + 126. Solve -5*t + p = 1 for t.
2
Let v(o) = -o + 4. Let j be v(0). Suppose -32 = -2*l + 2*z, 71 + 5 = 5*l - j*z. Solve 3*u + l = -0 for u.
-4
Suppose 0 = -4*t - t + 30. Solve 3*h + 0*h + t = 0 for h.
-2
Suppose -37 = 3*z - 7. Let p = -8 - z. Suppose -p*b = -5*k - 3*b + 91, -73 = -4*k - b. Solve -2*t - 8 = -k for t.
5
Suppose -s + 3 = 2*u, -u - 6*s - 21 = -s. Let g be (6/u)/((-4)/(-8)). Solve 0 = -n - g*n + 8 for n.
2
Suppose 0 = -4*f - h + 55, 0*h + 20 = -4*h. Let o = f + -7. Suppose -19 = -u + o. Solve 5*d = -7 + u for d.
4
Let n(y) = y**3 + 2*y**2 + 2*y - 2. Let g be n(-2). Let d be 2/g + 65/15. Solve -f = -d*f + 6 for f.
2
Suppose 12 = 3*q + 2*v, -v + 16 = 4*q - 5*v. Let z(x) = x**2 + 9*x - 42. Let b be z(4). Solve -b + 2 = q*d for d.
-2
Suppose -3*q - 2*u = q - 6, 3*q + 3 = -4*u. Suppose q*v = 2*v + 5. Suppose 2*n - 7 - 15 = -4*z, -5*n - 20 = -v*z. Solve -1 = -i - z for i.
-4
Let f(y) = -2*y**2 - 6*y - 2 - y**3 - 3*y**2 - 4. Let g(a) = 2*a + 6. Let u be g(-5). Let j be f(u). Solve -w + 6 = j*w for w.
2
Let t be (28/12 - 2)/(2/42). Solve -t = -2*q - 3 for q.
2
Let w = -74 + 82. Solve -w = 5*o + 7 for o.
-3
Let k(u) = -8*u - 54. Let i be k(-7). Solve -i*s = s + 15 for s.
-5
Let r = 44 + -43. Solve -4 + r = b for b.
-3
Suppose 10*h = 63 - 3. Solve -w = w - h for w.
3
Let c(b) = -b + 1. Let u be c(-6). Let m = u + -4. Let v be (3/1)/(45/30). Solve -m*d - v*d + 5 = 0 for d.
1
Suppose -2*r = 3 - 15. Solve -4*i + r = -7*i for i.
-2
Suppose -t = 5*o - 54, 7*t - 4*t = 4*o - 28. Solve -y - y = o for y.
-5
Let p(w) = w**3 - 4*w**2 + 4*w. Let j be p(3). Suppose -j*i - 1 = -13. Suppose 2*l - 5*l = -15. Solve -i*k = k + l for k.
-1
Suppose -m + 5*v + 140 = 0, -3*m - 4*v + 125 + 257 = 0. Suppose 3*u + 87 = 7*u - c, 0 = 5*u + 3*c - m. Let p = u + -12. Solve p = 4*g - 9 for g.
5
Let v be ((-7)/7)/((-2)/(-14)). Let j = -5 - v. Suppose w + 3*l + j = -1, 2*w - 15 = l. Solve w*m - m = 0 for m.
0
Suppose -3*x = 5*n + 10, 8 = -0*n - 4*n - 3*x. Let g = n - 1. Let f = 3 + g. Solve -8 = -f*i + 4*i for i.
-2
Let g = -75 - -80. Solve 0 = 2*y - y - g for y.
5
Let w = 25 + -12. Suppose -2*k + w = 3*n, -k + 5*n = -5*k + 25. Solve 0 = k*a + 2 - 12 for a.
2
Let i = -22 + 47. Let u be (6/(-10))/(9/(-90)). Solve -i = u*w - w for w.
-5
Suppose 44 = -3*k - p, -7*p + 2*p = -20. Let a = -8 - k. Let h be 34/a - (-1)/(-4). Solve -j + h = j for j.
2
Let t be (-1)/(-4) - (-22)/8. Suppose -2 = g + t*o + 2*o, 2*o = -2. Solve -g*c = -3 - 0 for c.
1
Let r = 5 + -5. Suppose 5*i - 10 = -r*i. Solve -7 = -i*h - 1 for h.
3
Let z be 0/2 + -4 - -2. Let r be z/(-4)*(7 + -1). Solve 2*h + 1 = r*h for h.
1
Let n be -4*1 + (-78)/(-13). Solve -22 + n = -4*y for y.
5
Suppose -2*t - 5*k = -5, 0 = k + 1 - 0. Suppose 0*f - f + 23 = -2*i, -t*f + 5*i = -120. Solve -6*u + u + f = 0 for u.
5
Let f(g) = -g**2 + 6*g - 3. Let z be f(5). Solve 0*y + z*y = -10 for y.
-5
Let i(r) = -r**3