 + 5 = -s*b - 2*k, 4*b + 5*k = 8 for b.
-3
Suppose -2*y = -y. Let r(u) = 8*u - 6. Let x be r(7). Let g = x + -45. Solve -30 = 5*z + 2*v, y = -g*v + 4 - 29 for z.
-4
Suppose -31 = -2*z + b, -5*z + 4*b = 3*b - 76. Let t be 0/(3/(z/10)). Solve 4*r = l - 10, 2*r + t = 2*l - 2 for l.
-2
Let d = 5 + 0. Let m = 171 + -165. Suppose 2*p - m = 4*p, -w + p + 6 = 0. Solve 0 = -u - u + w*l + 16, d*u = -3*l - 2 for u.
2
Let b = 7415 - 7410. Suppose -3*w + 12 = -5*k, -5*k - 6*w + 12 = -3*w. Let n = k + 5. Solve n*i = 4*t - 41, 0*t + 9 = -b*i - 4*t for i.
-5
Let s(p) be the first derivative of 4*p**2 - 40*p - 13. Let f be s(5). Suppose f*r = 3*r - l - 39, 0 = -l. Solve 3*q - 29 = -4*w, 5*q - q = 5*w - r for w.
5
Suppose l = -5*b + 57, -4*l = -0*b + 5*b - 63. Let g = b + -3. Suppose -3090*a = -3096*a + 162. Solve 0 = -4*h + g*h + 12, 4*n - 5*h - a = 0 for n.
3
Let u(s) = 4*s - 47. Let q be u(13). Suppose -q*d + 2*d = -5*j + 8, -4*j + 8 = -2*d. Solve -o + 2*o = h - 1, -2*o - d = -h for h.
-2
Let v = 298 - 306. Suppose 0 = -2*n - 4*i + 4, -2*n + 22 = -5*n + i. Let b = n - v. Solve 4 = -f + 3*w, -b*w + w = 3*f + 2 for f.
-1
Suppose -3*v + 150 = 15. Suppose 0 = -4*w + 4*z - 156, -3*z - 219 = 5*w - 0*z. Let n = v + w. Solve 4*y - n*a + 18 = 0, -14 = 3*y - 2*a - 1 for y.
-3
Let h be (1/(-2))/(8 + 495/(-60)). Solve 4*t + u = -18, t + h*u + 10 = -u for t.
-4
Let a = 133 - 133. Let o = -125 + 129. Let w(k) = k**3 + 5*k**2 + 3*k. Let z be w(-4). Solve -5*p + 9 = z*d, a*d + o*d = 2*p - 26 for d.
-4
Let o = -3655 - -3664. Solve 0 = -d - 1, -d - o = 4*j - 4 for j.
-1
Suppose -20 = -6*w + w. Let h be (-270)/(-33) + -5 + (-20)/110. Suppose -2*t - h*c + 44 = -6*c, 0 = w*c + 16. Solve 0*o - 4*l + 14 = -2*o, -4*l - t = 4*o for o.
-5
Let i(w) = -2*w + 15. Let g be i(5). Let t be 0 - 5*3/60*-4. Let c be t + -4 - (-9 - -2). Solve -5*u = -30 + 10, c*u - 1 = -g*l for l.
-3
Let p be (5/2)/(((-21)/78)/(-7)). Suppose -p - 10 = -5*h. Solve 2*b = -3*f - 2*f - 22, 4*f - b = -h for f.
-4
Suppose -5*a = -49*b + 47*b - 17, 32 = 2*b + 2*a. Solve -10 = 5*z, 5*s - b*s + 3*z = 14 for s.
-5
Let l(b) = 1 + 1 + 1408*b - 1407*b - 8. Let g be l(8). Suppose u - g*u = w - 2, 4*u = 4. Solve 2*t - d = 3*t - w, t - 3*d = 17 for t.
5
Suppose -94*j = -54*j - 120. Let p(w) = w**2 + 6*w + 5. Let b be p(-5). Let q be 6 + 2/(-1) + b. Solve q*z - 12 = 0, -j*z = -2*t - 2 - 3 for t.
2
Suppose -5*l + 2 = 2. Let s be 22 - 13 - (2 + -9). Solve 4*y + 0*i = 3*i + 8, 4*i + s = l for y.
-1
Let c = 38173 - 38146. Solve -q = -4*m + 15, 0 = 2*m + c*q - 26*q - 9 for m.
4
Let w = -32027 - -32062. Solve 2*x = 7*x + t - 28, 0 = 4*x + 5*t - w for x.
5
Let g(c) = 2*c**2 - 10*c - 24. Let k be g(-3). Solve -4*a + 0*a = z + 17, -3*z = 3*a + k for a.
-3
Suppose 7 = o + 5, 3*o = 3*a. Solve -d = 3*l + 9, 2 = 12*l - 10*l - a*d for l.
-2
Let j be 2*5/(-110)*-11. Let n = -20 + 32. Let d be (4/12)/(j/n). Solve -4*p = t - 2, d*t = -2*p + 2*t + 4 for p.
0
Let c = -208 - -213. Suppose 0 = -c*x + 3*r + 6, -x = 2*x - 3*r. Solve 0 = 3*p + p - u + 21, 5*p + 35 = x*u for p.
-4
Let h be (2 - (5 - 2)) + (-18 - -23)*1. Solve 0 = -4*g - 3*v - 3, 16*g - 14*g + 2*v + h = 0 for g.
3
Suppose 80*v - 78*v = 2*a - 4, 7*a = -v + 54. Solve 12*z + 33 = 2*n + 17*z, v*n - z - 15 = 0 for n.
4
Suppose 0*a + c - 5 = -3*a, 4*c = -a - 2. Suppose -6*u + 5*u - 108 = 0. Let t be (-24)/u + (-25)/(-9). Solve 0 = 3*h, a*h = t*q - 8 - 1 for q.
3
Let g = 35 + -60. Let j = 135 + -110. Let y = g + j. Solve y = -r + 5*r - s - 12, 5*r - 2*s = 15 for r.
3
Let a = -18284 + 18289. Solve -3*j = -a*t + 130 - 132, -t = j - 6 for t.
2
Suppose 0 = 27*p - 4273 + 11293. Let r = p + 263. Solve 2*b + 3*z = -3*b - 7, 0 = -r*b - 5*z - 1 for b.
-2
Let u be ((-66)/(-8))/(-3)*12. Let p = u - -35. Let a = -18 - -67. Solve 2*v = -p*z - 2, 5*z = 4*v - 9 + a for z.
4
Let o be -3 + (-52)/(-16) + (-55)/(-4). Suppose 12 = 4*y, -4*q + o = 2*y - 8. Let w = 4 + -4. Solve w = -3*j - 2*l + 10, 5*j + 3*l - 11 = q for j.
0
Let v = -9793 + 9834. Solve -4 = -5*p - 4*r - v, 0 = -5*p - 5*r - 40 for p.
-5
Let x be 4 + (-8)/(-4) + (-15)/((-150)/40). Solve 4*h = 6*k - 7*k - x, 5*h + 3*k = -9 for h.
-3
Suppose -67*x - 519 = -70*x. Let n = -257 + x. Let r be (n/(-16) - 5) + (-1)/4. Solve 0 = 4*v - 4*a - 12, 5*v - 7 = -3*a - r*a for v.
2
Let y be (-323)/(-68) - (-1)/4. Let c be (0 - 12)*(-2)/8*2. Suppose 0 = y*m - c - 14. Solve 4*h - u = -3*u - 4, -u = m*h + 6 for h.
-2
Suppose 11 = 5*l + 1. Let s(j) = -57*j + 6. Let h be s(-4). Let y = -228 + h. Solve 4*n + 7 = l*r - 3, -n - y = 3*r for n.
-3
Suppose 175 = 19*m - 26*m. Let n = -51 + 31. Let g = n - m. Solve -h + 1 = g*q + 9, -h = -5*q - 12 for q.
-2
Let r(p) = 2*p**3 + 4*p - 33 + 28 - 6*p**2 + 2*p**2 - 3*p**3. Let t be r(-5). Solve -5*v + 2*v - 6 = -3*g, t = -3*v - 3*g - 18 for v.
-4
Let j(t) = -2*t**2 + 26*t + 32. Let m be j(14). Suppose 0 = 2*i - 5*g + 5, m*i - 2 = 4*g + 6. Solve 0*v - i*v = -o + 24, -v = 4 for o.
4
Suppose 126 = -100*w + 526. Solve 13 = -w*f + j, -3*j + 1 = -14 for f.
-2
Let w be 2/(-15) - (1041/(-45) + -1). Let o = w + -24. Suppose 5 = 3*h + 2*k + 4, -k + 2 = 2*h. Solve o = 4*y + h*l + 12 - 1, -5*y = -l + 28 for y.
-5
Let i(o) = -2*o**2 + 10*o - 13. Let r be i(4). Let k(y) = 6*y**2 + 19*y + 5. Let n be k(r). Let v = 75 - n. Solve 4*q + p - v = 0, 1 = 3*p + 4 for q.
4
Let u(o) = -27*o**2 - 14*o + 5. Let i be u(2). Let d = 133 + i. Suppose -r = -y - 11, -2*y + 15 = -5*y. Solve -d*p - j = 6, r = -3*p + 3*j - 12 for p.
-4
Suppose 770 + 42 = -4*g. Let h = g - -203. Solve 2*f = f - 4*l + 15, h = -2*l + 6 for f.
3
Let m = -12 + -31. Let h = m + -3. Let x = h - -48. Solve -26 = -3*r + 5*g, -2*r = x*g + 2 + 2 for r.
2
Let p be (-6 + 3)/((-3)/15). Suppose 3*i + 13 = 28, -40 = -5*t + 2*i. Suppose 0 = 5*v - t - p. Solve -h + n = 1, -5*n - 47 = v*h - 2 for h.
-5
Suppose 0 = -9*i + 8*i. Suppose v = 4*p - 6, i = 5*v - 4*p - p. Suppose -4 - 2 = -v*f, -3*u - 4*f + 24 = 0. Solve -5*x + 2*t = -17, u - 14 = -3*x + t for x.
3
Let p(s) = 2*s + 1. Let g be p(-2). Let x be (g + 2)/(2 - (-26)/(-12)). Solve -5*n + x = 2*z - 1, 0 = -2*n + z + 1 for n.
1
Let u = -16593 - -16597. Solve 0 = 3*p - 3*r - 9, 17*r = 21*r + u for p.
2
Suppose 0 = 3*t - 9 - 135. Let p = t + -45. Suppose 8*u = 7*u + 2. Solve -4*w + o = -17, 2*w + p*o + u*o + 19 = 0 for w.
3
Suppose -7*x + 83 = 41. Suppose -x*k + 9*k = 9. Solve n - 2 = 0, 4*n = k*c - 7 + 30 for c.
-5
Suppose n - 20 = -4*n. Let c(a) = -a**2 - 224*a + 3846. Let t be c(16). Solve -r + n*l = 14, -3*l + 6 = -t*r + 3*r for r.
2
Let o(u) = u**3 - 4*u**2 - 9*u + 13. Let d be o(-6). Let v = 297 + d. Solve v*x + w + 6 = 2*x, -2*x - 18 = -2*w for x.
-5
Let l(m) = -m**3 - m**2 + 3*m. Let n be l(-2). Suppose 5*u = 4 + 1. Let z be (0/u)/(n + 0). Solve z = -2*f + 5*w - 0 - 17, 0 = -4*f + w + 11 for f.
4
Let h(k) = -7*k + 23. Suppose -2*s + 135 = 127. Suppose 5*l = 5, 0*c - 10 = -2*c - s*l. Let f be h(c). Solve -2*u + 6 = f*q - 0, -5*u + 2*q = 13 for u.
-1
Let l be 2/(-6)*(1 + -13) - 2*-1. Solve -n = -l*n - 15, 4*n + 2 = -5*k for k.
2
Let z be (0/(-9 - 5))/((-7)/((-28)/(-8))). Solve -12*p + 9*p = 2*c - 4, -2*c - 5*p + 8 = z for c.
-1
Let t = -14238 + 14257. Solve 5*j - 4*c + t = 0, 4*j + 19*c + 12 = 23*c for j.
-7
Let u(x) = 23*x - 443. Let a be u(49). Let y = -676 + a. Solve k - q = -y, 2*k + 2*k - 5*q = -36 for k.
-4
Let d be ((-168)/(-364))/(4/312*9). Solve -d*t = -4*o + 20, o + 4*t = -13 - 2 for o.
1
Let n be 6019/(-26) - (-2)/4. Let x = 250 + n. Solve -2*b = -2, -4*i + b + x = i for i.
4
Let k = 244 + -242. Suppose 0 = -4*a + k + 14. Solve 2*b + 1 = -3*p, p - 3 = -a*b - 0*p for b.
1
Let o be (-5 - (-297)/55)*(-70)/(-4). Solve 0 = -4*v + 3*u + 1, v - u = -2*v + o for v.
4
Let f be (-5 - -1) + (2 - (5 + -9)). Suppose 3*y - 3*c - 3 = 0, 5 + 2 = -5*y + f*c. Let o be (-3)/9 + y*44/(-18). Solve 3*h - o - 10 = 4*d, 4*h - d = 1 for h.
-1
Let n(t) = 3*t + 59. Let m be n(-19). Suppose -6 = s - 5*u, 0 = 7*s - 10*s + 5*u + m. Solve s*z = -2*w, 2*z - 9 + 1 = -3*w for z.
-2
Suppose 206 = 5*t + 1721. Let a = t - -307. Solve -4*u + 4*d = a, -d = 2*d - 9 for u.
2
Let u = -7 - -17. Let h = u + -5. Suppose 5*n - 3 = 3*d + 7, -5*n + 4*d = -5. Solve 0 = -2*q + f - 5*f - 10, -h*q + n*f - 10 = 0 for q.
-3
Suppose 0 = -6*y + 8*y - 34. Suppose 3*u = 3*o + 21, 10*u -