o = -26 - -28. Solve o = -v - t + 4, -4 = 4*t for v.
3
Suppose 0 = 4*o - 8, 0 = -2*w - 0*w + 3*o. Let q = 2 + -2. Solve -w*m + 5*p - 2 = q, -3*m - 5 = -4*m - 4*p for m.
1
Suppose 0*a - 5*s - 10 = 3*a, 6 = -2*a - 3*s. Suppose -2*c + 5*r - r = 0, 2*c = -5*r + 18. Solve 0 = -5*z - b - 21, -c*b + a*b = 4 for z.
-4
Let w(d) = -d**2 - 9*d - 7. Suppose 4*p + 8 = z - p, p = -5*z - 38. Let q be w(z). Solve -5*j = i - 3, 3*j = q*j for i.
3
Let u = 102 - 73. Suppose -5*b = -41 - u. Solve 7*y - 3*g = 3*y, 2*y + b = 5*g for y.
3
Let i = 5 - 8. Let m be (-13)/(-3) - 2/i. Solve 0 = m*o + 25, -8 = -4*g + o + 3*o for g.
-3
Let j be 1 + 1 + (-1 - -2). Suppose -11 = -j*v + 1. Solve 2*x + 20 = v*r, -x + 4*r - 20 = -3*x for x.
0
Suppose 9 = 4*s - 7. Let m(h) = -3*h + 1. Let a be m(-2). Suppose 0 = 2*x - 13 + 5. Solve 0 = 4*c + x*v - 2*v - 14, s*v - a = -c for c.
3
Suppose 2 = -r + 5. Let c = r + 2. Suppose 0*v = 3*v + 2*s - c, -s - 2 = 0. Solve 0 = -2*g - 0*g + 6, -4*k + v*g = 21 for k.
-3
Let h(w) be the second derivative of w**5/20 + w**4/12 - w**3/6 + 5*w**2/2 + 2*w. Let d be h(0). Solve -4*p - 5*q = -2*q - 32, 10 = -2*p + d*q for p.
5
Let j be (1 - 1)*1/(-2). Solve j = -2*n + c + 2, 3*c + 2 = 5*n + 2*c for n.
0
Suppose -3*r - 4*n = -29, r + 2*r = -n + 14. Suppose r = 5*h - 7. Let b be 42*(h/3 - 0). Solve 5*u + 5 = -5*y, -5*u = -u - 4*y - b for u.
3
Suppose -v - 4*p = -10, -2*v - 3*v + 2*p = -6. Solve 1 = -w - v*a + a, 2*a - 19 = 5*w for w.
-3
Let m be 3*(-1 + 8/3). Suppose -12 = -2*o - 5*g, m*o + g = -0*g - 16. Let s = o - -12. Solve -3*u = -j + s, 3*j - 6*u + 2*u - 14 = 0 for j.
2
Let x be (-4)/(-6)*39/26. Solve -2*r = d - 3*r - 9, r = -d - x for d.
4
Suppose -2*g + 0*g + 6 = 0. Solve 5*a + 5*k = -40, 2*a - g*a - 18 = 3*k for a.
-3
Suppose 4 = 2*h - 4. Suppose -2*t - h = 4. Let r be (0 + 2/t)*-4. Solve -2*k = -5*q - 15, 2*q + 6 = 2*k + r*k for k.
0
Let n(k) = 9*k + 56. Let w be n(-6). Suppose -3*q = -2*q - 2. Solve -9 = -5*h + w*m - 35, 0 = -q*h - 4*m + 4 for h.
-4
Let f = 130 - 108. Solve 5*d = 4*a + f, -3*a - 17 = -0*a - 4*d for a.
-3
Let u be 2 + -1 - (2 + -2). Solve 5 = 3*k + 3*d - u, -16 = 4*k - 4*d for k.
-1
Suppose 0 = -3*q - 5*n + 25 - 2, -2*q + 2*n + 10 = 0. Let i(b) = -b**3 + 5*b**2 + 6*b + 2. Let k be i(q). Solve k*t = -s + 13, -33 - 7 = -5*t - 4*s for t.
4
Let k be 3/15 + (-46)/5. Let p = 13 + k. Suppose 0 = -4*o + 2*i + 18, 3*o = -o + 4*i + 20. Solve 4*g + p = -5*m - 14, -2*g - o = 0 for m.
-2
Let l(x) = x**2 - 3*x - 4. Let c be (-12)/(-1)*2/6. Let y be l(c). Let j be 4*(-3)/(-6) - y. Solve 5 + 2 = -3*i + v, -2*v = -j for i.
-2
Let t(v) = v**2 - 3*v + 3. Let n be t(5). Suppose 7 = j + 2. Suppose 17 = 3*a - 13. Solve -j*w - d = a + 11, -n = 4*w - 3*d for w.
-4
Let h(q) = -q**3 - 5*q**2 - 4*q. Let m be h(-4). Let s be 2 - (0/2 + m). Solve -s*p - w - 2 = 11, -3*w = -5*p - 16 for p.
-5
Let t = 22 - 19. Suppose y - 2*v - 1 = 4, t*y = v + 10. Solve -16 = f + 3*x, -y*f + 6 = -x + 4 for f.
-1
Let j = -79 + 82. Solve -4*b - 7 = -5*h, h + 2*b + j - 10 = 0 for h.
3
Suppose -15*r - 4 + 19 = 0. Solve -p + q = -3, -4*p - p = 2*q - r for p.
1
Suppose -v + 2*v = 1. Let i = 6 + v. Suppose i*n - 2*n + w = 16, 2*n + 5*w = 11. Solve s - 6*s - 17 = 2*t, -9 = 4*s - n*t for s.
-3
Let w(d) = -2*d - 3. Let i be w(-8). Suppose i + 19 = 4*j. Solve j = 4*z, -4 = -5*s + z - 1 for s.
1
Let s be (-19)/(-4) - (-6)/(-8). Suppose 4*y + s*c = -c + 1, 3*c = 15. Let w = y + 10. Solve -4*i - 24 = w*o, -3*i = -2*i + 2*o + 7 for i.
-5
Suppose 2*z - 4 = 4*d, -3*z + 3*d = -0*z - 9. Solve -2*c = -z*u - 16, -c - 17 = 4*u - u for c.
-2
Suppose -c - 29 = -2*c. Solve 4*g = 3*u + 26, -4*g + c = -2*u + g for u.
-2
Let x(y) = -y**3 + 7*y**2 - 2*y - 5. Let b be x(5). Let i be (-30)/b*14/(-4). Solve -2*h - 2*c + 10 = -i*h, 5*h = 3*c - 22 for h.
-2
Suppose 0 = -3*o + 2*t + 17, 8*t - 7*t = -4. Solve -o*w = 3*k - 9, w + 4*w - k = 9 for w.
2
Let s be ((-3)/(-6))/(1/6). Suppose r - s*r + 8 = 0. Solve 2*y = 8, -6*m = -m - r*y + 1 for m.
3
Let n be (-4)/(-2) - 9/(-1). Suppose 6*r + 15 = n*r. Solve -r*d - 2*t = -0*d + 4, -5*t = 3*d - 8 for d.
-4
Let x = 7 + 4. Solve q + x = 3*v, q + 15 = -0*v + 4*v for q.
1
Suppose 3*y = 6 + 3. Solve 6 = -4*k + 2*o, y*k = -2*k - 5*o - 45 for k.
-4
Let b be (-7 - -6)/((-1)/6) - 3. Solve -5*f + 16 = z, 0*z - b*z + 3*f - 24 = 0 for z.
-4
Suppose -29*b = -32*b. Let o = 2 - -1. Suppose -2 = -q + o. Solve -q*l + x = 8, 2 + b = -x for l.
-2
Let y(b) = b**2 - 9*b + 18. Let q be y(7). Solve -2*h = -4*h - q*j + 6, -4*j = h - 5 for h.
1
Let f be (-13 + 12)*3*4. Let v = -8 - f. Solve v*z - w - 19 = 0, -2*z - 3*z = 5*w - 5 for z.
4
Let u(m) = -m**3 - 2 + 4 + 11*m**2 - 3*m - 7*m. Let r be u(10). Suppose -3*x + r*x = 0. Solve o = -x*a - 3*a - 18, -a + 3*o + 4 = 0 for a.
-5
Suppose 0 = 2*f - 0*f - 10. Solve 0 = -5*a - 2*n - 2 + 7, 0 = -n - f for a.
3
Let a(n) = n**2 + 3*n - 1. Let k be a(2). Suppose 0 = 2*w - 3*m - k, -m - 3*m - 12 = 4*w. Solve w = -4*h - 4*j - 12, 3 = -j - 2 for h.
2
Suppose -3*b + 2 = -4. Suppose 0 = -3*x - b*v - 18, -4*x - v = 2*v + 24. Let l be (3/(-6))/(1/x). Solve 2*s = l*f - 0 + 17, -3*f = 4*s + 11 for s.
1
Let o be (-2)/4 + 75/30. Solve -2*t + 5*q + 30 = 0, 4*t = -o*q - 0*q + 12 for t.
5
Suppose 0 = -c - 2*v + 13, -2*c - v + 2 = -3*c. Let s be 16/1 - 4/(-2). Suppose s = m + m. Solve -4*l = u + m, -c*u + 3*l = l - 15 for u.
3
Let d(u) = u**3 + 4*u**2 - u - 1. Let t be d(-4). Suppose b = t*b + 2*k, -b - 3*k - 10 = 0. Solve b*j = 2*f + 26 - 5, -3*f + 2*j - 15 = 0 for f.
-3
Let i = 7 + -5. Let n = i + 7. Solve 0 = -2*u + 10, -5*f + n = 2*u - 1 for f.
0
Let k(w) = -w**3 - 4. Let l(c) = c**3 + c**2 + c + 4. Let o(g) = -4*k(g) - 5*l(g). Let n be o(-4). Solve -2*y + 5 = -5*i - 4, 2*y + 5*i + 1 = n for y.
2
Suppose -2 = -5*l + 3. Suppose 2*z + 2 = -4*t, -5*z - 6 + l = 2*t. Solve 2*d + i = -0*i - 3, t = -5*d - 4*i - 15 for d.
1
Let y be (6/(-9))/(2/(-12)). Suppose -2 + 11 = 3*l, 2 = -k + y*l. Solve -3*s - k = s - 3*u, 0 = 5*s + 5*u - 5 for s.
-1
Let k be 1/(-2)*64/(-8). Solve 0 = 5*s + 2*c + 16, -2*s - k = s + 4*c for s.
-4
Let w(u) = -u**3 + 4*u**2 - 4*u + 2. Let c be w(2). Suppose 0 = g - 6*g + 45. Let i = g + 1. Solve -p + 7 = -0*p - y, -y = -c*p + i for p.
3
Let p be ((8/(-7))/4)/((-6)/42). Solve p*l - 5*m + 15 = 0, 2*l - 5*m - 15 = 6*l for l.
-5
Let f be (-24 + 23)/(2/(-6)). Solve 0*n - 3*n = -3*s - 6, -18 = -f*n - 3*s for n.
4
Suppose 13 = -4*b - 3, -4*a + 28 = -5*b. Let y = -6 + 10. Solve 0 = -z - w - 4*w + 5, y*z - a = -2*w for z.
0
Let a(s) = -s**3 + 6*s - 2. Let w be a(2). Solve 3*z = -9, 5*z = -3*m - 22 - w for m.
-3
Suppose -5*s + s = -36. Suppose 2*w + 66 = 4*g - 0*w, 0 = 3*w + s. Let o be 2*(g/2)/5. Solve r + 3*t = t, -11 = o*r - 5*t for r.
-2
Suppose -4*l - 2 + 18 = 0. Suppose 2*s - 4 = d - 0*d, l*s = d + 10. Solve -u = 5*r + 12, s*r + 0 + 2 = 2*u for u.
-2
Let r = 77 - 5. Suppose -r = w - 5*w. Suppose w + 30 = 3*b. Solve -4*n - b = -4*y, 0*n + n + 4 = 4*y for y.
0
Let a = -74 + 76. Solve 0 = a*w - 5*x - 1 - 9, 4*w = -5*x - 40 for w.
-5
Let p(k) = k + 6. Let m be p(-3). Suppose 21 = 3*c - m*d, -25 = -4*c - d + 4*d. Suppose g + 3*g - 8 = 0. Solve 24 = -c*u - 4*q, 4*q = -0*u + g*u for u.
-4
Let t = -11 - 16. Let v = -24 - t. Let n(o) = o**2 - 2*o - 7. Let x be n(5). Solve -3*d + 20 = -2*a, 5*d + v*a - x + 0 = 0 for d.
4
Let w be -2 - (0 - (11 + -3)). Solve -3*o + 2*o - w = 2*m, 5*o + 20 = -5*m for m.
-2
Let j(d) = d - 1. Let x be j(8). Let l(g) = -g + 9. Let b be l(x). Solve -11 = -3*a + 3*y - b*y, -y = -1 for a.
4
Let c = 122 - 94. Solve -x + 2*q + 12 = 0, -x + 6*x - 2*q = c for x.
4
Suppose -4*x = x - 4*j + 10, -x - 5*j + 27 = 0. Let t(c) = -c + 11. Let m be t(9). Let g = 0 + m. Solve -3*v - 1 = 2*v + 4*p, -g*p + 4 = -x*v for v.
-1
Let q(x) = -5*x - x + 3*x + 2*x**2 - 1 - 3. Let n be q(3). Suppose 2*t - 20 = -3*t. Solve 0 = -n*l - u + 7, -t*l - 4 = 3*u + u for l.
2
Let v = -2 - -2. Suppose v = -n - 5 - 1. Let b be (1 + 20/(-3))*n. Solve 5*g + 16 + b = -5*i, 5*i = -g - 30 for i.
-5
Let f be 0/(-4*4/(-16)). Suppose 6 = d + 3*m, 3*d - m - 2*m - 6 = f. Solve 0 = -d*x - 4*z + 9, -4*x = 3*z + 7 - 19 for x.
3
Let g = -2 + 11. Solve 5 = -z - 4*z, -h = -4*z - g for h.
5
Suppose w + 3*w = 0. Let n be (6/7)/((-5)/(-35)). Suppose -n*g + s = -11*g + 2, 4*g + 4*s = 8