 for l.
1
Let t(n) = -16*n - 1. Let i be t(-1). Suppose -z - 10 = -2*z. Let m = z - 7. Solve -m*h - i = -0*h for h.
-5
Suppose 0 = 64*m - 60*m - 32. Solve -v = v - m for v.
4
Let b(z) = -2*z**3 + 7*z**2 - 5*z + 4. Let f(h) = 3*h**3 - 7*h**2 + 4*h - 4. Let a(c) = 4*b(c) + 3*f(c). Let x be a(-8). Solve -i - x = i for i.
-2
Let n(a) = -a**3 - 6*a**2 + 8*a + 10. Let y be n(-7). Suppose y*p - r + 6*r - 10 = 0, -4*r = -8. Let i = -8 - -12. Solve i*l = -p*l - 16 for l.
-4
Suppose 0 = -3*v - 14 + 14. Solve v*w + 2*w + 6 = 0 for w.
-3
Let o(s) = s**2 + 2*s - 4. Let h(p) = p. Let n(b) = -2*h(b) + o(b). Let z be n(3). Suppose -4*i - a + 0 + 4 = 0, -8 = 2*i - 2*a. Solve i*j = -z*j for j.
0
Suppose 2*y = -5*y. Solve -2*o = -y*o for o.
0
Let w(p) = -11*p**3 - p**2 - 2*p - 1. Let h = -3 - -3. Suppose h = -0*j + 5*j + 5. Let c be w(j). Solve 3*t + c = -4 for t.
-5
Suppose -b + 10*b = 4*b. Solve -2*c + b*c = 2 for c.
-1
Let u be 2/(-15) - 2/(-15). Suppose -18 = -4*a - 2*l, u*a = -5*a + 2*l + 18. Suppose a = 2*v - 6. Solve h + v = -0*h for h.
-5
Suppose 0 = -6*z + 8*z. Solve o - 2*o = z for o.
0
Let a be (-3)/(-5) - 4/(-10). Let w be (-6)/(a - 2) + -2. Suppose -w*r = 6*b - 4*b - 12, 0 = 2*r + 2*b - 6. Solve r*o + o = 0 for o.
0
Let o(r) = r - 2. Let c be o(4). Suppose 5*l + c*y + 26 = 0, -l - 10 = 5*y - 3*y. Let p be (l - -2) + 4 + -1. Solve p = m - 4 for m.
5
Let g = 20 - 20. Solve g*f - 12 = -3*f for f.
4
Let d be 2/(-3) + (-2)/6. Suppose 0*w = 3*l - 2*w + 4, 0 = -3*l + 4*w - 2. Let b be d + (5 - 2) - l. Solve -o = b*o + 5 for o.
-1
Let i(j) = j**2 + 9*j - 7. Let v be i(-10). Solve -v*w - 10 = -8*w for w.
2
Let h be 67/5 - 8/20. Suppose 2*m = 4*q - 4, 0 = 4*m + q + 45 - 10. Let k = h + m. Solve w + 1 - k = 0 for w.
4
Let k(c) be the second derivative of c**5/20 + c**4/4 + c**3/2 + c**2/2 + 3*c. Let f be k(-2). Let u = 0 - f. Solve 0 = q + 3 + u for q.
-4
Let w be ((-51)/(-68))/((-1)/(-4)). Solve 2*m + w*m + 5 = 0 for m.
-1
Suppose 0 = -t + 5*t + 4*l + 12, 3*t = 4*l + 19. Let x(r) = r - 2. Let h be x(6). Solve h = d + t for d.
3
Suppose 0*t - 2 = -t. Suppose -t*s - 5 - 3 = -q, -4*q + 5*s + 26 = 0. Let n = q + 11. Solve -n = -2*m - m for m.
5
Let k(t) = 3*t**2 + 3*t + 3. Let j be k(-2). Suppose 5*a = 5, -54 - 29 = -3*r + 4*a. Suppose -2*y + 9 = y - d, 5*y + 3*d = r. Solve -j*v + y*v = 5 for v.
-1
Suppose 6 = 3*c - 9. Suppose -c*d - 41 = 2*a, 6 + 11 = a - 5*d. Let v be a/20 + (-24)/(-10). Solve -v*k = 2 + 6 for k.
-4
Let h be ((-3)/(-2))/((-5)/(-10)). Let p be 1/3 - (-2)/h. Solve 8 = 3*s - p for s.
3
Suppose 47 + 16 = 9*m. Solve -2*a + m*a = 15 for a.
3
Let a(v) = -v**3 - 6*v**2 - 6*v - 3. Let x be a(-5). Solve -7*h + x*h = 15 for h.
-3
Suppose -i = 4*z - 13, 0 = -2*z + 2 + 2. Suppose -m - 6 = 4*s, -2*s = i*m + 3*s. Solve -4*w + m*w = 8 for w.
-4
Suppose -16 - 12 = -5*p - 3*r, p - r - 4 = 0. Suppose p*f = -0*f. Solve 0 = -3*n - f - 9 for n.
-3
Suppose -s + 3*s - 13 = u, 3 = -u. Suppose 14 = -s*c + 54. Solve c = f - 5*f for f.
-2
Suppose 15 = 4*q + q. Solve 0 = -2*g - q*g + 5 for g.
1
Let p(o) = -2*o**3 + o**3 - 8 + 9*o + 0*o + 6*o**2. Let g be p(7). Solve 0 = -2*c - 2 - g for c.
-4
Let u(l) = -l**2 - 4*l + 6. Suppose 5*c - 31 = z, 5*z - 2*c - 6 + 46 = 0. Let k be u(z). Let r = -4 - k. Solve 0 = -r*h - 8 - 0 for h.
-4
Suppose x - 2 = 2*l - 5, -4*l = 2*x + 6. Solve l = -5*s + 3 + 2 for s.
1
Let j be (12/(-24))/(1/(-24)). Solve 2*g = -g - j for g.
-4
Let k be (6/3)/(4/6). Suppose -19 = -4*l - 3*d, -k*d - 5 = -0*l - 2*l. Suppose -s + 5*s - 62 = 2*v, 0 = 5*s - l*v - 76. Solve 4*j + s = -0 for j.
-4
Suppose 4*t - 4 = 8. Let s = t - -12. Solve -5 + s = 5*l for l.
2
Let n = 46 + -44. Solve -3*t + n - 11 = 0 for t.
-3
Let y(v) = -2*v + 1. Let w be y(-1). Let n be 18/10 + w/15. Let m = 3 + 1. Solve n*s = m*s - 4 for s.
2
Let z(n) = -8*n**3 - 4*n - 3. Let f be z(-2). Suppose -2*b - f = -5*w, 0*w + 18 = w + b. Suppose 5*l - w = v + 2, 5*v + 13 = l. Solve 2*x = -l*x + 20 for x.
4
Let k be 0/2 + -2 + 6. Solve -k*z - z = -15 for z.
3
Let n = 56 + -50. Solve -3*m = -n*m + 9 for m.
3
Suppose 6 = 3*a - 3. Suppose -2*c + 11 = a. Solve -c + 0 = -o for o.
4
Let f(j) = -3*j**3 - 3*j**2 - 3*j. Let k be f(-2). Let c be (k/3)/(4/10). Solve 8*v - 3*v + c = 0 for v.
-3
Let x be 4/6 - 32/(-24) - 0. Let g be 94/18 + 2/(-9). Suppose -g*z + 7 + 3 = 0. Solve x = z*j - 0 for j.
1
Let o(g) = -16*g**2 - 2*g + 1. Let l be o(1). Let c = -11 - l. Solve 5*p - 4 - c = 0 for p.
2
Let w = 38 + -59. Let b = w + 11. Let l = b + 17. Solve -4*i + l = -5 for i.
3
Let v be 5/((-2)/(2 + -4)). Suppose 0 = -5*g + 3*f + 28, 16 = -f + v*f. Solve 0 = -c - c + g for c.
4
Let j be (2 - -1)/((-5)/(-5)). Suppose 2*h - 4 = -4*l + 20, -j*l = -4*h + 15. Solve -r + h*r = -15 for r.
-3
Let p be ((-24)/(-20))/((-6)/40). Let i = -4 - p. Suppose 8 = i*s - 2*s. Solve 25 = s*o + 5 for o.
5
Suppose -25 = -5*p - 5*o, 0*o = -2*o + 6. Suppose 2*n - 2*y + 0 = -6, p*y = -n. Let u be n/(-8) - (-94)/8. Solve -4*x - u = -7*x for x.
4
Let v be (-2 - -1)/(3/(-18)). Solve -5*w - 4 = v for w.
-2
Let x be (-3)/9 + 1/3. Suppose -2*d + 7*d - 10 = x. Suppose -d*h = -5*h + 6. Solve -h*p = -0*p for p.
0
Let a(j) = -4*j + 1. Let y be a(-1). Let q = y + -7. Let m = q + 7. Solve -m*o + 2 = -3 for o.
1
Let u be 1*(0 + -1)*-2. Let c be (-2*u + 3)/(-1). Solve c - 16 = -5*y for y.
3
Let k be 2*-1 - (-48)/12. Suppose -g - 2 = -k*g. Solve -3 = -j - g*j for j.
1
Let a = -9 + 9. Suppose u + 0 - 6 = a. Solve 2*i - u - 4 = 0 for i.
5
Let z be 10/(-75) + 64/30. Solve b = -z*b + 6 for b.
2
Let n(o) = o**3 - o**2 + 5. Let i be n(0). Suppose -19 - i = -2*p. Suppose 5*x - 2*l = p, -x = 3*x + l - 7. Solve -x*r = -5*r for r.
0
Let z(n) = -n**3 + 13*n**2 + 4. Let j be z(13). Solve 12 = j*x - x for x.
4
Suppose x + 32 = -3*x. Let r(q) = -q**3 - 8*q**2 - 4*q - 4. Let u be r(x). Suppose -u - 12 = -2*t. Solve s + 3*s = -t for s.
-5
Suppose 0 = -3*x + 5*x - 8. Suppose 4*t + x*i - 16 = 0, -t + 20 = t - 4*i. Suppose k + 2*u - t = -2, -12 = -2*k - 2*u. Solve 4*q = -0 + k for q.
2
Suppose -3*n = u + 12, -3 = -0*u - 3*u + 4*n. Let c(a) = 3*a**2 + 8*a + 2. Let r be c(u). Solve -r*b + 7 = -3 for b.
2
Suppose -2*q - 118 = -3*u - 0*u, 5*u + 3*q - 184 = 0. Suppose -8 = 5*t - u. Solve 0 = 4*s - t*s + 8 for s.
4
Let y(a) = a. Let u(v) = 3*v**2 - 2*v - 1. Let p be u(-1). Let m be y(p). Let x be (-8)/(-36) + 4/(-18). Solve x = -m*h - 5 + 17 for h.
3
Let k = 13 + -10. Solve 6*u - k = 5*u for u.
3
Let m(v) = -v**2 - 15*v - 16. Let d be m(-11). Solve -4*x - 8 + d = 0 for x.
5
Let x be ((-20)/(-25))/((-1)/(-5)). Solve -x = -4*r - 24 for r.
-5
Suppose -3*o = -9*o + 204. Suppose k + 3*q = 11, 2*q + 4 = -k + 13. Suppose 3*m + 2*m = 3*f - o, -k*m - 40 = -5*f. Solve f*g + 7 = -2 for g.
-3
Let x be (-8)/12*(-3 + 0). Suppose 2*p = -x*p + 8. Solve -2*c - p*c = 20 for c.
-5
Suppose -2 + 5 = 2*l - n, -l + 6 = 4*n. Suppose l*r + r + 4*f - 188 = 0, r - 60 = -4*f. Let c be 16/(-40) - r/(-10). Solve -j = j - c for j.
3
Let l = -10 + 12. Solve -l*o - o + 6 = 0 for o.
2
Let x(b) = -b**3 - 2*b + 2. Let k be x(0). Solve 6*j = 8*j + k for j.
-1
Suppose 8*k + 1 = 10*k + n, -9 = -3*k + n. Let x be (4/6)/((-4)/(-18)). Solve -c + k = -x for c.
5
Let n be 4/1 - 20/10. Suppose 4*t = 18 - n. Solve t*w = 2*w for w.
0
Let q(l) = l**3 - 13*l**2 + 4. Let u be q(13). Solve u*c + 4 = -0 for c.
-1
Let n(v) be the second derivative of v**4/6 + v**3/3 + 3*v. Let i be n(-2). Solve i = z - 0*z for z.
4
Let o = -15 - -14. Let b be 0/(o - (-4 + 2)). Let r(c) = 2*c**2 - 2*c + 4. Let s be r(3). Solve 5*t - t + s = b for t.
-4
Suppose 5*i - 23 + 8 = 0. Suppose f + 0*f + 4*v = 25, i*v = 9. Let h be (-4)/(-1) + (0 - 1). Solve -h = -4*m + f for m.
4
Let i(q) = 0*q - 5 + q + 18. Let x be i(-11). Suppose t = x + 3. Solve j = 1 - t for j.
-4
Let v be 7/(42/4)*-9. Let l be (-3)/v - (-9)/2. Solve -l*i + 0 - 25 = 0 for i.
-5
Suppose 5*k - 5 = u + 6, 3*u = -k + 15. Suppose 2*d - k*h + 1 = 20, -5*d - h = -22. Suppose 2*w = 3*w - 2. Solve d*g + w = -3 for g.
-1
Suppose -7*n = 4*u - 2*n - 5, 3*u - 3 = -3*n. Solve u*i = 2*i - 2 for i.
1
Suppose -q = 4*q - 25. Suppose 2*w + 7 - 2 = -f, -4*w = q*f + 1. Suppose 0 = s + n - 1 - 6, 27 = 5*s + f*n. Solve v - s = -8 for v.
-5
Suppose 0 = -3*l + 3*h - 3, -4*l + 41 = -0*l + 5*h. Solve l*g + 3 + 9 = 