l.
2
Let a = -702 + 702. Solve -4*d - 7*f + 4*f - 11 = 0, a = d + f + 2 for d.
-5
Let b be (-42)/10*20/(-6). Let y be 8/(-14) + 36/b. Solve 29 = -4*m + 5*r, -y*r + 15 = 4*m - 9*m for m.
-1
Let o = 3 - 0. Suppose o + 3 = 3*t. Let j be -7 + 14 - (4 + -2). Solve t = 5*z - 3*c + 2*c, j*c + 10 = -5*z for z.
0
Suppose 0 = -4*s - f + 35, 7*f - 14 = -2*s + 3*f. Suppose 4*c - 11 = s. Solve 3*w - 31 = -3*t - 7, -2*t + 28 = c*w for t.
4
Let l be (-70)/8*(6 - 2). Let v = l + 40. Solve -z = v*i - 5*z - 2, -2 = 4*i - 2*z for i.
-2
Let g be (-1 + (-2)/(-6))*-12. Suppose 10*t + 9 = 59. Suppose t*m - 3*m = 6. Solve 0 = -m*s - 3*c + 6, 0 = 2*s - c - c - g for s.
3
Let d = 30 - 28. Suppose a = 4*a - 15. Suppose n + 72 = a*n. Solve -n = -2*h - 0*t + 3*t, d*t - 4 = -4*h for h.
3
Let t(w) = 2*w - 1. Let j be t(2). Let h(g) = g - 6. Let v be h(9). Solve -v*u + j*s = 3, 0*u - 5*s = 5*u + 45 for u.
-5
Suppose 2*h - 6*h = 4*a - 40, -4*a - 5 = -5*h. Solve -10 = -4*y + h*d, -5*y + y = -3*d - 6 for y.
0
Let l be 3*(-3)/((-45)/(-50)). Let p = l + 12. Solve -4*z - 5*c = 0, 2*z + 0*c = p*c for z.
0
Let w be 201/9 + 6/9. Let d = -10 + w. Let x(n) = n**2 - 6*n - 2. Let u be x(-4). Solve -q + 5*i - u = -d, -5*q = -2*i + 33 for q.
-5
Let m(n) = n - 7. Let c be m(9). Let k(d) = -4*d**2 - 4*d - 2*d**c + 14 + 5*d**2. Let s be k(-6). Solve 3*u + 11 = -5*j, -2 - 3 = s*u + j for u.
-2
Let j be 5 - 3/3*1. Suppose -j*c + 0 = -12. Suppose 2*b = -o - 8, -b = -3*o + 4*o + c. Solve -o*f = -5*q - f - 28, 2*q = -4*f + 2 for q.
-5
Let n be (2 - 7)/(1 + -2). Suppose 0 = -5*z - r + 17, -3*r = 4*z - 4*r - 19. Solve z*m - 3*m - 5*h - n = 0, 15 = 3*m - h for m.
5
Suppose 0 = -4*f - 2*g - 13 - 5, -3*g - 9 = 0. Let h be (f + -2)*(2 - 3). Solve l + h*j - 2 + 4 = 0, -2*j = 0 for l.
-2
Suppose j + 3*j = 336. Suppose o = -o + j. Suppose f = -f + o. Solve 5*h - f = 5*l - 1, 0 = -5*h - 5*l + 30 for h.
5
Let z(b) = 3*b**3 - 101*b**2 - 4*b**3 - 2*b + 97*b**2 - 16. Let t be z(-5). Solve -2*p - p - 5*d = t, -3*d + 6 = -4*p for p.
-3
Let u = 512 - 510. Solve -u*v + 6 = 0, 3*d + 14 = d + 2*v for d.
-4
Suppose -v + 4*v + 27 = 0. Let r = v + 10. Solve 4*u + r = 3*o - 2*o, -5*o = -u + 14 for o.
-3
Suppose -58*n = -64*n + 18. Solve n*b + b = 3*g, -g - 8 = -4*b for b.
3
Suppose -496 = 5*u - 4*z, -99 = 2*u + 3*z + 81. Let w = u - -101. Solve -w*l + 10 = -4*c - c, 0 = -3*l + c + 4 for l.
1
Let g be (-1 - -2)/2*-14. Let y(c) = -c**3 - 8*c**2 - 6*c + 7. Let l be y(g). Solve l = p - 5*u + 3, -3 = -2*p + 3*u - 9 for p.
-3
Let i(h) = -h - 22. Let c be i(-27). Solve -x - m = -2*m + 5, -c*m + 25 = -x for x.
0
Let k(l) = -l**2 + 6*l. Let v be k(6). Let b = -130 + 86. Let s = b - -48. Solve -j + 4 = s*y - 8*y, v = j + 4*y + 12 for j.
-4
Suppose -f - 8 = -5*m + 5, -f = -3*m + 5. Suppose 4*p + 2*n = 4, 2*p + 3*p - f = -2*n. Solve r - 32 = -4*x - 3*r, p*x - 30 = -5*r for x.
5
Suppose -f = -5*b, -3*f = -b - 14 - 0. Suppose b = 2*s + t, 5*s = -0*t - t + 7. Let j(v) = 4*v - 3. Let n be j(s). Solve 0*g - 10 = n*g, -5*a = g + 27 for a.
-5
Let j(w) = 3*w - 152. Let k be j(59). Solve 19 = 4*h + 2*v - 1, 5*h - 4*v - k = 0 for h.
5
Let c = -10 - -14. Suppose 3*f - 60 = -f. Suppose -f = -2*h - h. Solve h*z + 14 = c*i - 3, -5*z = 5*i - 10 for z.
-1
Let p be -4*8/(-6) - 2/6. Let h be (6 - 10/p)/((-1)/(-1)). Solve -o - 6 + 2 = 2*t, 0 = -h*t - o - 8 for t.
-2
Suppose 7*s + 18*s = 75. Solve -t = -2*n - s + 4, n = -4*t + 14 for t.
3
Suppose -1 + 9 = 4*z. Suppose -z*m = 10, -2*d - 3*m = -0*d - 21. Let g = 23 - d. Solve 5*x + g = -3*v, 3*v - 5*x - 5 = 7*v for v.
0
Let v be (3/(-4))/((-4)/16). Suppose 3*q + 20 = 5*o + 2*q, 0 = -2*q. Suppose 4*u = 3*l + o, -2*l + v*u = -0*u + 4. Solve 3*j - n = 0, 8*n = l*j + 4*n + 8 for j.
1
Let c be (0 + -1)/(1*3/9). Let m be c/(1/2 + (-85)/110). Solve -g - 1 = -5*u, 2*u + m = 4*g - 3*u for g.
4
Let j be 4/(3 - (-46)/(-14)). Let n = j + 17. Solve -5*o - 20 = -n*k, -2*o + 7*k - 8 = 2*k for o.
-4
Suppose -49 = -5*p - a - 14, -3*a = -3*p + 3. Suppose 0 = 2*s - p, -2*s - 9 = 4*i - 23. Solve 5*c - i*c + 5*d + 3 = 0, d = -3 for c.
4
Let d be ((-3)/9)/(3/45). Let m be (18/15)/((-2)/d). Suppose -3 = -m*q + 3*u, -3*q = -0*q + u - 19. Solve q*y - 9 = o, 5*o = 4*y - 0*o - 24 for y.
1
Let k(j) be the first derivative of -j**3/3 - 7*j**2 - 25*j + 31. Let l be k(-11). Solve y + 5*g + 4 = 0, -5*g = -6*y + 3*y + l for y.
1
Suppose -5*l = 2*w - 6*w - 17, 2*w + 4*l - 24 = 0. Suppose -5*q = -w*q - 6. Suppose -2*h + q = -6. Solve -13 = -7*f + h*f - 4*n, 4*f + 4*n = 16 for f.
3
Let x(g) = -2*g**2 + 12*g + 1. Let a be x(6). Let o = 4 + a. Suppose 4*l + 32 = 4*v, -2*v + 2*l + 28 = 3*v. Solve -4*p + 20 = -4*n, v*p = o*n + p + 21 for n.
-3
Let w(f) = f**2 - 2*f - 1. Let t be w(3). Let y be 27/(-6)*t/(-3). Solve -5*b = -2*g - 2*g + 9, -y*g + 4*b + 8 = 0 for g.
-4
Let j(z) = z**2 - 7*z - 15. Let m be j(9). Solve 22 = 3*x - 5*o, m*x + 2*o + 11 + 2 = 0 for x.
-1
Let q(j) = j + 11. Let r = 97 - 61. Suppose 0 = -4*s + 12 - r. Let m be q(s). Solve 2*h = -0*b - 5*b - 9, 0 = m*h - 5*b - 30 for h.
3
Suppose -r - 276 = -13*r. Suppose -t + j - r = -5*t, -4*j = -5*t + 13. Solve 0 = t*c - x + 2*x - 8, -5*c + 4*x = 7 for c.
1
Suppose 0*r + 5*r = -30. Let u be -22*(21/r + 2). Let s = -67 - -72. Solve 3*l = 4*x - 24, 2*x - s*l - u + 7 = 0 for x.
3
Suppose 16 + 0 = 4*k, 0 = -3*s + 2*k + 4. Let g be (14/3)/(s/6). Suppose 5*h - 40 = 5*i, 4*i = h - 10 - g. Solve h*x = z + 2*x + 1, 5*z = -5*x - 5 for z.
-1
Let c(v) = -3*v + 23. Let d be c(3). Suppose 0 = d*r - 421 + 71. Solve -f = -3*n + 5, -4*f - f + 5*n - r = 0 for f.
-5
Let s(u) be the first derivative of -u**4/4 - 2*u**3 - 3*u**2/2 - 7*u - 6. Let b be s(-6). Suppose -8 - b = -p. Solve c + 24 = 3*r - 2*c, 3*r - p = 2*c for r.
3
Suppose 31*a - 6 = 29*a. Let n = 34 - 16. Solve 5*z + 3*l - 21 = -7, -5*l = a*z - n for z.
1
Let j(v) = -13*v - 140. Let x be j(-11). Solve x*k - 18 = -4*d, -k = -d + k - 1 for d.
3
Suppose s - 200 = 6*s. Let q = s - -43. Solve 0 = q*y - 5*a - 29, 2*y - a = -2*y + 16 for y.
3
Suppose -18*r + 14 = -22. Solve -s - 4*m - 14 = -7*m, 4*s + r*m = 0 for s.
-2
Suppose -a = 10 - 12. Let w be 1/a*(8 + -8). Solve 3*z = 5*k - 22, 5*z + 26 = 3*k - w*k for k.
2
Let j(s) = 2*s**2 + 8*s + 10. Let g be j(-2). Let w = -2 - -7. Solve 3*n = g*c + 13, -3*n - 5*c + w = -3*c for n.
3
Suppose 16*t - 72 = -20*t. Solve -y + 16 = 3*y + t*z, -8 = -2*z for y.
2
Let v(z) = z**2 + 78*z + 301. Let k be v(-4). Solve 4*r + k*u + 28 = 9*u, -8 = -2*u for r.
-3
Let m(b) = b - 9*b + b**3 + 8 - 1 - 4*b**2 + 2*b. Let k be m(5). Solve 2 + 8 = 2*j - k*p, p = -4*j + 5 for j.
2
Let m = -242 - -108. Let x = m - -144. Solve -4*a + 5*r = x, -3*r + 10 - 4 = -a for a.
0
Let o(b) = 7*b + 89. Let j be o(-12). Solve s - 5 = j*g + 3*s, s = -3*g - 2 for g.
1
Suppose 0 + 3 = w. Suppose 0 = 30*y - 29*y - 2. Suppose -y*g = -g - 5. Solve 5*j + 6 = -g*s + j, w*s + 3*j = -6 for s.
2
Let d = -41 - -43. Let m be (-4)/d*5/(70/(-133)). Solve s - 4*s = 4*k - m, -2*k = -3*s + 13 for s.
5
Suppose -3*t - 80*f + 77*f - 3 = 0, 3*t = 5*f + 29. Solve -3*x = 3*m - 15, 3 = t*m - x - 0 for m.
2
Let y(j) = 7*j - 1. Let c be y(0). Let o = c - -9. Solve 5*d - 2*d + o = -p, 2*d = 4*p + 4 for d.
-2
Let q = -4 - 2. Let z be -5 + 2 - q - 3. Suppose -a + 4*g - 10 = z, -2*g + 3 + 9 = 3*a. Solve -4*k = a*l + 22, 26 = -2*l + 3*k - 8*k for l.
-3
Let h(f) = 3*f + 4 - 3 - 6 - 6. Let k be 15/6*(3 + -1). Let d be h(k). Solve -d = -2*c - g - 3, -4*g = -2*c + 16 for c.
2
Suppose -5*o - 3*j = -35, -4*j = -2*o - 7*j + 23. Suppose 8 = z - o. Let f be 4/z + 3/(-9). Solve -5*n - 5*m - 8 = 12, 2*n + m + 4 = f for n.
0
Suppose 0 = -5*u - 0*l + 5*l, 0 = -5*l - 25. Let i be 12*(u - (-80)/15). Solve -13 - 7 = -i*x, v = -2*x + 9 for v.
-1
Let l = 1418 + -1418. Solve 4*q + 3*n = -5, -5*q + 7*n - 5*n + 11 = l for q.
1
Let k(u) = u**2 + u + 1. Let g = 28 + -32. Let j = g - -4. Let q be k(j). Solve 0 = -4*d - 4*p + q - 9, 0 = 2*d - 5*p - 17 for d.
1
Let c = 730 - 726. Solve -10 = -0*x + 5*x + c*t, 4*x - 23 = 3*t for x.
2
Let p(b) = b - 3. Let t be p(7). Let m(q) = 3*q**2. Let v be m(-1). Solve 4*k + 3*f - t = -f, -2*k - 23 = -v*f for k.
-4
Let a be 675/300 - (-46)/8. Solve -5*c + a = 2*b, -b + 1 = 2 for c.
2
Suppose 0*v + 3*v - 3 = -3*m, -2*m = -3*v + 13. Let h be (-3 + (-3)/v*7)/(-2).