10, -2*c + 2*k - v*k = 0 for c.
2
Let k = 43 + -31. Suppose 28 = 4*w + k. Suppose 0 = -n + 3. Solve -4*u + u + 3 = -n*j, -8 = -w*u + 5*j for u.
-3
Suppose -834 = 4*w + 3*r, 2*w - r = 7*w + 1037. Let b = w + 211. Solve -5*o = -3*m - 7*o, 2*m - b*o = -16 for m.
-2
Let z be ((-4)/10)/((-6)/(-8 + 218)). Let r be (-11)/22 + (-114)/(-4). Let y = r - 24. Solve 0 = c + y*i - 13, -4 - z = -3*c - 5*i for c.
1
Let z = 40236 + -40221. Solve 3*g - z = 3*p, -450*p - g = -453*p - 5 for p.
0
Let l(m) = 2*m**2 - 3*m. Let d be l(2). Let c be 5/(-2)*(-70)/25. Suppose 6*w + 14*z = w + 70, 4*w - 5*z - 56 = 0. Solve 3*r + 4*t + w = 0, d*t - 3 = -c for r.
-2
Suppose 3*n = 2*c - 149, 0 = -3*c + 5*c + 4*n - 142. Let s = 79 - c. Let h be -1*7/42 - (-31)/s. Solve 5*w - 28 = -l, 5*w + 0*l - h*l = 10 for w.
5
Let t be (-4)/(-8)*0*93/(-186). Let b(j) = j - 2. Let z be b(-3). Let p = z - -10. Solve t = -5*i, -5 = p*x - 2*i + 5 for x.
-2
Suppose 0 = -x + 3*h - 140, -7*x + 2*h = -2*x + 661. Let w = x - -136. Solve -d - 3 = 4*i, -2*i = w*d + 3*i - 15 for d.
5
Let r(g) = -g**3 + 4*g**2 + 8*g - 3. Let x be r(5). Let m be 42/(-4)*((-8)/x + 0). Suppose -m = -2*h + 3. Solve 5*s + 2 = 3*d, h*d - 2 = -s + 20 for s.
2
Let k be (-32)/(-12) - (-5)/(-15)*-1. Suppose 2*d = o + 54, 4 = -d + k*o + 36. Solve -2*j + 5*m + 29 = 0, 0 = -j + 4*j - 4*m - d for j.
2
Let k = 69 - 166. Let u = -95 - k. Solve 0 = u*a - w - 1, -3*a + 2*w + 0*w = -1 for a.
1
Let f = -2834 - -2828. Let k(v) = 3*v - 1. Let m be k(3). Let w be (1 - 12/m)*f. Solve 5 = y, -y - 2*y + w = 3*u for u.
-4
Let x = 1 + -1. Suppose -l + 3*y = 0, 3*l - 3*y = 16 + 14. Suppose l*r - 6*r - 36 = x. Solve a = 2*z - 0*a - 10, r*a = 2*z - 22 for z.
3
Let n(j) = 18*j - 125. Let t be n(7). Let p(f) = 2*f**3 - f**2 + 4*f - 4. Let s be p(t). Solve -s = -3*g - a, 0 = a + 2 + 3 for g.
2
Let n = -14943 - -14945. Solve n*q + 371*k = 369*k - 2, -4*q - 19 = -k for q.
-4
Let s be 1955/68 - 13 - (-2)/8. Solve 2*g + 5*f + 26 = 0, f - s + 11 = 3*g for g.
-3
Let q(x) = -x**2 - 20*x - 33. Let w(z) = z**2 + 23*z + 42. Let l be w(-20). Let o be q(l). Solve 0*f - o*f = -5*s - 7, -2*f = -s for f.
-1
Suppose -209*q = -47 - 371. Solve q*c + 2*a - 14 = 0, -c - 3*a = -28 + 15 for c.
4
Suppose 2*p = 5*q - 46, 22 = -3*q + 30*p - 35*p. Solve 3*t + 10 = -m + 6, m - 2*t = q for m.
2
Let a(l) = 9*l**3 + 50*l**2 + 14*l - 45. Let o be a(-5). Solve 0 = -3*u - i + o - 5, -3*u + 1 = 5*i for u.
2
Let v(s) = 3*s - 24. Let k(f) = -4*f + 25. Let z(d) = -2*k(d) - 3*v(d). Let i be z(6). Let g = i + -6. Solve 3*c + r = g, -22 + 2 = c + 5*r for c.
5
Let b = -1638 + 1658. Solve -18 + 14 = -a - 4*o, -5*a - 2*o + b = 0 for a.
4
Let u(d) = -16*d - 224. Let h be u(-14). Suppose 15*w - 1 - 59 = h. Solve -2*s + 0*x - w*x + 14 = 0, -10 = -2*x for s.
-3
Let h = -4 + 4. Let n be h/2*(2 + -3). Let q(f) = -f**3 - 19*f**2 - 60*f + 6. Let j be q(-15). Solve -3*m = -n*m - j, 5*a - m - 8 = 0 for a.
2
Let f = -496 + 500. Suppose -3*z + 18*o = 16*o - 32, -3*o + 37 = f*z. Solve 0 = -5*c + 3*s - 5, 0 = 3*s - s - z for c.
2
Suppose -5*m = -10*m + 10. Let a be (-16*(-3)/(-6))/(1/m). Let t = 18 + a. Solve 4*w = -t*o - 7 + 3, -4*o - 2 = 5*w for o.
2
Suppose 22 = 2*f - 4*o, 3*o - 9 = 4*f - 38. Suppose 46*w - 45*w - f = 0. Solve -18 = -u - w*p, p - 9 = u - 3*p for u.
3
Suppose 0 = -4*u + t + 12, -9 = u + 3*t - 25. Solve 3*l = -3*g - 18, 8*g - 5*g = u*l - 11 for l.
-1
Suppose -24*v + 21*v = 429. Let w = -106 - v. Suppose 4 = 4*q, 2*d - 38 - w = -q. Solve -3*r + 5*n = d, 2*r = n - 3*n + 2 for r.
-4
Let m be -2 + 14 - (67 + -57). Suppose -4*z + 21 = -27. Suppose -a = -2*w + 8, 5*a + 12 - 4 = 2*w. Solve 5*y + 2 - z = -2*t, -4 = w*t - m*y for t.
0
Let a(k) = -k**3 + 2*k**2 + 61*k - 230. Let u be a(5). Solve u = h + z - 3 + 5, 5*h = z + 20 for h.
3
Let t(m) = -2*m - 78. Let o be t(-39). Solve 4*c = -12, -323*w + 321*w - 4*c - 14 = o for w.
-1
Suppose 10*n = 11*n - 67. Let q = n - 65. Let o be (-4)/3 - (-39)/9. Solve 5*c = o*a, -a = -q*a + 3*c for a.
0
Suppose 0 = -3*q - 5*g - 516, -3*q + 2*g = 314 + 181. Let f = q - -183. Let d be 0 + 0/1 + 0. Solve r + 3*c = d, 0*r + f = -5*r + c for r.
-3
Suppose -x - 5*j + 16 = 2*x, -2*x - 2*j + 8 = 0. Let b = -889 - -536. Let a = b - -355. Solve 3*s + 18 = -x*k + 5*s, k - a*s = -14 for k.
-4
Let t = -584 + 588. Let b = 15 + -5. Let c = b - 7. Solve 4*y - i = -6, y - t*y - 12 = c*i for y.
-2
Suppose -445 = 556*h - 645*h. Solve -2*x = h*o + 3, -4*x - 20 = 20*o - 24*o for o.
1
Let m(s) = -113*s - 10280. Let x be m(-91). Solve q - 10 - 2 = -2*w, x*w - q = 18 for w.
6
Suppose 0 = f + 2*w - 74, -24*w + 22*w - 190 = -3*f. Let h = 59 + -121. Let q = h + f. Solve q*r - 25 = 6*r - 5*c, 3*r + c = -12 for r.
-5
Let f(w) = 1191*w + 5978. Let g be f(-5). Solve 4*z = -z - 4*o - g, -3*z - 4*o = 9 for z.
-7
Suppose -2270*v + 2290*v - 120 = 0. Solve 3*a - 8 = -t + 2*t, 5*t = -2*a - v for a.
2
Let q(j) = 594*j + 6534. Let p be q(-11). Suppose -15 + 7 = -k. Let f be 10 - 3*(-4)/6. Solve p = -a - k*h + 3*h + 25, 0 = 3*h - f for a.
5
Let p(w) be the second derivative of w**4/12 - 8*w**3/3 - 103*w**2/2 - 38*w. Let t be p(21). Solve 5*r = -2*j + 1, -3*r + t*r = -3*j - 7 for r.
1
Suppose 0 = 2*i - 3*n, -i + i + 4*n = -i. Solve -2*q + 11 = -5*v, 5 = -i*v + v - 4*q for v.
-3
Suppose 21*x - 7321 = 4019. Suppose 4*y - x = -16*y. Suppose 4*n = 5 + 7. Solve 0 = 4*h + 3*o - 1 - 2, 4*h - n*o + y = 0 for h.
-3
Suppose 4*p = 20*p + 16*p + p. Solve 14*d - 16*d - 3*m + 11 = p, 5*m = 3*d + 12 for d.
1
Suppose -4*a = 3*d + 4, 4*a - 6*d + d - 28 = 0. Suppose -a = 2*q - 3*q. Solve -2*m = q*f + 4, f + 2*m + 6 = 5 for f.
-3
Let w = 16 - 85. Let m be (-368)/w - 2/6. Suppose -3*v + 2*v + m = 3*f, -4*f + 3*v + 11 = 0. Solve -4*j - 15 + 2 = s, -f*j - s - 9 = 0 for j.
-2
Let h = 24773 - 24773. Solve -2*n + 3*m + 5 = 0, 3*n - 65*m + 69*m + 35 = h for n.
-5
Let b be (5 - 25)/5 + (-6)/(-1). Solve -4*i = 2*n + 18, -4*i - b = -2*n + 4 for n.
-3
Let l(y) = y**3 - 6*y**2 - y + 1. Let o be l(5). Let s = o - -33. Suppose a = -s*a + 25. Solve -m + a*v = 2 + 6, 2*m - v + 7 = 0 for m.
-3
Suppose -51*z + 66 = -62 + 26. Solve b + l = -6, 0 = b - 6*l + z*l - 19 for b.
-1
Let s be (-168)/(-34) + 20/340. Solve 16 = -3*z - 4*t + 5, s*z = t - 26 for z.
-5
Let x(v) = v**2 - 14*v - 525. Let l be x(31). Let y(o) = -o - 3. Let p be y(-3). Let g = -2 - -5. Solve 4*r - l*t = -p*t + 30, g*r = -3*t for r.
5
Let n = 17 - 10. Suppose 8*u = n*u - 6. Let h(l) = -2*l - 8. Let f be h(u). Solve 0 = -5*t - 2*p + 13, t + f*t + 15 = 5*p for t.
1
Let o be (-2)/(5089/1701 - 3). Let b = -211 + o. Solve 4*w - n + 0*n = -11, 4*n + b = -3*w for w.
-4
Let d = 174 - 169. Suppose 4*l + 28 = 2*g, 0 = -d*g + 8*l - 10*l + 10. Solve -3*n + 2*c = n + 6, -g*n = -3*c + 7 for n.
-1
Suppose -2*n = 4*u - 18, -2*n = -5*n + 2*u + 3. Let w be (-34)/(-8) + n/4. Suppose 0 = -33*m + 27*m + 3 - 3. Solve m = -j - t + 1, 2*j - t + w*t = 12 for j.
-4
Let h = 100 - 92. Let t = 33 + h. Suppose -3*w - a + 14 = 0, 4*w + 5*a - t = -15. Solve 5*r - 2*r + 14 = -5*s, w*r = -3*s - 15 for s.
-1
Suppose 0 = -356*s + 371*s. Solve 4*q - 2*k - 20 = s, 2*q = 3*q - 2*k - 11 for q.
3
Suppose 5*s = -i + 3*s + 37, -i = -s - 52. Let t = -47 - -84. Let u = t + -12. Solve -4*f - 3*o - i + 12 = 0, -4*f = o + u for f.
-5
Suppose -w + 3 = 0, 95 = 4*g - 14*w + 19*w. Solve -5*x - 5*s = -g, 2*x + 8*s - 3*s = 5 for x.
5
Suppose -r - w + 8 = 0, -864 + 891 = 3*r + 4*w. Solve -r*s - 94*p + 5 = -92*p, 0 = -s + 5*p + 1 for s.
1
Suppose -66*d = -69*d - 3*r + 6, 5*d + r - 22 = 0. Let q(p) = -p**2 + 4*p + 9. Let f be q(d). Solve z - 16 = -z - 4*k, -z = f*k - 12 for z.
4
Let l(n) = -n**2 + 9*n + 75. Let f be l(-5). Solve 4*b = f*v - 40, 5*v + 1 - 26 = b for v.
4
Suppose 9516 = 6*p + 9498. Solve -h + 10*k - 14*k - 8 = 0, -p*h - 9 = -3*k for h.
-4
Let c be -5 - (56/12)/((-2)/6). Solve -21 - c = 2*f - 5*v, 16 = 4*v for f.
-5
Suppose -3*j - 75 = -6*j + 3*y, -4*j = -y - 100. Suppose -t - 10 = -2*d, 3*d + 4*t = 8*t + j. Solve -3*b = -d*o + b + 2, -5*o - b = -11 for o.
2
Let u be (0 - 0)*((-4)/70 + 5032/4760). Solve -3*f - 6*a + 5*a = -9, u = -4*a for f.
3
Let d = 245 + -240. Suppose -x = -4*a + 28, d*a + x + 19 = 54. Solve -b + 3*j = -3*b + a, -5*b = 3*j - 22 for b.
5
Let q(x) = -x**3 + 6*x**2 + 101*x - 343. Let j be q(12). S