 Let f be ((-24)/(-60))/(2/v). Let t = 5 - f. Solve -4*x - t*k + 24 = -4, -20 = -3*x - 2*k for x.
4
Let a = -8 + -37. Let j = a + 47. Solve -j*x - 11 = -5*k, 3*k - 4 = -4*x + 13 for k.
3
Suppose 4*t - 14 = 2*c, -166*c - 4*t = -170*c - 8. Solve -7*f = -c*v - 2*f, 4*f = 5*v for v.
0
Let t = -12 - -15. Let y = 25 - 22. Suppose -o + 6 = y*n, -n + 6 = 2*n + 2*o. Solve -w - 3 = -5*h, 0 = t*w + n - 8 for h.
1
Let v = 136 + -132. Solve 4*p - 28 = v*c, p + 5 = 2*p for c.
-2
Let t(u) = 3*u**2 + 30*u + 24. Let p be t(-10). Suppose -44*l + p = -40*l. Solve -r + l = n - 2*r, 9 = 4*n + r for n.
3
Let f = -95 - -99. Let l(d) = -4*d. Let a be l(-1). Suppose -a*x = -0*z - 2*z - 8, -5*z + 4*x = -4. Solve -3*n = -z*r - 12, -n + 5 + f = -3*r for n.
0
Let z be 408/16 - 3/2. Let c = z + -20. Solve -2*k = -4*r, 0 = 4*k - 0*r - c*r for k.
0
Let z be 7 + -33 - (-2 + -2). Let c be -2 - (51 - -3)/(-2). Let b = z + c. Solve -3*w + 25 = 2*g, 4*w - 25 = -4*g + b*w for g.
5
Let g be (-8)/(-28) + 136/14. Suppose -g = 3*u - 5*k, u - 3*k + 4 = -2. Solve u*b - 11 = 5*n - 4*b, 2*n - 22 = -5*b for n.
1
Suppose 2*i + 12 = 3*h + i, -5*i - 10 = -5*h. Let b(o) = 0 + 9 - 2 - 3*o + 2*o + 0*o. Let v be b(h). Solve -3*n + 5*l = 30, 0 = v*l - 3*l + 3 for n.
-5
Suppose -2*a = -3*a + 12. Let q be (2 + 38)*6/a. Solve -3*z + 5*p + q = 0, -2 = -z + p - 4*p for z.
5
Suppose -34 - 4 = -p + 5*l, 0 = 3*p + 5*l - 74. Let r = -293 + 296. Let z be (2/2)/((-5)/(-25)). Solve -t - 12 = 4*n, p = z*t + r*n - 5*n for t.
4
Let v = 9 - -1. Suppose v*a = 8*a. Solve a = 3*l - 0*l, -2*i - 2*l = -6 for i.
3
Let f(j) = -j**3 + j**2 - j + 19. Let u be f(0). Let w = -200 + 204. Solve -12 = w*o, 5*g - o - u = 2*o for g.
2
Suppose 6*g - g = 25. Let o(j) = 19*j**2 - 209*j + 10. Let b be o(11). Solve 5*q - m - 17 = 0, q = g*m - b*m + 19 for q.
4
Suppose 2*d = 7*d - 15. Suppose -2*h - 6*h + 24 = 0. Suppose 3*t = -j - 0*j + 5, 5*t + 15 = h*j. Solve -4*p + 37 = -t*k + 5*k, -3*k + 6 = -d*p for k.
5
Suppose -2*q + 5*z + 5 = -18, -4*q = 4*z - 4. Solve f - q*o = -20, -3*o + 6 + 2 = f for f.
-4
Let x(j) = -j**3 + 13*j**2 - 19*j + 102. Let c be x(12). Solve 2*a + 5*r + 14 = 0, 4*r = -4*a - r - c for a.
-2
Suppose 9*q - 6*q = l + 15, -5 = -4*l - q. Suppose 2*u - 5 = -3*w, 3*u + 0*w - w = 13. Solve -u*b + 12 = -l*b - 4*a, -2*b + 15 = -5*a for b.
0
Suppose 0 = 5*l, 3*i - 5*l - 6 = -0*l. Solve 2*a - a - 3 = -3*o, 10 = -2*a + i*o for a.
-3
Suppose -4*k = -5*n + 10, 9*k - 8*k = 3*n - 13. Solve 5*j + c = -16 - n, -22 = 3*j + 5*c for j.
-4
Let p = 10 + -38. Let k = p + 30. Solve m - 5 = l - 0*l, -l = k*m - 4 for l.
-2
Suppose -t + 0*t + 70 = 0. Suppose 0 = 3*d + 2*x - 11 - 43, -4*d = 2*x - t. Let n be (d/6)/(4/6). Solve o + 19 = -n*f - 0*o, 0 = -o + 1 for f.
-5
Suppose 5*t - 1 = -3*m, -5*m - 2*t = -m + 22. Let a = m + 11. Solve 3*f + 18 = -3*i, 5*i - 2*f - 20 = a*f for i.
-1
Suppose -7*a = -1696 + 1668. Solve -4*b + 0*m + 22 = 2*m, -a*b + 25 = 5*m for b.
5
Let j(k) be the second derivative of -k**4/12 - 5*k**3/2 + k**2/2 + 2*k + 19. Let u be j(-14). Solve 4*r - u = -v + 5, 2*v - 20 = -4*r for v.
0
Let v be (6/(-18))/((-9)/54). Solve 0 = -v*k + 4*n - 6, 2*k - 4 = 3*n - 7 for k.
3
Let f(c) = c**3 + 2*c**2 + 4*c + 2. Let w be f(0). Solve -5*v = 5 + 10, -w*v - 2 = 2*t for t.
2
Let l be (30/(-4) + 7)*(0 + 0). Solve g = -l*g - 4*f + 6, -4*f - 4 = -4*g for g.
2
Let d be 26/8 + (-324)/(-48) + -6. Solve -s - 6 = -d*s - 4*o, -5*s + 4*o = -10 for s.
2
Suppose -56 = 3*h + 46. Let j = -18 - h. Solve -4*i - 4 = c + 3, 5*c - j = -3*i for i.
-3
Suppose 0*p - 3*p + 138 = 0. Let w = p + -43. Solve -2*a + 6 = 4*n, -5*a + w = -3*n + 1 for n.
1
Let r(n) = -40*n + 123. Let u be r(3). Solve 2 = 5*l - 2*p, u*p - 7*p = -l - 14 for l.
2
Suppose 0 = -4*b + b. Let g = 0 - -2. Suppose -g = -y - l + 3, y = 5*l - 1. Solve -4*h + 2*h - 26 = -y*k, b = -k + 4 for h.
-5
Let x be -6 - (-14)/(-2)*168/(-196). Solve -2*z + 6 = 2*p, 5*z + p - 15 = -x*p for z.
3
Let h be (-2)/(-4) - 258/12. Let v be (1/(-3))/(7/h). Let p be 1 + (v - 0) - -2. Solve 3*b - 10 = i, 6 + p = -3*i + 5*b for i.
5
Let k be (-1 + -4)*(-36)/20. Suppose -4*z + 22*z - 90 = 0. Solve -1 - 2 = m, -z*d - 3*m = k for d.
0
Let j = 72 - 69. Solve j*t - 4*w = -2*w, -9 = 3*w for t.
-2
Suppose -2*v = -4*d + 38, -2*d + 5 = 3*v - 10. Suppose 18 - d = s. Solve -f - 2*p - s = 0, 0*f + 3*p = -3*f - 15 for f.
-1
Let b = 3 + 2. Suppose 11*l - 24 = 7*l. Suppose 0 = -5*j + 24 + l. Solve -b*u = 2*w, 2*u + u = j for w.
-5
Let l be 1/((-10)/4*(-3)/15). Solve -5*q + 40 = 4*d, -3*q = -3*d + l + 1 for d.
5
Let h be (-27)/(-5) + (-4)/10. Suppose h*r - 17 = 3. Let q(u) = u**3 + 8*u**2 + 7*u + 4. Let c be q(-7). Solve c*o + 12 = r*m, -3*m = 4*o - 1 - 15 for m.
4
Let k be (1*(-3 - -8))/1. Suppose -k*v + 41 = -4*s, 3 = 3*v + 4*s - s. Solve -2*z = q - 2, -z + v*q = 3*z + 10 for z.
0
Suppose -10*c - 14 = -144. Suppose 2*t - 4 = t. Suppose -t*a + 7*a = s - 3, -a = 0. Solve -4*o + 3*b = -17, s*o - b - b = c for o.
5
Let q be ((-3)/15 + 28/(-35))*-15. Let i be 0/1*(-2)/(-2). Let l be ((-3)/1)/(9/(-48)). Solve 2*s = -i*m + 5*m + q, 4*m + 4*s = l for m.
-1
Suppose -4*z = -2*a, 0*z + 3*z - 3 = 0. Solve -a*c - 3*q = -14, 6 = 2*c - 0*q + q for c.
1
Let y be (1 + (-3)/9)/((-3)/(-9)). Suppose -4*q + 34 = -2*m, 0 = y*q + q + 3*m - 21. Solve 5*s = -2*a - 4, 4*s = -3*a - a - q for s.
0
Let c(g) be the first derivative of -g**3/3 - 3*g**2/2 + 4*g + 5. Let t be c(-5). Let w = t + 6. Solve -2*p + 4*p = q + 7, w = 2*q + 2*p + 2 for q.
-3
Let u(w) = -w**3 + 4*w**2 - 3*w + 3. Let b be u(3). Suppose 4*z - 32 = -0. Suppose z - 5 = c. Solve 5*p + 22 = 5*q - c, -b = 2*p + 5*q for p.
-4
Suppose 1558*p = 1545*p. Solve 2*q = -5*w + 18, -4*q = -p*w + w for q.
-1
Suppose -4*o = 3*i - 9 + 1, -3*i = -5*o + 10. Solve 3*k = 3*b - 9, 2*b + 5 = -o*k + 5*b for k.
-4
Let p be (16 - 18)*1/(-2). Let v be p/4 - ((-546)/(-8))/(-7). Solve 2*s + 4*h = v, -4*h + 1 + 6 = 5*s for s.
-1
Let q be (-80)/(-42) + 76/798. Suppose 2*a - 6 - 2 = 0. Suppose -8 = -a*d + 4. Solve v + 3 = -q*k, k - 5*v - 18 = -d for k.
0
Let p = -1171 + 1176. Solve 5*h + 24 = j, p*j - 3*h - 10 = -0*j for j.
-1
Let l(p) = 35*p + 282. Let q be l(-8). Solve m = n - q*m, 5*m = -n + 8 for n.
3
Let g = -11 - -13. Let p = 3 - g. Let r be (-2 + p)*(-1 - -1). Solve 2*x - d + 11 = -x, -3*x - 3*d - 27 = r for x.
-5
Let a be 3 - (5/1 + -1). Let h be 2 + a + (6 - 3). Let x(m) = -m**2 + 5*m + 47. Let r be x(9). Solve 3*p = h*g + r, -11 = g + p + p for g.
-5
Suppose 0 = -c - 4*c. Suppose 5 = 3*w + 5*x, 2*w + 5*x = -0*w. Let y = -16 - -27. Solve 2 = -3*a + w*r - y, 5*a + 2*r - 30 = c for a.
4
Suppose 5*n = 8*n. Solve -o - 3*s - 16 = n, 4*o - o = 3*s + 12 for o.
-1
Suppose -h - 2*f + 8 = 0, 3*f - 4 + 1 = 0. Suppose 8*l = 7*l + h. Let i be (20/l)/(8/12). Solve 0 = i*m + 5*t, m - 20 = -5*t - 8 for m.
-3
Let z = -47 - -49. Suppose z*c = -4*c. Suppose 2*p - 30 = 3*w - 7*w, -5 = 4*p - 5*w. Solve -3*d - 2*f + 2 = c, -p*f + 8 = -d - 10*f for d.
2
Let c(z) = z**2 - 27*z - 317. Let d be c(36). Solve 3*u - d*u + 2*g - 8 = 0, -5*u = g + 3 for u.
-1
Let l(h) = 7*h - 30. Let q be l(5). Solve 2*b + 11 = -q*t, -3*b = -4*t - 5*b - 10 for t.
-1
Suppose -89*c - 28 = -96*c. Solve 3*q - q + 5 = 5*s, -c*q - 1 = -s for q.
0
Let h = 1782 - 1777. Solve 5*r + 2*o = 5 - 3, 0 = h*r - 3*o - 22 for r.
2
Let q = 111 + -107. Solve -l + q*j = 5, -3*j - 5 = -5*l + 4 for l.
3
Suppose 10 = 2*n + 2. Let k be 5/(-10) - 26/n. Let y be (k - -5) + 4 + -2. Solve -20 = 2*h - 4*j, -10 = -3*h - 2*j - y*j for h.
0
Suppose 0 = 4*d + 76 + 88. Let r = -29 - d. Suppose 0 = -4*u + r, 0 = -2*c + c - 4*u + 14. Solve -4 = -4*m, -c*p - 4 = -4*m - 0 for p.
0
Suppose 4*g + g = 35. Suppose 5*o - 32 = -g. Suppose 3*f - 2*z = 11, 7 = -5*f + 5*z + 27. Solve -2*l + 9 = o*k, k - f = 2*l - 3*l for k.
1
Let g be (63/(-28))/(2/(-120)) + -2. Let q = g - 124. Solve -2*n + 10 = -4*j, j - 4*n + q*n = 25 for j.
0
Let k be 1/(-1 + (-24)/(-16)). Solve 5*o + 23 = k*i - 0*o, -5*i = 3*o - 11 for i.
4
Let g(l) = -6*l - 3. Let r be g(-2). Suppose -r*k + 12 = -3*k. Suppose 0 = -k*v + 30 - 22. Solve 0 = -v*m - 16, -3*w - w + 20 = -4*m for w.
1
Let l = -571 - -573. Let h(y) = -y**2 - 5*y + 5. Let m be h(-5). Let p = -10 - -30. Solve q + m = -l*a + 4*q, -4*a - 4*q = -p for a.
2
Suppose -4*a = -4*j + 