-36)). Solve -8 = -4*l + j for l.
4
Let o(r) be the third derivative of 0*r - 1/60*r**5 + 0 - 1/2*r**3 - 5/12*r**4 + 3*r**2. Let y be o(-9). Solve -y*l + l = 15 for l.
-3
Let m(a) = a - 4. Let n be m(7). Suppose -4 = -3*x + 2, 0 = 4*v - n*x - 10. Solve -g = v*g + 25 for g.
-5
Suppose 5*v + 18 = -22. Let o = v - -14. Solve -o = -3*p + 9 for p.
5
Suppose r = 2*n - 22 + 10, 0 = -3*n - r + 13. Let l be -4*2/((-4)/2). Suppose -q - 4 = 2*m, -1 = l*q + 5*m + 9. Solve -n*f + q = 10 for f.
-2
Suppose -t - 3*b = 3*t - 11, -5*b + 9 = 2*t. Solve t*d - 4*d = 6 for d.
-3
Let f(i) = i**2 - 9*i - 2. Let w be f(9). Let v be w/2 + -3 + 4. Suppose -2*z + q = -2, v*z - z - 4 = 2*q. Solve -2*x + 0 - 4 = z for x.
-2
Suppose 34 = x + 31. Solve -x*h + 3 = -4*h for h.
-3
Let i(b) = -5*b - 5. Let j(r) = -6*r - 6. Let w(v) = 7*i(v) - 6*j(v). Suppose 0 = -6*q + 3*q. Let m be w(q). Solve u - 3 = -m for u.
2
Let l = 6 - 27. Let z = 41 + l. Solve -3*a - z = -8 for a.
-4
Suppose q - 59 = -59. Solve q = b - 6*b - 5 for b.
-1
Let k(n) be the second derivative of -5/6*n**3 + 0 + 2*n + 0*n**2. Let z be k(-2). Solve 0 = b + 4*b - z for b.
2
Let g be -2*(-2)/(-4)*0. Suppose -4*u - 5*n = -30, -u + 2*n - 1 + 2 = g. Solve u*h + 24 = 4 for h.
-4
Suppose 3*g - 26 = -g + 2*p, 4*g + p - 23 = 0. Let l = 13 - 9. Let n be l/(-7) - (-75)/21. Solve 6 = -n*o - g for o.
-4
Let n be (2 - 2)/(2 - 0). Let u be n - (-6)/(6/2). Solve w + u*w - 3 = 0 for w.
1
Let t(j) = -10 + 10*j**2 + 4 + j**3 + 0*j - 2*j**3 + j. Let n be t(10). Solve s = -n*s for s.
0
Let a be (2 - 1)/((-1)/3). Let o = 2 - a. Let f = 20 - 12. Solve -b + f = -o*b for b.
-2
Suppose -c + g + 3 = 0, 3*c + 5*g - 1 = 6*c. Solve -c = 2*q - 2 for q.
-3
Let h(z) be the third derivative of -z**5/60 - z**4/24 + z**3/2 - 5*z**2. Let f be h(0). Solve 0 = -f*y + y + 8 for y.
4
Let c(s) = -s**3 - 5*s**2 + 6*s + 7. Let m be c(-6). Suppose -7 = -n - t, -m = -n - 4*t + 6. Suppose -n*r + 11 - 1 = 0. Solve r*p = p for p.
0
Let k = 10 + 4. Solve 2 = -4*b + k for b.
3
Let s(o) = -o**3 + 7*o**2 + 7*o + 10. Let y be s(8). Suppose 3 = j - y. Suppose 0 = -z + 3 + j. Solve 5*g + z = 3 for g.
-1
Let j be 1*(-2 + 0) + 2. Let o(f) be the first derivative of f**4/4 - 4*f**3/3 + f**2 - 5*f + 2. Let n be o(4). Solve k - n*k - 8 = j for k.
-4
Let q = 9 + -5. Let w be -1*(0 - (2 + 1)). Let t be (-1)/(-3)*(3 + w). Solve -2*d - t = -q for d.
1
Let f = 11 + -6. Suppose -4 = -f*c + 6. Solve 6 = -c*x - 0 for x.
-3
Suppose -3*d + 3 + 0 = 0. Suppose 5*k = 3*l - 5, k + d = -3*l + 18. Solve -2*w - k*w = 20 for w.
-5
Suppose 0 = 4*a - 27 - 5. Solve 0 = -a*b + 3*b - 25 for b.
-5
Suppose 2*m = 2*i + 2, -5*m - 7*i + 32 = -3*i. Solve m*a + 3 = -5 for a.
-2
Let t = 9 + -6. Let f be 0 + 9/t + -1. Suppose 12 = 5*p + 3*c, 0 = f*p - 3*c + 9 + 3. Solve 3*l + l - 20 = p for l.
5
Let u be (16 - (4 - 0))/2. Let g = 6 - u. Solve g*d + 3*d = 0 for d.
0
Let p = 35 + -32. Suppose -3*z = -5*u - 6*z + 54, 0 = -5*u - 5*z + 60. Solve -p = -3*n + u for n.
4
Suppose -3*p + 8*p - 3*k + 6 = 0, 0 = -p + k. Let g be (3 - 3)/p - -2. Solve -g*r - 2*r - 12 = 0 for r.
-3
Let w(i) = 2*i. Suppose -4 = -f - 2. Let u be w(f). Suppose 4*s + 44 = 2*h, -3*s = -u*h + s + 76. Solve 0 = -0*d + 4*d - h for d.
4
Let t = -2 - -1. Let h = t - -5. Suppose h*u + 5*o = 26, -2*o = u - 0 - 8. Solve u + 2 = 3*w for w.
2
Suppose -2*i - 30 = -4*i + 5*q, 8 = 4*i + 3*q. Solve -25 = -0*v + i*v for v.
-5
Suppose 3*s = -5*a - 0*s + 81, a + 4*s = 23. Solve 3*g + 0*g = -a for g.
-5
Let u = 10 - -2. Let a(m) = m**2 - 6*m + 4. Let d be a(6). Solve -b - u = -d*b for b.
4
Suppose -3*w + 6*y - 6 = y, 3*w - y = 6. Solve w*m + 2 = -1 for m.
-1
Suppose 3*d + 2*d = 80. Let j(k) = -k**3 + 5*k**2 + 5*k + 5. Let a be j(6). Let y be (1 - a*5)/1. Solve -d = -y*x + 2*x for x.
4
Let n = -2 - 5. Let x = n - -9. Solve -k + x = 4 for k.
-2
Let j be 4/(-6) - (-66)/18. Solve j = -4*w - 9 for w.
-3
Let f = 0 - -2. Let w(h) = h**3 - 10*h**2 + 10*h - 7. Let v be w(9). Let x = f + v. Solve 2*n - 2 = -x for n.
-1
Suppose 2*i = 4*p + 20, -i + 4*p = -p - 19. Solve -s + 2*s = -i for s.
-4
Suppose 3*r - 2*m = 13, 3*r - 1 = -4*m + 18. Let v = 5 + r. Suppose v = -z + 3*z. Solve -z - 3 = -2*t for t.
4
Let i(q) = q**3 - 11*q**2 + 2*q - 14. Let s be i(11). Suppose -5*j - 5*t + 5 = 0, 2*t + 0 = -3*j + 8. Let r = s - j. Solve r*x + 16 = -2*x for x.
-4
Suppose -5*p + 6 = -2*p. Solve 2*j - p = j for j.
2
Suppose n + 8 = -n. Let v = 6 + n. Let q = 15 + -15. Solve -5*y + v*y - 3 = q for y.
-1
Let m(g) be the third derivative of g**4/24 - 5*g**3/6 - 3*g**2. Let s be m(5). Solve -3*v - 2 - 1 = s for v.
-1
Suppose -6*c - 12 = -c + 4*u, 0 = 4*c - 2*u - 6. Solve 2*n - 8 = -c for n.
4
Let u(o) = o**2 + 9*o - 4. Let w be u(-7). Let s be (w/(-2))/((-3)/(-2)). Suppose r + 3*r - 10 = b, -r + 4*b - 5 = 0. Solve -y + s = r for y.
3
Let f be 168/(-7)*(-1)/2. Solve f = 5*b + 2 for b.
2
Let q be (0 - (3 + -1))*-1. Suppose 0 = q*h + 2*u - 14, 3 = 4*u - 17. Solve h + 0 = -2*s for s.
-1
Let w = -4 + 8. Let v(m) = m**3 - 3*m**2 - 3*m - 3. Let n be v(w). Let b be 2 + n + 5/(-5). Solve -b*k = -5*k - 9 for k.
-3
Suppose 4*r = 3*c + 2*r, -2*c + 10 = 2*r. Suppose -2*g + 4 = 2. Suppose -g = -v + 2. Solve -v = -c*q - 13 for q.
-5
Let b be -2 + 2 + 4 + -2. Suppose -b*k - 25 = -3*a, -2*k - 2 = a + 3. Let d = k - -5. Solve 0 = -p - 4 - d for p.
-4
Let c = -4 - -7. Let q be (3 + 4 - 4)/3. Solve k - c = q for k.
4
Let g(z) = z**2 - 2*z - 3. Let y be g(-3). Let p = -7 - 6. Let l = p - -16. Solve w + l*w = y for w.
3
Let n(a) = -a**3 + 6*a**2 + 6*a + 9. Let y be n(7). Solve 0*j = j - y for j.
2
Suppose t + q - 381 = -t, 4*t - 759 = q. Suppose -n = -6*n + t. Let c be (-2)/9 - n/(-9). Solve -c*w - 24 = -4 for w.
-5
Let s = -8 - -18. Suppose 2*d + 8 = -2*l, d = -0*d - 3*l - 4. Let w = d + s. Solve w*c = 5*c - 1 for c.
-1
Let j = -118 + 126. Solve -5*d = -j*d + 15 for d.
5
Let w be (-10)/(-3)*(-3)/(-2). Let r be 2/(-3) - (-70)/6. Solve 4*f = r + w for f.
4
Let u(p) = p**3 - 6*p + 6. Let r be u(3). Let o be (3 - r/6)*0. Let c(q) = -q - 4. Let m be c(-5). Solve 3*a + 2 + m = o for a.
-1
Let t be -58 + 2 + (3 - 5). Let d be t/(-14) + (-1)/7. Solve 0 = -2*w + 10 - d for w.
3
Let p be (-3)/6 - (-21)/6. Suppose -p*h - 24 = -6*h. Solve 0 = d - 3*d + h for d.
4
Let j = 4 + -2. Let a(p) = -3*p - j*p**3 + 6*p**2 + p**3 - 3 - 3. Let v be a(5). Solve -2*l - v - 2 = 0 for l.
-3
Let a be -1*(-1 - 0) - 6. Let p be (-2)/a*(0 - -10). Solve -f + 15 = -p*f for f.
-5
Let x(k) be the second derivative of -k**4/12 - 5*k**3/6 - k**2 - k. Suppose -g - 6 = -w, -4*g - g + 2*w = 24. Let n be x(g). Solve -4 = n*a - 12 for a.
4
Let y(g) = -3*g**2. Let f be y(1). Suppose 5*v = -12 - 3. Let x = v - f. Solve b - 2*b = x for b.
0
Let c(j) = 3*j. Let m be c(4). Solve -3*q + 6*q = -m for q.
-4
Suppose -n + 0*n - 3*s = -14, 0 = -3*n + 3*s + 30. Suppose -19 = -2*u - n. Solve r = u - 2 for r.
2
Let h = -159 - -162. Suppose 3*a = -2*x + 6, -8 = 2*x - 0*a - 4*a. Suppose x*z - 2*z + 7 = -3*i, 0 = -3*z - i + 5. Solve 0 = -z*p - h*p + 25 for p.
5
Suppose 23 - 15 = 4*j. Solve -k = j - 1 for k.
-1
Let h(k) = k - 22. Let t be h(25). Solve -5*w = -t*w - 8 for w.
4
Suppose -x = 4*x - 20. Suppose -3*i + i - x = 0, 2*n - 4*i = 52. Suppose -3*d = -2*d + 3*c - 15, 4*c - n = -2*d. Solve 0 = -l + d*l for l.
0
Let c be (0*(-3)/(-9))/1. Solve -2*u + 1 - 5 = c for u.
-2
Let b(c) be the first derivative of -c**2/2 - 8*c + 9. Let k be b(-14). Solve -n = -k*n for n.
0
Let w(a) = -5*a. Let y be w(-4). Suppose 2*z - 3*l - 19 = -4, 3*z + y = -4*l. Suppose -x + 3*x = 0. Solve k + x*k + 2 = z for k.
-2
Suppose n = 3*d - 4, 4*d - 4 = 2*d + 2*n. Let b(i) = i**2 + 7*i + 3. Let t be b(-7). Solve 0 = 2*p + t - d for p.
-1
Suppose -5*w - 44 = -164. Let a = -46 - -32. Let j be (-2)/(-7) - w/a. Solve 2*d - j + 8 = 0 for d.
-3
Suppose 3*c - 8 = 2*c. Let v be (0 - 0)*(9 - c). Solve v*h = 5*h for h.
0
Suppose -o - 5*h + 4*h = -4, 4*o = 4*h. Let d = 4 - -2. Suppose 0 = -o*n - n + d. Solve 10 = 4*q + n for q.
2
Let i(a) = -a**2 - 10*a + 11. Let o be i(-11). Suppose o*h + 8 = h. Solve -h = r - 5*r for r.
2
Suppose 0 = -3*k - 4*u + 15, -k - 2*u + 7 = -0*k. Solve g = -0*g - k for g.
-1
Let d(x) = x**2 + 21*x + 23. Let n be d(-20). Solve -2*t = n*t - 15 for t.
3
Let l(d) be the third de