 - k. Solve -12 = -y*m - 3*a, 15 = -5*m + 4*a - 2*a for m.
-1
Let h = -29 + 52. Let w be h + 3/6*4. Suppose 2*l + 44*m - 19 = 43*m, 59 = 4*l - m. Solve 4*p - 3*p = 4*y - l, w = -5*p for y.
2
Let q(k) = -k**3 + 20*k**2 + 3*k + 28. Let p be q(21). Let c = p + 354. Solve 5*h + 11 = 3*w - 5, 0 = 4*h + 2*w + c for h.
-2
Let y be -1*1*2*16/(-8). Solve y*o = -2*p + 2, -5*p - 4*o = -2 - 15 for p.
5
Let t = 66 - 73. Let k be (-7)/(245/(-195)) + 4/t. Solve -o - 5*l = -0*l - 5, -23 = k*o + l for o.
-5
Let u = -47 + 53. Suppose 0 = -3*f - u*f - 63. Let y = 7 + f. Solve m - 5 = y, -o = o + 3*m - 5 for o.
-5
Let s(b) = 9*b**2 - 207*b + 204. Let n be s(22). Solve -5 = -k - 5*z, 3*z + 3 + n = -3*k for k.
-5
Suppose 376*y + 369 - 554 = 567. Solve -2*h = 4*b + y, 5*b + 4*h - 70 = -65 for b.
-3
Suppose 11*p - 41 + 19 = 0. Solve 0 = v - 3*g + 6*g - 2, p*v + 5*g = 2 for v.
-4
Suppose 2*f - 3 = 11. Let d = 198070 + -198065. Solve -6*y = o - y + f, d*o + 8 = 2*y for o.
-2
Let a be (-28)/10 + 3 - (-13)/(-65). Solve a = -4*l + b - 12, -4 = 4*l + b + 8 for l.
-3
Suppose k + 7 = 4*s + 16, k - 2*s = 5. Suppose -3*v + 20 = 8. Suppose 3*g = 5*b - 9, -v*g + 2*b + 5 = 3. Solve -6 = c - 3*d, c + k = -g*d - 0 for c.
-3
Suppose 4*d = 3*d. Suppose -3*j + 5*x = -30, 2*j + d*j - 13 = x. Let w = 24 + -19. Solve -5*v + v - s + j = 0, 5*s - 25 = w*v for v.
0
Let a(p) = 109 + 74 + 9*p - p**2 + 37 - 3*p**2 + 3*p**2. Let u be a(-11). Solve 0 = 2*n + 3*j - 4, -5*n - 4*j + 2*j - 1 = u for n.
-1
Let l(u) = -26*u - 329*u**2 + u**3 - 308*u**2 + 662*u**2 + 2. Let j be l(-26). Solve -5*x - 5 = -j*b, 0 = 3*b - 4*x - 5 + 8 for b.
-5
Let h = 23 + -9. Let u(n) = -2*n**3 - 6*n**2 - 7*n - 5. Let t be u(-3). Let d = t - h. Solve 4*f + b + 5 = 0, -d*f + 7*f + 3 = 2*b for f.
-1
Let z be 5968/15 - 21*(-40)/6300. Solve z*r = 394*r - 5*s + 16, -5*s + 8 = 2*r for r.
4
Let b = 4 + 2. Suppose -v = 5*v - 96. Suppose 0 = -4*c + 5*z - 1 + 3, -2*c - 5*z + v = 0. Solve -c*a = -l - 0*a + b, 12 = -5*l + a for l.
-3
Let o(k) = -3*k**3 - k**2 + 24*k + 24. Let u be o(-1). Let j be 910/126 + 2*u/(-18). Solve 5*n + j = -8, -5*a - 7 = 4*n for a.
1
Suppose -3*q = -p + 40, 2*q = -2*p + 23 - 63. Let y(o) = o**2 + 11*o - 57. Let j be y(q). Solve 0*z = -z + j, -4*f + 31 = 5*z for f.
4
Suppose -3*v + 20 = -8*v, 0 = 5*w - 5*v + 1575. Let j = 342 + w. Solve -5*b + 5*u = -2*b + 11, 5*b = -2*u + j for b.
3
Let j(m) = m**2 + 22*m + 4. Let t = 63 + -49. Suppose 0 = -13*i + t*i + 22. Let y be j(i). Solve 2*v - v + 25 = -4*f, -20 = y*v for f.
-5
Suppose -24*p + 15 + 33 = 0. Suppose 2*v = p*q + 4, 4*q + 8 = 2*v - 0. Solve 4*m - 6 = 2*c, m - 3*m + 4 = v for c.
1
Suppose 31 = 12*l + 7. Let j = -9 - -9. Suppose -f + j = -l. Solve -2*n - 2*h + 20 = -6*n, -2*n - 4 = f*h for n.
-4
Let j be 13*(-132)/(-156) - 8. Solve 11 = 4*h + j*n, -22*n = -25*n - 9 for h.
5
Suppose 0 = -3*r - 5*z + 112, -3*r = -2*z - 13 - 85. Solve 5*m + 72 - 32 = -5*v, 0 = -5*m - 4*v - r for m.
-2
Suppose -m - 36 = -c + 24, 3*c + 3*m - 192 = 0. Suppose 63*j + 55 = c*j. Let n be 6*(-11)/j*(-10)/(-3). Solve -2*o = 3*g + 25 - 6, n*o + g + 23 = 0 for o.
-5
Let l(v) = 28*v**2 - 506*v + 38. Let j be l(18). Solve 28 = -j*u - 3*w + 8, 0 = -3*u - 2*w - 20 for u.
-4
Suppose -2*j - s = 3, -5*j + 4*s + 0 + 12 = 0. Let q = 4 + j. Suppose 5*n - 12 = -n. Solve -q*l + 5*b + 31 = 0, 0 = -n*l + 4*l - 4*b - 20 for l.
4
Suppose 5*j - 5*t = -53 - 97, 5*t + 81 = -2*j. Let n = -29 - j. Let c be (-2)/7*(-8 - -1). Solve 5*i - i + n = 0, -4 = -c*p - 4*i for p.
4
Let c = 1227 - 686. Let j = c + -539. Solve 2*w = -l - 3*w + 6, 5*l + 16 = -j*w for l.
-4
Let s = 2872 + -2868. Solve -4*k + 13 = -4*i + 5, -2*k + 4*i + s = 0 for k.
2
Suppose 20 = 3*r - 16. Suppose r*j - 11*j = 2. Solve -5*a + 4*a - 5*g - 1 = 0, -2*g + 2 = -j*a for a.
-1
Let p(g) = -124*g + 10295. Let b be p(83). Solve -b*n = -2*v - 14, 2*v + 15 = n + 5 for n.
2
Let t(u) = -4*u**3 - u**2 + 3*u - 1. Let w be t(1). Let d be (2 + (-9 - w))*(-9)/12. Solve -d*m = 3*f - 6 - 6, -3*m - 2 = -4*f for f.
2
Let t(m) = 5*m + 7. Let r be t(-2). Let u(g) = -g**3 - 3*g**2 + 7*g + 24. Let v be u(r). Solve 2*y + 5 = 6*j - v*j, -5*y = 5*j for j.
1
Let q(v) = -v**2 - 12*v - 15. Let t(w) = w**3 + w - 6. Let k be t(-3). Let r = 26 + k. Let m be q(r). Solve 4*l = m*b - 5, l + l = -4*b + 30 for l.
5
Let o be ((-6)/(-26))/(2/26). Suppose 0 = -4*m - 4*v - 8, 2*v - 4 = 4*v. Solve -o*j + 4*n + 7 = 0, -4*n = -m*j + 4*j for j.
1
Let f(k) be the second derivative of -k**3/6 + 30*k - 1. Let b be f(-2). Solve b*u - 2 = -2*d - 0, -d - 8 = 4*u for u.
-3
Let r(k) = -4*k**3 + 73*k**2 - 20*k + 53. Let h be r(18). Solve 15 = -2*y - m, 5*y + m + h = -13 for y.
-5
Suppose 7*n - 36 - 20 = 0. Let i be 2 + n + -1 + -4 + -1. Let f(o) = -o**3 - 6*o**2 - 6*o - 1. Let s be f(-5). Solve -i*w + s*v - 5 = v, -5*w - 5 = -5*v for w.
-2
Let p be -4*(4/16*-4)/1. Let a be 50/2 - (-3 - -6). Let g(h) = 2*h + 1. Let u be g(1). Solve u*w - p*q - q = a, 4*q = -8 for w.
4
Suppose -8*w - 544 = -7544. Suppose 0 = -9*f - w + 902. Solve f*j + 5*x + 13 = 0, -2*x - 23 - 7 = -5*j for j.
4
Let p(z) = -z**3 - 3*z**2 + 5*z + 4. Let i be p(-7). Let r = i + -165. Solve -u - v = u, -2*v = r for u.
0
Let x = 13108 + -13104. Solve -x*u - 4*y = 0, -149 = 4*u + 2*y - 147 for u.
-1
Let a be 4/(-6) + (-56)/(-21). Suppose -a*d - 10 = 0, -5 = -2*l - 4*d - 15. Suppose -2*x + x = l*g, 4 = -2*g. Solve 5*s = 4*z - x - 4, s + 3*z = 1 for s.
-2
Suppose 0 = -2*g + 2*l + 22, 4*g - 64 + 38 = l. Solve -8*y = -6*y - g*b + 25, -2*b = 2*y - 10 for y.
0
Suppose 16*g = 19*g - 30. Suppose -x + r = -g + 2, 2 = -r. Solve -n = -w - x, 4*w + 4*n + 21 = 5*n for w.
-5
Let h(x) = -6*x**2 + 48*x + 58. Let a be h(9). Solve 0 = 5*p - a*u - 4, -4*u = 2*p + 12 + 20 for p.
-4
Let k be 1/((-2)/4*-2). Let x(o) be the second derivative of o**5/4 + o**4/12 - o**2/2 - 7262*o. Let m be x(k). Solve 5*q = -m*t - 0 - 5, 2*t + 5*q = -8 for t.
1
Let n be 2/((-254)/(-328) - 30/40). Suppose -10*h = -358 - n. Suppose 40*w + 20 = h*w. Solve 4*k + 3*u + 19 = 0, w = -k - 0*k - u for k.
-4
Suppose -19*m - 246*m + 7664 = 214*m. Suppose 0 = 4*z - 34 + 2. Solve -2*x - 2*g + m = 0, -3*g + z - 2 = -3*x for x.
3
Suppose -47*m + 25 = 3*u - 43*m, 5*u - 4*m = 63. Solve -17 = -w + 5*i - 31, -2*w + u = 3*i for w.
1
Let h = 724 - 714. Suppose -h*w = -41*w + 186. Solve 3*p - w = 0, -p - p = 2*l + 6 for l.
-5
Let r = 3954 - 3950. Let b be 0 + (0 - 3) + 8. Solve -37 = -3*m - 5*j, r*m + 19 = b*m + 3*j for m.
4
Suppose 10*g - 4*x = 7*g + 23, 2*g = 3*x + 15. Let o = 5 - 1. Suppose q + g = o*q. Solve -3*b = 3*w - b + q, -4*w - 3*b - 5 = 0 for w.
1
Let x = -202 + 228. Let z be (-9)/(-2) - (-13)/x. Solve 3*v + 2*v = 3*u - 9, -z = v + u for v.
-3
Let r be (18/(-7) + 2)/(3417/119 + -29). Solve -r*m = n + 3, -2*n + 10 = -5*m - 2 for n.
1
Let x be 11/33*(-24)/(-4) + -1. Solve -6*m + 0*m = -5*c - x, -17 = 5*c - 2*m for c.
-5
Suppose -4*u + 21 = -k - 23, u - k = 8. Solve -u*q = -15*q + 5*v + 5, 5*v - 35 = -5*q for q.
5
Suppose -10 = -174*j + 171*j + 4*s, 8 = 3*j - 2*s. Solve -5*p = -p + 20, -j*p = 5*a - 10 for a.
4
Let a = 1648 - 1641. Solve 5*m - 2*b = -b - 9, b + a = -3*m for m.
-2
Let v = -3775 + 3779. Solve -4*u = -v*z, -4*z + u - 14 = 4*u for z.
-2
Suppose b = 2*p - 15 + 12, 6 = 2*p. Let m(s) be the second derivative of s**3/6 - 3*s**2/2 - 2*s. Let n be m(b). Solve n = 4*o + 20, 2*w = 6*w - 2*o - 18 for w.
2
Suppose u - 159 = 5*r - 269, 4*r - 11*u = 37. Solve 4*p = 4*m, -28*m + r*m + 3*p = 10 for m.
-5
Let w = 407 + -408. Let l be (0/w - 3) + 9 + -1. Solve l*q = 3*j - 0*q - 40, -4*j + 25 = -q for j.
5
Let r = 400 - 340. Suppose -23*z + r = -11*z. Solve -z*l + 0*l = -4*o - 27, 0 = 3*l - 5*o - 24 for l.
3
Let q(j) = j**3 - 5*j**2 + j + 8. Let t be q(6). Let m = t + -51. Let s be (-10)/m - (-5 + 3). Solve 0 = -4*o - 2*c + 16, -3*c = 3*o - 2*c - s for o.
4
Suppose w + 759 = 763. Suppose 0 = 13*q - 15*q + w. Solve 0 = 5*o - l + 13, -3*l + 13 = -0*o - q*o for o.
-2
Let f = 3791 + -3785. Suppose 13 - 37 = 3*w. Let z = w + 14. Solve 22 = 5*u - 3*v, -2*v + f*v = -5*u - z for u.
2
Let w = 71 + -71. Let v(d) = d**3 - d**2 - d + 5. Let p be v(w). Solve 3 = p*t + 2*f + 1, -2*f = 3*t + 2 for t.
2
Let y(i) = -11*i + 73. Let q be y(0). Suppose 6*d - 47 = q. Solve 4*h = -0*z + 4*z + d, 5*h + 5*z = -