= v + 30. Suppose -9*y = -8*y + 5, 0 = -4*h - 2*y + 30. Solve -2*s + t + 6 = l, -4*s + t + h = -s for s.
4
Let o(m) = 5*m + 125. Let p(r) = -10*r + 85. Let b be p(11). Let y be o(b). Solve -2*q = -4*u - 16, y*q + 5*u + 13 = -q for q.
2
Let c(p) = -5*p**2 + 6*p - 9. Let g(o) = -13*o**2 + 17*o - 27. Let y(d) = 8*c(d) - 3*g(d). Let k be y(-4). Solve 0 = k*u, 2*u = -3*l - u for l.
0
Let b(v) = v**2 - 2*v - 97. Let j = -650 + 641. Let d be b(j). Solve -5*u + d*u + 16 = 4*i, -4*u = 4*i - 16 for i.
4
Let o be 2/(-4)*-2 + 4. Suppose 0 = z + 2, -5 = 5*d - z - 7. Suppose d = -4*r + o*r - 5. Solve 0 = -3*m + r*y - 40, -1 - 19 = 3*m - y for m.
-5
Let v = -11479 - -11484. Solve 2*d - 3 = -r, -3*r - v*d + 0 + 9 = 0 for r.
3
Let r = -31 + 32. Let c be 1/r + (-7)/7. Suppose c = 6*y - 30 + 12. Solve 0 = 2*k - 6, 2*k - 14 = -y*u + u for u.
4
Let g be 0/((2/(-1))/(61 + -59)). Solve 8 = 5*k + 3*i, g = 18*k - 22*k + 5*i + 36 for k.
4
Suppose 0 = -9*y + 60*y. Solve y = 3*s - 2*g + 13, g + 1 = -6*s + 5*s for s.
-3
Suppose 19*a - 7*a - 60 = 0. Suppose 2*s - w = -12, -4*s - 23 = w - a. Let n be s*(8/6)/(55/(-33)). Solve -2*c = 2*z + 6, 0*c - 18 = c + n*z for c.
2
Let d be 2/((-6)/(-9)) + -2. Let s = 494 + -490. Let r be (5 - d) + s + -3. Solve -2*t = -r*k + 17, k - 2 - 5 = 4*t for t.
-1
Let l(u) = -2*u**2 - 16*u + 12. Let q = 265 - 273. Let c be l(q). Solve 0 = 3*o + 7 - 4, -3*z - 3*o + c = 0 for z.
5
Suppose 13*b - 11*b = 4*j - 22, 0 = j - 2*b - 7. Solve 23*v + 4 = 19*v, -5*m = -j*v - 20 for m.
3
Suppose -3*p - 8*b + 7*b = -61, p - 11 = -5*b. Solve 2*v + 2 = 4*t, p*v = 2*t + 26*v + 5 for t.
0
Let i be 8/(-10)*(-7775)/622. Solve 0 = -x + 4*s - 14, i - 17 = 2*x - s for x.
-2
Let q = -124 - -125. Let s(t) = 6*t**3 + t**2 - t - 1. Let o be s(q). Suppose 32 = 2*x + 4. Solve b - x = -2*a - 3*a, -o*a = -15 for b.
-1
Let u(t) = -t**3 - 3*t**2 + 10*t + 4. Let a = -270 - -265. Let m be u(a). Solve 3*b + m*d + 32 = 0, -4*b - 5*d + 2 = 43 for b.
-4
Let w(k) = 22*k**3 - 3*k + 2. Let y be w(1). Suppose 2*i + 4*q = 4*i + 16, -y = -3*i - 3*q. Solve -i*t - 23 = 5*a, -5*t - 2*a + 0*a = 26 for t.
-4
Suppose 0 = 115*s - 109*s - 12. Let z(w) = 2*w**2 - 2*w. Let m be z(s). Solve -3*p + 19 = 2*i, 5 + 28 = 5*p + m*i for p.
5
Suppose -3*f - 2*f = -725. Suppose 0 = -35*d + 6*d + f. Solve -4*j - 5 = p + d, -5*j = p + 12 for p.
-2
Let q(g) = -g**3 + 5*g**2 + 6*g - 1. Let t = -36 - -42. Let n be q(t). Let j be (-8)/(6/3*n). Solve -m - j*l = -0 + 3, -m + l = -2 for m.
1
Let g(i) = -i**3 + 9*i**2 + 108*i - 910. Let t be g(8). Solve -4*k + 5*d - 12 = 0, -21*d + 8 = -2*k - t*d for k.
2
Let l = 66 - 70. Let a(v) = -v + 3. Let z be a(l). Suppose 0*j = m + j + 3, -m + j + z = 0. Solve -3*r + 1 = -m*w + 10, 0 = r + 2*w + 3 for r.
-3
Suppose 4*v + 77 = 8*o - 11*o, 5*o - 2*v + 85 = 0. Let u be (2 + (-1 - 1))/(o - -18). Solve u*k - 2*k = -2*j, 4*k + 5*j = 0 for k.
0
Let p(v) = -v**2 + 49*v - 255. Let k be p(6). Let g(h) = -h + 14. Let t be g(11). Suppose 0 = t*o + o. Solve -q = -2*a + k, o = 4*a - 9*a + q + 9 for a.
2
Suppose -99*c + 96*c - 64 = -5*r, -8 = -4*r - 3*c. Solve 8 = -r*t + 13*t + b, 2*b - 6 = 0 for t.
1
Suppose -8*x = -12*x + 12. Suppose x*w - 3 = 2*m + 5, -m + 22 = 5*w. Solve 3*q - w*s = 0, -2*s + 3*s + 13 = 4*q for q.
4
Let k(z) be the third derivative of z**5/5 - 5*z**4/2 + 2*z**3/3 + z**2 + 9. Let u be k(5). Solve 0 = -u*m - m + 25, 0 = -4*y + 4*m for y.
5
Let n be (-765)/54 + 2/12. Let f(l) = -2*l**3 - 28*l**2 + 3*l + 46. Let k be f(n). Solve 0 = -2*v + w + 10, -v + 2*w = -k*v + 8 for v.
4
Let k(r) = 18*r**3 + 362*r**2 + 42*r + 62. Let i be k(-20). Solve 2*d - 6 = -s, 2*d - 666*s = -663*s + i for d.
5
Let f be (((-4)/(-8))/(-1))/1*-134. Let w = f - 62. Solve 3*x + x + 3*b = 11, w*x = -b for x.
-1
Let p(m) = -m**3 + 9*m**2 - 153*m + 1379. Let o be p(9). Solve 3*y + 3*s = 0, o*y + 5*s - 6 = s for y.
-3
Let w = 9551 + -9544. Solve -5*k - 5*m = -30, -2*m = 25*k - 24*k - w for k.
5
Let l = -460 + 666. Suppose -10*k - l = -246. Solve 4*h + 4*i - 20 = -0*i, -k*i - 5 = -h for h.
5
Let m(t) = -6*t - 4. Let v be m(-18). Let n = v + -94. Suppose -5*a + 0 = -n. Solve -a*q + 0*x = -2*x - 8, 12 = 5*q + 3*x for q.
3
Suppose 2*o - k = -3*k + 4, 0 = k + 1. Let b be -6 - 2/(-4)*1*0. Let h be (-4 - -4)/(3/(b/(-4))). Solve h = 5*g - 2*d, -o*g + 0*d = d for g.
0
Suppose 3*p + 9*g - 27 = 12*g, -g = 2*p - 3. Let d(i) = 2*i**2 - 2*i + 7. Let f be d(3). Suppose f = 4*u + 3. Solve -p*o = u*w + 4, -13 + 3 = o - 2*w for o.
-4
Let v(z) = -z**2 - 14*z + 77. Suppose 28*g = 22*g - 108. Let o be v(g). Solve -3*j = 2*n - 3, -j - 13 = n - o*n for j.
-1
Let v = -593 + 667. Suppose 79*w - v*w = 0. Solve w*j - 2*j + 5*x - 15 = 0, 0 = 2*j - 3*x + 5 for j.
5
Suppose 2*m = -16*f + 24*f - 32, f - 5 = 0. Solve -5*b = -38*r + 36*r - 6, -2*r - 4 = -m*b for b.
2
Let a = 8141 - 8139. Solve 3*u + a = 4*n, u + 428*n - 429*n = 0 for u.
2
Suppose 9*j - 8*j - 18 = -3*t, 2*t - 13 = -j. Suppose 9 = 2*x - b, -5*x + 3*b + 10 = -12. Solve -5*s - u + x = j*u, u + 1 = -2*s for s.
-3
Let j = 14452 - 14448. Solve 3*m - j = -4*x, -4*x + m + 22 - 18 = 0 for x.
1
Let w = 46 + -84. Let f = 71 - 29. Let b = w + f. Solve -3*p - b*r - 8 - 3 = 0, -2*p = -5*r + 15 for p.
-5
Let z be -123*20/(-90) - (-4)/(-3). Suppose -10*r + 5 = -9*r. Solve 0 = -3*d + r*s + 31, -2*s + 6*s + z = 3*d for d.
2
Let h be 0/((-36)/6) - 3/(-1). Suppose h*r - 8*r = -4*k - 48, 0 = -r + 4*k. Solve 3*x = 4*j - r, 4*x - x - 5*j = -15 for x.
0
Let d = 41 - -10. Let s = 56 - d. Solve 0 = -3*c + j + 5, 5 = 5*c - 0*j - s*j for c.
2
Let t(q) = 2*q**2 - 3*q. Let m be t(2). Solve w = m*h + 13, 5*h + 10 = -30*w + 28*w for h.
-4
Let y(q) = -50 - 12*q - 87 + 201. Let m be y(5). Solve -o - 4*p = 18, -m*o + 4*p + 6 = o for o.
-2
Let g(b) = 20*b + 926. Let z be g(-46). Solve -4*m + 0*x - 2*x - 2 = 0, -2*x - z = 0 for m.
1
Let k be (384/168)/((-52)/(-91)). Let q(t) = t**2 + 2*t - 4. Let a be q(-4). Suppose 3*j = 19 - a. Solve -3*o - 4*v + 5 = -k, -j*v + 19 = -4*o for o.
-1
Let j be (136 + -140)*(-4)/1. Solve 5*p - 21 = -l, -j*l + 11*l - 15 = -5*p for l.
1
Suppose 42 = 35*g + 18 - 46. Let x(k) = -k**3 + 5*k**2 + 8*k - 7. Let f be x(6). Solve 4*i = -g*j + 2 - 0, -f*j = 2*i - 13 for i.
-1
Suppose -5*r = -4*r + n - 7, 23 = r + 5*n. Solve 0 = r*i + 6*l - l - 19, 2*i = -4*l + 14 for i.
3
Let h = -33 + 584. Let p = 555 - h. Solve -5*y - 5*b + 2*b = p, -2*y + 5*b - 14 = 0 for y.
-2
Suppose -60*n + 180 = 60. Solve -2 = n*w + 2, -w = 4*z - 6 for z.
2
Suppose -152*n + 148*n = -8. Solve -8 = -n*j, 5*w - 32*j - 13 = -34*j for w.
1
Let f = 7032 + -7029. Solve f*u = -0*g - g - 5, -3*g - 15 = u for u.
0
Let w = -32233 - -32254. Solve 0 = 2*a + 2, 0 = -4*v + a + w - 8 for v.
3
Let c(v) = -97*v + 970. Let h be c(10). Solve 111*n + 16 = 106*n + a, n - a + 4 = h for n.
-3
Suppose -23*z + 360 = -8. Suppose 2*a + 20 = c, 0*c - c = -5*a - 50. Let b = 14 + a. Solve -b*q - 2*d = -2, z = 2*q + 5*d - 5 for q.
-2
Let b = 489 - 499. Let j be (-26)/65 - 34/b. Solve 0 = 2*s - 5*a - 30, 2*a = -j*s + 4 + 3 for s.
5
Suppose 4 - 2 = j. Suppose -j = -2*i - 2*m, 5*m = -2*i + i + 5. Suppose -13*c - 48 = -21 - 92. Solve i = -c*z + k - 0*k - 21, -z - 3 = k for z.
-4
Let d = 8216 + -8213. Solve -d*s + j + 5 = 0, 5 = s - 2*j - 5 for s.
0
Let f be (14 + (-536)/40)*5. Suppose -4*t = -52 - 12. Solve -f*r + 2 = -2*x, 3*r - 5*x - 3 = -t for r.
4
Let s = 4081 + -4081. Solve u + 4*z - 9 = 8*z, s = z + 3 for u.
-3
Suppose 4*m = -v + 48, 2*m + 40 = v + 4*m. Let r = 36 - v. Suppose 2*j - 4*j + r = 0. Solve -2*z + 8 = -y - z, -10 = -j*z for y.
-3
Suppose -5*g + 12 = 2*t + 6, 4*g = 4*t - 12. Suppose 3*c - 12 = -t*q + 2*c, 2*q = c + 3. Solve -7*s = -q*s - u, 0 = 3*s + 3*u for s.
0
Let d(f) = 5*f**2 - 48*f + 6. Let b be d(10). Suppose b = 4*k + 6. Solve -4*w = 3*g + w + 5, 2*g + 5*w + k = 0 for g.
0
Let a be (-8130)/(-55) + (-4)/(-22). Suppose 0 = 24*v + 28 - a. Solve b + v*j - 28 = -0*b, 5*j = 2*b + 19 for b.
3
Let x be (-2)/19 - (-56066)/10982. Solve 9*m - 7*m + x*r - 31 = 0, r = 2*m + 11 for m.
-2
Let v(z) = z**3 - 3*z**2 + z + 1. Let c = -96 + 99. Let o be v(c). Suppose -4*w - 2 + 10 = -4*q, 5*w - 3*q = 6. Solve -3*u = 4*a - u + 8, w = o*u for a.
-2
Let t be 2/4*(-2 + 12). Let i(y) = 75*y - 3*y**2 - 86*y + 4 + 2*y**2 + 0*y**2. Let x be i(-11). So