4*y - 2*w - 8 - 6, 2*y + s = -2*w for y.
1
Suppose 2*b + 2*b - 140 = 0. Let g be 34/10 + 21/b. Solve -2*l - 3 = 5*p - g, l = -p + 2 for l.
3
Suppose -6*p = 77 - 113. Solve -2*x = 4*v + p, -6*x + 2 = 2*v - 4*x for v.
-4
Suppose 4*s = 14 - 6. Let t be 0 - (3/(-4) + (-6)/(-8)). Suppose -7*o + 14 + 0 = t. Solve -o*v = s*k - 16, -v + 4*k = 18 - 6 for v.
4
Suppose 0 = 3*s - 5*a + 3, a + 9 = -4*s + 6*a. Let i be ((-6)/4 - 1)*s. Solve -2*g + q - i = 6*q, 3*g + 2*q = 5 for g.
5
Suppose -155 = -5*d + 20. Let k = -21 + d. Solve 0 = -4*n - c - 2*c + 20, 3*n + 2*c - k = 0 for n.
2
Suppose -5*o + 0 + 10 = 0. Solve -2*w = -0*w + 2, -5*w - o = 3*i for i.
1
Let u(a) = -a**2 - 5*a - 2. Let j be u(-3). Let w(f) = 1 - 3 - j*f + f + f. Let q be w(-12). Solve 4*x + 3*o = 23, -4*o = x - 0*o - q for x.
2
Suppose -3*n = x + 11, 5*n = -2*x + 3*x - 13. Let v = 14 + -17. Let i = n - v. Solve -y + 2*y = i, c = y - 3 for c.
-3
Let z(i) = i**3 + 11*i**2 + 26*i + 18. Let k be z(-8). Solve -w - 4*n = -n + 3, -3*n = k*w for w.
3
Let a(f) = -7*f**3 + 1. Let x be a(1). Let d(t) = t**2 + 7*t + 9. Let u be d(x). Solve 2*m + 4 = -3*q, 0*q - u = q + m for q.
2
Let k = 101 - 98. Solve 0 = -y + n + 2 + k, -y = 2*n - 2 for y.
4
Let m(l) = -l + 37. Let d be m(34). Solve -4*s + 5*n = -0*n - 5, -3*s + 24 = d*n for s.
5
Suppose v + 9 = -4*l + 21, -2*v - 6 = -2*l. Suppose g = -4*g + 105. Solve 3*c + g = -4*s - v*s, 2*s = -3*c - 15 for s.
-3
Suppose q = -4*q + 60. Let s(x) = -3*x + 20. Let o be s(6). Let n be o*(-2 - -4 - -2). Solve 5*r + q = -2*b + 4*b, -n = -3*r + 5*b for r.
-4
Let c be 6/1 + (-10 - -15). Solve 37 = -3*w - 5*n, -3*n + 2*n + c = -4*w for w.
-4
Suppose 5*s - 7*s + 40 = 0. Suppose -10 = -2*v + g, 12*v = 13*v + 2*g - 10. Solve -3*q - v*c = -4*c - 5, 0 = q + 5*c + s for q.
5
Let l = 39 + -17. Suppose 15*u - 251 = 259. Let f = u - l. Solve -6*n = -3*n + 5*m - f, 0 = 4*n + m - 16 for n.
4
Let h = 38 + -34. Suppose 16 = -4*j - h, -5*m = -j - 30. Solve -4*w - 5*c + 3*c - 4 = 0, -m*w - 35 = -5*c for w.
-3
Suppose 4*v - 2*g + 7*g - 47 = 0, 5*v = -g + 43. Solve 0 = 2*n - 5*z + 11, 0 = -2*n - 0*z + 2*z - v for n.
-3
Let z(u) = -u**2 + 4*u + 5. Let o be z(9). Let l = o - -44. Suppose -l = -i - r, -2*i + 4*r + 8 = -0*i. Solve 0 = -3*y - 4*p - 1, -i = -2*p + 6*p for y.
1
Let q(v) = -v**3 - 2*v**2 + v - 7. Let c be q(-3). Let u be (-1)/(-4 + 3) - c. Solve w - 4*w = -3*s + 12, u*w = -2*s - 4 for s.
1
Suppose 45 - 153 = -54*c. Solve 5*g - 4 = 2*t - 14, 4 = -t - c*g for t.
0
Let l(i) = -2. Let t(v) = -2*v + 29. Let y(w) = -5*l(w) + t(w). Let k be y(18). Solve 0*x = -3*x - k*r - 3, 0 = 4*x - 3*r + 18 for x.
-3
Let y(c) = c + 2. Let f be y(1). Suppose 0 = -3*b + 4*b - f. Solve -5*w + 3*s - 2*s - 24 = 0, 20 = -2*w + b*s for w.
-4
Suppose 0*v = -v - 27. Let c = v - -42. Solve 2*k + 3*d = 2*d + 10, d = -3*k + c for k.
5
Suppose -f + 3*y + 8 = 0, -3*f + 2*y + 1 = 2*f. Let j be f/(22/(-10) + 2). Suppose -38 - 2 = -4*i. Solve -2*d = -3*l - 27 + 2, j*d = -3*l + i for d.
5
Let b = -6 - -11. Suppose b*i = 12 - 2. Solve i*d + 6 = 3*u - 2*d, -2*u - 3*d = -4 for u.
2
Let s(c) = c - 7. Let r be s(7). Suppose -7*b + 2*b + 15 = r. Solve 0 = 3*l + b*k + 9, -k = -4*k - 12 for l.
1
Suppose 5*p - 10 = -2*b, b + 2 = -3*p + 8. Let o be 4/(-6) - p/(-3). Suppose -3*d + o*d = -15. Solve -u - 8 = u - 4*g, 0 = 5*u + d*g + 20 for u.
-4
Suppose q = -5*h - 2*q + 88, h + 3*q = 8. Suppose -11*c + 6*c = -h. Solve 5*n - 5*s = 20, -4*n + s = c*s - 16 for n.
4
Let v(z) = -12*z + 588. Let q be v(49). Solve s + 1 = -x, q = 3*x - 0*s + 5*s - 1 for x.
-3
Suppose -26 + 41 = -5*w. Suppose 2*p + 8 = 4. Let z be (-2 + p)*w/3. Solve 0 = -2*l - z*v - 22, -8 = -5*l - 4*v - 33 for l.
-1
Let j(v) = v**2 + 10*v + 20. Let t be j(-8). Solve -t*z + 8 = 4*o, 0 = 2*z - 2*o + 3*o for z.
-2
Let b(z) = -z**3 - 9*z**2 - 10*z - 7. Let y be b(-8). Let k(c) = -74*c - 368. Let j be k(-5). Solve -y = -2*m + f, -2*m + j*f = m - 13 for m.
5
Suppose -5*w - 272 = 4*t, -4*t - 34 = w + 30. Let f = 75 + w. Suppose -39*x + 34*x + 55 = 0. Solve -4*r + 6*m - x = m, -f = 5*r + 3*m for r.
-4
Let p(i) be the third derivative of -i**5/20 + 5*i**4/8 - 15*i**2. Let j be p(4). Solve 2*u + 4*d = -14, -4*d = -4*u - 2*d + j for u.
1
Suppose -8*o - 28 = -15*o. Solve -x = -o*s - 3 - 4, 0 = 2*x + 5*s - 1 for x.
3
Let k be 4 + (-3)/(-1) + -2. Let t = 1408 + -1405. Solve 4*z - 2*f + 10 = 0, k*f = t*z - 4 + 29 for z.
0
Suppose 0 = 16*o - 28*o + 36. Solve 2*j - 3*x - 2 = o, -5*x - 4 = j for j.
1
Let s = -203 - -204. Solve -2*n - 2*a - a = 0, s = -n - a for n.
-3
Let o be ((-8)/(-5))/((-10)/(-25)). Let r = 3 + o. Solve 5*a + 27 = -2*j, 5*j - 2 = -r for a.
-5
Let p(c) = c**2 + 0 + 58*c - 27*c + 8 - 24*c. Let x be p(-7). Suppose -z + 3*r - 8 = 0, -2*z + 5*r = z + x. Solve 0 = -4*t + 2*i + z, 2 = 2*t + i - 0*i for t.
1
Let b = 213 - 209. Solve 0 = h - 4*o - 13, -b*h + 19 = -0*h - 5*o for h.
1
Let z be (0 + 25/(-10))*-4. Let u be 2*(-9)/((-45)/z). Solve -3*b + u = 5*p, -5*p = -5*b + 5 + 15 for p.
-1
Let u(j) = -j**3 - 2*j**2 - 3*j - 2. Let k be u(-2). Let b be k/(-12)*-3 - -1. Suppose -9 = -b*d - 1. Solve -p = -3*a + d*p + 7, a - 2*p = 2 for a.
4
Suppose -24 + 104 = 2*g. Let t = 53 - g. Solve 3*l - 4*s = 7*l + 4, t = -l - 5*s for l.
2
Let n = 1899 + -1897. Solve -g - 4*y = -2, 3*g + n*y - 4 = 2 for g.
2
Let h be 29/6 - (-6)/36. Suppose -3*p - 10 = -h*p. Suppose -2*w - p*c = -3*c - 6, -5*c = 4*w - 13. Solve 0 = w*v - 6, 2*i + 5*v + 1 = 12 for i.
-2
Suppose 0 = -2*q + 4*q - 2, 3*q = 5*f - 7. Let i = -12 - 25. Let p = i - -41. Solve -10 = f*j, -2*n + p*n + 4*j = -20 for n.
0
Let b(c) = c**2 + 8*c + 16. Let g be b(-6). Solve g*v = 2*s + 8, s + 21 = 5*v + 4*s for v.
3
Let t be 5 + (-5 - 6) + 8. Solve o = t*q - 8, 2*q - q - 4*o = 18 for q.
2
Let d = 9 + 10. Solve -5*k - d = f, 0 = -0*k - 2*k - 4*f - 22 for k.
-3
Let z be (4/(-3))/((-3)/(-18)). Let u be (15/2)/((-6)/z). Let q(y) = -8*y - 20. Let n be q(-3). Solve n*t - 14 = 5*b, -b = 2*b - 4*t + u for b.
-2
Suppose 3*q + k - 414 = 0, -552 = -q - 3*q + 3*k. Let o = q - 133. Solve 3*m - d - 9 = 0, -5*d - 8 = -o*m - 3 for m.
4
Let t(o) = o**3 + 4*o + 4. Let n be t(-1). Let z be n*(-3 + 7) - 1*-4. Solve -5*q - 15 = -4*d, q + 3*d - 8 - 8 = z for q.
1
Suppose a = -2*k + 73, -11*k - 19 = -12*k + 3*a. Solve s - 5*m + 14 = k, -2*s + 8 = -2*m for s.
0
Let o be 7/(-14)*0/1. Let x be 6 - (2 - o) - -3. Suppose 6*w - x = 17. Solve 2*v + 5*d - 6 = 0, 0*v - 5*d = -w*v + 12 for v.
3
Let y be 8/1*10/8. Let x = 10 - y. Suppose x = -2*v + 6*v + 3*s - 12, 2*s = 0. Solve v*g + 7 = 1, b - 5*g = 12 for b.
2
Suppose 3*j - 8*w + 2 = 0, -17 = -3*j - w - 10. Solve j*g - 28 = 5*m, 5*m - 3*m - 5*g = -28 for m.
-4
Let c = -280 + 289. Solve p + 0 = -2*h - c, -4*p - 21 = 5*h for h.
-5
Let w = 213 + -209. Solve -3*q = -2*l - 6*q - 5, w*l + 3*q = -13 for l.
-4
Suppose 44 = -4*v + 26*v. Suppose 0 = -4*u - 4*w + 20, -15 = -3*w - v*w. Solve 2*i = 3*i + 4*c - 8, 0 = -u*i - 2*c + 10 for i.
4
Let r = -1 - 4. Let b be (1 - 0) + r + 3. Let l be -1 + b/(2/(-8)). Solve 4*d - l*p - 3 = 0, 2*d - 6*d = -4*p for d.
3
Suppose 9 = 55*v - 52*v. Suppose 0*n - 2*n = 4*m - 16, -n - 2 = -v*m. Solve r = 5*q - 27, 2 = m*r + 6 for q.
5
Let h(q) = -2*q**3 - 36*q**2 - 138*q - 8. Let k be h(-5). Solve 5*z = 3*d + 2 - 10, -5*z - k = 3*d for d.
-4
Suppose 16 = w + w. Solve -4*a = -w, 1 - 13 = f - 5*a for f.
-2
Suppose l + 7 = -0*l. Let o = 9 + l. Let z be (-3 + 6/2)/o. Solve -2*p - 3*v = 9, z*p + 2*v = -5*p - 17 for p.
-3
Suppose -4*v + 51 = -2*v + 5*r, -2*v + 2*r + 58 = 0. Let p be 3/(-12)*-1*12. Suppose -m - v = -p*m. Solve h + m = -o + 4*h, 3*o - 3*h = -24 for o.
-5
Let h be (-4)/(-8) + (-14)/(-4). Suppose k + h*g + 33 = -2, 5*k + 5*g = -130. Let u = 27 + k. Solve -3*a - a - 19 = -j, -j - u*a - 13 = 0 for j.
3
Let g be 5 + 0/(-2 - 0). Suppose 5*o - g*p = -p + 130, 5*p = -5*o + 175. Suppose 5*m - 39 - 5 = -6*m. Solve -z = -4*y - 3, -3*y - o + 4 = m*z for z.
-5
Let c = -112 - -114. Let u be 2/(-3) - 8/(-3). Let o be 2/(-6)*15*(-3)/3. Solve -2*h - 12 = u*n, h - c*h + o*n + 12 = 0 for h.
-3
Let u be 4 + 0 + 1 - 1. Let r = -1054 + 1054. Solve 0 = -u*a - 4, 3*a + r*a + 6 = d for d.
3
Let v = 20 + -18. Suppose 0 = v*w + w + 3*z - 3, 5*w = -3*z + 13. Solve 3*o - 24 + 3 = -3*j, 0 = -w*j - o + 19 for j.
3
Let