20, -m*k = o - 11 for k.
5
Suppose -5*t - 2 = d - 7*t, 1 = d - t. Suppose -2*b + 7*x - 3*x - 16 = 0, 2*b + 6 = 2*x. Solve b*w - 15 = r + 5*w, 4*r - d = 4*w for r.
-3
Suppose 2*m = k + 5, k - 6*k - m - 3 = 0. Let n be (2 + k)/(2/24). Solve 2*g - 2*y + n = 0, 0*g + y - 8 = 2*g for g.
-2
Let j(n) = -n - 4. Let d be j(-9). Suppose 2*q + 5*y = -2*q + 89, 5*y = d*q - 55. Solve 2*v + 0*h - q = -2*h, 4 = -v + 3*h for v.
5
Suppose 0 = 5*m - 5*x - 0*x + 10, -m - 5*x - 2 = 0. Let u(n) = -3*n - 3. Let j be u(m). Solve 1 = 3*w + 5*v - 8, w - v = j for w.
3
Let u = -165 + 165. Solve 2*a + 19 = 3*r, 5*r - 3*a = -u*r + 31 for r.
5
Let t be (126/(-4))/(-7) - 1/2. Solve -4*d + 3*m - t*m = 4, 0 = d - 4*m + 18 for d.
-2
Suppose -2*i = s - 14, -3*i = s - 4*i - 2. Solve 0 = -w + 2*h + s, 4 = 3*w + 2*h - h for w.
2
Suppose y - 3 + 2 = 0. Suppose 2*d = -y + 9. Solve i + 10 = 3*z, 0*i + d = -2*i - 2*z for i.
-4
Suppose 5*o + 4*p - 3*p = 10, 0 = -3*o - 2*p - 1. Solve 1 = -d + o*v, -7*d = -2*d - 3*v - 19 for d.
5
Let z be 1/(-3*(-3)/18). Suppose 2*o + z = -l + 3*l, 3 = 3*l + 3*o. Solve -6*q - l = -5*q, 2*r = -4*q - 8 for r.
-2
Let a(n) = 12*n**2 - 2*n + 1. Let r(o) = 25*o**2 - 4*o + 2. Let h(l) = 13*a(l) - 6*r(l). Let g be h(1). Solve g*w + 4*q = -6 - 14, -2*w - 4*q - 20 = 0 for w.
0
Let b(d) = d. Let o be b(4). Suppose -l = o*l + 25. Let z be (2 - 2)/(l - -3). Solve z = v + 5*u + 1, -4*v - u + 22 = 7 for v.
4
Let w = 6 - 6. Let k be w + 1 + 2 - -2. Solve -4*u = -2*u + k*t - 1, -13 = -4*u + t for u.
3
Let y be 7*-3*8/(-84). Solve 0 = 5*p - y*j + 4*j - 10, 0 = -4*j - 20 for p.
4
Suppose 96 = 7*o + o. Solve 0 = g + 3*z - o, -2*g = -0*g - 2*z for g.
3
Let v = -17 + 19. Suppose -5*h + 5 = g, -v*g = -0*g + 2*h - 2. Let n be 24/14 - 4/(-14). Solve 3*m + 4 = -g*o + 4*o, 5*o - 3*m = n for o.
-2
Suppose -3*n + 5*z = -30, -2*n - n = 5*z. Solve 0 = s - t + n, -s - 2*s = -5*t + 15 for s.
-5
Suppose -4*p = -5*p + 2. Let z = -440 + 455. Solve -3*y - 25 = -p*g, z = -2*y - g + 2*g for y.
-5
Let i be 8/(-10) - (-96)/20. Solve 3*v - 20 = 5*v + i*l, 3*v - 6 = 3*l for v.
-2
Let v be ((-21)/9 - 1)*-6. Suppose 5*t - 5 = v. Suppose 2*w = 6*w + 4*q + 4, -w + t = -q. Solve -5*m + 2*n + 2*n + 25 = 0, -4*n = -w*m + 10 for m.
5
Suppose 2*o + 0*o + 4*m - 4 = 0, 4*m = 5*o + 60. Let t(i) = i + 11. Let d be t(o). Solve b = 2*p + 2, -4*p - 1 - 7 = -d*b for p.
1
Suppose -x + 12 = 3*x. Suppose x*q - 7*q = -28. Let m = q - 7. Solve 30 = -f - 5*j, m = -2*f + j - 2*j - 15 for f.
-5
Suppose -2*r - 4 = -8. Solve -r*b + 7 = -z + 2, -2*z = -b + 1 for b.
3
Let u be (1 - 5)/(8/(-12)). Let m(x) = -x - 4. Let l be m(-7). Suppose u = l*z - 0. Solve 5*t + 0*t + 5 = 4*n, z*n - 2*t = 4 for n.
5
Let j(k) = -5*k**2 + 2*k - 1. Let x(f) = f**3 - 4*f**2 - f + 5. Let i be x(4). Let q be j(i). Let l = q - -8. Solve r = -l*z - 24, z = 3*r - z + 2 for r.
-4
Let h = 25 + -23. Solve 2*y - h = 0, v - 2*y + 10 = -3*v for v.
-2
Let f = 85 + -83. Solve -14 = -f*v + w + 2*w, 5*w + 20 = 0 for v.
1
Suppose 0 = 5*q - 5 - 15. Suppose t - q = -2*u - 2, 16 = 5*t + 4*u. Solve 2*f + 2*m - 14 = 0, -5*f + 3*m + t = 9 for f.
2
Let x(v) = -v**2 + 4*v - 1. Let c be x(3). Let i be (4/(-3) - 0)*(-144)/96. Solve i*n + 1 = 5, -21 = 5*w + c*n for w.
-5
Let h(o) = o**2 - o + 2. Let n be h(2). Let y = 11 + -23. Let z be y/(-5) - 4/10. Solve z*c + 4 = l - 3, 0 = n*c + 8 for l.
3
Let t = 16 - -24. Let o(z) = 5 - 20*z + 0 + z**2 + 14*z - 1. Let i be o(6). Solve 4*c = i*g - 32, 3*c = 5*g - t + 6 for g.
5
Let b be -3*(-4 - 4/(-6)). Let p be ((-4)/b)/(2/(-10)). Solve 3*i + 3*x + 30 = -2*i, -3*i - p*x - 19 = 0 for i.
-3
Suppose -17 = -u + 3*a, -3*u + 2 = 3*a - 1. Solve -3*c - u*g + 4 = 0, 2*c + 4*g = c - 1 for c.
3
Let z = -73 + 82. Let r(p) = 2*p - 5. Let s be r(4). Suppose 4*u - 10 = -2. Solve -s*o + 4*o = -u*x - z, -x = 3 for o.
-3
Let l = 40 - 40. Solve -2*p + 4*f - 16 = l, -8*f = -p - 3*f - 17 for p.
-2
Let m be (-38)/(-6) - 6/(-9). Let f(w) be the second derivative of w**3/6 + 11*w**2/2 - 2*w. Let l be f(-7). Solve -m*a + 12 = -2*a - 2*k, -l*k + 12 = -a for a.
4
Let c = -32 - -38. Solve 3*n = -5*o - c, n + 4*n = -2*o + 9 for n.
3
Let j = 41 + -37. Solve f + z = -2*f - 6, -3*z = -5*f + j for f.
-1
Suppose -2*g + v + 6 = 0, -2*g + 2*v = 3*v + 2. Solve 5*f = 3*p - 8*p, -3*p - 4*f = g for p.
1
Suppose 0 = 5*c - 15, 2*c - 48 = -3*n - 0*n. Let q be ((-189)/n)/(2/(-4)). Solve 0 = -3*o + 5*m - m - q, -5*o + m = 28 for o.
-5
Suppose 34 - 10 = 3*u. Suppose -u = -3*d + 7. Suppose -d*o - 5*y = -15, -4*o = -5*o + 2*y + 6. Solve -5*p + 3 = -o*p - 4*h, p - 2*h - 1 = 0 for p.
-1
Let i be -4 + 8 + (-6)/2. Solve -3*g - t - 3 + 12 = 0, 0 = 5*g - 3*t - i for g.
2
Suppose -4*h = -3*h. Let x = -3 - -8. Suppose -12 = -x*s + s. Solve h = -5*w + 5*b - 20, -5*w - 2*b - s*b = 20 for w.
-4
Suppose -h + 6*h + 18 = -2*s, 2*h + 5 = -3*s. Let n be 18/(-3)*s/(-3). Solve 4*c - 10 = 2*t - 0*t, -25 = -n*t - 3*c for t.
5
Let v be (3 - 0) + (-2 - -2). Suppose -k = 2*t - 8, -5*k - 3*t = t - 28. Let l = k - 4. Solve 4 = -l*m - 4*m, m = -v*h - 7 for h.
-2
Let n = -12 - -5. Let r = n - -18. Solve 3*x - x - 3*c = -r, -x + c - 5 = 0 for x.
-4
Let w = 9 + -9. Suppose -4*b + 23 = -5*b + 5*a, w = b - 3*a + 13. Solve 4*m - b*m + 8 = -4*h, -3*h + 5 = -4*m for m.
-2
Suppose -2*x + 3*x - 9 = -2*f, -4*f + 3 = -x. Let h = f + 2. Solve j + 2 = -2*q - 9, 5*j + 13 = h*q for j.
-5
Let z(t) = -t**2 + 5*t + 1. Let r be z(4). Solve -5*i - r = -a, 0*i + 10 = -i + 2*a for i.
0
Let h = 13 - 11. Suppose 5*t - 16 = -w + h*w, t = 4*w + 7. Solve 0 = 2*i + t*k + 3, k = -5*i + 3*k + 21 for i.
3
Let w be (-3)/4 - (-21)/12. Solve -6*y - k = -4*y - w, -5*k = y - 5 for y.
0
Suppose -11 = g - 3*d, 5*g + d = 2*d - 27. Let x be 3 - (2 - (-1 - g)). Let o be 2/5 + (-92)/(-20). Solve -x*q - 25 = -o*z, 2*q - 4*z + 13 = z for q.
-4
Let n(l) = -l**3 + 7*l**2 - 5*l - 6. Let q be n(6). Let w(m) = -m**2 + 2. Let c be w(q). Let u = -5 - -11. Solve 2*g - 3*v + 1 = -0*v, -3*g + c*v = -u for g.
4
Let m(u) = u**3 + 6*u**2 - u. Let t be m(-6). Let j be (t/7)/(2/14). Let i = j - 1. Solve -p = -3*v - i, 6*p - p + 3*v - 7 = 0 for p.
2
Let b = 2 - 0. Suppose 5*d + 1 - 6 = y, 4*d + b*y - 18 = 0. Solve -d*v + 7 = 4*u + 21, -12 = 3*v + 3*u for v.
-1
Let k(y) = 5*y - 4. Let m be k(3). Let d = m - -3. Solve 3*a - d = 2*i - i, 4*i = -2*a for i.
-2
Let n = 6 + -2. Solve -f + 12 = f + 2*h, -h - 14 = -n*f for f.
4
Let u(s) = -s**2 + 3*s + 15. Let g be u(0). Solve -g + 3 = -3*c - 4*w, -3*c + 12 = -w for c.
4
Suppose -3*m = 3*f - 27, -4*m = 6*f - 4*f - 28. Suppose -12 = -4*u + f*b, 5 = u + 3*b + 2. Solve -2 - u = -5*h + 5*g, -3*h - 2 = -2*g for h.
-4
Let f(k) = -k - 2. Let u be f(-7). Solve -4*s + 5 = -3*l, u*s - 4*s = -l - 4 for l.
-3
Let s be 4 + 8/(-28) + (-4)/(-14). Solve s*q - 3*m = -4*m - 14, 22 = -3*q + 5*m for q.
-4
Let h(p) = p**3 - 5*p**2 + 6*p - 6. Let w be h(4). Suppose w*o - 4*o = 0. Suppose o = -5*j + 2*j + 75. Solve -4*n - j = 5*d, -4*n = 2*d + 7 + 3 for d.
-5
Suppose 2*p = 6*p. Let m = 6 + p. Solve -3*z + b + 1 = -1, -5*z - 3*b = m for z.
0
Let i = 25 + -22. Solve -1 = -i*y + 11, -x - y + 6 = 0 for x.
2
Let o be -2*2/(-4) - -4. Suppose -2*s = -o*x - 33, -3*s + 0*x + 7 = x. Solve -s*c + r - 8 = 0, 11 = 5*c + 3*r + r for c.
-1
Suppose -s + 6*s + 1 = l, 3*l - 3*s + 9 = 0. Let b be ((-8)/(-12))/(l/(-186)). Solve 2*a - 4*q - q = -b, 0 = -3*q + 15 for a.
-3
Let n = -18 + 18. Let y be n + 1 + 1/(-1). Solve y*d - 5*d + 35 = -2*m, -2*d = 3*m + 5 for m.
-5
Suppose -5*c = 4*g - 33, 5*c - 15 = 4*g + 2. Let a = 3 + -3. Let w(y) = y**2. Let s be w(a). Solve -c*t + 45 = 3*z + 2*z, s = 2*z + 4*t - 26 for z.
5
Suppose -1 - 19 = -4*z. Solve 2*k - 3 = 3, 0 = z*f + k + 7 for f.
-2
Let o(r) = r**2 - 3*r + 1. Let n be (-322)/(-77) - (-4)/(-22). Let f be o(n). Solve -4*j - 5*y = -28, -f*j - 10 = -0*j - 5*y for j.
2
Let k be 14*1 + 2/((-4)/2). Solve 3*m = m - q - k, m + 14 = -3*q for m.
-5
Let q(w) = 2*w**3 - 11*w**2 + 7*w - 8. Let f be q(5). Solve -3*z + 24 = -f*t - 1, -5*t = z + 20 for z.
5
Suppose 5*x = 2*q + 5, -4*q + 8*q = -2*x + 26. Solve 4*z - 22 = -2*d, 0 = 2*z - x*d - 2*d - 5 for z.
5
Let c = 4 - 3. Let u = 5 - c. Solve -u*z + 2*z - 18 = 4*q, 14 = 4*z - 2*q for z.
1
Let l(k) be the first derivative of k**2/2 + 1. Let d be l(5). Let q = -393 + 418. Solve