-5*m + 5*n = p, -5*m + 8 = -4*n + 35 for m.
-3
Let i = 168 - 164. Solve 2*y - 5*a = -5, -y = 4*a - 0*a - i for y.
0
Let w(m) = -m**3 - 6*m**2 + 17*m + 8. Let l be w(-8). Suppose 0 = -0*s + s + 4, l = 2*v - 4*s - 28. Solve 0 = 2*h - v*u + 3*u - 22, -5*h = 4*u - 9 for h.
5
Let q = 139 - 136. Solve 7 = -5*c + q*b, 5*b + 1 = 2*c - 0 for c.
-2
Suppose -2*b = -5*d + 19, 3*b - 5*d + 13 = -b. Suppose -b + 2 = -4*t - 3*c, 0 = 4*t + c - 11. Solve -o - 5*s - 5 = 0, 0 = o - 4*s - t for o.
0
Let h(d) = 33*d + 167. Let j be h(-5). Solve -2*y - 1 = -n, 0*y + j*y - 4 = -4*n for n.
1
Suppose -p + y + 14 = 0, -11*p + 5*y = -7*p - 61. Solve -6 = 2*z - 3*h + 1, p = -3*z + 3*h for z.
-2
Let y(l) = l**3 + 23*l**2 + 20*l - 38. Let d be y(-22). Solve -9 = -p - 2*p, -q = p - d for q.
3
Let v be (-26 - 0)*(-20)/8. Suppose 64*u + 3 = v*u. Solve 0*y + 9 = 2*k + y, 12 = 3*k + u*y for k.
5
Let z(w) = -w**2 - 9 + 3*w - 4*w + 11. Let s be z(3). Let l = 18 + s. Solve -3*q - 3*t - 14 = -t, -t = 2*q + l for q.
-2
Suppose x + 14 = 19*l - 15*l, 0 = 2*l + 4*x - 16. Solve 0 = 2*q + 2*a + 12, l*q - 4*a - 7 + 23 = 0 for q.
-5
Suppose 3*h + 175 = -305. Let u be ((-18)/(-10))/((-48)/h). Solve 2*n + 8 = 4*g, -3*g + u = -2*n + 2 for g.
4
Let h = 4 + -2. Suppose -h*x + x + 2 = 0. Suppose -7*l + x*l - 4*f = -80, 4*f - 8 = l. Solve -4*v + 5*a = -4, 3*v - 2*a + l = -2*v for v.
-4
Let q(n) = n**3 - 5*n**2 - 5*n - 6. Let x be q(6). Let l = x + -10. Let v = 22 + l. Solve -2*i + 5 = d + v, 4*i + 4*d = -8 for i.
-5
Let h be 20*1 + (1 - 0). Suppose 5*a - 5 = 5*s, 3*s - h = -4*a - a. Solve -s*z = -p - 7*z - 14, 0 = -3*p + 4*z - 4 for p.
-4
Suppose 60*j = 57*j + 15. Solve 5*a = -4*f + 11, a + 12*f - 13*f = -j for a.
-1
Suppose 0 = 2*g - 18 + 50. Let s be (g/(-14))/(2/7). Suppose -s*l + 15 = -5. Solve 0 = 2*w + 2*v + v + 7, v = 3*w + l for w.
-2
Suppose -4*u - 97 = 2*d + 21, 2*d + 10 = 0. Let k be u/(-5) + 2/(-5). Let a = 7 - k. Solve 2*s + a*h - 3 = -7, -s = -h for s.
-1
Suppose f + 41 = -0*f. Let t = f - -41. Solve 3*c = -4*x - 2, 4*c - 4 = -t*x - 2*x for c.
2
Let w(j) = -j**2 - 3*j - 14. Let c(x) = -2*x**2 - 5*x - 28. Let h(v) = -3*c(v) + 5*w(v). Let r be h(-4). Solve -6*s - 4*b - 29 = -3*s, -r = 5*s + 3*b for s.
-3
Suppose -3*h + 0*h + 6 = 0. Suppose -5*v = -9 - 6. Solve -h*s - 4*u - 14 = 0, 0*u - 9 = 5*s - v*u for s.
-3
Let f be (-5)/(2/(2*-5)). Let m(d) = 4 - d**2 + 7*d + 6 - 6 + 2*d**2. Let c be m(0). Solve -5*a + 5*u + f = 0, 0*a + c*a + 3*u = 13 for a.
4
Suppose 11*a + 763 - 807 = 0. Suppose 0*k + k - 2 = 0. Solve t = k*i + 7, -i = a*t + 9 + 8 for t.
-3
Let j(d) = d**3 - 7*d**2 + 8*d - 8. Let o be j(6). Suppose o*s - 10 + 2 = 0. Solve 2*p + s*h - 5 = 3*p, 0 = 5*p - 5*h + 5 for p.
3
Let h(q) be the first derivative of -q**2 - 18*q + 18. Let i be h(-11). Solve -3*l - 3 - 1 = -4*a, l + i = 4*a for l.
0
Let r = 3 + -2. Let z be 1/r + 0 - -1. Suppose 0 = 3*t + 547 - 562. Solve 6*b = 2*b - t*q - 4, 0 = -4*b - z*q - 4 for b.
-1
Let f be 8 + -2 + 6/3. Solve -r + 8 = r, f = -3*n - r for n.
-4
Let z = 23 + -20. Suppose -3*f + 12 = 0, f + f = -g + 11. Let b be (-1 - -1)/(-3 - -2). Solve 0 = -g*l + m, b = z*l - 4*m - 5 - 4 for l.
-1
Let j be -4 - 2 - -7 - (-88 + 1). Let t = -71 + j. Let m = -12 - -17. Solve -5*q + 2*f - 4 = 0, -t = 5*q + 4*f + m for q.
-2
Suppose -5*g - 2*b + 19 = 0, -2*b + 31 = 5*g - 4*b. Solve -4*s + 4*w = 4, -2*s + g*w - 5 = -3*s for s.
0
Suppose h = 4*s - 17, -4*h + 12*s + 27 = 15*s. Suppose -2*r + 23 = 3. Solve -f = 3*f + 4*w + 40, -h*f = -5*w - r for f.
-5
Let w be (0/(3 - 2))/(-2). Solve 2*m - 7*m + 20 = w, 3*t - 10 = -m for t.
2
Let f(x) = -x - 4. Let t be f(-4). Let o be 4*18/(-12) + 18. Solve t = d + 5*h + 23, -o = -d + 4*h - 2*h for d.
2
Let s be ((-2)/4)/((-8)/(-32)). Let c be (-30)/4 + 1/s. Let i be 8/32 + (-38)/c. Solve 10 = -a + z + 3*z, -15 = -i*z for a.
2
Let d = 126 + -88. Let j = -36 + d. Solve -5*o + a = -4*a + 10, -6 = j*o - 3*a for o.
0
Suppose 0 = -0*f - 0*f + 4*f. Solve k = -3*l - f*k + 2, -4*l + 4*k = -24 for l.
2
Let u(i) be the second derivative of -i**4/12 - 3*i**3 - 17*i**2/2 - 2*i. Let b be u(-18). Let v = b - -19. Solve -2*y - 4 = -4*d, 5*y - 21 - v = -d for d.
3
Suppose 0 = 3*d + 4*i + 21, d + 2*i + 9 = -0. Let t(s) = s**3 + 2*s**2 - 3*s + 5. Let g be t(d). Solve m = -g*l + 3*m - 12, 0 = 3*l - 3*m for l.
-4
Let x = 2808 + -2794. Let u(d) = -d**3 - 3*d**2 - 2*d + 1. Let b(y) = -1. Let h(i) = 3*b(i) + u(i). Let p be h(-3). Solve -o + p + 0 = 0, o - x = 5*t for t.
-2
Suppose -441 + 56 = -5*l. Let y = -75 + l. Let w(o) = 2*o + 2. Let z be w(7). Solve j = -y*t - 15, 2*t + 4*j + z = -14 for t.
-5
Suppose 2*b = -57 + 23. Let o = b + 23. Suppose -o - 18 = -3*g - 4*y, 3*g = -y + 15. Solve -5*k = 5*s - 15, g*s = -5*k + 10 + 4 for k.
2
Let s = 16 + -1. Let o be ((-3)/(-2))/(s/10) + -1. Solve 3*u - 5*c - 34 = 0, 2*u + 4 = -2*c - o for u.
3
Let l(j) = -2*j - 7. Let z(v) = v. Let k(m) = -l(m) - 5*z(m). Let g be k(6). Let n = g - -15. Solve -2*q = 5*x + 1 + 10, -n*q - 15 = 3*x for x.
-1
Let g(a) = 2*a - 5. Let l be g(4). Let k(m) = m**3 + 10*m**2 - 5*m - 21. Let x be k(-10). Suppose -27 = j - x. Solve 0 = -2*w - 4, l*z + j*w = z for z.
2
Suppose -4 - 8 = -3*h. Suppose -q + 0 = -61. Let w = q - 61. Solve -m + 16 = h*v + 3*m, 4*m - 16 = w for v.
0
Suppose -2*a - 11 = -r, 2 = -a - 3*r - 0*r. Let k = a - -7. Solve 0 = 3*d + k*f - 4, -2*f + 10 = -0*f for d.
-2
Let u be (-828)/(-90) + 12/15. Solve -p = -2*f + 12, u*p = -5*f + 7*p + 8 for f.
4
Let l be 6/(-30)*0*1. Solve 8 = -4*u, -x + 6 = -l*x - 4*u for x.
-2
Let v = -269 + 273. Solve 5*a + 33 = 5*j + 8, 2*a + v*j + 10 = 0 for a.
-5
Let o be ((-22)/(-6) - 1) + (-11)/(-33). Solve -3*r - 5 = -o*h + 1, -2 = r - 3*h for r.
-2
Suppose -5*h + 1 + 24 = 0. Suppose -6*w = h*u - 5*w - 99, 2*u - 45 = 5*w. Solve 3*v = 5*l - u, l - 4*v - 26 = v for l.
1
Let d be (200/(-40) - (1 - 7)) + 3. Solve -12 = 2*m - d, 24 = -2*g - 5*m for g.
-2
Let u be 17 + -5 + (-2 - -5). Let g = u - 15. Let t = 5 - g. Solve 3*b = -3*s + 9, 0*s - 7 = -s - t*b for s.
2
Let n(w) = -w**3 + 9*w**2 + 11*w - 7. Let o be n(10). Suppose x - 2 = -d + o, -4*d = 3*x - 20. Solve 0*k + k = d*v - 9, -v - k + 3 = 0 for v.
2
Suppose 69*d = 62*d. Let l(u) = -u**3 + 6*u**2 + 6*u - 7. Let b be l(7). Let j be 0*1/(-3) - b. Solve 4*s - j = 2*x + 2*s, 5*x + 2*s + 14 = d for x.
-4
Let h(x) = x**2 + 6*x - 4. Let o be h(-7). Suppose -6*q = i - 2*q, o*q + 11 = 2*i. Solve i*j - j - 5*k + 18 = 0, -5*k + 17 = -2*j for j.
-1
Suppose -5*c = -5*w - 55, -2*c + 0*c - 3*w = -7. Suppose -c = -5*g + 2. Suppose 2*j - 6 + g = 0. Solve s = 2*l + 4, -5*l - 7 = -3*s + j for l.
-3
Suppose -336*r - 3 = -337*r. Solve -3*b = r*n - 9, -5*b - 3*n + 10 = -3 for b.
2
Suppose 160 = 8*n - 176. Let d = n + -39. Solve 0 = -3*c + 4*z + 8, d*c + 21 + 16 = -5*z for c.
-4
Suppose 30 = 5*m + z - 5*z, -5*m - 4*z = 10. Let u be (-4)/(-1) + (4 - -11). Let s = 19 - u. Solve s = -x + m*g + 4, -g = x + 2*x - 12 for x.
4
Let k(w) be the second derivative of -w**4/12 - 13*w**3/6 - w**2 - 2*w. Let v be k(-12). Solve 4*h = -2*t + 4*t + v, 2*t = 6 for h.
4
Let h(f) = -f**2 + 5*f - 4. Let c be h(4). Suppose c = m - 2 - 6. Let i = m - 2. Solve i = -2*d - a, 7 + 5 = -4*d - 5*a for d.
-3
Let b(a) = -a**3 + 3*a**2 + 13*a - 10. Suppose -68 = -5*w - 43. Let r be b(w). Solve 0 = 4*x + d - 20, 2*x - 5 - r = 2*d for x.
5
Let d(x) = -201*x - 2208. Let r be d(-11). Suppose -5*f - 26 = -116. Solve -5*m - r*w - 7 - f = 0, 5*m - 2*w = 0 for m.
-2
Let q(f) = f**2 + 10*f + 10. Let u be q(-9). Suppose 5*y - u - 9 = 0. Suppose -y*v - v = -9. Solve 12 = -3*s + v*z, 0 = 5*s + 2*z + 23 + 4 for s.
-5
Let f(g) = -9*g - 168. Let n be f(-19). Solve 0 = 2*a + n*a + 2*d + 8, d = -a - 1 for a.
-2
Suppose 0 = -3*q - 9 - 63. Let c be (-150)/q + 3/(-12). Solve -c = -4*l - w, 3*l + 9 = 5*w + 2 for l.
1
Let s(i) = -i**3 - 4*i**2 - 3. Let u be s(-3). Let n = u + 11. Let k be (0 - 1 - n) + 0. Solve 3*y - 5*y = r - 1, r + 4*y + 1 = k for r.
3
Suppose -28*y - 22*y = -1250. Solve -9*m - t - 6 = -7*m, 5*m = -5*t - y for m.
-1
Let n(x) = 3*x - 22. Let y be n(8). Let a be -3 + (10 - 10/y). Solve 0 = q + a*j - 10, 5*q - 5 = j - 2*j for q.
0
Let b = 26 + -26. Suppose 0 = -b*m - 2*m. Suppose 2*d - 3*v + 4 + 2 = 0, -3*d + 2*v - 4 = m. Solve -2*t - 4*r + 24 = 0, -4*r + d*r