for l.
-3
Suppose 2*d - d - 1 = 0. Let l(g) = -3*g - 2. Let m be l(-2). Let b = d + m. Solve b - 24 = -4*w + a, 0 = 2*w - a - 9 for w.
5
Suppose 0 = 13*i - 4943 + 4423. Solve 0*t = 5*t + 5*n + i, -t - 24 = 5*n for t.
-4
Let w(o) = o**3 - 12*o**2 - 5*o + 1. Let m be w(-5). Let b be (m/(-12))/7 + 12/(-16). Solve -b*p - 4*r + 9*r + 30 = 0, 0 = -2*p + 4*r + 18 for p.
5
Let k = -754 + 767. Solve -4*s + 3*s - k = 2*q, -30 = 5*s + 3*q for s.
-3
Suppose -5*x - 5 = 0, 98 = i + 3*i + 2*x. Let g = -8 + i. Solve 10 = -3*r + 5*l, -r + 4*l + 2 - g = 0 for r.
5
Let v(t) be the second derivative of -t**5/20 + 7*t**4/6 - 7*t**3/3 + 8*t**2 + 11*t. Let f be v(13). Solve -4*c - 5*y = -f*c - 25, -c - y = -9 for c.
5
Let g(u) = -3*u**2 + 162*u + 5. Let t be g(54). Suppose 2*d - 7*d = -10. Suppose 3 = -q + d*q. Solve -i = 2*i + t*j - q, -j + 4 = 4*i for i.
1
Let l be -1 + 6 + -3 + -8 - -6. Solve 4*j = -3*u + 14, l*u - 2*j = -2*u for u.
2
Let d(b) = 46*b + 322. Let i be d(-7). Solve 2*c - 2*r = r + 8, -5*c + 2*r - 2 = i for c.
-2
Let g = -137 - -140. Suppose -g*z + 26 = 4*r - 2*r, 2*r = -4*z + 34. Solve 2 - z = -3*b + 3*v, 0 = -5*b + 3*v + 6 for b.
0
Let p(r) = -12*r**3 - 37*r**2 - 5*r - 5. Let u be p(-3). Solve -6*a + 5*x + 3 = -9*a, -a = -x + u for a.
-1
Let j(k) = -k**2 + 25*k - 41. Suppose 7*l - 122 = 39. Let p be j(l). Solve 0 = -3*a - 4*u + 6 - 1, -p*a = u + 3 for a.
-1
Let m be (2 - (-2)/1) + (-4 - -22). Solve 2*s - 5*z = 0, m + 3 = -3*s - 5*z for s.
-5
Suppose 2*z + 4*o - 59 = 31, 3*o + 35 = z. Solve 2*b - 4*t - z = 7*b, 3*b - 3*t = -3 for b.
-5
Suppose 4*z + 46 = -5*v, 0 = -2*v - 0*v + 4*z + 4. Let c = 4 - -2. Let r = v + c. Solve 3*i - 23 = -5*p, i = -2*p - r*p + 9 for p.
4
Let m(h) = h + 7. Let l be (1*-1)/((-5)/(-175)*7). Let t be m(l). Solve -3*x + t*b = -2, 3*x + b + b - 22 = 0 for x.
4
Let r = 12 - -8. Suppose -6*p + v = -p - r, 4*v = 5*p - 20. Solve 4*k + 4*t = 28, -t + p = 2*k - 5 for k.
2
Let r = -27 + 36. Suppose -r*v = -6*v - 6. Let j(p) = 3*p**2 + 1. Let f be j(1). Solve -d + 2*u + v = 0, 0 = -f*d + d + 4*u for d.
-4
Let h be ((-20)/8)/5*0. Solve -2*g - 3*k + 7 = h, -k - 3*k = 3*g - 9 for g.
-1
Suppose 32*j - 36*j + 48 = 0. Solve 5*l - j - 1 = 4*s, 5*l = 3*s + 16 for s.
3
Suppose 173 = y + 156. Solve -y = -3*u + 5*k, k - 1 = 3*u - 2 for u.
-1
Suppose -2*b + 1 = -15. Let n be (-146)/(-10) + (-60)/100. Let m(p) = -p**2 + 14*p + 3. Let t be m(n). Solve -8 = -o - t*o, -b = 4*h - 2*o for h.
-1
Suppose 14 = 8*g - 26. Let q = 35 - 28. Solve 0 = -0*d - d - 2*o - q, -g*o = 15 for d.
-1
Let m = -128 - -89. Let j be (-26)/m*3*1. Let s(d) = -d - 4. Let w be s(-6). Solve -v = 5*g + 2 + 2, -w*v = -j*g + 8 for v.
-4
Let x(f) = f - 5. Suppose 12*m = 15*m - 15. Let t be x(m). Let v = 0 + t. Solve 3*h + 4*w - 3 = 0, v = -0*h + 3*h + 2*w - 9 for h.
5
Let c be (-14)/63 + 4/18. Suppose c = -0*f - 4*f - 5*h + 83, -h + 22 = f. Solve a = -5*l + f, -5*l + l = a - 22 for l.
5
Let c be 4/(-4) + (-80)/(-16). Let a(f) = f**2 + f. Let m be a(3). Suppose 0 = -d + 4*v - 2*v + m, 4*v - 8 = 0. Solve 0*b - c*b = d, 14 = -2*u - b for u.
-5
Let b(a) = a**2 - a. Let w be b(2). Suppose f = 2, 2*s - 2*f - 3 = 5. Suppose -4*o = -2*o - s. Solve -k - 4*d + 8 = 0, k - w*k - o*d + 6 = 0 for k.
0
Let g(o) = o**3 - 31*o**2 + 29*o + 32. Let y be g(30). Solve -3*i + 5*s + 7 = 0, -y*i - 3*s - 9 = i for i.
-1
Suppose 0 = -h + 5*d - 32, 3*d + 20 = 4*h - 9*h. Let f(t) = -5 + 3*t - 6*t + 2*t. Let i be f(h). Solve c - 18 = -3*n - n, -i*n = 4*c - 16 for n.
4
Let v = 7 - -1. Suppose 0 = -f + 12 - v. Let b be 184/56 - f/14. Solve 0 = 5*i - 4*r + 13, -r = i - b*r - 1 for i.
-5
Suppose 3*w - 774 = 5*t - 8*t, -6 = 3*t. Let s be 1*(-1)/3 - w/(-60). Solve -3*h - s*c + 15 = 0, -2*h + 10 - 2 = 2*c for h.
1
Suppose 5*r + 71 = 6. Let z = 41 - 58. Let l = r - z. Solve -l*d = -4*j + 20, -5*d - 4*j - 23 = 2 for d.
-5
Suppose 0 = -10*t + 1 + 19. Solve 2*v - 3*y = 2, -2*y = -3*v + t - 4 for v.
-2
Let p = -8 - -12. Suppose 2*r = -n + 2, 9 + 5 = p*r - 3*n. Suppose 4*k + r*w - 38 = 0, -2*w + 5 + 41 = 5*k. Solve -k = -3*h - 4*i, 4*h - 1 = -2*i - 7 for h.
-4
Let i be (-33 + 0)*76/(-57). Let o = -44 + i. Solve 2*j + 10 = -4*a, a + 15 = -o*a + 2*j for a.
-5
Let x = 1 - -19. Suppose 529*g = 522*g + 70. Suppose 6*h - x = g. Solve 0 = z + 3*m - 0*m + 3, h = -5*z - 5*m for z.
0
Let n be (-6)/4*2 - -3. Let k = n - -22. Solve 5*a + 2*u = u, 2*a - k = 4*u for a.
1
Suppose -7*w + 3*w = -36. Suppose 6*p = -w*p. Solve -3*j + 4 = 3*n - 2*j, -3*n + j + 8 = p for n.
2
Let h(u) = 4*u + 8. Let y be h(3). Let d be (0 + 0 - -3)*(-19 + y). Let s be (8/10)/(2/10). Solve -d*x - 2*q = 14, s*q + 1 = 3*x - 9 for x.
-2
Suppose -35*f + 72 = -11*f. Solve -3*a - 7 = n + 7, 2*n = -a - f for n.
1
Let u(b) = -b**3 + 2*b**2 + 3*b - 3. Let y be 8/(-40) - (-16)/5. Let l be y/6 - 6/(-4). Let j be u(l). Solve 4*w = j*i - 15, 0*w - i + 7 = -2*w for w.
-3
Suppose -22 = -2*i + 2*m - 4, -35 = -3*i - m. Solve -2*f - 3 = -s, -s - 7 = 5*f + i for s.
-3
Suppose 3*a = 6*w - 4*w + 6, -a = -4*w - 12. Solve -3*l - l = a, -2*u - 4*l - 2 = 0 for u.
-1
Let c = -55 + 66. Suppose 4*x - 5*w = x + 10, 0 = -2*x - w + c. Solve 0 = 4*p + x*j + 13 - 2, -5*j = 3*p + 12 for p.
1
Let n = -777 + 794. Solve -3*a = 6*r - 3*r + 3, -2*r = 5*a + n for r.
4
Let r = 49 + -46. Solve -4*u + r = -5*m + 11, 3*u + 7 = 4*m for m.
4
Let m = 1221 - 1219. Solve 3*v + m = -w - w, -w + 1 = v for v.
-4
Let u = -1 + 4. Let n = 157 - 136. Solve 0 = -s - 5*p + n, 2*s + u*p + 3 = 10 for s.
-4
Suppose 0 = 2*h - 4*h + 6. Suppose -2*y + h*y - 4*u - 24 = 0, -u = 3*y - 33. Solve -5*d + q + y = 0, -6 = -4*d - 3*q + 2*q for d.
2
Let t = 42 + -31. Let k be t/3 + (-16)/(-12). Suppose k*n - 12 = -0*o - 2*o, -n + 4*o = 2. Solve 4*b + 5*l - 13 - 22 = 0, 22 = n*b + 4*l for b.
5
Let d = 776 - 773. Solve -l = 4*l - 3*m + 5, d*m - 21 = -3*l for l.
2
Let f = 24 - 22. Let a be (15/(-6))/((-1)/f). Solve a*v = -5*u + 14 + 11, 9 = 5*u + v for u.
1
Let b be (-2)/12 + (-1510)/(-60). Let p be 130/b + (-2)/10. Solve l - 6*l + 5*w - 40 = 0, p*l - 4*w = -36 for l.
-4
Let y(r) be the second derivative of r**3/6 + r**2/2 - 5*r. Let w be y(9). Let m be 48/40*w/3. Solve 0*f = f - m*k - 9, 5*k + 8 = -2*f for f.
1
Suppose 0 = 5*q - 2*s + s - 15, -4*q + s + 12 = 0. Solve -5*g + 0*r + 2*r = 8, 2*g + 12 = q*r for g.
0
Suppose 0 = 2*a - 2, -3*p - 3*a - 3 = -5*p. Solve g = p*w - 2, -w - 2*g + 10 = -0*g for w.
2
Let j(b) be the second derivative of 4*b + 0 - 1/20*b**5 + 1/2*b**4 - b**3 + 7/2*b**2. Let d be j(5). Solve k + 20 = -5*g, -g + 0 = d*k - 5 for g.
-5
Let l = -77 - -111. Let q = 39 - l. Solve -q*m + 2*y - 4*y - 9 = 0, 0 = -4*m - 4*y - 12 for m.
-1
Let c = -56 + 85. Suppose -100 = 5*f - f. Let w = f + c. Solve 4 + w = 2*u, h + 3*u = 11 for h.
-1
Let h = -10 + 0. Let g = h - -13. Suppose -g*c + 4 = -c. Solve 5*q + 5 = 4*k, -c*q + 7*q = k - 20 for q.
-5
Let d(n) = -6*n**2 - 105*n - 139. Let s be d(-16). Let t(h) = -2*h - 3. Let x be t(-6). Let i = x + -4. Solve 4*b + 25 - 4 = -3*u, s*u + 30 = -i*b for u.
-3
Let b(v) = v**2 + 5*v + 8. Let f be b(-4). Suppose 5*g - u - 7 = 0, f*g + 8 = -3*u + 25. Solve -a = 2*z + 9, -4*a = z - a + g for z.
-5
Let d be (-1 + -1)*2*-1. Suppose -d*m = z + z - 250, -5*z = 3*m - 184. Suppose -5*s + m = -12. Solve -s = 5*u - 2*l, 0*u = 4*u - l + 9 for u.
-1
Let z = -13 - -11. Let d be 5/(-2 - (z + -1)). Suppose -2*w + 6 = 0, -3*k = -d*k + 5*w - 9. Solve -u = 2*m - 5*u, k*u = 4*m + 5 for m.
-2
Suppose -2*n - j + 5 = 0, 4*n - 1 - 3 = -4*j. Solve s = -0*f - 4*f - 4, 0 = -f - n*s - 1 for f.
-1
Let c(g) = -3*g**3 + 20*g**2 + 10*g - 14. Let m be c(7). Solve -x + 11 = -m*s + 3*s, 2 = 2*s + 2*x for s.
-2
Let j be ((-2)/6)/((-1)/3). Suppose l - 5 + 1 = 0. Let w(c) = c**2 - 2*c - 2. Let y be w(l). Solve -5*p - 5*m = -3*m + j, -3*m + y = 0 for p.
-1
Let q = 1 + -21. Let r = q - -26. Suppose 4*z + 2*o + r = 0, -4*z - 5 - 4 = 3*o. Solve z*y + 7 = 2*p + y, -13 = -5*p - y for p.
2
Let t be (4 + -24)/(-5) - 0. Suppose -t*r + r = 0. Solve 2*p + 0*p - 3 = -3*d, 2*p - 2*d + 2 = r for p.
0
Let d(m) = m - 10. Let t(i) = i - 9. Let p(c) = -3*d(c) + 4*t(c). Let v be p(10). Solve 4*z - v*g = -32, -7*z + 4*g - 36 = -2*z for z.
-4
Suppose -t = -0*t + 4. Let k = 6 + t. Let r = -490 - -495. Solve -v - v = -r*c + 5, 4*c = k*v + 2 for c.
3