 Solve o = i*o - s*c + 9, -2*c + 3 = o for o.
-1
Let h = -9 - -13. Solve -2*w + 10 = 2*f, 3*w - h*f + 5 = -1 for w.
2
Let i = 18 - 14. Solve i*k = -5*z + 13, k = -5*z - 0*k + 7 for z.
1
Let q be 4/((-16)/(-12)) + 2. Solve q*d + 10 = 2*m + d, 2*d = -m + 5 for m.
5
Suppose 0*z - 3*z + 18 = 0. Suppose z*k + 3 = 5*k. Let w be ((-6)/(-4))/(k/(-6)). Solve -4*i + b + 12 = 0, -2*b - 2 = w*i - 0*i for i.
2
Suppose 0 = -3*u + 4*o + 2, -5*o = -5*u. Let y be (u/3)/(14/(-231)). Solve 5 - 2 = -3*w + 3*j, 4*j = -w - y for w.
-3
Let k = 0 - -5. Suppose 36 = -2*r + 6*r + 4*w, 18 = r - 2*w. Suppose -i = 3*i - r. Solve 20 = 2*u + 4*x - 2*x, i*u + 10 = k*x for u.
5
Let r(l) = -2*l**3 - 3*l - 2. Let z be r(-1). Solve 3*g = 5*p + 13, 4*p + z*g + 32 = -0*g for p.
-5
Let f(v) be the first derivative of v**3/3 - v**2/2 - 3*v + 1. Let p be f(-2). Solve 3*w + 5 = 5*n, w - 5*n + p = -2 for w.
0
Let j(t) = 4*t - 1. Let v be j(1). Let x = -5 + 8. Suppose 3*l - 3*h = 15, x*h = -l - 0*h + 21. Solve 0 = -3*b - 2*b - v*s + 18, 0 = 4*b - 3*s - l for b.
3
Let j(r) = r**2 + 2*r - 3. Let g be j(2). Suppose -u - 13 = -5*u - z, 0 = u - g*z - 19. Solve 10 = 5*m, -u*s - 5*m - 6 + 0 = 0 for s.
-4
Suppose -7*a + 6*a + 8 = 0. Solve -4*g = -n - 2*n + a, 3*g + 3*n = -6 for g.
-2
Let o = 2 + 0. Suppose 2*v = -2*v - o*h + 92, 0 = 4*h + 16. Suppose 0*w = -5*w + v. Solve -3*q = -0*q - 2*a + 9, w*a + 15 = -5*q for q.
-3
Suppose -2*f - 2*r = -6, -5*f + 6 = -r - 3*r. Suppose -f*z + 20 = 2*z. Let y = z - 3. Solve -3*o + o = -y*t + 4, 0 = -3*t + o - 2 for t.
-2
Suppose g + 5 = 5*u, -5*g - 2*u = -0*g - 29. Solve -2*z = -o + g*o + 6, -4*z + 21 = -3*o for z.
3
Let j = 9 + 1. Let w = j - 5. Solve -4*t + 5*d + 3 - 30 = 0, 0 = -t + w*d - 18 for t.
-3
Let f be (2/(-4))/((-6)/24). Solve 0*o = -5*x - 5*o - 25, f*x - o - 2 = 0 for x.
-1
Let f be 4 + (4/2 - 2). Suppose 0 = f*m + 3*v - 0*v - 6, -m + 4*v = -11. Let g be 2/(-12) - (-39)/18. Solve a + 7 = -m*d, g*a - d = 4*d - 3 for a.
-4
Suppose 4*t + 41 - 145 = 0. Suppose 4*s + 10 = t. Solve f - s = -4*i, 3*i + i + 2*f = 0 for i.
2
Let t be 658/(-126) + 4/18. Let b = t + 9. Solve 20 = -4*s + 3*u, -18 = -s - u - b*u for s.
-2
Let s(p) = -p**3 - 8*p**2 - p - 8. Let k be s(-8). Let b be (-14)/(-4) - (-1)/(-2). Let l = b + k. Solve -u = u, 3*v - 5*u = l for v.
1
Suppose 0 = -0*q + 4*q. Suppose 0 = -2*k - 3*c - 0*c + 30, -3*k + 43 = 4*c. Let s = 18 - k. Solve -12 = f - 3*i, 2*f = 3*i - s - q for f.
3
Suppose -7*o - 1 + 15 = 0. Solve 5*s + 13 = -l + o*l, -s = 3*l - 7 for l.
3
Suppose -2*v = -0*b + 5*b - 6, -b = -3*v + 9. Solve 2*o = 3*u + 21, b*u - 2*u + 2 = 4*o for o.
3
Let t = 1 + 5. Suppose -2 = m - 9. Solve -w - 4 = -5*d, d - t*d = 2*w - m for d.
1
Let i = -3 + 5. Suppose -5 + 1 = 2*n + 4*q, 2*q - 4 = -4*n. Suppose -n*h = -0 - 6. Solve -l + 4*f = 2, -h*f + i = 2*l + 6 for l.
-2
Let s(d) = 2*d + 2. Let f be s(1). Solve -3*z = 4*c + 3, z - 2*z = f*c + 9 for z.
3
Suppose -p + 4*o = 2, 5 = 4*p - p - o. Suppose 4*i - 5 + 24 = 5*c, -3*c - 4*i = -5. Solve 2*x = c*q - 13, x - 4*x - p = -q for x.
1
Let z = -31 + 38. Let r(g) = -g**3 - 3*g**2 + g + 4. Let k be r(-5). Let t = k + -28. Solve -3*h + z = -5*i, 5*i + 4*h - t + 0 = 0 for i.
1
Let n(y) = -4*y**2 + 0*y**2 + 5*y**2 + 18 - y**3. Let b be n(0). Let x be 14/4 + (-3)/(-6). Solve -3*i = -j - b, -j = -x*i - 6*j + 5 for i.
5
Suppose 3*u = 22 + 38. Solve 5*r = u, -r = c - 2*r + 6 for c.
-2
Let q = 8 + -6. Let f(o) = 6*o + 1. Let g be f(3). Suppose -10 = -5*c, q*c - g = -4*t + 1. Solve t*a = -3*w - 4, -2*a = -5*w - 0*a + 2 for w.
0
Suppose -2*o - 3*o + 45 = 0. Let u be (-9)/(1/(6/o)). Let j be (-3)/(-2)*(-8)/u. Solve 5 = -5*c - 3*v - 0*v, 3*c + j*v = -2 for c.
-4
Let g = -2 + 3. Let y = 4 + -2. Suppose y = f - g. Solve 20 = -4*v + u, 2*u - 1 = -f*v - 16 for v.
-5
Let y be ((-15)/6)/(2/(-4)). Suppose y*o - 4*w - 18 = -w, -5*o + 12 = 3*w. Suppose 6 = -d + o*d. Solve 0*v - 3*v - 21 = -d*j, -2*v = 5*j - 7 for v.
-4
Suppose -3*x + c - 5 = 0, 0 = -x + 5*c + 4 - 29. Solve -m + x*t + 21 = -5*t, -m - 2*t - 7 = 0 for m.
1
Let s = -89 + 94. Solve -3*g = 2*h + 22, s*h - 15 = -3*g - 52 for h.
-5
Let a(n) = -n**3 + 3*n**2 + 5*n - 2. Let j be a(4). Solve -3*k = -j*u - u - 9, 4*u + 5*k - 33 = 0 for u.
2
Let o be (14/7)/(2/(-8)). Let c(q) = -q**3 - 7*q**2 + 7*q - 3. Let t be c(o). Solve -6*m = -t*v - 2*m + 8, 3*m - 9 = 0 for v.
4
Suppose -3 = -5*u - 13. Let p be 3*5*u/(-6). Suppose p*b + 20 = 2*t, -2*b + 11 = -t + 4*t. Solve t*j - 4 = -2*w + 3, 2 = -2*w - 2*j for w.
-4
Suppose -5*a + 10*a + 17 = -3*d, -a - 9 = -5*d. Solve 2*r + 3*g - d = 0, -2*g + 7*g - 7 = 2*r for r.
-1
Let l be (2 + -1)*(-4)/(-2). Solve 2*z - i = -9, -l = 3*z + i + 9 for z.
-4
Let i = 13 + 3. Solve 2*m - 2 = 3*b, 4*b = 6*b + 3*m - i for b.
2
Let b(j) = -3*j**3 - j**2 + 1. Let o be b(-1). Let y = -1 + o. Solve -2*i - s + 1 = -4*s, 0 = 4*i - y*s - 14 for i.
5
Let y(c) = 2*c**2 - 3*c - 2. Let t be y(3). Suppose 5*g + 30 = 5*p, -t = p + 5*g + 5. Solve n - 3 = -5*v - 6, n = -4*v - p for n.
-3
Let a(h) = -h + 16. Let l be a(0). Let g be (-12)/l - 38/(-8). Solve -4*i = -4*z - 8, -1 + 15 = i - g*z for i.
-2
Suppose -t - 2*y = 3*y - 20, -3 = -y. Solve -t*w + 2*o + 5 = 6*o, -2*w - 5*o - 15 = 0 for w.
5
Let n = 0 + 2. Let c(o) = 2*o**3 + 4*o**2 - 3*o. Let d be c(n). Solve -d = 5*t + 2*r, -5*r = -5*t + 9*t + 31 for t.
-4
Let a = 4 + -1. Let n be 14/a + (-4)/6. Let l(g) = -2*g - 2. Let q be l(-2). Solve 0 = 3*y - q*y - 3*z - 1, -n*y - 5*z = 13 for y.
-2
Suppose 5*w = -4*q + 9 + 22, 5*w + 2*q - 23 = 0. Solve 26 = -4*d + w*s, 2*d + s = -8 - 0 for d.
-5
Suppose 0*j = j - 15. Solve 0 = -5*h + 2*a + 25, a = 3*h + 5*a - j for h.
5
Let l = -47 - -59. Let d = 6 - 3. Suppose -17 = -d*j + 4. Solve 2*m + x = -l, 2*m = x - j + 3 for m.
-4
Let v(k) = -k**3 - 3*k**2 + 3*k + 1. Let y be v(-4). Suppose 0 = 2*z + 11 + 19. Let h be (18/z)/(-2)*5. Solve -h*m + 2*o + 1 = 3, y*m = 5*o for m.
-2
Let o(d) = d**2 - 6*d + 1. Let a(n) = 2*n**2 - 12*n + 1. Let p(u) = -3*a(u) + 7*o(u). Let g be p(6). Solve -3*m - 1 = 3*r + 2, g*r - 2*m - 26 = 0 for r.
4
Suppose 0 = x - 3. Let h be ((-2)/x)/(2/(-6)). Solve 3*d + 0*b + 3*b - 24 = 0, h*d - b - 7 = 0 for d.
5
Suppose -1 = 4*z - 8*w + 3*w, -4*z = -3*w - 1. Let d = 1 + z. Suppose 4 = d*q - 0. Solve 5*p + q*i = -31, 17 = -5*p - 4*i - 20 for p.
-5
Suppose 5*u - i = 24, 4*u - 5*i = u + 10. Suppose 5*y + 27 = -3*c + 86, -u*y - 5*c = -55. Solve -q = -4*l - 22, -3*l - y = 2*q - 2 for q.
2
Let k(n) be the first derivative of -5*n**2/2 - 5*n + 2. Let i be k(-2). Solve 2*h + 16 = -4*u - h, -3*u = i*h + 12 for u.
-4
Suppose 3*m = 3*y + 21, 0 = -m + 6*m + 3*y - 19. Solve -4*g - o = -3*o - 20, -m*g + 25 = 5*o for g.
5
Let l = -10 + 18. Let m = l - 3. Solve 3 = -z - b + 5, -5*b - m = 2*z for z.
5
Let o(w) = -w + 31. Let s be o(21). Solve 0 = -3*i - 5*u + s, i - 4*u = 3 - 11 for i.
0
Suppose -3 = a + 1. Let w(x) = -x**2 - 3*x + 4. Let m be w(a). Solve -d + 4*u = 20, 2*d - 3*u + 15 = -m*u for d.
0
Let q(v) = v**2 + 4*v + 2 + 0*v - v**3 + 3*v - 7*v**2. Let m be q(-7). Solve x + 2 = -2*t, -2 = x - 3*t + m*t for x.
-2
Suppose -2*k + 6 = -4. Suppose k*p + 2*r = 8 + 2, 3*p = 5*r - 25. Solve -3*g + 2*s + 2 = 0, 4*s + 3 + 13 = p for g.
-2
Let o be 120/54 - 2/9. Solve o*a - 7*a + 5*l = -10, l = 5*a + 2 for a.
-1
Suppose 0*s = -5*s - 5*m + 40, -20 = -5*m. Solve 2*q = 3*b - 2, 2*b + q + 5 = -s*q for b.
0
Let f be 0 - (2 - 2) - 19. Let c = f + 21. Solve -26 = 5*i - 0*t - 3*t, -t = -c*i - 10 for i.
-4
Let v(z) = -z**3 + 7*z**2 - 7*z + 6. Let i be v(6). Let u = 7 - 7. Suppose c - 5*c = 4*k - 32, -5*c - 20 = u. Solve -2*d + b + b = -k, i = b + 3 for d.
3
Suppose -2*x + 4 = 2*x + 4*d, 3*d + 2 = -2*x. Suppose o = 2*o - 26. Let k be (-2)/4 + 205/40*4. Solve -4*l + o = 2*z, -x*z + k = 5*l - 25 for l.
4
Let f = 13 + -9. Let n be (-2)/(-8) + 3/f. Let g be (-4)/6 - ((-28)/6 - 0). Solve -2*u = m + 5, -g*m + n = u - 0*m for u.
-3
Let j = 5 - 1. Let f be 3/(-6)*j + 2. Solve f = -h - k + 6, 3*k = 4*h + h - 22 for h.
5
Suppose -2*d + 4 = -6. Solve -l = 4*f + 8, 9 - 1 = d*l + 4*f for l.
4
Let o(x) = x**2 - 6*x + 26. Let l be o(4). Solve 32 = 4*m - 4*k, 5*m = 2*k + l + 7 for m.
3
Let p = 18 - 27. Let r = p + 9. Solve n - 5*s = 4*n, 5*s = r for n.
0
Let j(a) = -a**2 + 10*a - 16. Let i be j(8). Suppose 4*f 