g = w, k*w + 2*g + 10 = n for w.
-4
Suppose 2*f = -0*f + 38. Suppose 6 = 5*u - f. Solve n + 1 = -3*g - 4, -4*n = -3*g + u for n.
-2
Let m(h) = 5*h**2 - 1. Let g be m(-1). Let s = 2206 - 2200. Let f be (-3)/(-2) + 2/4. Solve 8 = -f*r - g*j, -r + s*r = 4*j + 36 for r.
4
Let u be ((-23)/(-3))/1 - (-2)/(-3). Suppose s - 4*o = -12, s + 8 = 4*s - o. Let i = u - s. Solve 7*w = -i*z + 2*w + 4, -3*w + 6 = 0 for z.
-2
Suppose 0 = -4*b + 5*b - 8*b. Solve -5*a - 34 = 3*n, 4*n + 0*a + 3*a + 27 = b for n.
-3
Suppose -a = -5*i - 67 + 170, 3*a + 29 = i. Solve 2*f = -5*b + 7 + i, 2*f - 3*b + 13 = 0 for f.
1
Suppose -10*c + 794 = 734. Solve 4*r - 3*r - g = c, 0 = -5*g - 15 for r.
3
Let g be ((-9)/6)/(18/(-228)). Let a = 23 - g. Solve 0 = 2*w - 0*w - a*m - 16, 4*w - 11 = m for w.
2
Suppose 2*y + 5*n - 78 = 0, -4*n = -0*y + 2*y - 78. Let w = 55 - y. Solve -3*i + 4*k = -11, -5*k = -5*i + w - 1 for i.
1
Suppose 6*r - 14 - 10 = 0. Let x be -3*(r/(-3) - 0). Solve 2*z + x*s = -2*z + 28, -5*s = -2*z - 14 for z.
3
Let q(d) = 28*d**2 + 2*d - 2. Let a be q(2). Suppose -o - a + 118 = 0. Let w = 5 - 3. Solve 0 = -0*z + 3*z + c - 7, o*z + w*c = 8 for z.
3
Suppose 4*o + 349 = -11. Let d = o - -92. Suppose 2*x + 3*x = j - 5, 0 = 4*j - 4*x - 4. Solve 5*t = -g + 2*g - d, 5*g + t - 10 = j for g.
2
Suppose 0 = -80*m + 348 - 108. Solve 24 - 6 = r + 4*q, m*r + 11 = q for r.
-2
Let g be (17 + -14)/(3/35). Let r = g + -30. Solve -i + r*t - 2 = 4*t, 2*i - 5*t - 2 = 0 for i.
-4
Suppose -4*f = -2*f - 12. Let z(l) = l - 4. Let m be z(f). Suppose 2*u = -m*u + 8. Solve -b - 11 = -5*n, -3*n + 13 = -b + u*b for b.
4
Let m(z) = -2*z**2 + 14*z**3 - 2 - 35*z**3 - z - 16*z**3 - 3*z. Let k be m(-1). Solve -4*v + 5*p = 13 - k, -v = -2*p - 9 for v.
1
Let u = -201 + 205. Solve 3*y + 6 = -2*y - u*m, 2*y = 3*m + 16 for y.
2
Suppose 23 = 7*a - 26. Let s be (2 - 12/a) + (-8)/28. Suppose 0 = 2*u - 1 - 3. Solve -5*j - u*k - 25 = -k, 2*k + 10 = s for j.
-4
Suppose -7*r = 11*r. Let m be ((-24)/20)/((-4)/10). Suppose m*c - 8*c = 3*x - 98, -5*x = 4*c - 146. Solve r*b + o - 10 = -2*b, -2*b + x = 5*o for b.
3
Suppose -5*k = 2*b - 4, -1 + 5 = 2*b + 4*k. Suppose -b*z - 2 = -a - 3, -5*a + 40 = 5*z. Solve 0 = -5*l + 5*h + 35, 11 = -z*l + 5*h + 38 for l.
4
Suppose 0 = 3*h - 2*i - 23, -33 = -4*h - h + 2*i. Suppose m = h*m - 20. Solve -k = 5*a + 10, 0 = -2*k + 5*a - m + 30 for k.
5
Let u(f) = -f**2 + 32*f + 71. Let n be u(34). Solve -3*l - 5*h - 8 = 0, -7*l - n*h = -2*l - 8 for l.
4
Suppose 0 = 2*x - 70 + 60. Solve -2*c - 2*c - 2*q = -14, x*c - 34 = 3*q for c.
5
Let o be 18/8 - (-18)/(-72). Suppose -4*r = -3*v - o*r + 5, -v - r = -10. Solve -2*i - 6 = -v*p + 5, -5*p = 4*i + 7 for i.
-3
Let p(s) = s**2 - 15*s + 23. Let n be p(13). Let c be (5 + -2 + n)/2. Solve -k = 5*u + 11, c*k + 5*k - 20 = 0 for u.
-3
Let l = 4 - 3. Suppose -3*f + 28 - 34 = -k, -4*f = 5*k - 11. Solve 0 = -3*q + 2*m + l, -5*q + 7*q + 6 = k*m for q.
3
Suppose 60*m = 57*m + 18. Solve 0*s - 6 = b - s, -3*s = 5*b + m for b.
-3
Let o(p) = -p**3 - 16*p**2 - 15*p + 8. Let l be o(-15). Suppose -v - 14 = -l*v. Solve -5*r - 2*x = 5, -v*r - 13 = -0*r + 3*x for r.
1
Suppose -4*g + 1169 - 1133 = 0. Solve c - 1 = 0, 8*c - 3*c - g = v for v.
-4
Let b = 5 + -3. Suppose -10 = b*l - 7*l. Suppose l*p = 2 + 2. Solve -p*s = -6, 2*f - 9 = 6*f + s for f.
-3
Let h be 4/(-2)*2 - -6. Let v(u) be the second derivative of u**3/6 + 4*u**2 - u. Let y be v(-6). Solve 1 = 2*f - q, -2*f + h = y*q - 2 for f.
1
Suppose 5*o - 5*z + 30 = 8*o, -o + 18 = -z. Solve 1 = y + 3*s + o, -4*y - 5*s = 35 for y.
-5
Let s be 10/15*-6 - -6. Let i(u) = -3*u - u**s + 10*u - 20 + 13. Let v be i(4). Solve 0 = v*n + 5*y + 15, n - 5*y + 5 = -4*n for n.
-2
Let w be 2 - 0 - -2 - 1. Suppose -9*l = -4*l - 355. Let p = -68 + l. Solve w*q + 2*u - 1 = -3*u, 0 = -3*u - p for q.
2
Suppose -6*n = -29 - 19. Suppose 4*b - n*b + 31 = -w, -2*b + w + 15 = 0. Solve -q = h - 6, -b = -3*q + 1 for h.
3
Let m be (-3)/((1/(-4))/(27/36)). Let x(q) = -q**3 + 4*q**2 + 5*q - 4. Let b be x(5). Let t = b + m. Solve -t*a - 13 = 3*r, -5*a - 2*r - 6 = -6*r for a.
-2
Suppose 4*x - 3 + 7 = 0, -3*d = -x - 16. Solve 4*z + 2*y - 14 = 6, d*y = -z + 5 for z.
5
Let u = -8 + 10. Solve 12 = 2*z - 2*q - u, -4*z - 5*q - 17 = 0 for z.
2
Suppose -4*z + 2*y = -10, 2*z + z + y - 5 = 0. Solve -x = -3*l - 8, z*l + 1 + 19 = -3*x for l.
-4
Let v = 100 + -103. Let j(q) = -q**3 - 2*q**2 + 4. Let f be j(v). Solve -c - f = 3*u + 3*c, 0 = -5*u - 5*c - 15 for u.
1
Suppose 5*g + 30 = -10. Let s be (g + 5 + (3 - 0))/(-2). Solve 0*b - b + n = -6, s = -3*b - n + 6 for b.
3
Suppose 5*c + 1 = 4*c. Let v = 2 + c. Suppose -v = 5*m - 11. Solve p = m*f + 3*p + 6, 1 = p for f.
-4
Let j(h) = 9*h + 66. Let t be j(-7). Solve 0*z + 3*z = -k + 16, -2*k + z - t = 0 for k.
1
Let n(f) = f - 2. Let u be n(2). Solve 2*l + 0*t + 4*t + 24 = u, 19 = 3*l - 5*t for l.
-2
Let m be (20/(-1))/2 - 0. Let o = -216 + 223. Let a be ((-22)/m)/(o/35). Solve 2*g + a = 3*j - 10, 0 = -2*g - 6 for j.
5
Suppose 9*w - 26 = -2*a, -a = -3*a - 5*w + 18. Solve -3*k + 4 = 19, 17 = i - a*k for i.
-3
Let f = -152 - -154. Solve f = 4*t + 5*l, 6*t - 7*t - 3*l + 4 = 0 for t.
-2
Suppose -4*q - 4 + 34 = 2*i, 4*i - 50 = -3*q. Suppose -i + 1 = -2*b. Let x be (-6)/9 - (-4)/6. Solve 2*y = 5*c - 3*y, x = -b*c + y for c.
0
Let c(i) = i**3 - 2*i**2 - 3*i + 4. Let k be c(1). Solve 3*d = 5*z - 7, k = -5*d - 4*z - 35 + 11 for d.
-4
Let i = 24 - -9. Suppose i = 5*f - 27. Solve 0 = -2*j - y + f, 0*j + 2*y = -5*j + 28 for j.
4
Suppose -11*m + 19 = -289. Suppose 0 = m*x - 29*x + 5. Solve 4*v + 8 = 0, -v = -x*h - 4*v + 4 for h.
2
Suppose 0 = 24*l - 28*l + 20. Solve -l*z + 3*j - 18 = 2, 2*j - 6 = -4*z for z.
-1
Suppose 120 = 97*t - 73*t. Solve 0 = 3*l - 4*o - 6 + 2, -3*l + 22 = t*o for l.
4
Suppose -v + 3*v = 6. Let c(m) = -m**3 + 5*m**2 - 4*m + 2. Let h be c(v). Suppose -3*j - 20 = -h*j. Solve 5*t = 4*q + 40, j*t + 3 - 19 = 0 for q.
-5
Let a = 5219 - 5195. Let h(g) = -g + 3. Let s be h(-3). Solve r + r = w - s, 0 = 4*r + 4*w + a for r.
-4
Let n = -8 + 12. Let p = -2 + n. Let c be p/(-3)*(-6 + 3). Solve -19 + c = -g + 3*v, -3*g + 11 = -v for g.
2
Let x = -94 - -157. Let h = 66 - x. Solve 0 = -p + o - 1, -h*p + 2*p - 5*o - 7 = 0 for p.
-2
Let n = -18 + 11. Let j be (-110)/(-25) + -4 + 114/(-10). Let y = n - j. Solve -y*v - 4 = 0, m - 3*m - 3*v + 3 = 0 for m.
3
Suppose 29 = 3*d - 2*l, l + 13 = -d - 4*l. Suppose 5*g = 15, -3*y - g + d = -8. Solve -3*u - 11 = 3*b - u, -3*u = -y*b - 26 for b.
-5
Suppose 0 = -3*m + m + 8. Suppose -2*d + 24 = 2*d. Let z = -32 + 33. Solve 0 = -a + y + z, -d*y + m*y - 5 = -5*a for a.
1
Let t be (1 + -2)*(-4 + -24). Suppose 0 = -o - 1 - 4, -t = -2*f + 4*o. Solve 5*h = 3*h + u + 3, -4*h = -f*u for h.
3
Suppose 8*c - 6*c = 6. Suppose 2*p + c = 3*r - 2, 0 = -5*p + 5*r. Solve 3*l + 6 = -3*z, -5*z + p*l = -0*l - 20 for z.
1
Suppose 2*f + 10 = 0, 2*r - 7*r = f - 15. Solve -2*t + r*m = t - 15, -3*t = -2*m - 15 for t.
5
Let p = -431 + 438. Solve -10*d = 4*q - p*d - 1, -3*q = d - 2 for q.
1
Let a = -948 - -955. Solve 0 = 5*t + 3*l - 5*l - 19, -l - a = -2*t for t.
5
Suppose -5*f - 8 = -58. Let z = f + -6. Solve z*i - 5*o - 18 = 0, -3*o + 2 = 2*i + 4 for i.
2
Suppose -3*a + 0*a = -2*q + 26, -2*q + 8 = 0. Let m(h) = h**2 + 8*h + 15. Let u be m(a). Solve -4 = -4*f - u*d, f + 4*d = -4*f + 5 for f.
1
Suppose -r - 105 = 2*r. Let c = 179 + r. Suppose 24 = -4*x + c. Solve -6 = -5*o + 3*w - 4, -5*w = 5*o + x for o.
-2
Let h = -183 + 187. Solve -h*x = 3*r + 3, -4*x - 2 - 10 = 0 for r.
3
Let h = -28 - -3. Let k = -25 - h. Solve k = -4*y - 12, -3*o + 7*y + 30 = 2*y for o.
5
Let q(z) = -5*z**3 - 8*z**2 + 1. Let l(p) = p**3 + p**2 - 1. Let j(g) = 6*l(g) + q(g). Let m be j(3). Solve m*n + 4*i + 4 = 0, -n - 3*n + 26 = -2*i for n.
4
Let u = -211 - -214. Suppose -a = -5*a + 8. Suppose -4*c = 7 - 27. Solve -2*g - u*y - 6 = -g, 9 = c*g + a*y for g.
3
Let f(b) = -3*b**2 + 2*b + 1. Let j be f(-4). Suppose -35 = -20*a + 21*a. Let m = a - j. Solve -5*g + o - m = -0*o, -g + 20 = -5*o for g.
-5
Let r = -4 - -1. Let g = 0 - r. Solve -7*b = 2*i - 2*b - 15, g*i = 2*b - 25 for i.
-5
Suppose 3*i = -r - 13, 0 = 3*r + 5*i - 0 + 19. Suppose -r*g = 1 + 3. Let w be (g - 0)/(-2 + 1). Solve -w*q + 3*q = 2*t - 9, 5*t = 15 for q.
-3
Let x = -26 + 23