or k.
4
Let d(m) be the first derivative of m**4/4 - 7*m**3/3 + 5*m - 12. Let y be d(7). Solve -y*s - 3*z - 12 = 0, 8 = -4*s + 3*z - 7 for s.
-3
Let o = -159 + 171. Solve 3*z - o = -d, z - 5 + 6 = -2*d for d.
-3
Let v(u) = u + 4. Let y be v(-2). Suppose 0 = 2*q - 0*q - y. Suppose -x = -1 - q. Solve -3*r - 2*s = x, s - 11 = 2*r + 2 for r.
-4
Suppose 3*l - 3*g - 12 = 0, 0*g = -2*l + 4*g + 12. Suppose 4 + 7 = -l*q + 5*j, -q = -j + 1. Solve q*f = 0, 4*y = 6*y + f + 6 for y.
-3
Let q be (6 - 6)/(-1)*(-1)/(-2). Solve 4*y + 5*b + 21 = 0, -3*y - 5*b - 22 = -q*y for y.
1
Let u(n) = -n - 4. Let d be u(-1). Let h be (1 - 9/d) + -1. Solve 3*g + g + 5*w = -26, w + 14 = -h*g for g.
-4
Let t = 41 - 41. Suppose 4*z - 3*p - 97 = t, p - 13 = -z + 6. Let i(k) = -k**2 - 7*k + 5. Let j be i(-6). Solve m - 3*m + z = 4*g, -5*g + j = -3*m for g.
4
Let k be (67 - 73) + (16 - 1). Solve l + 2*o + k = 0, 0*l + o = 2*l + 8 for l.
-5
Let x = 1273 - 1261. Solve f = -4*m - 18, -2*m - 3*m = -4*f + x for m.
-4
Let v be (-2)/(-5) - 22/5. Let m be 3/(-12) - (-3)/v. Let t be (-4 + 3)*4/m. Solve i = -s + 2*s + t, 3*s = -15 for i.
-1
Let c be (-34)/17*5/(-2). Suppose 85 = c*i + 2*r, -3*i + 3*r + 13 = -59. Solve i = z + 4*l, 3*z + 2*l - 13 = l for z.
3
Suppose -9*f + 48 + 357 = 0. Let m be (f/(-5) + 3)*(-2)/3. Solve 3 = 2*o - c, c = 2*o - m*c - 23 for o.
-1
Suppose 4*k + 5*d = 82, 3*k + 51*d - 50*d = 56. Solve 0 = -3*a + 5*r + 23 - k, 4*r - 33 = -5*a for a.
5
Let i = 92 + -82. Suppose i*p - 6 = 7*p. Solve a - 1 = -p*r + 2, -4*r - 9 = -3*a for a.
3
Suppose -2*p = -o - 1 - 4, 4*o - 5*p + 5 = 0. Suppose q - l + 3 = 0, l = q + 2*l - 3. Let j = 13 + q. Solve 4*x + j = -3*h, h - 18 = o*x + 3*h for x.
-4
Let n = -1 + 1. Let i(v) = -v**2 + 5*v + 1. Let f be 8*(-1)/2*-1. Let k be i(f). Solve -a + 4*w = -25, -k*a - w + 8 + 12 = n for a.
5
Let a(p) = -p + 6. Let d(j) = j**3 - j + 4. Let c be d(-3). Let l be (-3 - 36/c)*-5. Let y be a(l). Solve y*o + 16 = 2*h - 2*o, h - 2 = -o for h.
5
Let y(d) = -23*d - 1. Let q be (2 + 6/(-4))*-2. Let v be y(q). Suppose r - 5*c + 6 = -3*c, -5*r = 3*c - v. Solve 5 = 4*g - t, -g = r*g - 2*t for g.
2
Let d(l) = 2*l**2 - 20*l - 74. Let s be d(13). Solve 2*y - 14 = -4*w, -2*w - s*y = 7 - 5 for w.
5
Let t be 3 + -2 - -4 - 2. Solve 0 = 5*h - t*f - 19, 4*h + f = 5*f + 12 for h.
5
Suppose w - 4*g = 19, -w - g = -2*w + 7. Solve 4*s + w*n - 6 = 5*n, 4*n + 4 = 4*s for s.
2
Let q be 2 - (0 + -2) - (-12)/4. Let h(a) = -a**2 + 8*a - 3. Let o be h(q). Solve -s = -2*g + 5, -o*g = -s - g - 9 for s.
3
Suppose -2*x + 4 = -0*i + 2*i, -i = 1. Suppose 0*g - 39 = -3*j + 3*g, -x = -3*g. Let n be 27/5 + (-4)/10. Solve 5*c - 30 = n*u, 3*c - j - 1 = 2*u for u.
-3
Let x(o) be the third derivative of o**6/120 - o**5/30 - o**4/4 + 2*o**3/3 + 4*o**2. Let p be x(4). Solve 4*u - 4*q = -3*q - p, -2*u - 4*q - 24 = 0 for u.
-4
Let y be 5 - (-3 - 0) - 2. Let r(s) = -7*s - y*s + 7*s. Let j be r(-1). Solve -17 = -4*x - l, -j = x - 3*l - 20 for x.
5
Let l(d) = d**3 + 5*d**2 + 4*d + 6. Let m(n) = -2*n**2 - 19*n + 6. Let b be m(-10). Let u be l(b). Solve 4*r - 3*i - 12 = 0, -4*r - 5*i = -2*r - u for r.
3
Let f be (24/150*5)/(2/5). Let v be 8/14*7/2. Solve 4 = v*y + f*y, 4*d = -4*y + 12 for d.
2
Suppose 0 = 3*i - 0*i. Let n be -2 + (i + 11 - -2). Suppose n*f - 6*f = 10. Solve -5*s - f = -2*x + 3, 0 = -5*x for s.
-1
Suppose -40*i + 37 + 43 = 0. Solve -i*l = 5*b + 4 - 0, -11 = -5*l - 2*b for l.
3
Let y(x) = -x**2 + 24*x - 140. Let q be y(11). Solve -4*i = 5*o + 18, 7*i + 10 = q*i - o for i.
-2
Let a = 16 + -15. Let h be -3 - (-8 - (-2 - -1)/a). Solve -3*g + 4*s - 11 = 0, -5*g + h*s - 18 + 5 = 0 for g.
-1
Suppose -2*v + 6*v = l + 23, 0 = -2*v + 6. Let j(a) = a + 7. Let y be j(l). Let n be (-73)/y - 10/40. Solve f = -4*u - n, 2*f + 5*u = -f - 26 for f.
-2
Let s = -3 + 2. Let x be -2 - (16/4)/s. Solve x*v - 12 = -5*i + 4*v, -4*v + 28 = 3*i for i.
4
Let r be -73 + 3 - (-2 - -2). Let x be r*(-6)/45*-3. Let g = -24 - x. Solve 2*b = -i + 3*i, -b = g*i + 25 for i.
-5
Let u(c) = -4*c**3 - 12*c - 12. Let y be u(-1). Solve -30 = -5*z - 5*x, -4*x - x + 25 = y*z for z.
5
Let s be ((-480)/(-72))/((-10)/(-24)). Solve s = 3*b + 2*x, -b + 3*x + 2*x = 23 for b.
2
Suppose 8*j - 94 = -39*j. Solve -5*k = 3*m + 21, 0*m - 4*m = -2*k + j for m.
-2
Suppose -2*s - 3*c - 132 = -0*s, -2*c + 4 = 0. Let i = s - -74. Suppose 2 = -3*d + 2*f + 60, d - 1 = -3*f. Solve -i*g - 3*w = -2*w + d, 3*g + w + 10 = 0 for g.
-3
Suppose -4*y + 7 = -9. Suppose -6 = -4*l + j + 4, 0 = y*l + j - 6. Solve u - 2*i = 0, -l*i + 7*i = 4*u - 6 for u.
4
Let x be (-33)/(-9) - (-8)/24. Solve -g - 3 = -a - 2, 28 = -x*g - 4*a for g.
-4
Let r = -1185 + 1189. Solve -3*k = 3*d - 6*d + 9, -d = -r*k - 9 for k.
-2
Let w(y) = 8*y + 2. Let f be w(-4). Let d = f - -33. Solve -4*h = -5*v - 33, 1 = -d*h + v + 12 for h.
2
Suppose -4*f = -5*b + 2, -3*f + 16 = 2*f + 3*b. Solve -4*s = -3*s - 5*n + 25, -f*s - n = -5 for s.
0
Let w(c) = -2*c + 55. Let n be w(27). Solve -5*x - 4*q - 13 = 0, x = -4*q + 6 + n for x.
-5
Let f = -469 - -474. Solve h - 5 = -f*j + 19, 3*j = 3*h for j.
4
Let s be (-10)/4*12/(-15). Suppose 3*c - s*c = 5. Suppose 4*v - 4*x - 28 = 0, 5*x = -2*v + 4*x + c. Solve -2*d - 4*w - 1 = 3, 3*d + 4*w = -v for d.
0
Suppose 6*i = 4*i + 20*i. Let c = -2 - -2. Suppose -2*o + z + 3 = 0, c = o + o - 2*z - 6. Solve -3*s + i*w = 3*w, -2*s - w - 3 = o for s.
-3
Let j(y) = 2*y**3 - y**2 + y - 19. Let q be j(0). Let c = 23 + q. Solve -z = -c*t - 18, -z + 1 + 1 = 0 for t.
-4
Suppose -5*a + 45 = 2*m, -m + 30 = -0*m + 4*a. Let q be 98/m + 9/45. Let w be -7*q/(-5) + -3. Solve 5*d + w + 1 = -3*j, 5*j - d + 20 = 0 for j.
-4
Let v be ((-5)/(-2))/((-3)/(-6)). Let t(n) = n**2 - 3*n - 5. Let f be t(v). Solve 5*h + 25 = 0, -2*j + f*h + 25 = 3*j for j.
0
Let f = -266 + 288. Solve 2*i = 5*b - 9 + f, 4*i = -4*b + 12 for i.
4
Suppose 2*a - 14 = -s, -3*s - 4*a - 2 = -9*a. Suppose 0 = s*v + 9*v - 375. Solve 5*h - v = -5*r, 0 = -4*h + r + 2 + 13 for h.
4
Let o be -9*(-12)/((-1080)/(-50)). Let w be 2/(-7) - 164/14. Let z be 3/w + 2/8. Solve z = -b + o*j + 4, 0 = -j - j - 2 for b.
-1
Let p = 1 - -6. Suppose 0 = -3*u - p + 22. Solve -4*c = u*s - 41, 5*c = -0*s + 2*s + 10 for c.
4
Suppose 4*j - y - y = 46, 3 = -3*y. Suppose 0 = 14*t - j*t. Let b be (t - -3) + -6 + 3. Solve 0 = -4*l - 3*d - b + 17, 4*l + d = 19 for l.
5
Suppose 0 = -14*n + 33 + 23. Solve n*u = -z - 9, 0 = 2*u - 3*u - z for u.
-3
Suppose 3*v + q = -v + 9, -4 = -v - 2*q. Solve 0 = -5*p + 3*x - 4, p + 5*x + 16 = -v*p for p.
-2
Suppose 0*v + 3*v - 43 = 5*s, -2*v = -2. Let x = s + 11. Suppose 0 = -2*p + x*p - 2. Solve i - 25 = -4*q, p*q + 15 = -3*i + 8*i for q.
5
Suppose -21*d + 27*d = 144. Solve -7*f - 20 = -10*f + 2*i, f = 5*i + d for f.
4
Suppose u - 6*u = 5*y - 440, 3*u - y = 248. Suppose -z - u = -5*z. Solve 0 = -3*j - 5*g + 23, -2*j - z = -3*j - 5*g for j.
1
Suppose 340 = o + 337. Solve 4*h - l = 6 + 8, 6 = o*h - 3*l for h.
4
Suppose -4*s - 44 = -4*c, 2*s + 32 = 3*c - 0*s. Suppose -3 + 13 = -5*a. Let g be a/8 + (-13)/(-4). Solve 5*p - 6 = -3*q + 6, -g*p + c = -q for q.
-1
Suppose -16*p + 12*p = 64. Let x = 20 + p. Solve -3*s - 2*s = -x*g + 25, 20 = -4*s for g.
0
Let z(g) = 2*g + 24. Let i be z(-14). Let f = i + 4. Suppose f = -5*s + 4*t + 45 - 18, -2*s + 2*t + 10 = 0. Solve -2*v - 17 + s = -2*q, 8 = 4*q for v.
-3
Suppose 28*m - 23*m - 3*y - 40 = 0, -3*m - 4*y = 5. Let w = -7 + 17. Let u(b) = -b**2 + 9*b + 14. Let a be u(w). Solve -m*i - 5*h + 7 = -8, a*h - 17 = i for i.
-1
Let s be 8*(-2)/(-12) - (-11)/3. Let o be (18/3)/(12/8). Solve 2*t - o*i = 24, t - s*i = -2*i + 16 for t.
4
Suppose 3*x + 2*x - 5 = 5*a, 2*a + 3*x = 23. Solve 0*y - 20 = -a*y - 4*s, 14 = 4*y + 2*s for y.
2
Suppose 306 - 71 = -5*i. Let u = 52 + i. Solve r = 0, -u*v + 24 = -3*r + 9 for v.
3
Let w be 7 + 13/((-65)/10) - -5. Suppose 2*y + 2 = 0, 2*f + 6*y - y = 5. Suppose 10*g = f*g + 10. Solve 7*j + k - w = 2*j, 0 = -j - k - g for j.
3
Suppose -t = -5*u + 137, -5*u + 7*t = 4*t - 131. Suppose -2*y - 6 = 0, -3*v - y = -8*v + u. Solve -f - 19 - 4 = v*c, -2*f - c = 10 for f.
-3
Suppose -2*o = -4*o - 18. Let t(s) = 7*s + 65. Let r be t(o). Solve -3*h - 21 = -3*m - r*m, -m = 4*h + 5 for h.
-2
Let t be -4*((-70)/(-50) + (-6)/(-10)). Let h(o) = -o**3 - 9*o**2 - 12*o - 26