 Solve 7 + m = 5*k + 3*x, 0 = k - x - 4 for k.
3
Let t be 4/(-22) - (-272)/44. Suppose -5*a = -i + 3, -2*a - t = -i - i. Suppose -2*v = -i*v + 5. Solve 6 = 2*c - s, 0 = -0*c + v*c - 3*s - 16 for c.
2
Let a = 8 - 15. Let o = a + 12. Solve -o*u - 25 = -5*i, -i - u + 3 = -0 for i.
4
Let i = 4 + 0. Suppose 0 = -i*j + 5*j - 3. Suppose -g - 10 = -j*g. Solve 0*k = 4*k - 3*o + 32, g = -5*k - 5*o for k.
-5
Let a = 10 + -5. Solve -r - 4*s = -5, -r + 0*r - 2*s = -a for r.
5
Suppose -5*q + 22 = -2*u, 3*u + q - 4*q + 24 = 0. Let p = u + 8. Solve 2*y - p*r + r = -3, -r = 5 for y.
-4
Let a be 12/7 - (-2)/7. Suppose 0 = y + y. Let m(f) = f**2 + 37*f - 198. Let p be m(-42). Solve -a*i + 2*u - p = -y*u, 3*u = -3*i - 12 for i.
-5
Suppose -5*q + 9 - 24 = 0. Let n be ((-4)/q)/(6/9). Solve 5*j - 1 = -0*w + 2*w, n*j - 4*w - 10 = 0 for j.
-1
Let w be (6/(-4))/(-1*2/8). Solve -2*q + o - w = 0, 0 = 5*q - 2*o + 2 + 13 for q.
-3
Let m be 21/28 - (-135)/12. Solve -g - m - 2 = 5*d, -3*g = 5*d + 12 for d.
-3
Let h(q) = q**3 - 5*q**2 + 2*q - 8. Let m be h(5). Solve 3*z + 5*u = -11, z - u = -m*u - 1 for z.
3
Suppose 0*h = -3*h + 12. Let j be h/(-14) + 88/14. Let o = -5 - -8. Solve o*b - b + y = j, -2*y + 15 = 5*b for b.
3
Suppose 3 = -6*x + 21. Solve 2*y = -5*c - 13, 3*y + 4*c + x = -6 for y.
1
Let b(c) = -c**2 - 11*c - 1. Let d be b(-11). Let o(x) = -x + 1. Let y be o(d). Solve -2*n - y*f - 2 = -8, -5*n = -3*f + 17 for n.
-1
Let b be 0 - (0/4)/3. Suppose -k - k = b. Solve -2*g - w - 8 = 0, 2*g + k*w + 12 = -2*w for g.
-2
Let r(x) = -x**3 - x**2 - x + 24. Suppose 3*y - 2*y = 0. Let b be r(y). Solve -p + 4*f + 2 = b, 2*p + f = 1 for p.
-2
Let h(l) = l**2 + 6*l - 2. Let s be h(-5). Let r = s - -11. Suppose t = 4*t. Solve r*i + 4*j + 28 = t, -2*i + i - 2*j = 10 for i.
-4
Suppose 33 + 13 = 2*k. Suppose -4*b = -5*m - k, m + 1 + 5 = b. Suppose -5 = -t + b. Solve -3*l + t = 0, 0*j - 2*j - l = 4 for j.
-4
Let x = 28 - 24. Solve d - 5*d = -q - 13, -12 = 4*q + x*d for q.
-5
Suppose 0 = -2*j + 4. Solve y + 8 = j*n, -3*y + 9 = 3*n + 2*n for y.
-2
Let j = 10 + -8. Solve 5*f - 2*f + 4*p + 11 = 0, j*f = 4*p + 26 for f.
3
Let s be (8/(-10))/((-6)/30). Suppose 0 = -4*p + 2*d + 16, p + s*p = -4*d - 6. Solve -3*b - p*z + 12 = -z, -5*z - 30 = -3*b for b.
5
Let p be 6*1/(-4)*-18. Let t = 3 + 12. Solve -4*c + 3*v = -t, -4*v - p = 2*c - 7 for c.
0
Suppose 5*y = -20, -a - 4*y + 11 - 35 = 0. Let d = a + 21. Solve 2*w + f = -2, 3*w + 4 = 2*f - d for w.
-3
Let y = 2 + -1. Let c be (-12)/(-21) + (-90)/35. Let d = y - c. Solve 19 = -5*o - 2*a, -d*o = -4*a - 4 + 5 for o.
-3
Let i(w) = -w + 3. Suppose 2*r = r - 6. Let f be i(r). Solve q = 2*y - 14, 3*y + 2*q = -2 + f for y.
5
Suppose 4*z + 4*k - 25 = -k, 4*z = -4*k + 20. Suppose 8 = 2*y - 5*t - 15, -2*y + 4*t + 28 = 0. Solve b = a - z*a - 6, -y = -3*a + 5*b for a.
3
Suppose -1 + 4 = 3*b. Suppose -r - 4*p - 4 = -6*p, 5*r + 3*p = 19. Suppose 4 = r*z - 4. Solve 4*d + 3*n = z*n + 5, 0 = 5*d - 3*n - b for d.
2
Suppose 3*d + 15 = -5*v + 35, d + 2*v = 7. Let l = -17 + 33. Solve d*t - t - 3*p - l = 0, -4*t - p = 0 for t.
1
Suppose t = -3*r + 6 - 3, t - 3 = -r. Solve -3*z - 4 - 5 = r, 4*z + 6 = -3*f for f.
2
Suppose -2*i = -4*i. Solve -z + 3 = -t, i*z + 6 = -3*z - 2*t for z.
0
Let f(s) = -s + 2. Let w be f(0). Suppose 4*c = w*c. Solve -u - 2*t + 7 = c, 2*u = 3*u - 5*t + 28 for u.
-3
Suppose n - 2*r + 2 - 13 = 0, 0 = -4*n + 3*r + 29. Solve -5*o + 2*w + 15 = -0*o, 5*o = n*w for o.
5
Let o = 2 - 10. Let n = o + 11. Solve -n*a - 3 = 0, 2*g + 0 = 5*a - 5 for g.
-5
Suppose -2*c = -8, -4*x + 2*c - 36 = -c. Let f be ((-9)/x)/(6/8). Suppose 0 = s - f*s + 2. Solve -s*i = -u, i - 5*i = -8 for u.
4
Let j(q) be the second derivative of q**4/12 + q**3 - 3*q**2/2 + 5*q. Let n be j(-7). Solve -9 = n*p + 5*u, 0*u + 10 = 5*p + 2*u for p.
4
Suppose 2*m + 5 = 3*m. Solve -1 = 5*y + r, r + m = 2*y - 4*r for y.
0
Let t = -3 + 0. Let a = -3 - t. Suppose -x + a*x + 5 = 0. Solve 0*s - 2*s = 4*q - 8, -x*s + 20 = q for s.
4
Let k(a) = -a + 3. Let r(w) = -2*w + 6. Let u(s) = 5*k(s) - 3*r(s). Let g be u(3). Solve -4*d + 5*b - 14 = g, 3*b - b = -d + 3 for d.
-1
Suppose 3*u - 2*f - 1 = -f, 2*u - 3*f = 3. Solve -4*r + 16 = u, -3*r + 1 + 5 = 3*o for o.
-2
Suppose 0 = 3*a - 2*a - 8. Let x(q) = q**3 + 8*q**2 - 10*q - 4. Let i be x(-9). Suppose -a = y - i*y. Solve y*d - 4*p - 12 = 0, -5*d - 2*p + 1 = 7 for d.
0
Let q(a) = -3*a**2 - 9*a - 2. Let d be q(-2). Solve 3*j - 2*g + 0*g = 23, -2*j = d*g + 6 for j.
5
Let u(s) = -s**2 + 4*s + 6. Let m be u(5). Solve 2 = y + 3*a - m, -5*y - 5*a = -5 for y.
0
Suppose -5*d + 50 = 5*o, -o = 4*d + 3 - 13. Suppose 2*h - o = -4. Suppose 4*l - 21 - h = 0. Solve 0 = i - j - 1, 2*i - 3 = -5*j + l for i.
2
Let d be (19/3)/((-6)/(-18)). Suppose d = -5*b - 36. Let k = -7 - b. Solve -5*f - 3*u - 12 = -6*f, 2*u = k*f - 18 for f.
3
Let h(k) = -k**3 - 12*k**2 - 11*k + 5. Let l = 8 + -19. Let w be h(l). Solve w*p = -n - 7 - 9, -4*p - 4*n = 16 for p.
-3
Suppose 3*d = -m, 2*d = 3*d - m. Let a be (-6)/4*20/(-6). Solve -x - p = -d*x - 4, -a*p = x - 8 for x.
3
Let s be -2 + 4 + 1*3. Solve -2*u = 4*n + 2, 0*n = 3*n + s*u - 9 for n.
-2
Suppose z - 4*z - 69 = 3*i, 62 = -2*z + 2*i. Let p = -14 - z. Solve 3*u + c + p = 0, 0*c = 2*u + 4*c + 12 for u.
-4
Let s = 36 + -10. Suppose -4*b = -s - 10. Solve c - b = -2*t, -4*t = -8*t + 16 for c.
1
Let l be (0 + 0)*(5 - 4). Suppose 3*k - 10 = 4*p, 5*p + l*p + 5 = 0. Solve k*f + 3*v = -20, -2*v - 16 = f + f for f.
-4
Let q(n) = -n**3 - 3*n**2 + 4*n + 1. Let l be q(-4). Suppose 3*u - 5 = l. Solve -3*j + u*f + 3 = 10, -2*j - 3*f = -4 for j.
-1
Let w = -118 - -120. Solve 5*q = w*d + 3*q + 2, q = 4 for d.
3
Let f = -5 + 9. Let x be -2*((-16)/f + 2). Solve x*c = -3*z + 23, c + 4*c - 3*z = 22 for c.
5
Let r(i) = i + 2. Let v be r(1). Solve 0 = -5*x - w - 0 + 24, 5*w + 20 = v*x for x.
5
Let l(r) = r**2 + 7*r + 15. Let h be l(-5). Solve -h*t + 4*t = -b - 5, -3*b = t - 1 for b.
-1
Let g(y) = y**2 - 14*y + 2. Let u be g(14). Solve -2*c - 2 = 3*k, u = c - 3 for k.
-4
Let i = -2 + 6. Let t(d) be the third derivative of d**6/120 - d**5/60 + 3*d**3 + 2*d**2. Let s be t(0). Solve 2*q - s = -4*h, q + h = -i*h + 15 for q.
5
Suppose -4*k + 9 = -11. Solve 0*z + r = k*z - 1, 3*z - 2*r = 2 for z.
0
Let t = -30 + 44. Let o(l) = l**3 - l**2 + 2*l - 8. Let a be o(2). Solve 2*m + 4*k - 4 - t = a, 5*k = m + 19 for m.
1
Let x be 1 + (2*-24)/3. Let l = -11 - x. Solve -l + 2 = 2*t, -4*t + 8 = 4*i for i.
3
Suppose 2*u - 168 = -10*u. Solve 4*b - 3*b - u = 3*f, -b - 1 = 0 for f.
-5
Let s(t) = -4*t**3 + t**2 - t - 1. Let y be s(-1). Solve -c + 3 = 3*z, 4*c - y*z - 3 = 3*c for c.
3
Let q be 26/13 - 2/(2 - 3). Solve 5 = q*b - 5*k, -8 - 3 = -b - 2*k for b.
5
Let x = -6 + 8. Let l be 1/x + 3/2. Solve -4*t + 2*g - 2 + 8 = 0, -3*g + 7 = l*t for t.
2
Let s be 6/10 + 72/5. Solve 0 = -4*n + n - s, 0 = -m + 5*n + 29 for m.
4
Let r = 1 - -1. Suppose 0 = 4*s - r*a - 3*a - 30, -5*s + 2*a = -29. Suppose u = 4*y - 29, 13 + 4 = 4*y - 5*u. Solve -n - s*d = -d - y, n + 5*d = 11 for n.
-4
Let j = 27 - 30. Let n(h) = -5*h**2 - 1. Let x be n(-1). Let q = j - x. Solve 3*o + l = -18, l + 2*l + 24 = -q*o for o.
-5
Let i(b) = 5*b + 14. Let h be i(-2). Solve -5*w = -0*w - 4*m + 12, h*m - 12 = w for w.
0
Let t be 0/3 + 3 + (-42)/(-2). Solve 2*k - 4*g = 4*k - t, 3*g = 4*k + 7 for k.
2
Suppose 6*j + 4*k = 7*j + 18, 3*j = -4*k + 26. Solve 5*h - 4*t = 3, -t - t = -j*h for h.
3
Suppose 0 = -g - 4*g + 15. Let n = 3 - g. Solve 3*f - 2*d + 2 = -n*d, 14 = -f + 4*d for f.
2
Let n be 60/(-8)*16/(-10). Suppose 3*r - n = -0*r. Suppose -3*y + 23 = -r*q, 0*y - 2*q = -3*y + 19. Solve -y*b = -b - 4*c, b - 4*c + 12 = 0 for b.
4
Suppose 54 = 3*r - c, -4*c - 63 = -4*r + r. Solve -a = -5*t + a + r, 4*t - 16 = 4*a for t.
3
Suppose -4*i = -7*i. Suppose -4*z + 49 = l + 5, 4*z - 56 = -4*l. Suppose o = -5*p + z, 2*p + 3*o + 8 = -1. Solve p*f - 2 = 4*q + 5, -5*q - 20 = i for f.
-3
Suppose -4*m - 4 = -12. Solve 5*b = -v + m, -4*b + 3 = v + 2 for b.
1
Suppose 15 = -0*k + 3*k. Suppose t + a + 7 = 0, k*t + a + 4 = -51. Let f = 18 + t. Solve -8 = -3*p + 2*r, -4*p - 3*r + f = -8*r for p.
4
Suppose -3*h - 6 = -5*h. Suppose 6*x = h*x + 9. Solve 5*q + 4*y + 15 + 3 = 0, x*q = 2*y - 2 for q.
-2
Let k = -1 + 6. Suppose -2*b - m + 9 = 2*b, 4*b