2. Solve c = 2*o + 2*o - 11, x*c = o + 2 for c.
1
Let b be -1*(-1 + 2 + 0). Let k be (3/(-6))/b*22. Solve -4*s = 4*j - 8*j - 16, -5*s + 2*j = -k for s.
1
Let n = 0 - -17. Let z be 3/(1/(2/3)). Suppose -m + 6 = z. Solve u - 5*u + 21 = 5*j, 0 = -m*j - 3*u + n for j.
5
Suppose 2*n = 3*n - 25. Solve -5*x + 25 = 2*y, -6*x + n = -x - 4*y for x.
5
Suppose -2*b - 2*u + 28 = 2*b, 2*b - 22 = -3*u. Solve -6 = 3*r + 4*d, -3*r + b*d = -0*r - 21 for r.
2
Suppose 14 = 3*a + 4*f - 0*f, 3*f = 3*a. Suppose -a = 4*x - 14. Solve 0 = 4*q - x*c + 27, q - 3*c - 2*c + 28 = 0 for q.
-3
Suppose 3*j = -5*x, x - 6*j = -j. Solve x = 2*g - 4*f - 8, -3*g + 2*f + 4 = -g for g.
0
Let o be 4/6 + (-8)/(-6). Suppose 0 = 4*l + 20 - 0. Let q(x) = -x - 3. Let v be q(l). Solve -o*w - k = -9, v*k + 3*k = 2*w - 15 for w.
5
Let u(v) = 3*v - 4. Let i be u(3). Suppose -66*k + 73*k = 126. Solve 2*r = -0*a - 2*a - k, -i*a = -5*r + 5 for a.
-5
Suppose 18*t - 65 = 5*t. Let z(u) = u**3 + 4*u**2 - 7*u - 4. Let d = -12 - -7. Let x be z(d). Solve -3*f - x = -5*a, 2*a - t*f = 6*a + 10 for a.
0
Let j be (-1)/(10/6 + -2). Suppose -5*n = -j*n + 8, 0 = -s - n + 26. Let m = s - 21. Solve 40 = 4*g - 4*t, 2*t - 1 = -4*g + m for g.
5
Let c = -15 + 11. Let j be (-6)/c - (-3)/(-6). Solve 3*w + k - j = 5, 4*w = k + 15 for w.
3
Suppose u = 4 - 19. Let y = u - -17. Suppose -3*b = -8 - 4. Solve -3*p + y*l = 11, -p + l = -0*l + b for p.
-3
Let i = -20 - -32. Solve -x + 2 = 3*r, -6*r = 5*x - 2*r + i for x.
-4
Suppose -3*m = 2*m - 20. Suppose 0 = -2*w + 4*w. Let o = 5 - 2. Solve w*h = -m*k - h + 2, o*k = 3*h - 6 for k.
0
Suppose 0 + 12 = 2*g - 4*f, 4*g + 4*f = 0. Solve -10 = g*v - 3*c, -2*v + c + 4 = 5*c for v.
-2
Suppose 0 = -2*h + 8 + 20. Let y(l) = l - 1. Let q be y(4). Let r be 4/(-6) - (-44)/q. Solve h = 3*o + 4*k, -2*k + r = 2*o + 3*o for o.
2
Suppose 3*g = -4*y - 3, 2*g = -g - 3. Suppose 5*d = -j + 16, y = -d - 2*j - j - 8. Solve d*t + 18 = -h, -1 - 11 = -h + 2*t for h.
2
Let y be 2 - (-1 + 2) - -5. Let v = -4 + y. Let t be v - (19 + -1)/(-3). Solve 0*r - 5*w = -2*r + 22, -t = 2*w for r.
1
Let l(d) = d**2 + 1. Let n be 3/(-6) + (-6)/4. Let w be l(n). Solve -y = -2*p - 1, -2*y = -3*y - p - w for y.
-3
Suppose 5*y = 2*u, u + 7*y - 2*y = 0. Solve 2*k + 3*x = k - 1, u = 5*k + 5*x - 5 for k.
2
Let f = -6 - -10. Suppose 6*i = 4*i + 10. Let j = -4 - -6. Solve j*p - 7 = -i*a, 0 = -p - f*a + 8 for p.
-4
Suppose 0 = -6*d + 2*d. Let v be d - 2 - 7*-3. Suppose -v - 1 = -5*w. Solve 2*h = -5*p + 8, w*h + 7*p - 2*p - 6 = 0 for h.
-1
Let a(w) = -w**2 - 12*w - 7. Let n be a(-11). Solve -n*i = -q + 21, 3*i + 5*q - 3 = 2*q for i.
-4
Let s = -10 - -14. Let z be s*(9/6 + -1). Suppose g + 2*h = 6*g - 19, g + 4*h = 17. Solve g*p - z*p + l - 15 = 0, 0 = 5*p + l - 23 for p.
4
Let z(b) = b**2 + 4*b - 3. Let w be z(-5). Solve -4*r + 6 = -t, -w*t - r + 3 = -3 for t.
2
Suppose -2*n + 4*n - 3*k = 5, 4*k = -3*n - 1. Let g be ((-30)/40)/(n/(-4)). Solve 0 = 2*y + 2*s + 6, -g*y = -0*y - 3*s + 21 for y.
-5
Let d(u) = 2*u + 1. Let p be d(2). Suppose 0 = p*a - a - 2*y - 2, 5*a + 3*y = 19. Let k = 34 - 20. Solve -k = -5*l + x, -3 = a*l + 2*x + 1 for l.
2
Let z be -2 + -4 + (0 - 0). Let n(w) = w**2 + 5*w - 3. Let t be n(z). Solve 0 = 3*l - 6*l + t*h, 3*l + 8 = h for l.
-4
Let t = -4 - -7. Suppose 2*w - t*w - 5*f + 39 = 0, 4*f = 20. Suppose 4 = s - 4*k + 1, -5*s = -2*k - 15. Solve -s*r - b - w = -0*r, -3*r + 3*b - 18 = 0 for r.
-5
Suppose 3*m = 16 - 7. Solve -3*s = -2*n + 16, -m*s + 0 = -5*n + 31 for n.
5
Let j = -25 - -36. Solve -5*v + o + 24 = 0, -5*o - 1 + j = v for v.
5
Suppose -4*g = 8 - 68. Let n = g + -10. Solve 0 = -2*k + 3*y - n*y + 2, 5*k + 2*y = -4 for k.
-2
Suppose 5*h = -w - 6, 4 - 5 = h. Let o be (-2 + 2)/(0 - w). Solve o = t + 2*t + 3, 5*k = -3*t - 18 for k.
-3
Let z be (20/(-8) - -2)*-8. Let m = -3 + 9. Let r = 9 - m. Solve r*c + z*t - 16 = -t, -c = -2*t + 2 for c.
2
Let x be ((-12)/(-8))/(1/2). Suppose 2*u = -4*z + 6, x*u - 4*z + 1 = 20. Solve 4*v = -3*t - 32, 2*v + u + 17 = -3*t for v.
-5
Let p be ((-3)/(-3))/2*8. Suppose -8*f - 20 = -p*f. Let o = f + 11. Solve -16 = -4*d - 3*a, 2*d = -o*a + 3*a + 14 for d.
1
Let u = 45 + -40. Solve u*w + 2*p = -24, -w + p = -3*w - 10 for w.
-4
Let s(g) = -g**3 - g**2 + 2. Let x be s(-2). Solve 0 = 2*h - 6, -v = 3*v - 2*h - x for v.
3
Let a be (-8)/(-1*(1 - -1)). Suppose 3*w - a = w. Solve 4*v - g = 18, 2*v + w*v - 4*g - 24 = 0 for v.
4
Suppose 2*l = 2*w + 9 + 1, 4*w = 5*l - 17. Let r = w + 10. Solve 3 = -4*a + 5*p, 4*a + r*p + 9 = p for a.
-2
Let f be (-3)/(-6) + 2/4. Suppose -2*w = -11 + f. Solve 8 = 4*h - 4*c, 5*h - 3*c + c + w = 0 for h.
-3
Let s be (-16)/(-6) - (-14)/(-21). Solve -5*k - s*v = -13, v = -k - 4*v - 2 for k.
3
Let u = -20 + 24. Solve -5*k - 3*b + 14 = -4*b, 0 = u*k + 2*b for k.
2
Suppose 3*g = -2*g - 15. Let k be (11/(-3) + 2)*g. Solve -4*f + 33 = k*a, -5*f + 2 + 8 = 0 for a.
5
Let s(r) = 2*r**2 + r - 4. Let x be s(-3). Let n = x + -15. Let o be (n/(-8))/(2/12). Solve -5*u + 2*c + 12 = 0, 12 + 4 = o*u + c for u.
4
Let j = -2 - -7. Suppose -3*c = 2*w - 46 + 13, -4*c + 79 = j*w. Let f(m) = 4*m + 142. Let u be f(-29). Solve -o - 4*k - k = w, -4*o - 3*k = u for o.
-5
Let u(r) = 4*r - 3*r + 3 - r - 5*r. Let l be u(-6). Solve -5*d - l = -4*g, -2*d + 27 = g - 7*d for g.
2
Let q be 2/4*(-14)/7. Let s be 180 - (q/(-1) + -4). Let a be (-2)/(-9) + s/27. Solve 22 = -3*h - 2*c + a*c, -h - 5*c = -26 for h.
1
Let t be (2 + 0 - 11)*(-5)/15. Solve -4 = -4*f + 4*s, -s - 4 = -f + t*f for f.
-1
Let u be 8 + -4 - 3/(-1). Solve 5*n + 3 = -4*t, -4*n - 9 = 3*t - u*n for t.
-2
Suppose 3 = x - j, -x + j + 9 = 2*j. Solve -7 = -5*g + 4*y + x, 2*g - 5*y = -5 for g.
5
Let l(c) = 3*c**3 - c**2 + c - 1. Let q be l(1). Let d be (3/q)/((-1)/(-2)). Suppose 2*a - 12 = 2. Solve 5*j = 5, -d*k + 0*j - a = -4*j for k.
-1
Suppose 24 = 8*o - 0*o. Solve -3*j - 18 = -h - 6, o*j + 12 = 0 for h.
0
Suppose -14 = -4*h + 2*o + o, 10 = h - 4*o. Suppose -5*p + 0*p = -90. Let a = 10 + -6. Solve 0*v + v + x - 6 = 0, a*v - h*x = p for v.
5
Suppose 0 = d + 5*v + 4, -3*d + 4*v - 31 = -0*v. Let h = d + 12. Suppose -14 = -3*p + 4*n, -h*p + n = p - 10. Solve p*m - 27 = 3*c - m, -4*m + 32 = -3*c for c.
-4
Let f = 8 - 4. Let j = 7 - f. Solve j*o + s = 8, 5*o + 0*s = 3*s + 32 for o.
4
Let r be 0 - (-3 - -1 - -1). Let w be (2/(-2))/(r/(-2)). Suppose -w*j + 10 = -5*y, 2 = y - 2*y. Solve -5*b - 12 = 3*c, 2*b + 8 = 2*c - j*b for c.
1
Suppose 4*q = 2*q - z - 1, -2*q + 5*z + 29 = 0. Let m(u) = -2*u**2 + 5*u - 3. Let y be m(3). Let p = y + 11. Solve -5*n - p = 0, l - 5 = -0*l + q*n for l.
3
Suppose 5*m = 5*r + 22 + 28, -5*m + 4*r = -45. Solve -y = -3*t - 11, 15 = t - m*t + y for t.
-4
Suppose d - 2*k - 23 = 0, -3*k + 127 - 38 = 5*d. Let b = 5 - 3. Solve b*o - 4*x - d = 7, 3*o - 2*x = 19 for o.
3
Suppose -2*m - 2*y = -14, 2*m - 9 + 1 = -4*y. Solve 3*x = g - 15 - 2, -5*x - 2*g - m = 0 for x.
-4
Let l(m) = 2*m + 16. Let p be l(-7). Solve -5 = 2*j - p*y + 1, 3*j + 17 = -y for j.
-5
Suppose -8*m = -12*m - 16. Suppose 0 = x - 2 + 9. Let k = m - x. Solve -2*c + 3*c - 7 = -r, -k*r + 9 = 0 for c.
4
Suppose 15 = 23*d - 18*d. Solve -d*f - 3*v - 2*v = 10, 0 = 5*v - 5 for f.
-5
Let a(b) = 3*b - 33. Let k be a(19). Solve 3*d - 2*d + 3*z = -14, d + 5*z + k = 0 for d.
1
Let f = -24 + 26. Solve -3*o - 2*k = -10 - 0, f*k - 4 = 0 for o.
2
Let q(u) = -u**2 + 8*u - 4. Let n be q(5). Let a = -8 + n. Solve 2*v = 5*i + a*v - 5, -5 = -5*i - 5*v for i.
1
Let t = 12 + -7. Suppose -t*j + 33 - 8 = 0. Solve -j*c = 4*x - 0*x + 45, -x = 3*c + 20 for c.
-5
Suppose 3*f = -2*f. Let j(h) be the third derivative of -h**6/120 + h**5/60 + 8*h**3/3 + h**2. Let i be j(f). Solve i = -4*v - s - s, -5*v + 3*s + 2 = 0 for v.
-2
Suppose -3*d = -2*v + 4, -v + 1 = -d - 0*v. Let p(x) = 8*x + 1. Let n be p(d). Let f be (-51)/(-15) + 6/n. Solve 3*h = f*a, -h = 3*a + 2*h - 18 for a.
3
Suppose -6*i - 10 = -11*i. Solve 0 = -i*g - 2*g + 2*a + 12, 5*a - 6 = g for g.
4
Let x(q) = q - 1. Let g be x(0). Let t = 3 - g. Solve -5*r = -t*r, -4*u = r - 12 for u.
3
Let k be 0*((-2)/(-4) + -1). Solve -3*v - 9 = -3*q, k*v + 23 = -3*v - 4*q for v.
-5
Let w be (-12)/36 + 26/6. Suppose -y = -2*m + 4*m, -w*y = 4*m - 8. Solve -g = -3, 2*c + 7 = y*g - 1 for c.
2
Suppose -5*v + 3*v = 0. Suppose s + 2*s - 3 = v. 