0 for l.
1
Let p = 9 - 6. Let q(w) = -w**3 - 6*w**2 + 9*w + 6. Let i be q(-7). Let d(g) = g**3 + 9*g**2 + 7*g - 5. Let n be d(i). Solve 0*f + p*f = n for f.
1
Let n be (57/6)/((-3)/(-6)). Let p = n - 17. Solve 7*b = p*b - 15 for b.
-3
Let r be 6/((28/(-12) + 2)*-2). Solve -r = 4*j - 1 for j.
-2
Let f be 6/2 - 3/1. Solve -4*k + 5 - 21 = f for k.
-4
Suppose 2*w + 2 = 16. Suppose 4*r + 3 = w. Let m(f) = -2*f - 4. Let o be m(-3). Solve -r - 5 = -o*y for y.
3
Let n(z) = z**3 - 7*z**2 + 8*z - 5. Suppose 20 + 4 = 4*y. Let g be n(y). Let w = 11 - g. Solve -w*b + 0*b = 0 for b.
0
Suppose -2*a + 4*f - 10 - 16 = 0, -2*f + 10 = 0. Let r(k) = 5*k - k**2 + 0*k - 1 - 4*k + 3*k - k**3. Let q be r(a). Solve 0 = -5*i + 5 + q for i.
2
Let k = 34 - 18. Solve -o + k = -5*o for o.
-4
Let m be 16/(-12)*3*-1. Suppose -3*r = -5*c, -5*r + 0*r = -4*c. Solve -d - 1 + m = r for d.
3
Suppose -y - 2 = 0, t + 2*y = 4*t - 31. Let h = 29 - 27. Solve -h*f - f = t for f.
-3
Let w(j) = 50*j - 1. Let o be w(1). Suppose m + 25 = 3*u - u, 0 = -4*u + 3*m + o. Suppose -5*k + 5*f - 3 = 12, -4*k + u = f. Solve r + k = -0*r for r.
-2
Let b(a) = a - 3. Let u be b(5). Suppose 5*t - u*t - 45 = 0. Let f be -2 - (-1 - t/3). Solve 3*o + f = 5*o for o.
2
Suppose -1 = -4*r + 11. Suppose r*p + 2*p = 15. Solve p*u - 1 = 2 for u.
1
Suppose -5*l - 3 + 3 = 0. Solve -a + 5*a + 16 = l for a.
-4
Let c = 0 + 1. Let n(l) = 4*l**2 - l + 1. Let z be n(1). Solve -h + c + z = 0 for h.
5
Suppose -24 = 2*o + 46. Let y = o - -50. Suppose 3*x + 3 = y. Solve a + x = 2 for a.
-2
Let i be ((-16)/12 - -2)*12. Solve -4*v + 0 = -i for v.
2
Suppose -8*w + 12 = -6*w. Suppose -j = -w*j + 40. Solve -j = 3*g - 20 for g.
4
Let a(i) = 2*i**2 - 2*i - 4. Let c be a(3). Suppose -3*m + c = m. Solve 2 = m*l - l for l.
2
Let m(w) = w + 5. Let p be m(-4). Let i = 3 + p. Let y be (-8)/2*19/(-38). Solve -y*q + i = -0*q for q.
2
Let i be (-3 - -6) + -3 + 7. Let a = i - -1. Solve -a = -2*d - 2 for d.
3
Suppose 0 = 4*z - 4*r - 72, -z + 12 = -2*r + 7*r. Solve z = -5*h - 3 for h.
-4
Let w(u) = -u**2 - u + 3. Suppose -z + 3 = 0, 4*h + 6 + 0 = 2*z. Let s be w(h). Solve s*d = -6 - 0 for d.
-2
Let c(w) = -w**2 + 10*w - 12. Let j be c(8). Suppose a = -j*b - 14, -4*a + 2*b = -2*a - 22. Solve 3*o = -0*o + a for o.
2
Suppose -5*f = -0*f - 20. Let s(x) = x - 5. Let r be s(6). Let j be (6 - r) + 2/(-2). Solve -f*z = -0*z + j for z.
-1
Suppose 0*k = k. Solve 2*g + 5 + 5 = k for g.
-5
Suppose -4*l + 5*k + 10 = 4*k, -2*k = 4. Suppose 2*m = 4 + 6. Suppose -3*g - 18 = -w - 2*w, m*g + 10 = 0. Solve -2*n - l*n - w = 0 for n.
-1
Let t be -2*3/6 - -15. Let d be (8/(-3))/(t/(-21)). Solve 10 - d = -3*m for m.
-2
Let f(u) = u**3 + 5*u**2 - 13*u + 10. Let o be f(-7). Solve -m = -0 + o for m.
-3
Let v = -22 + 13. Let a(m) = -m**2 - 8*m + 11. Let o be a(v). Solve 0 = -2*d - 0*d + o for d.
1
Suppose 3*c - 2*c = 0. Let x be (-2)/(-14) + 41/7. Let k be (3/(-2))/((-3)/x). Solve 0 = -c*j + k*j for j.
0
Suppose -7*a = -34 + 6. Solve -a*d = 7 - 23 for d.
4
Suppose 4*r + 0*r = 0. Let k be (2 - (0 + 5))/((-4)/20). Solve r = 4*d - 1 - k for d.
4
Let i = 1 - 0. Let o(x) be the second derivative of 5*x**4/12 - x**2/2 - x. Let c be o(i). Solve d = -c*d - 15 for d.
-3
Suppose 0 = 2*p - a - 5, -7*p + 2*p = 2*a + 10. Solve p*o + o - 3 = 0 for o.
3
Let s = 31 + -12. Let k = 2 - 20. Let r = k + 23. Solve -s - 1 = r*l for l.
-4
Let b(w) = -w**2 + 3*w + 3. Let z be b(3). Suppose z*k - 65 = -2*m, 2*m - 13 = -5*k + 62. Solve -5 = -4*r - m for r.
-5
Let h(k) = 2*k**3 + k. Let v be h(1). Let m(z) = 4*z**2 + 0 + 2 - 4*z**3 + 3*z**3 - 3*z. Let i be m(v). Solve -c = i*c + 12 for c.
-4
Suppose -2*h + 27 = -3*h. Let c be (-102)/h + (-4)/(-18). Solve c*v - 2 + 6 = 0 for v.
-1
Let s(t) be the third derivative of t**5/60 + t**4/12 + 2*t**2. Let c be s(-2). Let b = 4 + c. Solve 0 = -3*k - k - b for k.
-1
Let u = 9 + -3. Suppose 5*f - 7 = -3*d, 0*f + d + 5 = 2*f. Solve -u*z = -f*z + 12 for z.
-3
Let p(c) = -3*c + 21. Let l be p(6). Solve 5*d = l*d - 2 for d.
-1
Let b(u) = -u**2 + 9*u + 5. Let t be b(9). Solve -t*y = -0*y for y.
0
Let f be 2/(-7) - ((-1440)/42)/8. Solve -t = -3*t - f for t.
-2
Let d(i) = -i**3 - 5*i**2 + i + 7. Suppose 4*r = r - 54. Let n = 13 + r. Let a be d(n). Solve -q - q = a for q.
-1
Let f = 16 - 12. Suppose 8*h = -2*x + 3*h + 15, f*h - 12 = 3*x. Solve x = 3*k + k + 20 for k.
-5
Suppose -7 + 39 = -4*s. Let b = s + 8. Solve 3*z + b = 15 for z.
5
Let m be 4/20 - 42/(-15). Suppose -p - 6 = -m*p. Suppose -3*b - 9 = 0, 3*b + 24 = 3*d - 15. Solve 0 = -5*l + p*l - d for l.
-5
Let g = -12 + 20. Suppose g = -3*w + 7*w. Suppose 6*c - 1 = 47. Solve w*k + c = -2*k for k.
-2
Suppose -5*w - 10 = 5*z, 5*w - z - z = 4. Solve w = u - 0*u - 1 for u.
1
Let l(v) = -2*v - 10. Let p be l(-6). Solve -18 = 4*c - p for c.
-4
Let v(c) = c**3 - c**2 - c + 1. Let b be v(1). Solve b = -8*i + 4*i for i.
0
Suppose c - 11 = -4*x - 27, 0 = -5*c - 4*x - 16. Suppose c = -4*s + 11 + 1. Suppose -8 = 2*n - 7*n - j, -4 = -5*n - s*j. Solve 0 = h - 0 + n for h.
-2
Let t(r) be the first derivative of r**2/2 - 11*r - 2. Let q be t(6). Let i = -5 - q. Solve -4*b + 8 = -i for b.
2
Suppose -2*u = -0*u - 6. Suppose -u*b = -c + 15, 8*c - 3*c - 19 = b. Solve -1 = -c*f - 7 for f.
-2
Let k = -6 + 16. Solve k = z + z for z.
5
Let y = -5 + 8. Suppose -2 = o, 4*v - 10 = -y*o + 12. Let l = v - 7. Solve -2*g - g = l for g.
0
Let p = 12 - 7. Let o be 10*p*2/25. Solve 5*l = -6 - o for l.
-2
Let d = -10 - -23. Let g = -7 + d. Solve 0 = -4*a + 2 - g for a.
-1
Let s be 2/10 - 14/70. Solve 2*z + s = 2 for z.
1
Let s = 52 - 52. Solve 3*v - 3 + s = 0 for v.
1
Suppose 5*k + 2 = 22. Suppose -k*f + 0*b + 10 = 2*b, -f + 3*b + 20 = 0. Suppose 3*v - f*a + 2 = -1, -v - 5*a = -19. Solve v = z + 5 for z.
-1
Let c(i) = -i**2 + 4*i. Let d be c(4). Solve f + 3 = -d*f for f.
-3
Suppose -4*t = -9*t - 4*h + 10, 2*h = -5*t. Let f be 2 - (-6)/t - -7. Suppose -f*n - 44 = -3*k - 2*n, 0 = -5*k + n + 45. Solve a = -3*a + k for a.
2
Let p(o) = o**3 - 16*o**2 + 14*o + 16. Let j be p(15). Let c = j + 4. Solve 0 = -5*y - c + 10 for y.
1
Let k be 2/3 + 34/3. Solve -k + 4 = -2*d for d.
4
Let j(l) = 2*l**2 + 6*l - 1. Let r be j(-4). Solve 12*z - r*z = 15 for z.
3
Suppose 4*w - 94 = -5*r, -74 = -4*r + w - 3. Solve 16*h + 10 = r*h for h.
5
Let y = 8 + -4. Solve c = 2*c + y for c.
-4
Suppose 9 = 5*m - 6. Solve -l = m*l for l.
0
Suppose 5*x + j = -3, 0 = 3*x + 5*j + 6 + 9. Solve x = -u - 3 - 0 for u.
-3
Let q = -146 - -146. Let w be 8/6*18/4. Let g be (-2)/(-4) + 27/w. Solve q = -a + g for a.
5
Let y = 8 + -6. Let z(v) = v**2 + 4*v + 3. Let b be z(-3). Solve b - y = -n for n.
2
Let l = 13 + -8. Solve -3 + l = -s for s.
-2
Suppose 3*i = -28 - 17. Let m be ((-2)/(-3))/((-5)/i). Solve -m*d - 2*d + 16 = 0 for d.
4
Suppose -5*t - 2*t + 28 = 0. Solve -11 + 3 = t*w for w.
-2
Let u be (1 + -1)/(0 - -2). Suppose -2*w + 38 - 8 = u. Solve 0 = -0*g - 5*g + w for g.
3
Suppose -p + 4*d = 8*d + 11, 4*d = -3*p - 9. Solve 3*h = p + 11 for h.
4
Let l(d) = d**3 - 10*d**2 - d + 13. Let b be l(10). Solve -b*k + 8 = -4 for k.
4
Let x(j) = j + 16. Let s be x(0). Solve -3*w + s = -7*w for w.
-4
Let u = 15 + -9. Let x(z) = z. Let k be x(u). Solve 0 = 5*b + k - 1 for b.
-1
Let v = 36 + -4. Suppose 4*l + 0*l = v. Solve 4*n + l = -4 for n.
-3
Let x be 2*3/((-9)/(-6)). Solve 0 = x*d - 4 - 4 for d.
2
Let n be (-33)/22*20/(-6). Suppose 5 + 15 = n*u. Solve 7*q - 3 = u*q for q.
1
Suppose 2*l - 7*l = -10. Solve -4*t + 2 + l = 0 for t.
1
Let c(m) = -3*m + 3. Let w be c(0). Solve -w*o + 2 = 5 for o.
-1
Suppose 14 = 4*k - 6. Let j(x) = 16*x**3 - x**2. Let u be j(1). Suppose -4*n = c, 3*n + n - 5*c = 0. Solve n = 2*a - k*a + u for a.
5
Suppose -4*q + g - 3*g = -2, 0 = -3*q - 5*g + 5. Solve -h + 4 = -q for h.
4
Let v(y) = y**3 - 14*y**2 + 14*y - 11. Let s be v(13). Suppose s*h = h. Solve h*i = 4*i for i.
0
Let s = 44 - 44. Solve y + 2*y - 3 = s for y.
1
Suppose -l + 16 = l. Let g be (-5)/(-2) - (-4)/l. Solve g*p - 2 = 2*p for p.
2
Let u(d) = 3*d - 3. Let b be u(2). Solve 0 = -b*p + p for p.
0
Let j = 26 - 23. Suppose -q = -2*z - j*q + 12, -2*q = -2*z + 20. Solve 4*i + z = 2*i for i.
-4
Let s be 2/3*-1 + 16/24. Solve 0 = 2*y - s*y for y.
0
Let k = -4 + 7. Let i = 3 - k. Solve c = -i*c + 2 for c.
2
Let n 