2. Let m be k(-5). Let f be 1/(m + -1) + 1. Suppose -8*o = 8 - 48. Solve -o*h - 4*d = 8, -h - 2*d + 0 = -f for h.
-4
Let q = 99 - 22. Suppose -5*z = -3*l + 2 - q, 43 = 4*z + l. Suppose 0*s = -4*s. Solve -4*n + 3*c + c - z = s, c = -2*n for n.
-1
Suppose -5*r + 0*r = -155. Let t = r - 13. Let o(x) = -x**2 + 12*x + 17. Let j be o(13). Solve -5*u + j*n - t = n, u + 3*n = 0 for u.
-3
Suppose b = -5*v + 22, 3*v - 14 = -4*b + 23. Suppose 0 = -13*t + 6*t + 14. Solve x = 4*f + 9, -x + t*f - 9 = b*f for x.
1
Let m(t) = t**2 + 4*t + 4. Let f be m(-4). Suppose l - f*l = 6. Let r be (0 - 2)/(l/5). Solve 0 = 3*g - 2*a + 14, 15 = r*a - 5 for g.
-2
Let q = 18 + -16. Solve 2*z = 3*j + 1 + 1, -q*z - 4*j = -2 for z.
1
Let n be -2 - (1 + (-6 - -3)). Let q(k) = -k**3 + 3*k**2 + n*k**2 - 3*k**2. Let l be q(0). Solve l = -5*o - 5, 0 = -2*t - 4*o - 4 + 8 for t.
4
Let n be 6 - (-2)/3*-6. Solve 0*q - 2 = n*y + 2*q, -3*q + 1 = -y for y.
-1
Let t(a) = 13*a - 7. Let j be t(-6). Let h be j/(-15) + 1/3. Suppose -11 = 3*u + 4*k, u - 4*k + h = 29. Solve 4*s = -s + 10, u*x - 5*s + 1 = 0 for x.
3
Suppose -6*h + 20 = -h. Let b = h - 1. Solve 16 + 15 = 4*z - b*s, 0 = 4*z - 4*s - 36 for z.
4
Suppose -7*d + 3*d = -5*m + 67, -4 = -2*d. Let x be 6/m - (-16)/10. Solve -q + j = 0, x*q - j + 6 = -5*j for q.
-1
Let j be -6 - -4 - (-1 - -8). Let a = -4 - j. Suppose 0 = -6*w + 2*w + 8. Solve a*u + 11 = -4*d, -d - u = -0*d + w for d.
1
Let a be 1*5 + (0 - 0). Let h(s) = -5*s**3 - 2*s**2 - 4. Let t be h(-2). Let i = -28 + t. Solve 0 = 5*f - a*g - 20, -4*f + g + 10 + 3 = i for f.
3
Let v(n) = -13*n - 26. Let d be v(-2). Solve d = -2*w + 5*b - 2 - 3, 2 = -w + 2*b for w.
0
Let c = 21 - 18. Solve 0 = i + 3 - 5, 0 = 5*m + c*i + 9 for m.
-3
Suppose 4*l - 3*l - 20 = 0. Suppose 2*q - 2*j = 4 + 4, -5*q + l = -4*j. Let v be 2*-1 + (-15)/(-3). Solve -5*b = -s - 17, q*b = 2*s + v*b - 2 for s.
3
Let y = 667 + -662. Suppose -q - 2 + 8 = 0. Solve 4*z + c = -q - 5, -2*z + 3*c + y = 0 for z.
-2
Let p be 2/10 - (2 - 1036/20). Let b(c) = -c**3 + 5*c**2 - c. Let j be b(5). Let w = j - -8. Solve -5*r - p = -5*h, w*h + 5*r + 5 = -h for h.
5
Suppose -g + 0*g - 3*f = -6, g - 2*f + 4 = 0. Let y = 2 + g. Solve 0 = -4*t + 5*l + 25, -3*l + 2*l = y*t + 5 for t.
0
Let l = 21 + -5. Suppose 4*y = 2*v + 2*v - l, -5*v + 13 = 2*y. Suppose 11 + 1 = v*a. Solve 0*w - a*w - 1 = -5*u, 2*w - 4 = 4*u for u.
-3
Suppose d = -8 + 10. Solve 0 = -s - f - 1, -d*f = -3*s - 1 - 2 for s.
-1
Let c be (-9 + -1)*(-4)/10. Suppose 0 = -p - 4, p + c = -f - 3*f. Solve -4*l = 2*v + 3*v + 35, -5*l - 25 = f for v.
-3
Let g be 3/(-9) + 122/6 + 2. Solve 4*v = -5*q + 12, -3*q + 3*v + g = q for q.
4
Let m(c) = 0*c + 6*c**2 + 0*c**3 - 2 - 2*c + 6*c + c**3. Suppose -4*j - 3 = 17. Let n be m(j). Solve -5*y + 3*x - 18 = -2*y, x - 12 = n*y for y.
-3
Let l(a) = -a**2 + 4*a + 5. Let m be l(4). Solve -g + 1 = b + 2, 2*g = -5*b - m for g.
0
Let d(o) = -6*o**3 - 4*o**2 + 4*o. Let i(l) = -7*l**3 - 5*l**2 + 4*l. Let z(x) = 6*d(x) - 5*i(x). Let n be z(2). Solve 0*p + t = 4*p - 21, 3*p = n*t + 32 for p.
4
Let w be (4/11)/((-10)/(-55)). Solve 0 = -4*c - 5*q + 5, -3*c + w*q + 0*q = 2 for c.
0
Let c = -72 + 102. Solve -2*i = 5*y - c, -4*i + y + 2*y + 8 = 0 for i.
5
Let i(b) = -3*b**3 - b**2 - b - 1. Let u be i(-1). Suppose u*c = -2*c. Solve p = -4*s + 5, c = -3*s - 5*p - 2 + 10 for s.
1
Let j be (-4 - 1)/(1/(-2)). Let a(c) = 3*c - 64. Let n be a(23). Let p be (1 + -5)/((-2)/3). Solve -2*d - 2*b = -p*d + 8, n*b - j = 0 for d.
3
Let y = -9 + 27. Let c be (-2 + 8)/(12/y). Solve 13 = -4*g - 5*t, -5*g + c + 21 = -3*t for g.
3
Let m(i) = -2*i + 4. Let r be m(4). Suppose 2*d - 16 = -3*g, -3 = -g - 3*d - 0. Let f = r + g. Solve p - 5 = 2*z, -4 = -5*p + f*z + z for p.
-1
Let z(d) = -d**2 - 8*d - 4. Let s be z(-7). Let x(n) = 2*n - 6. Suppose 4*m = 3*m + 5. Let q be x(m). Solve -p = 3*p + 4, q*u + s*p = 1 for u.
1
Let r(j) be the first derivative of -1/4*j**4 + j**2 + 5/3*j**3 + 2 - 5*j. Let u be r(5). Solve 3*h - h + 11 = -3*k, -u*k + 5*h - 35 = 0 for k.
-5
Let v(o) = o**2 + 3*o - 5. Let z be (-4*10/4)/2. Let b be v(z). Solve -l + 5 = b*u, -l + u - 7 = -0*l for l.
-5
Suppose 25 = 3*m + 2*m, 16 = -v + 4*m. Solve 5*n - 14 = -3*c + 4*c, v = n + c for n.
3
Suppose -24 = -48*p + 47*p. Let m = -4 + 7. Solve -d - b + 18 = -4*d, 3*d - m*b = -p for d.
-5
Let j = -15 + 20. Solve 5*q + c - 3 - 21 = 0, j*c = 4*q + 4 for q.
4
Let a(b) = b**3 - 7*b**2 + 2. Let y be a(7). Suppose 0 = -4*n - p + 2 + 19, y*p - 30 = -5*n. Solve 0*h = -h + n, -4*h = v - 13 for v.
-3
Suppose -o + 5*o = 8. Suppose -4*y - 22 = -m, 0 = -m + 4*m + o*y - 10. Let b be -9*(-2)/m*2. Solve 0 = 3*d + b, -5*k - 2*d = 3*d + 35 for k.
-5
Let a be 13/(-2) - (-7)/(-14). Let d = -4 - a. Solve -p + h + 5 = -h, -d*h - 10 = -p for p.
-5
Let j = -15 - -28. Solve -7 = -3*d - h + j, 4*d - 3*h = 5 for d.
5
Let l(u) = -u. Let m be l(-4). Suppose -m = -2*p + p. Solve t - 2*a = 1, -t + 4*a = a - p for t.
-5
Suppose -2*r - s + 4 = 3, -2*r + 5*s = 17. Let a = 3 + r. Solve -4*i = -1 - 19, a*u - 3*i + 17 = 0 for u.
-1
Let q be (32/40)/(2/10). Suppose 0 = 3*h + 3*l, q*h - l = -0*h + 25. Solve -h*b - 12 = 4*j, -2*j = -b + 4*b + 6 for b.
0
Let c(v) = -v + 6. Let r be c(6). Let d = -2 + 4. Suppose -d = -2*f - 0*f. Solve 5*j + 12 = 4*l, r = -3*l + 2*j + 1 + f for l.
-2
Let n(q) = q**2. Let z be n(0). Suppose -3*t + 4*c - 3 - 10 = z, 0 = -t - c - 2. Let m = -1 - t. Solve 2*l = -0*l - p - m, p - 2 = 0 for l.
-2
Let i be ((-102)/8)/((-27)/36). Solve -2*f - i = -3*y, 5*f + 35 = 5*y - 0*y for y.
3
Let g(j) = -7*j + 7. Let v(l) = -4*l + 3. Let n(c) = 3*g(c) - 5*v(c). Let y be n(3). Solve 5*s - 24 = -2*i, 5*i + 4 = y*s + 2 for s.
4
Suppose -t - 3*t - 12 = 0. Let c be 38*(2 - t/(-2)). Suppose 4*w - c = -7. Solve -2*m = -w*u + 2, 2*u = -2*m - 9 - 3 for u.
-2
Let c be 3/((-6)/(-8)*-2). Let k(i) = -i**3 + 2*i. Let r be k(c). Let g(h) = 10*h**2 + h - 1. Let m be g(-2). Solve b + 2*n = -11, -5*b = -0*n + r*n + m for b.
-5
Let j be 1/(-2)*0*-1. Solve -3*n - 3*k = -3, j = 3*n - 8*n - k + 17 for n.
4
Suppose -m + 0*d = -d + 3, 3*m - 4*d = -10. Let y be (-3 + 1)*(m - -1). Solve 0 = -5*k + b - 21, k = y*k + b + 3 for k.
-4
Let j(f) = f**2 + 4. Let c be j(0). Let u = c - 5. Let s(d) = -24*d. Let i be s(u). Solve 0 = -4*n + 4*t - i, 5 = 2*n + 3*n + 2*t for n.
-1
Let q be (2/(-1))/1 + 5. Let b be 8/q*(2 + 1). Let o be (2/4)/(2/b). Solve -4*g + 20 = -m, o*m + m = -3*g + 15 for g.
5
Let a(z) = z**2 - 11*z + 13. Let c be a(10). Let l = 0 - 0. Suppose l*t = 2*t. Solve -5*y - c*w = -2, 3*w = -t*y - y - 2 for y.
1
Let o = 0 - 4. Let s be (-1 - (-2 - o)) + 1. Let z = 17 + s. Solve -2 = -3*u - 2*v - 5, 5*v = z for u.
-3
Let t = 4 + -3. Suppose r = -t + 5. Solve 4*w + r = 4*y, 2*y + 18 = -0*w - 3*w for y.
-3
Suppose 4*t + 20 = -5*u, -5 = t + u - 2*u. Let i be -5*((-10)/2 + 3). Let g = t + i. Solve 5*y + 5*a = 4*a, -g*y = 2*a for y.
0
Suppose 0*m = m + 11. Suppose k - 28 = 5*k. Let o = k - m. Solve f = o*f - y - 3, -5*f + 1 = -3*y for f.
2
Let n be 4/10 + 336/(-15). Let x be (-356)/n + 6/(-33). Solve -5*s = 3*f - 2 - 3, -4*f = s + x for f.
-5
Let q(c) = c - 1. Let h = -2 + 6. Let t be q(h). Suppose t = 5*l - 4*l. Solve -5*r + 30 = -5*a, 3*r - 4*r = -l*a - 16 for r.
1
Let a be (18/4 + 0)*2. Let n = a + -4. Solve -3*w = -n*y - 3, -4*y = -5*w + 8 - 3 for w.
1
Suppose -6 = -5*r - 1. Solve -4*q = 5*m + 2 + 15, -m = 3*q - r for m.
-5
Let r be (8 + (-55)/5)*4/(-6). Suppose -h - 3*h = -3*c - 29, 5*h = 4*c + 37. Suppose 4*t + 4 = h*t. Solve s = 5*z - 13 + 31, 0 = r*z - t*s for z.
-4
Suppose 0 = c - 2 - 0. Let f(a) = 4*a - 13. Let l be f(4). Solve -l*s + 2 = -2*o - 10, -c*o = 3*s for o.
-3
Suppose 11 + 7 = 2*f. Solve -3*i = 2*s - f, 0 = -s + 2*i + 3*i - 2 for s.
3
Let m(z) = -2*z - 5. Let j be m(-5). Let a be (-26)/(-5) - 9/45. Solve -6*u - a = 4*c - 3*u, 3*u = j*c + 13 for c.
-2
Let d = -76 + 80. Solve d = v, -5*g - 3*v + 0 + 2 = 0 for g.
-2
Suppose -j = j + 6. Let v be 6*((-6)/j - 1). Suppose 2*w - v = -w. Solve 5*m + 13 + 7 = 0, 3*s + w*m - 4 = 0 for s.
4
Let i be 1*4*(1 - 0). Suppose 0*a + 176 = -4*a. Let m = 75 + a. Solve -4 = -3*r + 11, -m = i*v - 3*r for v.
-4
Let t = 6 - 10. Let o = 8 + t. Solve -2*k - o*b - 20 = 2*k, 3*b = 4*k - 15 for k.
0
Suppose 2*s - 3 = 1. Solve 2*x + 2*x