Solve x - 2*i = -m*i, 0 = -5*i + 10 for x.
-2
Let j(f) = 2*f**2 + 2*f - 2. Let l be j(1). Solve -5 = -3*g + l*v - 3*v, 5*g - 5*v = -25 for g.
0
Let x(n) = n**3 + n**2 - 2*n + 1. Let w be x(1). Let q be (4 - w) + -3 - -2. Solve 5*v - 11 = -2*t + 3*t, 0 = t + q*v - 3 for t.
-1
Let z = 28 - 22. Solve -o = 4*b + 12, z*o = 5*b + 4*o + 28 for b.
-4
Suppose 2*q = 5*k - 8, -4*q + 16 = -2*q + k. Let p = 8 - q. Solve -p*l + 3*l + 2*g = -12, -g + 8 = -3*l for l.
-4
Suppose 2*s = 5*r + 53, 2*r + 78 = 5*s - 23. Solve -2*t + 3*h - s = 0, 4*t + 0*h = 5*h - 35 for t.
-5
Let b = -12 - -29. Solve -2*n = -0*q + 3*q + 17, b = q - 5*n for q.
-3
Let g = -4 + 6. Suppose -5*y + 0*y + 10 = 0. Let l be (8/12)/y*9. Solve -r = l*n + 14, 2*r - 4*n = -g*r - 8 for r.
-5
Let y = -56 + 58. Solve -y*o + f + 5 = 0, -5*o + 2*f - 6*f + 6 = 0 for o.
2
Suppose -6*d = -7*d + 2. Solve -2*m + 8 = -6*r + d*r, -4 = 2*r + m for r.
-2
Suppose 4*x - 36 = -5*x. Suppose 15 = 3*p - 0*p. Solve -5*o - 25 = -3*g + 2*g, x*o = -p*g - 20 for o.
-5
Let u = 6 + -11. Let i be (6/15)/((-1)/u). Suppose -6 = -0*b - i*b. Solve -b*y = c + 11, -9 = 5*y + 3*c + 12 for y.
-3
Let r(h) = h**3 + 11*h**2 + 10*h + 7. Let k be r(-10). Suppose -k*t = -3*t. Suppose 0 = -2*z + 6 + 4. Solve t*j + 33 = -z*j + 2*v, -v = 4*j + 16 for j.
-5
Suppose -4*h + 2 + 46 = 0. Suppose -4*q + 10 = -14. Let a be (-1)/(-3) - 2/q. Solve -3*n - 3*g + h = a, n + 17 = 3*g + 5 for n.
0
Let t be (-1 - -2)/((-5)/(-50)). Suppose -11*i = -t*i - 2. Solve 6 = -i*x + 5*l - 17, 2*x + l = -5 for x.
-4
Let p(c) be the second derivative of c**5/20 + c**4/3 + 2*c**2 + 3*c. Let z be p(-4). Solve i = z*a - 0 + 16, -20 = -2*i + 4*a for i.
4
Let o(j) = j**2 - 8*j - 30. Let z be o(11). Solve 0 = -z*q + 3*c - 0*c - 18, 2*q + 4*c = 12 for q.
-2
Suppose -3 - 12 = -5*d. Solve 4*y - 4*g + 4 = 0, -4 = -4*g + d*g for y.
3
Let o(s) be the second derivative of s**5/10 - s**4/6 - s**3/3 + 3*s. Let f be o(2). Solve -2*z = f*c + 8, 0 = c + z + 1 - 0 for c.
-3
Suppose 0 = 2*o - 2*l - 31 + 7, 5*l + 20 = o. Suppose 2 + o = 2*z. Solve y = -x + z, 5*x - 24 = -y - y for x.
4
Let b(z) = z**2 + 20*z + 36. Let j be b(-18). Solve -3*w - 2*v = w - 10, -2*v + 10 = j for w.
0
Suppose -4*y + 2*y + 8 = 0. Suppose 4*z + 8*d - 28 = 3*d, 3*z + 2*d = 21. Solve -2*r + y = -z*r + 3*m, 15 = 3*r + 4*m for r.
1
Let l = -11 - -16. Solve l*t = -2*x + 14, -4*x + t + 1 + 5 = 0 for x.
2
Let a = -127 - -127. Solve y + 15 = -a*c + 3*c, 5*y - 15 = -3*c for c.
5
Let k(p) = p**2 - 6*p + 7. Suppose 0 = -4*b + 5 + 19. Let w be k(b). Solve w + 6 = 3*v + u, -u - 2 = -2*v for v.
3
Suppose -10*m = -6*m + 4. Let v be -1*(m + -1 + 2). Let h = -2 + 5. Solve a + v*a + 5 = -2*g, -h*a + g + 6 = 0 for a.
1
Let v(x) = -x**2 - 11*x + 6. Let j be v(-11). Solve -5*o = -2*z + j - 1, -3*o - z = 3 for o.
-1
Suppose 0 = 3*z - 0*z + 27. Let f = -3 + 0. Let c = f - z. Solve -s - 2*t = c, t + 4*t + 15 = -3*s for s.
0
Let o be 8/(-28) + 92/28. Solve m = -2*t + 4*t + 3, -5*t - o*m = 13 for t.
-2
Suppose s = 2*s. Let p be -1 - s - (5 + -7). Suppose 0 = a - 3*b - 12, -3*a - 2*b = -6*b - 21. Solve 3*c = d + 3, 0 = -a*c + 3*d - p - 2 for c.
2
Let h(c) = -c**2 - 4*c + 2. Let j be h(-3). Solve -j*i + 0*p - 2*p = -4, -2*i + 2*p = 4 for i.
0
Let w(o) = o**2 - 3*o - 2. Let s be w(4). Suppose -3*n - 3*z = 3, 4*n - z = s*z + 24. Solve 0*l + n*y - 5 = -2*l, -20 = -4*y for l.
-5
Let v be (-50)/275 - (-70)/22. Solve 4*f + 3*j - 5 = -24, v*j = 4*f - 11 for f.
-1
Let i = 88 + -67. Solve -5*k + n = -i, -3*n - n = -k + 8 for k.
4
Let t be ((-12)/(-8))/(6/32). Solve -2*w + 8 = u, -w - 2*u - t = -3*w for w.
4
Suppose -6*k + 12 = -2*k, 3*x - k = 3. Let d be ((-111)/(-6))/(2/4). Let c be x/(-12) - d/(-6). Solve -y + 2*f + 0 = -c, 4*y + 2*f - 4 = 0 for y.
2
Let b(m) = -m**2 + 4. Let s be b(0). Let c be (6 - s - -2) + 2. Solve c*w = 3*r + w + 34, 19 = 2*r + 5*w for r.
-3
Let l(k) = -4*k - 12. Let j be l(-3). Solve 5*q + j*c - 23 = 2*c, -2*c + 2 = 0 for q.
5
Let c = 5 + -3. Suppose -12 = -d - 0*d. Suppose 0 = 3*a + 12, -2*a = 4*s - 2*s - d. Solve c*l + 2*m = -4, 0 = 2*l - 6*l - 2*m - s for l.
-3
Let o(b) = b**3 - 5*b**2 + 0*b**3 - 6 + b - 2*b**2. Let r be o(7). Solve m - 10 + r = -3*x, -3*m + 3 = x for m.
0
Let i be 1 - 1 - (-16 - -7). Let u = i + -7. Suppose -k + 5*k - 12 = 0. Solve -a - 5 = l - u*a, -k = -l - 3*a for l.
-3
Let c = -12 - -12. Solve 0 = -3*a + 2*b - 2, -a - b + 5*b + 16 = c for a.
-4
Let a be 66/6 + -3 + 1. Let h = a - 7. Solve 0 = -5*r - 3*o + h*o, -5*o = 0 for r.
0
Let n(a) = -10*a**3 - a - 2. Let x be n(-1). Solve 6 = -5*t - 3*f, -t - 3*t = f + x for t.
-3
Let v(w) = -w**2 + 15*w - 11. Let p be v(14). Suppose p*f - 5*u - 31 = 0, -2*f + 0*u = 4*u + 16. Solve -c + 15 = 3*l, -l + f*c - 8 = -2*c for l.
4
Let o be -2*2/(-4)*-3. Let d = 1 + o. Let s be (-3)/6*d*3. Solve -5*f + 28 = 4*x + 7, -s*x - 23 = -4*f for x.
-1
Let w(n) = -7*n - 3. Let q(a) = -14*a - 7. Let r(h) = 6*q(h) - 13*w(h). Let y be r(3). Solve -b = b - 2*t - y, t = -b - 1 for b.
4
Let a(m) = -m + 9. Let z be a(11). Let r be (-6)/2 + (5 - z). Suppose 11 + 5 = 4*w. Solve -2*x + 14 = 3*i + r, -x - w*i + 10 = 0 for x.
2
Suppose -3*i = -4*i, 4*i - 40 = 5*r. Let l be (2/3)/(r/(-36)). Solve f = 1, -4*f + 7 = -l*d + 2*d for d.
-3
Let b = 10 + 0. Suppose -3*y - b = -x, -x - 2*y - 5 - 5 = 0. Let v be x/13 - 123/(-39). Solve 4*m = 4, -9 + v = 3*s - 3*m for s.
-1
Let w(c) = 3*c**3 - 2*c**2 - 2*c + 1. Let u be w(-2). Let l be 6/u + (-145)/(-45). Solve 0*k + k + 20 = l*h, -2*h + 2*k + 20 = 0 for h.
5
Suppose 5*i - 32 = -3*a, 4*i = -2*a + 6*i + 16. Suppose -u = -3*o + 15, -u + 2*o - 1 = a. Let j = u - -1. Solve s + 3*s = -m + j, -m = -s - 1 for s.
0
Let q = -5 + 9. Suppose f - 2*f = 5*j - 53, q*j - 43 = -f. Solve 4*w - 2*h - 3*h = j, -2*w + 3*h = -4 for w.
5
Suppose -6 = -f - 0*f. Let c = 6 - f. Solve 0*t = -2*t - j + 6, c = 4*t + 5*j - 12 for t.
3
Let o be ((0 - -9)/3)/(5/(-15)). Let p = -4 - 4. Let f be (o/(-2))/((-4)/p). Solve -5*c = 0, -2*t - c + 1 = -f for t.
5
Suppose -3*r + 72 = 3*n, -4 - 8 = -n + 2*r. Suppose 2*m - 16 = 3*i, 5*i = m + 3*i - 10. Let j be -8*(6/4 - m). Solve 4*q - j*k = n, 2*q - k + 0*k - 5 = 0 for q.
0
Let w be (16/(-20))/(2/(-15)). Suppose 0*f + 3*f - w = 0. Solve 0 = -f*q + 8, -2*r - 4 = r - q for r.
0
Let g(j) = j - 3. Let k be g(7). Suppose k*h + h = -45. Let c be 6/h*27/(-6). Solve 0 = -2*o + y + 3, -c*o - 2 + 11 = -3*y for o.
0
Let r be 12/7 + 10/35. Solve -2*v + m + 24 = 6*m, 3*v + r = 2*m for v.
2
Let m = 24 - 22. Solve 4*w = 4*f - 16, w + 2*w - m*f + 10 = 0 for w.
-2
Let m be 0*1*1/1. Suppose 2*y = -m*y. Solve 30 = w - 5*s, y = w + 3*s + 10 - 0 for w.
5
Let t be 2 - 1 - 91/(-7). Let k be (-4)/t - 32/(-14). Solve 2*l = -k*h - h - 9, 0 = l + h + 2 for l.
3
Let n be (7/(-4))/((-3)/48). Suppose -72 = 4*j - n. Let f = -7 - j. Solve 5*v = 2*c + 24, 3*c = -f*v + 3*v - 2 for v.
4
Let l be 76/28 + (-2)/(-7). Let f be (-2 + 0 - -3) + 4. Let r be 10/4*2 - 0. Solve -2*s = r*d - f, 0 = -d - d - l*s - 9 for d.
3
Let k = -55 + 80. Suppose -4*z - v + k = 0, 2*z - 4*v + 5 = -z. Suppose -z*t = -0*m + 4*m - 5, 0 = -t + 1. Solve -4*y + 4*b - b = -5, 3*y + 5*b + 18 = m for y.
-1
Let a(k) = 6*k**2 - 30*k + 4. Let u be a(5). Solve 2*s - 4*r = 10, -3*s - u*r + 16 - 1 = 0 for s.
5
Let b(o) = 4*o + 96. Let c be b(-18). Solve -2*d + 20 = -3*h, -d = 4*d - h - c for d.
4
Suppose -4*a = -9*a + 50. Suppose -a = -o + 4*o - d, 3*o - 10 = 5*d. Let u = 10 + o. Solve -u*s + 1 = -x + 10, 2*x = -5*s + 3 for s.
-1
Let y be (-3 - -3 - -1)*2. Solve -3*r + 2*r = u + y, -6 = 3*r for u.
0
Let d(v) be the third derivative of -v**6/120 - v**5/12 - v**4/4 - 2*v**3/3 - v**2. Let h be d(-4). Solve 4*s = n - 5, -s + h*n = 4*s + 20 for s.
0
Suppose 0 = 5*q, 3*m + 4 = -4*q + 13. Let g be (-1 + (-3 - -4))*-1. Solve g = -m*h - l - l, 3*l = 3*h for h.
0
Let v be 5 + (-1)/(-2 + 3). Solve 0 = 5*u, 0 = 5*i + v*u - 15 for i.
3
Suppose 2*z + 6 = 5*z. Let r = z - 2. Suppose y - 2*y - 3 = r, -3*k + 27 = -y. Solve -4*s - 1 = -n, n = 2*s + 3*n + k for s.
-1
Suppose -1 = 5*k + 4. Let a = 2 + k. Solve 4*i + 0*i + 5*b = 4, -i - 3*b + a = 0 for i.
1
Let z(d) = d**2. Let l be z(3). Let c(n) = -n**2 + 10*n - 7. Let t be c(l). Solve 4*v + 4 = -4*w, 3*v - w = -t*w + 7 for v.
4
Let l = 8 - 0. Solve m + 9 = 5*d - l, -3*d - 