 7*j - 8. Suppose 0 = -j*v - 4*v + 54. Let x(z) = z**3 - 10*z**2 + 8*z + 9. Let n be x(v). Solve n = 3*k - 1 - 2 for k.
1
Let c(k) = k**2 + 6 + k**3 - k**2. Suppose 5*z - 2*p = -2, 0 = 4*z + 5*p - 4*p - 1. Let m be c(z). Solve m = -2*h - h for h.
-2
Let n = -11 + 11. Suppose -2*c - 6*r + 2 = -2*r, 2*c = -r + 17. Suppose c*w - 13*w + 2 = 0. Solve -d = -w - n for d.
1
Let d(b) = -b**2 + 2*b - 1. Let a be d(3). Let i be (0/1)/(1 + a). Suppose -v - 7 + 8 = i. Solve 2*f - 1 = v for f.
1
Let a be 5/20 + (-15)/(-4). Suppose -4 = 2*w - a*w. Let k be (w/(-4))/((-4)/24). Solve -9 = -k*d + 6 for d.
5
Suppose t + 35 = 6*t - 3*d, d + 17 = 3*t. Let z be 1269/81 - 1/((-6)/(-4)). Solve -t*c - z = 1 for c.
-4
Suppose y + 3*n + 0 = -8, 5*n + 13 = -2*y. Suppose -w = f + y, -8*w - 4 = -3*w + 4*f. Solve -5*a + 4*a + 5 = w for a.
5
Let g be (-16)/(-56) - (-556)/14. Let q = g - 35. Let a(c) = 6*c**2 + 5*c + 3. Let v be a(-3). Solve q*k - v = -17 for k.
5
Suppose 135 + 5 = 20*r. Solve 0 = 4*q - r*q - 6 for q.
-2
Suppose -1 = 3*x + 3*n + 2, -5 = 5*n. Suppose -5*o + 5*r = -30, -4*o + r + 16 = 1. Suppose -o*y + 6*i + 3 = 2*i, -5*i = -15. Solve -y = u - x*u for u.
-5
Let x(r) = r**3 - 6*r**2 + 6*r - 2. Let u be x(5). Suppose -u = -3*z + 9. Suppose 5*s = -z*k + 14, -4*s - 4*k = -1 - 11. Solve b - 12 = -s*b for b.
4
Let o = 294 - 288. Solve -9*c = -o*c + 9 for c.
-3
Suppose 3*w = -33 + 33. Suppose -15 = -3*i + 2*d, -5*i + w*i + d = -18. Solve 17 = -i*n + 5 for n.
-4
Suppose -3*q = -6 - 9. Suppose 23 = q*i - 4*c, -44 = -5*i + 4*c - 7*c. Solve -3 = -4*k - i for k.
-1
Let o be (-6)/(-4) + (-418)/4. Let f = -102 - o. Suppose 3*x = -5*k - 14, -3*x = 2*x - 5*k - 30. Solve -5 = x*b + f for b.
-3
Suppose -4*o + 4*n = -8, o = -3*n + 4 + 2. Solve 0 = -o*z - 2 - 13 for z.
-5
Let i(d) = d**2 - 3*d - 7. Let u(y) = -y**2 - 5*y + 5. Let x be u(-4). Suppose x + 1 = 2*n. Let g be i(n). Solve 0*r + g = r for r.
3
Let j(i) = 5*i + 3*i**2 - 12 + 18 - 2*i**2. Let t be j(-4). Solve 3 = -q - t for q.
-5
Let z(h) = h**3 + 4*h**2 - 3*h + 2. Let b be z(-4). Suppose r - 15 = -b. Solve 4*i - r = 3 for i.
1
Suppose 0*u + 12 = 2*u. Let l = u - 1. Let d be (-8)/l*20/(-8). Solve r = d*r for r.
0
Let t(k) = k**3 + 5*k**2 + 2*k + 1. Let n be t(-4). Let f(w) = w. Let o be f(4). Suppose -c = 2*a - 1 - n, c + o*a = 18. Solve -c*i = -3*i for i.
0
Suppose -5*z = 5*j + 5, -5*j + 1 = 5*z - 3*z. Let f be ((-12)/(-18))/(z/(-21)). Solve 5 = f*a - 2*a for a.
1
Let t = -113 - -246. Suppose 5*p = -4*l + t, p - l - 48 = -p. Let n = p - 17. Solve 0 = -2*r - 0 + n for r.
4
Let n = -7 - -13. Let w be (-8)/3*(-9)/n. Suppose 3*b + w*p = 2*p + 1, -3*p = 12. Solve 2*a - 5 = b for a.
4
Let f = -17 - -16. Let q be 14 + f - 8/(-4). Let x be ((-10)/(-4))/(q/12). Solve 0 = 2*z + x*z for z.
0
Suppose 13 = 3*w + 4*g, w - 4*g = -2*g + 1. Suppose -w*z - 4*p = -22, -2*z = -4*z - 2*p + 12. Solve -z*k + 5*k - 3 = 0 for k.
1
Let r be 2 + -25 + 23 + (-1 - -1). Let c be 0 - -2 - (-2 + 1). Solve c*b + 2*b - 10 = r for b.
2
Let s be 13/5 - 28/(-70). Suppose s = -4*z + 11. Solve 0*o = -z*o - 10 for o.
-5
Suppose -5*g = 3*h - 8, -5*h - 4 = 7*g - 3*g. Solve -g = 5*r - r for r.
-1
Suppose 0 = -4*j - 12, 39 = 4*m - 2*j + 13. Suppose -3*g - g = -3*p + 15, -p + m = -4*g. Solve 4 = -c + p*c for c.
1
Let o = 32 + -31. Let g be (0/(-2 + o))/1. Solve -20 = -4*z - g*z for z.
5
Let c = 36 + -30. Let p = c - 4. Solve -a = -p + 4 for a.
-2
Let j be 10/4 + (-2)/4. Suppose 2*z + 2*y = 0, -4 = 5*z + 2*y - y. Let m(n) = n + 1. Let o be m(z). Solve -4 = -o*a + j*a for a.
-2
Let u be (-8)/12*9/2. Let o be 3 - 1*(u - -3). Suppose -3*z = -5*k + 2*z, 6 = o*k - z. Solve -k = 3*y - 4*y for y.
3
Suppose 3*c - 21 = -3*h, -2*h - 4*c = h - 25. Suppose 0 = -h*w - 5*p + 15, 2*p = -0*p. Solve -w*a - 9 = 1 for a.
-2
Let o = 69 + -15. Let w = o - 49. Solve 0 = -b + w*b for b.
0
Let x = 20 - 10. Suppose 37 = 4*y - 5*b, 0*b - 4*b = -y + 23. Solve 0 = -y*d - 2*d - x for d.
-2
Suppose -1 = u + q, 2*q - 20 = 7*q. Let k = -2 - -2. Suppose 4*c + t - 32 = 0, 0 = -k*t + 5*t. Solve -c = -u*s - s for s.
2
Let j(h) = 11*h - 88. Let r be j(8). Solve r = 2*i - 9 + 5 for i.
2
Let y be (0/(-4) + 8)/(4/6). Suppose -4*k + 16 = -0*k + 5*q, 3*q - y = -3*k. Solve -5*w = -k*w - 3 for w.
3
Suppose 3*j = -14 + 53. Suppose 5 = -v - 3*m, m + j = 4*v + 2*m. Suppose -3*k = -4*s + s + 12, -27 = -2*k - 5*s. Solve 0 = 5*i + v + k for i.
-1
Suppose z - 4*v + 2 = 0, -z - 16 = -5*z + 4*v. Solve 6*q = 3*q - z for q.
-2
Let h = -24 + 36. Suppose 3*q + 3 = 4*z - 1, 2*q - 16 = -2*z. Solve h - 4 = z*k for k.
2
Let q = -6 + 10. Solve 2*x - q*x - 4 = 0 for x.
-2
Let u(b) = -b**3 - 22*b**2 + 21*b - 45. Let f be (-824)/36 + (-1)/9. Let g be u(f). Solve 0 = 3*r + g + 5 for r.
-2
Suppose 4*h - 16 = -4*g - 0*g, -4*h = 2*g - 6. Suppose 6*q - 66 = -5*u + 2*q, -42 = -g*u + 2*q. Solve 3*t + u = 4 for t.
-2
Suppose 3*l = 4*t - 29, -6*t - 22 = -11*t - l. Solve t*g - 8 = g for g.
2
Let m(u) = 4*u. Let c be m(-2). Let a = -53 + 17. Let t = c - a. Solve t = 5*v + 8 for v.
4
Suppose -779 - 217 = 12*x. Let q = x + 84. Solve -q = s - 5 for s.
4
Let o(f) = 23*f + 1. Let x be o(1). Let b = 0 + x. Suppose -5*q - 9 = -b. Solve 0 = -q*z - z for z.
0
Suppose -20 + 21 = t. Let b(r) = 4*r**3 - 2*r**2 + r - 1. Let j be b(t). Solve -5 = j*g - 1 for g.
-2
Let a = 923 + -923. Solve -9*c + 2 - 11 = a for c.
-1
Suppose 2*c + 10 = -a, 4*c + 3*a + 26 = -c. Let v be (0 - 2)*1 - c. Solve -5 + v = -b for b.
3
Let f(j) = -4*j**3 - 2*j - 1. Let n be f(-1). Suppose -r + 22 = n*s - 0*r, 4*s = 4*r + 8. Solve 0 = s*l + 9 + 3 for l.
-3
Suppose -4*t = -2*h + 24, -4*h + 9 = -t - 4. Let c(u) = -3*u + 38. Let v be c(10). Suppose 0 = -3*p + 47 - v. Solve -p - h = 3*s for s.
-5
Let t(o) be the third derivative of o**4/12 + 2*o**3/3 + 2*o**2. Let u(z) = -3*z**2 + 14*z - 8. Let w be u(4). Let s be t(w). Solve 0 = -j - 3*j + s for j.
1
Let c(b) be the first derivative of b**2 + 6*b - 218. Let u = -5 + 2. Let v be c(u). Solve -3*n - 4 - 5 = v for n.
-3
Let a be ((-51)/9 - -6)/((-1)/(-24)*1). Suppose -3*y = 2*y - 20, 2*r - 3*y + 6 = 0. Suppose -q - 36 = -4*k, 2*k - 2*q = k + 2. Solve -r*v + k = -a*v for v.
-2
Suppose 0 = 4*t - 0*t - 8. Let r be (0/(-2))/(-1 + t). Let o(y) = -y**3 - 4*y**2 - 2*y + 4. Let n be o(-2). Solve -d + r*d = n for d.
0
Suppose -87*j - 4 = -88*j, 4*p - 2*j = 28. Solve -14*q + p = -5*q for q.
1
Let a be 6*1/(9/6) + 4. Solve 0 = 4*d - 6*d + a for d.
4
Let l = 37 - 37. Suppose -3*u = -4*x - l*x + 4, 12 = 4*u - x. Solve -17 = -u*r + 3 for r.
5
Suppose 3 = -5*k + 18, 2*r + 6 = 2*k. Solve r = 6*n - 10*n + 4 for n.
1
Let v be (2/10)/(3 + (-88)/30). Solve 0 = 5*t - v + 8 for t.
-1
Let k(f) = 4 + 6*f - 6*f**2 - 2*f**3 - 3 + f**3. Let n = -95 + 88. Let q be k(n). Solve 2*x - q = 4*x for x.
-4
Let a = -233 - -240. Solve -3*u = -1 + a for u.
-2
Suppose 0 = 2*d + 2*z + 8, -19*z - 12 = -4*d - 16*z. Solve 3*f - 4*f - 1 = d for f.
-1
Let b = -186 + 186. Solve b = -3*w - 2*w for w.
0
Suppose -3*k = 5*b - 486, b = -b - k + 194. Let n = 101 - b. Let c be ((0/(-3))/(-2))/(-2). Solve c = v + n for v.
-5
Let j be (2 - 1)/(3/6). Let h = -12 + 12. Solve -j + h = b for b.
-2
Let a be (3 - 30)/(9/(-6)). Let n = a - 18. Suppose 5*u - 6*u + 5 = n. Solve s = -u + 3 for s.
-2
Let m(v) = -5*v**3 - v**2 + v + 1. Let h(y) = y**2 + y - 3. Let q be 1*(1 + -2) + -1. Let g be h(q). Let x be m(g). Solve -x*l + 14 + 6 = 0 for l.
5
Suppose 4*o + 4*t = 104, t + 0*t = 3*o - 58. Suppose 23*s - 8 = o*s. Solve s*a + 0 = 4 for a.
1
Let p(i) = 3*i**2 + 15*i - 4. Let c(n) = -8*n**2 - 46*n + 11. Let r(u) = 4*c(u) + 11*p(u). Let t be r(19). Solve -12 = -t*w - 3*w for w.
4
Let y = 29 - 16. Let p(k) = -k**3 + 4*k**2 - 4. Let c be p(3). Suppose 0 = c*v - 7 - 3. Solve -y = -5*n + v for n.
3
Let a(k) = -k - 5. Suppose -2*o + 0 - 10 = 0, -4*j = -o + 19. Let z be a(j). Solve -14 - z = -5*q for q.
3
Let k(q) = 5*q**2 + 26*q + 19. Let f be k(-5). Solve 6*u + f = 2 for u.
-2
Let t(q) be the third derivative of 41*q**4/24 - q**3/6 + 2*q**2. Let o be t(1). Let y be 2/5 + 64/o. Solve d - y + 4 = 0 for d.
-2
Suppose -2*i - 30 = 148. Let b = -83 - i. Solve 25 = -b*o + o for o.
-5
Let f(v) = -6 - 14*v + 1 + 16*v - 9. Let a be f(8). Solve -a = 4*t - 6 for t.
1
Suppose 0 = i - 3, 5*x - 4*i + 2*i = 99. Solve -1