 0 = -t*a + 6. Solve -20 = -5*g + 2*o + r*o, -5*g = o - 20 for g.
4
Let n(g) = 3*g - 3. Let l be n(1). Suppose l*y = -8*y + 32. Let j(s) = -s**2 - 11*s - 12. Let c be j(-9). Solve r = c*r + 4*t + 31, 0 = -y*r - t - 16 for r.
-3
Let y be -11 - (-2660)/110 - (8/11)/4. Solve -3*j + 4*n = -23, -5*j + n + 40 - y = 0 for j.
5
Let l be (6/(-84) - 6/14)*0. Suppose l = -5*j - 5*r - 535, -4*j + 2*r - r - 408 = 0. Let y = j - -105. Solve s - y*s = -5*m - 22, 5*m - 3*s = -26 for m.
-4
Let w = -1 + 1. Suppose 2*r - 3*c + 9 = 0, w = 3*c - 9 - 6. Suppose 27 = t - r. Solve 6 = 3*g + 4*p, -4*g + 5*p - t = -7 for g.
-2
Let w be (70/(-20) - -1)*(-8)/10. Let n be (w/(-6))/(24/9 - 3). Solve 0 = 3*s + 2*b + n + 5, 17 = -2*s + 3*b for s.
-4
Let q = 41 - 38. Let k be (48/(-10))/(q/(-10)). Solve 2*x + 3*a = 3*x - 8, -4*x - k = 4*a for x.
-1
Let w(k) = -23*k - 173. Let p be w(-8). Solve -4*t - z - p = -t, 0 = 2*t - 4*z - 2 for t.
-3
Let k(r) = 4*r + 27. Let i = -90 + 84. Let x be k(i). Solve s - 5*n - 3 = 0, -s + 0 + x = -2*n for s.
3
Suppose -13*u + 2744 - 2679 = 0. Solve 5*i - 5 = p + 5, 0 = i + u*p - 28 for i.
3
Let h = -264 + 247. Let t = h - -20. Solve 0 = -2*c - 2*c - 16, t*r + 15 = -3*c for r.
-1
Suppose t - 300 = 3*q - 966, -4*t - 2696 = 4*q. Let p = t + 678. Solve -5*f - p*r + 5*r = -12, -2*f + 3*r + 15 = 0 for f.
3
Suppose -15*h + 1165 = 865. Solve 5*p + t + 29 = 0, h*p - 2*t = 18*p - 14 for p.
-6
Let y be -1*(-2)/6*390/26. Solve 18*g - 14*g - 5*p = 5, -y*g - 5*p - 5 = 0 for g.
0
Let p be 1/(-9 + (-477)/(-54)). Let z be 2/((-21)/(-12) + p/4). Solve -2*y + 3*n = 0, 3*n = -2 + z for y.
3
Suppose -22*f - 9790 = -44*f. Let a = f + -445. Solve a = -q - 1 - 1, -5*j + 4*q = 12 for j.
-4
Let p be 36/(-27) + (-132)/(-18). Suppose -p*j - 52 = -64. Solve 3*i - t + 1 = 0, 0*i + j*i = 4*t - 4 for i.
0
Let g be (-4)/(-2) + -1 - -1. Let y be ((-3)/2)/((-266)/84 - (-64)/24). Solve -2*m + 2 = -4*u, g*m + 3*m + y*u + 21 = 0 for m.
-3
Suppose 3*m = 2*t + 5619, 0*m + 3*m = 4*t + 5613. Let n be (4/(-10))/((-25)/m). Solve -l + 3*k + 4 = l, 5*k = -4*l + n for l.
5
Suppose -4*u + 23 = 5*a, 9*u - 12 = 6*u - 2*a. Let j = 0 + -3. Let i be u/(-2) - ((1 - j) + -8). Solve -i*t + 5*l - 8 = 0, 0 = -10*t + 5*t - 3*l - 2 for t.
-1
Let k be (-4)/((-84)/51) + (-8)/(-42)*3. Solve 9 = k*t, 3*z - 8*t + 24 = -4*t for z.
-4
Suppose w = -0*y + 5*y, 3 = -y. Let b be (-2)/3 + (-40)/w. Let v = -5359 - -5365. Solve s + t + v = -0*s, -b = -s + 3*t for s.
-4
Let g be (8/(-2))/(17*48/(-816)). Solve 0 = 3*h - 2*f - 4, 8*h - 4*f - g = 3*h for h.
4
Suppose 4*k = f + 2, -4*k + 134 - 120 = 5*f. Solve -2*g - f*g = w + 16, -2*g = 3*w + 18 for g.
-3
Let s be ((-117)/24 + 10/(-80))*13. Let j be 1 + (s/(-10) - -2)*2. Solve -5*i + 24 = 3*r, -5*r = -3*i - 8*r + j for i.
3
Let m = -255 - -392. Let j = m - 136. Solve -r = 3*b - j, 3 + 2 = -2*r + b for r.
-2
Let v(k) = 172*k - 5669. Let i be v(33). Solve 5*q + 2*l - i = 0, -q = -3*q - 2*l - 2 for q.
3
Let y = -14 - -8. Let t = 9 + y. Let i be (2 - t)*(-1 - (-3)/3). Solve -2*w + 17 = 7, i = -5*f + 4*w - 5 for f.
3
Let b be (110/(-11) - (2 - 6)) + 9. Solve -5*y - b*w = 5, y - 36*w + 35*w = 7 for y.
2
Let k be (7 - 8)*(-5 - -6). Let o(r) = 3*r**2 + 9*r + 9. Let s be o(k). Solve 4*q = s*t - 15, -5*q + 3*t - 17 = t for q.
-3
Let c(s) = -157*s - 4078. Let w be c(-26). Suppose 4*m = -3*g + 26, 30 = 5*m + 3*g + 2*g. Solve q - 2*d - m = -0*d, w = 3*q + 4*d for q.
4
Suppose -5*t + 14 + 6 = 0. Let z(h) = -h**3 + 26*h**2 - 23*h - 129. Let m be z(24). Suppose -m*d = -474*d + 6. Solve -3 = 3*a, -t*q + d*a - 10 = -q for q.
-4
Suppose -s + 2*o + 425 = 429, -3*s = -5*o + 8. Let r = 1 + -1. Solve r*n - d - s = n, -1 = -d for n.
-5
Let j(i) = -i**3 - 7*i**2 + 5. Let u be j(-7). Suppose u*k - 39*k = -136. Suppose n = -4*n + 115. Solve k*l - 4*a - 5 = n, 0 = 4*a + 16 for l.
3
Let q(x) = 4*x - 3. Let a be q(2). Suppose -2*u = a*d - 4 - 0, 0 = 5*d - 4*u - 22. Solve 2*p - d*r + 6 = 2, 0 = 5*p + 2*r + 3 for p.
-1
Let k be -1*41/(-13) + (-814)/5291. Solve 0*m + 3 = -3*o - 5*m, k*o - 2*m + 3 = 0 for o.
-1
Let k be (-32)/(-20) + 91/(-35) + 2. Suppose 3 + k = 4*v, -3*s + 3*v + 12 = 0. Solve -6*g - 5 = 5*m - g, 5*m - 35 = s*g for m.
3
Let z(m) = 4*m**2 + 5*m - 4. Let c = 26 + -25. Let t be z(c). Suppose q = t*q - 8. Solve -q*f = -3*g + 13, -3*f + 5*g = -2*f + 24 for f.
1
Let u(t) = -t**2 + 33*t + 40. Let r be u(-5). Let s = -147 - r. Solve 0 = -s*o + 15, -3*y - o = -4*y - 10 for y.
-5
Suppose 9*v + 5*a - 208 = 0, 3*a - 58 - 36 = -4*v. Solve -4*b - 5*t = 30, v*t + 28 = -4*b + 18*t for b.
-5
Let b(r) = 3*r**2 + 18*r + 10. Let k be b(-7). Suppose 2*h + k = 25. Let y(x) = -2*x - 1. Let p be y(h). Solve -p*u = 5*a + 20, 4*u + 2*a = -2 - 12 for u.
-3
Suppose -3*d + 2*t = -30, 4*t + 50 = 8*d - 3*d. Suppose -d*k = -7*k + p - 9, p = k + 1. Solve -k*m + 4 = -4*b, -b + 6*m - 10 = m for b.
0
Let a be (-7 + 1)*(3 + -30 - -3). Suppose -5*f - a = -9*f. Suppose 6*h = 15*h - f. Solve -4*n = d - 18, -h*n + d = -21 - 1 for n.
5
Let l be (2 - 5)*(-2)/(3 - 2). Suppose l*y + 6 = 9*y. Let j be (1/y)/((-9)/(-90)). Solve 35 = -2*a - 0*a + j*u, a + 10 = u for a.
-5
Suppose -2*o + 14*c = 15*c - 15, 2*c + 24 = 5*o. Solve 3*l - o*q + q = 0, 0 = -4*l + 3*q for l.
0
Let y be (11 + -119)/9 - -12. Solve -4*r - 16 = y, -4*r - 6 - 5 = h for h.
5
Suppose -12 = 4*w, -11*y = -12*y - 4*w - 11. Solve -4 = -7*t + 3*t + 4*p, 3*t = 4*p - y for t.
5
Let v(u) = 65*u + 1509. Let n be v(-23). Solve -s + 0*s + 7 = -5*q, -q - 4*s = n for q.
-2
Let q(i) = 29*i - 1. Let c be q(-1). Let l = -25 - c. Let w(z) = -z**2 + 8*z - 7. Let o be w(7). Solve l*n + r - 25 = o, -1 + 4 = 2*n - r for n.
4
Let c be (-2)/(-6)*((-3 - -5) + 4). Suppose 4*l - c*y + 22 = 9*l, -l = 5*y - 9. Solve -l*g - 17 = x - 6, -5*x + 13 = 3*g for x.
5
Let z be (-1 + 291)/5*-1*2. Let k = 121 + z. Suppose -5*h = -3*y - 2*h - 6, -10 = -k*h. Solve -3*l + 7*l - 2*c + 4 = y, 0 = 5*l + 3*c - 17 for l.
1
Let q be 28/(77/(-11)) - -12. Solve 0 = -4*j - u + 10, 11*j = q*j + 4*u - 2 for j.
2
Suppose 0 = -5*s + 757 + 618. Let n = 276 - s. Solve 7*z = -i + 2*z + n, 3*i - 3*z = 3 for i.
1
Let q be ((-12)/30)/(2/(-20)). Suppose 2*p - h = -5*h + 28, 0 = -q*p + 3*h + 1. Solve -4*y + 9 - 1 = 0, 2*f - 4 = -p*y for f.
-2
Let z(i) = 8*i**2. Let a be z(-1). Let y = 116201 + -116194. Solve y*f - 22 = d + 3*f, d + 2*f = a for d.
-2
Let f(z) = -z**3 - 14*z**2 - 22*z + 24. Suppose -3*m + 21 = 57. Let o be f(m). Solve o*v = 2*v, 3*v + 20 = 5*q for q.
4
Suppose 14*w + 366 = 253 + 267. Solve 16*s = 15*s - 2*p - w, 0 = -5*s + p for s.
-1
Let u(h) = h**3 + 20*h**2 - 345*h - 119. Let z be u(-31). Solve -3*f - 25 = 4*o - 1, -o = -2*f - z for o.
-3
Let f = 5142 + -5137. Solve -f*s - 5 = -3*y, 0*y - 5*s = 3*y + 35 for y.
-5
Let c(a) be the third derivative of -3/8*a**4 - 7*a**2 + 0 + 0*a + 1/60*a**5 + 8/3*a**3. Let t be c(7). Solve 3*d + 2*d = 3*v - 20, t = -2*d for v.
5
Let p(u) = 21*u - 901. Let w be p(42). Let v = 9 - 24. Let a = v - w. Solve -5*n - 5*j - 9 - 6 = 0, -2*j + 18 = -a*n for n.
-4
Suppose 0 = 556*h - 554*h - 8. Solve -6 = -5*v + 7*v, v - 5 = h*n for n.
-2
Suppose -8*n = -2*n - 492. Let f = n - 81. Let y be 1 + 0 - (f - 3 - -1). Solve y*m = s - 6, -m + 2 + 2 = 3*s for s.
2
Suppose 3*n - 5 = 5*q + 17, -4*q = -4*n + 24. Solve 21 = -3*y - 2*l, -n*y - 98*l + 95*l - 29 = 0 for y.
-5
Suppose -3*w - 6 = 5*n, 2*n = -0*n - 3*w + 3. Let g be 78/30 + n - 7/(-5). Solve 4*z = -5*o + 2, 5*z - g + 17 = 3*o for z.
-2
Let j be (-3 - 768)*(12/9)/4. Let o = j - -267. Solve -4*c - x = c - o, -2*c + 1 = x for c.
3
Suppose -5*s + 15 = -2*s. Suppose -5*o + 15 = -5*g, 4*o + 1 = s*g + 9. Suppose 6*i - o = 11. Solve 3*c + a = -8, 2*a = -5*c + i*a for c.
-1
Suppose 3*m - 144 = 5*p, p + 3*p + 4*m = -128. Let s = p - -34. Suppose -g = s*g + g. Solve -2*f - 8 = 2*t, 2*t = -g*t - 8 for f.
0
Let c(g) = -9*g**2 + 99*g + 3. Let x be c(11). Solve f = w - 6, -x*w = -4*f - 10 - 10 for f.
-2
Let x = 2537 + -2518. Solve -2*o = 2*h, 4*h + 3*o - 20 + x = 0 for h.
1
Suppose 0 = 392*h - 97*h - 590. Solve -5*q - 147*s - 16 = -146*s, 0 = h*q + 5*s - 12 for q.
-4
Let w be 1 + 9 + (1 - 0). Let u = w - 1. Let a = -41138 - -41142. Solve -n + 20 + 5 = -a*f, 4*n = -2*f + u for f.
-5
Let u(k) = k**2 + k - 16. Let i be u(9). Suppose 26 = 10*g - i. Solve 