 + z, 2*n - 4*z + o = 0 for n.
-3
Let m(z) = z + 6. Let s be m(-2). Solve 0 = -s*n + 3*n + 4*g - 19, -1 = 4*n - g for n.
1
Let r = 10 + -7. Suppose 0*y = 2*y - r*l + 17, -y - 4*l = -8. Let j = -1 - y. Solve -4*d + 11 = -j*n, -5*n + 0 - 3 = d for n.
-1
Let n be -2 - (-5)/1 - 8. Let o be 1 + 0 + n - -9. Solve m = -3*t + 13, o*t - 17 = 5*m - 2*m for m.
1
Let i be 20/70 + 33/7. Suppose -5 = -i*b - z - 4*z, 0 = 3*z + 12. Solve t + o + 5 = -0*t, -2*t = o + b for t.
0
Suppose -4*r + 30 = l + 5, 3*r + 79 = 5*l. Let a = 17 - l. Solve 2*i - 2 = a, 3*i - 4 = -0*w - w for w.
1
Let z(w) = w**2 + 2*w - 2. Suppose -3*p - 11 = n - 5*n, 0 = -5*p - n + 20. Let s be z(p). Solve 0 = 4*f + 5*v - s, -2*v = 3*f - 4*v + 19 for f.
-3
Let s = 0 + 0. Solve 2*n = 5*w - s - 6, -5*w + n + 3 = 0 for w.
0
Suppose -3*a - 4*r = 3, 4*a - 2*r = -0*a - 4. Let d be a + -1 + -1 + 5. Solve l - 7*h = -4*h - 5, 5*l = d*h + 14 for l.
4
Let s(j) = -j**3 + 11*j**2 - j + 13. Let l be s(11). Solve 2*d - 3*d = l*f - 2, -5*d + 4*f - 32 = 0 for d.
-4
Let j(s) = 3*s**2 + s. Let v be 1/(3/(9/(-3))). Let n be j(v). Suppose -q + 2*u = 0, q + 5*u - u = 24. Solve -m = n*m - c + q, 14 = m + 3*c for m.
-1
Let r be ((-40)/24)/(1/(-3)). Suppose l - 5 = -4*l. Let y be r/l + 1 + -4. Solve 3*a = f + 15, f = -y*f - 4*a + 7 for f.
-3
Let i = -4 - -4. Suppose 2*k - 4*o - o - 14 = i, 5*o = -k - 8. Suppose -w + k*w - 5 = 0. Solve v + 13 = -3*u, w*u - 2*v = 2*v + 1 for u.
-3
Let r be 56/(-6) + (-8)/12. Let t(y) = -y**3 - 10*y**2 - y - 6. Let u be t(r). Solve -2*d - 15 = -w, u*d + 7*w = 3*w for d.
-5
Let h be 12/(-20) - (-12)/20. Let m be (-6 + 1)/(h + -1). Solve m*j = 5*r + 50, -7 - 13 = -r - 5*j for r.
-5
Let o be (-12)/10*(-220)/6. Let v = o + -64. Let x = 46 + v. Solve -4*b - x = 5*g, 0*b + 3*g = 3*b + 6 for b.
-4
Suppose 3*x = 4*z + 27 - 83, -4*x - 58 = -2*z. Let a be 27/5 - x/(-30). Solve 5*t = a, -9 = 2*v + t - 0*t for v.
-5
Suppose -73 = -6*a - 13. Solve -2*j + 3 = 3*h, 0 = -5*h + 3*j - 4 - a for h.
-1
Let d(l) = -l**2 - 17*l + 23. Let o be d(-18). Solve -15 = -o*x + 4*r, 5*r + 18 = x - 6 for x.
-1
Suppose 7*l - 8*l = -6. Suppose j = l - 0. Suppose s = j*s. Solve 5*y - 3*b - 30 = s, 3*y + 37 = 7*y - 5*b for y.
3
Let a = 58 + -56. Solve a*r + 0*r - 6 = -k, 5*r + 5*k = 25 for r.
1
Let z be (-1 - -2 - -11) + -2. Solve 5*h = -l - 23, -31 + z = 3*l + 3*h for l.
-3
Suppose -4*v + 4 = n + n, -29 = 5*n - 3*v. Let w(q) = -q + 2. Let z be w(n). Let s be 2/6 - 2/z. Solve 25 = -5*j + 3*a, -3*j - j - a - 20 = s for j.
-5
Suppose -5*w = -5*x - 8 + 3, 2*w - 16 = -5*x. Solve 0 = 2*d + 10, 0*d + 12 = -w*k - 3*d for k.
1
Suppose 0 = 6*n - 15*n. Solve k - 5 = n, 3*c + 2*k = -1 + 11 for c.
0
Let k(v) = v**3 - 3*v**2 - 3*v + 2. Let i = 14 - 10. Let s be k(i). Suppose -p = 3*g + 6, -5*p - 4*g + 20 = s. Solve -2*h = 3*o - 22, -2*o + 5*h = 11 + p for o.
4
Let o = -68 - -75. Solve 5*k + 13 + 12 = -5*p, 0 = -2*k + p - o for k.
-4
Let u be (-2)/5*10/1. Let r be 8/u + -2 - -4. Solve 3*i + 4*f + 18 = r, 0 = -0*i + 2*i + 5*f + 19 for i.
-2
Suppose 0 = n - 0*n. Solve -3*r - 3*t - 21 = n, -2*r - 32 + 3 = 5*t for r.
-2
Let j(s) = 3*s**2 + 3*s - 11. Let k be j(-3). Solve 0*m + 3*m + z - k = 0, -4*m = 2*z - 10 for m.
2
Suppose -1 = -2*s + 19. Let h = -6 + s. Suppose -4*u + 1 = -2*n + 9, -h*n + 5*u = -16. Solve 4*l + 2 = -4*z - 6, 0 = 5*l + n*z + 12 for l.
-4
Suppose -2*o - 3 + 1 = 0. Let w(d) = -d**3 - 3*d**2 - 2*d - 4. Let k be w(-3). Let u be 11/(k/2) - o. Solve 4*s - u = 0, -g - 3*s = -7 - 4 for g.
2
Let f(y) = y + 6. Let l be (-3 - -3) + (-2)/(-2). Let n = -4 + l. Let m be f(n). Solve 2*k + k - 9 = -5*u, 0 = -3*u + m*k + 15 for u.
3
Suppose -4*h - h - 2 = 2*v, -2*v + 6 = h. Let p = -24 - -28. Let t be 4 + -1 - (3 + -5). Solve v*i - p*f = -8, -3*i + 0*f - 2 = -t*f for i.
-4
Suppose -2*u - 4*b + 2 = 0, 5*u - 3*b = u + 15. Solve 0*c + 3*c - 3*h = 3, -u*h = c - 13 for c.
4
Suppose 0*i - 3*i + 15 = 0. Let b(w) = -w**2 + 6*w - 6. Let p be b(4). Suppose -p*l = -5*l + 3. Solve -5*k - 3 + l = t, 2*t - i*k = -4 for t.
-2
Let k = 4 + -2. Let j(g) be the second derivative of g**4/12 - 3*g**3/2 + 3*g**2/2 + 2*g. Let s be j(9). Solve k = 2*m - r - 5, s*m - 4*r - 3 = 0 for m.
5
Suppose 3*h = 2*t + 12, 2*h - t = -h + 9. Solve 0 = h*x + 8*j - 3*j - 13, 4*x - 20 = -4*j for x.
4
Suppose 0 = -5*s + 59 + 56. Let o = 52 - s. Let c = o + -7. Solve -k - 2*m + m = 2, -c = 3*k - 5*m for k.
-4
Suppose 8*s - 3*s = 15. Suppose 2*z + 4*w - 6 = 0, -s*z - 4*w = -8 - 1. Solve -u - 3*a + 14 = 0, 0 = -z*u - u + 3*a - 4 for u.
2
Suppose 0 = -z + 5*z - 16. Suppose -38 = -z*h + 58. Suppose h - 4 = 4*y. Solve -6*f + 2*f - y*k - 12 = 0, -3*f - 9 = k for f.
-3
Suppose -6 = 3*a - 15. Let p be ((-2)/(-3))/((-2)/(-12)). Let l = 6 - p. Solve a*i - h = l, 0*i = 2*i - 3*h + 8 for i.
2
Suppose 3*c + 4 = -2*g - 4, -g = 4. Let o be (6/(-1) - c)/2. Let w be (0 - o) + (-3 - -3). Solve 4*x = -2*h - 1 + 3, 2 = -x - w*h for x.
1
Let j be 2 + 1 - (32 + -11). Let m be 654/27 - (-4)/j. Solve 0 = -2*w + 3*k + 11, 6*w - w - 4*k - m = 0 for w.
4
Let u(j) = j**2 + 11*j - 8. Let f be u(-12). Suppose -f = -z - 2. Suppose -z*c + 4 = 0, 6*w - 2*c - 20 = 2*w. Solve -14 = 3*i - 5*p, -4*i = -2*p + 8 + w for i.
-3
Suppose -6*t + 2*u + 11 = -t, -3 = -3*t + 3*u. Suppose -7 + 13 = 2*b. Solve 0 = 3*x - 4*s + t + 11, -4*x = -s - b for x.
2
Suppose 5*d - 23 = -3*o, 5*d = 3*o - 4*o + 21. Solve -4*n + 8*y = 3*y - 25, -d*n = 5*y - 15 for n.
5
Let m(h) = h + 5. Suppose 15 = -7*r + 4*r. Let j be m(r). Let w be (-3)/((-3)/2) + j. Solve -2*n - 10 = w*k + n, -15 = 3*k - 3*n for k.
-5
Let s = 6 + -1. Solve s*p = 3*q + 22, 5*q + 3*p + 13 = 33 for q.
1
Suppose 20 = 5*c - 5*p, 0*p - p = -5*c + 24. Solve 0 = -4*a + c*h + 2, 5*h - 4*h = -2*a + 8 for a.
3
Let m = -3 - -8. Let p = -15 - -18. Let n = 4 + -2. Solve -19 = 5*t + 3*y, p*t = n*y - m*y - 15 for t.
-2
Let k(o) = -o**2 - 3*o + 1. Let i be k(-2). Suppose -3 = -2*p - t, -4*p - t + i = -4. Solve p*l - 1 = 3*l + 2*g, 4*g = -5*l - 17 for l.
-5
Let s(b) = b**3 - 2 + b**2 + 5 - 6*b - 6*b**2. Let g be s(6). Solve -2*m + 5 = 3*h - 4, 3 = g*h for m.
3
Suppose -2*v = -7 - 1. Solve 0 = 2*t + x, -v = -3*t - t - 4*x for t.
-1
Let x(k) = -k**2 - k + 30. Let y be x(-6). Solve -3*n + 20 = 5*v - y*n, 11 = v + 2*n for v.
1
Let w(v) be the first derivative of -v**2/2 + 15*v - 3. Let r be w(15). Solve -5*i + 2*i - 12 = r, 5*a + 7 = 2*i for a.
-3
Suppose 0 = -12*u + 15*u - 15. Solve 6 = -i + 4*z, 3*i = -u*z + 3*z + 10 for i.
2
Suppose 2*k = -2*k, 5*u = -2*k - 60. Let n be u/(-9) - 2/(-3). Suppose -2*y - 5*s + 19 = 0, -4*s = -n*y + 3*y - 14. Solve -4*c = -4, 5*i - y = -5*c + 3 for i.
0
Suppose -2*r - 2 = -3*n, -2*n - 4*r = -3*n + 4. Suppose n = u + 3*u - 2*v - 24, -v = u - 12. Solve -j + 3*c - u*c = -20, -4*c = j - 16 for j.
0
Let j = -8 + 13. Solve j*a = 3*m + 35, -34 + 13 = 5*m + a for m.
-5
Let s = -71 - -71. Solve s = 2*g - 5*f - 27, -g - f + 5*f = -21 for g.
1
Let z = -13 - -19. Suppose 2*p = z - 4. Let c be ((-1)/(-2))/(1/10). Solve 0 = 3*b + p + 8, 15 = -u - c*b for u.
0
Let a(s) = 3*s**2 - 5*s + 2. Let h be a(3). Suppose l = 2*l. Solve -3*z - 3 = -j + 8, l = 4*j - 2*z - h for j.
2
Let l = 2 - 0. Suppose 5*k = 5*z, -k + 3*z + 10 = 7*z. Suppose 3*i - 9 = -3*m, -k*m + 4*i = 2*i - 14. Solve 20 = m*y - y, l*d = 5*y - 15 for d.
5
Let z(h) = h**2 + 10*h + 17. Let d be z(-9). Solve 4*f = -2*t + 6*t - d, -4*f - 11 = -5*t for f.
1
Let p = 3 + -2. Let k be (-2)/(-2)*0/p. Let s = k + 5. Solve 0 = 3*i - 5*r + 8, 24 = 3*i + s*r - 8 for i.
4
Let g = 11 - -5. Solve 4*n + g = 2*m, -2*n + m + 12 = -5*n for n.
-4
Let z(p) = -4*p - 12. Let n be z(-4). Solve 4*r - n*u + 2 + 6 = 0, -5*r = -u + 10 for r.
-2
Suppose 0 = 3*f - 4*f - 1. Let n(o) = -6*o**3 - o**2 + o + 1. Let l be n(f). Solve 3*w + l*c + 3 = 37, 3*c = 15 for w.
3
Let t(p) = -p**3 - 24*p**2 - 21*p + 49. Let m be t(-23). Solve -b - y + 4 = m*b, 0 = b - 5*y - 1 for b.
1
Suppose -3*s = -0*s + 5*p + 7, 4*s - 4*p - 44 = 0. Suppose 2*q = -t + 31, 2*q - 3*t = s*q - 57. Solve -3*d - 2 = -2*v, 2*v = d - 6*d + q for d.
2
Suppose 2*g = -2*k - 2, 2*k + 4 = -g + 5. Solve -q + 6 = -5*t, q - 3*q + k = 0 for t.
-1
Let p(t) = -t - 3. Let m be p(-7). Let c be 18/m + (-2)/4. Solve -c*x - 11 = -5*g, -g - 4 = x + 1 for x.
-4
Let f be -1*6 + (-9)/(-3). Let s 