w - 14 = -3*c, w = -3*c - 4 + 14 for c.
2
Let f be 8326/(-10) + (39/(-65))/(-1). Let g = -828 - f. Suppose 102 = 5*p - 3*o - o, 5*o = 3*p - 69. Solve a = -2*u + 5 - g, 4*a = 3*u - p for u.
2
Suppose 2*k + p - 7 = 0, 17 = 5*k + 4*p - p. Solve 71*a = k*w + 69*a - 10, 2*a + 4 = -2*w for w.
1
Suppose 0*p = 5*p - 125. Suppose 8*y = p + 39. Solve 6*s - y = s - 4*l, l - 2 = -2*s for s.
0
Suppose -9*k + 29 - 2 = 0. Suppose k*q = 4*a - 2*q - 45, -2*q - 10 = 0. Solve a*f = -3*d + 8 + 6, 0 = 4*f + 2*d - 10 for f.
1
Suppose -2*u + 6858 = 2*n + 1038, 2*u + 2916 = n. Let o be n/494 - 2/(-19). Solve 0 = r + 4*x + 17, 8 + o = 3*r - x for r.
3
Let v(p) = -p**3 - 12*p**2 + 27*p - 12. Let r be v(-14). Suppose 41 = r*y - 3*x, 0*y - 4*y + 3*x = -97. Solve -y = -4*t + 4*l, -4*t + 3 = 4*l - 1 for t.
4
Suppose 0 = -22*u + 4*u + 90. Suppose -26 = -5*t - 6*o + u*o, 0 = -o + 1. Solve -4*q + 3*v + 2 = t*v, -5*q - 15 = -v for q.
-2
Let q = 11 - 6. Suppose 3*i = -5*d + q, 2*i - 3*d = -8*d. Solve 3*p - k + 0*k = 4, -i*k = -4*p - 2 for p.
2
Let d(c) = -3*c**2 - 30*c - 38. Let h be d(-8). Let s be 2 + (-5 - ((5 - h) + -4)). Solve 0 = s*v - v - 5*j - 5, v - 5*j = 5 for v.
0
Let g(d) = -d**3 + 9*d**2 + 88*d - 12. Let p be g(-6). Solve -5*m + p = -a - 30, m + 10 = -3*a for m.
5
Let l = 23526 + -23522. Solve 0 = l*c - 4*x, c = 11*x - 7*x + 6 for c.
-2
Suppose 5*b + p - 1 = 0, -5*b - 5*p + 5 = -0*b. Suppose 0 = -b*d + 6*d. Let y be (12 - 0)/(45/30). Solve 4*a - 4*j - 12 = 24, d = -3*a - 4*j - y for a.
4
Let z(a) = -a**3 - 15*a**2 - 2*a + 30. Let k be z(-11). Let b be (8/(-13))/4 + k/(-104). Solve -3*s + 2*s - 2*u - b = 0, 0 = -3*u - 3 for s.
-2
Suppose -72 = 4*u - 7*u. Suppose 26 + u = 5*r. Let h = r - 5. Solve 14 = -5*q + h*n - n, 3*q + 9 = 3*n for q.
-2
Let f be -3 - -5*25/5. Suppose f*b - 30*b = -24. Solve -b*s = 5*h + 5, -3*s - 2*h + 0 = 2 for s.
0
Let q be (-54)/(-26) - (-315)/(-4095). Solve -137*p + 138*p = q*k + 6, -k + 3*p = -7 for k.
-5
Let v = 7178 - 7178. Solve 20 = -5*n - m, -2*n - 71*m + 70*m - 5 = v for n.
-5
Let t be 94/14 + (-8)/(-28). Suppose 0 = -41*q + 40*q + 143. Let g = 155 - q. Solve -4*x + g = -j - t, 5*j = x - 19 for x.
4
Suppose c = 0, 5*f - f - 5*c - 8 = 0. Let l(a) = 3*a**2 - 1 + 2*a - 2*a**2 + 2*a**2 - 4*a**2. Let b be l(1). Solve 0 = -p - z + 2, b = -f*p + 7*p - 5*z for p.
1
Suppose -457*o + 473*o = 48. Solve 0*p + 4*p + 4*c = 8, 0 = o*p - 3*c for p.
1
Suppose 4*u = t + 5, -t = 1 - 0. Suppose -3*j + 5 = -u. Suppose 0 = 3*b - 2*o - 12, -5*b + 2*o + 7 + 9 = 0. Solve -5*q + 14 + 1 = 0, j*i = -b*q + 6 for i.
0
Suppose -111 = -17*m + 184 - 91. Solve -f + 12 = 2*n, 0*f - m = -3*f for n.
4
Let r be (-20094)/(-816) + (-15)/24. Solve 2*d + d + 4*p = 4, 0 = 5*d - p + r for d.
-4
Let x(w) = 6*w**2 + 7*w + 8. Let s be ((-4)/10)/(26/5 + -5). Let k be x(s). Solve 2*d - 7*d = 3*f - 14, k = 3*d - 3*f for d.
4
Let x(k) = -5*k**2 - 12*k - 76. Let l(a) = -4*a**2 - 12*a - 75. Let h(n) = -6*l(n) + 5*x(n). Let y be h(16). Solve w = y*w + f - 5, -w + 5*f = 25 for w.
0
Suppose -1 = o - 6, -2*s = -3*o - 93. Suppose 38*l = 42*l - 224. Let f = l - s. Solve 3*j + 5 = 4*k, 0 = -3*k - 5*j + 42 - f for k.
5
Let g(i) = -77*i**2 - 2*i + 1. Let j be g(1). Let t = j - -142. Suppose t - 16 = 12*d. Solve 3*l = c - 0 + 6, 4*c = d*l for l.
3
Let u = -7 - -10. Let l = 0 + u. Suppose 2*k - 20 = -2*g, -1047*k = -2*g - 1042*k - 8. Solve -z - 3*n = 2, 0 = l*z - 3*n + n + g for z.
-2
Suppose -q + 20 = 3*q. Suppose -5*v - p = 3*p + q, 2*v + 4 = -2*p. Solve -l - 20 = 5*w, -3*l - w = v + 1 for l.
0
Let b be (-2)/(-12) - ((-539)/42)/1. Suppose 5*w - b*w = -24. Solve 0 = w*k - 2*i + 7, -k = -5*k - 4*i + 24 for k.
1
Let c = 394 + -452. Let f = c + 60. Solve -f*j - 3 = -y, y - 6 + 3 = 0 for j.
0
Let m(q) = -2*q**3 - 39*q**2 - 21*q - 38. Suppose 10*h + 19 = -z + 6*h, 0 = -4*z + 2*h - 76. Let f be m(z). Solve l = y - 8, -3*y + 5*l + f*l = -30 for y.
5
Let x be (-10)/(-4)*((-3)/(-15) - -7). Solve 5*t - 7*t + 4*p = x, 4*t + 3*p = -14 for t.
-5
Let t be 15 + (-732)/60 - 1/(-5). Let y be (4 + -9)*(-1 - 0). Solve y = -4*k - 2*c + 15, -3*k = t*c - 6 for k.
3
Let k = 3103 + -3101. Solve -5 = -v, -k*n + 4*n = -4*v + 24 for n.
2
Let f be (-3 + -8)*(-6)/(0 - 6). Let r be (-13)/((f + 5)/6). Solve -3*m - 5*i = 14, -5*m - 2*i - r = 4 for m.
-3
Let l = -78 + 106. Suppose -3*x = -q - 15, -x - 4*q = -5*x + l. Let c be ((-12)/20)/(1/(-5)). Solve -c*m + x*i = -7*m, 0 = m + 2*i + 5 for m.
5
Suppose -5*j = 227*f - 225*f + 15, -3*f + 5*j + 15 = 0. Solve 0*k + k - 4 = f, -6 = 6*h + 3*k for h.
-3
Suppose -15*i + 215 = -340. Solve 2*y - 6*y = -k - 11, -3*y - 5*k = -i for y.
4
Let t = -109 + 111. Suppose -t*o = 5*f - 2*f + 4, 3*o - f = 16. Let p be 22/4 + (-2)/4. Solve o*c - c - 5*w = -13, -5*c - 5 = -p*w for c.
4
Let s = 87 + -139. Let i = s + 45. Let x be i/(-1 + 4 + -4). Solve 0 = 5*y - 4*l - 28, 3*y - 3*l + x*l - 4 = 0 for y.
4
Let y(k) be the third derivative of k**6/40 + 7*k**5/30 - k**4/6 + 7*k**3/3 + 67*k**2. Let b be y(-5). Solve 5*a = -3*j - 0*j - b, -3*a + 3*j = 15 for a.
-3
Suppose -v = -4*i + 180, -2*v - 240 = -i + 99. Let k be (-2)/(-11) - v/44. Suppose 0 = q - 3*q + k. Solve -4 = 5*z + q*d, 9 = -2*d + 5*d for z.
-2
Let h be 5 - 42*(-1)/(5 - 2). Suppose -h = -6*i + 11. Solve 0 = -4*q + 2*z + 8 - 24, -3*q + i*z - 19 = 0 for q.
-3
Suppose -92*b + 1047 - 771 = 0. Solve 3*s = -b*a, 2*a - 22*s = -25*s + 4 for a.
-4
Suppose -298*b + 2137 = 197*b + 157. Solve -4*h + 552 = -3*s + 562, 0 = b*h + 16 for s.
-2
Let v = -10212 + 10212. Solve 4*a + 2*z - 4 = v, a - 18*z + 13*z - 12 = 0 for a.
2
Let i be 36/48 + 5/4 + 2. Suppose -i*d - 35 + 47 = 0. Solve 9*k = 4*k - d*h + 24, 0 = 3*k + 3*h - 18 for k.
3
Suppose 2*s - 6*w - 26 = -w, 2*w = -2*s - 2. Suppose u = -u, 3*o - 3*u + s = 0. Let n = o + 12. Solve -b - 16 = -2*c + 2*b, 0 = -c + 3*b + n for c.
5
Let a(n) = 3*n + 60. Let r be a(-19). Solve 2 = 3*h - r*c + 14, -h - 6 = -2*c for h.
-2
Let m(s) = 29*s**3 - s**2 + 2*s - 2. Let y = -32 + -16. Let u = -47 - y. Let c be m(u). Solve 0 = 3*t + 4*r - c, 9*r - 4 = 4*t + 4*r for t.
4
Suppose -3*r + 224 = 13*r. Solve -r*k = -12*k - z, 0 = 5*k - z - 6 for k.
2
Let z(u) = -5*u**3 + 28*u**2 - 35*u + 15. Let q be z(4). Solve 3*k + 3*d + q = -15, -k + 5*d = 0 for k.
-5
Suppose -71 = -43*l + 187. Suppose 0 = 3*m, -2*x + 3*m - l*m + 4 = 0. Solve 6*r - 15 = -x*k + r, r = 3 for k.
0
Suppose 0 = 30*z - 31*z - 20. Let r(m) = -m**2 - 18*m + 44. Let l be r(z). Let o(i) = i**2 - 5*i + 6. Let x be o(l). Solve h - 2 = 0, -3*f + x*h = -h for f.
2
Let y = 61 + -65. Let z(x) = 21*x + 1. Let v be z(y). Let u = -79 - v. Solve d + 4*w = 3*d + 14, -2*w + u = 0 for d.
-3
Let s = -87 + 84. Let d be s/(-5 - (-14)/3). Solve -9 = 2*t - 5*m, -m + 2*m = -5*t - d for t.
-2
Suppose 13*x = 152 + 10 + 7. Solve 5*g + 3*b + 13 = 6, 3*g + 4*b = -x for g.
1
Suppose 2*n - 17 = -2*u - 11, -u = -5*n - 39. Solve -a = -2, -a = o + a - u for o.
5
Suppose 0 = -4*u - u + 585. Suppose 0 = -5*t + 45, 103*s - 5*t + 158 = 102*s. Let p = s + u. Solve -3*q - 1 + 4 = -p*r, 12 = 4*r for q.
5
Let m be (-1 - 2/4)/(51/170). Let x(l) = -2*l**2 - 9*l + 10. Let t be x(m). Solve 3*g = -t*s + 21, -5*g - s - 1 = -14 for g.
2
Let a be (4/16)/((-2)/(-152)). Let q = a - 16. Suppose -q*j - 2*j = 5, j - 9 = -5*w. Solve 5*n + 12 = 3*r, -8 = w*r - 0*n + 2*n for r.
-1
Let s = -6818 + 6822. Solve 4*d = -4*n - 16, s*d + 0*d + n + 1 = 0 for d.
1
Let y = 288 - 173. Let h = y + -71. Solve -4*k - 3*j = 24, -5*k - 5*j + 9 = h for k.
-3
Suppose 7*h + 426 = h. Suppose 3*m + 186 = -3*b, 244 = -5*m + b - 96. Let p = m - h. Solve -p*f + u = -20, -4*u - 28 = -4*f + 4 for f.
4
Suppose 1976 = 13*z + 39*z. Solve 4*w - 3*s = z, -4*s = 60 - 36 for w.
5
Let s = -631 - -629. Let f be (67 + s + 4)/(-37 - -40). Solve -3*c = -2*z - 5 + 6, -4*z = c - f for z.
5
Let z = 12542 + -12538. Solve 9*d - 10*d + 3 = z*j, -3 = -2*d - 5*j for d.
-1
Let j(t) = t + 9. Let b be j(-9). Suppose -5*g - 5*w - 75 = 0, 4 = -2*w - b. Let v = -10 - g. Solve -20 = v*i - 3*p - 8, 4*p = -4*i + 24 for i.
1
Let l be (-63)/(-1) + -1*18/6. Suppose 60 = -12*h + l. Solve -4*a + 20 = 0, -4*a + h*a = 3*g - 14 for g.
-2
Let a = 6404 - 6400. Solve 0 = 5*s + g - a, g = -0 + 4 for s.
0
Let h be 0/5 - (-9)/3. Suppose n = 2 + h. Suppose n*x = -7*c + 2*c, -5*x = c + 