x = -0*x. Solve -5*j + 15 = 5*d, x*j + 4 = -4*j for d.
4
Let i = 28 + -28. Let t(v) = 2*v**2 - 43*v + 208. Let z be t(7). Solve n + 10 = 5*x - i*n, 0 = x - z*n - 2 for x.
2
Suppose 2 = -z - u, 0 = -4*z + 43*u - 42*u + 17. Solve -4*p - 274 + 287 = q, -z*q = 5*p - 25 for p.
2
Let c = -5817 - -5817. Solve -8 = -4*s - c, -s = -3*p - 11 for p.
-3
Let j = 46 + -42. Suppose 3*m - 3*z - 6 - 3 = 0, -3*m = j*z - 23. Solve -3*h + 8*h - 19 = 3*y, -m*h + 35 = 5*y for h.
5
Suppose 25*c - 30*c + 20 = 0. Suppose -4 = j, c*l + 13*j = 10*j + 16. Solve 5*t = -i + l, -2 = -t - 0 for i.
-3
Suppose 3*w - 5*b + 6 = 0, -56*w + 3*b = -61*w + 58. Solve 3*h + w*y - 3*y + 10 = 0, 4*h + 8 = -4*y for h.
0
Let m(z) = z + 13. Let l = -9 - 1. Let y be m(l). Let w = 49 + -39. Solve -2*g + w = 2*v - 4*g, y*g + 19 = 5*v for v.
2
Let x be 11*((-174)/(-24) + (-2)/8). Suppose 10*k - 73 = x. Let g = -12 + k. Solve -g*i + 9 = 0, 2*c + 6 = 3*i + i for c.
3
Suppose 0 = 158*z - 153*z - 5. Suppose -20*p + 48 = 8. Solve -p*b = -k + 4*k - 1, 0 = 5*k + 4*b + z for k.
3
Let x(o) = 2*o**2 + 25*o + 46. Let n be x(-2). Solve 0*i + 2*i - 4*l + 8 = 0, -n*l + 20 = -5*i for i.
-4
Suppose -5*s - 33 + 98 = 0. Suppose -2*h = -7*h - i + 38, -h - 2*i + s = 0. Suppose g - h = -6*g. Solve -g = -p, 0 = -0*t - 2*t + 3*p + 7 for t.
5
Suppose 2*k - k - 2 = 3*r, 0 = -5*k - 3*r + 46. Suppose 5*h + f - 16 = k, 5*h - f - 16 = 0. Solve -t + 1 = -a, 0*a + h*a - 26 = -2*t for t.
5
Suppose -2*d = d. Let f be 6 + -3 - 70/(-7). Suppose -3*p = -15, p - f = -2*i - d*p. Solve -3*m - m + i = 4*v, -v + 2*m = 8 for v.
-2
Suppose 3491 - 3511 = -5*o. Solve -3 = 4*h + x + 5, 5*x = o*h - 16 for h.
-1
Suppose -39*i - 12284 = -12440. Solve -3*w - 12 = -0*w - 2*l, -i*w - 16 = l for w.
-4
Let o be (-4)/(-14) - 4/14. Let f be -36 + 71 + -7 - 24. Let i(z) = -z + 10. Let a be i(9). Solve d + 2*d = -f*h + 1, o = 2*h + d + a for h.
-2
Let p = 5855 - 5851. Solve 0 = 3*i + 2*l + 2 + p, -2*l + 2 = i for i.
-4
Suppose 4*x + 6*m = 32, -5*x = -5*m + 8*m - 22. Solve u = -o, -6*o + 15 = -7*o + x*u for o.
-5
Let c(b) = b**3 - 8*b**2 - 4*b - 40. Let y be c(10). Let u be (-58)/(-15) - (-16)/y. Solve u*r = 3*i - 5, 3*r - 2*i = -i - 5 for r.
-2
Let j(r) = 2*r + 22. Suppose 0 = 21*s - 20*s - 4. Suppose -s*c = -0*c + 44. Let y be j(c). Solve 3*p = 3*b - 18, -b - 6 = -y*p + 3*p for b.
3
Let m be (66/4)/(11/(-66)). Let s = 107 + m. Solve t - 4*r = -6 - s, 3*t + r - 10 = 0 for t.
2
Let p(w) = -w**2 + 94*w - 1511. Let g be p(21). Solve -c - 2 = 0, 13*o + g = 9*o - 5*c for o.
-3
Suppose -21*z - 47*z = 21*z. Solve -54*r - x = -49*r + 12, -4*x + 12 = z for r.
-3
Let i be 1*(-1)/4 - (-43065)/660. Solve -4*s + 20 = -i*b + 60*b, 4*b + s - 5 = 0 for b.
0
Suppose -3*b = -37*b - 7*b + 82. Solve 0 = 3*t - 5*a + 9*a - 11, 2*t - 12 = b*a for t.
5
Let g = 0 + -1. Let j = 2824 - 2822. Let p = j - g. Solve 0 = 4*n - r + 17, -p*n + 16 = r + 4*r for n.
-3
Suppose -4*a + 16 = 0, -4*w - 13*a + 12 = -12*a. Solve 67*v - 65*v = 5*d + 20, -w*v = 5*d + 20 for d.
-4
Let t = -20070 - -20090. Solve 2*x + 20 = 4*o, -23*o - 3*x + 24 = -t*o for o.
6
Let x(h) = 2*h**3 - h**2 - 30*h - 23. Let b be x(-3). Suppose 5*d - d - 16 = 0. Solve m = d*v - 3*m - 28, 4 = -b*v - 4*m for v.
3
Let y(p) = 21*p + 9. Let i(l) = -5*l - 2. Let q(n) = 9*i(n) + 2*y(n). Let c = 82 + -84. Let f be q(c). Solve 4*j + 2*o = -3*o - 19, -f = 2*o for j.
-1
Let l = 233 + -231. Suppose 3*d - 11 = l*n, 4*d + 0*n + 3*n = 9. Solve -6 = -m + 5*z - 2, 0 = -m + 4*z + d for m.
-1
Suppose 4*d - 2*d = -2*f + 26, -5*d + 3*f = -33. Let w(n) = 6*n - 114. Let t be w(18). Let o be t*(-5)/(-10) - -6. Solve -3*y + d = -j, -j + 5*j - y = -o for j.
0
Let u = 1053 + -1050. Let r(z) be the first derivative of z**3/3 + 4*z**2 + 15*z + 3. Let v be r(-6). Solve -2*i + u*i = -3*p - 16, v*i + 24 = -3*p for i.
-4
Suppose -4*l - 11*a = -16*a + 13, 2*l - 4*a = -14. Solve 0 = 3*d - 4*w - 6 + 27, l*w - 6 = -d for d.
-3
Let x be (-18)/2*(4/6 + -1). Let p = x - -28. Suppose h + p - 34 = 0. Solve 4*y = -2*d + 10, -2 = -h*y + d + 3 for y.
2
Let n(r) = r + 1. Let p(f) = -6*f - 8 + 4*f + 4*f + 0*f. Let u be p(6). Let z be n(u). Solve 0 = -0*d + 3*d - 2*o + 25, 0 = z*o - 25 for d.
-5
Suppose 0 = 4*z + 12*k - 13*k - 34, -3*z + 29 = k. Solve -3*m + 0*f + z = 3*f, -m = -4*f + 12 for m.
0
Let y(p) = -p**3 + 10*p**2 + 10*p + 16. Let d be y(11). Suppose -4*i = 11*n - 6*n - 6, -28 = -d*i + 4*n. Solve 7*z + 7 = i*z + 4*t, -5*z = 5*t - 35 for z.
3
Let t = -127 - -157. Suppose 0*b + 10*b = t. Solve q = -4, -z + 4 - 16 = b*q for z.
0
Let v(b) = 335*b**2 - 1340*b + 3. Let u be v(4). Solve 0 = -3*c - 60*q + 61*q + 4, 11 = -u*c + 4*q for c.
3
Let z(l) = 466*l - 2792. Let s be z(6). Solve c = -3*t + 10, -7*c + 2*t = -5*c - s for c.
4
Let v be 504/(-216) + (-112)/(-12). Suppose 2*b - 3*b - q - 2 = 0, -2*b + 24 = -5*q. Let u be (3 - b)/((v/(-2))/(-7)). Solve 5*w - t = u, -3*t - 5 = 1 for w.
0
Let r be (-20 + -19)*(0 + -1). Suppose -7*b = -4*b - g - r, 0 = 5*g. Suppose -153 = -b*u - 36. Solve -4*t - 5*k + u = 0, -5*t - 3*k - 4 = -12 for t.
1
Let a(y) = 3*y**3 - 5*y**2 + 47*y - 93. Let w be a(2). Solve -w*k - 19 = -3*f, -5*f - 23 = 3*k + 2 for f.
-2
Suppose 5*q = -3*j + 15 - 26, j = q - 9. Solve 220*s + q*u - 12 = 223*s, 2*s + 8 = -2*u for s.
-4
Let y be 2 - 4 - (41 - 55). Solve 0 = 2*c - 2*j - y, -16 = -5*c + j - 3*j for c.
4
Let r be 45/180 - 19/(-4). Solve -r*i - 16 + 41 = 5*j, -i + 11 = 3*j for i.
2
Suppose -72*t + 66*t = -60. Suppose t*u - 24 = -4. Solve -30 = d + 5*z, -u*d - d = -5*z - 10 for d.
-5
Let k = -17127 - -17130. Solve -5*p + d = k*d + 8, -2*p - 2*d - 8 = 0 for p.
0
Suppose -9*y + 3*l + 140 = -4*y, 2*y + 5*l = 56. Let a be y/49*42/12. Solve -4*c - 2*j - j - 23 = 0, -9 = a*c + j for c.
-2
Let f = 48 + -12. Let d be (2/(-2))/((-6)/f). Suppose -d*g = g - 35. Solve -3*r + 4 = -l, -g*l + 3*r + 11 = -l for l.
5
Suppose z - 10 - 3 = 5*y, -2*y = 4*z - 8. Suppose -44*g + 5*g + 663 = 0. Solve 4*u - g = -4*f + z*f, -2*u = 2*f - 10 for f.
1
Suppose -13*n + 11 = -28. Suppose 8*w - n*w = 65. Let p = -8 + w. Solve p*g = -5*t, 4*t - 15 = g + 5 for t.
4
Let i be (6/(-8))/(2/(-8)). Let s = -354 + 359. Suppose j - 9 = -2*o, 5*j - 15 = -3*o + 2. Solve i*l + g - 2 = l, s*g = l - j for l.
1
Suppose -18*b - 4*b + 2*b = -280. Solve -v + b = -3*m, -8*m = -2*v - 4*m + 20 for v.
2
Let t = 17174 - 17172. Let b = -2 + 4. Solve -t*z = y - b, 2*y + 0*z - 7 = -5*z for y.
-4
Suppose -338*p = -340*p + 6 - 2. Solve -3*o + 9 = 3*x, 0*x + 9 = p*x - o for x.
4
Let a = 0 + -3. Let v be 1 - (a + 3/(-3)). Let c be (3 + -6)/(-6)*10. Solve -v*s - c*q = -40, s = 6*s - 3*q - 16 for s.
5
Let q be (28/(-56))/(1/(-8)). Solve 4*d + q*o + 3 = -33, d = -3*o - 19 for d.
-4
Suppose 3*v + 2 = 4*n - 30, -9 = -n + v. Suppose -4*c = -5 + 1, -2*z = -c - n. Suppose -z + 15 = 3*p. Solve p*x - 16 = 2*a, -2*a + 2*x = 7 + 5 for a.
-4
Let w = -164 - -206. Suppose w*a - 12 = 39*a. Solve -a*g + 5*x - 1 + 14 = 0, 0 = -g - 4*x - 2 for g.
2
Suppose 0 = -373*r + 370*r + 6. Suppose r*l + 12*b - 16 = 11*b, 2*b = 8. Solve 3*m = -2*d - 7, -5*m = -d - 3 + l for d.
-2
Let a(p) = 4*p**2 - 37*p + 15. Let f be a(8). Let l be (7 - f) + 2 + -4. Solve -5*o - 5 = -2*k, 6*o + 3*k = o - l for o.
-3
Let i = -2860 + 2862. Solve 2*s = -j - 15, -8 = s + i*j + 7 for s.
-5
Let j be (7/((-35)/30))/((-9)/6). Solve 2*z = j*v + 16, 5*v + 2*z - 6 + 26 = 0 for v.
-4
Let b = 1 - -6. Let j be (-14)/b*(-3 - 1). Let w(d) = -4*d + 35. Let a be w(j). Solve -3*y = -9, -a*y = 4*r - 0*r - 29 for r.
5
Suppose -4*t = -0*t - 44. Let y(s) = -10*s + t + 13 + 13*s + 14. Let j be y(-12). Solve -j*d = 4*k + 20, 4*d - 2 = 3*k + 2 for d.
-2
Suppose m - s - 133 = -3*m, 2*m - 74 = -2*s. Let q(t) = t**3 - 35*t**2 + 33*t + 34. Let z be q(m). Solve w = -1, 5*d - 5*w - 15 = -z*w for d.
2
Let g = -139 + 141. Let b be (5/((-5)/(-3)) + -7)/(-1). Solve 5*z - b = 3*m, -m = -4*z + 4 + g for m.
2
Let j(t) = 10*t - 14. Let d(c) = 12*c - 15. Let w(v) = -4*d(v) + 5*j(v). Let g be w(7). Solve -3*h = g*r + 20, -h = 3*h + 3*r + 15 for h.
0
Let g be (-1 - -4)/6*(-30)/1. Let d be (9/6)/(g/(-30)). Solve -5*z = -4*k - 32, -4*z = -0*z + d*k - 7 for z.
4
Let x(k) be the second derivative of -k**4/12 - k**3/2 + 73*k**2/2 - 35*k. Let q be x(7). Solve 2*p = 2, 5*u - 2*p = -4 - q for u.
-1
Let x