for l.
3
Suppose -8 = 7*m - 8*m. Solve -n = 3*n + m for n.
-2
Let u be 13/3 + (-2)/6. Suppose 2*s = u*s - 88. Suppose 0 = -5*x + 124 - s. Solve -2*w + x = 2*w for w.
4
Suppose 0 = -2*g + 2 + 4. Suppose 4*z - 5*t = 19, -g*z - 5*t - 9 = -t. Solve -4*l + z = -3 for l.
1
Suppose 0 = 3*t - 5*t. Let u be (0 + t)/1 + 0. Suppose -2*r + 22 = 4*l, -3*r = -u*l + 3*l - 18. Solve s + 2 = -r for s.
-3
Suppose a + 4*a + 5 = 0. Let y = 3 + a. Suppose 0 = 5*x - 4*m - 10, -4*x + m = x - 25. Solve y*j + x = 2 for j.
-2
Let i(f) = f + 5. Let h be i(0). Let v = h + -1. Solve -2*z = -3*z - v for z.
-4
Let k(x) = -x**2 - x - 15. Let u be k(0). Let n be (-86)/(-6) - 10/u. Solve n = 8*r - 3*r for r.
3
Let p(z) = z**3 - 9*z**2 - 10*z + 3. Let q be p(10). Solve -q*m + 2*m - 4 = 0 for m.
-4
Let t(n) = -n - 4. Suppose -2*m - 5 = 3. Let j be t(m). Let d = 0 - j. Solve 0*g + g = d for g.
0
Let v = 100 + -80. Solve v = -4*u + 8 for u.
-3
Suppose 2 = -4*k + 10. Suppose 1 = -2*j + 3. Suppose 4*h - 1 = b, h - 4*h + b + j = 0. Solve h = -2*o - k*o for o.
0
Let b be 4 + (3 - (-8)/(-2)). Solve 2*q = -5 - b for q.
-4
Let c(w) = w - 1. Let f(a) = a + 4. Let g(x) = 2*c(x) - f(x). Let n be g(0). Let m be (-3)/(-6) + n/(-4). Solve 0*t = t - m for t.
2
Let m = -5 + 7. Suppose -5*c = -x, 7*x + m*c = 3*x. Solve 6 + x = -3*g for g.
-2
Let u(j) = 8*j**3 + j**2 - j + 1. Let p be u(1). Let t = p + -6. Let z be (2 - -10)*(-1)/(-2). Solve t*r = r - z for r.
-3
Let h = -25 - -30. Solve 0 = l - h + 2 for l.
3
Let v = 25 - 19. Solve -2 - v = 2*u for u.
-4
Let l(j) = -j**3 - 3*j**2 - 2*j - 4. Let q be l(-3). Let b be (q/4)/(2/(-4)). Let c = b - -1. Solve 0 = 5*t + 5 - c for t.
-1
Let y = -17 + 17. Solve 3*p + 1 - 7 = y for p.
2
Let o be 12/18 + (-136)/6. Let w = 31 + o. Solve 2*g - 1 = w for g.
5
Let m = -6 - -5. Let t = 8 - m. Solve t*g - 4*g = -25 for g.
-5
Let t(y) = -3*y**2 - 30*y + 2. Let x be t(-10). Solve f + x = -f for f.
-1
Let u = 172 - 172. Solve -4*s - 18 - 2 = u for s.
-5
Let s be (-1)/(5 + -3)*-6. Suppose 0 = -s*y + 11 + 10. Solve 0 = -5*u - y - 8 for u.
-3
Let o(v) = -v + 18. Let w be o(18). Suppose -2*k - 5 = -2*c + 7*c, 0 = -k + 3*c + 14. Solve w = -k*y - 21 + 1 for y.
-4
Let r(h) = h - 8. Let o = -8 + 14. Let f be r(o). Let d be f/(-4) - 1/2. Solve d = -3*s + s + 8 for s.
4
Let g(r) be the third derivative of r**5/60 - r**4/24 + 8*r**2. Let m be g(0). Solve m = 2*x - 6*x for x.
0
Let x = 64 + -21. Suppose 5*d - 17 - x = 0. Let a be (-3)/12 + 25/4. Solve a*g - d = 3*g for g.
4
Let c = -1 - -16. Let h = -7 + c. Solve 0 = h*t - 3*t + 10 for t.
-2
Let j be (-2)/4*2*-3. Let n = 48 + -48. Solve -9 = j*g - n*g for g.
-3
Let k be 6*1*(-17)/(-17). Solve 0 = -c + k*c - 10 for c.
2
Let u = -1 + 4. Suppose 21 = 4*h + u*c, 0*h = 5*h + 2*c - 28. Solve 3*w = h*w + 15 for w.
-5
Let r = 20 - 18. Let g(c) = -6*c - 1. Let q be g(1). Let d = 10 + q. Solve -20 = r*x + d*x for x.
-4
Let m be (1/1)/((-2)/(-250)*5). Solve m = j + 4*j for j.
5
Suppose 9*g - 72 = -3*g. Suppose -15 = -2*z + 3*c, 2*z + 0 = 4*c + 16. Suppose -v = -z*v. Solve 3*o + 3 + g = v for o.
-3
Let p(l) = l**3 - l. Let a be p(2). Suppose 9*x = a*x. Solve x*h = -4*h for h.
0
Let z(p) = p**3 - 7*p**2 + 7. Let y = 16 - 9. Let r be z(y). Suppose -3*h + r = 4*s, -h + 4 = 3*s - 5. Solve 0 = -l + s*l + 3 for l.
-1
Suppose 5*d - 9 = 1. Solve -2*s = -4*s + d for s.
1
Let c be (0 + 0)*(-6)/18. Let y(w) = -w + 2. Let k be y(-2). Solve -k*z + z = c for z.
0
Let y = -18 - -19. Let c(k) = -6*k**2 - k - 4. Let s(f) = -11*f**2 - 2*f - 7. Let g(a) = 7*c(a) - 4*s(a). Let t be g(y). Solve -t*b = b for b.
0
Suppose -19 = -f - 7. Let b = 8 + -3. Solve 0 = b*d - f + 37 for d.
-5
Let p be 76/(-18) + 4/18. Let b = -4 - p. Solve o - 3*o - 8 = b for o.
-4
Suppose -3*m + 62 = -l, 2*m - 22 = m + l. Solve -t = -6*t - m for t.
-4
Let c(l) = -9*l - 1. Let x be c(-1). Let n = -10 + x. Let g = 10 + n. Solve 5*w + 7 = -g for w.
-3
Let q = 14 - 8. Suppose 3*m = 3*o - 15, 4*m - 4 = -2*o + q. Solve m*b + 10 = 2*b for b.
5
Let p(r) = -6*r. Let f be p(-1). Solve -n = -f*n for n.
0
Let f = 3 - -1. Solve -f*s = -3*s - 1 for s.
1
Suppose -3*c + 4*c - 4 = 0. Suppose 3*y = -0*y + c*q + 15, 4*y - q - 7 = 0. Solve 1 + y = z for z.
2
Let q = 89 + -64. Suppose -r + 8 = -12. Suppose -v + q = -g, -5 = -v - 2*g + r. Solve -u = 4*u - v for u.
5
Let j = 9 - 6. Solve 0 = 2*c - j + 1 for c.
1
Suppose i - 2*c - 2*c = -10, -2*c = -i - 8. Suppose -3*v = -4*w + 22, v - 6*v = -2*w + 18. Let q = v - i. Solve -q*j - 12 = -j for j.
-4
Suppose 4 - 10 = 2*o. Let c be (1/3)/(o/(-27)). Solve -5*a = -c*a for a.
0
Let n = -12 + 27. Solve w - n = -4*w for w.
3
Suppose 6 = -2*i + 4*i. Suppose -i*v = 2*v - 15. Solve -8 - 4 = -v*g for g.
4
Let i(v) = -4*v - 11. Let r be i(-4). Solve -12 = r*m - m for m.
-3
Suppose 10 = 5*b - 10. Suppose i = -4*k + 4, -k = -2*i + 4 + b. Suppose k = 4*y - 0*y. Solve -4*g + 1 + 3 = y for g.
1
Let q(w) = w**3 + 7*w**2 + 3*w - 4. Suppose 3*b = 2*b + 3. Suppose -20 = m + b*m. Let j be q(m). Solve -4*p = -j + 11 for p.
5
Suppose -y = -3 - 1. Suppose -y*w + 0*w = -68. Solve 5*v - w - 8 = 0 for v.
5
Let t(d) = d**2 - 12*d + 25. Let c be t(10). Solve c = -3*l + 14 for l.
3
Let y = 18 + -17. Solve 4 = -f - y for f.
-5
Let i(m) = m**3 + m + 4. Let t be i(0). Suppose -3*q - 4*f = -35, t*f - 7 = -q + 10. Solve q = -5*g - 16 for g.
-5
Suppose c = 5*a + 29, -5*a = -2*c - 6 + 39. Solve -d = -2*d + c for d.
4
Suppose -4*o + 28 = r + 3*r, 4*o = 4*r - 12. Suppose 4*s - 24 = 8. Suppose 4*i - g = -3*g - s, -o*g = i + 8. Solve -2*u - 3 + 1 = i for u.
-1
Let p(b) = -b**2 - 6*b. Let r be p(-3). Solve 4*o - o + r = 0 for o.
-3
Let y = -6 - -2. Let i(m) = 2*m**2 + 6*m + 2. Let b be i(y). Suppose 3*a - 2*n - 16 = 0, 3*n = a - 7 - b. Solve -a*q = -5*q for q.
0
Let r(o) = o**2 + 10*o + 9. Let d(f) = -f**3 - 9*f**2 + 2*f + 9. Let q be d(-9). Let z be r(q). Solve z = 2*j + 4 + 2 for j.
-3
Let c(v) = -3*v - 13. Let w be c(-6). Suppose 24 = u + 5*r - 1, -25 = 2*u - w*r. Solve 2*q + 1 + 9 = u for q.
-5
Let p = 4 + -11. Let u = 17 + p. Solve 4 - u = -2*q for q.
3
Let x(k) = -k**2 + 11*k. Let i be x(11). Suppose i = -6*h + 2*h + 8. Let z be h/(-9) - (-8)/36. Solve 0 = o - z + 3 for o.
-3
Let p = 67 - 35. Let w be ((0 - -1) + p)/1. Suppose -3*n = -w + 3. Solve 3*o + 5 = -n for o.
-5
Suppose 0 = -3*x - l + 12, 5*l - 6 - 15 = -2*x. Suppose -2*n + 5*n = 96. Suppose 3*f - n = f. Solve x*j + j = f for j.
4
Let a = -4 + 7. Suppose -a*u = -7 - 5. Solve 6 + 14 = -u*y for y.
-5
Let d(z) = z**2 + z - 4. Let b be d(3). Let t be (b/(-12))/(1/(-102)). Suppose 0 = u + 4, -u = 5*p + 2*u - t. Solve -p = -7*y + 3*y for y.
4
Let a(c) = c**3 + 11*c**2 - 2*c - 16. Let n be a(-11). Suppose 0 = -n*j + j. Solve j*f = -5*f + 25 for f.
5
Let b(z) = z**3 + 3*z**2 - 5*z. Let s be b(-4). Suppose 3*f - s*f - 5 = 0. Let c = -5 - f. Solve 3*m + c*m = -6 for m.
-2
Let n(w) = w**2 + 7*w + 8. Let z be n(-6). Suppose 0 = z*q - 0*q - 2. Solve -4 = -3*d - q for d.
1
Let r = -8 + 8. Suppose 3*v - v = r. Let g be v*(-1 + (-6)/(-3)). Solve 0 = -g*x - 4*x for x.
0
Let c(y) = -y**3 - 7*y**2 - 7*y - 6. Let w be c(-6). Solve -2*o - 2*o + 12 = w for o.
3
Suppose 0 = -z + 1, -4*k - 33 = 2*z - 3. Let m be (-9)/(-4) - (-2)/k. Suppose m*b - 10 = -0. Solve 0 = o - b - 0 for o.
5
Suppose -4*m = -12 - 4. Solve 0 = m*p - p - 12 for p.
4
Let o = 6 - 8. Let g be 0 + -1 - (-1 + o). Suppose s = g*s. Solve 6*v - v = s for v.
0
Let r(k) = -3*k - 24. Let o be r(-11). Solve -o = 4*b + 11 for b.
-5
Let y(i) be the third derivative of i**4/12 - 8*i**3/3 + 7*i**2. Let d be y(9). Solve 3*f - 25 = -d*f for f.
5
Let u = -42 - -47. Solve u*p = 5 + 5 for p.
2
Let g(f) = -f - 2. Let y be g(-5). Suppose t + y*w = -0 + 20, 5*t - 4*w = 5. Solve -4*p + t = 25 for p.
-5
Let a = -9 - 0. Let n = -7 - a. Suppose 0 = 4*z - 3*z. Solve 0 = -z*q + n*q for q.
0
Let j = 0 + 5. Suppose -j*s = -s - 8. Let z be (6/s)/(6/20). Solve r = 3*r - z for r.
5
Let f be ((-4)/(-14))/(3/21). Suppose -4*g = -2*q - f*q - 24, 2*q = -3*g + 3. Solve g = 3*y - 6 for y.
3
Let g be -1*(-4 - -1)/3. Solve -4*c - 9 + g = 0 for c.
-2
Suppose -8 + 3 = g. Let h(s) = 2*s + 3. Let b be h(g). Let f(x) = -x**3 - 6*x**2 + 6*x + 1. Let r be f(b). Solve 6*u - r = 2*u for u.
2
Suppose 4*q - 15 = -3. Suppose -4*j + 19 = -3*y 