ative of -s**2 - 7*s + 5. Let i be r(-8). Suppose 4*m + 5 = i*m. Solve 2 + m = -x for x.
-3
Let p be -1*(-1)/((-1)/(-1)). Let g(l) be the third derivative of -l**6/120 - l**5/60 + l**4/6 - l**3/6 - l**2. Let v be g(-3). Solve -p = v*i - 11 for i.
2
Let v be (2 - (5 - 3))/(2/(-1)). Solve v = -h - 7 + 2 for h.
-5
Let m be 0*(3 - (-5)/(-2)). Suppose -4*t + 2*s - 56 = m, -3*t - 24 = 3*s + 18. Let h be 24/t*(-21)/6. Solve 5*y = -9 - h for y.
-3
Let l be 2/9 - 70/(-9). Let w be 10/(-25) + 14/10. Let b be (2*w)/((-6)/(-9)). Solve t - l = -b for t.
5
Let j be 10/2*(-2)/(-5). Let w = -2 + 5. Let n = 3 + -3. Solve n = j*q - w*q for q.
0
Let n = 70 + -68. Solve -n*b - 6 = b for b.
-2
Suppose -i = 1 + 8. Let q = i + 11. Solve 4*b = 3*b - q for b.
-2
Suppose 10*b + 12 = 13*b. Solve -8 - b = -4*p for p.
3
Let d(q) = 3 + 2 + q + 0. Let b be d(-10). Let g = b + 7. Solve g*a = 8 + 2 for a.
5
Let i be 42/(-98) + (-143)/(-7). Solve 5*f - 45 = -i for f.
5
Let q be ((0/2)/(-3))/(-1). Solve q*f = 5*f - 25 for f.
5
Suppose -4*y - 1 = -b - 0, -6 = 3*y. Let p = -3 - b. Suppose p*t - 10 = 6. Solve -5*d = -6 - t for d.
2
Let y be (2/4 + 0)*40. Suppose 2*x - y = -3*x. Solve -15 + 3 = x*v for v.
-3
Let r be (-1*2)/(2/(-2)). Let k(f) = -f**2 + 6*f - 5. Let q be k(4). Let g be 2 + (q - 2) + 0. Solve 3 = -r*z + g*z for z.
3
Suppose -4*q + 2 = -3*c - 10, 4*c = -4*q + 12. Solve 0 = -q*b + 3 for b.
1
Let z(p) = p**2 - 6*p. Let b be z(5). Let h be -1 - (-3 - 1) - 4. Let q = h - b. Solve q*m + 4 + 16 = 0 for m.
-5
Suppose -m = 2*k - 3, -4*m = m + 15. Let p(r) = 2*r - 1. Let z be p(k). Suppose 2*f + 3*g - 4 = z*g, -f + 7 = 4*g. Solve 3*j - 3 = f for j.
2
Let r(q) = 3*q + 2*q + 2*q - 8*q. Let k be r(-4). Solve 2 + 6 = -k*w for w.
-2
Let g = 3 + -13. Let l(t) be the second derivative of -t**3/6 + 9*t**2/2 + 14*t. Let j be l(g). Solve -5*w = -6 - j for w.
5
Let c(p) = p - 1. Let x be c(6). Let n be (x - 0) + 4/(-2). Suppose n*r = -4*w + 1 + 11, 4*r = 16. Solve w = -f - 0 - 2 for f.
-2
Let q(p) = -p + 2. Let j(h) = 1. Let z(n) = -4*j(n) + q(n). Let o be z(-4). Let x be (-1)/(15/(-6) + o). Solve -v + x*v = -2 for v.
-2
Suppose -3*k - 2 = -4*k. Solve k*v + v - 3 = 0 for v.
1
Let u = -1 + 1. Let r be (6 + -4)/(2/4). Solve u*i = -i - r for i.
-4
Suppose -h - 5 = -2*h. Let r(c) = 3 - 1 - c**2 + h - 8*c. Let t be r(-7). Solve -2 = -3*m - t for m.
-4
Let b(k) = k**3 - 3*k**2 - 5*k + 2. Let h be b(4). Let f be 0/((-1)/h*-2). Suppose 7*m - 31 + 10 = 0. Solve f = m*w - 0*w for w.
0
Suppose -2*u - 2*u - 8 = 0. Let m = u + -3. Let t be (-3)/((45/6)/m). Solve 0 = -t*d - 5 - 5 for d.
-5
Let v be (-3)/(-72)*6*8*1. Solve v*z - 4 = 4*z for z.
-2
Let g be (-88)/(-14) - 4/14. Suppose -2*y = -g*y + 16. Let q be -2*2/y*-1. Solve -4*m - q = 11 for m.
-3
Suppose 2 + 2 = 4*k. Solve 2*j - 1 = k for j.
1
Let u(v) = -5*v**3 + v**2 - v + 1. Let m be u(1). Let x = 6 + m. Let a = -1 + 3. Solve -4 - x = a*o for o.
-3
Suppose -8*k + 3*i = -4*k, -4*k = 5*i - 32. Solve j = k*j for j.
0
Let l(z) = -z**3 - 11*z**2 + z + 15. Let t be l(-11). Solve -4*g + t = -4 for g.
2
Suppose -5*g + s = -14, 4*s + 0*s = -3*g + 13. Solve -g*c = c for c.
0
Let w(d) be the first derivative of d**5/60 + d**4/6 + d**3/2 - 2*d**2 + 2. Let p(z) be the second derivative of w(z). Let o be p(-4). Solve 5 + 4 = o*b for b.
3
Let d = 14 + -5. Let l = d - 4. Solve l*f + 6 + 19 = 0 for f.
-5
Let i be 26/(-5) - (-2)/10. Let o(t) = -2*t - 5. Let j be o(i). Solve -j*g + 2*g = 0 for g.
0
Let v = 123 - 119. Solve -v*j + 17 = 1 for j.
4
Let d be (8/(-18))/((-4)/18). Suppose -3*j + 4 = j. Solve j + d = h for h.
3
Let s = -2 - -3. Let b = 1 + s. Solve -b*i = -i for i.
0
Let t(d) = d**2 + 10*d + 3. Let j be t(-3). Let l(p) = 6*p**3 - 2*p**2 - p. Let f be l(-2). Let q = j - f. Solve -5*o = 11 - q for o.
5
Suppose 61*v - 62*v = 0. Solve v*f + 10 = -5*f for f.
-2
Let y = 2 - -1. Solve -o + y*o = -10 for o.
-5
Let p = 39 + -28. Suppose o + j = 4*o + 17, o + 5*j + p = 0. Let a be (18/12)/(o/(-20)). Solve 0 = -2*v - 15 + a for v.
-5
Let s be 1/4 - 3/12. Suppose -2*z - 3*z + 25 = s. Let f(o) = o**3 - 5*o**2 + o - 5. Let b be f(z). Solve b = -3*a + 6*a for a.
0
Let j = -31 + 33. Solve r + j = 3 for r.
1
Let y be ((-1)/4)/(7/(-28)). Let g be (0/(y - 3))/2. Solve -t - t + 4 = g for t.
2
Let h(m) be the first derivative of -m**4/4 + 4*m**3/3 - 5. Let v be 5 - (1 + (1 - 1)). Let o be h(v). Solve o = j - 1 for j.
1
Suppose -m - 3*m = 8. Let d be 1 - ((-3 - m) + 0). Let u(g) = g**2 + 4*g + 3. Let o be u(-6). Solve -d*q + 5*q = o for q.
5
Let s(b) = b**2 + 9*b + 12. Let m be s(-9). Suppose 0 = 4*z + 4*l + m, -15 = 5*l - 0. Solve 2*d + z*d = -8 for d.
-4
Let u be 1/1 - (1 + -4). Let v = u - 1. Solve 4*i = -9 - v for i.
-3
Suppose -10*k = -9*k - 4. Solve -x = k + 1 for x.
-5
Let l = 17 + -13. Let i be 0/(2/3*-3). Suppose -8 = -4*m + l*g, -5*m + 14 = -i*g - g. Solve o = m*o + 8 for o.
-4
Let f(m) = -6*m. Let o be f(-1). Let z = o + -6. Let k = z + 2. Solve 2*n - 2 - k = 0 for n.
2
Let o = 48 + -42. Solve -o*y + y = 15 for y.
-3
Let a be -2 + 1 - (-3 + -3). Suppose -2*u - 1 = -4*v + 1, 5*u - a = 5*v. Solve -3 = 5*b + v for b.
-1
Let c(f) be the third derivative of f**4/24 - 5*f**3/6 - 2*f**2. Let m be c(7). Solve m*k = 5*k for k.
0
Suppose i + 8 = 11. Solve -2*x + i*x = -2 for x.
-2
Let s = 17 + -12. Suppose -d - 12 = -2*x - 3*x, -4*d + s*x - 3 = 0. Solve d*g + 3 + 12 = 0 for g.
-5
Let j = -9 + 9. Suppose j = 4*p - 0*p. Suppose p*z + 3*z - 3 = 0. Solve 0 = -4*b + 3 + z for b.
1
Suppose -5*f - 15 = k + 1, k = 2*f + 12. Solve -k*q + 0 = -20 for q.
5
Suppose 44 = 13*q - 21. Solve 0 = q*i - 9 - 1 for i.
2
Suppose -5*m + 0*m = 0. Solve m*v = 3*v + 6 for v.
-2
Suppose -10 = -10*t + 240. Solve -2*q = 3*q - t for q.
5
Suppose -r + 1 = 2*h + 5, -10 = 5*h - 4*r. Let s be 39/9 - h/(-6). Let i be (1 + 7)/(2*1). Solve -i*j - s + 20 = 0 for j.
4
Suppose 20 = -4*g, -3*p - 4*g - 10 = 2*p. Let s be 1*14/p - 2. Suppose 2*n + 4*k + 12 = 0, -s*n + 4*k + 7 = -5. Solve n*t = 5*t - 25 for t.
5
Let s(g) = 2*g**2 + 3*g + 2. Let n be s(-2). Suppose 0 = -n*j - 1 - 3. Let z be (-1)/1 + j + 2. Solve z = -3*r + 13 + 2 for r.
5
Let q be 50*(-2)/24*-6. Let b be 0*2/8*-2. Solve -3*t + 8*t - q = b for t.
5
Suppose 0 = -2*o + 3*o - 5*c + 4, c = 0. Let t be 0*(0 + 2/o). Let d(j) = j**2 - j + 1. Let k be d(2). Solve t = -x - 2*x - k for x.
-1
Suppose 0 = 5*p + 2*h - 16, 3*p + 2*h = 3*h + 3. Solve -8 = -2*y + p for y.
5
Let d = -2 - -4. Suppose d*c + 1 = 9. Solve -2*i - c = 2*i for i.
-1
Let y(j) = -j**3 + 5*j**2 + 6*j + 4. Let x be y(5). Solve 5*b = -9 + x for b.
5
Suppose 2*i - 7*i = 0. Suppose 3*k - 2*o + 5*o = 6, 5*k + 3*o - 10 = i. Solve -k*q = 3*q for q.
0
Let z be (-4)/10 + (-141)/(-15). Let r = z + -23. Let j = 39 + r. Solve 2*d = -3*d + j for d.
5
Let a be 2/(-3)*3/(-2). Let c(m) = 12*m**3 + m - 1. Let y be c(a). Let i be (8/y)/(2/12). Solve i*j = j for j.
0
Let m(x) = 3*x**2 + x. Let w be ((-3)/6)/(-1)*-2. Let g = w + 2. Let t be m(g). Solve 7*i - t*i + 3 = 0 for i.
-1
Let w(q) = q - 1. Let u be w(5). Suppose 0 = -o + 5*t - 13, 5*o + 2*t = -3*t + 25. Suppose -3*l + o = -u. Solve 4*g = 2*g + l for g.
1
Suppose 3*y + 70 - 12 = 5*f, 3*f = -3*y - 42. Let x = -16 - y. Solve x*g + g = 0 for g.
0
Let b = -39 + 45. Solve 0 = -3*l + b for l.
2
Suppose -4*n = -12 - 12. Suppose 0 = 4*m - 8*m + 8. Suppose d = -m*d. Solve 5*r + n - 1 = d for r.
-1
Let t = 18 - 15. Solve 0 = -i + 4*i - t for i.
1
Let x be -2 - ((-36)/(-10) - 4)*15. Solve x*h - 5 = 3 for h.
2
Suppose -f - 1 = 3*l + 4, 0 = 2*l + f + 5. Solve 5*n + 20 + 0 = l for n.
-4
Suppose 4 - 3 = -w. Let m be -1*(-1 - -2) - w. Solve 0 = y + 5 - m for y.
-5
Suppose 0 = 2*n + 2*q, 0 = -3*n - q + 1 + 7. Solve 0*i = -n*i for i.
0
Let l be -1*(-1 + -2 + 3). Suppose -v + l*v + 4 = 0. Solve 2*r + 0 = v for r.
2
Let i(g) = -g**2 + 4 - g - 3*g + 0*g**2. Let k be i(-4). Suppose 4*t - 8 = -3*j, -t = k*j - 0 - 2. Solve 6 = t*n + n for n.
2
Let p be 0 + 4 + -1 + 0. Solve 8 = -p*s + 2 for s.
-2
Let p = 0 - 0. Suppose p = -6*h + h + 15. Solve -h*j + 2*j = 5 for j.
-5
Let p = 0 - 4. Let m(g) = g + 9. Let w be m(p). Suppose 0 = o - 6 - 19. Solve -w*z = -10*z - o for z.
-5
Suppose 2*n + 2*f + 20 = 4*n, 12 = -3*f. Suppose -n = -5*z - 3*l - 0*l, -2*z + 5*l = -21. Solve -2*h + 20 = 