 7 = 3*v + 4, 7 = k - 3*v. Solve i + 0 = 3*y + k, -y = 5*i + 12 for i.
-2
Let b be 3/3 - 4/(-2). Suppose -19 - b = -w + 4*l, 5*l = -4*w - 17. Solve w*j + 25 = j - 5*c, 0 = -2*j - 5*c - 30 for j.
-5
Suppose 3*f - 4*d = -9*d, 0 = f + 4*d. Suppose 2*m + 0 = 42. Solve g - 4*s + m = f, -3*g + 0*s + 17 = 4*s for g.
-1
Let z be 2 + (3*-1)/(-1). Let w = -1 - 0. Let m = z + w. Solve -5*s = m*l + 11, -4*s - 3*l - 12 = s for s.
-3
Let x be (-4*2)/(-2) + -2. Let z = -1 - 0. Let i be 0*(-1 - z/2). Solve 4*y = 5*p + 13, x*p - 2*y + i*y = -4 for p.
-5
Suppose b + 0*b = 0. Suppose -2*r = 4*l - r, 3*l + r + 1 = b. Suppose 5*c = 11 - l. Solve -c*s - k = -3*k + 20, 0 = 5*s - 4*k + 45 for s.
-5
Suppose -4 + 17 = 2*v - 3*n, 5*n + 45 = 5*v. Solve 0*o - o = -5, 0 = -4*r - 2*o + v for r.
1
Let l(a) = -2*a - 10. Let v(y) = -y - 5. Let w(c) = 3*l(c) - 5*v(c). Let k be w(-7). Let h = -15 + 26. Solve -i + k*x + 1 = -4*i, h = i - 5*x for i.
1
Suppose -7*y = -4*y - 6. Solve 5 = -r + y*l, 3*r - 2*r = -l + 4 for r.
1
Suppose -4*f - 1 = -4*c + 11, c + 5*f = 15. Let w = c + 0. Solve 0 = 2*a + w*i - 3, 2*a + 3*a + 3*i = 17 for a.
4
Suppose 49 = 4*c - x, -3*c - 4*x + 20 = -c. Solve -c = 3*z - 4*l, 0 = 4*z + z + 2*l - 6 for z.
0
Let x = -6 + 10. Suppose 2*p - 4*h = 12, -p - x*p - h - 3 = 0. Solve -15 = 4*a + 3*o - 1, p = 3*o + 6 for a.
-2
Let p be ((-4)/(-14))/(7/49). Suppose -p*n + 6 = n. Solve n*x - 5*r - 10 = -3*x, 18 = 5*x - r for x.
4
Let o = -10 + 14. Solve v - 4 = 3*f, 0*f - 18 = o*v + 5*f for v.
-2
Suppose -71 = -2*c - 3*l, 4*c + 0*c = -5*l + 143. Suppose -5*g - 3*a = a - c, 5*a = -5*g + 40. Solve -3 = 3*q, -g*y + 1 = 4*q - 0 for y.
1
Let k = 13 + 4. Suppose 3 = 4*q - k. Solve 0 = -3*a + q*b - 0*b - 5, b - 1 = -4*a for a.
0
Suppose -2*z = 2, -4*j + 0*j = -2*z - 14. Solve -2*t = j*t, -2*t - 16 = 4*u for u.
-4
Suppose -48 = 5*p - 2*m, -5*p - 4*m = -0*p + 24. Let q = p + 13. Solve -q*u - 5*s = 15, 2*u + 4 = -2*u - 2*s for u.
1
Suppose 20 = 2*y + 2*y. Suppose k + 0*k = -y*z, -3*k = z. Suppose -2*d + 18 = 2*q, k*d + 41 = 5*q + 3*d. Solve 2*f - 25 = q*x - 4*x, 10 = 4*f + 2*x for f.
5
Let g be 1 - 3 - (-4 - 1). Let u(r) = -2*r - 4*r**3 - 2*r**3 + 5*r**g - 3 + 6*r**2 + 0*r**3. Let i be u(4). Solve d - 4*s = i, d + 3*s + 2 = -5 for d.
5
Let k = -7 + 14. Let d be 23/k + 6/(-21). Solve 3*s - d*w - 15 = 0, -6*s + 3*s - 9 = 5*w for s.
2
Let v(f) be the first derivative of -f**2 - 6*f - 2. Let o be v(-4). Solve -4*u + 3*u = 4*l - 24, -o*l = -3*u + 2 for u.
4
Suppose 0*n + 4 = 2*n. Let k(g) = -2*g - 6. Let q be (-28)/6 + (-6)/(-9). Let x be k(q). Solve -2*p - n*j = 12, 0 = 4*p - x*p - 4*j - 12 for p.
-2
Suppose -3*f + 35 = 4*f. Let n = 11 + -8. Solve -3*b = 3*x + b - 10, n*x - f*b = 1 for x.
2
Let l(v) = 6*v + 6. Let r be l(3). Solve 0 = -3*n + 6*n - 9, -3*x - 4*n = -r for x.
4
Let g be 2*(2 + 4/8). Solve -2*i - 17 = -g*o, 0*i - 24 = -4*o - i for o.
5
Let b be 12/66 - (-84)/22. Solve -5*z + 8 = -5*l + 28, -14 = 2*z + b*l for z.
-5
Let o(u) = -2*u**3 - 7*u**2 - 2*u - 2. Let q be o(-5). Suppose -j - m = -12, 3*j - q = -j + 3*m. Solve -2*k - k - 2*f = -j, 11 = 2*k + f for k.
5
Let y be (-2 - 1)*(-5)/3. Solve -4*z - 4*r = 5 + 3, y*z + 3*r = -2 for z.
2
Let r(j) = -2*j + 2. Let n be r(1). Solve -q + n*f + 14 = -3*f, 3*q - 21 = 2*f for q.
5
Let o = 34 - 21. Suppose 4*v + 1 = 21. Suppose 27 = v*l - o. Solve -4*i + 3*f + 9 = 0, l*i = 3*i - 5*f - 15 for i.
0
Suppose 3*o - v = 3, 11 = 5*v - 4. Solve -2*t + 3*p - 4 = -1, -o*t = 4*p - 4 for t.
0
Let v be ((-2)/5)/(4/(-10)). Let q = 9 + -4. Let l = q - 1. Solve l*c + 5 = -r, -4*r + 3*c = v - 0 for r.
-1
Let i(y) = y**2 - 9*y + 10. Suppose 0 = 3*t - 30 + 3. Let k be i(t). Suppose -2*s + 7*s - k = 0. Solve 5*n + 3*g = -g + 23, g + 4 = s*n for n.
3
Suppose -2*v - v = -3, v + 9 = 2*t. Let q be (0 - 2) + t + 1. Solve -4*j + 20 = 4*m, -q*m + 3*j - 15 = -2*m for m.
0
Let r = -8 - -5. Let o be (0/(-8))/(r - -2). Solve q - 6 = 4*y - 2, o = -3*q + 2*y + 2 for q.
0
Let i be (4/6)/((-2)/(-9)). Suppose 0 = n - i + 4. Let t be n - ((-3 - -2) + 0). Solve -4*f + y + 11 = -t*f, -5*f + 5*y + 10 = 0 for f.
3
Suppose -4*b = 4*k - 412, -4*b - 85 = -k + 3. Suppose 2*o = 7*o - k. Solve -3*f + 4*a = -o, -4*f + 2*a = -3*f - 8 for f.
4
Let r be (-2)/15 - (-364)/30. Solve 5*v - 5*b + 20 = 0, -2*v + 4*b - r = v for v.
-4
Let j(m) = -5*m**2 + 4*m - 6. Let y(w) = -w**3 + w**2 - w + 1. Let d(i) = j(i) + y(i). Let q be d(-5). Solve -3*r = -u + 5, 0 = 5*r - q*u - 9 + 24 for r.
-1
Let f = -12 - -15. Solve d + f = 4*w + 18, 5*w + 2*d = -9 for w.
-3
Let d(h) be the third derivative of -h**4/24 - h**3/6 - 7*h**2. Let z be d(-5). Solve -t + p + 2 = 0, 3*t - z - 7 = 4*p for t.
-3
Let s be 2170/175 - (-6)/10. Solve 3*b + x = -s, b - 5*x = 3*b for b.
-5
Let c(w) = -5*w**2 - 8*w - 12. Let r(x) = -x**2. Let k(a) = c(a) - 4*r(a). Let j be k(-5). Solve -8*p + 5*y = -j*p - 30, -2*y = -p + 9 for p.
3
Let i(m) = m**2 - m - 4. Let d be i(3). Let u(t) = 2*t + 1. Let x be u(-1). Let w be 0/(x + -2) - -5. Solve -4*j + 3 = 5*q, d = -w*q + 3*j + 26 for q.
3
Let z be ((-2)/(-4))/((-51)/(-10) - 5). Suppose h = -4*f + 89, -71 = -4*f + f - 5*h. Solve o - z*c + 19 + 10 = 0, 0 = 3*o - 2*c + f for o.
-4
Let c be (-80)/(-24) + 2/3. Suppose 3*t - c*t + 2 = 0. Solve 8 = g + 5*f, -6 = -t*g + 7*g + 2*f for g.
-2
Let m be (-12)/8 - (-1)/2. Let y(a) = -2*a**2. Let j be y(m). Let z be (0 - -13) + j + 3. Solve 5*l - k = z, 2*k + 10 + 0 = l for l.
2
Let x(b) = b - 2. Let r be x(-8). Let t = -19 + r. Let a = t + 40. Solve -2*v - 4 = -5*h + 1, -3*h + 4*v = a for h.
3
Let q = -15 + 42. Solve 5*p = -x - 18, -p - 3*p - q = 5*x for p.
-3
Let z = 40 + -33. Suppose 3*f - f - 50 = 0. Solve -5*j + f = 2*n, 25 = -2*n + z*n + 5*j for n.
0
Suppose 2*m + 15 = 5*m. Solve -3*b + b = -2, 5*i + 5 = m*b for i.
0
Let q = -537 - -269. Let d be q/(-9) - 4/(-18). Let m be (5 - 1)/1 + 1. Solve -5 - m = -2*t - 4*v, d = -t + 5*v for t.
-5
Suppose 5*o = 0, 4*l + 4*o = -0*l - 60. Let i = 55 + -62. Let u = i - l. Solve 3*b - 3*q - u = b, -2*q = b + 3 for b.
1
Suppose 0 = -0*p - 4*p + 36. Let u(c) = 17 - 2*c - 1 + c. Let y be u(12). Solve 2*b - 7 = y*s - 1, 2*s - p = 5*b for b.
-3
Suppose -6*v - 9 = -3*v. Let q be -1 + 1 + (-3 - v). Solve 2*w + 10 = 2*i, 5*i + 4*w - 6 + 26 = q for i.
0
Suppose 4*a + 39 = 5*l, 2*l + 3*l + 2*a = 33. Solve -4*b = -3*t - b - 9, -l = 3*t - 4*b for t.
-5
Let a(z) = -z - 10. Suppose -3*m - 31 = 2*o, m + 0*o - o + 17 = 0. Let t be a(m). Solve 2*j - t = -y - 4, 3*j = y - 9 for y.
3
Suppose -3 = -2*v + 3. Suppose -2*d + 5 = v*d. Let p = d + 1. Solve 0 = -3*j + 3*t - 6, 10 = -p*j + 5*j + t for j.
2
Let f = -18 + 22. Suppose 0*j = j. Solve -4*a + 8 = -0*r - 2*r, j = -4*r - 2*a + f for r.
0
Suppose 0*m - 3*j + 23 = m, -4*m = 3*j - 47. Suppose -4*i = 4 - 20. Solve 4*n + m = -t - 4*t, -4*n - 8 = i*t for t.
0
Suppose -3*h = 9, -h + 2 + 1 = 3*x. Let z(r) = r**2 - r + 5*r**2 - 3*r**x - 2. Let i be z(2). Solve 0 = 4*f - i*f + 3*l - 18, 0 = -4*f - 4*l - 4 for f.
-3
Suppose -54*s = 3*f - 55*s - 7, 2*f = -4*s + 28. Suppose -k + 3*h - h = -6, -2*k = 2*h. Solve -f = q - a, 4*q = -k*a + 4 + 10 for q.
1
Let d(n) = -n**3 + n**2 - n + 62. Let i be d(0). Let o = 89 - i. Let q be 4/18 - (-48)/o. Solve -3*j - 2 - 12 = -q*r, -2*j - 20 = -4*r for r.
4
Let l = -99 + 67. Suppose 4*n = 5*d - 303 + 48, -2*n - 4*d = 108. Let w = l - n. Solve 6*g - 2*g + 4*s = -w, 3*s + 19 = -2*g for g.
-2
Let b(t) = -3*t**3 - 2*t**2 + 2*t**3 + 2 - 1. Let w be b(-1). Let m = 0 - w. Solve -3*q - 12 = 4*d - q, m = -3*q + 6 for d.
-4
Let a(n) be the first derivative of n**4/4 + 4*n**3/3 + 3*n**2/2 + 4*n + 2. Let x be a(-6). Let s be x/(-8) + 2/8. Solve 5*r + k + s = -4, 4*r + 12 = 5*k for r.
-3
Suppose 0 - 8 = -2*l. Suppose -3*v + 9 = 4*m + 20, 2*v = -l*m - 14. Let j(b) = b**2 + 3*b - 6. Let c be j(m). Solve -5*w - 14 = -f, w + c*f - 18 = -f for w.
-2
Suppose 0 = -3*n + 5*n - 28. Let z = n - 11. Solve 4*w + 5*h - 4 = -0, 0 = 5*w - z*h + 32 for w.
-4
Let c(j) = j**2 + 6 - 3 + 6*j - j. Let g be c(-5). Suppose -1 = -q + 5*s, 2*s = -g*q + 23 + 14. Solve 0*n - 3*n + i = q, 0 = -n - 4*i + 18 for n.
-2
Let h = -47 + 49. Solve -2*u + h*k = -12, -3*u - k + 0 = -6 for u.
3
Let a = 17 - 65. Let o be a/(-10) - (-6)/30. Solve -5*c - o*b + 3*b = 16, -3*c + b - 14 = 0 for c.
-4
Let 