 + 5*k. Let b be s(n). Solve -b*l + 4*h + 11 = 0, -l + 2*h + 1 + 4 = 0 for l.
1
Let w = -2761 - -2764. Solve m = w*b + 18, 2*m + 4*b + 26 = 4*m for m.
3
Suppose -3*s - 12 = -3*q, -6 = -q - 2. Suppose 6 = -3*b + 39. Suppose -b = -11*x + 44. Solve x*h = 2*m - 7, -h - m = -s*m for h.
-1
Suppose 29 = -5*v - 11. Let b(u) = -2*u - 14. Let h be b(v). Suppose y = 4*f - 3, h*y - 4*f = -6*f + 4. Solve 9 = 3*n + g, n + 3*g + y = -n for n.
4
Let j(r) = 7*r**2 + 50*r - 404. Let h be j(-12). Suppose 3*z + 5 = 4*m, -2 = -2*z + m + 3. Solve 0 = -z*b + p - 30, h*b - 5*p + 14 = -31 for b.
-5
Let s = -1 - -3. Suppose -2*i + 15 = 5*z, -3*i + 31 = s*z - 19. Let a be (-9)/15 + (-3795)/(-825). Solve 0 = a*v + c - i, 3*v - 3*c - 4 = -v for v.
4
Let b(l) be the first derivative of -l**2 - 35*l - 207. Let z be b(-19). Solve 0 = 2*g + 3*j - 11 - 6, z*g + j = 15 for g.
4
Suppose -12 = 18*v + 60. Let b be (-8)/v - 4 - -4. Solve h = -b*a - 9, 2*a + 3*h - 4*h = -3 for a.
-3
Let o = 3 + 1. Suppose 3*k - o = 2*k. Let f be (-6)/(-21) - (-960)/168. Solve k*g + 4*q = f*g, -4*q = -4 for g.
2
Let u(x) = -x**3 - 2*x**2 + 15*x - 10. Let r be u(2). Solve -2*j + 3*k = -5, -r*k = j - 0*j - 8 for j.
4
Let c(o) = o**3 - 7*o**2 - 2*o - 6. Let p be c(5). Let m = -66 - p. Suppose 2*w = 5*x - 3*w, m = 5*x - w - 12. Solve -b - 13 = -2*g, b + 6 = x*g - 12 for g.
5
Let h(x) = 2*x**2 + 10*x - 17. Let j be h(-7). Let m be (-1 - (-1 - j) - 5) + -4. Solve -4*g - r + 1 = 0, -3*g = -2*g - m*r + 11 for g.
-1
Let b be (-16 - -14) + (-3)/(-1) + 1. Let z be (192/(-16))/6*-4*1. Solve 4*m + 2*y = -12, -m - z = -b*y + 5 for m.
-5
Suppose 3*f = 4*k + 22, 0 = -10*f + 6*f - 2*k + 22. Solve -12 = -10*p + 9*p + 4*v, -2*v - f = -3*p for p.
0
Let t = -115 - -119. Let g = -25 + 27. Suppose 21 = 3*v - 7*b + g*b, 5*b + 17 = v. Solve 4*p - y = -7, t*y - v*y - 1 = -5*p for p.
-1
Let l(j) = -2*j + 51. Suppose -6 = -5*g + 4*t - t, 3*g - 4 = 2*t. Let n be l(g). Suppose -n = 4*u - 59. Solve u*z + 2 = -5*s + 9, 1 = -s + 2*z for s.
1
Let j(p) = 515*p - 7722. Let h be j(15). Solve -a - 10 = -5*c - 6, 0 = -2*c - h*a - 12 for c.
0
Suppose -21 = 12*k - 129. Let f be ((-4)/(1 - 5))/(3/k). Solve -u - 16 = -3*i, -f*i - u - 2*u = 0 for i.
4
Let p(d) = -2*d + 22. Let w = -59 + 61. Suppose 0 = 2*k - o - 0*o - 18, w*k + 2*o - 6 = 0. Let j be p(k). Solve -x + 4*y = -4*x - 8, 5*x + 4*y = -j for x.
0
Let j = -55 - -56. Let u(i) = i**3 + i**2 + 1. Let o be u(j). Solve 5*v + 17 = -2*h, 0 = -4*h - v - 4 - o for h.
-1
Suppose 0 = -r - 3*k + 9, -8*r + 4*r + 12 = 4*k. Solve -3 = -f, 3*n + 5*f - 5 - 25 = r for n.
5
Let t(y) = 3*y**2 - 3*y - 42. Let v be t(-5). Suppose -34*q - 308 = -v*q. Solve a - 4*z + 19 = 0, -5*a + 5*z - 13 - q = 0 for a.
-3
Suppose 43*g - 150 = -64 + 129. Solve -5*c = -2*s - 28, -g*s + 427 = 447 for c.
4
Suppose -a + 0 = 2. Let i be a/6 + 80/15. Let j = 2 - -1. Solve 2*f - d - 3 = 0, -i*d + 4 = -2*f + j for f.
2
Let x be 6/(-39) - ((-22419)/(-39) + 0). Let k = x - -579. Solve -5 = -h - n - 11, -2*h + 6 = -k*n for h.
-3
Let k be (37/37)/(2/38) - (11 + -7). Solve 5*a = -i - k, 1 = -3*i - 5*a - 4 for i.
5
Let x = 90 + -94. Let b(j) = j + 8. Let g be b(x). Solve y - 12 = g*y, y = -c - 5 for c.
-1
Suppose 9*y - 68 - 7 = -16*y. Suppose -j - s = -10, -5*s + 30 = 2*j - s. Solve -y*o = a - 7 + 1, -j*o = -15 for a.
-3
Suppose 0 = c + 4*c - 20. Let j be (-23)/((-2)/c*2). Suppose -j*p + 26 = -21*p. Solve -10 = 2*y, -5*k - 4*y + 3 = p for k.
2
Let d(o) = -4*o**3 - 137*o**2 - 287*o + 99. Let f be d(-32). Solve -3*k - 9 = -c, 5*c - 7 = -f*k + 63*k for c.
3
Suppose 0 = -135*n + 143*n - 192. Suppose -10*y = 2*y - n. Solve y*j = -5*o + 25, -4*o + 2*o = -j - 1 for j.
5
Suppose 0 = 2*h - 3*h + 2. Suppose 0 = h*g - a - 2*a - 4, 2*g + 3*a - 16 = 0. Suppose -g = o - 10. Solve -4*l - 15 = -m - 2, -4*l - 31 = o*m for m.
-3
Let a be (-150)/(-54) - ((-325)/45 + 7). Solve -a*y + 35 = 5*c, -3*y = 3*c - 0*y - 27 for c.
4
Suppose -8*v = -18*v + 20. Let t(j) = -27*j**2 + 28*j**2 + 3*j**3 + 2*j**3 + 3*j - v - 1. Let q be t(1). Solve -6*p + q = -p + o, 3*p + 5*o = -14 for p.
2
Let l(o) be the first derivative of -o**2/2 + 40*o + 1. Let g be (15/(-10))/(15/(-120)). Let b be l(g). Solve -4*y - b = -4*t, 4*y + 20 = -y + 2*t for y.
-2
Let z = 17037 + -17028. Solve -h + 3*w + z = 2*h, 2*h + 19 = -3*w for h.
-2
Let u = 18291 + -18278. Solve l = -4*s + u + 15, 26 = -l + 5*s for l.
4
Let h be (7 + 37/(-3))*(-66)/88. Solve h = -3*j - 4*c + 1, 4*c = -4*j - 8 for j.
-5
Suppose 103*y = 3*x + 105*y - 176, -48 = -x + 2*y. Solve -d = 2*o - 13, -59*o = -x*o - 5*d for o.
5
Suppose 5*q - 1114 = 2*p, -4*p + 16 = 4. Let w = q + -221. Solve w*k - 19 = -4*l, 0 = 5*l + 3*k - 10 - 13 for l.
4
Suppose 4*z - 76 = 2*c, -5*c = z - 0 - 30. Solve -2*a = 5*o + 2 - 1, -5*a + 5*o - z = 0 for a.
-3
Suppose 2*a - 15*h = -10*h + 81, -3*a + 41 = 4*h. Solve q + 28*k = a*k - 20, -k - 18 = 3*q for q.
-5
Let y = 8 - 3. Suppose 4*h - 3*m - 2562 = -2581, 4*h - m = -1. Solve i - y = -h*s, i + s - 7 = -2*s for i.
1
Suppose 51 = 5*q - 4*i, 22 = 3*q - 3*i - 8. Suppose 4*h - 33*v - 3 = -28*v, -5*h + q = v. Solve h*b + 6 = 0, -2*j + 2*b = 3*b - 7 for j.
5
Suppose -2*d - t = -18, -2*d - 23*t + 6 = -20*t. Solve 8*g - 4*j = 11*g + d, -6 = -4*g + 2*j for g.
0
Let d(k) = -k + 36. Let s be d(-16). Let i = 58 - s. Solve -3 - i = l - 4*j, 4*l - 5*j + 3 = 0 for l.
3
Let i = 21817 + -21796. Solve -3*o + i = -3*p, 54*o - 55*o = 4*p + 3 for p.
-2
Suppose 5*l - 2*w = w + 14, -3*w = 5*l + 4. Let i(p) = 6*p**2 - 6*p. Let o be i(l). Solve -2*f - j + o*j + 2 = 0, -j = -5*f + 12 for f.
2
Let b be (-30)/8*(-20)/15. Let j be (-3 - -9)*(b + -4). Let q be 7 - (-12)/(j/(-2)). Solve -2*m + 4*x + 0 = 2, -q*m = -3*x + 6 for m.
-3
Let g(n) = n**2 + 12*n + 30. Let x be g(-8). Let z(w) = -2*w**3 - 3*w**2 - w - 2. Let r be z(x). Solve 1 = -r*s - 7, -2*s = 3*u + 16 for u.
-4
Suppose 5*h - 12 = 2*h. Suppose 3*a + 21 = 27, -5*a + 25 = 3*m. Solve 7 = 3*s + 4*l, -5*s - 26 - m = -h*l for s.
-3
Suppose 120*d - 1610 = 115*d. Let b = d - 315. Let w(k) = 2*k - 4. Let f be w(4). Solve -b = -l + y, -3*l - 4*y - 22 = -f*l for l.
2
Let v = -3508 + 3515. Solve -12 = 3*h + 5*x, -2*h - v*x = -2*x + 8 for h.
-4
Suppose 0*n - 5*n = -20. Suppose -n*c + 79 = -1. Suppose -2124*s + 2113*s + 44 = 0. Solve -5*o = -m + c, m = s*o + 4 + 12 for o.
-4
Suppose -31*a - 92 = -274 - 4. Solve 2*k = -v + a, 33*v + 2*k = 35*v for v.
2
Let c = 51 - 47. Suppose -6 = o + 3*y + 4, 3*o - c*y = 22. Solve 0*w + o*n + 4 = -w, 5*w - 4 = 2*n for w.
0
Suppose -27*y = -0*y - 621. Suppose -p - 21 = -5*x, 2*p + 2*x + x - y = 0. Solve -k + 2*k + 9 = p*l, -2*k - 2*l = -2 for k.
-1
Suppose 0 = 80*t - 81*t + 3*q - 2, -2*q - 32 = -4*t. Solve -t*w + 12*w + 4*a + 16 = 0, -5*w = a - 5 for w.
2
Let n be (0 + 1)/(27 - (-3082)/(-115)). Solve n*a - 5*p + 20 = 0, 131*p - 126*p = -4*a + 38 for a.
2
Let g = -78 - -66. Let h(v) = -2*v**2 - 26*v - 21. Let y be h(g). Solve 6*b = 2*b - 5*l - 16, 0 = -y*l - 12 for b.
1
Let o be ((-55)/10 + 3)*((-88)/(-5))/(-11). Solve -o*z = -5*i - 20, 10*i - 2*z - 16 = 14*i for i.
-4
Suppose 2*u - 5*r = -1, 3*u - 8*r = -9*r + 7. Let d be (u*24/(-16))/(3/(-2)). Solve d = -0*p - 2*p + 2*v, 3*p - 12 = -2*v for p.
2
Suppose 0 = -2*b - 3*m - 2944 + 2921, 0 = 3*b + m + 3. Solve 17*x = 12*x - b*v + 15, 5*v = -5*x for x.
5
Suppose -n + 3 = -2. Suppose 4*i + 192 = y, -2*y - 3*i + 178 = -y. Let h = 215 - y. Solve h = -4*k - 3*t, -n - 11 = -k + 4*t for k.
-4
Let t(o) = -8*o**2 - 10*o + 10. Let j(p) = 7*p**2 + 10*p - 8. Let c(m) = -6*j(m) - 5*t(m). Let b be c(-4). Solve -i = -3*k + k + 6, k + 4*i = -b for k.
2
Let k = -9611 - -9638. Solve 2*x = 4*d - 18, -d + 4*x + x + k = 0 for d.
2
Suppose d - 418 + 1076 = -4*w, 322 = -2*w + 3*d. Let m = 165 + w. Solve l = 5*t - 9, -2*l + 3*t - 3 = m for l.
1
Suppose -q + 96 = -10*q + 114. Let d(g) = -g**3 + 5*g**2 - 4*g - 1. Let r be d(4). Let s be (-84)/6*r/2. Solve 20 + 1 = -3*u + 5*n, 0 = -q*u + n - s for u.
-2
Suppose 0 = -2*i - 12, 4*i + 1382 = 3*r + 1322. Solve 4*t = 5*u + 36, -2*t - 4 = -r for u.
-4
Let y(j) = -197*j + 197. Let i be y(1). Let u be (-2)/5*(1 - 6). Suppose u = z - i. Solve 5*c + 1 = z*x - 10, -4*x = -3*c - 15 for c.
-1
Let i be (-13)/((-260)/105)*-1*32/(-12). Solve 3*p - 3*u + 16 = 7*p, 2*p = 4*u - i for p.
1
Let i(y) 