k - 9 for y.
-3
Let s = 47170 - 47167. Suppose -5*w = -20, -3*c - 21 = 3*w - 75. Solve s*i + 3*t + 2*t + 31 = 0, 4*t = 3*i - c for i.
-2
Let c be (-8 + 14 + 422)*(-2)/2. Let b = c - -433. Solve -b*z = -2*z - 15, q + 12 = 3*z for q.
3
Let z be (-11)/(-4) - (-1)/4*1. Let x(j) = -76*j + 697. Let d be x(9). Solve p = -z*c + d, 0 = p - 2*c - 3*c + 27 for p.
-2
Suppose -63 = -9*z - 3*v, -6*z - 5*v = -3*z - 33. Solve 5*j = -4*u + 27, z*u + 12 - 45 = -5*j for u.
3
Let r be (-2)/(-4)*(2 - 0). Suppose 0 = 2*d - 3*q - 15, 4*d - q + 0*q - 15 = 0. Let j be 9/(-2)*(-42)/63. Solve -d*n + 0 = -l - r, j*l - 5*n = -3 for l.
-1
Suppose -5*h + z + 4 = 0, -5*z - 49 + 29 = 5*h. Solve k = -x - h*x - 4, -4 = 4*k for x.
-3
Suppose 11*g = 14*g - 55*g. Solve -u + 3*p + 7 - 19 = g, 3*u + 5*p = 20 for u.
0
Let a be (((-3)/(-2))/(12/(-30)))/(12/(-16)). Solve 2*p + 12 = a*p + 3*x, 2*p - 14 = -4*x for p.
1
Let j be (((-28)/8)/7 + 0)*-2. Suppose -5*d - j = 9. Let z be (2 + -4 - d)/(-2). Solve 4*r + 15 = -z*r + 5*b, r = b - 4 for r.
-5
Suppose -81 + 27 = -18*i. Solve -i*u = 7*o - 5*o - 21, 16 = 5*u - 3*o for u.
5
Let u(c) = c**3 + 31*c**2 + 31*c + 32. Suppose -72 - 48 = 4*j. Let h be u(j). Solve -2*l - 3*m - 15 = -5*l, -h*m = 10 for l.
0
Let v = -1950 - -1956. Solve -f + 5*t = -10, -3*f + 12 = -3*t + v*t for f.
5
Suppose 5*y - y = 2*i - 26, -5*y + i = 34. Let w be (-63)/y*((-7)/3 + 2). Let a = 22 - w. Solve 0 = -5*m + 3*t + 19, -t = 4*m - a + 3 for m.
5
Let b(y) = 17*y + 93. Let n be b(-25). Let m = n + 337. Solve 5*w - 9 = 3*l, -4*w - 4 = 3*l + m for l.
-3
Suppose 843*s = 841*s + 36. Solve -5*w + 21 = -3*h + 7*h, -3*h = -3*w + s for h.
-1
Let a(t) = 35*t - t**3 + 2*t**2 + 25*t**2 + 3 - 85*t. Let o be a(25). Solve -3*u + o*x = 6*x - 3, 3*u = -2*x + 2 for u.
0
Let r(w) = w + 4. Let i be r(-3). Let z be (-260)/15*(i - 4). Let m = z + -48. Solve 3*n - 14 = 2*g, 0*g = 4*g + m*n - 12 for g.
-1
Let q(p) = p**2 - p + 14. Let r be q(-3). Suppose b - 4*o = -o + 7, -4*b - 5*o + 11 = 0. Suppose -1 = 2*l - 5. Solve 6*d - 16 = l*d, b*d = 5*h + r for h.
-2
Let v be (18/(-45))/2 + 152/10. Suppose 0 = 23*b + v - 107. Solve -2*i + 9 = -3*i - 3*u, b*i + 4*u = -4 for i.
3
Suppose -20*o = 833 - 913. Solve -14 = 2*v + 2*v + 2*n, -o*v - 17 = n for v.
-5
Suppose 236*h - 238*h = 4*v, 0 = 2*h + v - 6. Solve b + 7 = -9*d + h*d, -2*d = 5*b - 11 for d.
-2
Let o(b) = 201*b - 1002. Let n be o(5). Solve -6*g + 11*g + 17 = n*f, -2*g = -3*f + 5 for f.
-1
Suppose 27*r + 552 = 96*r. Let b be (-30)/5*2*1/(-4). Solve -4*x + 2*j = 0, -b*x = -r*x - 4*j for x.
0
Suppose h + 4*v - 28 = 0, -33*h = -36*h - 4*v + 60. Solve -4*c = -z + h, c - z = 2*c + 4 for c.
-4
Suppose 0 = 4*c + u - 779, 3*c - 429 = 3*u + 174. Solve -2*m - 2 = -2*d, -198 = -5*m - 2*d - c for m.
0
Let g(r) = -r + 3. Let l be g(-1). Suppose 76 + l = 5*b. Solve -4*x + 2*x = 5*d + 8, 0 = 2*d - 4*x - b for d.
0
Suppose -3*v - 348 = -483. Suppose -4*d = -3*g - v, -3*d - 12*g + 15 = -8*g. Solve -5*a + h + 2 = -d, -3*h - 3 = 0 for a.
2
Let i be 3/(55 + -50 - (0 - 66/(-15))). Solve 3*z + 4*m = -13 + 18, -i*m = -2*z - 12 for z.
-1
Suppose 2*x + 4 = -z, -5*z + 21*x - 23*x = -12. Suppose -z = 3*b - 4*b. Solve 5*y + 8 = -2*d, 5*d - d + 4*y = -b for d.
1
Let a(k) = 38*k**2 - 39*k**2 + 14*k + 24 + 7*k. Let n be a(22). Let c = 20 - 15. Solve -c*s + 3*y - 8 = -27, 2*s = -2*y - n for s.
2
Suppose -4*b - 143*h + 140*h + 29 = 0, 0 = -b + h + 2. Solve 2*c - b*g + 15 = 3*c, 9 = 3*c + 3*g for c.
0
Suppose 4*z + 30 = -2*j + 112, -j = -5*z + 85. Suppose -2*a - 10 = -2*b, 4*a + z + 5 = 5*b. Solve 3*o - 3*t = -o - b, -4*t = 4*o - 4 for o.
0
Let d be 0/(8/88 + 672/231). Let s = -17 + 10. Let q = 19 + s. Solve -5*c + 3 = -j, 4*j + c + q = -d for j.
-3
Suppose 17*s - 16*s + v = -2, -4*v = -4*s + 32. Solve 2*d + 2*z - 2 = 0, -z = s*z - 12 for d.
-2
Let u be (1/(-2))/((-1)/2). Let p be 4*u - (-7 - (-8 - 0)). Solve -r = -3*z - 2, 5*z - 9 = -p*r + 11 for z.
1
Let g be (-5)/(-6) + 4 - 9/(-54). Solve 2*c - 4 = 2*h, 20 = 5*c - 0*h + g*h for c.
3
Suppose -5*g + 47 + 103 = -5*u, -2*g - u = -60. Let t(c) = -186*c + 190. Let z be t(1). Solve -3*k - 7 = 5*o - g, -o = -z*k for k.
1
Let d be 400/55*(-1485)/(-270). Solve k = 2*l - 8, 0 = 37*k - d*k + 6 for l.
5
Let s = -3235 + 3232. Let g = -21 + 10. Let p be s/(-2 - 1) - g. Solve 0*v = -3*f - 2*v + p, -3*f + 2*v + 12 = 0 for f.
4
Suppose -23 = -2*m + 117. Let h(g) = -g**2 - 467*g - 5907. Let j be h(-13). Let p be 1/(j/(m/(-2))). Solve 0 = -4*y + 3*f - 3, -p = 3*y - 5*f - 2 for y.
0
Let j = -60 + 65. Let z = -15 + 38. Suppose -g - 3*g = -j*v - z, 0 = -g - 4*v - 10. Solve 2*w + 2 = -g*d + 8, -w + d = -5 for w.
4
Let r(u) = 22*u**2 - 639*u + 34. Let k be r(29). Solve k*d = 5*c, -d - 36*c + 40*c = 12 for d.
4
Let s(z) = z**2 - 28*z - 3049. Let n be s(71). Let h be ((-2)/1)/((-1)/2). Solve 2*d = 3*g - n, -6*g + 12 = -2*g - h*d for g.
-2
Suppose 3*d = -5*y + 9, 2 = -2*y - 5*d + d. Suppose -y - 74 = 11*a. Let w be (-9)/21 + (-101)/a. Solve 2*z - 4*t = w, 2*z - 13 = z + 5*t for z.
3
Let f be -2*4/12*-15. Suppose t - 3*s = -t + 16, 0 = -t + s + f. Suppose t = 2*n + 5*n. Solve 0*h - n*h - x + 5 = 0, 2*h - 6 = -2*x for h.
2
Let o(q) = q**2 - 6*q + 8. Let m be o(4). Suppose -g - k = -32, -4*k = -4 - m. Suppose -33*d + 10 = -g*d. Solve 5*x + u = -12, -3*x + 2*x - 12 = d*u for x.
-2
Suppose 7*p = 2*p + 65. Let z = -256 + 289. Suppose -21*h + z = 12. Solve 5*m - p = -4*v - 32, h = -v for m.
-3
Let q = 371 - 357. Suppose 2*f - 5*g = 0, -2*f + 4*f - q = -2*g. Solve 4*y - 1 = f*n, 5*n - 2 = -7 for y.
-1
Let t = 15 - 15. Let i(c) = -8*c + 10. Suppose n + l + 2 = 0, -3*n - 3*l = 2*n + 4. Let o be i(n). Solve t = -4*q, o = 3*m - 2*m + 5*q for m.
2
Let f be 200/25 - (-1 + 7) - -9. Solve 26 = -2*u - 4*d, -16*u + f = -13*u - 4*d for u.
-3
Let a be (-3 + 1)/(5/(-55)). Let i = a - 20. Suppose -4*c + i*m + 10 = -2, -5*m = 3*c + 4. Solve 4*o = 4*d - 8, -c*o + 4*d = o + 10 for o.
2
Suppose q + 133 - 166 = 2*y, 3*q + 2*y = 51. Solve -q*g + 22*g = -z - 3, -5*g - 15 = -3*z for z.
0
Let s be 4*(((-494)/(-4))/(-13) + 160/16). Let p(t) = 3*t - 4*t + 1 + 1 - t**2. Let o be p(-2). Solve -3*l = -f + 7, -s*l - l + 4*f + 8 = o for l.
-4
Let q = 1 + 1. Let l(d) = -q*d + 20 - d + 2*d. Let y be l(17). Solve -5*b - 7 - y = 4*f, f + 13 = 4*b for f.
-5
Let t = 6423 + -6422. Solve -5*a + 2*z - 14 - t = 0, -3*z + 10 = 5*a for a.
-1
Suppose 24 = 3*a + 3*y, -2*a - 3*y - y = -22. Let k(u) = u + 30. Let p be -1 + 7/5 + 48/5. Let d be k(p). Solve -5*c = -4*g + 13, d = -4*g - g - a*c for g.
-3
Let x(l) = -l**2 + 54*l - 719. Let a be x(25). Solve a*g + 6 = 8*g + 2*h, -g - 3*h + 5 = 0 for g.
2
Suppose -5*a - 2*l = 1, -26*a + 21*a = 13*l + 89. Solve -3*k + 27 = a*c, -38 = 2*k + c - 51 for k.
4
Suppose 0 = -n - 11*n + 96. Suppose 2*x + 12*h + 4 = n*h, -5*x + 1 = -h. Solve u + 11 = 2*z, x = -0*z + 2*z - 6 for u.
-5
Let k = 6 + -5. Let d(w) = w**3 + 20*w**2 + 46*w - 433. Let h be d(-15). Solve -h*x - k = 5*q, 23 = 5*x - 4*q + 9 for x.
2
Let m(i) = 61*i. Let l be m(4). Let n = 245 - l. Solve -2*d + 4 = 2*w, d + 3 + n = 5*w for w.
1
Suppose -11*o - 190 - 382 = 0. Let g = 55 + o. Let k(i) = i**3 + 5*i**2 - 7*i - 33. Let p be k(-5). Solve 2*j = -j, -3 = -g*f - p*j for f.
1
Let w(l) be the third derivative of -l**5/20 + l**4/6 - 5*l**3/3 + 10*l**2. Let s be w(4). Let a = s + 56. Solve -5 = 5*f - v - v, 0 = 2*f - 4*v - a for f.
-3
Suppose 327 = 18*o + 3. Suppose -o*i + 19*i - 2 = 0. Solve -t - 4 = -i*v + v, -4*v + 4 = 2*t for t.
-2
Let i = -328 + 694. Let n = 393 - i. Solve -5*s - 30 = 5*l, 4*l = -l - 2*s - n for l.
-5
Let g be 4 - 1 - (1 + (7 - 8))/3. Solve -3*h + g*s = 18, -s = -3*h - 36 + 28 for h.
-1
Suppose -m + 14 = -3*d, -6*m + 2*m + 3*d = -20. Suppose -13 + 1 = -3*f. Suppose f*x - 89 = -81. Solve 0 = 3*n - v - 10, -m*n - x*v = -20 for n.
5
Let v = 12537 - 12532. Solve 19 = 2*x - v*z, 3*x - 7*z = -2*z + 16 for x.
-3
Let s(h) = -2*h + 42. Let a be s(0). Let x = 78 - a. Let m = x - 33. Solve 4*k + 4 = -m*j, 4*j - 2*k - 2 = -0*k for j.
0
Suppose -2*v + 17 + 11 = -4*y, -2*v + 2*y = -16. Solve 3*h + 4*p = -14, 7*h - 4*p - 30 = v*h for h.
2
Suppose 37*s - 970 = 29*s - 89*s. Solve 5*u - 2*g + 10 = 0, 5*u + 3*g - 6*g = -s for u.
-2
Let s = 6 - -11. Suppose 19 + s = 3*p. Suppose 5*h - p = -h. Solve -u = -d