+ 7 = v for a.
-4
Suppose 6 = -5*v + 26. Let s(z) be the first derivative of -z**4/4 - z**3 + z**2/2 + 6*z + 1. Let t be s(-3). Solve -v*d + 6*b = b + 23, -t*d - 18 = -4*b for d.
-2
Suppose 0 = 2*r - 4 - 2. Suppose 4182*a - 40 = 4174*a. Suppose 4*q - 24 = -371*b + 368*b, -11 = 3*q - a*b. Solve 28 = 4*k - q*d, -r*k - k = -5*d - 36 for k.
4
Let q(a) = -4*a**3 - a**2 - 9*a - 11. Let w be q(-2). Solve -5*f - 16 = 37*j - w*j, -4*j + 12 = -f for f.
-4
Let t(j) = 154 - 4*j - 73 + 3*j - 77. Let h be t(2). Solve -4*d - 5 = -4*p + 7, -h*d + p - 6 = 0 for d.
-3
Let g be (-5)/((-3)/((-12)/(-5))). Solve 5*y + g*z - 36 = 0, 0*y = -3*y - 4*z + 28 for y.
4
Suppose 355 = 5*b + 5*w, 9*b = 5*b + 3*w + 270. Let c = b - 64. Solve 0 = u + c, -3*g + 3*u + 11 = -g for g.
-2
Let k = 31 - 23. Suppose 2*y - 40 = -3*r, k*y - 4*y - 4*r - 120 = 0. Suppose -4*v = u - 0*v + 12, 32 = 4*u - 4*v. Solve u*x + x = -2*f - y, -23 = 5*x + f for x.
-4
Suppose 0 = -122*f + 118*f + 136. Suppose f*y = 56*y - 88. Solve -5*s = -y*t + 9, 5*s - 1 = -4*t + 2*s for t.
1
Let f = 31 + -23. Solve -9*a + f = -4*a + z, 3*z + 16 = 5*a for a.
2
Suppose 0 = -5*u + 8 + 2. Suppose -8 = -0*p - u*p. Let f be (-3)/3 - (-17 + 0). Solve 3*l = -5*s, -5*s - p = -l + f for s.
-3
Let o = -8 - -24. Let j(r) = 5*r + 17. Let w be j(15). Let p = 92 - w. Solve p = h + h + 5*s + o, 25 = -5*h - 5*s for h.
-3
Let m = 3518 - 3509. Solve -4*l + 22 = -5*r, 0 = 11*r - m*r + 3*l - 5 for r.
-2
Suppose 2*y = -2*h + 18, -4*y - 12*h + 10*h + 32 = 0. Suppose -286 = -19*l - y*l. Solve 4*m - 5*f + l = -24, 3*m = 2*f - 21 for m.
-5
Suppose 2*f - f = -5*x - 16, x = -f. Solve 8*b - q = 11*b - 4, 0 = -f*b + 5*q - 1 for b.
1
Suppose -24 - 4 = -4*w + 2*m, 0 = 5*w - 4*m - 29. Let v be (0/(-174))/((-8 - 1)/3). Solve 5*j = 15, v = -4*i - j + 2*j + w for i.
3
Let u be 8/(-24)*-21 - 8. Let c be 6 - (-1 - u*(10 - 5)). Solve 5*q - c*r = 40 - 10, -3*r = 3*q + 3 for q.
4
Suppose j = -4*v, -2*v - 2*v - 87 = -79. Solve j = -4*x, -4*p + 6*x - 2 = 3*x for p.
-2
Suppose -22*g - 4*d - 3 = -23*g, 0 = -g + d + 3. Solve -g*u + 13 = -52*n + 54*n, -5*n - 30 = -5*u for n.
-1
Let t be (-27)/(-9) - (11/(-22))/(1/6). Solve f - 4*i + 7 = 0, -3*i + t = -f + 2 for f.
5
Suppose 3*b + 10 - 22 = 0. Suppose 4*v + 12 = 2*j - 10, j - b*v = 19. Let o = -10 + 24. Solve -2*x + o = j*d, d - 4*x = x - 18 for d.
2
Let m be (1434/(-3107))/((-6)/(-52)*-1). Solve 2*y + 3 = -3*f, -3*y - 5 + m = f for y.
0
Let l be (1 + -25)*82/(-123) + -6. Solve 0 = i - k, 3*i = -l*k + 11*k for i.
0
Let l = -5027 + 5032. Solve 4*i + l = 3*p, 8*p + 5 = 3*p for i.
-2
Let i = 27708 - 27681. Solve 4*j = -2*z + 8, i*z - 26*z = -3*j + 4 for z.
4
Let l(t) = t**3 - 2*t**2 - t - 1. Let j(g) = g**3 - 6*g**2 + 3*g - 11. Let i(m) = j(m) - 2*l(m). Let k be i(-4). Solve k*n - 5 = -s, 4*s = -5*n + n + 4 for n.
2
Suppose -5*b - 211 = 4*u, 5*b = -0*b - 3*u - 207. Let p be (1 + 2)/(b/(-26)). Solve 3*n = 3*k - 3, k + 5*n = -p*k - 29 for k.
-3
Suppose 407*o = -72*o + 2395. Solve -o*n = -m - 27 - 2, 5*n - 33 = 2*m for m.
-4
Let o = 72 + -18. Suppose o*f = 49*f + 165. Let h = -31 + f. Solve 0 = 5*s - h*w + 8 + 7, 4*w = 20 for s.
-1
Let r(f) = f**3 - 60*f**2 + 866*f - 70. Let c be r(36). Solve -2*z = -c*a + 4 - 8, 4 = 5*a + 2*z for a.
0
Let m = 4994 + -4989. Solve -34*q = -39*q - 3*o - 1, 11 = m*q - 3*o for q.
1
Suppose 2*o = 4*d - 166, -2*d - 5*o + 185 = 3*d. Solve 5*a - 3*u - d = 0, -2*a + 2*u - 17 = -37 for a.
5
Let j = -19697 + 19699. Let c = 11 - 8. Solve -2*b = 4*a - 20, c*b = 2*a - 2*b + j for a.
4
Let g be ((-11)/((-33)/(-18)))/(-1). Suppose g*d = 266 - 242. Solve -1 = x - 3*l - d, 2*l - 2 = 2*x for x.
-3
Let a be 15 + -2 + -4 + 5. Let k be (-4)/a + 23*(-5)/(-35). Solve 16 = 5*w + 2*i, -2*w - k*i + 10 = -4*i for w.
4
Suppose -97*l + 1670 = 28*l + 42*l. Solve -4*a = 3*p - 18, 8*a - p = 4*a + l for a.
3
Let t(j) = 3*j**3 + 3*j**2 + 2*j - 5. Let a be t(1). Solve a*b - 5*i + 25 = 0, -b - 15*i + 13*i = -10 for b.
0
Let z be 3/(-2) + 9/6. Suppose -r - 5*o - 16 = -0*r, z = -r - o. Let d be 0 - 0 - (-1 + 6)*-1. Solve -2*h - 17 = 5*l, d*h + 21 - 4 = -r*l for l.
-3
Let y(r) = -34*r**3 + 2*r - 1. Let p be y(-2). Let z = -263 + p. Solve -20 = z*a + 2*t, 3*a + t + 4 + 9 = 0 for a.
-3
Let o = 96 - 86. Let r be o*(4 + (-25)/6)*-3. Solve r*k - 30 = -4*w - 9, k + 4*w - 1 = 0 for k.
5
Suppose 131 = 28330*w - 28199*w - 524. Let l(q) = -q**3 + 6*q**2 + q - 4. Let d be l(6). Solve v + 2*x + 4 = 4*x, w*v + d*x + 8 = 0 for v.
-2
Let a(c) = c**2 - 29*c - 477. Let s be a(41). Solve -5 = -0*q - q, 5*u = -2*q - s for u.
-5
Let w be (-8)/(-12) - (-8)/24. Let l be (-1 - w)/2 - -3*1. Solve 0 = 3*z - l*u - 12, -u - 2*u = -4*z + 17 for z.
2
Let z(n) = 3*n**3 - 4*n**3 + 1 + 2 - n**2 - 4*n + 5*n**3 - 5*n**3. Let y be z(0). Solve 0 = -4*w, 0*a - 5*w + y = -a for a.
-3
Suppose -370 + 310 = -20*y. Solve -13 = 2*m + 5*s, 21*s = -m + 22*s - y for m.
-4
Let c(a) = a**3 - 7*a**2 + 2*a + 14. Let l be c(5). Let n = 29 + l. Suppose -5*g + n = -77. Solve -5*f + 8*f + 9 = 0, -h + 5*f = -g for h.
1
Suppose 1033*r - 1029*r = -t + 49, -4*t - 12 = 0. Let c be 2/(-5) - (-108)/20. Solve 7 = -2*y + 3*b, 3*y + 5*b = c*y + r for y.
1
Let y(c) = 2*c - 52. Let i be y(29). Suppose i*d + 9*d - 3*d = 0. Solve 2*h - 29 = 5*p, d*h + 2*p + 6 = -2*h for h.
2
Let g(i) = 4*i**2 - 630*i + 316. Let z be g(157). Let x = -9 + 20. Let y(b) = -b + 1. Let d be y(-3). Solve -z*f = 5*k - 22 + d, -4*k - 5*f + x = 0 for k.
4
Let i(k) = 35*k + 114. Let r be i(-3). Solve -o = -3*l - 3, 0 = -r*l + 4*l - o - 13 for l.
-2
Let y = -181 - -185. Suppose 0*v + 2*v + 22 = y*p, -2*p - 2*v + 2 = 0. Solve -5*t - 10 = 5*m, m + 0*t = p*t - 7 for m.
-3
Suppose x - 1 + 4 = 0, 2*k - 2*x = 10. Suppose 3*r + 9 = -5*u, 3*r = u + k*u - 9. Solve 4*o = -a + 8, 4*o = -u*o + 12 for a.
-4
Let o = -380 - -266. Let c = -113 - o. Solve v = -p + 3*v + 5, p + 2*v = c for p.
3
Suppose -29 + 21 = -4*b. Let u(s) = -s**3 + 3*s**2 - 2*s. Let w be u(b). Solve 20 = -2*p - 3*n, -p - 3*p + 4*n = w for p.
-4
Suppose 7*d + 5*t - 5 = 6*d, -d + 4*t - 4 = 0. Suppose 3*f = -4*g + 28, d = -2*f - 4*g - 0*g + 24. Solve 6*h - h - 5 = 3*x, f*h = -4*x + 36 for x.
5
Suppose -5*h = -5*p + 5, -174*h + 29 = -173*h + 5*p. Solve 5*c + 21 = -h*k, -c + 7 = 4*k - 6*k for c.
-1
Let s be (-5 - 9/(36/16)) + 2. Let l be (-2000)/(-56) + 2/s*-1. Let o be 5/(l/8 - 4). Solve 5*x + i = -1 - o, -5*x + 5*i = 5 for x.
-2
Suppose 0*o = b - 4*o - 102, o = -6. Solve 4*h = -a - 16, -b*h - 3 = -81*h + 3*a for h.
-3
Suppose 84 + 2 = 54*r - 22. Solve -4*q - 14 = r*p, -2*p = -p + 4*q + 15 for p.
1
Suppose 8*t + 520 = 13*t. Suppose 2*g + 2*g = t. Let l = -22 + g. Solve 0 = -2*r - l*i + 14, -3*r - 1 = -4*i - 2 for r.
3
Let c(b) be the third derivative of -b**4/8 + 3*b**3/2 - b**2 - 47. Let z be 2/1 - 0 - 0. Let n be c(z). Solve -n*v - 31 = 4*l, -5*l - 3*v + 5*v - 10 = 0 for l.
-4
Let p(a) = -a + 11. Suppose -y + 21 = 2*y. Let z be p(y). Let l be 3*(z - (-20)/(-6)). Solve 0 = -3*q - 2*w - 13, -l + 25 = 2*q - 5*w for q.
-1
Let t = -549 - -577. Suppose -960*a = -958*a - t. Suppose -2*f + 21 = 5*r, -r - 6 = -4*r + f. Solve 6 = 4*w - r*j - 1, a = 5*w - 2*j for w.
4
Suppose 6 = -3*m + 4*q, 10 = 2*m - 14*q + 16*q. Solve -5*l = -l + 2*z - 8, -m*l = 2*z - 8 for l.
0
Suppose 761*q - 783*q + 308 = 0. Solve 3*y - 5 = -5*l, -4*y + 6 = -q for l.
-2
Let p = -491 + 228. Let y = -257 - p. Solve 7*r - y = -4*a + 6*r, a + r = 0 for a.
2
Suppose -119*d = -117*d + 44. Let y be ((-275)/d - 12)*1*4. Solve -3*q - q + 1 = 3*n, -18 = 2*n - y*q for n.
-5
Let t = 194 - 183. Suppose -70 = -t*f - 4. Solve 2*s = 4*b + f + 8, 0 = 2*s + 2*b + 10 for s.
-1
Let y(b) be the second derivative of 4*b**3/3 - 116*b**2 + 2*b - 39. Let v be y(29). Solve -o + 3*w + 0*w = -5, -5*o - w - 23 = v for o.
-4
Let i = 290 + -290. Solve -d = 2*x - 0*x - 1, i = -4*x + 3*d - 23 for x.
-2
Suppose 87*h - 91*h - 52 = 0. Let p be h/(-4) + 3/12*-1. Solve 0 = p*x + 4*l - 7*l + 15, 0 = 2*x - 5*l + 22 for x.
-1
Let x be ((-84)/(-24))/((-4)/(-144)*3). Let c be 259/56 + (x/(-16))/(-7). Solve 12 = i + 4*o, -4*i - 1 = -c*o + 14 for i.
0
Let m(y) = -85*y**2 + 3*y + 2. Let g be m(-1). Let w = g - -92. Suppose -15*s = -17*s + w. Solve -11 - 26 = s*k + 5*q, -4*k = 3*q + 31 for k.
-4
Suppose m - 3*r - 72 = 0, -332 = -4*m + 2*r - r. 