for l.
1
Let b(x) = 4*x - 11. Let t(z) = z**3 + 7*z**2 - 3*z - 17. Let o be t(-7). Let j be b(o). Let v be j/(20/(-3))*-4. Solve -v*q = 18 - 3 for q.
-5
Let c(w) = w**3 + 8*w + 2 - 4*w**2 + 5*w - 10*w**2. Let x be ((-9)/18)/(2/(-52)). Let d be c(x). Solve 3*g + d*g = -20 for g.
-4
Let t be (-32)/(-2)*(2 + -1). Suppose -t = -2*q - 12. Suppose -2 = q*v - 6. Solve 0*o - v = o for o.
-2
Let i(l) = -l + 18. Let f be i(12). Suppose 5*v - 6*v + f = 0. Solve 4*b - 2 = v for b.
2
Suppose 0 = -4*k + 59 + 5. Let n(d) = d - 14. Let y be n(k). Solve -y*u - 4 = -6*u for u.
1
Suppose -12*b = -13*b + 12. Suppose b = 5*a + a. Solve 4 + 2 = -a*x for x.
-3
Let q be (12/1)/4 + 2. Suppose -s + 3*s = -3*j, 44 = 4*s - q*j. Solve -s*c + c - 15 = 0 for c.
-3
Let f(j) = j**3 + 6*j**2 - 6*j + 1. Let r be f(-5). Let o(p) = p - 50. Let v be o(14). Let k = r + v. Solve -3*d = d + k for d.
-5
Suppose -m - 18 = -y - 14, y + 8 = -2*m. Solve x - 2*x - 1 = y for x.
-1
Let b = -15 - -20. Suppose -3*v - v - w + 9 = 0, 4*v - b = 3*w. Solve f = v - 1 for f.
1
Suppose 0 = -0*d - 20*d + 120. Solve 0*g = -d*g + 18 for g.
3
Let g be 28*(13/4 - (1 + 2)). Suppose 0 = 4*f - 13 + 1. Let w(n) = -n**3 + 4*n**2 - n - 3. Let d be w(f). Solve 2*i + g = d for i.
-2
Let i = -28 + 30. Suppose c = 0, 0*h + c = i*h. Solve h = 2*z - 3 - 1 for z.
2
Suppose k = -7*k - 24. Let q be (2/k)/(38/(-57)). Solve 2*d + q = 5 for d.
2
Suppose 0 = -7*m + 81 + 10. Suppose 17*b = m*b + 16. Solve b*n = 2 - 18 for n.
-4
Suppose 3*l - l = 3*q - 19, 5*q - 25 = 2*l. Solve q*f = -f - 8 for f.
-2
Suppose 3*f + 5*y - 86 = 153, 4*f = -4*y + 316. Suppose 3*h - f = 5*d, -4*h - 34 = -3*d + 4*d. Let s = d + 18. Solve s*v - 5 = -v for v.
5
Let v be (3 - (10 + -1))*5/(-2). Suppose -5*l + v = 5. Let n be 4*1 - (0 + -2). Solve -4*o - n = l for o.
-2
Let t(x) = x**2 + 10*x - 216. Let u be t(-22). Solve -20*f = 4*f - u for f.
2
Let q = 711 - 682. Solve -33*v - 20 = -q*v for v.
-5
Suppose -92*a + 118*a - 130 = 0. Solve 2*t + a + 3 = 0 for t.
-4
Suppose -2*a + 3*o + 0*o - 99 = 0, 4*a + 223 = o. Let k = a + 60. Solve -2 = 5*c - k*c for c.
-1
Let z = 166 + -151. Solve 2*v = 5*v - z for v.
5
Let t be 12/9 - 4/3. Suppose -5*n - 3*o + 8 = t, -n + 2*o - 1 + 13 = 0. Solve -2*i = -10 + n for i.
3
Let u be 1/((-7)/1) + 85/7. Suppose 5*x + 22 = 3*r, -20 = -x - 4*r - 6. Let z be (x/(-6))/(2/u). Solve -w + 2*w = z for w.
2
Let c(s) = s**3 - 9*s**2 + 15*s - 6. Let y be c(7). Let x be 1 + -4 + 5/y. Suppose -i = -4*w - 22, 0*w - x*w = 3*i + 4. Solve 4*u + i = -2 for u.
-1
Let y = 22 + -13. Suppose m + 0*m + 5 = 2*w, -4*w = -3*m - y. Solve w*a + 5 = -2*a for a.
-1
Suppose -17*h - 6 = -19*h. Solve -4 = h*q - 1 for q.
-1
Let i(g) = -g**3 - 9*g**2 - 8*g - 6. Let y be i(-8). Let a be (-21)/(-9) - 4/y. Suppose 5*l + 3*n = 16, 0*l = -5*l + 3*n + 34. Solve -a*m - l = 1 for m.
-2
Let m(q) be the third derivative of q**5/60 - q**4/12 - q**3/3 - 3*q**2. Let f be m(4). Solve -r + 20 = -f*r for r.
-4
Let g be (-11 + -2)*(-7 + 2) + -1. Let x be (-3)/(-2)*g/12. Solve -3*w - x - 4 = 0 for w.
-4
Let b(i) = -3*i + 5. Let t be b(0). Let u(p) = p**2 - 3*p - 4. Let m be u(t). Solve m*z = z + 20 for z.
4
Let k = 15 - 17. Let m be k/8*-4*-2. Let h(l) = -5*l - 2. Let j be h(m). Solve -3*x + 1 = -j for x.
3
Let x(a) = 2*a - 5 + 1 + 0 - 4*a. Let q be x(-2). Solve 5*n + 25 = -q*n for n.
-5
Let s(o) = 3*o**2 - 6*o - 4. Let r(b) = 7*b**2 - 12*b - 8. Let t(q) = 2*r(q) - 5*s(q). Let h be t(6). Suppose -h*g = -7*g. Solve -7*c + 2*c - 20 = g for c.
-4
Suppose -3*k + 22 = -4*z, z + 38 = 5*k - 10. Let f(a) = -2*a - 2 - k + 7. Let d be f(-4). Solve m - 2 = d for m.
5
Let w be (507/(-26))/((-3)/2) - -5. Solve -10*y - w = -y for y.
-2
Let y(r) = -r**3 - 5*r**2 - 7*r - 9. Let c be y(-4). Let k be 94/18 + (-2)/9. Let t be (k + 4)/c - -1. Solve 15 = t*g - 5 for g.
5
Let w be (8 - -1 - 4)*-1. Let b(v) = -4*v - 14. Let l be b(w). Suppose 0 = -8*g + l*g. Solve 2*t + g = 10 for t.
5
Suppose 40 = -2*d - 8. Let w be (d/60)/(1/(-5)). Let g be (-16)/((-5)/(5/w)). Solve -3*s - 4 = g for s.
-4
Let h(b) = -3*b**3 - 5*b**2 + 3*b + 2. Suppose 0 = 3*v - 5*v - 8. Let c be h(v). Let u be 12/c - (-132)/34. Solve -5*y = -u - 1 for y.
1
Suppose 0 = g - 0*g. Let q = -38 + 39. Solve q = u - g for u.
1
Suppose -2*b - 92 = -3*w, 0 = 3*w + 4*b - 71 - 15. Solve w*u + 9 = 33*u for u.
3
Suppose 112 = -2*v + 6*v. Suppose 0 = -5*g, 2*i + 2*g = 6*g + v. Suppose -3*c + i + 4 = 0. Solve 2*p - 4*p = -c for p.
3
Let l(j) = j + 4. Let i be l(0). Suppose -h = -i*h. Suppose 0 = 5*c + 12 - 32. Solve h = -c*t - t for t.
0
Suppose d + 4*p + 15 = -p, -d + 3*p + 9 = 0. Suppose d = -2*n + n. Solve -2*y = -n + 4 for y.
-2
Suppose 7*s + 377 - 405 = 0. Solve s*c - c + 3 = 0 for c.
-1
Let w = -19 + 22. Suppose 9 = 4*v - w*p, -4*p + 12 = 4*v - 8*p. Solve v + 3 = 3*r for r.
1
Suppose 4*b - 66 = -2*j, 8*j + 15 = 11*j. Solve 12*o - b*o + 4 = 0 for o.
2
Suppose 4*r + 5*h = 26, 4*r = 5*h - 15 + 21. Solve 4*d + r - 8 = 0 for d.
1
Suppose -1005*i + 1014*i + 9 = 0. Let c(w) = w**3 + 6*w**2 + 6*w. Let k be c(-5). Let m be 13 + (i + 16)/k. Solve -2*x - 3*x = m for x.
-2
Let k(y) = y**3 - 16*y**2 + 2*y - 24. Let x be k(16). Suppose b = -x + 10. Solve -3*m = b + 4 for m.
-2
Let v = -128 - -219. Solve -5*t + 86 = v for t.
-1
Let y be ((-18)/(-15))/((-6)/(-40)). Let w = y - 8. Suppose -f - 2*f + 4*z + 44 = w, 2*f = 3*z + 31. Solve 5*t - f - 12 = 0 for t.
4
Let z(j) = -j**3 + 3*j**2 + 2*j - 4. Let s be z(3). Suppose -5*i - 42 = -4*l + 53, -s*l = 2*i + 56. Let k = 31 + i. Solve 3 = -x + k for x.
5
Let v = -233 + 103. Let g = v - -134. Solve 5 - 1 = -g*l for l.
-1
Suppose -53 = -6*f - 5. Let l be (3 + 26/(-4) + 4)*f. Solve 0 = s + 5 - l for s.
-1
Let x = 54 - 42. Suppose -r - 4*j = 4*r - 43, -j = -3*r + 19. Solve -x = -3*v + r*v for v.
-3
Let l = -2 + 6. Suppose -l*z - 3 = y - 15, 5*y + 2*z - 6 = 0. Solve -3*a - 15 = -y for a.
-5
Suppose -4*m = -n + 29, 13*n + 4*m + 65 = 18*n. Solve -7 = i - n for i.
2
Let u = -778 + 787. Solve u*t - 40 - 5 = 0 for t.
5
Let u = 3 - 2. Suppose -49*v = 28*v - 231. Solve v*w + u = -2 for w.
-1
Let u = 6 - 6. Suppose b = -5*n + 5 - 4, u = 2*n - b - 6. Let m = n - -3. Solve p - m = -9 for p.
-5
Suppose 1287 - 1378 = -7*s. Let w be 52/14 + (-2)/(-7). Let a be (6/w)/(-3)*-4. Solve -s = -a*r - 5 for r.
4
Let r(s) = 11 + 7*s**2 + 0*s - s + 8*s - s**3. Suppose -h + 17 = 9. Let g be r(h). Solve -1 - g = d for d.
-4
Let y be 6 + (1/1 - 1). Suppose -2*x + 56 = -16*x. Let h be (-6)/9 - x/y. Solve 0 = -h*g + 4*g + 8 for g.
-2
Let s(p) = p**2 - p - 2. Let t be 0 + 6 + -3 + -5. Let n be s(t). Solve -g - n*g = 0 for g.
0
Suppose 65*u - 2754 = -934. Solve 0 = -9*t + u*t + 19 for t.
-1
Suppose 0 = -z - 3*h + 3, 0*z - 10 = -2*z - 2*h. Solve 0 = 5*j - z - 9 for j.
3
Let f = -16 + 18. Suppose 4*a - 2*i - f = 3*a, -4*i - 4 = -3*a. Solve a = -j + 2*j - 2 for j.
2
Suppose 35*d - 32*d - 36 = 0. Suppose -16 = -d*h + 8*h. Suppose 5*m - 89 - 11 = 0. Solve h = -4*x + m for x.
4
Suppose -7*y = 23 - 65. Let n be (y/(-4))/(3/(-4)). Solve -n*b = -2 - 0 for b.
1
Suppose 2*r - 45 = -0*h + 5*h, 2*h - 3*r = -29. Let u be 2 - 0/(3 + h + 2). Solve 6 + 4 = u*f for f.
5
Suppose 2*l = 7*x - 3*x - 64, -5*l + 5 = x. Let n = 366 + -363. Solve -n*v + 0*v = -x for v.
5
Suppose b = 6*b - 55. Let a = b - -13. Suppose -3*m - a = -4*q - m, -m + 18 = 3*q. Solve -3*p + q*p = 0 for p.
0
Let g be ((-9)/6)/((-30)/8 - -3). Solve g*x + 6 = -0 for x.
-3
Let s(q) = 2*q - 24. Let g be s(12). Suppose g = 2*l - 6. Solve 0 = 4*c - l*c - 2 for c.
2
Let q(b) = -6*b + 214. Let l be q(35). Solve 2*a = -l + 12 for a.
4
Let a(f) = f**2 - 13. Let y be a(4). Let o be ((-3)/2 + 0)*-2. Suppose 6 = o*g - 0. Solve -g*v + y - 1 = 0 for v.
1
Let a be (414/63 + -7)/(1/(-7)). Solve 0 = 44*d - 41*d + a for d.
-1
Suppose 21*v - 22*v = -4. Suppose i = 5*x - 18, 5*x + 4*i + 1 = 29. Suppose -m = x*m. Solve m = 5*z + 1 + v for z.
-1
Let z(x) = x**3 - x**2 - 9*x - 11. Let p be z(5). Let o = p + -39. Solve o = -5*v + 15 for v.
2
Suppose -3*a - 5*b + 120 = 0, 3*a + 4*b - 120 = 6*b. Solve d = 38 - a for d.
-2
Let z = -87 + 70. Let w = z - -19. Solve 0 = -w*g + 1 + 7 for g.
4
Suppose 12 = -5*g - 28. Suppose -3*p + 5*h - 1 = -0*p, -2*h = -10. Let f be (1 - 18/p)*g. Solve -b + 3*b = -f for b.
-5
Let g(b) be t