1. Solve -3*k + 3 + 11 = -a, 0 = -r*a - 2*k + 4 for a.
-2
Suppose 5*i - 15 = 25. Let w = -6 - i. Let v = -10 - w. Solve 0 = -r + c - 4, -v*r - c = -0*r + 16 for r.
-4
Let h = -20 - -23. Suppose -2*r + 2 + 6 = 4*z, 4*z = 3*r - 22. Suppose 0 = 2*v - 0*v - r. Solve -t + 4*o = -11, h*t - 4*t = v*o + 3 for t.
3
Suppose 2*i - 17 = h, 0*i - i + 2*h = -13. Let z be 8/28 - (-5)/i. Solve t = -0*s + s + 1, -z = -t + 4*s for t.
1
Let r(d) be the third derivative of d**5/60 + 7*d**4/24 - 4*d**3/3 + d**2. Let i = -13 - -5. Let x be r(i). Solve x = m - 4*b - 16, -m + 0*b + 1 = b for m.
4
Let i = 13 + -8. Suppose -3*s + s = n - 10, -i*s + 2*n + 16 = 0. Solve -s*k + 3*g + 8 = 0, 0*k = 4*k + 3*g - 8 for k.
2
Let a = -22 + 37. Solve -s + 4*n + 8 = -5*s, -a = 5*n for s.
1
Suppose 0*k + 2*a = k + 8, 0 = 4*k - 4*a + 12. Solve -g + 6 = g, k*g = s + 5 for s.
1
Suppose 6 + 0 = 3*g. Let l(i) = -3*i + 1. Let k(b) = 7*b - 1. Let y(o) = -2*k(o) - 5*l(o). Let d be y(7). Solve 2*n - 4*j = -g*j - d, 2 = -5*n + j for n.
0
Let w(a) = -a + 7. Let f be w(5). Let t = 14 - 5. Suppose 2*v - t = -v. Solve -v*m + f*n = -9, -2*m + 2*n + n + 11 = 0 for m.
1
Suppose 5 = w + 3. Solve -10 = 5*d + 5*o, -5*o = -w*d - 3 - 8 for d.
-3
Suppose -2*y = -3*q - 4, -y - 16 = -3*q - 3*y. Solve -3*g = 5*m + 12, -2*m + 4*g + 14 = -q for m.
0
Let k = 3 - 3. Suppose 0 = 2*x, 0 = -2*d - 2*x - k + 4. Solve p - 10 = -5*s, 0 = -5*p + d*p - 5*s for p.
-5
Let u(k) = k**3 + 4*k**2 - 3*k - 6. Let c be u(-3). Solve 3*q + 0*q = -c, 10 = -2*n - 2*q for n.
-1
Let c(i) = -i - 1. Let t be c(-4). Solve 4*d = -4*u + 12, d - 14 = -3*u + t*d for u.
4
Suppose 0 = 4*u + 22 - 70. Solve 4*v - 2*v - g - 3 = 0, 0 = 3*v - 4*g - u for v.
0
Let s be ((-6)/10)/((-1)/15). Let l = s + -8. Solve 3*v - l = 3*k + 17, -2*k = 4 for v.
4
Let p(l) = l**2 + 2 + 5*l - 12*l + 6. Let d be p(7). Suppose -2*h + 5*c + 24 = 0, 0 = 4*h - d*h + 5*c + 28. Solve 4 = h*s - s, 5*s - 35 = -3*q for q.
5
Let y be 2/9 + 28/36. Let z be -4 + (y - 5)/(-1). Let q be (-2)/4 - (-30)/4. Solve z*x = -3*c + x - q, x = -5 for c.
-4
Let n = 11 + -7. Suppose n*b - 3*x + 3 = 0, 4*x = 5*b + 5*x - 1. Solve 3*d = -2*h - 2*h - 4, -3*d - 5*h - 8 = b for d.
4
Let g = -4 + 4. Let x be 40/(-12)*(-3 + g). Let j be 4/(-10) - (-4)/x. Solve 5*o + 35 = 5*w, j = -5*w + 3*w + o + 9 for w.
2
Let q = 2 + 2. Suppose -3*r + 4*r + 15 = 0. Let d = -10 - r. Solve -d = -q*f + i, -3*i + 5 + 0 = -2*f for f.
2
Let m = -3 + 8. Let q(v) = -2*v + 2. Let i be q(-2). Solve -2*j - 6 = -k, -2*j + 4*j - i = -m*k for j.
-2
Let j(u) = -u**2 + 2*u + 3. Let n be j(0). Solve 0 = -n*m + 2*m + 5*h + 25, 3*h = -3*m + 3 for m.
5
Let n(p) be the first derivative of -p**2/2 - 4*p + 1. Let a be n(-4). Let s be 34/((-4)/(-2) - a). Solve -4*q + 0*q + g + s = 0, 0 = -3*g - 3 for q.
4
Let n(f) = -f**2 + 4*f - 2. Let c be n(3). Let s = 6 + c. Solve -2*g = 0, -3*g + s = 5*b - 8 for b.
3
Let b(x) = -x**3 - 4*x**2 + 5*x + 7. Let u be b(-5). Let t = u - 3. Solve -t*z + 4*m - 12 = -6*z, -z - 5*m = -18 for z.
-2
Suppose 2 + 3 = -5*a + 5*o, 4*a + 4*o = 36. Solve -5*s = -a*c + 19, -3*c - 3*s - 4 = 2 for c.
1
Let g = 23 - 10. Solve -5*m = 4*i + 17, -5*m = 5*i + g + 2 for i.
2
Let m = -2 + 32. Solve 2 - 18 = -2*r - 4*q, 0 = 5*r + 5*q - m for r.
4
Suppose -83 + 15 = -3*h + 4*g, 5*g - 70 = -4*h. Solve -5*x + 2*i = 1 - 9, -5*i - h = 0 for x.
0
Let n = -12 + 16. Solve 0 = 2*h + 2*f - 6, -3*h + n*f = -8*h + 12 for h.
0
Suppose -5*o - 2*s + 4*s - 89 = 0, -o + 2*s - 21 = 0. Let v = o + 10. Let g = -3 - v. Solve 1 = -4*p - 7, -g*p - 12 = -4*k for k.
1
Let b = 8 - 3. Solve -3*m = -0*m + b*z + 17, -5*z = 2*m + 13 for m.
-4
Let a be (-2)/2 - (-18)/3. Let v be 1/((3 + 0)/(-3)). Let g = -1 - v. Solve b + 3*k - 2 = g, 0 = -2*k + a*k - 6 for b.
-4
Suppose -2*w - 8 = -36. Let l = 36 - w. Solve 4*o - 3 = 5*s - l, -5*o + 4*s - 17 = 0 for o.
-1
Suppose 2*f + 15 = 7*f. Solve 12 = -f*u - 3*s, -4*u + 0*u - 16 = -2*s for u.
-4
Let d = 83 + -79. Solve 3*x + 0 = -2*n - 25, -3*x - d*n = 35 for x.
-5
Suppose -3 = -2*i + 3*t + 22, -4*t = -3*i + 35. Let j be 3 + (2 - 2) + 0. Solve -k - 5 = -j*n, -i*n + 4 = -k - 1 for k.
-5
Suppose 5*t = -0 + 20. Solve 2*q + 4*a - t = 7*q, a - 16 = 5*q for q.
-4
Suppose o = 2*o - 4*h + 6, -3*o = 4*h - 62. Suppose 0 = 4*z + 2*a, 0 = -3*z - 2*a - 3*a - o. Solve -2*f = -0*c + z*c, -4*c = -12 for f.
-3
Suppose -2*w + 3 + 1 = 0. Suppose s = w*s - 4. Suppose -9 = -s*y + g, 0 = -0*y - 4*y + 3*g + 3. Solve y*l - 2 = 6*l - b, 4*b = 4*l + 16 for l.
1
Suppose 2*k = 4*k. Solve 2*c + 2*v + 10 = k, -2 + 0 = -2*c + 4*v for c.
-3
Suppose -2*q - 2*u = -24, q + u = 2*u + 8. Suppose -4*h + 4 = 2*d - 0, -d = 5*h + q. Solve -t - 9 = t + 5*k, d = -4*t - 2*k for t.
-2
Let m = 3 + 1. Suppose -5*w + 23 = -k, 3*w = -k + 4 + 5. Let q(t) = -t**3 + 3*t**2 + 6*t - 4. Let x be q(w). Solve 2*j - x*j + 4 = -m*n, 0 = -n + j for n.
-2
Suppose g - 18 = -4*d + d, -4*d + 4 = -2*g. Let s = -7 + 5. Let p be s/(-8) + 44/16. Solve -x + g*x + w + 20 = 0, p*w + 12 = x for x.
-3
Suppose -5*y + 4*a - 1 = -6, 5*a = y - 1. Suppose -y + 4 = 3*v. Let m be 1 - (2 + -2 + v). Solve m = -2*w + 5*t + 17, -3*w = -t + 9 - 2 for w.
-4
Suppose 0*q = 4*p - 4*q - 72, 4*p = -5*q + 45. Solve p + 0 = -4*m + 5*y, m = 2*y - 3 for m.
-5
Let j be 3 + (-3)/(9/30). Let r be j/(-28) + (-1)/4. Solve 4*k + 3*d = -r*k - 17, -4*d = 12 for k.
-2
Suppose 0 = -3*v + 23 + 1. Suppose -2*x + 5*o - 1 = 0, 0 = -3*x - o - o + v. Solve -2*h = -k - x*k, 5*k + 16 = -2*h for k.
-2
Suppose 0 = 3*u + 2*u - d - 80, 5*d = 5*u - 80. Suppose 0*q = 4*q - u. Solve 3*r = q*w - 10, -9 = -3*w - 3*r + 6*r for w.
1
Let s = 1 + 1. Let f(t) = t + 6. Let d be f(-8). Let o = -1 - d. Solve -y = s*r + o, 5*r - 2*y - 14 = y for r.
1
Let g(n) = -n**3 + 4*n**2 + n - 1. Let u be g(4). Solve 2*c = 2, -x + 2*c - u = 4 for x.
-5
Let h = -11 - -1. Let n be (-1)/(0 - (-2)/h). Solve 0 = n*o + 3*u + 6, -3*u = 5*o - u + 9 for o.
-3
Suppose -q + 3*l = 6, 0 = 5*l - 2*l - 9. Solve g - 25 = 4*w, -6 = 4*w + q*g - 1 for w.
-5
Let v = 4 - -2. Let d(m) = -3*m - 1. Let l be d(-1). Suppose -2*u + 70 = 3*u. Solve 2*a - v*a + l*r = -u, -a = 3*r for a.
3
Let o be (-2)/6 + (-48)/(-9). Solve -5*y + 28 = 2*g, -6*g + 2*g = o*y - 36 for y.
4
Let l = 36 + -26. Solve -2*v + l = 2*f - 0*v, 4*v + 1 = 3*f for f.
3
Suppose x + 3 = -s, 0 = 5*s - 8*x + 4*x + 6. Let o be 1 + s/(1 - 3). Solve 2*d - 10 = -o*u, 3*d + 4*u - 11 = 6 for d.
3
Suppose 62 = 5*g + 4*d, 3*g - 3*d - 8 - 13 = 0. Solve x + r - 7 = -2*x, 0 = 2*r + g for x.
4
Let b be 1/(-2) + (-21)/6. Let g = -2 - b. Suppose 5*l - g*q = 16, -l - 4*l + 26 = 3*q. Solve 0 = -3*z - 5*f - 23, 2*z + z - l*f = 13 for z.
-1
Let v = -4 + -5. Let s be 12/18*v/(-2). Solve 4*d = 2*d + 5*t - 21, s*d + t + 6 = 0 for d.
-3
Let s(r) = 5 - 6 + 11*r**2 - 2*r + r. Let n be s(-1). Suppose 4*d - 3*l = 7, -n = -2*d - 0*d - l. Solve -2*i + d = -2*b + 3*i, 5*b = -i + 17 for b.
3
Let l = -21 - -57. Suppose 2*q + 0*q - l = 0. Solve -d - 19 = -5*z - 2*d, -q = -4*z + 2*d for z.
4
Let y = 12 - 26. Let k be 3/(-6) + y/(-4). Let h(o) = o**2 + 8*o + 7. Let f be h(-8). Solve m + 14 = -3*b, 22 = -f*b + k*b + 2*m for b.
-5
Let n be -2 - (2*-6)/2. Let p = -24 + 27. Suppose -4*l = -0*l - 32. Solve -3*a - 2*h + 19 = -4, n*a - p*h = l for a.
5
Let z = -87 + 95. Solve -5*k + 5*m + 5 = 0, -5*k + 3*m + m + z = 0 for k.
4
Suppose -3*c + 3*k = 9 - 3, 2*c = 4*k - 10. Let g(b) = 4 - c - 2 + 3*b**2. Let f be g(-1). Solve -h + 9 = 5*q, -h + 16 = 2*h + f*q for h.
4
Suppose 3*w = -3*a, -a - 2 - 1 = 0. Suppose -3*l - 6 = -w*d, -l - 6 - 4 = -5*d. Suppose l = 4*t - 3*t - 3. Solve 3*b = 4*k + 2*b + 14, -2*b = -t*k - 8 for k.
-4
Suppose -8 + 4 = -4*p. Solve -j + 3*l = -4, 4*j - p = -2*l + 1 for j.
1
Let k be 1 + (0 - -5) - 4. Solve -m = -2*m - k*v + 5, -4*m - 20 = -2*v for m.
-3
Suppose 3*u - 2*u + 45 = 5*y, 3*y + 1 = -5*u. Solve 4*s = 2*m + 20, -5*m - 3*s - y = s for m.
-4
Let a be (-3)/12 + 5/4. Let o = -1 + a. Solve -b = -3*z + 5, -5*z + 3*b - b + 9 = o for z.
1
Let l be (2/4)/((-1)/12). Let p = l - -4. Let c be (-2 + 6)*p/(-4). Solve -c*b - 4*x + 15 = x, -6 = -2*b - 2*x for b.
0
Suppose 3*a + 2 = 8. Solve 0 = -6*x + 4*x + 2*f - a, 5*x + 5*f + 5 = 0 for x.
-1
Suppose n + 5 = 2*r - 7, -3*n = 3*r. Solve 4*x - r = 0, -5*h = -0*h + 2*x - 22 for h.
4
Suppose -60 = -4