- 35, -5*m + 0*p - 30 = p for m.
-5
Suppose 4*t - 21 = 6*t - 5*m, 4*t - 5*m + 17 = 0. Suppose 2*u - 30 = -3*u. Solve 0*g + 2*g = -2*d + u, -t*d + 12 = -4*g for g.
-1
Suppose -2 = g - 3. Let f = 0 + g. Let i be (-208)/(-10) + f/5. Solve -13 = 4*h - 5*h - 2*r, 5*h - r - i = 0 for h.
5
Let y(d) be the second derivative of d**3/6 + 13*d**2/2 - 3*d. Let b be y(-8). Solve b*v = 3*u + 17, u - 5*u - 14 = 2*v for v.
1
Suppose 132 = -5*f - 18. Let o be 1/2*f/(-3). Let s be (2/(-6))/(o/(-45)). Solve -4*h - 3 = 3*g, -g - 5 + 17 = -s*h for h.
-3
Suppose 3*o - 51 = -0*o. Let l = -12 + o. Suppose m = l*m - 40. Solve -p - 2*n = p + m, 9 = -3*n for p.
-2
Let k(g) = 2*g + 8. Let x be k(8). Suppose x = 3*a - 3*d, -a - d = -3*a + 13. Solve -2*h + 10 + 10 = a*r, 21 = 3*h + 3*r for h.
5
Let f = -1 - -1. Let x(j) = j**2 + 10*j + 24. Let v be x(-7). Solve v*w = -4*p - 15, f*p = w - p + 5 for w.
-5
Let y = -29 + 48. Suppose b = -3*d + y, -13 = -4*d - 2*b + 15. Solve d*j + 24 = 2*h, 3*h - 20 = -h + 3*j for h.
2
Let s = 0 + 1. Let w = -24 - -20. Let b be (w/s - -1)*-1. Solve -r = -x + b + 3, r + 5*x = 0 for r.
-5
Suppose -9 = -7*n + 4*n. Let p be (-7 + 1)*2/n. Let b = 4 + p. Solve -4*c - s - 3*s = b, -s = 5*c - 16 for c.
4
Let y = -14 - -32. Suppose -6*s + y = -3*s. Solve w - 2 = -3*p + 1, 3*p = 2*w - s for p.
0
Let d(n) = -2*n**3 - 4*n**2 - 4*n - 3. Suppose -2*h - 2 - 2 = 0. Let p be d(h). Solve -5*a - 3*y = 3 - 18, 0 = 3*a + p*y - 25 for a.
0
Let k be (-1)/(-2 + (-9)/(-3)). Let p(u) = -3*u + 1. Let f be p(k). Solve -f*t + 2 = -5*c - 3, 0 = 3*t + 15 for c.
-5
Let z = 4 - 8. Let w be 2 - z - (-1 + 1). Solve 0*j + 2*j - 4*l = w, l = -3*j - 5 for j.
-1
Let m be 5/2*(-24)/(-20). Suppose -2*j + 4*j - 64 = 0. Suppose 2*i + 9 = 3*i - 4*f, -5*i = -3*f - 28. Solve -i*p - 6*z = -z, -m*z = -5*p + j for p.
4
Suppose 2*q = -0*q + 20. Suppose 3*h + 42 = 3*g, 2*g + 5*h = 31 - q. Solve 3*b + 19 = 4*m + m, b = 5*m - g for b.
-3
Let q = 1 - 2. Let x = 2 - q. Solve 0 = 4*r + x*v + 2*v - 35, -v + 18 = 3*r for r.
5
Let w(k) = -k**2 + 4*k + 5. Let y be w(5). Let z = -10 + 16. Let j be (8/z)/(1/3). Solve y = 5*m - 3*q - q + 33, -j*m + q = 22 for m.
-5
Let y be (-2)/(-2 + 32/20). Solve -y*q - v + 24 = 0, 2*q = 4*q - 2*v for q.
4
Suppose -y - 3 = -p - 1, 0 = 2*p + 5*y - 4. Let c be 12/(-4) + 3 + 0. Let v = c - -5. Solve -v*w = -4*b - 2*w - 17, 5*w + 15 = -p*b for b.
-5
Let o = 1 + -9. Let d be 12*(o/(-3) + -2). Suppose -3*r - 22 + 172 = 0. Solve -d = 4*w - 3*y, 5*w = -y + 21 - r for w.
-5
Suppose -3*i + i - 52 = 0. Let h be 1/((-54)/i + -2). Solve -h = x - 4*g + 4, 0 = 5*x + g + 22 for x.
-5
Suppose -7*v = -2*v + v. Solve -6*b = 2*q - 2*b + 14, -2*q + 2*b - 8 = v for q.
-5
Let p = -2 - 1. Let d be (p - -4)/(2/8). Solve 4*c - y = -21 - d, 0 = 2*c + 2*y for c.
-5
Let t(s) = -3*s - 3. Let b be t(-2). Suppose 0 = -g - 5*x + 9, -4*x = b*g - 12 - 4. Solve -6*y + 10 = -y - 5*m, m = g*y - 14 for y.
4
Let n be (5 + -3 - 1) + -5. Let y = 9 + n. Solve -5*z = 5*g + y, -g + z = -2*z - 3 for g.
0
Suppose -2*y = y + 5*y. Solve y = -4*w - z, -z - z - 11 = -3*w for w.
1
Let q(b) = 2*b**3 - 2*b**2 + 2*b - 2. Let o be q(2). Let r be -2 + (0 + -1 - -5). Suppose 4 - r = n. Solve 4*k = -4*w + 32, -k + o + n = 2*w for k.
4
Suppose 5*s = s + 76. Let l = 32 - 29. Solve -l*t - 5*m + 3*m - s = 0, t + 13 = -4*m for t.
-5
Suppose 3 + 21 = 4*d. Let o be (14/4)/(d/60). Solve v = -2*v - 4*k + o, k = v for v.
5
Let j(d) = d + 11. Let u be j(-6). Solve 5*z = 5*l, 4*z + 2*l - u - 7 = 0 for z.
2
Let p = 138 + -53. Let o = p - 55. Solve 2*h - 7*j + 3*j + 30 = 0, h + o = 5*j for h.
-5
Let g(z) = -3*z + 24. Let u be g(6). Solve -u = -a - 2*q, -q = -4*a - 5*q + 16 for a.
2
Let p be (-16)/64 - (-21)/(-8)*-2. Solve 2*a + 12 = -2*a, t + p*a = -18 for t.
-3
Suppose 4*u - 13 - 7 = 0. Let k(x) = x**2 - 11*x + 25. Let n be k(6). Let b = u + n. Solve -4*z = 3*l + 2, b = -0*l - 2*l + 5*z - 9 for l.
-2
Let o be (-35)/(-6) + 12/72. Solve -25 = 5*m - 4*s, 5*s - 1 = -m - o for m.
-5
Let t(j) be the first derivative of -11*j - 4 + 1/3*j**3 - 3*j**2. Let d be t(8). Solve -d*n + 22 = 3*a, 2*n + a - 15 = 6*a for n.
5
Suppose -3*x - 2*d + 11 = 0, d + 7 = 4*x - 4. Let z = x - -1. Suppose -25 = -5*l - 10. Solve -1 = l*y - z*m, y + 5*m = -y + 7 for y.
1
Let t = 11 + -8. Suppose -4*x - 4*q + 56 = 0, 3*q = 5*x - q - 115. Let s be (-3)/(-3)*(5 - 1). Solve -3*r + x = s*l, t*l - 4*r = r - 22 for l.
1
Suppose -a - 10 = -3*a. Let w = a + -5. Solve -j = 5*z + 20, w = 2*j - 5*j - 15 for z.
-3
Let y = 69 - 67. Let l = -8 - -13. Solve -5*n = y*b - 21, 20 - 2 = b + l*n for b.
3
Let y = 98 - 78. Solve 0 = -2*w - 4*t - 16, w + 7*t = 2*t - y for w.
0
Let r = -39 - -39. Let s be 28/12 + 6/9. Solve 0 = x + s*n - 7, 11 = -r*x + x + 4*n for x.
-5
Let v be 12/30 + 103/5. Suppose o - 5*t - v = 0, 3*t + 51 = 3*o + 12. Solve -4*w = -4*y - 3*w - o, 12 = -3*y + 2*w for y.
-2
Suppose 0 = 5*o - 8 - 2. Suppose -4*b - 22 = -5*p, -4*p + 3*b + 11 + 6 = 0. Suppose -p = -2*q + 4. Solve 6 = -q*f + o*f - m, -m = -4*f - 19 for f.
-5
Suppose 4*h = 49 + 31. Solve 5*v + h = -t, t - 25 = -v + 5*v for v.
-5
Let l = -15 + 21. Solve 0 = -4*a + 2*y - 22, -3*y = -21 + l for a.
-3
Suppose b + 3*x = 1 - 2, -14 = -4*b - 3*x. Solve -5*v - u + 6 = 0, 0 = -2*v - b*u - 9 - 7 for v.
2
Suppose 6*t - 1 = 35. Solve -2*f = 3*q - t*q - 9, 4*q = -4*f - 12 for q.
-3
Let s = 0 - 14. Let o = s + 40. Solve -5*x - 4*f - 31 = -2*f, -4*x = 2*f + o for x.
-5
Suppose 0 = t + 1. Let a be (t/(-2))/((-2)/(-16)). Let r = -2 - -15. Solve -2*y = -a*q - 10, -4*q + r = 4*y - 5*q for y.
3
Let r(m) = m**2 + 5*m + 4. Let q be r(-5). Solve 2 = -u - q*f, -3*u - 5*f + 1 + 0 = 0 for u.
2
Let d = 22 + -18. Solve 0 = 3*j - d*a + 2 + 6, 4*a = -3*j + 32 for j.
4
Let l(s) = -9*s + 1. Let d be l(-1). Suppose -2*v + 0*v + d = 0. Solve 0 = -3*m - 2*i, i = 5*m + v*i for m.
0
Let i be 1*3/(-9)*-27. Let v = -5 + i. Solve -8 + 0 = -2*b, -v*w = -4*b + 24 for w.
-2
Let t be ((-7)/2)/(1/6). Let k be (-2)/(-3) - t/9. Solve -z + c - 7 = z, 2*z - 5*c = -k for z.
-4
Let h be (2/3)/(2/6). Let y = h - -3. Solve -4*n - n - 4 = -4*r, -y*n - 4*r + 4 = 0 for n.
0
Suppose 5*q - 25 = -2*h, 5 = -5*q + 3*h + h. Let o(w) = -w - 1. Let x be o(-3). Solve q*c - x*c = -2*m + 10, 5*m = -5*c + 35 for c.
4
Let o(v) = -v**3 + 8*v**2 - 6*v - 3. Let g be o(7). Solve 2*k - 5*t + 32 = -2*k, 4*k + 2*t = -g for k.
-3
Let m(f) = 9*f**2 + 2*f + 1. Suppose -1 = -3*k - 4. Let o be m(k). Solve -h - 3*h + 26 = -5*s, 2*s + 3*h - o = 0 for s.
-2
Let i be (-2)/5 - 7/(-5). Let p be (-1)/i*-14 - 2. Suppose 2*h + h - p = 0. Solve 2*j - 11 = j - h*g, 8 = 4*j - 2*g for j.
3
Suppose -l + 3 + 0 = 0. Suppose 0 = 2*r + 6, 2*t + 19 = l*t - 5*r. Solve 5*w - 4*y = -0 - 17, -t*y = 2*w - 10 for w.
-1
Let n = -73 - -79. Solve 4*d = 3*u + 12, -3*d - n = u - 2 for d.
0
Let h(z) = z - 1 - 3*z + z**3 - 7*z**3 + 0*z**3. Let k be h(-1). Let p be (-7)/k + 1*4. Solve -4*a + 15 = -p*l, -4*a + a = -2*l - 11 for l.
-1
Let j(b) be the third derivative of b**4/12 - b**3/2 - 6*b**2. Let k be j(3). Solve -u = 2*c + 3 - 2, 5*u + 12 = -k*c for c.
1
Let t(n) = 9 + 2*n + 0*n**2 - 10 + 5*n**2 - 2*n**2. Let j(f) = -f + 12. Let c be j(11). Let g be t(c). Solve 2*d + g*u = -4, -u - 3 = 3*d + 3 for d.
-2
Suppose 0 = 3*u - 8 - 7. Suppose 9 + 19 = c + u*l, 5*l = -5*c + 40. Solve -3*j = 9, -c*b - j + 6 = 2*j for b.
5
Let n = -26 - -12. Let o = -10 - n. Solve -3*v + 3*w = -o + 1, -4*v = 5*w + 5 for v.
0
Suppose 0 = 2*t - 8, -2*a + 0*t = -t + 28. Let h(r) = -r**3 - 12*r**2 - r - 9. Let m be h(a). Solve -3 = -m*k - 2*i, -4*k - 4*i + 15 - 7 = 0 for k.
-1
Let c = -5 - -7. Suppose c*z - 24 = -0. Let m = z + -3. Solve -5*a + 15 = v - 2*a, -3*a + m = -v for v.
3
Let w = 12 + -10. Solve w*i + 13 = -3*f, 3*f = i + 6*f + 8 for i.
-5
Let x(t) = -t + 4. Let g be x(4). Suppose 2*c - 5*c - 5*n - 8 = 0, 32 = 4*c - 4*n. Solve -5*o + c*r = 7, g*o + o = -5*r + 16 for o.
1
Let i = -4 + 10. Solve 15 = l - 5*v, -2*l + 2*v + i = -0*l for l.
0
Suppose -22 - 31 = 3*q + 4*c, 19 = -q - 2*c. Let r be 5/q + 32/6. Let x = 8 - -15. Solve 2*y + 4*b - x = 5*y, -r*y - 2*b = 21 for y.
-5
Let u = 0 + 4. Suppose 5*z = u*z + 13. Solve -5*c + 2*t + 5 = 0, -3*t + t + z = c for c.
3
Suppose 3*k - 8 = 2*a, a + 1 = -0*k + k. Let j(i) = i**3 - 7*i**2 + 9*i - 5. Let 