 - n = -4*q, -5*i = 3*q + 9 for i.
-3
Let a = 1168 + -1158. Solve -6*x + x + a = -3*u, u = -2*x - 7 for u.
-5
Suppose 0 = 5*n + h - 169, 2*n - 7*n = 5*h - 165. Solve 2*i + 5 = 5*x, 3*x - n = -5*i - 0*x for i.
5
Let v(g) = -9*g - 140. Let d be v(-16). Solve -d*o + 0*o = 4*c, -5*c - 30 = -o for o.
5
Suppose -75*u + 80*u - 20 = 0. Solve -n = -2*l + 10, -u*l + n + 4*n + 20 = 0 for l.
5
Suppose 13*x + 25 = 90. Solve -2*y + x = -s + 3, -y = 2*s + 9 for y.
-1
Let d(f) = -2*f**3 - 28*f**2 - 27*f + 1. Let l be d(-1). Suppose -5*b + 12 = -3*b. Solve -5*k = m + 1, b*k - 1 = l*k + m for k.
0
Suppose 2*m - 13 = -5. Let l be (-2)/(-12) + (-570)/(-36). Suppose -2*h = h - 3*p + 3, 4*h + p = l. Solve -r + 8 = -m*c - h*r, 10 = -5*c + 5*r for c.
-2
Suppose -4*f = 14*f + 10*f - 980. Let q(c) = -5*c - 5. Let w be q(-5). Solve -k + w = 5*o, 4*k + 4*o - f = -o for k.
5
Suppose 3*g - 3*d - 3 = 0, g - 3*d = -d - 1. Solve 2*q - q - 5 = -g*k, k - 3*q - 5 = 0 for k.
2
Let s = -74 - -81. Let l be 25/2 + s/(-14). Solve -3*q = -6, -4*k - l = -8*k + 4*q for k.
5
Suppose 3*x - 182 - 25 = 4*q, -2*x - 276 = 5*q. Let a = q - -54. Solve 0 = o + 2*t - a + 8, 0 = -2*o + 4*t for o.
-4
Let j = -11 + 22. Suppose -b = -3*x + j, -3*x + 18 = -5*b - 13. Let i be (-2)/14 - (4/(-7))/4. Solve -y + 2*l + 3*l = i, 0 = x*y - 3*l - 7 for y.
5
Suppose -j = h, 4*h = -0*j - 5*j - 1. Let q be 0/(j*(-1 - -3)). Solve -2*o = 2*n + 10, -5*n + 2*o + q*o = 18 for n.
-4
Let j(n) = -2*n**2 + 23*n + 11. Let w be j(12). Let c be (-1 - w - -3) + 0. Solve 5*d - 2*t = 10, -t - 5 = -c*d + 1 for d.
2
Let u be (10/3 - 0)/(4/6). Solve 5*m = u, -3*m - 3 = a - m for a.
-5
Let s(n) = 2 - 8*n**2 + 9*n**2 + 8*n - 2*n. Let l be s(-6). Solve -5*d + l*h - 25 = 0, -5*h - 5 = d - 3*h for d.
-5
Let y(k) = k**3 - 10*k**2 + 10*k + 3. Let r be y(9). Let g = r - 7. Solve -5*l - 5 = -5*w, g*l - 22 = w - 5*w for w.
3
Let z(l) be the third derivative of l**4/24 + 5*l**3/2 + 15*l**2. Let k be z(-15). Solve k = 5*h - 5, 5*h - 10 = -2*p - 3 for p.
1
Let v(b) = b. Let r be v(4). Let z be (192/120)/(20/25). Solve -r*y + 2*c = -2*y - 14, -z*y - 2*c + 2 = 0 for y.
4
Let u be (-3)/(6/(-8)) + 0. Let n be 15/(-10)*8*1/(-6). Suppose -u = -2*o + n. Solve o*t + t + 17 = 5*b, 5*b + 1 = -2*t for b.
1
Suppose 4*c - 8 = 4, 5*f + c - 13 = 0. Solve -3*y + 3 = 0, f*r - y = -0*y + 9 for r.
5
Suppose 9*u = -2021 + 2120. Solve 0 = -4*o - 4*n + 16, 5*o = 8*o + 2*n - u for o.
3
Let m be (36/21)/((-6)/(-21)). Let u = 10 - 10. Suppose u = -4*j + 2 + m. Solve 26 = j*b - 4*i, 0*b - 5*i = 4*b for b.
5
Suppose -3*g + 37 - 28 = 0. Solve -15 = d - 5*k, 0*k = 3*d + g*k - 9 for d.
0
Let j be 12/1*(7 + -5). Let g = j - 24. Suppose g = w - 2*w + 3. Solve -w*r - 5*q - 4 = 0, q + 2 = 2*r + 2*q for r.
2
Suppose -35*k + 11*k = -792. Solve 2*b - 5*h + k = 0, -3*h + 35 = -5*b - 0*h for b.
-4
Suppose 11*a = 7*a - 24. Let w(d) = d**3 + 5*d**2 - 8*d - 9. Let i be w(a). Solve -5*f - i*k - 5 = 0, f + 4*k - 8 = -2*f for f.
-4
Suppose -68*j + 67*j = -5. Let k be ((-3)/(-6) - -2)*-2. Let n(s) = s**3 + 5*s**2 - s + 1. Let g be n(k). Solve -4*a - 21 = w, g + 4 = 2*w - j*a for w.
-5
Let s(w) = w**2 - 40. Let k be s(-7). Suppose 4*l + 6 + 18 = 3*h, -3*l - k = 0. Solve -5*o = f - 1, -h*o + 4*f + 15 + 5 = 0 for o.
1
Let w = -61 - -34. Let y = 29 + w. Solve -p - y + 1 = 2*f, -4*f - 3*p + 1 = 0 for f.
-2
Let m(r) = -r**2 + 30*r + 111. Let d be m(33). Solve 14 = 4*n + 3*z - z, d = 3*n + 2*z for n.
2
Suppose 20 - 29 = -9*b. Solve 5*q - 15 = 5*i, -5*i - 16 = -4*q - b for i.
-3
Suppose 5*s + 7*s = 8*s. Solve -4*u - 17 = i, 3*i = 2*u - s*i - 9 for u.
-3
Suppose -l = -4 + 3. Let h(t) = 4*t**2 - 2*t + 2. Let n be h(l). Solve -5*r + j - 2 = -9, -8 = 2*r - n*j for r.
2
Let t(x) = -2*x**2 + 40*x + 7. Let y(k) = -k**2 + 20*k + 3. Let j(z) = -6*t(z) + 11*y(z). Let c be j(21). Solve -3*g = -g + 4*s + 16, -c = g + 4*s for g.
-4
Suppose 2 = 2*s, -4*g + 2*s - 12 = -2*s. Let t be 54/45*5/g. Let y be 0 - (-24 + (t - -5)). Solve 4*f = 7*k - 4*k + y, 0 = -f + 4 for k.
-2
Let s(g) = g**2 - g - 2. Suppose 0 = 3*c - 2*c - 2. Let z be s(c). Solve 5*n - 26 = -2*d, 5*d - 4*n = -1 - z for d.
3
Let s be 6/(-4) - ((-660)/(-8))/(-11). Solve 0 = -4*j - 3*f - 0*f - 7, -2*f = 3*j + s for j.
-4
Suppose 15 - 50 = -7*z. Suppose z*h - 1 = 14. Solve -12 = -4*r + 6*r - 3*j, -4*r + h*j = 18 for r.
-3
Let r be 4/(0 + (-2)/2). Let a = 541 - 587. Let y be a/r - (-5)/10. Solve 2*g - 7 = l + 5, 5*l = -2*g - y for g.
4
Suppose -4*x + 6 = -7*x. Let n = x + 2. Solve n = 2*t - 3*r - 8, -5*t + 0*r + 2*r + 9 = 0 for t.
1
Suppose -17 = -7*v + 11. Let a be v/10 - (-13)/5. Solve -z = 2*z - i + 12, a*z = 3*i - 18 for z.
-3
Suppose -4*d + 17 = 3*b, 3*b = -5*d - 0*d + 19. Let m = d + -3. Let l = 1 - m. Solve 2*s - 1 - 1 = l*a, -9 = -5*s + a for s.
2
Suppose 6*m = -42 + 60. Solve -4*o - o + 20 = -3*f, -7 = 2*f + m*o for f.
-5
Let v = -157 - -159. Solve -5*c + 1 - 14 = -v*q, 3*c = -5*q + 17 for q.
4
Let l be ((-15)/(-9))/((-2)/(-36)). Let q = 35 - l. Solve -3*u - 3*f = -7 - 8, -3*f + 21 = q*u for u.
3
Suppose i - 8 = -4*m + 13, -2*m + 8 = -2*i. Solve -m*s + 9 = -3*n, 4*s + 4*n - 18 = 2 for s.
3
Let i(c) = -3*c - 1. Let l be (-4)/6*(-3)/(-2). Let o be i(l). Solve 5*p - 3 = 2*w, 0 = p + o*w - 6 + 3 for p.
1
Let f(i) = 4*i - 94. Let p be f(24). Solve 0 = 5*w - 4*a - 4, -p*a = 2*w - 0*a - 16 for w.
4
Let j = 15 - 8. Suppose 18 = j*w - 3. Solve w*a = -4*r - r + 24, -2*a = 5*r - 21 for r.
3
Let x be 44/176 - (-2)/(-8). Solve -2*h + 13 = -2*d - h, -4*d + h - 21 = x for d.
-4
Let o be (-32)/(-10) + 6/(-30). Suppose 0*p - p - 2 = 0. Let g be 0 - p - 4 - -2. Solve -7 = m + 2*t, -m - 7*t + o*t - 15 = g for m.
1
Suppose 826*r - 819*r - 77 = 0. Suppose -5*m - 32 + 12 = 0. Let b be (-18)/m + r/22. Solve -5*s - 2*a + 10 = 0, 4*a + b = 5*a for s.
0
Let j = -29 - -29. Solve 2*l - 5*z + 35 = j, -3*z = 2*l - 5 - 0 for l.
-5
Let t = 959 - 948. Solve -6 = d + 2*s + 4, -d = -5*s - t for d.
-4
Suppose 4*m + 5*g - 118 = m, 5*m - 3*g = 140. Suppose 0 = -t - 2*t - 93. Let z = t + m. Solve d = -d - 4*h - 22, z = -2*h - 10 for d.
-1
Suppose 17 = 3*c + 5. Let f be -5*(c/10 - 1). Solve -4*h + 16 = -f*h + 3*m, -m + 12 = 2*h for h.
4
Let t be (-6)/(-4)*70/15. Suppose 20 = -2*p + 16. Let h = 5 + p. Solve -4*c + 3*c + 11 = h*q, -t = -3*q - 2*c for q.
5
Suppose 0 = 12*n + 3*n - 1380. Let p = n - 70. Solve p = -w - 5*z, 0 = w - 5*w - 4*z - 8 for w.
3
Let u be (78/(-12))/13 - (-9)/2. Suppose 5*p = -5*i + 20, 2*p + u = -2*p + i. Solve p = -3*v + 3*l - 3, 3*v - 3*l - 2 = v for v.
-5
Let g = 1210 - 1209. Solve g = -d - h, 3*h = 2*d + 4*h + 2 for d.
-1
Suppose 0 = o - x - 2, x = -3*o + 2*x + 12. Let t be ((-2)/(-3))/(-2) + (-1)/(-3). Suppose -3*z + 0*z = t. Solve z = 2*n + b + 4, 0 = -o*n - 4*b - 19 + 6 for n.
-1
Let o = -216 + 234. Solve 3*y - 4*t + 5 = 0, -5*y - t - o = 2*t for y.
-3
Let c(q) = 104*q + 2. Let f be c(0). Solve r + 2 = -f*g, 4*g - 3*r = -2*r - 16 for g.
-3
Let k(v) = -v**2 + 10*v - 6. Suppose -16*h + 9 = -15*h. Let f be k(h). Solve 0 = -f*u - 0*u - 9, 4*m - 2*u + 14 = 0 for m.
-5
Let w(s) = 2*s**2 - 11*s + 9. Let o be (-4 + 2)/(4/(-14)). Let k be (-6 + o)*(8 - 2). Let q be w(k). Solve 5*y - 15 = -5*u, 5*u + 5*y = 7*u + q for u.
0
Let c(q) = q**3 + q**2 + q - 3. Let x be c(0). Suppose g - 3*g = 10. Let u = x - g. Solve 5*o = -10, u*h + 3*o + 12 = 2 for h.
-2
Let t = -26 + 35. Suppose -p - 2*p = -t. Solve -6*r - 9 = -r + n, 2*r + 14 = -p*n for r.
-1
Suppose 4 + 2 = -3*x. Let q be x - (-368)/12 - (-4)/(-6). Solve 4*m + m = t + q, 0 = 5*t + 3*m for t.
-3
Let b be (-32)/6*(-1 + 7/28). Solve 3*a = -3*h + 6*h + 24, -5*a + b*h + 35 = 0 for a.
3
Let c be 4/10*(10 - 5/1). Suppose c*p - 4*s + 16 = 0, s + 4*s - 33 = -4*p. Solve p*m - 3*w + 15 = -8*w, 5*m = 3*w - 22 for m.
-5
Suppose r = -5*q + 34, 5*r + 48*q = 52*q + 54. Solve 5*m - 2*t - 7 = -22, -4*m = -2*t + r for m.
-1
Let d = 22 + 0. Suppose -h + 23 = s, 4*s - d = -h + 4. Solve -2*x = -5*k + 28 - 3, 4*k - 2*x = h for k.
3
Let d(c) = 4*c - 1. Let a be d(2). Let r(f) = f**2 - 8*f + 6. Let u be r(a). Let s be u/(2 - (-13)/(-6)). Solve 4*l - 3*v = 0, 3*l - s*l - 2*v = 0 for l.
0
Suppose -z + 3*x - 21 = -x, -2*x + 8 = 2*z. Let f be (-4)/(-8)*z*-20. Solve 2*n + 2*n - f = 2*m, -2*m + n = 1 for m.
1
Suppose 0 = -5*o - 5*s, -9 = 5*o 