/18. Let n be d/(-4)*(-8)/(-3). Let t = 8 - n. Solve 5*q - 4*o = -t, o = -3*o for q.
-4
Suppose -30 = -o - 2*o. Solve 0 = -2*m - m - 2*l - o, -5*m + 3*l - 23 = 0 for m.
-4
Let t(q) = 12*q + 13*q - 7*q + 1. Let m(o) = 3*o - 5. Let l be m(2). Let u be t(l). Solve 5*i + 3*c + 23 = i, 4*i - c = -u for i.
-5
Suppose 0 = 3*g + 4 - 10. Let m(h) = -h**2 - 5*h - 3. Let d be m(-2). Suppose g*i - 5 = -3*o - 0*i, d*o - i - 20 = 0. Solve -o*v = u - 5, v = 2*u - 5 - 5 for v.
0
Let l(v) = -6*v + 18. Let b(j) = j - 1. Let f(u) = 5*b(u) + l(u). Let s be f(11). Solve -3*w - 2*w - 11 = -s*g, 3*g = 3*w + 12 for w.
-1
Let w(j) be the third derivative of j**4/24 + 5*j**3/6 + 2*j**2. Let s be w(-5). Solve s = 3*v + 3*r, -3*v + 9 = -2*v + 4*r for v.
-3
Let y(k) = -k + 10. Let f be y(5). Suppose -3 = -j + 5*t, f*t + 3 = -7. Let u be (-6 - j)*2*1. Solve -a + 0 + u = 3*l, 5*l + 3*a - 6 = 0 for l.
0
Let f(b) be the first derivative of -b**3/3 + 5*b**2/2 - 2*b - 4. Let x be f(2). Solve x*o + 2*t = 0, -9 = -3*o + 3*t - 0*t for o.
1
Suppose -5*c + v = -5, -2*c + v - 4*v = -19. Solve -c*t - 14 = -5*l, 2*t - 7*t - 12 = -l for l.
2
Let o be (0 + 6 - 2) + 0. Solve x - 8 = s, 0*s = o*s + 16 for x.
4
Let f = -254 + 362. Suppose 0*n - 3*n + f = 0. Let y(w) = 4*w - 14. Let k be y(7). Solve l - 5*u + 14 = n, -l + k = -3*u for l.
2
Let r(v) = v**3 - 5*v**2. Let x = -5 + 10. Let c be r(x). Let h = 2 - c. Solve 2*n + 5 = -4*o + 21, -n = h for o.
5
Let w(m) = m**2 - 9*m + 4. Let o be w(9). Solve 0*k - k + 5 = -2*h, -3*h - 2 = o*k for k.
1
Let o(w) = -w. Let j be o(-5). Let r = -531 + 536. Solve 0 = -z + 2*v + 1, -r = -j*v for z.
3
Suppose n + 10 = -4*n, 3*n + 42 = 4*r. Solve -2*c = 3*u - 0*u + 7, u = -4*c - r for u.
-1
Suppose -13*x - 36 = -15*x. Let j(a) = -a**3 + 7*a**2 + 10. Let w be j(7). Solve 2*r + x = 4*k, -4*r = r + k - w for r.
1
Suppose 5*q - 2*q = 12. Solve 3*w = -f + 12, 5*f - q*w - 6 = -w for f.
3
Let b = 8 - 5. Solve 2*a + 5*n - b = -a, 4*a - 4 = -n for a.
1
Suppose -6*b = 2*b - 32. Solve -6*q + q - 23 = b*w, 4*w - 1 = 3*q for q.
-3
Suppose 0 = 3*j - 10 - 5. Let a(b) = -3*b**2 - 5*b**2 + j - 6*b + 7*b**2. Let l be a(-6). Solve -l*q + 3*v = -14, 3*q - 17 = -3*v + 1 for q.
4
Let u be 2 - (1 + -1) - 0. Let z = 4 - u. Let m be z/(-4)*(-6)/1. Solve -5*s + 10*s + 9 = m*v, 19 = -5*s - 2*v for s.
-3
Suppose 0 = -4*l + 3 + 17. Let y = -3 - -26. Suppose 8*h - 10 = 54. Solve b + y = -l*z, z = 3*b + h - 3 for z.
-4
Let d = -3 - -7. Let f(a) = a**3 + 6*a**2 - 2*a - 7. Let r be f(-6). Suppose 0 = -5*p + 5, x = r*x + p - 21. Solve 3*j + d = -5, x*w + 3*j = -14 for w.
-1
Let f(b) = -b + 1. Let s(g) = 7*g - 6. Let o(z) = -39*f(z) - 6*s(z). Let w be o(-2). Solve -m + 2*v + 5 = 0, -w*m - 5*v = -m + 26 for m.
-3
Let n be 21/42 + 106/(-4). Let d = n - -26. Solve -4*r + 10 = t + t, d = 3*t + 15 for r.
5
Let i be (-2)/(-3) + (-13)/(-3). Let y(d) = -d**3 + 6*d**2 + 7*d. Let m = 11 + -4. Let t be y(m). Solve -o + v + t*v = 2, i*v = 0 for o.
-2
Let h = -2 + -1. Let u(s) = -4*s + 3. Let b be u(h). Suppose 0 = 2*z - 5*z + b. Solve r = -4*j - 17, -2*r + 21 = -z*j - 3*r for j.
-4
Suppose 3*v + 24 = 3*i, 3*i + 0*v - 4*v - 29 = 0. Suppose -i*g + 6 = -3. Solve 0 = -3*k + f - 3*f - g, -5*k - 5*f = 5 for k.
-1
Let w(t) = -t**2 - 4*t - 3. Let x be w(-1). Solve 4*c + 5*o - 28 = x, -4*c + 3*o = c + 2 for c.
2
Suppose -3*d + 2*d + 5 = 0. Let k = d + -7. Let i be -3*(-1 + k/3). Solve 3*h + 3 = -i*r + 15, 0 = 3*h + 3 for r.
3
Suppose -4*a - 2 = -3*l + 8*l, -4 = -5*a - 3*l. Let t = 11 + -9. Let j be 0 - (0/t + -5). Solve j*w + 3*d - 6 - 22 = 0, 4*w = a*d + 18 for w.
5
Let g(t) = 2*t + 2. Let r be g(-1). Let q(a) = -a + 8. Let n be q(5). Let u = n + r. Solve u*i + y + 5 = -y, i + 5 = y for i.
-3
Suppose 0 = o - 5*o. Solve 5*a + 15 = 4*u, -u + o = 2*a - 7 for u.
5
Suppose -f = -2*f + 10. Suppose -5*w - 2*r = -f - 13, -12 = -3*r. Solve -q - 8 = 3*y, -2*y = -w*q + 6*q + 3 for q.
1
Suppose 0 = -w - w + 12. Let l = w - 3. Suppose -l*n - 2*n = -80. Solve -5*m - 4*a = -2*a - 24, 2*a + n = 5*m for m.
4
Let d be (-8 - -8) + 2*5. Suppose -3*i + 0*f + d = 4*f, 5*i = -5*f + 10. Let q = 0 - i. Solve -3*h = 3*x + 2*h - 30, q*x - 22 = -4*h for x.
5
Let r = 0 + -18. Let i = -12 - r. Let n be ((-1)/((-2)/(-4)))/(-1). Solve 3*f - v - 10 = 0, 0 = -4*f + 4*v + n + i for f.
4
Let i(w) = -2*w**2 - 11*w. Let m be i(-5). Solve 0 = m*k + 15, -17 = -r + 5*k + 1 for r.
3
Suppose 3 = -q + 5*x, 2 = 5*x - 3. Solve -4*j + 0*p = 3*p - 4, -q*j + 3*p + 20 = 0 for j.
4
Suppose -2*m + 13 - 5 = 0. Let h = -6 + 30. Solve -3*u - 4*p - h = -7*u, -4*u - m*p = 0 for u.
3
Let w be (-3 - (0 + 1)) + 4. Solve 5*r - 5 = w, -r = -4*m - 4 - 1 for m.
-1
Suppose -3*j - 4 = -1. Let g = 4 - j. Solve 8 = 2*l, -5*l + 2*l = -g*f + 8 for f.
4
Suppose p - 36 = -4*u, 0*u + 62 = 5*u - 3*p. Solve -y - 17 = 4*m + m, -4*m = 2*y + u for m.
-4
Let v(i) = -4*i + 1. Let f be v(-6). Let q be 4/(-10) - (-10)/f. Let g = -7 + 10. Solve h + l - g = q, 4*l = 4*h + 3*l - 17 for h.
4
Let q(o) = o**2 - 7*o - 12. Let l be q(9). Suppose 2*a - 4*a = -6. Solve -4*n + l*n - 3*g - 17 = 0, -23 = -a*n + 4*g for n.
1
Let n(c) = -3*c - 2. Let y be n(-2). Suppose -3*a + 15 = 2*v - 0*a, y*v = -2*a + 18. Solve 0 = z + 5*i + 12, -3*i - 8 = v*z - 2*i for z.
-2
Suppose -8*k + 30 = -2*k. Suppose 15 = 3*z - 5*g - 37, 3*z = -g + 22. Solve 5*a = -0*a + f - 3, 0 = -k*a - 3*f + z for a.
0
Let i(w) = w + 9. Let s be i(-5). Suppose s*r - 24 = 4*z - 0*z, 0 = 2*r - z - 8. Solve -b = -5*u + 15, 2*u - 2 = r for b.
-5
Let a = -8 + 11. Solve -3*s + 18 = -s - a*r, 9 = -s - 3*r for s.
3
Let b = 55 - 37. Let m be 1*13 - b/6. Solve -3*a - 10 = -5*v, 5*v = 4*a - 2*a + m for v.
2
Let z(a) = -2*a + 2. Let l be z(-2). Let c = l - 6. Suppose -5*j + 0 + 25 = c. Solve -j*k - 3*p + 4*p - 5 = 0, p + 2 = -2*k for k.
-1
Let j = 66 + -63. Solve -4*s + i = 13, 0*s - 19 = 2*s - j*i for s.
-2
Suppose -8 + 0 = -2*c. Suppose 77 + 163 = c*v. Suppose 7*y = 2*y - 5*f + v, 0 = -4*f + 8. Solve h + 0*m = 5*m - y, -2*h - 7 = 3*m for h.
-5
Let d(x) be the second derivative of x**5/20 - x**3/2 + x**2/2 - x. Let t be d(2). Solve 3 = -2*z + z + 5*j, -z - t = -2*j for z.
-3
Let m be 4/(-14) - (-210)/49. Suppose 2*y - 12 = m*y. Let c(j) = -j**3 - 6*j**2 - j - 1. Let g be c(y). Solve 0 = -r - 3*x + 1, -r - g*x + 1 = -x for r.
1
Suppose 4*g + 2 = c, -4*c + 5*g + 8 = 4*g. Solve 2*w = 3*p + 1 - c, -5*p - 30 = 3*w for w.
-5
Let y(t) = 6*t**3 - t**2 + t - 1. Let v be y(1). Let h = v - -2. Suppose -3*q - 2*q = 0, -21 = -3*i - 4*q. Solve -z = -5*r + h, -r + z - i = -2*z for r.
2
Let s be 3/(-6) + (-2)/(-4). Suppose -2*v + 0*v + 18 = s. Solve -2*p + 15 = 5*q - v, -22 = -3*q - 5*p for q.
4
Let x = 16 - 24. Let y be 3*x/(-6)*1. Let k(l) = 5*l**2 + l - 1. Let m be k(1). Solve 0 = -m*u + 3*u + 4*s - 14, y = s for u.
1
Let q = -111 - -113. Solve q*o + 5 - 1 = -5*y, 3*y - 3*o = 6 for y.
0
Let t be 1 - -6 - 9/3. Let d be (-6 - -3) + 4 + t. Solve -3 = a - 2*y, -4*y - 3 = -d*a - 0*y for a.
3
Let p = 4 - 10. Let x(l) = l**3 + 6*l**2 + l. Let g be x(p). Let y = g - -6. Solve 0 = -2*s + 3*m + 5, 2*s = -y*m + 4*m + 6 for s.
1
Let m = 10 + -6. Let h(t) = 15*t**3 + t**2 - 1. Let q(c) = c**3 + 2*c**2 - 3*c - 5. Let x be q(-2). Let w be h(x). Solve -3*v = 5*j + 6, -j = m*j + w for v.
3
Let z = 1 - 0. Solve 0 = -2*h + b - z, -3*h + b - 4 = 2*h for h.
-1
Let g be (-2)/4*-4 + 1. Let m be (g + -3)*1/3. Solve m = p + 3*p - 2*u - 18, 2*p + u - 7 = 0 for p.
4
Let z(t) be the first derivative of -t**4/4 + 2*t**3/3 + 2*t**2 - t - 6. Let b be z(3). Solve b*w - 3*q - 4 = 0, -2*w - 5*q = -6*w + 10 for w.
5
Let v = 4 + 1. Let h(d) = -d + 5. Let s be h(v). Solve s = 4*q - 5*c - 1, c - 7 = -2*q + q for q.
4
Suppose -4*y - 2*g + 12 = 0, 5*y - 2*g - 20 = -7*g. Let v(b) = b**2 + 3*b + 3. Let s be v(-4). Suppose -d + s = 3. Solve -k - q - 4 = -d*q, k - q + y = 0 for k.
-1
Let w = 0 + 7. Suppose 0 = -w*q + 5*q + 8. Solve 2*x + q = 2*b, -b - b = 5*x + 24 for b.
-2
Suppose 25 = -5*l, -3*o = -0*o - 2*l - 49. Solve -5*s + o = -7, -5*n + 4*s - 11 = 0 for n.
1
Suppose 5*a - 44 = 3*m, -5*a = -a + 2*m - 22. Suppose -6 = -4*j + 2. Suppose -7 = y - 4*q, -y + 3*y + 4*q = 22. Solve 3*v = -5*x + a, -3 = y*v + 2*x - j for v.
-1
Let k(h) = h + 6. Let p be k(0). Suppose -4*m + 3*m = -p. Solve -4*b + 4*z = 12