1. Let n be d(1). Let c be n/(-2)*(-4 + 0). Solve c*t + p = -3*p + 18, -p = -4*t - 9 for t.
-1
Let x = 23 + -12. Suppose -4*n = -3*n - x. Suppose -n + 3 = -4*y. Solve y*i - 3*a = -18 + 2, -2*i + a = 12 for i.
-5
Suppose s + s = 4. Suppose s*b + 3*x = -6, 5*b - 2*x - 13 - 10 = 0. Solve -b*n + 2 = -n, 5*n - 7 = z for z.
-2
Let b(m) be the second derivative of m**4/12 + m**3/3 + m**2/2 + m. Let l be b(-1). Let d be (15/20 + -1)*-16. Solve l = 3*t - 3, -d*r + r - 2*t = 10 for r.
-4
Suppose 0 = -6*r - 17 + 107. Solve -r = 5*g, 2*p = -0*p - 4*g - 14 for p.
-1
Suppose 5*t - 15 = -3*b, -5 = 3*t + 5*b + 2. Suppose 2 = -4*s - 2*n + 24, -n + 19 = 4*s. Let y = t - s. Solve 0 = 5*g - y*u + 4, -g = u - 4 + 9 for g.
-2
Suppose 6*v - 4 = 20. Solve -x + 3*p = -15, -2*x + 2*p - v*p = 2 for x.
3
Let x(b) = b**2 + 10*b - 9. Let o(k) = -k**2 - 9*k + 8. Let r(s) = 5*o(s) + 4*x(s). Let u be r(-5). Solve m = -4*m + 5, -h + 6 = u*m for h.
2
Let w(n) = n**3 + 4*n**2 - 11*n + 8. Let m be w(-6). Solve 0 = -m*x + 6*x + h + 11, 0 = 2*x - 4*h - 8 for x.
-2
Let q = 59 + -56. Solve q*r - k + 2 = -2, 4*k - 4 = 0 for r.
-1
Suppose 5*t = 3*j + 2*j, -j = 3*t - 8. Solve -2*k + g + 2 = 10, j*k + 18 = -4*g for k.
-5
Let l be (-2)/(-7) - (-198)/42. Solve -u - 2 - 2 = 4*c, -l*c + 6 = 4*u for u.
4
Let d be (0/((-1)/1))/(-2). Let g be 9/6 - (-2)/(-4). Suppose 4*c - 4 = -6*p + 4*p, d = 2*p - c + g. Solve 2*m + 2 = -2*r - 2, 3*r + m - 4 = p for r.
3
Let h(o) = o**3 + 11*o**2 + o + 6. Let d be h(-11). Let w = 0 - d. Solve -w*r = m - 17, 0 = 3*r + 2*m + 2*m - 17 for r.
3
Let y(d) = d**2 - 19*d - 17. Let q be y(20). Let u be ((-3)/(-4))/(2/8). Let c(m) = m. Let i be c(u). Solve -i*f = -3*k + 9, -f + 1 = -2*k - q*k for f.
-4
Let c(j) = -j - 8. Let f be c(-14). Solve 12 = 2*q - q - 4*x, -q + 2*x = -f for q.
0
Let c = 5 + -1. Suppose 4*i + 1 = -5*n - 5, c*n = -4*i - 8. Let v(r) = r. Let y be v(n). Solve 0 = 4*f - 3*b + 7, -2*b - y*b = -2*f - 6 for f.
-1
Let v(t) = 2*t - 9. Let a = -6 + 12. Let n be v(a). Solve n*m - 18 = -5*j, 2*j + 4*m - 7 = j for j.
3
Let g = -23 + 26. Solve 3*v = -3*q + 15, -5*q + v - 20 = -g*v for q.
0
Let n be 2 + -2 + -1*6. Let b = -6 - n. Solve b*h = k + 5*h + 29, -h - 13 = 2*k for k.
-4
Let q(y) = y**2 + 5*y + 6. Let f be q(-5). Let o = 19 + f. Solve -3*n = -3*l - 16 - 14, o = 5*n for l.
-5
Let a be 4 + -8*1 + 4. Suppose 17 = o - a. Solve 5*p - k - o = p, 4*k = p + 7 for p.
5
Let s = 0 - -7. Let z = -34 - -37. Solve 0 = 2*o, -z*o + s = 5*m + 2 for m.
1
Suppose -3*s - 3*y - 12 = -5*s, s - 4*y = 6. Suppose -4*l - 10 = -s*l. Solve -3*c + 11 = -2*o, -5*c + o = -4*c - l for c.
1
Let s = 7 - 5. Suppose 4 = 3*r + 4*z, -2*r + 2*z + s = 4. Solve i + 3 = -4*n, r = i + 2*i - 3*n - 6 for i.
1
Let j = -43 - -77. Suppose 0 = 3*m + 5*k - 34, -5*m + 5*k = 2*k - j. Solve 11 = -5*d + 3*w, 5*d + 3*w - m*w + 15 = 0 for d.
-1
Let l(q) = 5*q - 16. Let t be l(4). Solve u - t*y = -5 - 4, -4*u - 12 = -4*y for u.
-1
Let l = 45 + 15. Suppose 3*z = 6*z + 15, 4*k = 4*z + l. Let b be 26/k + (-4)/(-10). Solve -4*c - b*o + 3 - 8 = 0, 0 = c - 5*o + 30 for c.
-5
Let d = -187 + 189. Solve d*m + 3*b = 4 - 3, -5*b = 5*m - 10 for m.
5
Let v = -8 - -31. Let p = -21 + v. Solve -5*o + 0*o + p*w - 1 = 0, -2*w = -4*o for o.
-1
Suppose 6*c - 9*c + 27 = 0. Suppose -y + c = 2*y. Solve -2*j = -2*l - 8, y*l - 11 = -2*j + 2*l for j.
5
Let n = -20 - -24. Solve -q + 4 = 0, 2*y + n*q - 6 = 18 for y.
4
Let l = -8 + 20. Let y = l + -8. Solve 5*h - y*t + 5 = 0, 2*h = -h + 5*t - 16 for h.
3
Let p = -20 + 28. Let d = -2 - -4. Solve 3*w = 5*b + p, 4*b + w + d + 1 = 0 for b.
-1
Let j be (6 + -9)/((-6)/4). Solve -4*s - j*h = 14, h = -2*s + s - 2 for s.
-5
Let m = 6 - 6. Suppose 2*q - 3*q + 9 = m. Solve 5*k - 10 = 5*s, -s + 4*s - q = 0 for k.
5
Let m = 27 - 25. Suppose -3*u = 4*w + m, 2*w + 11 = 3*u - 17. Solve -32 = 4*n - 2*v + u*v, 3 = 4*n - 3*v for n.
-3
Suppose 3 + 27 = 10*v. Solve v*b = -4*k - 3 + 18, 1 = b for k.
3
Suppose -2*j + 3*r + 2*r + 19 = 0, 5*r + 15 = 0. Solve -3*d + j*i = -2*i - 35, 0 = -2*d - 3*i - 5 for d.
5
Let t be (1 - 2) + 5 + -1. Suppose -3*l + 17 = a, -l - 4*a = 2*l - 23. Solve -1 = 2*w + 3*o, -l*w + t*o + 17 = -3*w for w.
4
Let m be 6 - ((-1)/(-1) - -1). Suppose -4*b + 0*b + 12 = 0. Let r be b/(-12) - (-130)/8. Solve -m*t = -3*d - 5 - r, 4*t = 12 for d.
-3
Suppose n - 5 = 5. Suppose b + 4*f - 8 = 0, f + 4*f - n = -b. Suppose 6*c - c - 15 = b. Solve 4*w + 11 = -o + 1, c*o - 4*w = 18 for o.
2
Let p = -123 + 128. Solve -3*w = -p*d - 1 + 27, -3*w - 2 = d for w.
-2
Suppose 0 = c + b - 5, -b + 11 = 4*c - 0*b. Solve 5*y = -3*s + 19, -c*s - 29 = -0*s - 5*y for s.
-2
Suppose -3*v + 3 = 5*k - 13, 5*k = 3*v + 4. Solve -2*z - 6*i = -k*i + 2, 2*z - 2*i = -14 for z.
-5
Let a(i) = 11*i**3 - 3*i**2 + 3*i - 3. Let r be a(2). Suppose 5*v = r - 9. Solve -4*u + 5*h - v = 0, 0 = 3*u - 0*u - 5*h + 13 for u.
-1
Let l = 123 + -119. Let m = 0 - 0. Let b(h) = -h**3 + 4*h**2 - 4*h + 3. Let r be b(2). Solve q - l*n = -1, -3*q - 2*n = -m*q + r for q.
-1
Let v(k) = -k**3 - 3*k**2 - 4*k. Let t be v(-3). Let o = 341 - 301. Solve -2*u + 0*q = 4*q + t, 5*u - 4*q = o for u.
4
Let a = 15 + -13. Solve 4*h + 4 = 4*q, -5*q = h + a*h + 19 for q.
-2
Let q = 0 + 4. Let c be (4 - (-2 - -5))*3. Suppose 5*n - c*l + 6*l - 11 = 0, 0 = -2*l - 6. Solve 2*z = -q*t + n, 3*t - 8*t = z - 5 for t.
1
Let h(n) = -n**3 + 4*n**2 - 3. Let v be h(4). Let p(a) = -a**2 - 5*a - 3. Let y be p(v). Solve 2*m + 8 = -y*f + 25, 5*m - 35 = -5*f for f.
3
Let k(y) = -3*y + 1. Let i be k(-1). Let g be ((-15)/10)/((-2)/i). Let l = -3 - -5. Solve g*j = b - 5 - 1, -3 = -l*j + 3*b for j.
-3
Let c(o) = -o**3 + 10*o**2 - 3*o - 29. Let y be c(9). Solve -4*b + 3*a = 20, -5*b + 0*a = -5*a + y for b.
-5
Suppose -5*y + 7 - 2 = 0, x - 3 = -3*y. Let k = 7 + -5. Suppose -s - 3*v = 0, k*s - 3*v = 2*v + 11. Solve -5*r + 0*l - l + 11 = x, -2*l - 17 = -s*r for r.
3
Let h be ((-4)/(-10))/(2/25). Let k(x) be the first derivative of x**3/3 + x**2/2 + 1. Let v be k(-2). Solve 2*m + 6 = -3*g - v*g, -3*g - h*m = 15 for g.
0
Suppose -4*j + 6*j = 22. Suppose 4*n - 1 - j = 0. Solve d = -4*y + 3*d - 8, 0 = 5*y - n*d + 12 for y.
0
Let p(g) = g**2 + 12*g + 21. Let o be p(-13). Solve -2*h + 0*h + 4*z = 26, 5*z - o = 3*h for h.
-3
Let k be (7/(-28))/((-1)/20). Solve s - k = -g + 6*g, 28 = -4*g - 4*s for g.
-2
Suppose -16 = 2*c - 5*j, 0*c - j = -c - 2. Solve 4 = -2*s - 2*z, 5*z + 0 + 4 = -c*s for s.
-2
Suppose f = -f - 5*g + 27, -5*f + 5*g = -15. Let d = 16 - 14. Suppose 4*x = 5*p + 5 - 41, 5*p - 28 = d*x. Solve 5*a - 2*i - 3 = -f, a = -p*i - 5 for a.
-1
Let d be 3*-4*(-1)/6. Let k(x) be the second derivative of x**5/10 - x**4/4 + x**2/2 + x. Let v be k(d). Solve -3*t - 5*a = -2 - 1, 3*a - v = -5*t for t.
1
Suppose -5*a - 5*c - 5 = 0, -a + 6*a - c = 13. Solve 2*i + h = a*h + 5, 4*i + h - 25 = 0 for i.
5
Let f = 32 + -29. Let w be 43/9 - (-2)/9. Solve -l - w*u = 4*l - 35, -11 = f*l - 5*u for l.
3
Let k(a) = -a**3 - 8*a**2 - 12*a + 3. Let x = 11 + -17. Let y be k(x). Solve 0 = 3*d + 3, -y*o - 3*d - 9 + 0 = 0 for o.
-2
Let x(a) = a**3 - 6*a**2 - 7*a + 3. Suppose 5*r = -w + 7, 5*r = -5*w - 17 + 52. Let v be x(w). Solve -18 = 3*b - 3*c, -v*b = b + 4*c + 16 for b.
-5
Let d(z) = -z**3 + 7*z**2 + 3*z + 4. Let i be d(7). Suppose -4*g = g - i. Solve -5*j - q - 5 = 0, g*q = -5*j - 4 - 1 for j.
-1
Let p be 3/2*1*24/18. Solve -g = -3*z - 3, 4 = -5*g + p*z - 6*z for g.
0
Suppose -4*u + 16 = 2*v, -v - 8 - 12 = -5*u. Solve -n + 5*g = 0, -u*g = 2*n - 6*g for n.
0
Let k(q) = 0*q - 3*q - 7 - q**2 - 4*q. Let h be k(-5). Solve h*s = 4*v - 5, 0 = -4*s - 5*v + 13 + 1 for s.
1
Let j(b) = -b**3 + 6*b**2 - b + 11. Let q be j(6). Solve 0 = -v + z - 5, 0 = q*z - 12 - 13 for v.
0
Suppose -2*z - 8 + 68 = 0. Suppose n = -n + z. Suppose 7*u = 2*u + n. Solve 2*x - u*x = p + 4, -5*p = 4*x + 21 for p.
-5
Let x = 32 - 4. Solve 0*r + 24 = -5*l - r, x = -2*l - 5*r for l.
-4
Let w = -2 + 2. Solve 3*y - 3*z - 15 - 3 = w, -3*y = -5*z - 20 for y.
5
Let k be 5/2*2/5. Let q = 6 - k. Solve -q*v + 6 = 4*t, 2*v + v + 5*t = 14 for v.
-2
Let d(w) = w**2 - 4*w + 4. Let k be (-3 + -1)/(-1) + -1. Let r be d(k). Let p be 1*(-1)/r*-6. Solve -5*s = -u + 9, -u + 4*s = -p*u + 16 for u.
4
Suppose 0*m = 3*m - 9. Suppose -2*w - w - 48 = 0. Let d be 14/35 - w/10. 