 3*i + 9 for k.
0
Let s(b) = -4*b - 50. Let q(u) = -6*u - 117. Let a be q(-17). Let l be s(a). Solve -i - 7 = 4*v, -4*v - l = 4*i + 6 for i.
-3
Suppose -592 = -5*v + 978. Let s = v + -311. Suppose -2*i = -i - 4. Solve 2*a = -0*a - t - 3, -i*a - s*t - 3 = 0 for a.
-3
Suppose 4*m - 5*d + 19 = 2*m, d = 5*m - 10. Suppose -5*c - 4*b - 37 = -10*c, 4*c - 4*b - 32 = 0. Solve -4*y + 9*r = 4*r, -m*y + c*r = 0 for y.
0
Let g be ((-1)/2)/(1/6). Let w = 6 + g. Let m(l) = l**2 + 48*l + 381. Let s be m(-10). Solve -5*d + 20 = -w*q, 2*d + q + 2 = -s for d.
1
Suppose -35 = 13*f - 61. Let j = -3 - -11. Suppose -j = -f*l + 3*c, -2*l - c = 2*l - 16. Solve -2*a = -l, 2*a = -4*x - a + 22 for x.
4
Suppose -298*s + 5*r = -296*s - 10, 0 = 5*s - 3*r - 25. Solve 51*v - 3*k = 53*v + 22, -37 = s*v + 3*k for v.
-5
Suppose -52*n = -3*n - 196. Solve 3*y + n*f + 18 = 8*f, 0 = -5*y - 3*f - 1 for y.
-2
Suppose c = 4*w + 840, c = 5*w + 1203 - 362. Let o = 840 - c. Solve 4*d - 8 = -o*v, 5*v + 0 = d + 4 for v.
1
Suppose -3*q - 7 + 10 = -3*n, 2*n - 3*q = -6. Suppose -4*w + 16 = 2*g, -g + n = w - 0. Solve -s = -3*r - 6, w*r - 2 + 12 = -s for s.
0
Let x = -2038 + 2041. Solve 0 = -4*r + 7*r - 3*d, 3*r - 4*d = x for r.
-3
Let p = -40603 - -40758. Solve 4*r + 3*c - 28 = 0, -2*r = 3*c - p + 135 for r.
4
Let c = -3 + 3. Suppose c = -2*w - 4 - 0. Let v be w/(6/(-9)) + (-12)/4. Solve -5*y + o = -v*y, 3*o = 15 for y.
1
Suppose 31*r + 78 - 140 = 0. Solve -2*a + 18*i - 52 = r*i, 2*a - 2 = -2*i for a.
-2
Suppose -4*w - 3*m + 682 = w, w = -m + 136. Suppose -149 = -26*i + w. Solve 2*y - i = 5*h, -5*y - 2*h = h + 19 for y.
-2
Suppose 0 = 3*h - 3*q - 117, -3*h - 19 = q - 120. Solve 4*t + h = -5*d, -4*d - 11*t + 10*t - 17 = 0 for d.
-3
Let w be 8/(486/(-120) + 4). Let a = w - -162. Solve 3*p + 21 = a*n, p = -3*n - 3*p - 11 for n.
3
Let f be ((-2)/(-4) + -1)/(341/(-2728)). Let s(m) = -m + 9 + 3*m - m. Let p be s(0). Solve 0 = -3*g - 15, p*q = 4*q + f*g + 10 for q.
-2
Let m be (-4)/(-22) + 2 + (-105)/33. Let u be (-8 - m)*6/21*-2. Solve r - 7 = 2*h + 3*h, 0 = -2*r + u for h.
-1
Let t = -27 - -33. Suppose 3*d - s = 6*d - 9, 3*s - t = -2*d. Solve d*z - p = -z - 14, 2*z + 5*p = -18 for z.
-4
Let t(a) = a**3 - 5*a**2 + 2*a - 5. Let c be t(5). Suppose c*q - 46 = 14. Let u = 9167 - 9163. Solve -j = -u*h - 8 - q, -3*h - 2*j = 4 for h.
-4
Let j = -8298 - -8387. Solve 4*k + 2*u + 2 = 0, -j*k - 4*u - 9 = -86*k for k.
1
Suppose 0 = 4*q - 2*p - 24, q + 5*p = -q. Let z(n) = -n**3 - 6*n**2 + 56*n - 184. Let k be z(-12). Solve 3*a + q*i - 1 + k = 0, 3 = -a - i for a.
-4
Let v be ((-6)/5)/(30/(-200)) + -26 + 22. Solve 58*y = b + 56*y + 4, -v = b + 5*y for b.
-4
Suppose 10*r = -30*r + 7 + 33. Solve -2*q + 9 = 4*o + 15, -3*q - o + r = 0 for q.
1
Let w(x) be the third derivative of -x**6/120 - 7*x**5/60 - x**4/2 - 7*x**3/6 - 118*x**2. Let a be w(-5). Solve t = -a*v + 8, -2 - 26 = -5*t - 3*v for t.
5
Let m be 3 + -5 + -5 + 2. Let u(w) = 2*w**2 + 8*w - 11. Let b be u(m). Let q be b/2*-18*4/6. Solve -2*z - 10 = 0, -4*t = 4*z - q*z - 18 for t.
2
Let x = 17806 - 17804. Solve -92 = -x*o - 3*r - 87, 0 = -2*o + 3*r - 1 for o.
1
Suppose 46*d + 64*d - 123*d + 39 = 0. Solve d*q - 4*q - 5*i + 18 = 0, 0 = 4*q - 4*i for q.
3
Let t = 16218 + -16214. Solve -n + 4*q = -4*n + t, -10 = 5*q for n.
4
Suppose -o - 3*r + 5 = 0, -58*r = -o - 53*r - 3. Solve -4*b + 6 = -5*b + o*g, -2*g = 5*b - 6 for b.
0
Let k be (-20 + 22)*((-30)/(-12) - -6). Solve 0 = 4*w + 5*q + 52, -11 = -4*w + 5*q + k for w.
-3
Suppose 699 = 13*c + 192*c + 28*c. Solve 3 = -3*i + b, 3*i - 5 = c*b - 2 for i.
-2
Let a be 13/(468/(-8)) - (-1024)/(-9). Let d be (a/(-36) + -4)*-6. Solve -d*p + 23 = u, 4*u - p = -0 + 8 for u.
3
Suppose -16 = -5*x + 4. Suppose -32 = -3*y - 32. Suppose 3*t = -9*h + 14*h + 28, y = -t + 3*h + 4. Solve 2*q = -4*l + t, 0*l + x = l - 2*q for l.
4
Let k = 2397 - 2393. Solve k*u = n - u, -17 = -3*n - 2*u for n.
5
Suppose 0 = 2*v + 354 - 354. Solve -5*d - l + 21 = v, 2*d + 0*d = l + 7 for d.
4
Suppose -4*k + 8 = -8. Let s = -367 - -411. Suppose 6*b - s*b = -190. Solve -2*m + b*n = k, -n = -0*m - m + 1 for m.
3
Let f = 4 - 1. Let g(n) = -3 + 5 - 3*n + f*n**2 + 0. Let t be g(1). Solve -6*h = -t*h + 4*u, -2*h = 4*u for h.
0
Let y(g) = 210*g - 3357. Let z be y(16). Solve -z*p = 3*u - 5*p - 4, 4*u + 6 = -3*p for u.
0
Suppose -35*i = 313 - 313. Solve 2*a + 3*z - 2 = i, z + 3*z = 16 for a.
-5
Suppose -62*c = -36 - 646. Solve 2*g - s = -7, -4*s + c + 12 = -3*g for g.
-1
Suppose 0 = -126*z + 2120 - 230. Solve -s + 10 = -3*h, -5*h - z = -4*h + 2*s for h.
-5
Let r be (-2 - 30/(-16)) + 3747/24. Let u = 158 - r. Solve -3 = 4*s - 3*s, -u*d = -s - 5 for d.
1
Let b = -19981 + 19992. Solve -t + b = 5*j, 3*j - t - 5 = -0*j for j.
2
Let q(o) = o**3 + 20*o**2 + 74*o - 20. Let c be q(-15). Let w(y) = -y**2 - 30*y - 105. Let i be w(c). Solve -4*j - i = -5*g, -g + 20 = -2*j - 2*j for j.
-5
Let d be (-4)/16*-4 + 6. Let v be 1/(1 + d/(-8)). Suppose -4*n - 25 = -3*g, 5*g = 3*n - v*n - 5. Solve g*x = 4*t + 2, -7*x + 2*x = 5*t + 20 for x.
-2
Suppose -20*h = -683 + 603. Solve 6 + h = 3*p + 2*g, -2 = -g for p.
2
Let x(t) = -t**2 - 8*t + 243. Suppose 0 = -58*u + 17*u - 820. Let m be x(u). Solve -5*w + 16 = 4*q - 19, 0 = m*w + 5*q - 34 for w.
3
Let z(f) = 4*f**2 + 88*f + 244. Let m be z(-3). Solve -10 = -5*q + 5*p, 3*q - m = -4*p - 17 for q.
1
Suppose 3*u + 85 = o, -9*o - 130 = 4*u - 7*o. Let i(l) = l + 34. Let c be i(u). Solve -3*f + 4 = c*p + 33, 2*p - 3*f = -1 for p.
-5
Suppose -28 = -3*k + 4*b, 58 = 2*k - 3*b + 38. Solve 6*p = p - k*w + 12, p - 9 = -3*w for p.
0
Suppose 3*n = 1 + 2. Let s(d) = d**2 + 57*d - 244. Let g be s(4). Solve 2*b - 19 + n = 4*k, 3*k + 2*b - 4 = g for k.
-2
Suppose 0 = 5*l + 112 + 103. Let x be 67/402 - (-698)/(-12). Let h = l - x. Solve -5*s - 3 = -i - h, -3 = s - 2*i for s.
3
Let s(q) = q**2 + 13*q + 17. Let t be s(-11). Let x be t/((-50)/(-365)) + 1/(-2). Let k = x + 45. Solve -4*r + 8 = 5*d, -4*r - d + k = -5*d for r.
2
Let d be (-9)/((-24)/((-40)/(-5))). Suppose -a = 0, -5*n = -3*n + d*a. Solve -4*l + 12 = n, 2*b - l = 3*l - 14 for b.
-1
Suppose -9*m + 1178 = 22*m. Solve -m*q - 21 = -33*q - 2*g, -4*g + 12 = 0 for q.
-3
Let o(t) be the first derivative of -5*t**2 + 2*t + 20. Let q be (-2)/5 - 8/(-20). Let s be o(q). Solve 3*c - 4*a + 1 = 0, s*a - a - 1 = 0 for c.
1
Suppose -31 = -13*z + 58 + 106. Solve -3*w - 3*v = z, w - 2*v = -3*w - 8 for w.
-3
Let w = -11911 + 11912. Let c be 9/(-15)*(-5)/1. Solve -5*n = -c*j + 14, w + 1 = -j for n.
-4
Suppose -2*r - 6 = -5*o, -2*o = 4*r - 7*r + 2. Suppose -f - 4*i - i = 17, 4*f - 42 = r*i. Solve -3*v - 6 = 0, 2*y = 3*v + v + f for y.
0
Let f = -2562 + 2565. Solve 2*z = -5*r - 14, -10*r + f*z = -7*r for r.
-2
Suppose -5*b + 12 = -28. Suppose 0 = 7*y - b*y. Suppose y = -5*i - 5*l - 15, 16 = 3*i - 0*i - 2*l. Solve -3*f - f + 5*g = 0, 4*f - i*g + 12 = 0 for f.
-5
Let g = -2007 + 2009. Solve 2*s = 3*i - 5, 4*i + g*s = 3*s for i.
-1
Let q be 7/238*-4 - 1572/(-68). Solve 0 = 4*n + 5*m + q, -10*m = -n - 7*m + 7 for n.
-2
Suppose -13*k - 812 = -6*k. Let b = -96 - k. Suppose 0 = -0*u - 4*u + b. Solve s - 4 = 2*p, u*p + 16 = 4*s + 3*p for s.
4
Suppose 23*z - 106 = -14. Solve -7*x + z = -5*x + 3*h, 0 = -3*h - 6 for x.
5
Let i(b) = -10*b. Let y be i(-2). Let w(f) = -2*f**3 + y*f - 7 - 3*f**2 + 4*f**3 - 28*f - f**3. Let j be w(5). Solve -2*d + 6 = 0, j*p - 4*d = 7*p - 24 for p.
3
Suppose 0 = -19*c - 3713 - 7725. Let k = 605 + c. Let r(v) = v**3 + 3*v**2 - 3*v - 1. Let n be r(-3). Solve k*j = -4*g - n, 2*g - 4*j = 3*g - 11 for g.
-5
Suppose 45*s - 68 = 112. Solve 24 = 32*b - 36*b, 3*d - 33 = s*b for d.
3
Let j(a) = -5*a**3 + 2*a**2 + 3*a - 1. Let d be j(4). Let q = 280 + d. Solve 3*o + 17 = q*g + g, 4*o + 12 = 0 for g.
2
Let b = 7437 + -7436. Solve d + 186*w - 185*w - 1 = 0, b = -w for d.
2
Let t(n) be the second derivative of n**3/6 + 9*n**2 + 35*n - 1. Let h be t(-14). Solve 5 - 14 = u + h*f, 5*u + f = -26 for u.
-5
Let o be -1 + 46*(-4 + 3). Let w = -47 - o. Let t be (-12)/(-8)*-2 + 4 + 1. Solve -4*f = -v + 14, -t*v + 3*v - 2*f - 6 = w for v.
-2
Let x = -10289 - -10292. Solve 0 = -8*c + 10*c - x*z - 20, -2*c = -2*z - 16 for c.
4
Let u be 2*27/12*(-40)/(-60). Solve -l = 5*g - 4 + 1, 9 = 3*l + u*g for l.
3
Let k(s) = 8*s + 16. L