ose -k*p = -3*l - 9, 0 = p + 4*p - 4*l - 19. Solve 4*d + 3*x - 14 = 0, 2 = -p*x - 4 for d.
5
Let k(o) = o**3 + 15*o**2 + 25*o - 9. Let t be k(-13). Solve 2*d - d + 5 = 3*i, t*d = 4*i - 12 for d.
-2
Suppose 5*f - f - 40 = 4*s, -4*s = 20. Suppose -6*m + 2*n - 1 = -5*m, -5*n + 7 = -m. Solve 6*p - 2*p + d - 7 = 0, d - f = -m*p for p.
2
Suppose 5*i + 38 = -0*i - 2*y, 4*i + 5*y = -44. Let q be i/8*(1 - -3). Let d be (5 + -4)/(q/(-9)). Solve 0 = -5*k - g + 6 + 3, 0 = -5*k - d*g + 7 for k.
2
Suppose 6*z - 5*z = 1. Let n(v) = v**2 - v + 3. Let f be n(z). Solve 2*r - f*u = 8, -2*u + 7*u = 0 for r.
4
Let q be -4 + 0/(-4) + 6. Suppose -q*o - 2*r + 10 = -o, 9 = 3*o - r. Solve 5*c - o*k + 11 = 0, 0 = -c - 5*k - 10 + 2 for c.
-3
Suppose 7*h - 141 = -85. Solve 5*n = -g + h, 4*g - 2*n + 0*n - 10 = 0 for g.
3
Let n(i) = 6*i + 198. Let r be n(-33). Solve 15 = -5*p - 2*v, -3*v - 16 = p - r*v for p.
-1
Let u be 6/27 + 0 + 16/9. Suppose 12 = u*q + 2. Solve 4*j = 3*p - p, q*p - 7 = 3*j for j.
1
Let j(y) = -y + 5. Let d be j(5). Let k = 2 + d. Let f(r) = -r**2 - 16*r - 13. Let t be f(-15). Solve -3*o = t*p + 12, 4*o - k*p - 2*p = 4 for o.
-2
Let q = 31 + -27. Suppose -9*z + q*z + 25 = 0. Solve 2 = -2*s - 3*y, -5 - 3 = s + z*y for s.
2
Let f be -1*(1 - 1 - -4). Let z(k) be the second derivative of k**4/12 + 2*k**3/3 + 2*k. Let u be z(f). Solve -a + v - 8 + 3 = u, -a - 4*v = -10 for a.
-2
Let g(v) = 9*v + 1 - 2*v - v**2 + 0*v**2 + 0. Let n be g(5). Let y = 14 - n. Solve -y*a - 5 = -x, 0*a - 5*a + 15 = 3*x for a.
0
Suppose -2*c + 2*m = -0 - 6, 5*c + m + 15 = 0. Let x be 16*(c + (-5)/(-2)). Solve 2 = -v - 4*s, -2*v - x = 2*v + 3*s for v.
-2
Let k be (-3)/27 + (-228)/(-108). Solve -n = 3*t - k + 12, 3*t = -3*n - 6 for t.
-4
Suppose 3*l - l + 14 = 0. Let s be 2*(-4)/28*l. Solve -1 = -2*t + 4*t - x, -s*t - 3*x - 21 = 0 for t.
-3
Let d = 86 + -82. Suppose -7 - 2 = c. Let v be (-14)/d*(1 + c). Solve 0*x + x - 9 = o, -4*x + v = -2*o for o.
-4
Let k be (12/10)/(54/135). Let s(w) = -w**3 - 3*w**2 + 4*w + 2. Let y be s(-4). Solve -2 = y*l - k*x, l - 4 = x - 2*x for l.
2
Let u be 10 - (-1 + (-7)/7). Suppose -2*n - 2 = -10. Let z be (-2)/n*-34 + -2. Solve -5*g + u = -3*p - z, 0 = -2*g - 3*p - 6 for g.
3
Let k(i) = 2*i**3 + 4*i**2 + i + 3. Let u be k(-3). Let q = u - -23. Solve -20 = 4*a + a - q*m, -a + 5*m - 8 = 0 for a.
-3
Let k = -369 + 373. Solve 3*c = 2*r - 0*r, k*c = 2*r for c.
0
Suppose -4*v + 3 = -2*p + 5, -4*p + 7 = -5*v. Suppose x = -v + 6. Suppose 6*f + x = 23. Solve 7 = c + f*b, -3*c + 1 = -b - 0 for c.
1
Let g be (114/(-8))/(7 - 93/12). Solve b - 9 = -5*k + g, -12 = -4*b for k.
5
Suppose -455 = -11*v + 612. Let m = v - 85. Solve -k + 8 = k + 3*b, -3*k + m = 2*b for k.
4
Let a be 4/2 - (0 - (-7 + 8)). Solve a*v + 0*x = -2*x + 8, 24 = 4*v - 4*x for v.
4
Suppose 0 = -3*x - 7 - 11. Let t be ((-24)/9)/(x/9). Let y = t + 0. Solve -2*p + 2 = -4*q + 6*q, 2*q + y = -4*p for p.
-3
Let b = -160 + 164. Solve 3*u = -b*z - 3, 3*z + 3*u - 3 = z for z.
-3
Let m(i) = 30*i - 176. Let h be m(6). Solve -r + 17 = -0*r - h*v, 5*r - 5*v = 25 for r.
1
Let n = -3996 - -3998. Suppose 15 = 3*q + 2*q. Suppose 3*r - 2*r - q = 0. Solve -5*k - 4*m = -30, r*k + 7*m = n*m + 31 for k.
2
Suppose -13*d - 1 = -66. Solve -2*n + 5*h = -2, -d*h - 4 = -3*h for n.
-4
Let p(k) be the first derivative of -k**2/2 + 8*k + 18. Let f be p(6). Solve -2 + 8 = f*m, -u + 3*m = 9 for u.
0
Let u be (6 - 2) + (-7 - -1). Let x(k) = 4*k - 2*k**2 + 8*k**2 + 2 + 1. Let h be x(u). Solve 5*v = -3*s + 22, 4*v + s + 0*s - h = 0 for v.
5
Let m(o) = -o**2 + 29*o + 33. Let r be m(30). Solve 3*v = -5*u + 23, 0 = -2*u + 3*v + 8 - r for u.
4
Let b(p) be the second derivative of p**3/6 - p**2/2 - p - 6. Let z be b(6). Solve 5*q = -z*s + 35, 29 = 2*s + q + 4*q for s.
2
Let r(k) be the second derivative of -k**4/12 + 2*k**3 - 7*k**2 - 9*k. Let t be r(12). Let q = t - -34. Solve -n - 4*n + 8 = 2*z, 5*z - 4*n = q for z.
4
Let r be 8/24 + ((-160)/(-12))/8. Solve -a - 6 = -i + 4*a, -2*i + r*a = 4 for i.
-4
Suppose 423 = 3*c - 207. Suppose -54 + c = -4*g. Let w = -12 - g. Solve 0 = 4*u + 2*s, 2*u - 4*s - 7 = -w for u.
-2
Let j be 0 - 0/2*(-5)/(-15). Suppose j = 11*k - 2*k - 18. Let l(m) = m + 4. Let p be l(0). Solve -k = -5*n + p*y + 1, 4*n + 2 = y for n.
-1
Let b = -105 + 109. Let f be (-4 - 0)/b*-5. Solve 5 = -4*s - 3*z - 2, 2*z = -f*s for s.
2
Let i = -247 + 249. Solve 0 = 5*f - 2*l + 5, -i*f = f + l - 8 for f.
1
Let w = 72 + -7. Suppose r = -3*r - 5*y + 7, -5*r + 5*y = -w. Let i(l) = -2*l. Let z be i(-1). Solve -z*d + f - 4 = 0, 0*d - d - r = -2*f for d.
0
Suppose 0 = 6*i - i - 65. Suppose 8*h = -66 + 34. Let t be i + (0 - -12)/h. Solve -4*u + t + 23 = 5*b, b = 5*u - 5 for b.
5
Let i = 586 + -584. Solve 2*f = -0*f + i*k + 4, -3*f = 2*k + 14 for f.
-2
Let y be 3 + (1 + 1)*-1. Let o = -1 + y. Suppose o*w = -w, 0 = -m + 4*w + 4. Solve 2*g + 6 = -3*f, 0 = m*f + g + 1 + 2 for f.
0
Let j = 11 + -9. Suppose -8 = -l - j. Let y(o) = -o**2 + 8*o - 8. Let p be y(l). Solve -3*t = -4*v + 1, v + 8 = p*t - 8 for t.
5
Let q = -37 - -43. Suppose 3*v = 2*v. Solve v = o - 3, o = -3*z + 6*z - q for z.
3
Let c = -1315 + 1318. Solve c*n + i = 1, -3*i + 4 = 4*n - 4 for n.
-1
Suppose -9*t = -14*t + 15. Solve -4*b = c + b + 8, -3*b = t for c.
-3
Let g(l) = -3*l + 47. Suppose 19*x = 5*x + 196. Let f be g(x). Solve 4*r = -3*h + 4*h + 19, f*h + 5 = 2*r for r.
5
Let w = -535 - -539. Solve 0 = d + w*z - 16, -5*d + 5*z - 20 = 0 for d.
0
Suppose 5*d - 3*x = 25, -4 = -d - 2*x - 12. Let i be (10/(-15))/((-3)/9). Solve -3*w = w - i*g - 20, -d*g - 8 = -w for w.
4
Let f = 421 - 417. Solve -14 = -3*m + 2*c, 2*m + 5*c + f = 3*c for m.
2
Let i be ((-1)/(-3))/((-6)/(-18)). Suppose 2*l - 5 + i = 0. Solve 5*c = -5*x - 35, 0 = 2*c + l*c - 4*x + 12 for c.
-5
Suppose -58*w = -66*w + 32. Suppose 0 = -0*j - 3*j. Solve 3*y - w*o = j, -4*y + y = -3*o for y.
0
Let p be (-32)/(-18) - ((-7)/(-9) - 1). Suppose 7*u - p*u - 80 = 0. Solve 0 = 3*s + s - i - u, -4*i + 8 = 2*s for s.
4
Let x = 320 - 312. Solve 2*l = -4*f + 2, l - f + x = -0 for l.
-5
Let y be ((-18)/15)/(5/(-50)*3). Let w(t) = -t + 4. Let f be w(y). Solve 2*x + 5*m - 33 = f, -2*x - m = -4 - 9 for x.
4
Let f be 42/(-112) - (3/(-8) + 0). Solve 4*w + 4*n - n - 10 = f, 2*w - n - 10 = 0 for w.
4
Let d = -8 - -23. Suppose 0 = 7*r - 12*r + d. Solve 3*g = h - 9, r*g + 3 + 0 = -h for g.
-2
Let a(f) = 2*f**2 - 7*f - 18. Let k be a(-2). Solve -5*d = -c + 8, -k*c + 2 = -5*d - 15 for d.
-1
Suppose -24 = 3*l + f + 4*f, f = 0. Let o be -2*2*(-3 - 20/l). Solve m - 3*v - 3 = 7, -o*m - 1 = v for m.
1
Let o(f) = 3*f. Let g be o(5). Suppose 0 = 3*w - g. Let z be (w/(-6))/((-1)/6). Solve -4*c - n = 8 - 0, z*n - 20 = 0 for c.
-3
Suppose -4*v - 1 + 13 = 0. Suppose -4*p + 26 = l, -4*l - v*p + 52 = -0*p. Solve 3*s - 3*m = 6*s - 6, 5*s + l = -m for s.
-3
Let g(b) = b**3 - 8*b**2 + 52. Let y be g(7). Solve 5*v + 4*z = 19, -4 = y*v + 5*z - 18 for v.
3
Let h = -104 - -109. Solve 0 = 5*u + 2*x + 8 + 11, -3*x = -h*u - 34 for u.
-5
Suppose 0 = -2*j - 869 + 927. Solve -5*v + j = 4*g, -v + 6 = -4*g + 5 for g.
1
Suppose 0 = 4*h - 4, 0 = 3*k - 0*h + 3*h - 15. Solve 2*w + k*g + 6 = 0, 5*w + g + 15 = 3*g for w.
-3
Let y = 64 - 62. Suppose -4*p + 0*q + 28 = -y*q, -5*p = 2*q - 26. Solve -3*v - 6 = -2*v - 3*j, -p = 2*v - 3*j for v.
0
Suppose 86*h - 121*h + 175 = 0. Solve h*m + 6 = -3*t - 6, 2*m - t - 4 = 0 for m.
0
Let r = -33 + 33. Let n be -1 + 1 - -2 - -10. Let k be (1 - r)*0/n. Solve -5*o + 4*g = -3 + 31, k = 4*o + g + 14 for o.
-4
Suppose -22*d + 21*d + 3 = 0. Solve d*o = -2*y + 4*o + 7, y + 10 = 5*o for y.
5
Let w(m) be the second derivative of m**5/20 + 5*m**4/4 - m**3/6 - 4*m**2 + 11*m. Let n be w(-15). Solve -3*p - 8*l - 17 = -4*l, n = -p - 2*l for p.
-3
Let k(t) = t**3 - 10*t**2 + 21*t + 22. Let r be k(6). Solve -r*c + 5*z + 20 = 0, -c + z - 1 + 6 = 0 for c.
5
Suppose -28*d + 41 + 43 = 0. Solve d*s = -2*h - 4, 2*s + 5*h - 40 = 7*s for s.
-4
Let p(s) = -2*s**3 + s**2 - 2*s - 6. Let z be p(-2). Solve -5*y + z = -3*j, 20 = -3*y + 8*y - 5*j for y.
3
Suppose 5 = -c + l, 0*l = -5*c - l + 5. Let f = 4 + -2. Suppose 0 = -4*n + 3*m - 7, 5 = 3*n + f*m - 11. Solve -3*k + n*k - 3*y = c, 10 = 5*k + 5*y for k.
3
Let d(h) = -h**2 - 13*h - 7. Let x be d(-12). Solve 4*o - 2*c