k be l(0). Solve s + x = k*t for t.
1
Let r(y) = -y**2 - 7*y - 6. Let u be r(-6). Solve -2*f + u = 2 for f.
-1
Suppose 4 = m - 1. Let g(c) be the first derivative of c**2 - 5*c - 4. Let a be g(m). Solve a*r = -2 - 3 for r.
-1
Let f = 4 - 2. Let n = -11 - -35. Suppose -2*z + n = f*z. Solve 3*r - z = 5*r for r.
-3
Suppose 2*o = 3*x - 13, -3*x - x + o + 14 = 0. Solve 5 + 7 = x*j for j.
4
Let y be 8/(-12)*(-9)/2. Suppose 1 + y = 4*g. Solve 2*a - a = g for a.
1
Suppose 0 = 3*p - 3, p + 8 + 1 = w. Let t = 14 - w. Solve -t*q = -q - 12 for q.
4
Let a(l) = -l**3 - 5*l**2 - 4*l + 2. Let k be a(-4). Suppose -d = -k*d. Let r(y) = 2*y**2 - 7*y - 10. Let f be r(-2). Solve -4*p = -d*p - f for p.
3
Let y(b) = -b**3 + 6*b**2 + 6*b + 7. Let t be y(7). Let c = 0 + t. Solve 0 = -4*v - c - 4 for v.
-1
Let n = -2 - -6. Suppose -3*s + 4 = 2*z, -2*z - s + n = -2*s. Solve z*d + 3 = 3*d for d.
3
Suppose 2*t + 9 - 13 = 0. Solve 5*f = 3*f - t for f.
-1
Suppose -7 = 8*c - 39. Solve 0 = 3*g - 8 - c for g.
4
Let i = 15 + -11. Solve -x + 3 = -i*x for x.
-1
Let w(p) = -4*p - 3. Suppose 5*l = 4*n - 28, 0 = 4*n - 3*l + 6*l + 4. Suppose a - 4 = 1, -3*k - n*a = -4. Let g be w(k). Solve 3*q - g*q - 6 = 0 for q.
-3
Suppose -5*o + 2*u + 44 = 0, 0 = 2*u - 6. Let k = o - 7. Solve 3*a - k + 6 = 0 for a.
-1
Let i(t) = t. Let l be i(2). Solve v = -l*v for v.
0
Let v = -2 + 8. Suppose -z + 1 = 3*c, -5*z + 5*c = v*c - 5. Solve 0 = 2*t - z - 3 for t.
2
Suppose 0 = 4*d - 12 - 4. Let f be 0/(-1) + 20/d. Suppose f*b - b - 105 = -5*l, 0 = 3*l - 15. Solve -3*z - b = 2*z for z.
-4
Let v(a) = -a**3 + 6*a**2 + 5*a + 3. Let f be v(7). Let i = 11 + f. Solve 6 = -3*s - i*s for s.
-2
Let l = -2 + -5. Let z = l - -23. Let i be 1/(((-5)/(-3))/5). Solve -i*o = o - z for o.
4
Let h = 9 - 11. Let r be h/(-3) - (-21)/9. Solve 5 = 2*o + r*o for o.
1
Suppose 7 - 10 = -c. Solve 0 = c*u - u + 8 for u.
-4
Let m(t) = 2*t**2 + t + 1. Let l be m(-1). Suppose 4*k + 6*d = 2*d, -5*d - 21 = -l*k. Let y = 8 - k. Solve -y*r + 14 = -1 for r.
3
Let s(t) be the second derivative of t**5/120 + t**4/6 - t**3/6 + 2*t. Let v(u) be the second derivative of s(u). Let k be v(6). Solve -m - m = -k for m.
5
Let z be 108/20 - (-4)/(-10). Suppose z*u + 10 = 3*c, 4*c - u = -5*u - 8. Suppose 2*b = 2*s - 10, 7*b + 10 = -s + 3*b. Solve c = -3*l - s*l for l.
0
Let d(c) = -c**3 - 5*c**2 + 3. Let n be d(-4). Let l = n - -13. Solve l = -3*b + 2*b + 1 for b.
1
Suppose 4*u - 6*b + 25 = -b, 2*u = -4*b - 6. Let a = u - -5. Solve y = -a*y for y.
0
Suppose 0 = -3*v + 5*v - 2*b - 14, b - 11 = -2*v. Let a be (-3)/15 + v/5. Solve -a - 3 = 2*o for o.
-2
Suppose -4 + 44 = 5*f. Suppose f*y = 3*y + 50. Solve -6*b = -b + y for b.
-2
Let z = 5 - 7. Let a be (z/(-4))/(2/16). Solve s = -a*s + 5 for s.
1
Let z(y) = -y + 13. Let c be z(10). Let m be (-6 - (c - 1))*1. Let u = m + 8. Solve w + w = u for w.
0
Let j = 5 - 3. Suppose 4*i + 3*k = 22, 2*i + j = i + 3*k. Suppose i*q - 10 + 2 = 0. Solve -5*d - 12 = -q*d for d.
-4
Suppose 3*c - t - 5 = 0, -5*t - 6 = -4*c - 3. Suppose -3*k = 5*f - 17, 3*f + 0*k = -2*k + 10. Solve 22 - c = f*z for z.
5
Suppose c = 15*c - 42. Let t = -2 + 2. Solve t = c*i - 0 - 15 for i.
5
Let i = 2 - -3. Let g = -6 + i. Let j = -1 - g. Solve 2*l + 0*l + 10 = j for l.
-5
Let u(s) be the third derivative of s**4/6 - 2*s**3/3 - 3*s**2. Let c be u(3). Suppose -g + 1 = -3. Solve -g*j - 16 = -c*j for j.
4
Suppose -4 = 2*t - 0*t - 2*i, i - 2 = -4*t. Solve 5*f - 11 - 9 = t for f.
4
Let u(s) = s**3 - 9*s**2 - 10*s - 2. Let i be u(10). Let x be i/((1 - 2) + 3). Let r = 3 + x. Solve o + r*o = -6 for o.
-2
Suppose 5*t = 7*t - 2. Solve -2*i + t - 3 = 0 for i.
-1
Let w(i) = i**2 + i. Let c be w(1). Solve 0 = -3*b + 1 + c for b.
1
Let s(u) = 6*u**2 + 7*u + 6*u**3 + 2*u**2 - 5*u**3. Let x be s(-7). Suppose a - 16 = -2*l, 5*a + x*a - 4*l = 38. Solve -3*j + a = -5 for j.
5
Suppose 12 + 8 = 4*y. Suppose 10 = -5*x + y*w, -11 = -x - 3*w + 7. Suppose 8*t = x*t. Solve -2*l - 2 + 6 = t for l.
2
Let t be (((-32)/(-3))/4)/((-2)/(-9)). Solve 3*q + 0 = -t for q.
-4
Let b(v) = -v**3 + v. Let i be b(1). Suppose -f + i + 10 = 0. Solve 3*l - f = l for l.
5
Let k be 3 - (4 + 1 - 2). Solve k*n + 4*n - 8 = 0 for n.
2
Suppose 0 = -v + 4*t - 16, -5 + 20 = 3*t. Solve 0 = -l + 1 + v for l.
5
Let h(v) = -2*v - 2. Let x be h(-3). Solve 0 = -x*d + 8*d for d.
0
Let y be 0 + (4 - 4)*1. Solve -5 + y = x for x.
-5
Suppose -n + 3 = 1. Suppose n*a + 10 = 7*a. Solve 0 = -0*d - d + a for d.
2
Suppose x - 13 = -3*a, x - 5 = -2*a + 3. Let r = x - -2. Solve 0 = -r*o + o for o.
0
Suppose 0 = 6*l - 52 - 14. Solve -4*f - l = 1 for f.
-3
Let z = 625 - 625. Suppose 4*w - 6 = 10. Solve w = -z*h - 2*h for h.
-2
Let x(m) = -m**2 - 2*m + 3. Let s be x(-3). Suppose 2 + 7 = -3*h. Let n = s - h. Solve 0 = -5*l - 28 + n for l.
-5
Let l = -2 - -2. Let a be (0 + -1)/(1 - l). Let i be (1 - 1)*a - -2. Solve h = -h + i for h.
1
Let p be (-11)/(-4) + 12/(-16). Solve -2*z = p*z + 20 for z.
-5
Let v(u) = -u**3 + u**2 - u - 1. Suppose c + 3*d + 0*d = 17, 3*d - 25 = -5*c. Let n be 2*9/(-6) + c. Let f be v(n). Solve 4*r - f = 5*r for r.
-2
Let u(z) = 2*z**3 + 10*z**2 + 4*z + 5. Let s be u(-5). Let b = 0 - s. Let c = 13 + -3. Solve -5*t - b - c = 0 for t.
-5
Suppose 5*k - 5*f + 25 = 0, -4*k - 5*f = -3*k - 25. Solve -2*v + 6*v - 8 = k for v.
2
Suppose -5*g = -18 - 17. Let z = g - 5. Solve -4 = -z*y - 0 for y.
2
Let x = 32 - 30. Let d = 2 + -1. Solve x*a + d + 3 = 0 for a.
-2
Let a(y) = -2*y + 1. Let d be a(2). Let r(z) = -z**3 + 5*z**2 - 5*z + 4. Let w be r(4). Let f = w - d. Solve 0 = f*s - 0 - 6 for s.
2
Let u(z) = z**2 + 5*z - 2. Let r be u(-6). Suppose -3*n + 5 = -k, -r*k + 19 + 25 = 4*n. Let s(c) = -c**3 - 3*c**2 + 2. Let b be s(-3). Solve q = k - b for q.
5
Suppose h + j + 18 + 7 = 0, 79 = -3*h - 4*j. Let i be h*(-3)/((-27)/(-3)). Solve -3*s + i*s = -12 for s.
-3
Let d(b) = b**2 - 7*b + 9. Let i be d(6). Let q be (-3 + -4 + 6)/((-1)/3). Let m = 8 + -4. Solve i*p - m*p = -q for p.
3
Let h(p) = -p**3 - 11*p**2 + 11*p - 16. Let a be h(-12). Let c be -4*(-2 + (-3)/a). Suppose c*u = -0*u. Solve u + 2 = f for f.
2
Let p be -5*(-1)/2*-2. Let m = -8 + 1. Let t = p - m. Solve 4*u + 6 + t = 0 for u.
-2
Let m be 94/14 + 6/21. Solve -m = 5*n + 3 for n.
-2
Let k = -63 - -65. Solve -4*n + 8 = -k*n for n.
4
Let i = 78 + -75. Solve i*y = y for y.
0
Let r(l) = l + 19. Suppose -k + 5*g + 9 = 0, -4*k = -k + 3*g + 63. Let j be r(k). Solve 4*a - 17 = j for a.
5
Suppose 9 = t + 4. Let o be ((-4)/t)/(6/(-15)). Suppose 0 = 2*w + w - 18. Solve -z - w = o*z for z.
-2
Suppose 3*w = -4*x + 68, -4*w - 5*x + 14 = -75. Solve 4*s - w = -0*s for s.
4
Let f(g) = -g**2 - 17*g - 18. Let j(x) = -x**2 - 18*x - 17. Let v(k) = -3*f(k) + 2*j(k). Let t be v(-14). Solve 5*c = 14 + t for c.
4
Suppose -j + 2*j = 32. Let y = 47 - j. Solve 0*w + 3*w = -y for w.
-5
Let g be (-3 - -1)*2/4. Let t be g/2 - 2/(-4). Suppose 15*o = 29*o - 42. Solve t = o*w - 3 for w.
1
Let m be (-45)/(-5) - (0 + 1). Suppose -m = 4*l - 0. Let y = 0 - l. Solve 3*o + y*o = 20 for o.
4
Suppose 2*z + 19 = 2*n + n, 2*z = -n - 7. Solve -m + 4*m = -n for m.
-1
Let r(p) = 4*p + 10. Let a(g) = -3*g - 7. Let b(j) = -7*a(j) - 5*r(j). Let z be b(4). Let i be (-35)/(-25) - 6/(-10). Solve i*m + z = -1 for m.
-2
Let s(p) = 2*p**2 + 11*p + 7. Let j be s(-5). Solve -r = -j - 3 for r.
5
Let i be (10 - 0) + 1*-2. Let q = i + 7. Solve 5*c + 0 + q = 0 for c.
-3
Let c(p) = -p - 1. Let g(j) = 6*j + 11. Let v(z) = 5*c(z) + g(z). Let x be v(5). Solve 3 = -4*o + x for o.
2
Let a be ((-6)/(-2) + -2)*2. Suppose 6 = a*b - 4. Solve b = 7*g - 2*g for g.
1
Let m be ((-2)/(-4))/(3 - 35/12). Solve 0 = -2*n - 14 + m for n.
-4
Suppose t = -4*d - 15, 0 = 3*t - 7*t + 2*d + 30. Suppose -5*h + t + 10 = 0. Solve 0 = -p + h*p + 8 for p.
-4
Let s(d) = 5*d - 10. Let l be s(3). Suppose k - 5*r + 29 = 4*k, 22 = 2*k + 4*r. Suppose 12 = -2*b - 3*o, k*o = -1 - 11. Solve -4*i - l - 15 = b for i.
-5
Suppose o + o = 40. Let z = o + 6. Let f be 5*(12/(-4))/(-3). Solve -f*n - z = -1 for n.
-5
Let v be 0 + 3*(-19)/1. Let p be v/6*(-3 - -1). Suppose -2*h - 5 = -p. Solve -3*z + h*z = 8 for z.
2
Suppose 5*o = 3*o + 4*u + 16, -3 = 3*o + 3*u. Solve 3*r = -o - 4 for r.
-2
Let d(q) = q**3 + 2*q**2 - 1. Let m(s) = s**2 + 1. Let a be m(0). 