t(-4). Solve -3*s + 5 - l = 0 for s.
1
Suppose -8 = -5*m + n, 5*n - 10 = -4*m + 4*n. Solve 0 = 2*k + 4 + m for k.
-3
Let p = 2 + 0. Suppose -3*j + 4 = -p*j. Suppose 3*g + 4*l = 0, -2*g = -4*g - j*l. Solve -2*x + 10 = -g*x for x.
5
Let s(l) = -1 + 2 - 2 - 6*l. Let g be s(-1). Let v be -2 - ((1 - 1) + -2). Solve v*n = -g*n + 20 for n.
4
Let l = 4 + -3. Let d = 16 + -13. Solve r = -d - l for r.
-4
Let t(k) = -k**2 + 4*k - 5. Suppose -b + 5*n = -2*b - 1, n + 21 = 5*b. Let w be t(b). Let z = 9 + w. Solve -z*r - 3 = 9 for r.
-3
Suppose -3*k = -2*m - 1 + 8, -4*m + 9 = -k. Solve 0 = 3*x - m - 1 for x.
1
Let m(c) = c**2 + 12*c + 13. Suppose 3*h = -0*h - 33. Let l be m(h). Suppose -4*d = -l*d - 8. Solve -d - 8 = -4*g for g.
3
Suppose -7*f + 1 = -20. Solve 2*k - f = 5 for k.
4
Let f(z) = z**3 - 8*z**2 - 10*z + 1. Let b be f(9). Let v = b + 8. Solve v = 3*m - 5 - 10 for m.
5
Let b = 13 - 13. Solve b*w = 4*w for w.
0
Suppose -2*w = 4*r - 2*r - 10, 2*r = 4*w + 10. Suppose r*y - 14 = -c, 5*c - y = -7 - 1. Let h = c - -13. Solve 2*d + 4 = h for d.
4
Let v be 2/(-12) - (-425)/102. Solve -v = -2*t + 4 for t.
4
Let c = -44 - -49. Solve -c*l + 6 = 31 for l.
-5
Suppose -5*g = -4*q - 36, 2*g - 3*g + 16 = -3*q. Let z = 7 - g. Let x be 34/4 + (-2)/(-4). Solve 0 = -3*v - z + x for v.
2
Suppose 6*k - 60 = 2*k. Suppose -y + 3 = -2*u, 4*y + 4*u + 3 - k = 0. Let m = y - -6. Solve 3 = 4*h - m for h.
3
Let d = 1 + -1. Suppose 5*s - 3*l = 6, 4*l + d*l = -5*s + 27. Solve 20 = -s*z - z for z.
-5
Let o be 8/(-4) - (-1 + 2). Let b be o/(-2)*16/6. Let f(m) = 2*m**2 + 33*m + 19. Let g be f(-16). Solve -g*d + b = -4*d for d.
-4
Suppose 5*f + 0*j - j = 20, -4*f + 3*j + 16 = 0. Suppose 0 = -3*a + 24 - 9. Suppose a*n + 2 = 32. Solve f = n*c - 5*c for c.
4
Suppose 2*d + 2*d = 8. Suppose 2*i - 8 = 4*i - j, d*i - 8 = -3*j. Let t(z) = -5*z + 1. Let u be t(i). Solve 1 = 2*h + u for h.
-5
Let v(q) be the third derivative of -5*q**4/24 + q**3/6 - q**2. Let d be v(-1). Solve -5*n = -19 - d for n.
5
Let q(l) = l - 5. Let p be q(7). Suppose 2*o + 6*i = 2*i - p, 2*o + 3*i = 0. Solve -3*n + 0 = o for n.
-1
Let n = -44 + 46. Solve -5*c = -n*c - 12 for c.
4
Let p be (1 + 0)*(-4 + 3) - -7. Solve 6*s - 4*s = p for s.
3
Let r be 14/18 - 12/(-54). Solve -2*v - r = 9 for v.
-5
Let q(s) = s**2 + 5*s - 2. Let c(k) = -k**2 + 2*k + 2. Let x be c(-2). Let r be q(x). Solve r*t + 5 = -11 for t.
-4
Suppose 3*m - 4*m + 7 = 0. Let w be (-80)/(-14) + 2/m. Solve 2*u - 8 = w*u for u.
-2
Let v = 8 + -11. Let u(o) = -o**3 - 2*o**2 + 2*o - 3. Let k be u(v). Let i = -5 + 8. Solve -i*j + 5*j + 2 = k for j.
-1
Let r = 0 - -1. Suppose 0 = s - v + r, -3*s + 4*v - 4 = -7*s. Solve -1 = -g - s*g for g.
1
Suppose -123*o = -118*o - 15. Suppose -w = -2*s - 0*w + 10, s = -2*w. Solve o*x - s + 10 = 0 for x.
-2
Let o = 3 + -2. Suppose 4*g = c + 10, -5*c + 29 - 7 = 4*g. Suppose t = c*t. Solve x + 3 - o = t for x.
-2
Suppose -4*q = 5*z - 22, 4 = -q + 3*z + 1. Let w be 6*q/(-15)*-5. Suppose -w*o = -o - 35. Solve 3*i + o = 1 for i.
-2
Suppose -2*o - 18 = -2*h, -3*h - 3*o - 7 = -2*h. Suppose -20 + h = -x. Solve -4*m = -9*m - x for m.
-3
Let c(n) = 4*n**3 + n - 1. Suppose 1 = -3*i + 4. Let z be c(i). Solve s - z*s - 12 = 0 for s.
-4
Suppose 2*v - 19 = -3*v + i, 3*v = 4*i + 25. Solve -v*c = c for c.
0
Let c be (-10)/((-4)/6*1). Suppose 5*l = 4*a + 11 + 1, -4*a - 4 = -3*l. Suppose 0 = a*v + v - c. Solve -v = -3*g + 4*g for g.
-5
Suppose -2*y - 3*l + 21 = 0, -y + l - 1 = -9. Suppose -2*h + h - y = -2*n, n + h - 6 = 0. Suppose -2*b = -n + 1. Solve b + 3 = v for v.
5
Suppose -5*k + 37 = 27. Solve k*d + 2 = -2 for d.
-2
Let m = -204 + 208. Solve r + 9 = m*r for r.
3
Let k(m) = m**2 + 2*m - 13. Let z be k(3). Solve -b - z = b for b.
-1
Let c = -8 - -12. Suppose -c*x = -x - 9. Suppose 5*b = -s + 2, -x*b - s = b - 1. Solve -3*o = 10 - b for o.
-3
Let p = -28 + -3. Suppose 19 = 2*j - 83. Let k = p + j. Solve -5*t - k = -t for t.
-5
Let a be 3 - ((-12)/(-3) - 0). Let v be ((-2)/4)/(a/8). Solve -v*c = -6*c - 10 for c.
-5
Let x(o) = 2*o - 2. Let f be x(3). Let p(k) = -k**2 + 8*k + 7. Let v be p(9). Let l be 8 - -2 - (v + 2). Solve -f*m + l + 10 = 0 for m.
5
Let j(l) = 2*l - 9. Let s(v) = -3*v. Let z be s(-2). Let d be j(z). Let w(n) = 5*n**2 + 2*n + 1. Let k be w(2). Solve -d*f = -10 + k for f.
-5
Let l(d) = d + 6. Let b be l(-6). Solve 5*y + 10 = -b for y.
-2
Let p = 3 - -1. Suppose 0 = -c - 4*i - i - 10, p*i + 8 = 0. Solve c = t + t - 4 for t.
2
Suppose -4*m = -188 + 8. Let q = m - 27. Solve -q = -4*p - 2 for p.
4
Let v(q) = -q**2 + 6*q - 6. Suppose 0*w = 4*w - 12. Suppose -i + 22 = 2*i - 5*f, w*i = 3*f + 18. Let d be v(i). Solve 1 - 5 = -d*z for z.
2
Suppose -4 = -2*v + 3*q + 9, 3*v - 5*q = 20. Solve -2*u = -3*u - v for u.
-5
Let u be -1 + 7 + -3 - 3. Solve -2*b - 6 + u = 0 for b.
-3
Let p(f) = f**3 + 5*f**2 + f + 10. Let i be p(-5). Solve 3 = -i*d - 2 for d.
-1
Suppose 5*z = 3*q + 44, -z - 3*z + 30 = -5*q. Let r = z - 6. Solve r*i + 7 + 5 = 0 for i.
-3
Let s = -5 - -20. Suppose -3*l - 3*d = -s, 0 = 5*d + 20. Let b be 1/(1*3/l). Solve -3 = b*i - 0*i for i.
-1
Let j be -2 - 1 - -2 - -3. Suppose 6*t - 5*t = j. Solve 15 = -t*s - s for s.
-5
Suppose 9*q - 20 = 4*q. Solve 5 - q = s for s.
1
Let f be 2/4*1*6. Let h(w) = 5 - 4 - w + 5. Let n be h(6). Solve -f*k + 2*k = n for k.
0
Let u(t) = -t**2 - 5*t + 17. Let v be u(-7). Solve r + 1 + v = 0 for r.
-4
Let d = 25 - 25. Solve 5*i + d - 5 = 0 for i.
1
Let j(w) = w**2 - 6*w + 5. Let g be j(6). Suppose 0*i = g*i. Suppose 3*u - 2*u - 4 = i. Solve -t - 12 = -u*t for t.
4
Let n = -156 - -162. Solve -4*c = -n - 14 for c.
5
Let y = -3 - -6. Let k = 5 - y. Solve n = k - 3 for n.
-1
Let s(b) = -b**3 + 10*b**2 + 5. Let q be s(10). Suppose q*u = -5*c + 2*u + 16, -3*u - 14 = -c. Solve 0 = c*j - 0 - 5 for j.
1
Suppose -3*s = 3*f, -3*f + 3 = s + 3*s. Suppose -u - 5 + s = 0. Let z = -1 - u. Solve 7 + z = 4*n for n.
2
Let z(y) = y**3 - 4*y**2 + 4*y - 2. Let j be z(2). Let o be 1/(j - 22/(-10)). Solve 5 = -0*v + o*v for v.
1
Let w = 1 + -1. Suppose 2*f = -170 + 178. Solve 2*n = -w*n + f for n.
2
Let m = 24 + -22. Solve -m*b = -0*b - 10 for b.
5
Let t be (-4)/(-16) - (-59)/4. Let k(v) = 2*v**3 + v**2 - 3*v - 2. Let u be k(-1). Solve -3*d - t = -u*d for d.
-5
Let m = -184 - -187. Solve g = m - 2 for g.
1
Suppose 0 = 5*l - 2*l - 24. Suppose i = l - 3. Suppose -4*v + 16 = -3*c, -5*v - c + 20 = -2*c. Solve 2 = v*n - i*n for n.
-2
Suppose -4*l + 6 = -4*t + t, -4*t - 5*l + 23 = 0. Let h = 2 + t. Solve 0 = i - 0 - h for i.
4
Let v(m) = -m**3 + 5*m**2 - m - 3. Let y be v(3). Suppose 0*p = 2*p - 20. Suppose o + 4*o = p. Solve o*z - y = -z for z.
4
Let b(s) = -s**2 - 11*s - 7. Let o be b(-10). Solve 4*g = o*g - 5 for g.
-5
Suppose 0*f - f = n + 5, 3*n + 15 = 4*f. Suppose f = 3*o - 2*r - 22, 5*o + 4*r - 42 = 6*r. Solve 3*l + o + 2 = 0 for l.
-4
Let y(i) = 3*i - 1. Let p be (-16)/8 + 1*-3. Let c(m) = -m**2 - 5*m + 1. Let n be c(p). Let g be y(n). Solve -3*a = g*a + 10 for a.
-2
Let m(u) = -u**2 - 13*u - 19. Let o be m(-11). Solve 3 = -4*n + o*n for n.
-3
Suppose 0*b = b - 5. Suppose 0 = -b*i + 15. Solve i*t = -0*t for t.
0
Let v = -21 + 23. Solve v*a - 3*a = -4 for a.
4
Let f = -7 + 7. Let s be (3 - 6)*1/(-3). Suppose 0 = -j + 2*z - 6*z - s, 5*j = 3*z + 18. Solve f*q - j*q = -12 for q.
4
Let w = 5 + 0. Solve 0 = w*u - 0*u for u.
0
Suppose 10 = -r - 1. Let w = -7 - r. Suppose 0 = -3*z + 8*z - 2*v - 18, 12 = -2*z - w*v. Solve 0 = -5*a - 3 - z for a.
-1
Suppose 4*f - 4*i = i + 32, 2*f + 4*i + 10 = 0. Solve -4 = -l - f*l for l.
1
Let n = -54 + 62. Solve -3*h - h - n = 0 for h.
-2
Suppose 0*d = -d - 21. Let l = -31 - d. Let s = l + 20. Solve 2*y - 4*y - s = 0 for y.
-5
Suppose 4*d - 16 = 2*h, 2*h - 4*d - d + 15 = 0. Let n = -8 - h. Solve n - 6 = f for f.
-4
Suppose -k = -0*k - 12. Solve 2*x + k = -2*x for x.
-3
Suppose 3*o = -2*c, -4*o + 3*o - 4*c = 0. Solve -15 = -o*i + 3*i for i.
-5
Suppose 3*g + 2*k - k + 2 = 0, -2*k = 2*g + 4. Let u(n) = n**2 + 4*n - 3. Let s be u(-5). Suppose d + 6 = 2*a + s*d, -3 = -a - d. Solve g = -i + 4 - a for i.
1
Let p(q) be the third derivative of q**5/30 - q**4/24 + 2*q**2. Let h be p(1). Let r be (-2)/((h - 2)*2). Solve -4*u - r = -9 for u.
2
Let y(p) = p + 11. Let r be y(-11). Suppose r = n - 5*n + 8. S