 8 = -k - 0*k, i = 5*k - n for k.
4
Let b(q) be the third derivative of -q**4/24 - 6*q**2. Let o be b(-3). Solve 3*c - v + 16 = 0, 0 = -5*c - o*v - 0*v - 8 for c.
-4
Suppose 0*k + k - 1 = 0. Let f = -1 + k. Solve 11 = 3*u - 3*v + v, f = -5*u - 2*v + 29 for u.
5
Suppose 5*s - 2*p = -13, -5*s - 5*p + 16 = -s. Let i be s - -4 - (0 - 0). Solve 3*c = 0, 1 = i*z + 4*c - 2 for z.
1
Let a be (-17)/(-6) + (-3)/(-18). Solve -4*p - 4 = 3*y, -2*y - 2*p - 1 = a for y.
-4
Suppose 2*a + a + 5*q + 14 = 0, 0 = 5*a - 2*q - 18. Suppose -2*h + 26 = 5*c, -3*c - 2 = -a*h - 8. Solve r + 3*l - 1 = 0, c*r - 4 - 7 = -5*l for r.
4
Let j(a) = -a**2 - 3*a - 1. Let t(c) = -2*c**2 - 6*c - 2. Let r(y) = -7*j(y) + 3*t(y). Let p be r(-4). Solve 0*b = -5*m + p*b, -3*m + b = 0 for m.
0
Let k(m) = m**2 - 21*m - 20. Let h be k(22). Solve y - 5*y - 8 = 0, -h*p = -y - 4 for p.
1
Let d(v) = -v**2 + 22*v + 25. Let n be d(23). Solve 3*w - 5 + 0 = n*t, 3*w + 5*t = 19 for w.
3
Suppose 4*z + 2*j = 15 - 1, 0 = -3*j - 9. Solve -5*k = -5*x - z, 3 = 2*x - 4*k + 9 for x.
1
Let l be (-3 + -2)*-1*1. Suppose -l*u - 5*z + 22 = -2*u, -14 = -u - 5*z. Solve -f + 4*c - 27 = -6*f, -u*c = -2*f - 6 for f.
3
Let b(w) = -w**3 - 8*w**2 + 11*w - 4. Let x be b(-9). Let t = x + 33. Solve -5*f - 25 = 5*j, t = -4*j - 3*f - 5 for j.
-1
Let z(v) = v + 1. Let m be z(14). Solve -2*g - 4 = 0, -4*n - 2*g - 5 = m for n.
-4
Let p be (-16)/(-24)*(6 - 3). Suppose -4*x + 14 = 6. Solve -p*m = -a + 2, -3*m = -x*m + 2*a + 6 for m.
-2
Suppose 52 = -i + 3*i. Let m = 45 - i. Solve -4*u + 3*a = -m, 0 = 3*u + 2*a - 7 - 3 for u.
4
Let o(y) be the first derivative of -y**3/3 - 15*y**2/2 + 3*y + 6. Let t be o(-15). Solve x - 6 = t*n, 3*x - 2 = -3*n + 4*n for n.
-2
Suppose 3*y - 12 = -0*y. Let h be (-3)/6 - (-22)/y. Suppose -2*d + d = -h. Solve -28 + 3 = d*q + 4*u, -5*u - 20 = -5*q for q.
-1
Suppose 5*j = 4*j + 10. Let m = j + -7. Suppose 2*p - 6*p - g = -36, -p + 3*g + 22 = 0. Solve 0 = -r + 4*u - 9, -m*r - u - 4 = p for r.
-5
Suppose -4*k + 5*k - 20 = 0. Let g be (2/3)/(4 + (-138)/36). Solve 5*n + 5 = g*v, -v + 3*n + k = -2*v for v.
-5
Let c(h) be the second derivative of -h**3/6 + 3*h**2 - 5*h. Let b be 1 + -2 - -5*1. Let l be c(b). Solve -d - d - 4*n + 16 = 0, -l*d = 5*n - 19 for d.
2
Suppose 0 = g - 2 - 0. Suppose 0*y - 2*y = -34. Suppose 0*o + o - 19 = -4*i, -g*i + y = 3*o. Solve 4*x + i = -2*z + 2*x, -z + 3*x - 10 = 0 for z.
-4
Let n be (-2)/2 + -2 + 3. Let b(s) = -s**2 + 6. Let h be b(n). Solve 0 = -4*l + 3*t - 35, -2*t = 3*l - h*l - 25 for l.
-5
Let q be (2 - -2)*(1 - -1). Let h(p) = 2*p - 6. Let r be h(5). Solve 3*g - 2*o - 5 = 0, -q*o + 3*o = -r*g - 5 for g.
5
Let x(a) = -a**2 - 8*a + 1. Let w be x(-6). Let s be 4 + w + 3 + 1. Solve 5*u - s = 3*n, u - 2*n - 16 = -3*u for u.
3
Let j(m) = m**2 - 2*m. Let q be j(3). Solve -3*z - 6 = -q*a, 0 = -3*z + 4*a - 4 - 5 for z.
1
Let a = 21 + -15. Solve 3*q - 2*n = 7*q + a, -2*n = q for q.
-2
Let h = -41 - -23. Let v = 21 + h. Solve 27 - 4 = -4*w + 3*z, 0 = -v*w + 4*z - 26 for w.
-2
Let o be (-16)/14*147/(-42). Solve -13 = -5*a + o*w, -4*w + 7*w + 2 = -4*a for a.
1
Let n = -12 + 3. Let j be (4/(-3))/(6/n). Suppose 0 = -3*s - 2 + 26. Solve -6 = -j*w, -2*k + 3*w - 1 = s for k.
0
Let t be 0*3/(-9) - 3. Let i = t - 3. Let c = 11 + i. Solve -3*y - c*s = 11, -4*y + y + 4*s - 2 = 0 for y.
-2
Suppose 21 = -4*y + r, y + 24 - 10 = 2*r. Let q = y + 7. Solve -6 = s + 3*l, 2*l + 7 - q = 0 for s.
0
Suppose 0 = 5*a - 5*j - 15, -6*a + 4*j = -a - 15. Solve -a*x - 2*o - 1 = 0, -6*x + 2*x = -2*o + 20 for x.
-3
Let r(v) = v**3 - v**2 - 3*v + 2. Let k be r(2). Let p = -14 - -24. Suppose -4*l + 50 - p = k. Solve -15 = o - 0*x + 2*x, -3*x = -o + l for o.
-5
Suppose -3*n = -0*n. Suppose n = 3*q - 3*x - 12, -q = q + 5*x - 22. Suppose p - 4 = -2*s + q, 0 = 2*p. Solve 0 = -0*k + 3*k - 3*h - 3, 0 = 2*k - s*h + 10 for k.
5
Suppose -2*p + 0*l - 10 = -2*l, 2*p - 5 = -l. Solve -5*y + 30 = -0*t + t, 3*y - 3*t = p for y.
5
Let c(s) = s + 6. Let i be c(-4). Solve 3*d = 4*l + 12, l = -i*l for d.
4
Let q(d) = -2*d**3 + 4*d**2 - 2*d + 3. Let a be q(4). Let y = -35 - a. Suppose 0 = -4*x - 2 + y. Solve 4*f - 2 = 3*b, 0 = -5*f + 3*b - 2*b + x for f.
2
Let l(h) = -2*h - 3. Suppose -f - 16 = -2*f. Suppose 5*a + f = 1. Let u be l(a). Solve -3*m + 4*m + u*g = 15, g + 8 = 4*m for m.
3
Let b be 34 + 8/12*-3. Solve -4*g + 4*o + b = 0, -4*o = -5*g + 15 + 21 for g.
4
Let a(f) = -f + 7. Let n be a(6). Let x be 1 - (2 + n) - -4. Suppose 0 = 5*t + 4*j + 10, -27 = -x*t + 3*j - 8. Solve t*g - 20 = 3*s, 5*g - 1 = 4*s + 35 for s.
-4
Suppose 9 = 3*j - 6. Suppose 1 = j*t - 14. Suppose -1 = -3*s - q - 4*q, -5*q = 5*s - 5. Solve -5*m + a - 3*a = -t, -a = -m + s for m.
1
Let y(u) = 3*u - 1. Let z be y(5). Suppose -3*g - z = -5. Let i(f) = f**2 + 2*f. Let c be i(g). Solve 3*w - 2 = -2*s, 0 = -2*w + 8*s - c*s - 24 for w.
-2
Suppose -m + 25 = -6*m, 2*f + m - 9 = 0. Solve -5*o - 32 = -3*u, -2*o - f = 1 for u.
4
Suppose 8 + 0 = 4*j. Suppose -30 = -59*h + 53*h. Solve -5*z - 8 - 17 = h*n, 4*n + 20 = -j*z for z.
0
Suppose -t + 4*d - 8 = 3*t, -t - 2*d = -10. Suppose t*p + p + 18 = 0. Let k be (-1 - -14) + (-5 - p). Solve -2*o = -5*x + o - k, 3*o - 8 = -x for x.
-1
Suppose 0 = 5*v + 4*r - 55, v - 4*r = -3*v + 8. Let p be (-30)/(-70) - (-39)/v. Solve 0 = -4*z + 3*z - 2*f - p, 0 = 4*z - f + 6 for z.
-2
Suppose -2*n = -4*n. Let a be 18/(-8)*(-8)/6. Solve -4 = 4*j - a*l, -5*j = -2*l - n*l + 5 for j.
-1
Let r(g) be the second derivative of g**4/12 - 3*g**2/2 + 9*g. Let c be 17/5 - 2/5. Let o be r(c). Solve 3*w - 1 = 5, 0 = -4*y - 3*w + o for y.
0
Suppose 4*f + 7 = 5*f - 3*d, 4*f - 38 = 2*d. Solve 0 = 2*a + p - 4 - 5, -a = -5*p - f for a.
5
Let h(f) = 6*f + 3. Let v be h(3). Solve -3*x + 4*i = -26, -x + v = 2*x - 3*i for x.
2
Suppose -2*p + 3*l - 25 = -4*p, -5*l = -25. Solve -v + 3*v = s + p, 0 = -3*v + s + 5 for v.
0
Let b be (-3)/(-1) - (-3 + -2). Suppose 3*y - 1 - b = 0. Suppose -6 + 1 = -f. Solve 4*z = f*m + 30, y*z - 10 = 2*m + 9 for z.
5
Let m be 2/5 - (-72)/20. Solve m*u + 4*g + 8 = 0, 3*g + 31 = -5*u + 5*g for u.
-5
Suppose -3*r + 20 = r, 2*a + 2*r = 14. Solve h + 4 = w, h - a*w = -6 + 2 for h.
-4
Suppose 4*x = -4*y, 0*y + 3 = 2*y + 5*x. Let r be (0 + 3 + -3)*y. Solve m = -c - 2, 6 = -3*m - r*m + 4*c for m.
-2
Suppose 91 = -5*j + 31. Let a = -5 - j. Solve -5*z + a*o = 3*o + 25, -20 = -5*z - 5*o for z.
-1
Let t(z) = -z + 4. Let s be t(-3). Let w = -12 + s. Let u be -1 - w - 1/1. Solve -2*b - 4*o = -4, b - 15 = -u*b - o for b.
4
Suppose 42 = 22*k - 46. Solve 5*g - x - k = -2*x, -4*x + 16 = g for g.
0
Let r be (-2)/2*(-12 + -1). Suppose -4*d - y + 4 = 0, -d - 2*y + 4*y - 8 = 0. Solve 2 + d = n, 5*w + n + r = 0 for w.
-3
Let w be (6/4)/(1/2). Suppose -2*g + 5*x - 39 = -w*g, x + 53 = 3*g. Solve v + 7 - g = 4*k, 3*v - 2 = -5*k for v.
4
Suppose 7*c + 5 = 2*c. Let v be 7 + -5 + 2 + c. Solve -2*x - 2*f - 8 = -4*f, -4 = -5*x - v*f for x.
-1
Let p = 8 + 3. Let m = -7 + p. Solve -z = -m*t - 8, 0 = -3*t + 7*t + 4*z + 28 for t.
-3
Let t(y) = y**2 + 2*y - 3. Let f be t(-5). Let q = f - 7. Solve -2*c - 12 = -2*o + 4*o, -q*c + 4*o = -6 for c.
-2
Suppose 2*m = -1 + 11. Suppose -m*v - 2 = 8. Let l be 1*(v + 2)*1. Solve 3*u + 2*f + 23 = 7*f, l = 4*u + 4*f - 12 for u.
-1
Let t = -136 + 139. Solve 9 = -3*b - r - 2, -t*b - 4*r = 26 for b.
-2
Suppose 10*t = 9*t + 2. Solve -d + t*z + 8 = 0, -d + 7 = -4*z - 5 for d.
4
Suppose -3*m = -0*m - 15. Let b(f) = -f**3 + 7*f**2 + 10*f - 14. Let u be b(8). Solve 5*o + 21 = -u*p, o + m = -2*o - 5*p for o.
-5
Let q be 8/((-2)/(8/(-1))). Let s = q + -17. Solve -3*k - l = s, 3*l - 12 = 3*k + 3 for k.
-5
Suppose -3*x + a = -11, -5*x - 4*a + 7*a = -21. Solve 3*v = -3*f + x, v + 0*v + 4*f = -11 for v.
5
Let t = 9 - 7. Suppose 0 = -2*r + 4*d + 6, -t*r + 2*d = -0*r - 6. Solve 3*n - 8*n + 20 = -2*b, 4*b - 12 = -r*n for b.
0
Let f(o) = o - 10. Let z be f(6). Let x be 1 + 3 + z - -3. Solve 3*d + x = 3*i, d + 5 = 5*i + 3*d for i.
1
Suppose q = 3*q + 5*z + 12, 5*q - 36 = 4*z. Solve -q*o = -s, -2*s + 2*o - 2 = 4 for s.
-4
Suppose -16*f = -12*f - 92. Let r(c) = 2*c**2 + 2*c - 4. Let b be r(-3). Suppose 2*s = 4 + 4. Solve -5*z - s*h - f = 5, -2*h - b = z for z.
-4
Let j(o) = o**3 - o**2 + 1. Let y be j(2). Solve -y*a - 3*q + 20 = 0, 3*a + 5*q - 10 - 2 