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