v = -5*b - 17 for v.
3
Let v = -7 - -12. Suppose 571 = -c + 580. Suppose 0 = k - 5*g - 10, 5*k = c*k + 5*g - 40. Solve 0 = -4*x - 3*y + k, -2*y + 2 = -x - v*y for x.
4
Let s(g) = -31*g + 2. Suppose -81*o = -92*o. Let h be s(o). Solve 2*i - i + 1 = 0, h*d - 2*i + 4 = 0 for d.
-3
Suppose -4*b + 10 = c, 3*b + 5*c + 99 - 98 = 0. Solve b*x = -4*o - 4, -4*x - 4*o - 10 = -2 for x.
-4
Suppose -5*y - 3 = -4*a - 18, -5*y + 15 = 2*a. Let d be (-6)/(-18) + (-4)/y. Let r be (-2 - d)*(5 + -25). Solve -5*w = -3*i + 15, -5*w + 4*i - r = -w for w.
0
Let p(q) be the second derivative of -q**4/12 - 13*q**3/6 - 17*q**2 + q - 2. Let i be p(-8). Solve 0 = -c - 1, 3*s + 2*c - 7 = i for s.
5
Suppose -35*k - 4 = j - 32*k, 5*j = -k + 8. Solve j*x + 4 = -4*a, -4*x + 4*a + 10 = -18 for x.
4
Suppose 0*o = -2*o - 3*v + 41, -4*o - 3*v + 91 = 0. Let z(w) = w + o + 5 + 3. Let y be z(-4). Solve -c - 3*k = 4*c + y, k + 7 = -c for c.
-4
Let b = 2308 - 2304. Solve b*k = -4*o - 12, 12*o - 3 = 11*o + 5*k for o.
-2
Let c = 5105 + -5102. Solve 3 - 4 = n + 2*d, n - c = -4*d for n.
-5
Let n = -35 + -147. Let v be (n/49 - -4) + 192/14. Let i be v/(-70) - (-2)/10. Solve 4*o + i*o = 2*f - 18, f = -3*o - 11 for f.
1
Let b be (-3)/((-18)/(-138)) + -1*4. Let g = b - -32. Solve -3*q + 19 = -q + g*m, 5*q - 19 = -3*m for q.
2
Let d = 21 - 30. Let f(i) = -i**3 - 8*i**2 + 7*i - 18. Let l be f(d). Suppose -6*c + 8 - 2 = l. Solve -3*o = -2*q - 10, -5*q + c = -o - 0 for o.
4
Let y = 270 + -240. Suppose -y*t - 9 = -9. Solve -5*v + 3*x - 4*x - 5 = 0, 5*x + 25 = t for v.
0
Suppose 92*p - 64 = 133 - 13. Solve 2*x + 5*y = -11 - 2, x + 6 = -p*y for x.
-4
Let v(o) = o**3 - 4*o**2 + 2*o - 158. Let s be v(7). Solve 5*r - 5 = -s*n, 2*r - 2*n + n - 13 = 0 for r.
4
Suppose 0 = -3*x - 2*c + 3244, -496 - 577 = -x + c. Suppose n = -1074 + x. Solve 5*l + n = 2*s, 4*l - 3*l + 5*s - 10 = 0 for l.
0
Let v(u) = -8819*u - 30 - 4*u**2 + 8801*u - 15*u**2 + u**3. Let l be v(20). Solve 10 = -2*j - j - 2*w, 2*w = 4*j - l for j.
0
Suppose -576 = -245*l + 221*l. Suppose w = -2*r - 0*r + 11, -r + 3*w + 9 = 0. Solve 0 = 3*f - 5*m + 8 + r, 4*m - l = -4*f for f.
2
Suppose -66*t = 13*t - 39*t - 600. Solve 36 = 4*j + 4*y, 6 = -13*j + t*j - y for j.
5
Suppose 4*x = 2*x + 6. Suppose 2*s = 3*m + 17, -2*s - 5*m + 727 = 734. Solve 0 = -2*p + x*z, 3*p = z + s*z for p.
0
Let v = 34 + -33. Let m be (4/(-8))/(v/(-30)*3). Solve 4*d + h - 7 = 2*h, 0 = d + m*h - 7 for d.
2
Suppose -64 + 19 = -9*a. Suppose -29*u - a = -34*u. Solve 2*k = -4*s, 0 = k - 4*k - 5*s - u for k.
-2
Let s be (-592)/(-36) - 8*5/90. Solve z + 18 = 4*u + 14, -2*z - 4*u = -s for z.
4
Let y be (-3915)/540 - (-14)/2 - 18/(-8). Solve -8 = y*m, 15*l = 16*l + 3*m + 15 for l.
-3
Let o be (13 + -14)/(2 + 75/(-39)). Let r be 1*-1 + (o - -37)/6. Solve 4*w - 4*m = 1 + r, -2*m = w - 1 for w.
1
Let j(d) be the second derivative of -5*d**3/3 + 91*d**2 + 2*d - 82. Let o be j(18). Solve -4*y - 6 = 2*p + y, 0 = -2*p + o*y + 8 for p.
2
Suppose 0 = -d + 30 - 40. Let o be 16 + (-1 - 2) + 12 + d. Solve 0 = -5*j + o, -4*u - 6 = -6*u - 2*j for u.
0
Suppose -2*p - b + 3 = -p, 2*p = -b + 3. Suppose 3*l + 16 = 25. Suppose l*k - 3*z + 6 = p, -k + 4*z + 9 = 20. Solve 3*g - 5 = -2*y - k, -2*y + 20 = -5*g for y.
5
Suppose 8*z - 52 = -4*y + 3*y, 3*y = z + 56. Solve -13*q + 17*q = -4*p + y, 2*q - 18 = -4*p for q.
1
Let z = 774 - 772. Solve 0 = -4*i + 5*v + 13, -z*i - 3*v + 2 - 1 = 0 for i.
2
Let i = -9952 + 9962. Solve -25*d - 2*u = -28*d - 5, -i = -2*d + 4*u for d.
-5
Let t(r) = -238*r + 2618. Let q be t(11). Solve 5*m - 17*y = -13*y - 8, q = 2*y - 4 for m.
0
Let z(m) = -m**2 - 32*m - 81. Suppose -23*g - 3*f + 3 = -25*g, 5*f = -2*g - 11. Let k be z(g). Solve 4*a = 4*o - 8, 4*a = a - k for o.
0
Let x = -2405 + 2405. Solve 3*n + 20 = 5*a - 5, x = 4*a - 4*n - 28 for a.
2
Suppose -6 = -2*d + 88. Suppose -58 = -7*s + d. Suppose 3*g - 5*g + 14 = 0. Solve -3*k + 7*k + s = l, -l + g = -2*k for k.
-4
Let t(m) = -m**2 + 27*m - 4. Let i be t(4). Let c = 93 - i. Solve 5*r + 8 - 1 = 4*y, -c*y = -4*r - 11 for r.
1
Suppose 2*p = -3*y + 22, 3*y + 18 = 3*p + 15. Solve -t + 5*u = -10, y*t = 3*u + 2*u + 10 for t.
0
Let m = -4 - -3. Let b(a) = 4*a**3 + a**2 - 18*a + 33. Let v be b(2). Let s = m + v. Solve 0 = f + 3, 3*f + f = -4*t - s for t.
-5
Let g = 209 + -389. Let y = g + 180. Solve -3*b + 5*x - 6 = y, 0*b - 10 = 5*b - 5*x for b.
-2
Suppose 4*m + 1 = -3*c, 9*c - 2*m = 8*c + 13. Suppose 3*g = -4*h + 19 + 2, 4*g - 24 = -4*h. Solve -2*r + u - h = -0, c*r + 5*u = -45 for r.
-4
Suppose -5*s + 5*w = 30 + 145, -3*w = -4*s - 142. Let u = 39 + s. Let y(g) = -2*g - 8. Let a be y(-14). Solve u*l = d + 4*d + a, -d = -3*l + 17 for l.
5
Let r(h) = -48*h**2 + 14*h - 33. Let n be r(2). Let w = n - -200. Solve -z = -2*b + 4, w*b - 3*z + 7*z - 6 = 0 for b.
2
Suppose 221 = 2892*r - 2879*r. Solve 0*o - 4*x = 2*o + 14, r = -3*o - 4*x for o.
-3
Suppose 2*r - 3*r - 782 = 3*d, -4*r - 279 = d. Let n = d + 266. Solve 4*i = i + k, -5*i = -4*k - n for i.
-1
Suppose -889 = 2*s + j, -54*j + 1 = -53*j. Let r = s - -449. Solve 4*p + y = -4*y + 2, -14 = -2*p + r*y for p.
3
Suppose 2*h = -2*t + 10, 92 = -t + h + 91. Solve -4 = 3*i + t*k, 5*k = -i + 9 + 7 for i.
-4
Suppose -p = -0*p - 2*o + 6, 0 = 3*p + o - 10. Solve -5*j = -p*w - 11, -4 = 5*j + 21*w - 18*w for j.
1
Suppose -371 = -64*k + 333. Solve 5*h = 25, -x - x + h - k = 0 for x.
-3
Suppose -2*l = -p - 0*p + 14, -5*p = 3*l - 5. Solve 6*a - 9*a - 6 = p*r, -r + a = 5 for r.
-3
Let b(x) = 38*x**2 - 379*x + 6. Let f be b(10). Solve 2*o = -5*i + 8 - f, -5*o = 5*i + 20 for i.
0
Let w = 12643 + -12617. Solve 2*v = -o, 0 = 5*o + 3*v + w - 33 for o.
2
Let q be 6/(-16) - 4*45/(-480) - -5. Solve 5*o + 8 = -2*a + 11, -2*a - 7 = -q*o for a.
-1
Suppose 5*x + 3*o - 185 = -2*o, -x = -o - 33. Let a be (-17)/(102/(-24)) + (x - 2). Solve -5*t - 8 - a = -5*b, 0 = 3*b + t - 7 for b.
4
Let a = 10390 - 10385. Solve 6*b - a = b - 4*f, 4*b = -f + 15 for b.
5
Let c = -442 + 455. Solve -4*w = 4*g + c + 3, 14 = -2*g - 5*w for g.
-2
Suppose 3*x = -3*o + 12, -2*x - 5*o - 4 + 0 = 0. Let h(j) = j**2 + 52*j + 105. Let n be h(-2). Solve n*a + x = 3*c - 3, -3*c = -3*a - 3 for a.
-4
Let y be ((-295)/236)/(10/(-688)). Solve 5*f + 8*b + 29 - y = 0, -b + 24 = 4*f for f.
5
Let a(r) = -r**3 - 4*r**2 + 28*r + 0*r**3 + 0*r**3 - 29*r - 27. Let q be a(-5). Solve 2*y + h = q*h - 6, -2*y = 2*h - 10 for y.
1
Let j = 2299 + -2297. Solve -g + j*r - 4 = -2*r, 2*r = 0 for g.
-4
Suppose -11*d - m + 6 = -7*d, 2*d = 4*m - 24. Solve -5*j + z - 7 - 13 = 0, d = -j + 2*z - 13 for j.
-3
Suppose m - 58 = -13. Suppose m = -6*p + 45. Let c = 4 - 2. Solve l + 2 = -o, p*o - 4 = -4*l + c*o for l.
0
Suppose -23*t + 94 = 24*t. Solve -5*x + 15 = -t*i, 5*i - 23 = 2*x - 8 for i.
5
Let l(w) = w**3 - 3*w**2 + 3*w + 14. Let a be l(0). Suppose 15*j - 4 = a*j. Solve u = -z + 8, -2*z + 0*u + 2*u + j = 0 for z.
5
Let u(b) = -b + 1. Let f be u(-2). Let o(s) = -3*s**2 + 66*s + 18. Let h be o(22). Suppose 8*w - 6*w - h = 0. Solve f*r + y = w, 0 = 4*r - 5*y + 2*y + 1 for r.
2
Let w = -31 - -48. Let h = -19 + w. Let z be 1/h*(4 + -8). Solve 3*q - z*t + 8 = 0, -6*q = -q + 2*t + 24 for q.
-4
Let z(l) = -l**2 + 3*l + 31. Let q be z(5). Solve 0*t - t = -5*g - q, -3*t + 3 = 0 for g.
-4
Suppose -5*b + 67 = 2*n, 3*b - 3*n = 31 + 26. Solve -18 = -k + 5*l, -3*k - b*l - 2 = -16*l for k.
-2
Suppose 5*g = -79 - 1. Let c(d) = d**2 - 10*d + 40. Let j be c(7). Let n = j + g. Solve -3*q = q - 5*m + 5, 3 = -q + n*m for q.
0
Let z(k) = -24*k**2 + 135*k + 57. Let g be z(6). Solve -g*d + w - 9 = 0, 0 = 20*d - 24*d + w - 13 for d.
-4
Let r(i) = i**2 - 14*i + 3. Let h = -29 - -29. Suppose 2*y + 5*s - 3 = h, 3*y - 57 = s + 2*s. Let v be r(y). Solve 4*c = 4*j + 2*c - 6, -j - v*c - 16 = 0 for j.
-1
Suppose -5*x + 6 = -2*t - 5, 6 = -3*t + 4*x. Solve -u + 2 = -d - t, 4*d = -16 for u.
0
Suppose 3*a = 25*f - 20*f - 12, -24 = -3*a - f. Solve k + 9 = -3*r, k = 2*r + 6*k + a for r.
-3
Suppose 2*u + 42 = -5*h, 7*u + 2*h + 147 = 2*u. Let l = u + 52. Let q be (-117)/(-18) + (-10)/(-4). Solve a = -4*f + l, -2 = f + 2*a - q for f.
5
Suppose 2*i + 2*i = 60. Suppose i = 4*u + 7. Suppose 4*t - 1 = u*p + 11, 9 = 3*t - p. Solve 0 = -3*j - 3*y, 0*j + t*j + 5*y = -6 for j.
3
Suppose -2*c - 3*a + 22 = 0, 4*c + a + 14 = 