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