, 5*o + 5*v = 20 for o.
5
Let q(g) = 66*g - 1631. Let y be q(25). Solve z - 2*z + y = 5*n, -3*z + 2*n = 11 for z.
-1
Let h(v) = v**2 + 42*v + 164. Let g be h(-4). Solve -6 + 1 = -5*p - 3*r, p - 2*r = -g for p.
-2
Let f(i) = -2*i**3 + 26*i**2 - 29*i + 84. Let d be f(12). Solve -4*b - 3*s = 24, -d = -5*b + 2*s - 54 for b.
-6
Let b(l) = 243*l + 2. Let n be b(1). Suppose 7*g = -0*g + n. Let s = 38 - g. Solve 3*t = s*y - 0*t, -5*y - 3*t - 32 = 0 for y.
-4
Suppose -2*s - 3*s = 20, 2*s + 170 = 3*n. Let v = n - 59. Let u be (4 + v)*-1*2. Solve -5*m = -u*l + 8, -1 = 3*l - 2*m - 2 for l.
-1
Let i = 496 - 501. Let m(h) = 12*h**2 + 55*h - 20. Let o be m(i). Solve -3*x = -2*t - 0*x + 3, -o*x = -3*t + 4 for t.
3
Let d = -1727 - -1727. Solve -3*j - 3*g - 24 = d, -g - 2 - 11 = 2*j for j.
-5
Let j(m) = 8*m + 119. Let s be j(-13). Suppose 0 = -2*w - 4*b + 20, -12*b = -3*w - 15*b + s. Solve w = 3*f + 4 - 1, 0 = 2*k - f - 7 for k.
3
Let k be (-60)/510 + 516/51. Solve -4*w + k - 20 = 2*n, 12 = -2*n - 5*w for n.
-1
Suppose x + 3*x = -16. Let k be 52/20 - -2 - x/10. Suppose 0 = -3*r + k*l - 19, 5*r - 5*l + 21 = 6. Solve -2*s + r*n - 2 + 4 = 0, s = -3*n - 15 for s.
-3
Let f = 12558 + -12554. Solve -4*x = -j - 9, -24 + 12 = 4*j - f*x for j.
-1
Let g(r) = r + 5. Let f be g(-2). Suppose 133 = -2*m - 3*m - 3*y, -f*m - 76 = -2*y. Let o = m + 30. Solve 0 = -o*b + 4*c + 12, -4*b + 4*c = 5*c - 7 for b.
2
Let a = 149 - -19. Let l = -158 + a. Solve -3*b = -4*m - l, 0*b + 10 = -5*b for m.
-4
Let m(u) = 71*u + 189. Let i(g) = -71*g - 191. Let r(x) = 4*i(x) + 3*m(x). Let t be r(-3). Solve a = 4*a - 2*h + t, -a = 5*h - 6 for a.
-4
Let v = 6 + -1. Suppose c + 4*h - 11 + 432 = 0, -2*c + 2*h = 822. Let q = -409 - c. Solve -4*f = -0*f + 2*x + 6, v*f + 1 = q*x for f.
-1
Let m = 1461 - 1454. Solve 19*d + 5 = -5*g + 14*d, -5*g - m = 3*d for g.
-2
Let h(y) = 159*y + 1434. Let c be h(-9). Solve 3*s + x = -4*x + 1, 0 = -c*s + 4*x + 10 for s.
2
Let h = -955 - -959. Let p be (-4)/4*(-2)/2. Suppose h*i = p + 19. Solve s = i*k, k + s - 2 = 4*k for k.
1
Let s = 381 + -361. Let o be (-30)/(-25) + 136/s + -7. Solve -3*f + 1 = 5*z, -3*z + f + o = 3*f for z.
-1
Suppose -166 = -99*x + 67*x - 6. Solve -35 = -3*v + x*k - 14, -4*k = 3*v + 6 for v.
2
Suppose -57*z = -242*z + 370. Solve -3*q + p = 4, -z*q + 4*q + 31 = -5*p for q.
-3
Let q = 5347 - 5345. Solve 4*s + 2 = -3*p, -7*p + q*s = -5*p - 8 for p.
2
Suppose 122 - 116 = 3*h. Suppose -u = 5*f - 3*u - 68, -h*f + 32 = 4*u. Solve -4*n = -3*l + 6*l + f, 0 = -5*n + 3*l - 4 for n.
-2
Let d(m) = -m - 17. Let a(b) = b + 17. Let t(r) = 5*a(r) + 6*d(r). Let k be t(-10). Let n be -1 - k - (-18)/9. Solve h - 4*f - n = 0, 0 = -5*f - 12 - 3 for h.
-4
Let w = 1427 + -1423. Solve -5*t = 51*q - 48*q + 5, 0 = w*t - 4*q + 4 for t.
-1
Suppose 4*z = -8, 3*r + 53 = -5*z + 52. Solve 7 = 5*a + r*b, -4*a - b + 3 = -3*a for a.
-1
Let i(d) = d**2 - 3*d - 10. Let a be i(5). Suppose a = 9*w - 5*w - 96. Solve 0*y + y = -4*l - w, 0 = -y - l - 9 for y.
-4
Suppose -2*l = 8*l - 30. Suppose 3 = -5*g - 4*k + 6, l*g - 21 = 4*k. Solve -2*b - 2*h = g*b - 8, -5*h - 15 = -5*b for b.
2
Let d be (2/4)/((-1)/6). Let i = -1 - d. Suppose 0 = -457*c + 692 + 1136. Solve -3*n - 24 = -5*z, -4*z - c*n = -i*n - 6 for z.
3
Let z be -3*12/27*3/(-2). Let n be 74 - z/(-2)*-1. Let w = n - 70. Solve -l + 4*k + 2 = 0, w*k - 4 = -2*l - k for l.
2
Let r = 4315 - 4315. Solve r = 5*h + 3*k - 13, 0*k = -4*h + k + 24 for h.
5
Let d = 9266 + -9255. Solve -5*a = 3*t + 26, -d*a + 6 = -t - 12*a for t.
-2
Suppose 3*u - 198 = 141. Let v = u + -111. Let h(r) = r - 1. Let a be h(6). Solve 0 = -0*f - f + v*c + 1, -2*c + a = 5*f for f.
1
Let p(s) = 4*s**2 - 19*s - 3. Let i(j) = j**2 - 4*j - 16. Let c be i(7). Let r be p(c). Solve -r*n - 11 = -5*x, 0*x = -3*n + 2*x for n.
2
Suppose -5*g = 20 - 40, 4*a + g - 56 = 0. Solve -2*x - k - 4 = 0, -5*k + a = 21*x - 22*x for x.
-3
Let k be 4841/987 - 2/(-21). Solve -6*n - 10 = -10*n + 2*s, -n - k = s for n.
0
Let a(x) = 22*x**2 - 2*x + 3. Let f be a(0). Solve -3*m + 4 - 5 = b, f*b + 8 = -4*m for m.
1
Let j = -38654 + 38656. Solve -2*y = -j*l + 16, 170*y + 31 = 5*l + 168*y for l.
5
Let k(o) be the third derivative of -o**5/60 - 5*o**4/12 - 2*o**3/3 - 4*o**2 - 8. Let l be k(-9). Solve -3*h + 22 = -0*h + 2*w, -l*h + 5 = -3*w for h.
4
Let m(n) = 6*n**3 - 282*n**2 - 2*n + 107. Let y be m(47). Solve -2*f = -3*u + 20, -3*u - y = u + 3*f for u.
2
Let f(t) = t**2 + 14*t + 26. Let d be f(-13). Suppose -8*h - 50 = -d*h. Let c be h - (4 - (-4 - -4)). Solve 21 = -2*w - 5*i, 2*w - c = i + 3 for w.
2
Let x be (24 + (-742)/28)*8/(-5). Suppose 0 = -2*u - 0*u + 8. Let b be (u/(-2))/((-4)/6). Solve 4*a - 4*s = -20, 2*s = -x*a + 1 - b for a.
-2
Suppose 0 = 42*h - 48*h + 30. Let b = 36 + -32. Suppose 2 = b*u - 3*u + 2*p, -3 = -5*u - 3*p. Solve -o = u, -o + h = 5*i - 0*o for i.
1
Let h = -48 + -27. Let p = h - -84. Solve 0 = -d + 3*d - 3*n - p, n + 3 = 0 for d.
0
Suppose 12*w + 3*w + 2*w - 4*w = 0. Solve -5*h = -i - 22, w = 4*h + 7*i - 6*i - 14 for h.
4
Let o(c) = -3*c**2 + 5*c + 4. Suppose 10 = 2*z, -z + 26 - 21 = -v. Let y be o(v). Solve 4*g - 5*a = 5, -3*g + y*a - 5 = 2*a for g.
-5
Suppose 0 = -45*a - 41*a + 109*a - 690. Solve 0 = -4*t + x - 15, -2*x = t + 3*x + a for t.
-5
Suppose 3*l - 320 = 3*m - 119, -2*l + 134 = 5*m. Suppose -q - 207 = -3*r - 6*q, r - l = -q. Let k = 98 - r. Solve -k + 14 = -3*s - c, 0 = s - c for s.
5
Let y(m) = m**3 + 393. Let a be y(0). Let u = -391 + a. Solve -c - 3*c = -4*k - 32, -u*k - 2*c = -4 for k.
-3
Let b = 153 + -258. Let l = -316 - -213. Let r = l - b. Solve -3*v + 4 = -r*i, -i - i - 5*v - 4 = 0 for i.
-2
Let f = -28 + 65. Let t = 25 + f. Let c = t - 58. Solve -2*u - c*r + 4 = -0*r, -2*u + 13 = -5*r for u.
4
Let d(q) = -7*q + 45. Let l be d(5). Let g be (-9)/((-495)/l) + (-1440)/(-66). Solve -5*p - g = -v, -4*v = -3*v + 5*p + 28 for v.
-3
Let r(v) = 3*v + 18. Let k be r(-6). Suppose 8*d + k = -8. Let q = 13 - d. Solve -a = -2*s - s - q, 4*s = 2*a - 18 for a.
-1
Let j = -343 - -757. Suppose -57*x + 11*x = -j. Solve 2*h + 7 = -2*y - 5, -h = -2*y - x for y.
-5
Suppose -35 = -9*y + 91. Let z = 12 + -24. Let t = z + 14. Solve -5*a - 16 = -h, -4*a + t*h + 0*h - y = 0 for a.
-3
Suppose 16 = -q + 3*q. Suppose 0 = 4*y + q*y - 2*y. Solve -3*r - 2*p + 2 = 0, r + y*r - 1 = -p for r.
0
Let f be 1530/24 + 1 - 1/(-4). Let r = 78 - f. Suppose -166*m + 170*m = 12. Solve 2*z = z + 3, -2*v + m*z - r = 0 for v.
-2
Suppose 112 = 21*w - 329. Solve -4*d + 3*a + w = d, 5*a - 5 = -5*d for d.
3
Let u = -9486 + 9490. Solve 34*k - 5 = 5*m + 32*k, 5*k = -4*m - u for m.
-1
Let o(j) = 22*j + 144. Let k be o(-6). Solve -16 = -4*x, 0 = r + 3*r + x + k for r.
-4
Let u(n) = 8*n - 40*n + 107 - n**2 + 6*n + 12*n. Let f be u(-19). Solve c + 7*h + 17 = 4*h, 3*h + f = 0 for c.
-5
Let s(u) = -u**3 - 7*u**2 - 12*u + 5. Let d be s(-4). Let j(a) = 16 + 2*a - 4 + 0*a. Let r be j(-5). Solve -r*o = m - d*o - 3, -4*o - 17 = 3*m for m.
-3
Let f = -780 + 790. Solve 2*y - 2*h + f = 0, -4*h = -5*y - 0*h - 25 for y.
-5
Let a = 102 + -99. Let u be a - (3/3 + -4). Solve 5*j + 37 = u*s - 2*s, -s + 28 = -5*j for j.
-5
Let k(o) = 15*o + 61. Let z be k(-14). Let p = 154 + z. Let w be 1 + (-1 - 0 - -11). Solve 0*d - q = -p*d - w, -d - 3*q - 15 = 0 for d.
-3
Let y = -233 - -284. Suppose 15*s - y = -21. Solve 4*o + 4*i = 3*o + 6, 0 = -s*o - 5*i + 6 for o.
-2
Let n(h) be the second derivative of h**4/3 - 2*h**3 + 3*h**2 - 43*h. Let s be n(3). Solve -p - 8 = 2*d, p - 5*p + 5*d - s = 0 for p.
-4
Let y be (-41 + -1 + -2)/(-2). Let p(o) = -15*o + y*o**2 - 5 - 8 - 18*o**2 + o**3. Let a be p(-6). Solve 4*k = 2*c + k + 7, 5*k = a*c + 20 for c.
-5
Let s(d) = -d**3 + 38*d**2 + 76*d + 167. Let w be s(40). Solve w*z + 20 = 2*z - 4*q, 4*q = -4*z - 20 for z.
0
Let z be (-15)/(9 + -6)*-3. Suppose -2*g = -3*o + 9, -g = 4*g - z. Solve -3*h + 10 = o*r, h = 2*h + r - 2 for h.
0
Suppose -140 = -3*j - 4*j. Let n be ((-1)/(-2))/(j/680). Suppose 13*m = n*m - 16. Solve 12 = -m*g - 8, -4*t - 10 = 2*g for t.
0
Let o(a) = -a**2 + 4. Let x be o(0). Suppose 4*j - 596 = 3*h, 4*j - 360 = -5*h + 204. Let c = j + -144. Solve 0*u + c*f = 2*u - 6, -4*f = x*u + 28 for u.
-2
Let j(r) = -r**2 + 190*r - 2937. Let d be j(17). Solve 28*b + s = 27*b + 3, d = s for b.