 = -5*c + 5, a*c - 3*x = 2*c + 5 for c.
-1
Let l(b) = -11*b + 60. Let m be l(5). Let c = -3 - -5. Suppose -c*v + 22 = -6. Solve -2*j = -2*a + j + 16, -m*a + j = -v for a.
2
Suppose 4*g = -0*g + 28. Suppose 4*b = -3*v - 6, -4*b + b = v + g. Solve -v*c = -4*c + 3*w - 1, 3*w - 11 = 4*c for c.
-5
Let k = 532 - 528. Suppose 2*m - 32 = -n, n + m - 5 - 25 = 0. Solve 5*l + k*x - n = 0, -2*l = -6*x + 2*x for l.
4
Let z be 2*(5 + 4/(-1)). Suppose 0*o + z*o = 10. Solve 5*l + 2*g + 16 = 0, 0 = o*l - 2*g + 24 for l.
-4
Let t be 4 + 17 - (3 - 10). Solve 4*o + 8 = -n, 4*n + 2*o - t = 6*o for n.
4
Let z = -877 - -889. Solve -2*j = 5*t + z, 8*j - 4*j = 5*t + 6 for t.
-2
Let k(g) = 2*g + 1 - 2 + 0*g - 17. Let r be k(10). Solve -b = -t + 1, -r*t - 2*b = -8 + 2 for t.
2
Let y(v) = -2*v + 11. Let l be y(11). Let q = 4 - l. Suppose 3*s + 19 = 4*i, 2*s + q = 4*i - i. Solve -i = 5*o - w - 1, 0 = -3*o + 5*w - 8 for o.
-1
Let x = 18 + -14. Let q(v) be the first derivative of v**4/4 - 5*v**3/3 + 5*v**2/2 - 2*v + 5. Let j be q(x). Solve -3*i = 5*k - 35, -4*i + 18 = j*k - 10 for k.
4
Suppose 0*j + 6 = 2*i - 2*j, -3*j = i - 11. Solve -y - 15 = -4*g, i*g + 0*g - 24 = -4*y for g.
4
Suppose 5*b - 1 + 121 = 0. Let h = 28 + b. Solve 0 = -5*z + 5*p - h - 6, 3*z + 2*p = -6 for z.
-2
Let w = 6 + 5. Suppose 3*g = 2*u - 20, -2*u - w = 5*g + 1. Solve 0 = -5*k - 4*f - 33, -3*f - 13 - 13 = u*k for k.
-5
Suppose -9*g = -13*g + 20. Solve -4*d + 28 = 4*l - 0*l, l + g*d - 19 = 0 for l.
4
Let u(z) = 3*z**2 + 23*z - 35. Let l be u(-9). Solve 5*s + 13 = 5*g - 17, -s - l = 4*g for s.
-5
Let k = 213 - 199. Solve 3*t + 5 = 5*t + o, 2*o = 4*t - k for t.
3
Let r(q) = q**3 + 3*q**2 - 5*q - 2. Let z be r(-4). Let i = -133 - -138. Let p = -5 - -9. Solve i*j - 22 = m + z*m, -m = p for j.
2
Suppose 8 = -4*d - 0*c - 4*c, -8 = 2*c. Suppose 4*o - 4 = -4*k, 2*o = -d*o + 5*k + 31. Suppose 5*l - o = 6. Solve -l*i + 3*q + 13 = -3*i, -4*i - 13 = -q for i.
-4
Let n = 1244 + -1244. Solve -5*k - 5*r - 10 = 0, 5*k - 5*r + n*r = 20 for k.
1
Let a be 28/91*(-221)/(-34). Solve 0*m = u + 5*m - 20, -25 = a*u - 3*m for u.
-5
Let o = -89 + 79. Suppose 2*w - 6 + 4 = 0, 3*w = 3*g + 45. Let v = o - g. Solve -4*l - 7*s = -3*s + 12, l = v*s - 3 for l.
-3
Let w = -10 + 27. Suppose 0 = -5*q + w - 7. Let s be -1*q/6*-36. Solve -2*d - 2 - s = -4*b, d - 7 = -5*b for b.
2
Let o = -43 - -44. Let v be 33/(-7) - (-2)/(-7). Let x = v + 9. Solve -5*h - o = q - 11, h - x*q - 2 = 0 for h.
2
Let w(t) = 11*t + 14. Let o be w(-7). Let s = o + 66. Solve 4*c - s*q = 23, c + q = -6 + 3 for c.
2
Suppose -3*f + 5*r + 1 = -1, -5*r = 2*f + 32. Let i be (3/f)/(3/(-48)). Let u be 162/i + (-1)/4. Solve -6*h - u = 3*t - h, 11 = -2*t - h for t.
-5
Let m(f) = -f**2 + 21*f + 48. Let h be m(23). Let s be (5/15)/(h/9)*10. Solve 0 = 3*d - w - 1, -5*d - s = -5*w - 0 for d.
2
Let y(n) = -13*n - 1. Let z(k) = 25*k + 2. Let o(g) = -11*y(g) - 6*z(g). Let a be o(6). Let t = -18 - a. Solve 25 = -4*s - 5*c, 3*s + 4*c + c + t = 0 for s.
0
Let b = 257 + -253. Solve -3 - 3 = c + 5*q, -5*q + 6 = b*c for c.
4
Let w(c) = -20*c**3 + c**2 - c - 1. Let x be w(-1). Suppose 3*l - 3*y + 369 = 7*l, y + 5 = 0. Let k = l + -91. Solve -15 = 2*a + 2*b - 5, -k*b - x = 3*a for a.
-2
Suppose -48 = -4*r - 2*l, 2*r + 4*l - 12 = -0*r. Solve -f = -a - 5, 4*f - r - 6 = -5*a for f.
5
Let k(h) = -3*h + 3 + 2*h + 5*h - h. Let d be k(0). Solve -2*o + o - 5*i + 3 = 0, 5*i = o - d for o.
3
Let j = 1395 + -1393. Solve 0*o + 10 = -5*g + 5*o, -2*g = j*o + 12 for g.
-4
Suppose 2*x - 4*x - 151 = 3*f, -2*f - 146 = 2*x. Let h = 70 + x. Solve 0 = 6*z - 2*z + h*r + 16, -4*z - 14 = 3*r for z.
-5
Let r(p) = p. Let w be r(2). Suppose 0*b - w*b = -8. Let c(i) = 2*i - 13. Let d be c(14). Solve 5*y - 6 = 2*y - f, -b*y + d = -f for y.
3
Let m(u) = 32*u + 161. Let v be m(-5). Solve -5*a = -4*i - 11 - 29, 3*i = -4*a + v for i.
-5
Suppose 19*y + 70 = 33*y. Solve 4*g = -y*a - 3 + 15, 4*a + 3*g = 10 for a.
4
Suppose 3*a + 11 = 5*i - 14, 2*a = 3*i - 15. Suppose a*v - 2*o - 13 = -v, 5*o - 5 = -5*v. Suppose -2*x + v = -1. Solve 3*h - 18 = d + 3*d, x*d + 19 = 5*h for h.
2
Let f(q) = -39*q - 349. Let j be f(-9). Solve -4*i - 30 = j*r, 0 = 2*r - i + 5 for r.
-5
Let y = -546 - -549. Solve -3*l - 4 = -4*w, 0 = w + 2*l + y*l - 1 for w.
1
Let d = -481 - -483. Solve -2*l + 5*r = 1, l + 3*l - d*r + 10 = 0 for l.
-3
Suppose 2*h - 6*h + 8 = 0. Suppose -h*k = z + 31, -k + 3*z - z = 8. Let s be ((-4)/(-14))/(-1)*k. Solve 4 = -2*u + p, -2*p = -s*u + 2*p - 4 for u.
-3
Suppose -124*j + 107*j + 34 = 0. Solve j*t + 7 = -v, 3*v = -t - 9 + 13 for v.
3
Let n(a) = 3*a - 9. Let d(u) = -10*u + 28. Let r(w) = 5*d(w) + 16*n(w). Let y be r(-3). Solve -2*f = -4*g + 20, 3*g - y*g = 2*f + 5 for g.
5
Let q be 1/(-3) + (-11)/(-33). Let k be (-1 + q)/((-4)/20). Suppose k*d + 2*l = 4*l + 6, -4*d = -3*l - 9. Solve 3*j - 4*b = -6, d*b + 5*b = 3*j + 6 for j.
-2
Suppose -2*c + 79 = 75. Solve -3*s + 5*s - c = 4*t, s - 3*t = 2 for s.
-1
Let n(k) = k**2 + 8*k + 12. Let z be n(-6). Suppose -8*v + 9*v - 5 = z. Solve v*s + x = 4*x + 32, 12 = -3*x for s.
4
Suppose 0 = -17*b + 17 + 17. Solve 2*j + 5*r + 10 = 0, 3*r + 6 = b*j + j for j.
0
Suppose -4*t + 16 = -5*i, -2*i - i - 5*t = -20. Solve i = -l - 1, -5*l = -5*w - 13 + 3 for w.
-3
Let g(h) = 6*h - 1. Let u be g(1). Suppose -17*d + 692 - 182 = 0. Solve u*j - y + d = 5, 0 = -y for j.
-5
Suppose 3*c = 5*x + 7, 3*x - 2 - 1 = 0. Solve 2*t + 0*t - 18 = -c*n, -t - 1 = 0 for n.
5
Suppose 9 = 3*v - 12. Let c be (-2)/v - 38/14. Let u = c - -8. Solve -u*q - h + 3*h = 13, -3*h - 3 = 0 for q.
-3
Suppose 5*j - 25 = 0, 3*w + j + 13 = 3*j. Let v be 2 + (-1 - w - 4 - -4). Solve -m - k + v = 0, -3*k - 4 = m + k for m.
4
Let h be (-4)/(-7) - (-640)/56. Suppose h*f - 76 = 8*f. Let y = 25 + -19. Solve -y = 4*a + r + f, -r + 15 = -4*a for a.
-5
Let n be (-4 + 0 - -4)/1. Suppose 2*s - 3*f - 49 = -n*f, -2*s + f + 43 = 0. Solve s = h + 5*z, -5*h + z = -z - 19 for h.
5
Suppose -462*t - 16 = -470*t. Solve -t*j = z - 2, -2*j - 10 - 4 = 5*z for z.
-4
Let x(l) = 8*l + 130. Let m be x(-16). Solve 4*c + 4*b + 12 = 0, -3*c + 3*b = m*b - 11 for c.
2
Suppose 7 = 26*z - 45. Solve -g + z*t - 1 = 0, -33*g = -32*g - 3*t + 3 for g.
3
Let v = -4 + -2. Let c be (2 + 9/v)*8. Suppose 4*y - 2*y - 3*d + 3 = 0, 3*y = 5*d - 6. Solve y*p + o = 2 - 7, -c*o - 9 = p for p.
-1
Suppose -3*t + 7 = -5. Suppose 3*l - 1006 = -5*i, -3*l + 4*i = -0*i - 988. Let g = l + -329. Solve u - 2*u - s = -1, g*u - t*s - 3 = 0 for u.
1
Let j = -784 - -786. Solve 0 = -3*k + 3*z - 27, -4*k + j*k - 2*z - 2 = 0 for k.
-5
Let d = 104 - 103. Suppose 0 = 4*j - 5*y - 34 - d, -3*j + 30 = -5*y. Let l(k) = 2*k**2 - 4*k + 3. Let s be l(2). Solve -m - s*n = -4*n + 7, -3*n + j = m for m.
-4
Suppose -5*j = -2*q + 46, 0 = -26*q + 30*q + j - 70. Solve 4*l - 12 = 0, 4*p + 9 = l + q for p.
3
Let a = 52 - 47. Suppose -3*n + 21 = a*s, -s - 9 = -4*s. Solve -5 = -0*p - p + 3*l, l + n = 0 for p.
-1
Let n = 1819 + -1816. Solve -y - 5*c + 11 = -8*c, -n*c + 1 = 5*y for y.
2
Let q = 1637 - 1628. Solve 4*w - 12 = q*w - 2*l, 4 = -2*w + l for w.
-4
Let l be (((-1)/3)/((-6)/(-72)))/2. Let n be ((-56)/(-24) + l)/((-1)/(-12)). Solve -n*w - 17 = -z, -1 = 2*z + z + w for z.
1
Let l be 3/((-24)/(-44)) + (-2)/4. Let v be (180/3)/l + 1. Solve -3*h = -5*r - v, 4*h - 2 = -18 for r.
-5
Let x(u) = u**2 - 18*u + 22. Let n be x(17). Suppose -11*g = -n*g. Solve -2*c - 3*c = g, -4*o = 2*c for o.
0
Let g = 27 + -24. Let x(z) = 2*z**2 + 3*z + 3. Let b be x(-2). Suppose 0*s + s = b*h + 20, s - 3*h - 14 = 0. Solve l = -3*m + 9, 0 = -s*l - 3*m + g + 18 for l.
3
Suppose 37*g = 9*g + 56. Solve -5*y + k + 2 = -2*k, -5 = -g*y - 3*k for y.
1
Let z be (16/(-40))/(4/(-5))*0. Suppose 0 = -2*s - 0*s. Let d be 8 - (s - 0 - -3). Solve d*y = -5, -5*u + z*u = -3*y + 12 for u.
-3
Suppose 0 = 2*h - 3*z + 7*z - 12, 4*h - 2 = 3*z. Solve c - 5 = -4*c - 5*a, -h = -2*c + 5*a for c.
1
Suppose 0 = 2*a - 5*l + 5 + 3, -5*a - l + 34 = 0. Let d be a/45 - (-4)/(-30). Solve d = -0*j - j - 3*i - 1, -j + 4*i - 1 = 0 for j.
-1
Suppose -9*o + 5 = -14*o. Let j be (-132)/(-24) + (2/4 - o). Suppose -3*c + 18 = 4*k - k, -3*c + 10 = k. Solve 4*h = -x - 16, 0 = -6*h + j*h + k*x + 19 for h.
-3
Let t = 3 + 3. Solve x - t*l + 7*l = -3, -27 = -x + 5*l for x.
2
Suppose -