 = -4*k + 17. Let r be b(5). Let f(d) = -5*d**3 + 2*d - 5. Let i be f(r). Suppose 0 = c - 133 + i. Solve 0 = 2*s - 0*s + h + c, 1 = -s + 3*h for s.
-4
Let f = 53 + 476. Let a = f + -529. Solve a = -5*j + 4*u + 41 + 4, -j + 20 = -3*u for j.
5
Suppose 58*w + 792 = 66*w. Let n = w - 77. Solve 0 = 5*j - p + 10, 3*j + 6*p = p + n for j.
-1
Let b = 154 - 150. Suppose 0 = -6*q + 3*q. Suppose -4*m + 10*m = q. Solve -2*k = -3*h - 1, -k + b*k - 4*h = m for k.
-4
Let r be 50/(-30) + 494/39. Solve 0 = -10*s + 14*s + 5*o - r, 5*o = -5*s + 15 for s.
4
Let y be 6/(-30)*-15 + 0 + 42. Let c be (-20)/y*54/(-12). Solve 5*h = -5*t, 22 = 3*h - 2*t + c for h.
4
Suppose 187*h - 68 = 170*h. Solve 3*t + 11*j = 6*j - 28, j = t - h for t.
-1
Suppose -22*c + 150 = -32*c. Let s be (-358)/c + (-6)/(-45). Solve o + 20 = -5*l, 0 = -3*o + 6*o + 3*l + s for o.
-5
Let p = -444 - -450. Suppose -3*c = -5*v, -c - p*v = -7*v. Solve q = -4*d - 3, c*q = -4*d + 3*q - 23 for d.
-2
Let h(o) = -421*o - 1258. Let q be h(-3). Solve 2*i + 3*n - 2*n - 13 = 0, -q*i + n = -22 for i.
5
Suppose -4*i - 4*o + 44 = 0, o = 3*i - 40 - 5. Let q(m) = 2*m + 18. Let n be q(-14). Let c = i + n. Solve 2*f - f - 2*j = 3, -12 = -c*f + 4*j for f.
3
Let z be (-3618)/(-871) + -2*(-2)/(-26). Suppose 10*b - z*b - 24 = 0. Solve -2*p = p - 4*k, -12 = -b*k for p.
4
Suppose 42*o + 30*o = 90*o - 72. Solve -5*n - 17 = -o*n - 5*k, -4*n + 4 = 4*k for n.
-2
Let r(l) = l**2 + 33*l + 277. Let h be r(-16). Solve -2*o - h*j - 22 = -3*o, -2*o + 20 = -4*j for o.
2
Let a(q) = q**2 - q - 20. Suppose 0 = x + 4*x - 25. Let i be a(x). Suppose i = 2*w + 6 - 10. Solve v = s - 2*v - w, 2*s - 5*v - 3 = 0 for s.
-1
Let j(r) = r**2 + 1. Let v(z) = -4*z**2 + z + 91. Let f(u) = -3*j(u) - v(u). Let y be f(11). Solve -2*g + 2*i - 4 = 0, 0 = 5*g + i + 2 - y for g.
2
Let a(p) = 30*p + 4. Let g be a(0). Let b be (-2)/g*(3 - 13). Suppose -4*s + 25 + 0 = i, 0 = -3*s - 4*i + 35. Solve -s*h = -2*l - l + b, 3*l - 23 = -4*h for l.
5
Suppose 0 = -21*o + 77*o. Solve 3*b = o, 0 = 3*p + 5*b - 58 + 46 for p.
4
Suppose -4*g - 2*h + 260 = 240, -5*h = -2*g - 2. Solve 4*z - 16 = 20*p - 23*p, g*p - 4*z - 12 = 0 for p.
4
Let r be (3/(-7))/((-3)/21). Suppose -2*c + r*s = -8, -c + 9 = 3*s - 4. Let p be -4 + c + -5 + 7. Solve 22 = -3*h + p*l - 3, -3*l = -5*h - 31 for h.
-5
Suppose 3*i + 13 + 5 = -3*t, -3*i + 18 = -3*t. Solve -3*c + b + 24 = i, 61 - 52 = 3*c + 4*b for c.
7
Let d = -512 - -522. Let k be (1 - -2)/3 + 50/d. Solve 4*q + 10 = 2*c, -4*q = -3*c + k + 1 for q.
-4
Let b = -6563 + 6568. Solve -b*m - 1 = 4*c, -2*c - 24 + 19 = m for c.
-4
Suppose -6*k + 7*k - 47 = w, -5*k + 241 = w. Suppose 54*y = k*y + 12. Solve 14 - 4 = -y*h - 2*q, -3*h = -4*q - 20 for h.
0
Let t = -4887 + 4890. Solve 0 = 5*f + t*d + 22, 3*f + 5 = f - 5*d for f.
-5
Let v be (1 - 2336/(-22)) + (-10)/55. Let j(p) = p**3 + 14*p**2 - 22*p - 1. Let t be j(-15). Let z = v - t. Solve 5*d = 3*d - b + 3, -2*d - 17 = -z*b for d.
-1
Suppose -p + 5*q = 5, -p - 2*p = -2*q - 11. Let c be 3 + (p - 0) + -4. Let m = -2 - -5. Solve -21 = -m*o - 2*b, -23 - 3 = -c*o - 2*b for o.
5
Let b(m) = -2*m**2 + 197*m + 2052. Let w be b(108). Solve 4*q = t - 16, -2*t + 18*q - 14*q + 16 = w for t.
0
Let m(y) = -y**2 - 69*y + 795. Let w be m(10). Solve -4*p = -u + 13, u - w*p = 4*u + 12 for u.
1
Suppose -18 = -13*d + 14*d. Let o be (-1 - d) + 12/(-2). Solve 0 = -2*a + 3*l - o + 4, -10 = -4*a - 2*l for a.
1
Suppose 6*r - 698 + 596 = 0. Solve -3*a - 15 = 0, -b + a = 5*a + r for b.
3
Let d = -1109 + 444. Let u = 672 + d. Solve -5*v + u = 2*l - 2, -l = v for l.
-3
Suppose 4*h - 60 = h. Let p(x) = -x - 3 + x + h + 2*x. Let l be p(-7). Solve -2 = l*g + 2*g + 4*t, 5*g - t + 12 = 0 for g.
-2
Let d(s) = -s**3 + 20*s**2 - 52*s + 13. Let f be d(17). Let q(r) = -r**2 - 7*r + 5. Let l be q(f). Solve 3*p + 4*i - l = 0, -9 - 5 = -2*p - 4*i for p.
3
Let h = -3743 + 3750. Solve 5*i - 35 = 5*z, -4*i = 55*z - 52*z + h for i.
2
Let i(d) = d**2 - 25*d + 102. Let z(m) = -m**2 + 25*m - 103. Let a(u) = -3*i(u) - 2*z(u). Let w be a(6). Solve 5*b + 2*n + 5 = 0, -5*b + 4*n + 11 + w = 0 for b.
1
Let m = -24 - -27. Suppose 0 = -5*v + 8*s - m*s + 20, 3*s + 6 = v. Solve -v*j = -5*d - 17, 0 = -2*d + 3*j - 5*j + 6 for d.
-1
Suppose -3*s - 4*q = 0, -q = -s - 2*s. Let o be 30 + -35 - (-688)/2. Let r = 344 - o. Solve r*a - 2*c = -14, -25 = 4*a + 3*c - s*c for a.
-4
Let r(x) be the first derivative of 5*x**4/4 - x**2 + 2*x + 107. Let g be r(1). Solve 0 = 2*y - g*w + 5, -3*w + 2 = -y - 2 for y.
5
Let t be -1 + -1 - 2*-6. Suppose u - t = -3. Let x(k) = -21*k + 1474. Let v be x(70). Solve 5*n = u + 18, -v*a - 6 = -2*n for a.
1
Suppose 5*j - 4*o - 20 = 0, j = 5*o - 283 + 287. Solve 3*d - 2*k = -17 + j, 4*d = -k - 21 for d.
-5
Suppose -4 + 1 = -r. Let k(i) = 57*i - 739. Let l be k(13). Solve 5*v + 4*p + 19 = l, r*v - 9 = 4*p for v.
-1
Let o be (1/1)/(1/2). Let m(h) = 5*h**2 + 45*h - h**3 + 3*h**o - 1 - 58*h + 8. Let t be m(4). Solve -2*q = 2*x + 14, 0*q + 4*q + t = -x for x.
-3
Let q be (-8)/28*(-32 - -25). Solve -m + 0*a + 5 = -a, -q*m + 3*a = -11 for m.
4
Suppose -l = 2*i - 926, 0 = -26*i + 29*i + 3*l - 1386. Let z = 476 - i. Solve -5*a = 0, -4*a + z = -o + 4*o for o.
4
Let z(c) = c**3 - 5*c**2 + c + 14. Let l be z(2). Solve 2*g - 18 + l = 4*y, -4*g + 24 = -4*y for y.
-1
Suppose -8 + 34 = 2*j. Suppose h - 5*o - j = 0, -4*h + h - 5*o + 19 = 0. Solve -4*w = 3*p + 10, 0*p - h = -2*p + w for p.
2
Let a(c) = 4*c**3 + 4*c**2 + 8*c - 5. Let t be a(-3). Let k = -98 - t. Suppose k*h + 4 = 13. Solve -h*n = 3, -4*n - 14 + 4 = -3*m for m.
2
Suppose -2*p + p = -2. Suppose -3*v - 1119 = 4*f, 726 = -2*v + 2*f + 2*f. Let k = -369 - v. Solve k = 2*c - c + p*y + 3, -c + 4*y + 15 = 0 for c.
3
Suppose 4 = 6*t - 4*t. Let x be -2 + 21/12 + (-204)/16. Let q be -10 - x - (1 + 2). Solve -l + 2 = d - q, t*d - l = -5 for d.
-1
Let b = -466 + 470. Suppose 4*w - b*d = 28, 48*d = -5*w + 44*d - 10. Suppose -2*l = 4*k + 8, -k - 2*k - 6 = 0. Solve 2*y + 3 = p, -p - w*y + y - 9 = l for p.
-5
Suppose -4*b + 595 = 2*q - 417, -5*q = 5*b - 1260. Let m be (-16)/40 - b/(-10). Let i = m - 20. Solve 3*t = i*v - 2*t - 5, 0 = 3*v - 4*t for v.
4
Let j(d) = d**2 + 6*d - 23. Let z be 6/(-5)*(-90)/(-12). Let k be j(z). Solve -12 = -4*t - k*v, 5*t + v + v = 0 for t.
-2
Suppose 121*t - 15 = 469. Solve -t*a - f = 18, -3*f - 6 + 2 = 2*a for a.
-5
Let a(n) = -2*n**3 + 22*n**2 + 77*n + 11. Let b be a(-3). Solve 5*g = -29*d + b*d - 23, d = -2*g - 7 for d.
1
Suppose 4*w - 17 + 49 = 0. Let s = 9 + -13. Let x = s - w. Solve 2*f - 5*l = -12, -f + x = 5*l - 5 for f.
-1
Let n be 78/507 + -4 + 380/65. Solve -r + 2 = 0, r + 13 = -n*i - i for i.
-5
Let l(i) = -i**3 - 2*i**2 + 3*i - 5. Let j(t) = t**2 + 7*t + 8. Let a be j(-4). Let m be l(a). Solve -5*q - m = -5*h, -q - 7 = -5*h - 4 for h.
0
Let c = 331 - 596. Let m = c + 268. Solve 9 = -2*z + m*a - 8, 3*z + 21 = 3*a for z.
-4
Let y = 13132 - 13127. Solve y*h - 5*b = 11 - 51, 2*h + b = -13 for h.
-7
Let o = 30 + -53. Let h(s) = 3*s**3 - s**2 + 2. Let n be h(-2). Let x = o - n. Solve 0*y + 2*y + f + 5 = 0, 0 = -x*y - f - 5 for y.
0
Suppose 456*p = 442*p + 80 + 60. Solve p*u = -2*w + 11*u - 4, 0 = -2*u + 8 for w.
0
Suppose -21 = 6563*o - 6570*o. Solve 0 = -5*s + o*r + 15, -3*s + 0*s + r = -5 for s.
0
Let k(u) = u**3 - 9*u**2 + 14*u - 2. Let h be k(7). Let s be h - (168/1)/3. Let c = -54 - s. Solve t - 4*b = c, 0*b - 14 = 4*t - b for t.
-4
Suppose -a + 9 = 5. Suppose 0 = u + u - a. Suppose -u*n - 6 = -28. Solve 16 = 4*z + 3*r, -2*r = 3*z - 0*z - n for z.
1
Suppose -4*y = -9*y + 25. Suppose 0 = y*p + 2*v - 25, 0*p + 4*v + 55 = 5*p. Suppose -p*d - d + 16 = 0. Solve w + 2 = -r, -w + d*r + 0*r = -1 for w.
-1
Let i = -349 - -155. Let p = -190 - i. Solve -4*s = 5*n - 26, 8 = -3*s + p*s + 2*n for s.
4
Let p be 6/(144/(-68) - (3 - 5)). Let b = 79 + -146. Let a = p - b. Solve -4*g - 14 = -2*q, 4*q + 0*q = -4*g + a for q.
5
Let t(h) = -2 + 5*h**3 - 4*h**3 + h**3. Let w(x) = 4*x**2 - 87*x - 20. Let u be w(22). Let o be t(u). Solve 2*d - 4*j + 3*j - 8 = 0, -o = -2*d - 2*j for d.
5
Let y(c) be the first derivative of -c**4/2 + 18*c**3 - 5*c**2/2 + 137*c + 55. Let k be y(27). Solve -f = 4*v + 22, -k*v = 3*v + 25 for f.
-2
Suppose 5*m = a - 30, 2 + 37 = 3*a + 2*m. Solve 0 = -5*t + 3*v - a, 