 -3 - 9 = -3*i. Suppose -4*g + g = -12. Solve -2*k + i*m = -g, n = -2*k - m - 3 for k.
-2
Let k(p) = p**2 + 11*p + 34. Let z be k(-6). Solve 0 = x - 3*s + 11, x - s - z = -3*s for x.
-2
Let h be (0 + -30)*14/(-21). Suppose 0 = 2*a - 12 - h. Solve d + d + 12 = 3*k, -3*d + 4*k = a for d.
0
Suppose 0 = 2*h + 4*a - 8*a - 16, -h + 2 = -5*a. Suppose -h = -3*p - p. Solve -g = -4*w - p - 9, g + 4 = 0 for w.
-4
Suppose 4*y = 12, 0*y + y = 3*b - 9. Solve 0 = 4*z - 5*z + b*x - 7, -4 = 3*z + 5*x for z.
-3
Let x(s) = s - 8*s - 2*s**2 + 4 + s**2. Let o be x(-7). Solve 7*c + 5*m + 28 = 3*c, -12 = -o*c + 5*m for c.
-2
Let o = 4 - 4. Let k(s) = 3*s**2 - 2*s - 1. Suppose x + 3*x + 4 = 0. Let w be k(x). Solve 3*y + o + 5 = -r, w*r = -2*y for y.
-2
Suppose -7 = -3*s - 1. Solve s = -4*c + 2*c - 3*h, c + 1 = -5*h for c.
-1
Let u = -27 - -30. Suppose 0 = u*x + 3*h + 9, -4*h = 2*x - 3*h + 1. Solve -3*k - x = -y, -y = -k + 3*y + 14 for k.
-2
Let l = 10 + -18. Let s be (l/3)/((-6)/9). Solve s*t = 4*r - 40, 5 = -2*t + t for r.
5
Let u(i) = -i**2 + 13*i - 10. Let y be u(12). Solve y*z - 5*z = 0, -2*v + 4 = -3*z for v.
2
Suppose 0 = 2*m - 0 - 10. Suppose 2*x = 5*w + 13, m*x + 5 = -3*w + 22. Solve 8 = -4*b, -3*z - 1 = -x*b - 0*b for z.
-3
Suppose 0*v - 2*v = 10. Let k be 24/5 - v/25. Suppose 0*z = z - k. Solve z = -5*w, -w - 11 = 4*r + r for r.
-2
Let l = -4 + 10. Suppose -4*g = -2 - l. Solve -g*n + 2*d - 2 = -0*d, -2*d - 10 = n for n.
-4
Suppose 3 = 3*n - 4*s + 14, -n + 8 = s. Solve 0 = 4*b - 4*u + 12, -b + 0*u - 2*u - n = 0 for b.
-3
Suppose -r + 1 = -3. Suppose -r = -2*a + 8. Suppose -a*k = -3*k. Solve 0 = 2*h + o, -2*h + 5*o - 2*o = k for h.
0
Suppose -3*r + 0*r = -24. Suppose g + 29 = -2*x, 81 = -3*g - 5*x - r. Let t be g/2*6/(-9). Solve m = -j - j + 10, 5*m = 3*j + t for m.
4
Suppose 5*b + 24 = 11*b. Solve 3*h + 23 = b*c, 0*c + 23 = 5*c + 2*h for c.
5
Let l(y) = y + 5. Suppose 5*m - 4*n = -5, 4*n + 4 = 3*m - 1. Let d be l(m). Solve -c = 3*r + 13, -4*r + d*r - 32 = 5*c for c.
-4
Let p(z) = z**2 + 3*z - 4. Let w be p(-5). Suppose -c - 90 = -w*c. Solve 3*y - 5*b + c = 2*y, 5*b = -y + 22 for y.
2
Let r be 1*((-12)/(-3) + -1). Suppose -m - 10 = -r*m. Solve 2*g = 2*v - 10, -m*v + 18 - 1 = -3*g for v.
1
Suppose -3*u = 5*j - 22, -u + 16 = 2*j + 2*u. Suppose 3*v - 111 = -24. Let p be 5 - (4 - (-4)/(-4)). Solve -5*m = -w - p*w - v, 10 = m - j*w for m.
4
Suppose -4*w = -3*j - 25, -11 = -5*w + 4*j + 21. Suppose 3*h = 5*z + 15, -5 = 4*z - 2*h + h. Solve k - 5 = -4*l, w*l - k = -z*k - 5 for l.
0
Let n(c) = -6*c + 4 + 2*c**3 - 5*c**2 + 4*c**3 - 5*c**3. Let m be n(6). Suppose -1 = -5*s + m. Solve -d + 3*q + 1 = 2, 0 = -d - 3*q - s for d.
-1
Let o(x) = -x + 1. Let t be o(-3). Let g(j) = -j**2 + 4*j + 3. Let b be g(t). Solve 2*y = b*i - 3, -5*i = -y - 2*y - 4 for y.
-3
Let t be (-2 - (-4 + 2))/2. Let y = 149 + -147. Solve x + 0*h + 2*h - 4 = t, -y*x = -3*h - 8 for x.
4
Let f(b) be the first derivative of -b**4/4 - 16*b**3/3 - 7*b**2 + 21*b + 6. Let l be f(-15). Solve y + n = 3, 4*y + l*n - 7 = 3*n for y.
-2
Let i(k) be the third derivative of -k**6/120 + 11*k**5/60 + k**3/3 + 7*k**2. Let r be i(11). Solve 0 = -4*p - 5*q + 21, p - 3 = -r*q + 3*q for p.
4
Let x be 8/(-4) + 254/(-2). Let a be x/(-15) + 9/(-15). Solve 4*h + 4*b = a - 28, 5*b + 9 = 3*h for h.
-2
Let b = -7 + 12. Suppose -35 = -b*x + 3*l - 7*l, -l + 14 = 3*x. Solve 2*u - 3 = -2*u + x*y, 4*y + 20 = 0 for u.
-3
Suppose 16 = 4*t - 0*t. Let h be (-180)/(-5) + ((-8)/(-2))/(-4). Solve x + 2*k + h = -t*x, -2*x + 10 = -4*k for x.
-5
Let g(n) = n**2 - n - 1. Let d be g(-2). Suppose -d*v = -19 - 11. Let u = v + -3. Solve -23 = 5*a + i - 4*i, -u*i + 15 = -3*a for a.
-4
Let b be (-14)/91 + (-84)/(-39). Solve 2*p = -4*z - 22, 5*p + 0 = -b*z - 15 for z.
-5
Let c(x) = x**2 + 8*x - 17. Let w be c(-10). Solve 4*q = p + 2*q + 6, q + 7 = w*p for p.
4
Suppose -3*x + o = 5*o - 18, 0 = o. Solve 5 = -5*v, -r + 5*v + x = -0*r for r.
1
Let l = 24 - 20. Suppose -2*o + 7 = -3*p, 0 = o - 5*p + 4 - 18. Let t be o/(-4) + 55/l. Solve 0*u + 2*n = -3*u + t, -3*u + 2*n = -10 for u.
4
Let s(v) = v - 5. Let c be s(9). Solve q + 10 = c*j, -4*q - q - 4*j = -22 for q.
2
Let v be (4/3)/((-14)/(-21)). Let f(s) = s**2 + 2*s - 6. Let c be f(-5). Solve n + v*n + c = 3*a, -5 = -2*a + 3*n for a.
4
Let v(h) = -4*h - 3. Let u(k) = -k**2 - 2*k + 1. Let m be u(-3). Let g be v(m). Solve 1 = -q - 2*b + 3, -g*b = 0 for q.
2
Let u be ((-9)/(-2) + -2 + 0)*2. Solve 2*z + 2 = -3*k - 7, -4*z + 15 = -u*k for z.
0
Suppose 8 = 2*q, 0*y - 6 = 2*y - 2*q. Solve 3*w + 6 = -3*p, 0 = 2*w - 1 - y for p.
-3
Suppose 0 = -4*g + 46 - 6. Suppose -j + g + 2 = 0. Let s be 3*4*(-1)/(-3). Solve -s*f = -2*l + j, 3*f = -0*f + 5*l - 9 for f.
-3
Suppose 2*x - 3*m = -5, 0*m = 5*x + 2*m - 16. Solve -r + 2 = 4*i, -x*r + r + 2 = 2*i for i.
0
Let p be (-6)/27 + 38/9. Let d be p/10 + (-12)/5. Let s be 4 - 0/(d + 3). Solve -2*j = s*x + 12, -2*x - 2*x = -5*j + 12 for j.
0
Let k(t) = -6*t**3 - 1. Let b be k(1). Let l(j) = j + 7. Let m be l(b). Solve -2*q + 5*h = -m - 15, 4*h + 25 = -q for q.
-5
Let b(l) = l - 16. Let r be b(16). Suppose r = -3*y - 4 + 97. Solve 2*g = -0*u + 3*u - 21, y = -2*g + 5*u for g.
-3
Let b(c) be the first derivative of c**4/2 - 2*c**3/3 - c**2 + c + 3. Let l be b(2). Solve 3*a - 4*d - 1 = 2*a, 10 = 3*a - l*d for a.
5
Let t(m) = -m**2 + 6*m - 6. Let i be t(4). Suppose i*u = u. Suppose u = 3*f - 5 - 7. Solve -x - 2*x + 12 = 2*s, f*x = -3*s + 16 for x.
4
Let i = -40 - -43. Solve -i*o - 20 = -5*j, -j - 2*o - 5 = 4*j for j.
1
Let t(m) = -m**3 + 5*m**2 + 4*m - 1. Let r be t(6). Let o = -3 - r. Suppose 2*f = -n + o, 2*f + 3 - 1 = 5*n. Solve 3*g = 3*s - 15, g + 3*s = -f*g - 25 for g.
-5
Suppose 2*b = 12*b - 20. Solve y = 6*y + 4*w, -4*y = b*w for y.
0
Let i = 7 - 21. Let z be 4/i + 69/21. Solve -2*r + 0 = -z*x + 1, 4*x + 2*r - 20 = 0 for x.
3
Let q(y) = -y**2 - 7*y - 3. Suppose -12 = -0*m + 2*m. Let g be q(m). Let u(i) = i**3 - 4*i**2 + 3*i. Let s be u(3). Solve s = -p - g*k + 1, -p = 2*k + 1 for p.
-5
Let w be 4/6*(-30)/(-10). Solve 0 = d, d = 2*j + w + 8 for j.
-5
Suppose 7 - 27 = -5*c. Solve -2*h = 5*f - 19, -24 = 2*h - c*f + 2 for h.
-3
Let c = -315 - -219. Let y be (-2)/(-10) - c/20. Solve -x - 2*i = 5 - 2, -5 = y*i for x.
-1
Let q = 1 + 8. Suppose 0 = -0*o - 3*o + q. Solve -o*m + m = 3*f, 0 = -3*m - 5*f - 1 for m.
3
Let s = -3 + 8. Suppose -12 = 4*r + 2*i - 6*i, 9 = 5*r + 3*i. Solve t + 4 = s*p + 2*t, r = -2*p + 2*t - 8 for p.
0
Let t(m) = -m**3 + 5*m**2 + 2. Let v be t(5). Let b be 1/4*v*4. Let d = -11 - -16. Solve 5*p = d*o + 10, 3*p - o - 14 = -b*o for p.
4
Suppose -4*v - 2*f + 25 = -3*f, 0 = 4*v + 5*f + 5. Suppose 5*b - b + 5*z = 28, v*b = -z + 14. Solve 3*s - 10 = -b*n + s, -5*n - s + 25 = 0 for n.
5
Suppose -3*t + w - 10 = -6*t, 4*w - 4 = 0. Let z(m) = 2*m + 5. Let q be z(-4). Let y = q - -5. Solve 4*r - 1 = t*j + 5, 0 = -4*r + j + y for r.
0
Let v(l) = -l - 12. Let f be v(-12). Let y(p) = -2*p + 10. Let a be y(f). Solve 3*i = -5*z + 14, 4*i + z - a = 3*z for i.
3
Suppose -b = -0*b - 4. Suppose b*f = -f. Let i = f - -4. Solve d + 24 = -i*g - g, 2*d + 3 = -g for d.
1
Let b be -1*1/(-7) - (-34)/7. Solve 0 = -2*p - b*s - 5 + 4, p = -s - 2 for p.
-3
Let i be (-16)/(-6) - 4/(-12). Suppose -4*o - 8 = -i*g + 7, -3*g = 3*o - 15. Solve o = 3*b - 0*d - d + 13, -3*b - 7 = 5*d for b.
-4
Let n(x) = x**2 + 7*x + 12. Let d be n(-5). Solve 6 = -d*z - 0*z - t, 2*z - 2*t = 6 for z.
-1
Let j(r) = 0 + r + 0*r - 2. Let u be j(2). Suppose 2*g + 2*x - 16 = 0, u*g + 20 = 2*g + 3*x. Solve s = -4*h - 8, -s = 2*h - g*h - 10 for s.
4
Let m = -1 - -5. Suppose m*p - 3*p - 4 = 0. Solve 0 = -5*l + h + 13, p*h + 0 = l + 5 for l.
3
Let k(s) = 11*s**2 + 25*s + 18. Let o(h) = -5*h**2 - 12*h - 9. Let d(m) = 4*k(m) + 9*o(m). Let y be d(-6). Solve v + y*r = 3*v - 11, 4*r = 3*v - 15 for v.
1
Let f(l) = -l + 8. Let m be f(0). Solve 2*a - 3*v + m*v = -7, -5 = 2*a + 3*v for a.
-1
Let o be 32/6 - (-4)/(-12). Let l = 8 + -5. Solve l*t - v + 1 + 14 = 0, -t = o*v + 5 for t.
-5
Let v be 1/(-2)*3*-2. Suppose -v*h + 4*h - 2 = 0. Solve 4*z = -3*n - 2 - 1, -2*n - 2 = -h*z for z.
0
Suppose a + 2*a = -4*f + 26, -4 = -2*f + 3*a. Suppose p + 27 = 4*v, -2*v + 16*p + 26 = 18*p. Solve 2*c - f*y + v = 0, -3*c - 16 = c + 4*y for c.
-4
Let