- 2 for k.
1
Let u be -2*(-92)/104 + 24/104. Solve 60*i - 55*i - 24 = 2*s, 2*s - 4 = -u*i for s.
-2
Let s(n) = 2*n**2 - 4*n - 4. Let t be s(3). Let o(u) = -2*u + t*u + 2 + 74*u**2 - 73*u**2. Let j be o(-2). Solve 5*g - 2 = -4*w - j, -2*w - 2 = 0 for g.
0
Let j be (-1)/(3/27*-3). Let y(l) = -2 + 2 - 6 - l + 4*l. Let w be y(j). Solve -3*d = w*u + 24, d = -d - 10 for u.
-3
Let p be ((-52)/130)/(4/(-40)). Solve 0 = -r + p, 2*c + 9 + 13 = 5*r for c.
-1
Let y = 54 - 26. Let r(w) = 1716 + w**3 - 882 - 2*w - 8*w**2 + 38*w**2 - 892. Let u be r(-30). Solve -3*z - 14 = 2*q, -2*z - y = u*z + 5*q for z.
-2
Suppose -7*b = 4*b - 26*b + 9*b. Solve 4*c + 12 = 2*h, -5*h + 3*c + 12 - 3 = b for h.
0
Suppose -4*m = -3*m + 10. Suppose -14 = 8*s - 6. Let c be 6/s*(2 - m/(-4)). Solve 3*l = 0, -2*p - l = -c*l + 6 for p.
-3
Let z(p) = 36*p + 686. Let x be z(-19). Solve 4*d + d + k + 26 = 0, -x*k = -2*d + 4 for d.
-4
Let g be 72/(-9) - -13 - 1. Solve -z = -r + 2, 7*z - 9*z - 5*r = g for z.
-2
Suppose k - z = 63, -2*k + 133 - 28 = 5*z. Suppose 10*p - k = 5*p. Suppose 6*c = -0 + p. Solve -t + m + c = 5*m, 5*t - 10 = -2*m for t.
2
Suppose 11 - 3 = 2*w - 2*l, 5*w - 90 = -5*l. Solve 0 = -4*a + 8, -2*f + 13*a = w*a - 2 for f.
3
Let g(z) = z + 5. Let b be g(-8). Let d(h) = 3*h + 10. Let k be d(b). Solve -16 = v - 4*y, -4*v + y + k = -2*y for v.
4
Let o = -4079 - -4082. Solve o*g + 14 = c, -c + 4*g = c - 18 for c.
-1
Let m = 13 + -10. Let g be (0 + 2 - -1)/(2 - m). Let o = -3 - g. Solve o = x + x - q, 3*q = -x - 7 for x.
-1
Let u(t) = t**3 - 9*t**2 - 34*t - 13. Let q be u(12). Suppose -8*w = 3*w - q. Let p = 11 + -7. Solve -p = -5*l + w, -6 = m - 5*l for m.
-1
Suppose 959*m - 958*m = -2*r + 7, -10 = -5*r. Solve 3*n = 10*y - 11*y - 1, y - m*n = 11 for y.
5
Let j = 21334 - 21332. Solve m = j*p + 4, -6 = 4*m + 643*p - 640*p for m.
0
Suppose -m = 52 - 171. Let u = m - 115. Solve 0 = -4*h - u*y + 20, 0 = 3*h - 5*y + 5 + 12 for h.
1
Let w(l) = -2*l**2 + 11*l + 13. Let c be w(7). Let z be -6 - 2/(c/36). Solve 14 = 5*d - 4*m - 9, -z*d - 3*m = -3 for d.
3
Suppose -146*f + 209 = -11*f - 466. Solve f*w = -k, -19*w + 11 = -15*w + 3*k for w.
-1
Let g be (86 - 134)/((-3)/2). Solve 3*v - m + 18 = 0, 0 = -5*v + 5*m - g - 8 for v.
-5
Let p(i) = -15*i**2 - 51*i - 32. Let y(k) = 3*k**2 + 10*k + 6. Let u(o) = 2*p(o) + 11*y(o). Let n be u(-3). Solve n*b = 5*g - 30, 3*b = g - 4 - 4 for g.
5
Let y(p) = -p**3 - 7*p**2 + 94*p + 32. Let s be y(7). Let g = 3 - -1. Suppose 0*i - 5*i + 80 = 0. Solve 3*h - 1 + i = 3*m, -20 = s*m + g*h for m.
0
Let x be (-1085)/5*(-12)/14. Let n be x/24 - (-1)/4. Let l(v) = v**3 + 30*v**2 - 2*v - 59. Let u be l(-30). Solve -2*r = 3*t + u, -n = 4*r - 3*r + 4*t for r.
4
Let q = 2 - -3. Suppose -2*w + 238 = -2*t, 485 = -6*t + 2*t - q*w. Let b be ((-4)/10)/(9/t)*3. Solve 0*f = 3*f - c - 14, 0 = 4*f - 4*c - b for f.
5
Let m = 20 - 54. Suppose -5*f + 246 - 286 = 0. Let q be m/f - 6/(-8). Solve -b = -q*b + 3*h - 17, -11 = 3*b - 4*h for b.
-5
Let w be 1 + (3 - 4/2). Let y be 12/(-22) - (1162/(-154) + 7). Let n = 5 + 0. Solve y = -w*r + t + n, 3*t - t = 10 for r.
5
Let a = -2 - -2. Suppose -18*l - 12*l = -11970. Let q = 402 - l. Solve 3*w - y - 2 = 8, 4*w - q*y - 5 = a for w.
5
Suppose 2*t + 32*f - 107 = 27*f, -4*t - 3*f + 165 = 0. Solve n - 22 + t = 2*x, n = -x + 1 for x.
5
Suppose 11*p = 5*o + 7*p - 6, 0 = 3*p - 3. Let z be o + ((-35)/7 - -6). Solve 3 = -z*v + 2*m + 1, 2*v - 3*m - 7 = 0 for v.
-4
Suppose -15 = -5*o - 10. Suppose -3*c - 1 = -o. Solve 5*a = -4*u + 2*a - 14, c = -4*u - 5*a - 18 for u.
-2
Let b be 780/135 - 6 - 1/(-9)*2. Solve 0 = -4*q + 2*i + 8, 5*q - i - 4 + b = 0 for q.
0
Let t(n) = 6*n + 50. Let r be t(-8). Suppose 4 = -4*j + 2*j. Let d be ((7 - 1) + j)/2. Solve b + 0*b + d*a - 1 = 0, -4 = 2*b - r*a for b.
-1
Let n = -50 + 54. Let a be 2/n*(6 + 1 - -3). Solve -3*s - 4*u + 5 = -5*u, -5*s = -a*u - 15 for s.
1
Let v = -5078 + 5096. Solve -17*c + 3*p = -18*c + v, 0 = -3*c - 5*p + 34 for c.
3
Suppose -436*v + 809 + 499 = 0. Solve v*d + 4 = -7*i + 2, -d - i = -2 for d.
4
Let j be (-2)/9 + -12 + (-24096)/(-54). Let u = 436 - j. Solve 4*o + u*q + 28 = -2*q, -10 = 5*q for o.
-5
Let b = -260 + 259. Let o be (1 + b)/(2 + -4). Solve 2*w = 4, o = 2*r + 3*w + 3 - 15 for r.
3
Suppose 3*q - 259 = -253. Suppose -t = -5*m + 18, 2*t - 6*t = -q*m. Solve 5*j - 3*n = -m*n + 2, j - 3*n = -6 for j.
0
Let h be 5*1 + 10/(-5). Let g be -6*(0 + h/(-6)). Let a be (145/(-116))/(((-340)/48)/17). Solve a*f + l = 20 - g, -2*f + 8 = -l for f.
5
Let o be (43 - -51) + (-1)/(-1 - 0). Suppose 0 = -x + 5, -85 = -4*z - 4*x + o. Solve 5*h - 2*w = -5*w - z, 4*h = w - 15 for h.
-5
Let g(r) = -r**3 - 26*r**2 + 44*r - 329. Let y be g(-28). Solve -5*v - 3*m - 27 = 0, 0 = 5*v - y*v + 5*m + 14 for v.
-3
Let i be (1 - 4/6)/((-2)/30). Let v be 12/(-15)*i/(-2) + 10. Suppose -36 + 4 = -v*g. Solve -7*x + 15 = -2*x + 4*d, -g*x - 5*d = -21 for x.
-1
Let d be (21232/13270)/(3/(-5) - -1). Let u(n) = n**3 - n**2. Suppose 0 = -7*j + 2*j. Let t be u(j). Solve t = 5*m - 3*i - 6, m - 19 = -4*i - d for m.
3
Suppose -5*j = 5*h - 30, 0*j = 3*h + j - 12. Let f(w) = -65*w - 6. Let i be f(-1). Let l = i + -59. Solve 0*o - 20 = z - 3*o, l = h*z - 4*o + 35 for z.
-5
Let y(v) be the third derivative of 0*v - 1/30*v**5 - 1/3*v**3 + 12*v**2 - 1/12*v**4 + 0 + 1/120*v**6. Let m be y(3). Solve 1 = -a, 2*a - 3*a - m = 2*i for i.
0
Let z = -4269 + 4272. Solve -z*y + l - 10 = 2*y, 0 = -y - 5*l - 28 for y.
-3
Let n(r) = r + 6. Let k(o) = o. Let t be k(-2). Let j be n(t). Let h = j + 23. Solve -5*f + 10 - h = 4*s, 5*s + 4*f + 19 = 0 for s.
-3
Let o(t) = t**2 - 18*t + 10. Let s be 1990/110 - (-1)/(-11). Let a be o(s). Solve p - 15 = -4*l, 0*l = l - p - a for l.
5
Let z be (-2)/2*(-4 + 1). Suppose -3*k = 16*k + 6422. Let m = k - -340. Solve -3*i - 3*v = -i, -z*i + m*v = 13 for i.
-3
Suppose 100 = -302*c + 100. Solve c = -3*f + 4*d - 37 + 3, -5*d = -f - 26 for f.
-6
Let m(x) = -39*x + 236. Let p = 170 + -164. Let t be m(p). Solve -2*l + 2 = t*q, 4*q = q - 2*l + 4 for q.
2
Let r = 562 + -521. Suppose -18*p + 31 = -r. Solve 5*f - 2*c = -20, -f + 0*c = 4*c + p for f.
-4
Let b = -25 + 30. Suppose 0 = -2*l + l + 4. Suppose 2*r + 2*g = 10, -l*g + 15 = 4*r - g. Solve u + r*u = b*a - 7, 5*u - 3*a - 9 = 0 for u.
3
Let f be (-2 - (-8 + 1)) + 19. Let r be 6*(2/9)/(f/36). Solve -r*l - l = 12, 0 = -3*c + 3*l + 3 for c.
-3
Let p = -914 - -916. Let k = 58 + -53. Solve -3*h - p = -4*r + 6, k*h - 4*r = -16 for h.
-4
Let m be ((-19)/(-3))/(3 - (-176)/(-60)). Let v = -79 + m. Suppose -3*j = 0, 0 = 4*w + 5*j - 0*j - v. Solve -w*x + 2*k - 3 = 13, 0 = -4*k for x.
-4
Let g = 29605 - 29603. Solve 2*f - g = 8, 0 = -2*k + 5*f - 19 for k.
3
Let b = -20 - -20. Suppose b = -2*i + 5*s + 34, -4*i + 3*i + 16 = -2*s. Suppose 15 = 17*r - i*r. Solve -y = h - 3*h - 1, -r*h = y + 9 for y.
-3
Suppose 2*y = -4*l + 6*y - 1080, 2*y = -5*l - 1350. Let s = l + 273. Solve -s*f = -2*d - 2, 23 = 3*d + 2*f - 0*f for d.
5
Suppose 79*k - 4 = 75*k. Suppose -k - 37 = -19*v. Suppose -2*w + 11 = 2*g + 3, -3*g + v*w + 32 = 0. Solve -3*q - 5*t + 1 + 3 = 0, -q - 5*t + g = 0 for q.
-2
Let c(t) = -972*t + 4874. Let b be c(5). Solve -5 = -o, 27 = -4*a + o + b for a.
-2
Let u(b) = -b**2 - 14*b. Let h be u(-14). Solve h = -4*o - 4*i + 4, -9*o + 13*o - 2*i = 28 for o.
5
Let a be (28/(-70) + 9/(-15))*(1 - 1). Let w be 3/(-6) + 50/4. Let v be (w/18)/((-2)/(-12)). Solve -v*k - 22 = 3*y - 0*k, 5*y - k + 6 = a for y.
-2
Suppose 3636 = 350*w + 136. Solve 0 = -4*k - h + 8, 3*k - 21 = -w*h + 13*h for k.
3
Let z be 81/18 - ((-60)/(-24) - 2). Suppose 6 = 5*k - 4. Suppose 0 = 3*c - c + k*d, -d = -c + 10. Solve z*o - 19 = -7, -2*i + 17 = c*o for i.
1
Let a be -11 + -5 + (4 - 4). Let o be 8/a*(-7 + -1). Suppose -2*r = -4*k + 12, 0*r - 2*k = -o*r. Solve 3*s - 14 = n - 0*n, -r*s + 14 = -3*n for s.
4
Let v = 406 - 406. Let n be (-132)/14 + (-6)/(-14). Let z be ((-3)/9*1)/(1/n). Solve z*f = -5*q - 14, -4*f + q + 12 = -v for f.
2
Suppose -5*v + 7 = -2*i, 174*i - 176*i = -2*v - 2. Solve -3*g = -15, -3*t + 0*g = -i*g + 8 for t.
4
Let g(k) = k**2 + 23*k - 170. Let z be g(6). Solve -5*n + 2*w + 10 = 0, -5*n + z*n - 3*w = -19 for n.
4
Let n be -2*(-708)/(-8) - 4/1. Let y = -176 - n. Solve 0 = 3*u - 5*d + 3*d - 6, u + 15 = -y*