2*t = -c - 16, 6*c - 16 = -2*t + 5*c. Suppose t*n - 3*n - 17 = -3*d, 0 = -n + 3*d + 7. Solve -4*i - 3*j = -6*i - 14, n*i - 2*j = -12 for i.
-1
Suppose -3*q + 8*q - 45 = -5*t, -5*t - 4*q + 45 = 0. Let r be 3/t + ((-34)/(-6) - -1). Suppose r*y = 6*y. Solve y*v + v + 2*j + 11 = 0, -6 = v + j for v.
-1
Suppose -4*o - 10*o = -56. Suppose -o*p + 10 = -3*f - 1, 2*p - 13 = -f. Suppose -5*a = -8 - 7. Solve j = -a*j - 20, -2*b - j = -p for b.
5
Let u = -1402 - -788. Let p = 623 + u. Solve -3*a + a = -b + 3, -b - 4*a - p = 0 for b.
-1
Suppose -15 = -106*r + 103*r. Let l be (-493)/(-85) + 1/r. Suppose -l*p = -3*p. Solve -2*k + h - 4 = p, -1 = k + 3*h + 8 for k.
-3
Let x = 9356 - 9356. Solve x = 2*l - 5*t - 21, 4*t + 25 = -t for l.
-2
Let g be (5 - -8) + (12/(-1) - -4). Solve -g*u + 8 = -3*j - 3*u, -2*u = -4*j - 12 for j.
-4
Let x(d) = -d**2 + 9*d - 11. Let o be x(4). Suppose q + 3*q + 2*j - 14 = 0, -q = -5*j - o. Solve l - q = g, -4*g - 26 = l + g for l.
-1
Let s = -12 - -11. Let v be ((-1)/s)/(37/111). Solve 3*r = 4*l + 6, 5*r = -2*l - v*l + 10 for r.
2
Suppose 12*w = 17 + 331. Let m be 16/(-20) - w/(-5). Solve -4*l + 5*j - 40 = 0, m*l + j = 2*l - 11 for l.
-5
Suppose 3*w + 15 = 75. Suppose -119*t - 39*t + 835 = 9*t. Solve t*y - w = 4*v + 4*y, 0 = 4*y for v.
-5
Suppose -21*y + 20*y - 10 = 5*q, 0 = -4*q. Let a be 12/y*(1 - (-42)/(-12)). Solve g - 4 = 0, -a*n + g = -g + 17 for n.
-3
Let x be (-1 + (-271)/5)/((-13)/65). Let t = x + -272. Solve -2*k + 10 = t*s, 2*k - 3*k = -3*s for s.
1
Let o(n) = n**2 + 26 - 74*n + 24*n + 19*n + 21*n. Let f be o(8). Solve 2*t - 3*b = 4, -5*b + 0*b - f = 0 for t.
-1
Let d(g) = -g**2 - 4*g + 102. Let x be d(-11). Let u be 28 - ((-10)/x - 17/(-5)). Solve -n - 5*b = 25, -8*b + 3*b - u = 2*n for n.
0
Let x(u) = 14*u + 14*u + 12*u - 47*u + 16*u. Let n be x(0). Solve -c + 5*o + 21 = 0, -4*c = -n*o - 3*o - 16 for c.
1
Let s be (4/8 + -1)/(1/(-22)). Let o = -15 - -15. Suppose o = -2*x + 17 - s. Solve -6*y + 4 = -f - 3*y, -4*y = x*f - 14 for f.
2
Suppose -4*g - 2*f + 8 = -2*g, 0 = 5*f. Suppose -g*l + 4*n - n - 6 = 0, 5*l = n - 2. Solve 2*k - 5*k + w - 6 = l, k = 5*w + 12 for k.
-3
Suppose 0 = -3*p - 2*p + 20. Suppose -4*t - 4*o - 29 = -7*o, 4*t + 2*o + 14 = 0. Let m = -1 - t. Solve 3*d + 5*n = 34, p*d - m*n - n + 13 = 0 for d.
3
Let y be (2 + 75/(-12))*(-8)/2. Suppose -5*z + c + 15 = 6*c, -c = -3*z + 29. Solve -z*p = 5*k - 4*p - 21, 4*k + 3*p - y = 0 for k.
5
Let p(b) = -b - 5. Suppose 24*g = 20*g - 28. Let m be p(g). Solve -5*o + 17 = 3*j, m*j - 4*o = j - 17 for j.
-1
Let f be (-36 - -35)*-114*(-4)/(-8). Solve -60 + f = -b + w, 5*b = -w + 27 for b.
5
Let g(l) = -l**2 + 12*l + 10. Let a be g(13). Let d be ((-2)/6 - a)/(14/21). Solve 3*x = -d*b - 16, 2*x + x - b = -11 for x.
-4
Suppose -4*b + 46 = -2*p + 20, -p = 5*b - 15. Let q(j) = j**2 - 5*j + 5. Let a be q(4). Suppose a = -6*g + 61. Solve -2*k = -x - g, -b*k + x = 2*x - 14 for k.
4
Let m be ((-20)/14)/(566/(-1981)). Solve 0 = -m*z + 2*y + 18, 4*y = -0*z + z for z.
4
Let l = 153 - 151. Suppose 18 = 5*v - 4*m, l*v - 8*m = -7*m + 6. Solve y = -v*c + 4 + 2, 9 = 3*c + y for c.
3
Let x(g) = -g**3 - 14*g**2 - 36*g - 278. Let j be x(-13). Solve -5*t = -b - j - 4, 3*t + 3*b - 15 = 0 for t.
5
Let n = -56 - -39. Let v = 26 + n. Let q(u) = -u**2 + 10*u - 9. Let b be q(v). Solve 0 = -y + o - 4, -5*o - 4 = 3*y - b for y.
-3
Let m be (0/(-3))/(-2) - 0. Suppose 21*k - 15*k + 6 = m. Let l(j) = -25*j - 2. Let g be l(k). Solve -5*b - 4*f = 9, 4*b - 3*f + 9 = -g for b.
-5
Suppose 3*r - 3 = 0, -g + 126 = g - 4*r. Suppose -5*z = -100 - g. Solve 2*t - z = 4*u + u, -4*t = 2*u - 6 for u.
-5
Let w(y) = 9*y**3 - 2*y + 2. Let z be 2/(7 - (0 - -5)). Let s be w(z). Solve -5*n - 22 = 3*v, -4*v = -5*n - 38 + s for v.
1
Let j be 0 - 2/(5/(-60) - 0). Suppose 0 = -4*u + 7*u + 5*z - j, 0 = -2*u - 2*z + 12. Solve -2*c + 1 + 1 = -q, 7 = -u*c + 4*q for c.
3
Let u(z) = -z**2 - 8*z - 12. Suppose -44*f + 26*f = 72. Let t be u(f). Solve 2*g + h + h - 10 = 0, t*h = 0 for g.
5
Let y be -4 - (28/70)/(2/(-20)). Suppose 2*p + 1 - 29 = y. Suppose 0 = 5*r - 0 - 10. Solve -g = g - 5*t - 11, -r*t = -4*g + p for g.
3
Let i(o) = o**2 - 11*o + 15. Let p be i(7). Let u = 15 + p. Solve 5*w - 22 = -q, -u*q + 12 = -0*w + 2*w for w.
4
Suppose 40*l - 7 = 393. Solve -18 = 3*f + 3*t, 10*f = 15*f - 5*t - l for f.
-2
Let p = -73 - -91. Suppose -54 = p*l - 21*l. Suppose -8 = 5*j - l. Solve -b = -2*n + j, -b + 5*b = n - 8 for n.
0
Let t be -19*(0 + 36/(-171)). Let n = 100 - 64. Solve t*l + n = 5*r, -l - 2*r - 4 = 2*l for l.
-4
Let q = 130 + -117. Suppose -4*o + 2*i = -16, -q = -0*o - o - 4*i. Solve 3*f - 20 + 0 = -4*x, 0 = -o*f - 3*x + 26 for f.
4
Let t = -9948 + 9951. Solve 17 = -q - t*l, -q + 61 = -2*l + 58 for q.
-5
Suppose 0 = 910*g - 867*g - 129. Solve -l - 4*d = 0, 0 = 2*l - 0*l + 5*d + g for l.
-4
Suppose j = o - 7, 76*o - 3*j - 13 = 77*o. Solve n + 1 = 5*z, -o*n = 5*z + 12 - 10 for n.
-1
Let x(b) = 6*b + 20. Let z be x(15). Suppose 0 = -19*f + 14*f + z. Suppose -3*g = 4 - f. Solve 15 = -g*c + c - m, 2*m + 12 = -4*c for c.
-3
Let x = 642 - 417. Let q = x - 219. Solve 15 = -3*c - 3*k, -2*c - 5*k + q = 22 for c.
-3
Let r be 12 - (-10 + -3 + 23). Solve 4*w - r*u = -18, -2*w + 10*u - 24 = 6*u for w.
-2
Let i(c) = -6*c + 72 + 2*c - 61. Let z be i(2). Solve 14 = z*f + k + 3, 2*f - 4 = k for f.
3
Suppose 20*y + 4*r = 24*y + 8, 4*y + 10 = 5*r. Solve -3*d + b = -6, y = 9*d - 5*d - 4*b for d.
3
Let t be 1*(176/132)/(-2 + (-21)/(-9)). Solve 4*l - 2*y - 4 = 0, -9*l + 3*y = -4*l - t for l.
2
Suppose -2*y = -n + 19, -5*n - 29 = -y - 115. Let d be (10/6)/(n/51). Solve -d*s - 1 = 4, -2*u + 5 = 3*s for u.
4
Let f(i) = -5*i**2 + 12*i - 4. Let v be 26/(-169) + (-56)/(-26). Let u be f(v). Let j be 3*(0 + 8/6). Solve -5*d - y - 3*y + 10 = u, -2*y = j*d - 8 for d.
2
Let l = -108 + 110. Suppose -l*g = -3*a + 16, g + 15 = -2*a + 7. Let i be 2 + g/4 + 10. Solve -r + f + 5 = 0, f - i = 3*f for r.
0
Let m(s) = -4*s + 14. Let u(k) = 3*k - 13. Let x(n) = 2*m(n) + 3*u(n). Let f be x(19). Suppose -f*t + 126 = -2*t. Solve p - 2*p + 4*q = 23, 2*p = 3*q - t for p.
-3
Let i = 118 + -114. Suppose 84*d = 90*d - 18. Solve b = s + d*s - 6, -i*b = 5*s + 3 for s.
1
Suppose 177 = 20*v - 63. Suppose v*c - o = 7*c + 124, 0 = -3*c + 2*o + 73. Solve 2*w + 5*j = c + 6, -5*j + 37 = 4*w for w.
3
Let w = -12347 + 12485. Solve 3*l = 4*g + 5, w*g + 5 = l + 135*g for l.
-1
Let w = -6355 - -6357. Solve -5*v - 4 = -w*y, -31*v - 4 = -2*y - 32*v for y.
2
Let g = -2003 - -2012. Solve -g*o = -6*o - x - 20, 4*o = -4*x for o.
5
Let s = -23 + 47. Let l be -1*6/(-2)*8/s. Suppose -3*p - 10 = 4*v, -2*p = -p + 3*v + 10. Solve -3*h = -3*o, 3*o = -0*o + p*h - l for o.
-1
Let n = -128 - -71. Let h = -144 + 213. Let u = n + h. Solve 2*v + w = -6, -4*w - u = v + 3*v for v.
-3
Let k(w) = -2*w - 4*w + 98 - 14 + 6. Let q be k(15). Solve q = 3*u - 3*h, 3*h + 12 = -0 for u.
-4
Let c = 2205 - 2195. Solve -29*g = -2*x - 30*g - 8, 0 = -4*x + g - c for x.
-3
Let t = -8657 - -8659. Solve q + t*r = 56 - 46, -32 = -5*q - 4*r for q.
4
Let a(l) = l**3 + 6*l**2 + 4*l + 4. Let i(x) = -3*x + 64. Let j be i(23). Let z be a(j). Solve 4*m - z = p - 25, 2*m - 14 = -5*p for p.
4
Let v(j) = j**2 - 21*j - 30. Let b be v(25). Suppose 0 = -71*i + b*i + 3. Solve s + i = -2*k + 4*s, 0 = -3*k + 4*s - 4 for k.
0
Suppose 8*o + 14 = 6. Let h be ((-4)/(-3))/(o*(-3)/9). Solve -3*p + p = 2*f - 2, -16 = -h*f + 2*p for f.
3
Let l = 272 - 106. Suppose 175*x = l*x + 54. Solve -u - s = 0, 4*s + 1 - x = -5*u for u.
5
Suppose -122*s + 34 = -576. Solve 0 = 4*w + s*f - 13, 2*f + 9 - 3 = 4*w for w.
2
Let w be (-26)/(-39) - 14/(-6)*1. Let o be (-20)/((0 - 2) + (-9)/(-9)). Suppose -15*a + o*a - 80 = 0. Solve -w*h = -4*g - 6 + 2, -a = 2*h + 2*g for h.
-4
Let m = -149 - -154. Suppose -44 = o - m*o. Solve -q + 3*a = 18, 4*q + o + 21 = 4*a for q.
-3
Let v(y) = 213*y - 5535. Let c be v(26). Solve -c*i + o + 7 = -3, -3*i - 14 = 5*o for i.
2
Let s be (13/(-2))/((-1)/2). Suppose -s = -4*k + 3*k. Suppose -2*y - 9 = -u, -5*y + 587*u + 36 = 591*u. Solve y = 4*c - 20, k = g + c + c for g.
3
Let n = 2814 - 2812. Solve -44*d + n = -46*d, 4*r - 5*d = 9 for r.
1
Let y(t) = -t**3 - 13*t**2 - 18*t - 40. Let v be y(-12). Let w = v - 28. Let g = 9 - w. Solve -5*u + g*i 