2. Solve -u = 3*g - z + 1, -3*g + 22 = -4*u for g.
2
Let y = -4 - -16. Solve -4*z - 5*i + 4 = -3*i, -y = -5*z + i for z.
2
Let j = 93 - 64. Let m = 7 + -7. Solve 2*n - j = 5*b, m = 2*n + 3*b + 3 + 8 for n.
2
Let l(x) = 3*x + 37. Let m be l(-11). Suppose -15 = -5*f - z, -2 = -4*f - 3*z - 1. Solve m*k = -f*o + 12, 9 = 3*o + k + 3*k for o.
3
Let j be 11 - ((1 - 2) + 2). Suppose -3*z = -j + 4. Solve 5*g = z*s - 6, -4*s + g - 15 = -9*s for s.
3
Suppose 3*c - 3 = r, 7 = -4*r + 19. Solve -2*u - s = -c, 10 = -5*u + u + 5*s for u.
0
Let n be (6/(-4))/(2/(-16)). Let d = -15 + 1. Let a = -9 - d. Solve 3*j - a*o = 8, -j = j + o + n for j.
-4
Let g be 2/5 + 3/5. Suppose 8 + 2 = 5*s. Let q be (-2)/(-4)*-1*-8. Solve -3*p + s*r - g = -4, -q*r = -12 for p.
3
Let w(o) = o**3 - 19*o**2 - o + 22. Let j be w(19). Solve -k + 3*h = 10 + 9, -j*h + 35 = -5*k for k.
-4
Let t = 5 + -2. Suppose 67 = p + 5*z, 7*p = t*p + 4*z + 244. Let n = p + -37. Solve 2*q - 5*s = n, 5*s = -q - q - 25 for q.
0
Let x(t) = -t**3 + 7*t**2 + 2*t - 9. Let h be x(7). Suppose h*j = 10 + 10. Solve -2 + 4 = 2*k + 4*c, -j*c + 5 = -k for k.
-1
Let n be 3/(3/(-2)) + 4. Suppose 0 = -2*j + 3*i - n, -j + 5*j + 3*i = 14. Solve -3*b = j*q - 5*q + 12, 0 = 3*q - 6 for b.
-2
Let r = -9 - -5. Let y(s) be the first derivative of s**4/4 + 5*s**3/3 + 3*s**2/2 - 5. Let j be y(r). Solve -19 = -5*d - 3*p, -4*d - j*p + 12 + 8 = 0 for d.
2
Let a(g) = g. Let q be a(7). Let w(f) = -f + 7. Let u be w(q). Suppose u = -3*p + 7 + 2. Solve -p*c = -3*d - 12, 5*d + 4*c = 4 + 3 for d.
-1
Let h be 0 - (2 + 6)/(-1). Let c(b) = b**3 - 8*b**2 - 2*b + 8. Let f be c(h). Let l = f - -13. Solve l*g + 3*d - 23 = 7, -3*d = 3*g - 24 for g.
3
Let b(o) = -o**2 + o. Let q be b(1). Suppose 4*d + 0*d - 32 = q. Solve 4*y - 2*p = 8, -4*y + 0*p + p = -d for y.
2
Suppose -3 = -4*b + 9. Suppose -5 = -w + 5*r, -3*w + 0 = -r - 1. Suppose w*i + 3*i = 36. Solve -4*l + b*z + 1 = 0, l - 3*z - 1 = -i for l.
4
Let w be (-2)/(-7) + 78/21. Let v = 7 - w. Solve 4*x - 4 = v*a - a, 0 = a + 3*x + 7 for a.
-4
Suppose -4*a - 4*z - z = -32, -z = -4. Solve -l + 2*g + a*g - 7 = 0, -3*g - 3 = -3*l for l.
3
Suppose 0 = 7*r - 24 - 4. Solve -6*a = -5*p - 2*a - 22, -r*p = -a + 11 for p.
-2
Let w = 15 + 7. Suppose 19 = 4*f + 3. Solve -4*v = -3*k - w, -f*v + k = -3*v - 6 for v.
4
Suppose 18 = -3*h + 9*h. Solve 2*f + h*z - 4 = 3*f, -4*f - z = -10 for f.
2
Suppose 0 = -6*a + 2*a + 8. Suppose a*i = 2*b + 18, -4*b = -3*b. Let j = 4 + -1. Solve -4*u + 16 = 0, -i = w - 0*u - j*u for w.
3
Let t be -6*((-2)/(-3) + -1). Let o be (0 - t)/(2/(-5)). Suppose 0 = 4*v - 19 + 7. Solve 0*n = v*n + 2*f - 4, 3*n = o*f - 31 for n.
-2
Let b be (-1)/(-3) + (-26)/6. Let o = 6 + b. Solve -5*d + f = -25, o*f + 11 - 1 = 0 for d.
4
Let z be (0 + -1)/((-16)/48). Solve 2*y - 14 = n - z*y, -2*n + 4*y = 10 for n.
1
Let n(h) = -6*h + 5. Let p(j) = 6*j - 5. Let l(f) = 4*n(f) + 5*p(f). Let a be l(4). Solve -2*m + 15 = m, w + 3*m - a = 0 for w.
4
Let g = 52 + -48. Solve 5*c = 2*z + 11, -2*z + g*c + 2 = 12 for z.
-3
Let k be 4/(-18) - (-261)/81. Solve 2*o + k*o = 5*q - 25, -4*o + 4 = 2*q for o.
-1
Let c be (-2)/5 + (-9)/30*-78. Solve 28 - 2 = 2*o - 4*y, 0 = -o + 4*y + c for o.
3
Let o be 1/2 + 2/(-4). Suppose o*d + 20 = 5*d. Suppose 3*u - k - 37 = -14, -k - 29 = -d*u. Solve f - u = 2*f - 3*b, -2*b + 12 = 2*f for f.
3
Let p be -3*(13/(-3) + 4 + -1). Solve -f + 4*f - 11 = 5*l, p*f - 12 = 4*l for l.
-1
Let u(s) = s - 1. Let b be u(6). Let f = b + -5. Let t be 7 - (0 + -1 - f). Solve 0*j + 4*l - t = -j, -j - 3*l + 6 = 0 for j.
0
Let y = 16 - -1. Let b = 61 + -53. Solve 4*f - y + 1 = -k, -2*k = -b for f.
3
Let h be -3 - -6 - 0/2. Suppose 4*i = 4*l - 16, -i + h*i = -l - 2. Solve 2*x = -c + l, -5*x - c = 3*c - 11 for x.
-1
Let q(l) = l**2 - l. Let f be q(2). Solve 2*d - f*g = -3*d + 25, 2*d - 10 = 2*g for d.
5
Suppose -4*q + 0*q - 8 = -4*c, 5*c - 16 = 2*q. Let a = 12 - 24. Let k be 2/8 + (-45)/a. Solve 2*f = -k*y - q*f + 8, 4*f = 2*y + 2 for y.
1
Suppose -12 - 7 = -s. Suppose -7 = 3*g - s. Solve 4*i + 5*d = 17, 0 = g*i - d - 1 - 10 for i.
3
Suppose 4*v - 4*a - 6 = -2, -5*v + 5 = -a. Let m be (v + 1)*(0 + 5). Solve 5*s = -5*i - m, -s = 3*i - 5 + 1 for s.
-5
Suppose -q - 4*c + 16 = -2, 0 = 4*q - 4*c + 28. Let g be 1 + ((-12)/q)/2. Solve -5*o + f = 2*f + 11, -6 = g*o - 2*f for o.
-2
Let h = -9 - -12. Solve -2*k + 6 = -r - h, -5*k - 5*r = 0 for k.
3
Let u = -6 + 6. Let a = 10 + -6. Solve 4*p - a*d - 16 = u, -d = 3*p + 2*p - 20 for p.
4
Suppose 6 = -3*t + 4*p, 0 = -2*t - t + 3*p - 3. Suppose 2 = -t*v + 8. Solve -2*g = -5*l - 10, v*l = 2*g - l - 8 for g.
0
Let l(t) = 2*t. Let q be l(5). Let f(g) = -g**2 + 10*g. Let p be f(q). Solve 5*o + 5*v - 35 = p, -2*o + v + 2 = -3*v for o.
5
Let t = 12 + -11. Let x be (1 + t + 1)*1. Solve 4*s + 4*v = 36, -x*s - 26 = -5*s - 4*v for s.
5
Let b be (9/(-18))/(1/2) + 3. Suppose o - 6 = -3*m, 2*m = 2*o + 7*m - 12. Solve b*q - 3*s = -6, -o = -4*q - 2*s - s for q.
0
Let k(s) = s - 6. Let g(o) = -o**2 - 9*o - 8. Let q(c) = 2*c + 7. Let n be q(-7). Let f be g(n). Let p be k(f). Solve -b = p, 6 = 4*v + 2*b + 2 for v.
1
Suppose -n + 12 = 4*y, 8 = 2*y - n + 2*n. Suppose -2 = 4*s + 2*b, 4*s - 2 - 1 = -b. Suppose -s*z = -5*z + 81. Solve 0*o - 3 = m - y*o, 5*m = -2*o - z for m.
-5
Let n(r) = -r**2 + 7*r - 5. Let f be n(5). Solve -3*u + f*h + 26 = 0, -3*u = -h + 6*h + 14 for u.
2
Suppose -94 = -2*h - 82. Suppose -4*w + 40 = -2*w. Let k(a) = a**3 + 6*a**2 + 4*a - 3. Let l be k(-5). Solve v - w = 5*z + h*v, -4 = -l*z + v for z.
0
Let p = 21 - 17. Suppose 110 = p*c + c. Suppose -5*b + 0*b + 10 = 0. Solve 5*z + 7 = 2*z - 2*h, c = -b*z + 3*h for z.
-5
Let j be (-2 + 2 - 0) + 0. Suppose j = 2*d - t - 6, -3*t + 4 = -t. Solve 4*x + 4 = -4*m, 40 + 0 = 5*m - d*x for m.
4
Let f(m) = -m + 3. Let y be f(3). Suppose 0 = 5*g - 15 - y. Suppose 4*w = -l + 12, 2*l = -2*l + g*w + 10. Solve -9 + 0 = 3*o + l*v, -5*o = 2*v + 1 for o.
1
Let k be 78/52 - 2/(-4). Solve -25 = -3*x - 0*a + 5*a, 4*x - 24 = k*a for x.
5
Let f(n) = -4*n - 4. Suppose 3*a + 0*p + 20 = 4*p, 0 = 4*a + 5*p + 6. Let c be f(a). Let k = -15 + 15. Solve k = 4*q - c, -r + 2*r = -5*q + 12 for r.
-3
Let t(k) = k**3 + 6*k**2 + 6*k + 7. Let m be t(-5). Solve -u + m = -2*v - 0*v, -v + 2*u + 5 = 0 for v.
-3
Suppose -8 = -2*o - 2. Let l be -2 - 1/(o/(-6)). Let i = l - -2. Solve 5*d + i*b + 7 = 2*d, -2*d - 5*b + 10 = 0 for d.
-5
Let q(m) = -2*m + 8. Let a be q(-2). Solve -5*h + 2*r = -16, -5*r + 5 = 4*h + a for h.
2
Let j be 102/18 - (-3)/9. Solve -2*a - a = q - j, -12 = 3*q - a for q.
-3
Suppose -17 = -5*m + 8. Suppose -m*p + 90 = -40. Solve 5*q - p = -2*y + 3, -y + 4*q = 18 for y.
2
Let y(f) = 2*f**2 - 6*f + 2. Let k be y(3). Suppose 0 = -k*t + 4*t - 6. Solve -b - 5 = -2*w, -3 - t = 2*b - 2*w for b.
-1
Let t(l) = -2*l - 3. Let f be t(-3). Let x(y) = 0*y + y - y**2 + 3*y**3 + 2*y**f. Let c be x(1). Solve 5*h - 4 = 3*i - 19, c*i = h + 25 for i.
5
Let y be 10*(4 - 21/6). Solve 0 = -y*k - 2*w + 9, k + 6 = 6*k + 3*w for k.
3
Let j = 38 + -28. Solve 10 = 3*b - b - 3*c, 2*c = -2*b + j for b.
5
Let x(c) = -c + 9. Let d be x(7). Solve 5*b + 15 = 0, -8 = -4*r + d*b + 6 for r.
2
Suppose -s + 0*g - 2*g + 3 = 0, 2*g = -3*s - 7. Let n(c) = -c**3 - 5*c**2 + 3. Let y be n(s). Solve y*f + 3*k - 8*k + 8 = 0, 2*f - 5*k + 7 = 0 for f.
-1
Let q(u) = -3*u - 8. Let v be q(6). Let f = v - -50. Solve -3*i = z - 20, 4*i - 16 - f = -4*z for z.
5
Suppose 3*n - 2 = 4*d, 2*n = 4*d - 3*d - 7. Let f = n + 7. Suppose a - 1 = f. Solve -2*t + a*b - 3 + 1 = 0, 0 = -3*t - 5*b - 35 for t.
-5
Let q be (-402)/(-33) + (-10)/55. Solve 4*k + 2*y + 0 = 26, -2*k + 4*y = q for k.
4
Let h be (6/(-9) + 1)*-3. Let t be ((-1)/h)/((-2)/(-10)). Solve t*k + 13 = f, 0 = f - 4*f - 6 for k.
-3
Let m be (-6)/(-27) + (-3 - 244/(-36)). Solve m*a + 31 = 3*n, 2*a + 4*n - 4 = -2*a for a.
-4
Suppose -8 = 3*x - 7*x. Solve u = -4*m - 13, -5*m + u - x*u - 16 = 0 for m.
-3
Let g(z) = z + 8. Let x be g(-6). Suppose 4*t - 28 = -5*c, 18 = 5*c + x*t - 3*t. Solve c*h = h - 3*b + 15, -3*b + 9 = -3*h for h.
1
Suppose 0 = -4*x + 5*f + 45, x - 5*f + 2*f - 20 = 0. Let z = 19 + -16. Let r = 4 + 0. Solve -x*m - 18 = 2*n, z*n + m = -r*m - 22 for n.
-4
Let z be (3/4)/((-1)/(-4)). Let r be 1*z + 4 + -3. Suppose 5*w + 11 = 2*p, -2*p + 