8*z + 60*z - 24 = 0. Solve -u = z*b - 6*b for b.
4
Suppose -3*r + r - 2*o + 2 = 0, -3*r + 4*o + 10 = 0. Suppose 0 = z - 4, 0 = -15*u + 4*u + z + 51. Solve -r*a + u = 3*a for a.
1
Suppose -n = n + 2, -4*p - 4*n + 12 = 0. Suppose 6*z - 2*q = z + 42, 3*q - 29 = -p*z. Let b = z + -7. Solve -4 = f - b for f.
-3
Suppose 95 = -3*v - 2*v. Let l = 51 + v. Let b = -12 + l. Solve 5*r = r + b for r.
5
Let i(j) = -2 + j + 13*j**2 - 15*j**2 - 2*j**3 + 3*j**3. Let v be i(2). Solve v*l + 3 = l for l.
3
Let p = 27 - 22. Let k = p - 1. Solve -k*f = -7 - 5 for f.
3
Suppose 7 = z + 4. Suppose -z*q - 2 = -20. Solve q + 3 = 3*d for d.
3
Let v be 56/(-6) + (-10)/15. Let g(n) = -n - 10. Let h be g(v). Let r(x) = x**3 - x - 3. Let p be r(2). Solve h = o + p - 2 for o.
-1
Let m be (-8)/6*-6 - (4 - -1). Solve -l + 3*l = m*l for l.
0
Suppose 0 = 217*l - 212*l - 5. Let o be (3 - 2) + 0 - (2 - l). Solve o = 2*i - 3 - 1 for i.
2
Suppose -9 = -4*c + g, 2*g + 2 + 8 = 0. Let k(d) = 6*d**2 + 2*d - 2. Let t be k(c). Solve 2*y + 0*y = -t for y.
-3
Let p = 4 + 3. Let g(r) = r - 3 + p + 18 + 0*r. Let u be g(-15). Solve -3*k + u*k = 0 for k.
0
Let m = -71 + 76. Solve m*x - 3*x = 4 for x.
2
Let c(a) = 3 - a**2 - 7 - 5 - 6*a + 2. Let k be c(-3). Solve -k*j = 2*j - 8 for j.
2
Let n(p) = p - 6. Let z be n(7). Let h be 0/(-1) + (z - -1). Let l be (3/h)/((-4)/(-8)). Solve o - l*o = 10 for o.
-5
Suppose 0 = 4*m + 3*d - 53, 2*d = 88*m - 90*m + 26. Solve 2*c - 9*c = m for c.
-2
Let m = 18 + -12. Suppose -4*b + 8 = r, 5*r = -b + 1 + 20. Solve -l - r + m = 0 for l.
2
Suppose 0 = v + 25 - 22. Let p(t) = -5*t - 6. Let b be p(v). Solve 0 = z + 2*z + b for z.
-3
Suppose 6*x - 14 = 10. Solve -x*j + 0*j = 20 for j.
-5
Let j = 56 - 17. Suppose -4*c = 3*p - 209, -99 - j = -2*p - 3*c. Suppose 3*t - 8 = -3*v - 2*v, 5*t - p = 4*v. Solve -4*y - 1 = t for y.
-3
Suppose -3*s = -5*h - 9, -2*h + 15 = 5*s - h. Let p = -253 + 253. Let m = s - p. Solve m*x = 2 + 1 for x.
1
Let t = -867 - -880. Solve -3*u = -t*u - 20 for u.
-2
Let u(m) = 8*m**2 - m - 2. Let k be u(1). Solve k = -3*p - 10 for p.
-5
Let u be (1 - 2/1)*(-1 - -1). Suppose 33 = 4*n + 3*j, j = n - 13 - 4. Solve u = 2*y + 4 - n for y.
4
Suppose -n - k - 4 = 0, 11*n - 6*n - 4 = k. Solve n = 3*t - t for t.
0
Let g = -10 - -20. Let k(y) = -y**3 + 16*y**2 - 14*y - 9. Let q be k(15). Suppose 0 = -l - 3 + q. Solve 2*p + l*p = -g for p.
-2
Suppose -30*v + v = -58. Solve -4*j + 3*j - v = 0 for j.
-2
Let x be (-3)/6*(0 - 0). Suppose -3*p + 19 = -4*i, -7*i + 4*i - 13 = -2*p. Solve -r + p*r - 4 = x for r.
1
Suppose -17 = -5*m + 2*l, m = -0*m - 2*l + 1. Solve 4*t = m*t + 6*t for t.
0
Suppose v - r - 2*r - 25 = 0, 0 = -5*v - 2*r + 57. Suppose -b + 3*m = -v, 2*b - 5*m + 9 = 32. Suppose b*s - 15 = -s. Solve 0 = 2*g - s + 1 for g.
1
Suppose 2*f = -2 - 0. Let t be 1/(f - (-2 + 2)). Let d = 1 - t. Solve -1 - 1 = -d*n for n.
1
Suppose 0 = 2*y - 2*r - 16, -3*r = -2*y + 5*y - 42. Solve -l + y*l = 30 for l.
3
Let s(q) = q + 2*q - 9*q**2 + q**3 + 6*q**2. Let i be s(2). Solve i*p - 10 = -0*p for p.
5
Let z be (3 - 1) + 0 + -1. Suppose -2*q - 2*m + 18 = 0, 5*q - 12 = m + 9. Suppose -2*a + 3*d + 18 = a, -q*a - 4*d + 57 = 0. Solve 0 = -4*j + z - a for j.
-2
Suppose 2*v = 4*v + 3*v. Let c be (v + -2 - -2)/(-1). Suppose h = 3*h. Solve h = s - 1 - c for s.
1
Suppose -3*n = 5*t - 166, -96 = -3*t - n - 2*n. Let j = -175 - -175. Suppose 2*m + 3*m = o + 30, -3*m + o + 20 = j. Solve 0 = -m*y + t - 10 for y.
5
Let p = -93 - -47. Let t = -44 - p. Solve -2*c - 2 = t for c.
-2
Let h(a) = -6*a - 2*a**2 - 1 + 6 - 2. Let o be h(-3). Solve 2 = -2*y + o*y for y.
2
Let l = -194 - -198. Solve 0 = l*j - j for j.
0
Let a(b) = 2*b + 0*b**3 - 2 + b**3 + 3*b + 5 + 4*b**2. Let j be a(-3). Let f = 12 + j. Solve 3*n + 3 + f = 0 for n.
-4
Suppose 0 = 8*x + 1109 - 1269. Solve x - 10 = 2*a for a.
5
Suppose 12*t = p + 15*t - 20, 4*t + 13 = p. Solve -p*x = -7*x - 30 for x.
3
Suppose 0 = 10*y + 14*y - 360. Solve 8*x - y = 3*x for x.
3
Suppose 0 = 5*m - 0*m. Suppose -g - 9 = -4*q + 5, 0 = -5*g + 2*q - 106. Let f = -18 - g. Solve m = -f*i + 15 + 1 for i.
4
Let o(h) = -h**2 - 8*h - 3. Let x = 27 - 33. Let j be o(x). Solve y - j = -2*y for y.
3
Let c(q) = q**3 - 15*q**2 + q + 11. Let p be c(15). Suppose r - 3*a - 53 = 0, 6*a = 4*r + 2*a - 180. Let x = r - p. Solve -x = -7*f + 2*f for f.
3
Let m = 49 - 46. Suppose q - 75 = -5*d, 0*q - 23 = -3*d - 5*q. Solve c + d = -m*c for c.
-4
Suppose 251*q - 1260 = 209*q. Solve q + 0 = -6*k for k.
-5
Let z = -1 - -1. Suppose -5*r = 4*h - 22 - 49, z = -r - 5*h + 10. Let o = r - 9. Solve o*s = s for s.
0
Let s(u) = -4*u - 7. Let r be s(-3). Suppose -d + r*d = 52. Suppose 12*m - d*m = -1. Solve -21 + m = 5*g for g.
-4
Let w(f) = f**2 + 7*f + 9. Let s be 9/((-4)/(-8)*-3). Let o be w(s). Suppose o*r - 10 = 4*m - 2*m, r = 2*m - 2. Solve -4*p + r + 10 = 0 for p.
4
Let d = -19 - -18. Let l = 4 - d. Let c be ((-48)/40)/((-1)/l). Solve c*z = 2*z - 12 for z.
-3
Let n(j) = j**3 + 3*j**2 - j. Let z be n(-3). Suppose k = 4*p - 12, z*k + 4*p - 24 = k. Let u be (-6)/9 + 17/3. Solve 3*b - u = k*b for b.
-5
Let p be 12/(-10)*((-44)/6 - -4). Suppose -3*q - y + 10 = 0, y + 3*y - p = 0. Solve -1 = -q*z - 16 for z.
-5
Let q(o) = -o**3 - o + 3. Let w be q(0). Suppose -5*d + 3*s + 46 = -w*d, -2*s - 4 = 0. Solve g + d = -3*g for g.
-5
Let f(o) = -2*o + 2. Let c be f(0). Let s be c/(-6) + 31/3. Let l = 14 - s. Solve -g - g = l for g.
-2
Let h(k) be the second derivative of k**4/6 - k**3/3 - k**2/2 - 254*k. Suppose -5*m + 23 = 4*d, -2*d + m - 8 = -3*m. Let t be h(d). Solve 2*s = -t*s for s.
0
Suppose -4 = -5*g + 46. Let y = -3 - -3. Let f(b) = -b**3 + b**2 - b + 3. Let d be f(y). Solve -d*h + g = -2 for h.
4
Let k(q) = -q**3 + 14*q**2 + 14*q + 10. Let u be k(15). Let n(d) = -8*d - 9. Let h be n(u). Let p = 36 - h. Solve -5 - p = -5*i for i.
2
Let c(k) = -k**2 - 6*k - 2. Let j be c(-5). Suppose -2*q - 6 = -3*h, 0 = 3*h - 5*q + 2*q - j. Suppose 0 = -26*a + 17 - 17. Solve h = -a*z - 2*z for z.
-2
Suppose 8 = 5*j + 3*u, -4 = -4*u - 0. Suppose -j = -2*n - 1. Solve 3*t + t + 20 = n for t.
-5
Let c(i) = -2*i + 18. Let s be c(6). Let h be ((-4)/s)/(4/(-12)). Solve 1 = h*b - 1 for b.
1
Let d(v) = v**2 + 24*v + 23. Suppose 127 = -5*b + 4*h + 12, 0 = 3*b + 3*h + 69. Let y be d(b). Solve y = 5*c - c - 8 for c.
2
Let n = -1179 - -1186. Solve -54 + 19 = -n*t for t.
5
Let j be ((-126)/24)/((-2)/(-16)*-3). Let r be (-2178)/(-126) - (32/j + -2). Solve -4*n + 3 + r = 0 for n.
5
Let n be (-70)/(-10) - -6*4/(-12). Solve -3 = -4*x + n*x for x.
-3
Suppose 10 = -5*d - 5*m + 45, 4*m = 0. Solve -6 = d*f - f for f.
-1
Suppose 13*m - 164 = -8. Solve m = 2*w + 2*w for w.
3
Let k(f) = -f + 2. Let a be k(4). Let p be -2 + (-4)/(2/a). Solve -1 - p = -b for b.
3
Suppose -5*j - 5 = 0, 4*w - 12 = 3*j - 89. Let y = -17 - w. Solve y*f + 10 = -2*f for f.
-2
Let n be (-1)/2*(2 - 6). Let i(s) = s**2 - 17*s + 3. Let z be i(17). Suppose 0*j - k = 3*j - 9, -5*k + 15 = 5*j. Solve n*f - z = j*f for f.
-3
Let c be 30/(-2)*(-25)/(-5). Let o = c - -82. Solve o - 3 = 2*n for n.
2
Let p(d) = d**2 + d - 1. Let v be p(-3). Suppose 84 = -2*i - 4*m, -130 = 3*i - 0*m + 4*m. Let j = i - -66. Solve -5 - j = -v*r for r.
5
Suppose -5*x = -10, -15 = -3*c - 5*x + 8*x. Solve 15 = c*o - 13 for o.
4
Let t = -13 + 12. Let y be (t + 3)*(2 + -1). Suppose -3*i - 5*x = -10, y*i + 2*x = i + 4. Solve 4*z + i*z - 4 = 0 for z.
1
Let l = -196 + 204. Solve -7*u + l*u - 3 = 0 for u.
3
Suppose 3*a + n - 199 = 0, 3*n = 3*a - 307 + 88. Solve -a = 22*h + 20 for h.
-4
Suppose 5*i + 2*o - 10 = 0, -5*i = -3*i + 5*o + 17. Let y(q) = 3*q + 2*q + 2 + 4*q - 8*q. Let z be y(i). Solve 0 = -z*h + 3*h + 12 for h.
4
Let l = -51 + -51. Let n = 104 + l. Solve n*k = 7*k for k.
0
Let f(s) = s. Let p be f(-1). Let y = -1 - p. Suppose -2*h - 3*h = y. Solve h*x = 3*x - 15 for x.
5
Suppose 0 = 2*r - 3*s - 8, 9*r - 6*r - 11 = 4*s. Solve 16 - r = -5*k for k.
-3
Let u(f) = -f**2 - 10*f - 6. Let x be u(-9). Suppose 5*o = -2*a + 10 - 5, 1 = -a + o. Solve a = 2*w + x*w - 10 for w.
2
Let t = -10 + 10. Suppose 5*a - 3*k - 3 = t, 2*a + 0*k = 3*k + 3. Suppose -4 = -z - a. Solve 8 = -z*p + 4 for p.
-1
Suppose 16 = -0*d + d. Let g = d - 13. Let h be (0/2)/(3 + -1). Solve y - 2 - g = h for y.
5
Let f = -31 - -1