Solve 2*v = -5*i - v + 10, 3*i - 3*v + 18 = a for i.
-1
Suppose -3*b - 3 = -12. Let r be (b - 1)/((-2)/3). Let k be 1/(1/(-3)*r). Solve 6 = 2*t + 2*c, -3*t + k = -0*c - c for t.
1
Let a(j) = -j**3 - 6*j**2 + 5*j - 14. Let b be a(-7). Solve -2*s - 2*n + 4*n + 10 = b, 2*s + 2 = -2*n for s.
2
Let t = 1 - -7. Let c = t + -8. Suppose 6*i - 2*i - 8 = c. Solve 0 = 3*j + 5*d - 7 + 2, -j + i*d - 2 = 0 for j.
0
Suppose -5*o = 5*s - 30, -2*s + 3*o - 1 = -8. Solve s*a - 10 = 5*f + 30, 0 = -4*a + 12 for f.
-5
Suppose 4*s - 6 = -2*s. Let d(t) = 6*t**2 + 2*t + 1. Let r be d(-1). Solve i = -3*u - s, -r*i = -i + u + 15 for i.
-4
Let w(b) = 7 - 18 + 9 + b. Let m be w(7). Solve 4*l = -m*q - 2, 3*l - 14 = 4*q - 0*q for l.
2
Let q be (2/3 + 0)/((-3)/(-18)). Solve q*f = -5*j, -4*f + 3 = 4*j + 7 for f.
-5
Let s be 2/(-1*(-2)/4). Suppose -4*k + s = -w + 3*w, -k - 11 = 2*w. Let f = -4 - w. Solve -i - 2*l - f = 0, 2*i + 3*l + 9 = -i for i.
-2
Suppose -3*l + 6 = -0*l. Suppose l*q + 10 = 3*q. Solve -5*h - 5*a = 30, h - q = 4*h + a for h.
-2
Let t = 27 + -27. Suppose t = -5*w - 0*o + 5*o + 45, -2*o = -3*w + 23. Solve -3*g = 3*d - 18, -w*g - 2*d - d + 24 = 0 for g.
3
Let d = 42 + -18. Suppose 2*o - 2*m - d = -6*m, -4*m + 28 = 3*o. Solve -i + 0*i = -4*j - 10, o*i + 2*j + 14 = 0 for i.
-2
Let d be 27 + -2 - (1 + -1). Suppose 3*o + 10 = d. Solve v - 24 = o*v + 2*a, 3*a = -v - 11 for v.
-5
Suppose 0 = 2*r + 4*y - 3 + 23, 3*r + 2 = y. Let g be (3 + -3)*1/r. Solve g = 3*a - 5*w - 5, 0 = -a - 0*w - 2*w - 2 for a.
0
Let r be 4/18 + 50/18. Suppose 0 = -2*p + 13 - 3. Solve r*w + p*j - 35 = -2*w, -5*w = 3*j - 25 for w.
2
Let b = 37 - 35. Solve -27 = b*j - o + 6*o, 4*j - 11 = 3*o for j.
-1
Let a(y) = -y**2 + 17*y - 12. Let o be a(14). Suppose 5*r + v - o - 51 = 0, 2*v = 2. Let c be -1 + (-1 - 8/(-1)). Solve f = -m + c*f - r, -8 = -3*m + f for m.
4
Let b = -3 + 3. Suppose b = -a + 2*a. Solve 3*d + i + i - 7 = a, -2*d + 4*i - 22 = 0 for d.
-1
Let w(f) = -4*f - 13. Let q(y) = -y - 1. Let t(b) = -5*q(b) + w(b). Let x be t(7). Let u be x - (-6 + 2/1). Solve -u = -v, 0*j = -3*j + v - 18 for j.
-5
Let j = 48 - 16. Let d = -19 + j. Solve 3*m + 15 = 0, -3*z + 0*m = -2*m - d for z.
1
Let i(n) = n + 5. Let c(a) = 3*a + 18. Let o(t) = -5*c(t) + 18*i(t). Let b be o(2). Suppose 0 = b*f - 2*f - 88. Solve 5*q - 22 = 3*m - 0*q, 5*m + f = q for m.
-4
Let c(h) = -h**3 + 5*h**2 + 9*h - 9. Suppose 3*z - 4*z = -6. Let o be c(z). Solve -3*d + 5*j - 2*j = -o, -2*j - 12 = -4*d for d.
3
Suppose -4*o = -5*m - 6 + 39, 0 = -5*m + o + 27. Solve 3*r + u = 8*r - 8, -m*u + 6 = -2*r for r.
2
Let u be -1 + 0 + 1 + -1. Let d be -3 + u/(3/(-9)). Solve -5*y - 5*n + 40 = 0, d = -0*y - 5*y + 5*n for y.
4
Let y(s) = 2*s**3 + s**2 + s + 5. Let f be y(2). Solve 0 = 2*t - 5*a + f, 2*t + 3*t - 10 = -3*a for t.
-1
Let o(f) = 5*f - 20. Let w be o(7). Solve 5 - 2 = -4*z + a, -4*z + 5*a - w = 0 for z.
0
Suppose 4*q = 20 + 16. Let u = 8 + q. Solve 2*f + 3*v + u = 0, 5*f - 4*v + 12 = 4 for f.
-4
Let b be 27/(-36)*(-1 - 3). Solve 4*v + 3*j + 5 = 0, -4*v = -5*v + b*j - 5 for v.
-2
Let r be (14 + -14)/(3 + 0). Solve l - 3*k - 13 = 0, r = 4*l - 4*k - 37 + 9 for l.
4
Suppose -2*x + 7*x - 23 = -b, 5*x - 15 = -5*b. Let u = 31 - 31. Suppose 0 = 2*a - u*a - 6. Solve 0 = x*c + v + a + 20, -9 = 3*v for c.
-4
Let u be 12/(-4)*4/(-6). Let x be 2/u*(-16)/(-4). Solve 2*h - x*f - 2 + 4 = 0, 2*f = 2*h - 4 for h.
5
Suppose -5*v + 7*v - 8 = 0. Solve -2*q - 4*s = 2, v*q - 2*s = -0 - 4 for q.
-1
Let f(t) = -3*t + 4. Let q(w) = 7*w - 9. Let a(y) = 5*f(y) + 2*q(y). Let o be a(0). Solve l = o*b + 4*l - 10, 20 = 4*b + l for b.
5
Let k be 3 + (-2)/2 - 17. Let j(c) = -c**2 - 17*c - 15. Let s be j(k). Solve 3*w - s = -3*d - 2*w, -10 = -2*d - 5*w for d.
5
Let b(y) = -y**2 - 9*y + 2. Let m be b(-8). Let x be m/(-4)*2*-1. Solve -x*i + k + 29 = 0, -5*i + 0*k + 13 = 3*k for i.
5
Suppose 0 = -d - 2*d - d. Solve 2*w - w = 3*q - 14, d = 5*w + 10 for q.
4
Let y = -11 - -11. Suppose -b + 5 + y = 0. Solve b*m = 3*o - 7, 3*o - 7 = 3*m + 2 for o.
4
Suppose 3 - 10 = -z. Suppose -5*u + 16 + 39 = 0. Let f = u - 7. Solve -z = -2*g + i - 4, -19 = -g + f*i for g.
-1
Let j = -19 + 19. Solve j = -5*o - 4*n - 10, 18 = o - 2*o - 4*n for o.
2
Suppose -w - 3*x = 2*w - 9, -2*w + 5*x + 20 = 0. Solve 4 = -2*m, w*u = -5*m - 2 - 8 for u.
0
Let f be (10/4)/((-3)/(-6)). Solve 3*c - 2 = 5*q - 3*q, f*c + 4 = -4*q for q.
-1
Suppose 3*g - 4*s + 47 = -0, -3*s + 51 = -4*g. Let f be (-2)/(-6)*g/(-1). Solve k + 15 = 5*b, f*k - 3 = k - b for k.
0
Let x be (0 + (2 - 1))/(2/6). Solve -x = 3*c, y - 3*c - 15 = -2*y for y.
4
Let o(n) = n. Let c(z) = 6*z + 1. Let a(f) = c(f) - 2*o(f). Let u be a(-1). Let w = u - -4. Solve 3*p - 2*p - 4*j - w = 0, 3*p + 4*j = 3 for p.
1
Suppose 2*i = 5*h + 3*i - 12, -2*i = 3*h - 10. Suppose -r = r - 2*b - h, 0 = 4*r + b + 1. Solve 5*a + 4*t - 1 = -2, t - 1 = r for a.
-1
Let v be (-4 - 9/(-2))*0. Solve 0*z - 5*z + 3*u = -3, 4*u - 16 = v for z.
3
Suppose 0 = b + 4*x - 21, b + 7 = 4*x - x. Solve -3*t - 20 = -b*f, 3*t + 1 = 3*f - 17 for f.
1
Let f = 5 + -2. Let w = 4 - 4. Let u be 8/2 - w/1. Solve -g - 3*b - 1 = 0, -2 = -u*g + f*b + 9 for g.
2
Suppose 0 = 4*s + 24 - 4. Let a = s + 9. Solve f + a*w - 26 = -f, -2*f - 10 = -5*w for f.
5
Let z = 32 - 25. Solve -5*l - z = -3*x + 19, x - 6 = l for l.
-4
Let c be 19 + -14 + 1 + -2. Solve -5*a = c*r - 31, -5*r - a = 2*a - 29 for r.
4
Suppose 3*d - 4*i = -31, 2*d + 5*i = 16 - 6. Let j = d - -8. Solve -j*w + 9 = -2*s, -2*s = -5*s for w.
3
Suppose 2*c = f + 2, 5*c = 4*c + 4*f - 13. Solve 25 = -w + 6*w, -5*a = -c*w for a.
3
Let g be (14/10)/(26/130). Solve 10*d - g = 5*d + h, -5*h - 11 = -d for d.
1
Suppose -3*o + 5 = -10, -5*r - o + 5 = 0. Suppose 0*b = -11*b + 22. Solve w = b*w - 5*x - 28, r = w + 3*x + 12 for w.
3
Let g(c) = 3*c**2 + 5*c + 4. Let v be g(-1). Solve y = -3*s + 7, 0 = 2*y + s + s + v for y.
-5
Let o be 23 - 2/((-4)/2). Let y(w) = w**2 - 8*w + 10. Let j be y(7). Let b = j + 1. Solve 3*a + o = 3*n, b*n = a - 5*a - 8 for n.
3
Let q(x) = -x**3 - 6*x**2 - 7*x - 5. Let v be q(-5). Suppose 0 = -r - 4*r. Let n be r/3 + (-16)/(-2). Solve -3*l + n*l + 15 = -4*b, 6 = v*b - 2*l for b.
0
Suppose 3*z = 3*i + 21 + 39, 2*z = -3*i + 15. Solve -3*s - z = 0, 4*s + 8 = -0*h + 3*h for h.
-4
Let r be ((-72)/8)/((-3)/2). Solve -5*o + 5*a - 16 = -r, 0 = -a - 1 for o.
-3
Suppose -12*a = -7*a - 15. Let d = 6 - 6. Solve b + 4*z - 5 = 4, d = a*b - 3*z + 3 for b.
1
Let t = 65 + -63. Solve -3*x - 18 = 3*d, 2*d - 4*x = -t*d for d.
-3
Let z = 7 + -4. Suppose z*q + q = 0. Solve -3*w - 9 = q, -4*g + 0*w - 7 = w for g.
-1
Let s = 20 + -5. Let f = s + -11. Solve -h + 20 = f*h, 2*x - 5*h + 20 = 0 for x.
0
Let k be -48*((-8)/4)/4. Solve -z = -5, 0 = 5*j + 2*z - k - 6 for j.
4
Let p(x) be the second derivative of x**3/6 + 13*x**2/2 - 2*x. Let j be p(-10). Suppose 0 = -f + j*f. Solve 3*l + 9 = 3*k - 0, -2*k = f for l.
-3
Let q = -14 + 15. Let d = 9 + -7. Solve 4*i + d*u = -12, -5 = 3*u + q for i.
-2
Suppose -m + 8*w = 3*w, 4*m = 5*w. Suppose 0 = z - m*z - 14. Suppose -2*v - z = -4*v. Solve 5*i + h = -3, -6*i + v*i - 5*h - 15 = 0 for i.
0
Suppose 0 = -4*b + 5*b - 3. Solve -4*r + 17 = s, -b*s - 3*r + 1 = -r for s.
-3
Let u = 4 + 0. Let l be (2/1)/(8/(-228)). Let f = l - -80. Solve -4*p = -3*d - 0 + f, 0 = 4*p + u*d - 12 for p.
-2
Suppose 2*o = -3*o + 20. Suppose 368 = 3*m + m. Suppose p + j - 32 = -j, -3*p + m = 5*j. Solve 0 = -q + 5*z - p, o*z - 15 = z for q.
1
Suppose -4*p + 27 = -a, 3*a + 1 = 4*a. Suppose -32 = -4*j + 5*s, 6*j = j - 2*s + p. Solve -k + 4*b + 5 = 0, -4*k + 25 = k + j*b for k.
5
Let o(k) = 2*k - 19. Let q be o(12). Solve 5*r - 3*y + 37 = 0, 5*r + q*y = r for r.
-5
Let x = 0 - -1. Let s(i) be the second derivative of i**3/6 - 2*i**2 + 11*i. Let z be s(8). Solve -3 = h - x, z*h = 3*a - 8 for a.
0
Let m(b) = -b**3 - 6*b**2 + 7*b + 5. Let i = -12 - -5. Let f be m(i). Solve -k + 2*s + 22 = 3*k, k + f*s = -11 for k.
4
Suppose 0*c = 2*c. Suppose -2*g + 0*g - 5*d + 14 = c, 5*g + d = 35. Let b be 5 + -1*2 + 0. Solve 2*s = 4*r - 0*s - 22, -2*r = b*s - g for r.
5
Let r = 26 - 13. Suppose -r = 5*s + 22. Let g(j) = j**2 + 7*j + 5. Let t be g(s). Solve 4 = -x - 3*c - t, 4*x + 4 = -4*c for x.
3
Let b(d) = d**3 - 5*d**2 + 4*d. Let q be b(4). Suppose -5*n - 5*