or y.
-2
Let r(y) = 42*y + 929. Let j be r(-22). Solve 0 = 5*v + 3*u + j, 3*v - v + 5*u + 21 = 0 for v.
2
Suppose -y + 42 - 37 = 0. Let i be y/(-2)*288/(-45). Suppose -i = -4*m - 4. Solve 3*r - 2*q = m, r - 3*q = 5 - 11 for r.
3
Let i = -6151 - -6154. Solve 3*m = -i*y + 6, 15*y = 2*m + 16*y - 1 for m.
-1
Let g = -454 + 453. Let w be (3/(18/2))/(g/(-15)). Solve -a - 6 = 7*o - 3*o, a - w*o - 12 = 0 for a.
2
Suppose 0 = 2*c - 7 + 3. Let w be 28/(-6) + 4 - (8 - (-105)/(-9)). Suppose w*d = d + c. Solve a - z = 3*z + 1, -a = 5*z - d for a.
1
Let q be 6*10*((-60)/330)/(28/(-77)). Solve 9 = 5*m + 2*j, -13*j + 18*j = 5*m - q for m.
3
Let b(h) = 3*h**2 + h - 2. Let u be b(1). Let t be (u + 60/(-27))*-9. Solve -23 = g - 4*d, -10 = 2*g - t*d + 6 for g.
-3
Let g be -1 - (4 - 4) - 137. Let t = 141 + g. Solve -8*u - 27 = -t*u - m, 0 = 5*m - 10 for u.
-5
Let n(t) be the first derivative of -t**3/3 - 9*t**2/2 - 4*t + 1. Let h be n(-8). Let u be 9/((-18)/24*-6). Solve -2*q - 1 = d - u, -h*d = -4*q - 28 for d.
5
Let g = -23306 - -23318. Solve -25 = 7*l - g*l, -t = l for t.
-5
Suppose 0*a - 152 = -2*a. Let x = a - 73. Solve 0 = j + x*b - 0*b - 3, 2 = b for j.
-3
Let l be (-2)/((-1)/(5 - 1)). Let z be -35*(390/(-50) - -8). Let r(k) = k**2 + 3*k - 24. Let a be r(z). Solve -a*b = -4*t - l, 3*t + t - 2 = -b for b.
2
Let h(d) = -64*d + 1668. Let c be h(26). Solve -2*b + x - 7 = c, 12 = -3*b - 3*x for b.
-5
Suppose 5*n - s + 41 = 59, -2*s - 8 = -3*n. Solve -13*a - 7 = 2*g - 8*a, 0 = -5*g - n*a + 8 for g.
4
Suppose 96*i = 247*i. Solve 5*s = 3*c - 4, i = -53*s + 48*s + 5 for c.
3
Suppose 253 = t - b, 0*t + 3*b = 4*t - 1010. Let v = -222 + t. Solve 3*j = -r - r + 21, v = 3*r + 4*j for r.
3
Suppose 18 - 218 = -8*k. Let o be (-40)/(-6)*69/92. Solve -4*c + k = o*j, -3*j - 2*c + 0 = -15 for j.
5
Suppose 19 = -3*g + 24 + 82. Solve k + y - g = -4*y, 5*k = 2*y + 10 for k.
4
Let s(z) be the first derivative of 2*z**3/3 + 8*z - 25. Let u be s(0). Suppose 13*j - u*j = 50. Solve 2*p + 2*l = j, -2*l = 1 - 5 for p.
3
Let o be -2 + -2 + 116/8 + 30/20. Solve -3*k = o, -20 = 2*a - 54*k + 57*k for a.
-4
Let v(q) = 12*q - 160. Let a be v(16). Suppose 2*w = 5*k + 42, -6 - a = -3*w - 5*k. Solve -2*m - 2*m - w = -2*i, 3*i = -5*m - 9 for i.
2
Let d = 349 + -259. Suppose -88*r - 6 = -d*r. Solve -5*f - r*p = -40, 0*p - 20 = -4*p for f.
5
Let p = 172 - 156. Suppose -p*z - 2 = -2. Solve -5*n - 15 = -5*u - z, -n + 3 = -4*u for n.
-5
Let w = 3 - -19. Let q = -445 + 355. Let g be (-27)/((q/(-80))/((-3)/4)). Solve 3*b = 2*z - g, 2*b = 6*b - 2*z + w for b.
-4
Let j = 0 - -4. Suppose -2*b - 19 = -4*y - 3*b, -y + j*b - 8 = 0. Suppose 3*g + 4 = w + 2, -y*w + 8 = 2*g. Solve 0 = -2*a + 4*h + 2, 3*a + w*h = -0*h + 3 for a.
1
Let m(b) = -3*b**2 - b - 4. Let n be ((-8)/4)/((-2)/3) + -6. Let u be m(n). Let t = -12 - u. Solve -5*l - 4*r + t = -3*l, -3*l + 12 = 2*r for l.
2
Suppose -3*x + 34 + 602 = 0. Let n be ((-3)/(-4))/(7 + x/(-32)). Solve -q - n = s, -2*s + 6 = s for q.
-4
Let a be 4 - (-20)/(-3)*(-21)/(-14) - -6. Solve a = -17*z + 13*z - q + 4, 2*z - 2 = -2*q for z.
1
Let p(o) = -3*o**3 + o**2 - 3*o + 3. Let t(a) = a**3 - a + 1. Let s(l) = -p(l) + t(l). Let d be s(1). Solve d*g = -2*z + 11 + 11, 5*z - 33 = -2*g for z.
5
Let a be 1/(-3)*(2 + -11). Let f = 103 + -340. Let v = 239 + f. Solve -5 = -5*l, 0*d + a*d + 4*l = -v for d.
-2
Let r be 7*(24 + (-4428)/189). Solve 5*a = 2*h + 11 + 7, -4*h - 8 = r*a for h.
-4
Let x(o) be the second derivative of o**5/20 - o**4/12 - 5*o**3/6 + 9*o**2/2 + 35*o. Let y be x(2). Solve -2 = -n, -y*b = b - n - 14 for b.
4
Let j(y) = 9*y**2 - y. Let k be j(-1). Suppose -g = -3*g + k. Let t be 65/(-3)*12*(-6)/60. Solve 5*m = -5*s - 0*m - 10, -3*m + t = -g*s for s.
-4
Suppose -2*h - 4*w = -56, -77 = -3*h - h - w. Let i = -30 - -28. Let p = h - i. Solve m + 2*y + 5 = 0, -5*m + 2*y = p - 7 for m.
-3
Suppose 171 + 189 = 6*f. Suppose 10*n = -10 + f. Solve g + n = -2*z, 2*g - g = -5*z - 20 for g.
5
Let f be (3/5)/((-6)/(-90)). Let z be (-26)/(-52) - f/(-2). Solve -4*q - 3*x = 27, -x = z*q + 4*x + 40 for q.
-3
Let u(k) = k**3 + 9*k**2 + 13*k + 3. Let m be u(-5). Solve -1 = 3*t + 42*s - m*s, -2*t = -5*s - 7 for t.
1
Suppose 6*s - 12*s = w - 8, -w + s + 1 = 0. Solve 2*n + 8 = w*p + 26, 5*n - 10 = 0 for p.
-7
Suppose 0 = 7*m - 2*m + 5*x - 40, 104 = 4*m - 5*x. Suppose -2*k + 18 = -2*d, 15 = -3*d - 4*k - 12. Let h = 13 + d. Solve -i - h*u = 3*i, 0 = 5*i + u + m for i.
-4
Let j be (-10)/(-2) - (-259)/(-37) - -5 - -17. Solve -j = 4*p + 4*c, 0 = -3*c - 49 + 46 for p.
-4
Let r be 10 + -2*72/27 - (-4)/(-6). Solve -3*v = 3*u, 0 = -3*v - 0*v - r*u + 4 for v.
-4
Suppose 19*f - 20*f + 17 = 4*p, -3*f + 36 = -3*p. Solve -5*t + 35 = -3*s - 0*s, 5*s + f = -3*t for t.
4
Let n(d) = d**2 - 115*d - 726. Let o be n(-6). Solve 0 = q + 4*m - 13, -5*q - 10 + o = -5*m for q.
1
Suppose 7*h = v - 30, h = 2*v - 6 - 2. Let o(l) = 6*l - 75. Let c be o(13). Solve 8 = -j - x, -v*j = -0*j - c*x + 1 for j.
-5
Let a = -240 - -259. Suppose 6*i - a*i + 13 = 0. Solve -i = -3*b - 0*b + 2*o, o = 4*b + 2 for b.
-1
Let h = 27430 + -27424. Solve -o + 4*k + h = 0, 2*o = 3*o - 2*k - 4 for o.
2
Let w(i) = i**3 + i**2 - i + 2. Let y be w(-2). Suppose -3*s + 2*s + 3 = 0. Let v = 418 + -415. Solve 4*k - s*u = 6, y*k - 5 = -v*k + 2*u for k.
3
Let w(z) = 2*z**2 + 49*z + 27. Let x be w(-24). Let l = 29 + -26. Let p be 3 + 1 + l/(-3). Solve 2 + 7 = -p*n + 5*u, -n - x = -u for n.
-3
Suppose 4*z - p = 370, -3*z + p + 79 = -198. Suppose 4*f = z + 159. Let m = -60 + f. Solve m*q - l + 4*l - 3 = 0, q + 8 = 2*l for q.
-2
Let s(w) = 2*w + 4. Let x be s(6). Let j = 140 + -138. Let m(z) = -z**3 + 3*z**2 - 9*z + 14. Let u be m(j). Solve u*g - x = 3*n + g, 0 = 4*g + 16 for n.
-4
Suppose -49 = -12*r + 119. Suppose 0 = 5*p, -2*k + 3*p = 2 - r. Solve -4*h + l - 7 = 0, 0 = -2*h + k*h + 5*l + 37 for h.
-3
Let m be 14*((-2)/6)/((-34)/51). Solve -2*a = q + 8, -5*a - 9*q + 13*q = m for a.
-3
Let f be (6/(-5))/((-6)/40). Suppose 4*j + t - 9 = 0, 3*j - 7 = -j + t. Suppose -9*x + 3*x = -j*x. Solve 3*m - v = m + 7, x = 4*m + 4*v - f for m.
3
Let q(c) be the third derivative of 0*c + 20*c**2 - 1/60*c**5 + 0 - 11/3*c**3 - 9/8*c**4. Let i be q(-26). Solve i = 3*h - 3*m + 7, 5 = -3*h + 2*m for h.
-3
Let w be 1/(42/(-24))*105/(-30). Solve 0 = -4*p - l, w*l = 110*p - 106*p for p.
0
Suppose 0 = -8*s + 29 + 11. Suppose -212 = 4*l + 4*j, 3*l + 10 + 117 = s*j. Let u = -19 - l. Solve -f - 3*y - 13 = 0, 5*f = 2*y + 2*y + u for f.
2
Suppose -27*s + 23*s - 4 = 4*x, 2*x + 3*s = -5. Let b be (6*-1)/(-2) - 3. Let d = 0 - b. Solve -5*h + x*k = -15, -k = 5*h - d*k - 30 for h.
5
Let c(p) = 139*p**2 - 71*p**2 + 3*p - 67*p**2 + 6. Let k be c(-2). Let r = 143 + -140. Solve 0 = -k*q + 2*q - 4*l + 14, r*l = 3*q - 12 for q.
5
Suppose -d + 7 = -v, -15 = 6*v - 11*v. Suppose 4*b - u = 30, 5*b - 3*u - d = 3*b. Solve 0 = -2*q + 2*a + b, -a - 10 = -3*q + 4*a for q.
5
Let o = -2196 + 2201. Solve o*c + 25 = 5*m, 0 = -5*c - 0*c for m.
5
Suppose -9*l + 26 + 109 = 9. Solve c + 15 = -3*g, -2*c + 0*g - 2*g = l for c.
-3
Let v = -353 - -374. Suppose -v*j - 6 = -90. Solve 0 = -2*w + j*k - 5 - 3, 3*k = 9 for w.
2
Let d(z) = z**3 - 14*z**2 - 16*z + 28. Let c = 540 + -525. Let a be d(c). Solve -a = 4*l - 2*v - 5, -5 = l - 2*v for l.
-1
Suppose -12*v - 3644 + 524 = 0. Let w = -255 - v. Let k be (-12)/10*(-15)/6. Solve -4*o - 16 = 0, -o = w*l + k*o + 1 for l.
3
Suppose 9*b = -9*b + 54. Suppose z + 16 = b*v - 8, 0 = -2*v + 2*z + 20. Solve 4*k + v = 3*r, -5*k = 5*r - 0*k + 35 for r.
-3
Let k = 20508 - 20503. Solve -15 + 46 = -k*b - 3*s, -18 = 4*b - s for b.
-5
Let m = 8614 - 8611. Solve -4 = -4*n + m*g, -6*g + 2 = 2*n - g for n.
1
Let r be (5*(-11)/11)/(-1). Solve 5*k - 35 = 5*j, -4*j - 31 = -j - r*k for j.
-2
Let o be (-188)/(-47)*1/(-8)*-14. Let q be (-6 - (o - 14))*(-4)/(-2). Solve -m + q*f = 3 + 3, -4*m + 1 = -3*f for m.
4
Let l be (-1)/5 - 182/(-35). Let k be (231/(-22))/(6/(-80)). Let u = k + -125. Solve l*q = -5*g + u + 20, -2*g = 5*q - 20 for q.
2
Let j(z) be the third derivative of -5*z**4/6 - 95*z**3/6 + 19*z**2 - 3*z. Let p be j(-5). Solve 5*o + 23 = -3*g, p*g - o + 0 + 1 = 0 for g.
-1
Suppose -3*j = 3*z + 3, -2*j - 27 = -18*z + 15*z. Solve -7 = -5*t - 2*m + 4, -z = -5*t - 5*m for t.
3
Suppose 13