) = -143*d**3 + 4*d**2 + 4*d + 1. Let i be w(-1). Let z = i - 140. Solve -2*x = x + z*c - 21, -x - 2*c = -9 for x.
3
Let v(b) = -b**2 - 4*b + 5. Let t be v(-5). Let j = -352 - -356. Solve t*m = m + 4, -2*m = -j*f - 8 for f.
-4
Let x = 36 + -33. Let y = 3 + x. Solve -4*q - y + 1 = 5*v, 4*v = -5*q - 13 for q.
-5
Suppose -h - 1 = 2*s, 3*s - 7*h = -2*h + 31. Solve 3*c = 4*c - s*k + 4, 4*k = -2*c for c.
-2
Suppose 4*l = -2*l - 12. Let g be (l/(-5))/((-4)/(-20)). Solve 8*n - 3*n = 2*x - 5, 0 = 3*n - g*x - 1 for n.
-3
Suppose -4*q - 90 = -q. Let b be 12/q - (-84)/10. Suppose 4*w + 20 = 0, b*w = -5*k + 4*w + 5. Solve 0*y + 15 = -k*y, -5*v + 8 = 4*y for v.
4
Let w(n) = n + 6. Let f be w(-6). Let k(i) = 0*i**3 + 15*i + i**3 - 28*i + 3 + 14*i. Let v be k(f). Solve -2*u = -v*l, 5*u + l + 6 + 11 = 0 for u.
-3
Suppose 10*m + 41 = 101. Solve 10 = -2*l - 2*j, -3*l - m*j + 2*j = 19 for l.
-1
Let x = 2 + -2. Suppose -85*h + 14*h + 852 = 0. Solve -4*v = -y + 5*y + 28, -v - 2*y - h = x for v.
-2
Let r(u) = -2*u - 7. Let i = -15 + 14. Let h be (11 + -5)*1/i. Let j be r(h). Solve -3*b = -6*b + w + 6, -9 = 2*b - j*w for b.
3
Suppose -5*l - i + 14 = 0, -i = -5*l + 10 + 6. Suppose -l*o - 4 = -4*o. Suppose 5*k + 28 = 4*u, 9*k = 6*k - 12. Solve -2*d = 3*v + 3, -u*v - o = -6*v for d.
-3
Let v = -42 + 45. Solve -4*w + v*x - 5 = -0*w, -5*w + 2*x = 1 for w.
1
Suppose -o + 2*p + 14 = 0, 0*p = -4*o - 2*p + 106. Let q be 0 + (-4)/2*-1. Let s be (o/(-15))/(q/(-5)). Solve t - 3*t - 2*g - 2 = 0, 2*g = -t - s for t.
2
Suppose 25 + 52 = 11*w. Solve 0 = -2*f - u - 11, -u = -2 + w for f.
-3
Let w be -1*(-2 - (-3 + 1)). Suppose r - 3*r - 6 = w. Let z be 3 - r/((-6)/4). Solve -3*k - 2*l - 14 = 0, 0*k + 5*l = k - z for k.
-4
Let v = 10 + 5. Suppose 0 = -b - 2*q + 29, b + q + v - 41 = 0. Let j = b - 4. Solve 4*m + 5*l = -j, -6*m - 2*l - 10 = -2*m for m.
-1
Let l = -16 - -25. Suppose 20 = l*z - 16. Solve -4*d + 1 = -3*r, d - 5*r + z - 17 = 0 for d.
-2
Suppose -17*y = -23*y + 12. Solve 5*t - 3 - 4 = y*p, -4*p - 4*t = -28 for p.
4
Let f(u) = -5*u - 5. Let v be f(-6). Let y(r) = -2*r**3 - 32*r**2 - 25*r + 7. Let z be y(-1). Solve v = -5*x, -z*h - 2*x = -x + 13 for h.
-4
Suppose -4*d + 2 + 14 = 0. Suppose 2*i = 3*k, 4*k = d*i - k - 2. Solve 2*y - 2*p - 4 = 0, -4*y + 11 = i*p - 4*p for y.
3
Suppose 0 = 3*p - 11 + 2. Suppose 3*z - 18 = 5*r, -4*r + 0*r - 4 = -5*z. Let j(b) = -9*b - 51. Let a be j(r). Solve 2*m + p*m + 23 = -u, -19 = 5*m + a*u for m.
-5
Let j be 2/(-4) - 616/(-112). Solve -5*v - 3*m = m - 17, -v - j*m = -16 for v.
1
Let b(s) = -2*s**3 + 7*s**2 + 5*s - 19. Let u be b(3). Solve 2*m - j + 3 = -0*m, u*j - 3 = 4*m for m.
-2
Let x be (4 + (-56)/10)*(5 + 0). Let m = -8 - x. Solve p + n + 6 = m, -18 = -0*p + 4*p - 2*n for p.
-5
Let b = 1060 + -1054. Solve 2*x - 2 - b = i, 4*x = -2*i for i.
-4
Let j(d) = 12*d**2 - 2*d - 2. Let h = -13 - -15. Suppose 3*l + i + 5 = 0, 2*l - 2*i = 4 - h. Let b be j(l). Solve 2*t - 2*f + 15 = 7, 0 = 3*t - 4*f + b for t.
-4
Suppose 0 = 4*f + z + 2, -5*z - 3 = 3*f - 10. Let j = 6 + f. Let d = 1 - -3. Solve -3*s - j*u = 2, 5*u - 10 - 16 = d*s for s.
-4
Suppose -5*r + 100 = 2*c, 2*r - 4*r + 26 = -2*c. Solve -h - r = 5*g - 2*h, h = 4*g + 14 for g.
-4
Let h = -2497 + 2501. Solve -q + 4 = 0, 0 = -7*b + 12*b - h*q + 36 for b.
-4
Suppose 4 = 2*o + 5*v, 0 = -4*o + 2*v - 5*v + 8. Solve -3*c = r + 4*r + 10, o*c - 3*r = 6 for c.
0
Suppose -3*i + 15 = -2*g + 5*g, -2*g + 10 = 3*i. Let k(q) = 13 + 3*q - 4*q + 2*q + i. Let d be k(-10). Solve -4*b = d*f - 3, b - f = -5*f + 17 for b.
-3
Let k be (-25)/(-30)*6 + -3. Solve -4 = s - k*s + 2*p, 0 = -4*p for s.
4
Let i(y) = y**3 + 3*y**2 - 2*y + 2. Let m be i(-3). Suppose -m*v - 1 + 41 = 0. Let w be 26/5 + (-17)/85. Solve 5*a = 5*g, 2*g - v*g - w*a = -16 for g.
2
Let h(u) = u**3 - 10*u**2 + 26*u - 4. Let o be h(4). Solve -5*c - o*b = 21, -3*b = 3*c + 2*c + 22 for c.
-5
Let c = -25 + -4. Let q = 38 + c. Suppose 0 = 5*m - 1 - q. Solve -m = 5*y + 4*t + 19, -t - 2 = -2*y for y.
-1
Let d = -191 - -191. Suppose 0 = -5*r + 4*h + 5 + 6, -5*h = -5. Suppose 5*k - r*k = 24. Solve -4*w + k = 5*f, 3*w + f - 4 - 5 = d for w.
3
Let d(r) = -3*r**2 + 18*r**2 - 5*r - 10 - 72*r**3 + 40*r**3 + 30*r**3. Let y be d(7). Solve -j = -0*j - 2*x - y, -20 = -5*j - x for j.
4
Suppose -14*j - 28 + 126 = 0. Solve 15 = -5*w - l, 3*l = -w - j - 10 for w.
-2
Let w(q) = 5*q**2 - q - 3. Let r be w(-3). Suppose -14*o + r = -5*o. Solve o*d = v + 1 + 6, -4*d - 2*v = 0 for d.
1
Let c(v) be the third derivative of v**4/8 - 3*v**3/2 + 32*v**2. Let g be c(3). Solve -5*d = -3*n + 4*n - 23, g = 5*d + 2*n - 21 for d.
5
Suppose -5*m = -12*m + 70. Suppose -4*w = w - m. Solve -3*s = -w*j - 10, -4*s + 11 = -s - j for s.
4
Suppose 0*i = 4*i - 12. Suppose i*b + 2 = -2*d, 0 = 2*b + 4*d - 10 + 22. Solve 5*o + 5 = 0, -b*o - 9 - 2 = 3*l for l.
-3
Suppose 4*w = -2*l + w + 41, -2*w + 2 = 0. Suppose -5 = -2*z + z. Let v(i) = i**3 - 5*i**2 + 5. Let n be v(z). Solve -3*u = 15, -n*o - l = -2*o + 2*u for o.
-3
Let x(f) = -2*f**3 - f**2 + 2*f - 6. Let c be x(-3). Suppose 0 = -4*j - p + 17, 0 = j - 5*p + c - 11. Solve -3*q - j*h = -2*h - 5, 3*h + 1 = -q for q.
2
Let g(x) = -x**3 - 16*x**2 - 15*x + 19. Let n be g(-15). Let t be 8/(-48) - n/(-6). Suppose -t*i + 7*i - 20 = 0. Solve 8 = -0*p - 2*p, i*l = -5*p - 15 for l.
1
Let l be (-133)/(-57) - 2/6. Solve -l*t - t - 8 = 5*b, 8 = -2*b for t.
4
Let t = -6 + -21. Let l = t - -27. Solve -4*b + l*i - 5 = -i, 3*i = 3 for b.
-1
Suppose 2*v - 128 - 124 = -3*s, -4*v + 472 = -2*s. Let h = 124 - v. Solve w = h*p - 12, 4*p + 5 - 21 = 2*w for w.
-4
Let d be (-1)/(((-3)/(-9))/(-1*3)). Suppose -5*l + 6 = 5*w - d, 3*l - 3 = 0. Solve 18 = -0*y - 4*y + 3*s, w*s + 2 = -2*y for y.
-3
Let f be 28*9/(-36)*(1 - 2). Suppose -5*o + 90 = -2*o. Suppose 0 = 2*a - s - 1, 4*s - o - 5 = -5*a. Solve -f*q - 2 = -6*q, 4*i - a*q = 22 for i.
4
Suppose -7*m - 30 = -9*m. Suppose 13*x = 8*x + m. Solve y - 1 = x*l, l + 3*y = -1 - 6 for l.
-1
Suppose 7*l = 3*l + 5*z - 340, -5*z + 180 = -2*l. Let r = -31 - l. Solve -5*i = -5*y - 14 + r, -i - 19 = -4*y for i.
-3
Let i be (9 - 1343/153)/((-1)/(-18)). Solve 44*a = -4*h + 40*a - 8, -i*a = 5*h + 5 for h.
3
Suppose -6*y + y - 4*i + 22 = 0, 0 = -4*y + 4*i + 32. Let f be (9/y)/(2/16). Solve -4*t + 0*z = -z + 9, t - f = 5*z for t.
-3
Let p = 53 + -30. Let n(y) = 2*y**2 + 4*y + 1. Let z be n(-3). Let i = z + -3. Solve 4*v = 4*c + c + p, 17 = i*v - 3*c for v.
2
Suppose -d = f, -f = -3*f - 4*d - 4. Solve -f*l = 10, 17 = -r + 2*r - 4*l for r.
-3
Suppose 368 = -2*r - 6*r. Let i = r - -54. Solve 0 = -n + 3*a, -n - i*a = -3*a for n.
0
Let b be (-2)/3 + (-16)/(-6). Suppose -6*l = -7*l + 8. Solve -3*i = -u - 3*u - 10, -b*i + 3*u = -l for i.
-2
Let q(m) = -6*m**3 + 2*m**2 - m. Let d be q(1). Let z(g) = -g**2 - 15*g - 6. Let a be z(-14). Let o = d + a. Solve -3 = o*j - 4*p + 3, 0 = 4*p for j.
-2
Let u be (-7)/((12/10)/6). Let g = u + 37. Solve f + 3*z - 1 = -z, -f = g*z - 1 for f.
1
Suppose 5*s + i - 13 + 2 = 0, i = 2*s - 10. Let h be 43 - 49 - (-5)/(5/12). Let q = -13 + 17. Solve m = f - 3, s*f - h = -q*m + 17 for f.
5
Suppose -17*m - 137 = 101. Let k(w) = -w**2 - 17*w - 38. Let c be k(m). Solve u + b + c = -2*u, -2 = 4*u + 2*b for u.
-3
Suppose -7*f - 100 - 516 = 0. Let h be f/(-20) + (-6)/15. Solve 3*j - h*j - 3*p = 11, 3*p = -4*j - 17 for j.
-2
Suppose -3*t + 55 = 16. Solve 5*c = -4*p + t, -c + 7 = p + 4*c for p.
2
Suppose 54 = 2*x + x. Let l = x + -14. Let u be l + 4/(2 + 2). Solve 4*z = r - 3, -3*z - 15 = z - u*r for z.
0
Let q = 8 + -8. Let m be (0/(q - -1))/1. Suppose -5*w = 4*i - 28, 0 = -3*i - 0*i - w + 10. Solve 3*f + i*b = -5, f + 2*f - 2*b - 11 = m for f.
1
Let g = 366 + -364. Solve -z + 1 = g*r - 6, -9 = -2*z - 3*r for z.
-3
Let r = -316 - -321. Solve -r*m = -0*m, -2*w = -3*m for w.
0
Let i be (-1)/6 - 795/(-18). Let z = i + -41. Solve 4*w + 20 = -2*t, 3*t + t = -z*w - 20 for t.
-2
Let h(w) be the second derivative of -2*w + 0 - 15/2*w**2 - 1/2*w**3. Let c be h(-7). Solve -2*q = 5*g - c - 24, -g - q = -9 for g.
4
Let b = -37 - -67. Suppose 4*k - 110 + b = 0. Let f = k - 19. Solve -2*o - f = 1, -4*n - 15 = -o for n.
-4
Let l(i) = i. Let w be l(-7). Let q(v) = -v - 3. Let h be q(6). Let f = w - h. Solve 2*d - 6*d - 2*r = -2, 4*r = -f*d + 4 fo