lve 0 = l*m + p - 6 - 6, -2 = -3*m + 2*p for m.
2
Let u be 1/((-1)/(-6)*2). Suppose -5*c - 25 = -5*q, -u*c - 17 = -2*q - 6. Solve 6*m = -s + 3*m + 7, -4 = 4*s - q*m for s.
1
Let g(t) = -t**2 - 7*t + 14. Let n be g(-6). Solve -4*o + 2*o - 2*v = 10, 5*o + n = -4*v for o.
0
Suppose 5*p - 8 = -3*l, 3*l + 2*l - 5 = 0. Let w(s) = -4*s. Let h be w(-1). Solve -3*u = z - 2 - p, 0 = -4*u - h*z - 4 for u.
2
Let h(a) = -a**2 - 6*a - 5. Let b be h(-5). Solve 4*m + b*m - q + 4 = 0, -3*m = -3*q + 3 for m.
-1
Let d be -2 + 2/(2 - 1). Let g = d + -23. Let r = g + 46. Solve -2*s + r = -4*h - s, -2*s + 1 = h for h.
-5
Suppose -2*w + 2 + 2 = 0. Let z be (-45)/(-4) - w/8. Suppose -9 = -2*b + z. Solve 2*y = -2*k - 14, -k + b = 4*y + 29 for k.
-3
Suppose 3*b - 19 = 5. Suppose -o = -2*z - 0*o + 218, -5*z + 560 = 5*o. Suppose -3*r - z = -b*r. Solve 5*s + r = -4*i, 0*i + 4*s = -2*i - 14 for i.
-3
Let g(n) = 2*n - 4. Let b be g(3). Suppose v = 1 - 0, 4*i + b = -2*v. Let u = i - -5. Solve 0 = 6*p - p - 4*z + 20, 5*p = -u*z + 20 for p.
0
Suppose -5*l + 11 + 4 = 0. Suppose 4*p - 18 = -3*y - 5, 0 = y + 5*p - 8. Solve -y*k + 3 = 3*v, -v + 0*k - l*k = 7 for v.
5
Let m(r) = r - 3. Let a be (-15)/(-6)*(-6)/(-5). Let b be m(a). Solve b = -5*c + h - 29, 2*h = c + 4 + 9 for c.
-5
Let u(q) = -q**2 + q + 4. Let y be u(0). Suppose m + 5 = -4*b + 20, 0 = 3*b + y*m - 21. Solve v = -3*o - 14, 0 = -b*v - 2*o - 6 - 1 for v.
1
Let h(o) = 7*o**3 + 1. Let d be h(-1). Let u be -2*1*d/4. Solve -u*n = -2*f - 10, -2*n + 2*f + 20 = -2*f for n.
0
Let r = 51 + -51. Solve -5*p + 2*n + 5 = r, -3*p - n - 13 = n for p.
-1
Let h = -120 + 125. Solve a + 4 = 2*c, -h*a + 0*a + 20 = 0 for c.
4
Suppose 0*w = -5*w - 40. Let g = w + 8. Solve -3*b - 5*n + 18 + 6 = g, 3*n - 18 = -3*b for b.
3
Let l = -54 - -67. Solve 2*j - 5 - l = 4*t, 0 = 3*t + j + 1 for t.
-2
Let q = 2 + -8. Let h = 14 + q. Solve -s + 2*b + h = -4*s, 0 = 3*s + b + 4 for s.
0
Let i be (-18)/(-8) + 3/4. Let q = 6 - i. Suppose -20 = -2*f + 4*k - q*k, 0 = 5*f - 2*k - 50. Solve 0*p = -2*p + 2*y - 2, 0 = 2*y - f for p.
4
Let i(w) = 7*w**2 - w - 1. Let x be i(1). Solve 14 = 3*c + x*k, 3*c - 3*k + k - 7 = 0 for c.
3
Let k = 1 + -3. Let z = -1 + k. Let j be (-10)/(-2*(-1)/z). Solve o + 2*o = r, 0 = 5*r - j for o.
1
Let y be (-1)/(-2)*-1*4. Let j be y + (-2 + 8 - 2). Solve 4*n = -j*k + 4, 0 = -4*n - 0*n + k - 8 for n.
-1
Let p(b) = -b + 2. Let r be p(3). Let h be -21*r/((-3)/(-2)). Solve 4*u + 0*q = 2*q + h, 0 = 4*u - 5*q - 29 for u.
1
Let n(s) = -s**3 + 3*s**2 + 3*s - 2. Let l be n(2). Let r be (9/(-12))/((-2)/l). Solve -2*j + 6 = 3*j - b, -r*j - b = -10 for j.
2
Suppose -2*l = -4*i + 20, -i + 3*i + 2*l = 10. Let u(t) = 1 + 2*t + 3 - 4*t + t. Let v be u(3). Solve 0 = -2*p + 2*x, v = i*p - 3*x + 11 for p.
-5
Suppose 3*x + 2*x = 0. Suppose 4*l + 5*c - 13 = 0, 5*l + x*c - 38 = c. Solve 0 = p + 2, -l*b - 2*p = -2*b - 21 for b.
5
Suppose 0 = -2*l - k + 4, l = 3*l + 3*k. Let m = 101 - 64. Suppose 4*t - 52 = c - 5*c, 4*t = -l*c + m. Solve 3*u = -y + 2 + 13, 3*u = -4*y + c for y.
0
Suppose h = -4*g + 22 + 4, -3*g + 22 = 2*h. Let x = g + 9. Solve -3*c - x = z - 6*z, 2*c = 2*z - 10 for z.
0
Suppose -u = -0*u - 21. Let j(v) = v**2 + 8*v + 4. Suppose 0 = -2*y - 0*y - 16. Let m be j(y). Solve 2*z - 2 = -2*c, m*z - 4*c + u = -3*c for z.
-4
Suppose -4*g = -60 - 72. Let n = g + -25. Solve -4*v = 4*i - 5*v - 16, 2*i + 2*v = n for i.
4
Let u = -52 - -57. Solve -3*h - 2*h + 12 = -a, -h + u*a - 12 = 0 for h.
3
Suppose 0 = 2*q - 3 - 5. Suppose -2*t + b = -1, 2*t + 0*t + 3*b = 13. Solve -t*k = q*m - 3 - 1, -15 = -5*m for k.
-4
Let s be 4/(-10) - (-36)/15. Let b = -7 + s. Let u be -5*(-1)/b*-3. Solve -4*m = p + u, 7 = 5*m + 4*p - 3 for m.
-2
Let l be 8/(3*8/12). Let t be 4 + (-2)/(l + -3). Solve -4*u - 4*b = 28, 5*u - t*u + 5 = 5*b for u.
-5
Let g(d) = -d**2 - 4*d. Let y be g(-4). Suppose -j + 2 + 1 = y. Suppose 5*x - 3 = j*u - 4, 2*u - 2*x - 2 = 0. Solve 6 = 4*l - u*p - 14, 6 = 2*l + p for l.
4
Let n(h) = -h**3 + 6*h**2 - 5*h + 6. Let j be n(5). Let l(k) = 5 + 2*k + j - k. Let w be l(-10). Solve -w = p + m, -p - 3*p = -4*m - 12 for p.
1
Let y = 2 - -3. Solve 0 = -3*t, 2*i = -2*i + y*t for i.
0
Suppose 0 = -5*z - 25, z = -3*g - 2*z. Let r(t) = -t + 8. Let d = 3 - -3. Let l be r(d). Solve 0 = -g*u - 5*k - 15, k - 1 = u - l for u.
-1
Suppose 0*l - 16 = -4*l. Let f(d) = d + 4. Let r be f(3). Let y(i) = i**2 - 5*i - 2. Let o be y(r). Solve s - x + 8 = 0, s - l*s - x - o = 0 for s.
-5
Let c be (-33)/(-9) - 2/(-6). Suppose 3 = -3*x + c*x. Solve -i - i - 5 = g, -x = g for i.
-1
Let g = 11 + 1. Suppose 0*a = -4*a + g. Solve 5*b - 3*y + 20 = -9, -3*b - 3 = a*y for b.
-4
Suppose 5*s = -20, 20 = 2*t - s - 2*s. Let b(l) = -l - 9. Let i be b(-15). Solve t*f + 0 - 21 = j, 4*f + 2*j = i for f.
4
Let h(u) = u**3 + 25*u**2 + 2*u + 55. Let c be h(-25). Solve 3*s - c = s - d, 5*s + 2*d = 13 for s.
3
Let s(z) = z**3 + 8*z**2 - 8*z + 12. Let g(l) = l**2 + 8*l + 6. Let p be g(-5). Let j be s(p). Suppose 0 = -j*v + 6. Solve -2*o + o + 22 = 4*f, o = v for f.
5
Let t(d) = -d**2 + d + 12. Let y be t(0). Let m be y/42 + (-5)/(-7). Solve z + 21 + m = -5*r, 5 = -4*r - 5*z for r.
-5
Let l = 3 + -5. Let i be l/1 + (1 - -12). Solve -f = -2*d - i, 0*d + 3*d = -4*f for f.
3
Let h(g) = g**2 - 2*g - 7. Let o be h(5). Solve 3*t = -t - 3*u - o, -23 = 3*t - 2*u for t.
-5
Let a(p) = 5*p - 1. Let k(x) be the third derivative of -x**3/6 - 2*x**2. Let z(r) = a(r) + 2*k(r). Let c be z(2). Solve -4*f = -v + c, 0 + 9 = 4*v + 3*f for v.
3
Let c = -1 - -6. Suppose 2*i + 5*j + 6 = -8, -32 = -4*i + c*j. Solve -i*s + 12 = 0, 2*s - 6 = h - 3 for h.
5
Suppose -5*t + 5 + 5 = 0. Let v be (2 - t) + (2 - 1). Let s(w) = 5*w - 1. Let a be s(v). Solve a = 3*o + 2*p, 6 = -4*o + 4*p - p for o.
0
Suppose -6*f + 3*f = -3. Let z = 6 - f. Suppose z*d - 42 = 18. Solve -r + d = -4*m, 4*r + 15 = -5*m + 8*r for m.
-3
Suppose -r + 4*n = 14, -5*n = -5*r + 4*r - 18. Solve 1 = 5*h - 2*v, -r*h + v = 2*v - 4 for h.
1
Suppose 0 = -r - 2 + 1. Let c be (-1)/(-1)*(2 - r). Solve -2*l - 2*t + 2 = 0, l + l + c*t = 2 for l.
1
Let k be (-3 + 76/20)/((-3)/(-75)). Solve s = -c - 4*c + k, -35 = 4*s - 3*c for s.
-5
Let d = -40 + 44. Solve 5*n + 7 = -2*p - 8, 0 = 4*n + d*p for n.
-5
Suppose 3*d - 2*h - 52 - 13 = 0, d - 4*h - 25 = 0. Suppose d = 4*s - s. Solve -3*o = 2*p, -s = 3*p + 2 for o.
2
Let c be (5 + -2)/((-6)/4). Let b = c + 4. Solve l + 3*j + 5 = 5*l, 0 = -2*j + b for l.
2
Let u be 61/2 + (-39)/26. Solve -i = -3, -5*r - 4*i = 2 - u for r.
3
Let b = 4 + -1. Suppose 4*p = -0*p + c + 22, 5*c + 25 = b*p. Solve 7 = 4*y + 4*z + 19, 3*z = p*y + 7 for y.
-2
Let r = 87 - 85. Solve 2*h = 5*b - r, 3*h + b + 0*b = 14 for h.
4
Let x be 2 + 4*2/4. Suppose -3*l = -6*l + 2*a - 1, 0 = x*l - 3*a + 3. Solve -4*z = 20, 0 = 2*g - z - l*z - 18 for g.
-1
Suppose -a + 33 = 2*a. Let h = 16 - a. Solve -20 = h*k - 5*i, 0*k - 16 = 2*k - 4*i for k.
0
Suppose -3*n = n - 56. Let t = n + -9. Suppose d - 14 = -g - d, -5*d + 33 = 2*g. Solve t*p = -m + 16, 2*m = -p + 3*p - g for m.
1
Suppose 69 = 3*o + 3*x, 3*o + 4*x - 63 = -x. Solve -j - 23 = 2*s + 4*j, -s + 5*j = -o for s.
1
Suppose -3*w - 18 = -6*w. Solve -3*n + s - 6 = 0, -s = -w*n + 2*n - 8 for n.
-2
Suppose h + 6 = 4*h. Let i(f) = -3*f**3 + 6*f**2 - 8*f + 3*f + h*f**3. Let c be i(5). Solve d + c*d = -4*k - 14, 6 = -3*d for k.
-3
Suppose -11 = -4*o + 5. Let r(s) be the third derivative of s**4/24 - s**3/2 + 9*s**2. Let q be r(5). Solve 3*a - 11 = -o*m + q*m, -5 = -3*a - 5*m for a.
5
Let q = 27 - 19. Let r be q - 1/1 - 2. Solve 5*d = -r*t - 30, -13 = -2*d - 4*t - 33 for d.
-2
Suppose -4*c - 10 = -6*c. Suppose -o - 1 = -c. Solve -3*w + w = i + o, -2*w + 3*i = 20 for w.
-4
Suppose t = -2*t + 75. Suppose -9*n + t = -4*n. Suppose 2 = -w + 6. Solve -w*d + 3*j = -7, j = 5*d - 0*j + n for d.
-2
Let t be 1 - 2 - (2 + -2). Let d be 6 + 1/(0 + t). Let x = 5 - d. Solve x = 4*i + 4*o, 4*i + i = -o - 12 for i.
-3
Let f be (-6)/42 + (-30)/(-14). Solve f = -5*u - 2*a - 3, -a = -5 for u.
-3
Let t = 6 - 8. Let z = 0 - t. Solve -z*s - 5*v = -7*s + 10, -v - 5 = 0 for s.
-3
Suppose -5*s = 5 - 15. Suppose -5*y + s*g + g = -69, g = -3. Solve -q + y = -3*a - 5, -2*q = -10 for a.
-4
Let i be 2/3 + (-16)/6. Let q = i + 4. Solve -3*z + 5*r + 22 = 0, 4*z - 