18. Let x be b(9). Solve x = -2*z - 2*z - 20 for z.
-5
Suppose u = 4*u - 24. Suppose 2*o - 17 + 7 = 0. Solve 0 = -o*y + 7 + u for y.
3
Suppose -h + 2 = w, -4*h - w + 14 = -0*w. Solve 0 = -2*r - h for r.
-2
Suppose -3*t = t - 16. Let z(k) = -k**3 + 4*k**2 + k + 3. Let f be z(t). Solve -f*c = -2*c for c.
0
Let h = -6 + 10. Let t(f) = -5*f - 3*f - f**2 + 2 + 11*f. Let o be t(3). Solve o*x - 4 = h for x.
4
Let r be ((-4)/(-10))/(((-1)/1)/(-5)). Solve r*p = -3*p + 5 for p.
1
Let t(x) = -3*x - 6. Let l be t(-3). Let n be (0 + -2 + l)/1. Solve -2*q + 7 = -n for q.
4
Suppose q - 3 = -0. Let m = q - 1. Solve 0 = -m*y + y + 1 for y.
1
Let b = 25 + -5. Solve 4*y - b = 8*y for y.
-5
Suppose a - 2*a = -3. Suppose -a*q - 4 + 22 = 0. Suppose 0*j = 3*j - q. Solve -c + j*c = 3 for c.
3
Let x be 2/10*-6*(-5 - 5). Solve 8*p = 4*p - x for p.
-3
Let j = -74 + 76. Solve j*g + 9 = 1 for g.
-4
Let x be (-1)/3 - (-16)/3. Suppose -x*a = -1 - 19. Solve -a*g = -0*g for g.
0
Let r = -4 - -9. Let c(l) = -l**3 + 3*l**2 - 2*l + 2. Suppose -2*j - 8 = -y, 3*j + 13 = 2*y - 0*y. Let d be c(y). Solve 7*i - r = d*i for i.
1
Suppose 0 = 5*i - i. Let u be -6*(-1 - 0)*-1. Let z be (-3)/(-6) + u/(-4). Solve i = -f - f - z for f.
-1
Let o be 104/(-10) + (-12)/(-30). Let n = -10 - o. Solve n*w + 2*w = 0 for w.
0
Suppose -2*r - 4*f = r - 29, 3*f - 27 = -4*r. Let k = r - -12. Suppose -k = -p - 3*w - 2*w, 3 = -5*p + w. Solve p = -5*q + 5 for q.
1
Let o = 0 + 0. Let w be o - (-2 - -1*2). Suppose x = -g + 1, 10 = -5*g + 2*x + 50. Solve w = -3*p - 0 - g for p.
-2
Let n = 10 + -8. Suppose 4*t - 24 = 4*h, h = n*h + 3. Solve 6*o - t*o = 9 for o.
3
Let b(o) be the first derivative of o**4/4 - o**3 - 5*o**2/2 - 7. Let s be b(5). Solve 4*v = -v + s for v.
5
Let l be (-1 - -2)/(3 + -2). Suppose l + 9 = 2*b. Solve 8 + 2 = b*n for n.
2
Suppose 0 = -i + 12 - 10. Solve i = v + 3 for v.
-1
Suppose 0 = i - 4*o - 12, 2*i + 2*o - o = 6. Suppose -3*d + 1 + 5 = 0. Suppose a - i + d = 0. Solve 3*g = 2*g - a for g.
-2
Let t(k) = -k**2 - 4*k + 7. Let g be t(-5). Suppose 4*y = 51 + 17. Solve -y + g = -3*n for n.
5
Suppose 5*a = -5*b + 715, -5*b + 2*b = 4*a - 575. Suppose 0 = 3*y - a + 11. Suppose -n - 9 = -t, -6*n = -5*t - 2*n + y. Solve 2*j - t = -1 for j.
4
Let z(y) = -y**3 + 4*y**2 + 6*y - 5. Let h be z(5). Let g be 1 - ((-2)/(-2))/1. Let k = 1 + g. Solve h = w + k + 3 for w.
-4
Let h be (537/9)/((-1)/(-3)). Suppose -5*o + 2*v = 3*v + h, o = 4*v - 19. Let j be (1 + -3)*o/14. Solve -2*y + j = -y for y.
5
Suppose 3*c = c + 16. Solve 0 = c*p - 3*p for p.
0
Let d(h) = -4*h - 1. Let m(i) = 5*i. Let j(f) = 4*d(f) + 3*m(f). Let p be j(-4). Solve 3 + p = 3*r for r.
1
Let u(w) be the first derivative of -w**2/2 - 3*w + 2. Let j be u(-6). Solve j*q - 2*q = 3 for q.
3
Suppose 0 = -4*r + 5 + 35. Solve -r = 5*d - 35 for d.
5
Let z be -2 + (10 + -2 - 1). Solve 5*r + 5 + z = 0 for r.
-2
Let i be (4*-1)/(0 + (-6)/3). Solve -w = -i*w for w.
0
Let i = -47 + 48. Solve -i + 6 = -x for x.
-5
Suppose -3*f - 4 = -i + 2*f, 4*i + 5*f + 9 = 0. Let a = i - -3. Solve 9 = a*q + q for q.
3
Let r(c) = c**2 - 5*c + 4. Let y be r(5). Solve 3*s + 11 = -y for s.
-5
Let p(m) = m**3 + 12*m**2 + m + 17. Let l be p(-12). Let c be (-4)/(-18) - 4/18. Suppose -g + c*g = -l. Solve -15 = -g*t - 0*t for t.
3
Let n = -43 - -44. Solve 0 = -v + n - 3 for v.
-2
Let u(n) = -9*n**2 - 7*n + 7. Let m(s) = -4*s**2 - 3*s + 3. Let v(b) = -14*m(b) + 6*u(b). Let x be v(-1). Solve -2*j = x - 10 for j.
4
Suppose -2*r + 4 = -3*r + b, 2*r = -4*b + 22. Let n be (1*-3)/(9/(-12)). Suppose -12 = -4*k - 2*v, 0 = 2*k - 2*v - 18 - 0. Solve k*w - r = n*w for w.
1
Let v(g) = 12*g**3 - g + 1. Let j be v(1). Suppose 5*s + 40 = 5*l, -l - s - j = 2*s. Suppose -4*c + l*n - 11 = -3*c, -c = 4*n - 24. Solve 3*k - k + c = 0 for k.
-2
Suppose -21 - 15 = -4*t. Suppose -9 = 3*c + 2*d - 5*d, -t = 2*c - 3*d. Let b be ((-57)/(-95))/(1/5). Solve c = b*m - 2*m for m.
0
Let p(a) = a**2 + a + 5. Let y be p(0). Suppose -n + y*d + 36 = n, 4*n = 3*d + 86. Let i = 36 - n. Solve -5*k = 12 + i for k.
-5
Let i = -1 + 4. Solve -i*o + 4 + 2 = 0 for o.
2
Let s(r) = r**3 - 6*r**2 - 5*r - 14. Let h be s(7). Solve h*o = 4*o for o.
0
Suppose 3*q = 8*q - 15. Suppose 3*s = -q*v - 2*v + 14, -2*v + 10 = -s. Let a(i) = -i + 4. Let p be a(v). Solve -c + 2 - 1 = p for c.
1
Suppose 0 = 2*p - 0*p. Suppose p = -b - b + 4. Suppose b*y = 1 + 3. Solve t = -y*t + 12 for t.
4
Let a = -1 + 3. Suppose 0 = -5*d + d - q + 14, d + a = -3*q. Solve -n = 6 - d for n.
-2
Let f be -3 - (-4 - -5)/(-1). Let t = f - -4. Solve -t*b + 0 = -2 for b.
1
Let p = 5 + -3. Suppose -32 = -4*l + 2*s, 0 = 4*l - 4*s - 18 - 6. Let c = -10 + l. Solve 5*y + 18 + p = c for y.
-4
Let a = 7 - -1. Solve -a*f + 3*f - 10 = 0 for f.
-2
Let k = 12 + -4. Solve 0*r = 2*r + k for r.
-4
Let c(m) = -3*m - 3. Let u be c(-2). Suppose 6 - 3 = u*f. Solve 0 = i - 6 + f for i.
5
Let t(x) = x**3 + 4*x**2 - 2*x - 4. Let i be -2 + (-7)/((-14)/(-4)). Let v be t(i). Solve -v*q + q + 9 = 0 for q.
3
Let p be 2 + 2 - 3/(-6)*2. Solve -5 = 4*g - p*g for g.
5
Let m be 6/2*4/3. Suppose -4*k = -8, -l - m*k + 4 = -2. Let b = 2 + l. Solve -r + 5*r = b for r.
0
Let w be 6 + -2 - (-12 + -4). Solve -3*l = 2*l - w for l.
4
Suppose -5*a + 1 = -4. Let u be -46 + ((-2)/(-1) - a). Let g be (u/6)/(1/(-2)). Solve 0 = -0*x - 3*x + g for x.
5
Let w(m) = m**3 + 4*m**2 - 3. Let n be w(-3). Let i be 4/n + 52/12. Solve g + 4*g + i = 0 for g.
-1
Let n be 2*(1 - 102/(-4)). Suppose -3*w - m + 51 = 0, -4*w + 8 = -m - n. Solve -4*t = -0*t + w for t.
-4
Let n be -3*4/(-1 + -3). Solve -n = r - 0 for r.
-3
Suppose -2*l - 3*l + 2*u = 247, 4*l - 3*u = -199. Let o = l - -69. Solve o = b + 4*b for b.
4
Suppose 0 = j + g + 1, -6*j + g + 7 = -5*j. Suppose 5*y - 4 = j*h, -3*y - 4 = -3*h - 2*y. Solve -12 = -2*z - h*z for z.
3
Let u be 2/4 - (-10)/4. Solve -u*j + 3 = 18 for j.
-5
Let n be (-4 - -8 - -3)*1. Solve -3*o - n - 8 = 0 for o.
-5
Let c = -11 - -17. Solve -n = c - 5 for n.
-1
Suppose -n + 5*h - 9 = 2*h, 2*h - 5 = n. Solve -n*q = -0*q for q.
0
Let t(n) = n**3 - 10*n**2 + n - 7. Let v be t(10). Let u be 14 - (-5 + v + 1). Solve 1 = 4*p - u for p.
4
Suppose -2*w + 3*u + 3 = -2, 0 = -5*u - 5. Let j be 1*(-1 + 0 - 0). Let z be j + 6*1/w. Solve 8*o - z = 3*o for o.
1
Let u(s) = -s + 9. Let i be u(6). Suppose -i*m + 37 + 8 = 0. Suppose -4*v = v - m. Solve -8 = -v*c - c for c.
2
Let r = -18 - -22. Solve 11 + r = -5*q for q.
-3
Let r = -7 - -9. Let i be (2 + -1)*(r - 1). Suppose -f + 5 = -4*d - 6*f, -i = -2*d + f. Solve 0 = 5*h - d*h for h.
0
Let c(b) = b**3 + 7*b**2 - 7*b + 11. Let o be c(-8). Let i be (-46)/(-6) - 2/o. Let m(w) = -w**2 - 8*w + 5. Let n be m(-6). Solve 5*z + i = n for z.
2
Suppose -p + 3*p + 5 = l, 0 = p + 1. Solve -l*n + 7*n - 8 = 0 for n.
2
Let z = -9 + 14. Let r(s) = -s + 5. Suppose 5*t + j = -0*j + 27, t = 2*j + 1. Let m be r(t). Solve -z = -m*n + n for n.
-5
Let y be (-6)/(24/(-5))*4. Solve -y*k - 3 + 13 = 0 for k.
2
Let u = 8 + -5. Suppose 0 = -2*r + 5 + u. Suppose r*x - 35 = -11. Solve -2 = 4*j + x for j.
-2
Suppose -2*w + 1 = -5. Let b = 52 + -52. Solve 4*u - w*u = b for u.
0
Let u(w) = -w**2 - w + 7. Let t be u(0). Suppose 0 = 5*k - 8 - t. Solve 0 = -k*c + 2 + 1 for c.
1
Suppose -2*u = 5*g + 8, 4*u - 12 - 32 = 5*g. Let k be (1 + -11)*u/(-4). Solve -5*b + k = -0 for b.
3
Let y = -7 - -7. Let g be (-9 + 1)/(-2 - y). Solve -g*t + 2*t = 0 for t.
0
Let s(y) = -y**3 - y + 3. Let b be s(0). Suppose 2*a = 2 + 4. Let p = a - b. Solve i = -p*i + 3 for i.
3
Let j = 5 - 3. Let c = 4 + j. Let g be c/(-21) - 16/(-7). Solve g*f - f = -5 for f.
-5
Let n(k) = k**2 + 3*k + 1. Let u = 1 - 5. Let c be n(u). Let q = c - 1. Solve h + 3 = q*h for h.
1
Let d = -10 + 7. Let o(a) = 11*a + 1 - 5 - 13*a. Let y be o(d). Solve -w - 6 = -y for w.
-4
Suppose -4 = -5*v + 2*x, -2*x = -5*v - x + 2. Suppose v = -3*s - s + 16. Suppose -3*f = -s*f. Solve -4*n + 2 + 10 = f for n.
3
Let m be 39/4 + 1/4. Let v be ((-4)/5)/((-2)/m). Let n be v + -2*(-2)/(-4). Solve -8 = n*q - q for q.
-4
Let u = 6 + -4. Suppose u = i + 11. Let d be -1*3/i*6. Solve -d*a + 0*a + 2 = 0 for a.
1
Suppose i + 2*f = 23, i - 6*i = -f - 71. Let t be 1*22/((-4)/2). Let d = i + t. Solve 0 = -d*u + 5 + 7 for u.
3
Suppose -3*p = 5*w, 0*p + 2*w + 11 = p. Solve -