- 18. Solve -k = -c + 5 for k.
-2
Let d be 0/2*(-6 - -5). Solve -4*o - 1 + 5 = d for o.
1
Suppose 0 = -3*t - 2*t + 10. Suppose -t*o = -4, -3*b = -0*b + 2*o - 19. Let s = 9 - b. Solve -4 = 4*a + s for a.
-2
Let i = 38 + -26. Solve 0 = -7*b + 3*b - i for b.
-3
Let m = -36 - -63. Suppose 5*a + 7 = m. Suppose -l = a*l. Solve l*k + 5*k = 0 for k.
0
Let s(v) = v**3 + v**2 + v + 3. Let i be s(0). Suppose -12 = -i*g + 3*y, 0 = g + 3*y + 2 + 10. Solve g = 3*c - 3 - 0 for c.
1
Suppose 0*z - 6 = -3*z. Suppose -4 - z = -3*u + 3*o, 0 = -5*u - 2*o + 24. Let v(n) = -n**3 - 4*n**2 + 4*n - 2. Let q be v(-5). Solve -u*k - q = -3*k for k.
-3
Suppose 3*j + 5*a = 24, -18 = -0*j - 2*j - 4*a. Suppose d + i = -2*i - 8, 0 = j*d + 3*i. Solve 12 + 8 = d*u for u.
5
Suppose -3*r - 6 = -5*h, r + 7 = 3*h + 1. Solve -h*p - 12 = -0*p for p.
-4
Suppose -4*i - 6 = -3*g, 0 = -i - 2*i. Solve 0 = -2*p + g for p.
1
Suppose 4 = 2*k - 2. Solve -7 = 4*o - k for o.
-1
Let j(z) = 10*z**3 - z + 1. Let y be j(1). Solve -t - t = -y for t.
5
Suppose 3*n - 13 = z, n + z - 21 = -2*z. Solve n*f + 10 = f for f.
-2
Suppose -2*i + 3*f = -51, -i - 3*f + 33 = i. Suppose 3*d - i = 3*q, 2*d - 4*q - 10 = 10. Solve d*n = n for n.
0
Suppose 2 - 44 = -14*t. Suppose -2 - 3 = -5*x. Let o = x + -1. Solve -12 = -t*a - o for a.
4
Let x(t) = t**3 - 44*t**2 - 2*t + 88. Let s be x(44). Let m(a) = -a**3 - 4*a**2 + 2. Let z be m(-4). Let o be -5*-1*z/2. Solve s = p - o*p + 4 for p.
1
Suppose -2*c - 7*h = -3*h, -5*h = -5*c + 45. Solve -4*y - 10 = -c*y for y.
5
Suppose 13 = -2*d - 5*j, -5*d - 4*j - 4 = -j. Let r be ((-128)/(-40))/(d/10). Let z = r - 19. Solve 4*t + z = -3 for t.
-4
Let j(z) be the third derivative of -z**4/12 - 5*z**3/6 + 3*z**2. Let y be j(-5). Solve -5*a = -0*a + y for a.
-1
Suppose -5*y - 7 = -22. Suppose a = y*a. Suppose -3*w + 24 + 0 = a. Solve -h = h + w for h.
-4
Suppose p = -7 + 17. Suppose 2*h + 0*h = p. Suppose 0 = -h*o + o + 20. Solve 10 + o = -3*m for m.
-5
Let x(y) = y**2 + y - 4. Let n be x(-4). Solve -n*b = -6*b + 10 for b.
-5
Suppose 4*w - x - 17 = -4*x, -5*x + 15 = 0. Solve -2*u - 12 = -w for u.
-5
Let u(f) = -f + 22. Let h be u(21). Solve -y + h = -3 for y.
4
Let v(f) = 4*f - 49. Let y be v(13). Solve y*m = -m - 8 for m.
-2
Let i(b) = -b + 17. Let l be i(10). Solve 3*f = l*f for f.
0
Suppose -k = -4*v - 13, 3*v = -3 - 3. Solve 9*q - 4*q - k = 0 for q.
1
Let x(v) = -v**2 - 6*v - 2. Let z be x(-5). Suppose -19*i + 247 = -0*i. Solve -z*u - 1 = -i for u.
4
Suppose 0 = o + 3, -o = -3*h - 5*o + 3. Let a(v) = 2*v + 1. Suppose -k + 5*k = -3*n + 7, -2*n - 4*k = -2. Let d be a(n). Solve h*p - d = 9 for p.
4
Let p(q) = -q - 7. Let a be p(-7). Suppose a = 5*m - 4*v + 32, -5*v + 20 = -2*m - v. Let o = m + 4. Solve o = 3*n + 2*n - 20 for n.
4
Suppose h + 4*y = -18, -5*h = -h + 5*y + 17. Suppose h*f = 4*q + 12, 2*q = -q - 6. Solve 3*r = 4*r - f for r.
2
Suppose 4*m - m + 15 = 0. Let u = 10 + m. Let a = 8 + 8. Solve b + a = u*b for b.
4
Let s = 60 + -32. Suppose 2*v = 3*y - 4, 4*y + 5*v = 2*v + s. Solve y = -2*c + c for c.
-4
Let f(i) = -i - 8. Let o be f(-7). Let u = 1 + o. Solve u = -2*r + 6*r for r.
0
Let q(k) be the first derivative of -k**3/3 + 5*k**2 + 3*k - 1. Let z be q(10). Solve u + 16 = -z*u for u.
-4
Let b be ((-1)/5 + 1/5)/(-1). Solve -v - 3*v = b for v.
0
Let t = 7 + -7. Suppose t = -v + 2*v - 2. Solve -j + v - 1 = 0 for j.
1
Suppose -3 = -5*r - 13. Let u = -3 - r. Let f = 4 + u. Solve 0 = f*z + 12 - 0 for z.
-4
Let i be 4/(-18) - 40/(-18). Suppose o + 4*h = 0, -4*h = 2*o - 2 + 6. Let n be 10*o/32*-8. Solve 0 = i*a + 3*a - n for a.
2
Let a be 6/(-5 + 2) - 26. Let m be (-128)/a + (-3)/(-7). Solve 3*d = 10 + m for d.
5
Let g(t) = -t**3 - 3*t**2 - 5*t - 3. Let h be g(-3). Solve 3*b - 6*b + h = 0 for b.
4
Let w be 7 + 1 - -3 - -1. Solve -d - w = -4*d for d.
4
Suppose 2*d = 6*d - 4. Let h = -1 + d. Let j be (-1)/2*(-8 - h). Solve -23 = j*u - 3 for u.
-5
Let n(s) = s**2 + s - 1. Let h be n(0). Let m be h/(2/44*-1). Let o be (-4)/m + (-4)/(-22). Solve -5*x + 0*x + 5 = o for x.
1
Suppose y + 6 = 5*t, 4*t - 2 = -3*y + 18. Solve 0 = t*o + 3*o - 25 for o.
5
Suppose 4*v = k - 5, 0*k - 5*k + 5*v - 35 = 0. Let d = 15 + k. Suppose 2*l = -5*f + 13, -d*l + 13 = -3*f - 0*l. Solve u + f = -3 for u.
-4
Let g(z) = z + 4. Let f be g(-4). Suppose -3*t + f*b + 15 = 5*b, 5*t = 5*b + 25. Solve t - 2 = -w for w.
-3
Suppose -3*q - 2*a - 8 = 2*a, -2 = a. Suppose 0*k = -2*k + 5*c, 5*k - 4*c = 17. Suppose -o - k*d - 13 = -3*o, -3*d = 3. Solve t = -q + o for t.
4
Suppose 3*y - 3*a - 9 = -0*a, -5*a = -2*y + 6. Suppose -2*v = v + 3. Let q = v + y. Solve -5*u - q = -12 for u.
2
Suppose 0 = -5*g + 35 - 10. Solve 2 = -g*b - 8 for b.
-2
Let h(j) = j**2 - 3*j + 2. Let t be h(-4). Let o be 5/(10/(-4)) + -13. Let u = t + o. Solve -2*g = -5*g + u for g.
5
Suppose -c + 5 + 61 = 5*l, 2*c = -8. Solve -1 = -5*u + l for u.
3
Suppose l - 12 = -0*l + 4*g, -3*l + 6 = -2*g. Solve 2 = n - l*n for n.
2
Suppose v = 4*v - 6. Solve -v = 2*a + 2 for a.
-2
Suppose s = -0*s - g - 1, 5*s + 4*g + 1 = 0. Suppose s*w - 5*w = -6. Suppose 39 = 4*c - w*n, 5*n = -2*c - 0*n + 13. Solve -2*r - c = r for r.
-3
Let r be 9 + (0/(-5))/5. Solve -4*g = -3 - r for g.
3
Let z(g) = -2 - 2*g**2 + 3*g**2 + 6. Let l be z(0). Let x = l - 2. Solve 2*v = -x*v + 12 for v.
3
Let y = 3 - -3. Let s be 100/y*12/10. Solve -7*p = -2*p + s for p.
-4
Let d(r) = -r**3 + 3 - 2*r - 3*r**2 + 0 - 1. Let i be d(-2). Solve -i*u - 2*u = 4 for u.
-1
Suppose 3*g + 2*s = 8, s - 6 = 5*g - 2. Solve 0 = 4*v - g*v + 20 for v.
-5
Suppose 2*v - 4*i - 8 = -0*i, -4*v - 3*i = -60. Let n be (6/4)/(v/16). Suppose n*p = -8*a + 3*a + 72, -2*p = -5*a + 88. Solve -5*s + a = -9 for s.
5
Let y(q) = -q + 13. Let p be y(10). Let b be (-3 - p)/2 + 6. Suppose 5*m = b*m. Solve -4 = -m*w + w for w.
-4
Suppose 2*s + f - 2 = 0, 0*s - 5*s + 2*f + 23 = 0. Let g(h) = -h**3 + 4*h**2 - 3*h + 2. Let r be g(s). Suppose -3 = d - r*d. Solve -4*a + 13 + d = 0 for a.
4
Let t(r) = -r**2 - r. Let j be t(0). Solve 0 = -j*l - 2*l + 4 for l.
2
Let n be (-74)/(-8) + (-4)/16. Solve -12*o = -n*o - 15 for o.
5
Suppose b = 2*f - 22, -2*b - 4 = -f + 4. Suppose -7*i + f*i = 5. Solve 0 = -4*r + 21 - i for r.
5
Let g be 7/((-14)/(-8))*8. Suppose 5*u - u - g = 0. Solve 6*v = 4*v - u for v.
-4
Let c be 100/(-36) - (-2)/(-9). Let t be 12 + -8 + (-2 - c). Solve -1 = -t*y + 9 for y.
2
Let z be 6/(-9) + (-2)/(-3). Let h be (-2 - -2) + -1 - -5. Solve h*x + z*x = 0 for x.
0
Suppose 0 = 3*n - d - 2*d - 6, -4*n - d = -13. Solve 2*f = -f + n for f.
1
Suppose -5*a + 15 = -10. Let f be (-1)/a + 12/10. Let v be 0 + (-2 - -3 - f). Solve v = -6*x + 2*x + 8 for x.
2
Let w be (-2 + 1)/((-2)/18). Let h be 4 + -3*6/w. Solve h = -4*t - 2 for t.
-1
Let g be 4/(-4)*(2 + -5). Solve -4 = g*b + 11 for b.
-5
Suppose -4*z + 5*z = 0. Let c = 5 - 1. Suppose 3*m = 4*u + 2*m - 35, 4*u + c*m - 40 = z. Solve -2*n = -1 + u for n.
-4
Suppose 0 = -51*n + 56*n - 20. Solve -n*m + 3 + 13 = 0 for m.
4
Suppose 10*q = 13*q - 12. Solve -q = -p - 9 for p.
-5
Let u(k) = k**2 + 8*k + 9. Let f be u(-7). Suppose -f*x = -x. Suppose 2*n + 1 = 3, -2*n = -5*w - 2. Solve m + x*m + 2 = w for m.
-2
Let w be (-2 - -12) + 11 + -9. Solve 2*s + w = -s for s.
-4
Suppose -2*f + 0*g + 3*g = -16, -2*f - 2*g + 16 = 0. Let h = f - 6. Solve 2*x - 6 - h = 0 for x.
4
Let d = 13 - 1. Solve 2*v + v = -d for v.
-4
Let k(u) = u**3 - 5*u**2 - u - 5. Let m be k(5). Let o = m - -12. Solve 0 = o*r - 5*r + 12 for r.
4
Let l be (2/(-6))/(((-5)/15)/1). Solve 0 = o + 3 + l for o.
-4
Let d = 5 - 5. Solve 5*b = -d + 5 for b.
1
Suppose 55*w - 57*w = -12. Solve 3*d = w*d - 15 for d.
5
Let n(j) = j**2 + 5*j - 4. Let m be n(-4). Let v = -6 - m. Let g(t) = t**2 - 4*t + 1. Let z be g(4). Solve -v*c + c = -z for c.
1
Let l(o) = -o**2 - 5*o - 3. Let h be l(-4). Let m be h - 4*(-1)/2. Solve v = m*v - 8 for v.
4
Let g be (3 + (-2)/((-4)/(-10)))*-1. Solve 2*q = -g*q for q.
0
Let r(f) = 2*f + 1. Let l be r(2). Let m be ((-2)/2)/(l/(-10)). Solve 0*v - m*v + 8 = 0 for v.
4
Suppose 0 = -3*m - 3, -4*g + 3*g - 3*m = -11. Let p = g - 11. Let q be ((-1)/1 - -1)/2. Solve 8*a - p*a = q for a.
0
Let s = 19 + -22. Let d be ((-1)/s)/(4/60). Solve -6*h = -5*h - d for h.
5
Let v = -8 - -13. Suppose -3*x + x + n - 2 = 0, -v*x = 4*n - 8. 