 for y.
-2
Let k be (1/(-2))/((70/(-40))/7). Suppose -2*l + x + 2 + 8 = 0, k*x + 4 = 0. Solve -z = -4*j + l*z - 4, 5*z = 20 for j.
4
Suppose -2*s - 3*s - 4*v + 88 = 0, 4*s = 4*v + 92. Let h be 33 - ((-90)/(-25) - (-8)/s). Solve -2*g + h = 5*f - g, -f + 13 = 2*g for f.
5
Let s = 483 + -465. Suppose -s*y = -21*y + 6. Solve 3*o + 0*m - 1 = m, -y*m + 9 = 5*o for o.
1
Let b(g) be the third derivative of 0*g**4 - 9*g**2 + 0*g - 1/30*g**5 + 0 + 1/3*g**3 + 1/60*g**6. Let m be b(2). Solve -m = 3*c + 2*o, -4*c + o = c + 21 for c.
-4
Suppose 4 = -2*d + 4*d. Suppose 3*r + 36 = 2*r - 4*m, -d*m = 3*r + 128. Let b = 59 + r. Solve 3*i = 4*h - b, 3*h - 5*i - 14 = -0*h for h.
3
Suppose -4*c + 16 = -3*b, 0 = -3*b + 6*b. Let l be 644/140 + 6/(-10). Solve -c*d + 17 = d + l*i, -4*d - 11 = -5*i for d.
1
Let f(r) = -r + 30. Let x be f(30). Suppose x = -28*w + 24*w + 48. Solve -3*z = 5*n + 18, -3*z + 5*n + 0*n + w = 0 for z.
-1
Suppose h + 65 = -3*a - 12, h - 58 = 2*a. Let u = a + 33. Suppose 5*c - 28 = c + 5*l, -c = -l - u. Solve -f + 15 = 2*m, -10 = -2*f - 2*f + c*m for f.
5
Let n = -95 - -97. Let r(k) = -2*k + 3 + 6*k + 4*k + 8. Let c be r(n). Solve -4*q + 3*q + 3*t - 5 = 0, -5*t = 3*q - c for q.
4
Let r be (-6)/(-12)*1*(-1 - 0)*-10. Solve r*i - 29*v = -34*v - 50, -v - 15 = 2*i for i.
-5
Let b be (-50)/((-11)/6 - 33/198). Suppose -103 = -26*k - b. Solve 0*j + 3*j = y + 17, -5*y = -k*j + 25 for j.
5
Let d(b) = -15*b + 39*b - 17*b + 63. Let t be d(-9). Let p be ((-2)/(-1))/(2/2). Solve 3*r - 15 = 3*q, -p*q = 4*r - t + 4 for r.
1
Let g = -12 - -19. Let y = 469 + -370. Let i be (-7)/(-4) - y/132. Solve 2*k - 4*x = -14, 4*k + g = 4*x - i for k.
3
Let h(r) = r**3 - 5*r**2 - 46*r + 262. Let o be h(7). Let n(u) = 8*u - 1. Let d be n(8). Let z = d - o. Solve -4*l - z = k, 0 = -2*k - k - 5*l - 40 for k.
-5
Suppose m + 106 = 108. Solve 7*p - a + 3 = 3*p, m*p - 6 = -2*a for p.
0
Let n be 120/6 - 7/((-21)/(-12))*1. Solve 3*b - 5*p - 13 = 0, -5*b + n*p - 15 = 15*p for b.
-4
Let v = 97 - 17. Suppose 0 = 12*k - v + 8. Solve -2*b = -5*j + b + 24, -4*j = 2*b - k for j.
3
Suppose 0 = -5*v + 11 - 91. Let h be -4 - (2/1)/((-1)/(-4)). Let s = h - v. Solve -2*i + i = 2*g + 9, -3 = -i + s*g for i.
-5
Suppose 6*z = 56 + 64. Suppose -z = -6*x - 2. Suppose m - 2*m = k + 2, 10 = x*m - k. Solve g + 4*r + 2 = -g, -1 = g - m*r for g.
-1
Suppose 131 = 22*v - 94 + 5. Solve 5*b - v*k = -12*k + 14, -5*k + 14 = 2*b for b.
2
Let m = -39480 - -39487. Solve -3*s - m = -y, 13 = -5*y + 5*s - 6*s for y.
-2
Let u = -1241 - -1270. Solve -2*g = -a + 7, -5*g - 3*a + 6 - u = 0 for g.
-4
Let g be 11*(-6 - (-2 + -5)). Let u(h) be the first derivative of -h**4/4 - h**2 + 5*h - 4. Let j be u(0). Solve j*i + l + 0*l = g, -l + 1 = 0 for i.
2
Let s(l) = 6*l - 24. Let b be s(5). Suppose -51 + 99 = b*v. Solve 7 = -2*f + q - 4, f + 4*q - v = 0 for f.
-4
Let s = 46 + -64. Let b be 184/8*(2 - (2 - 1)). Let z = s + b. Solve 2*w - 6*w - 20 = -4*o, 0 = -w + 4*o - z for w.
-5
Suppose -42*r + 2541 - 2391 = -12*r. Solve 3*z = r*h - 7, 0 = -0*h - 4*h - 3*z - 16 for h.
-1
Let c(j) = j**3 - 6*j**2 + 10*j - 6. Let q be c(4). Suppose -h - m + 14 = 2*h, -5*h + 25 = q*m. Solve -5 = -3*v - 3*b - 2, -h*v = -5*b - 19 for v.
3
Let w be (-3 + -6 + 7)*(-54)/36. Solve 2*l = 4*x - 16, 0 = -x - 2*l - w + 2 for x.
3
Suppose 0 = m + 2*m. Suppose 8*q - 3*q - 15 = m. Let l = 1038 - 1034. Solve -q*z + 5 = b, -2*b - z - l = -2*z for b.
-1
Let p be 1/(-2) + (-76)/(-8) + -3. Suppose -p*h + 0 + 0 = 0. Solve -2*g + 11 = 4*o + g, 3*o + 5*g = h for o.
5
Suppose 968 = -8*f - 272. Let j = f - -167. Solve -19 = 5*r - 2*t + 11, -j = -2*r - 4*t for r.
-4
Let f(d) = d**2 - 22*d + 87. Let l(p) = -p**2 + 14*p + 49. Let x be l(16). Let g be f(x). Solve 5*n = -g*w + 11, w + 0*n = -2*n + 4 for w.
-2
Suppose 4*h + 14 = -4*h + 15*h. Solve -4*a = r + 5 + 5, h*a + 6 = 0 for r.
2
Let y(z) = -z**2 - 4*z + 6. Let f(o) = 2*o + 16. Let c be f(-4). Suppose -c*a + 16*a = -40. Let m be y(a). Solve -2*x - 4*b - 17 = -5, x - m = 5*b for x.
-4
Suppose -u + 3*j = -29, -4*u - 9*j = -7*j - 46. Suppose 8 = -u*x + 18*x. Solve -a + 19 = -5*h, -14 = 2*a + x*h - 4 for a.
-1
Let o(w) = 10*w + 181. Let m be o(15). Let x = m + -326. Solve -2*d + 3*d = x*q + 19, 4*q + 3*d = 0 for q.
-3
Let f(r) = -43*r - 554. Let z be f(-13). Solve 37*j + 15 = -z*y + 32*j, 0 = -2*j - 2 for y.
-2
Let d(t) be the second derivative of t**4/12 - 2*t**3/3 - 163*t**2/2 + 15*t - 1. Let m be d(15). Solve 0 = -k + m*k, 0 = -g - 5*k - 4 for g.
-4
Let p(r) be the third derivative of r**6/120 + 7*r**5/60 - 3*r**4/4 + r**3/3 - 6*r**2 + 7. Let x be p(-9). Solve -c + 0 = -h + 1, x*c - 18 = -2*h for c.
4
Suppose 3*y = d + 219, -44*d - 685 = -41*d + 5*y. Let q = 227 + d. Solve -4*f + q*m + 16 = m, -3*m - 6 = 2*f for f.
3
Let l be (4/(-6))/((-2)/(-42))*-1. Suppose -3*b + 9 = o, 2*o - l = -3*b - b. Solve -o*y - 15 = 0, -d - 3*y = y + 24 for d.
-4
Let b be (0 + 2)*9/(-6) - -60. Let m = 59 - b. Let r be 0/8*m/(-4). Solve -5 = -5*z, 3*w + 2*z + 7 = -r*w for w.
-3
Suppose -63*d + 67*d = 0. Suppose 3*r + 4*u - 8 = -59, -2*u + 6 = d. Let a be r/(-6)*24/42. Solve 2*f = 3*z - a + 3, -z + 18 = 3*f for z.
3
Let y = -4354 + 4357. Solve -y*n + 20 = -5*u, 0 = 31*n - 30*n for u.
-4
Let j = 14010 + -14002. Solve g - 3 = 0, -4*p + j*g = 3*g + 23 for p.
-2
Suppose 28*l - 21*l - 140 = 0. Suppose 7 = l*q - 293. Let w be ((-6)/(-3) - 2)/1. Solve 6*g - i = 3*g - q, -2*g - 2*i - 10 = w for g.
-5
Let b(l) = l**2 - 9*l + 20. Let c be b(6). Let i(w) = 12 + 10 + 3*w - 8 - 3. Let x be i(-2). Solve -3*h + 13 = a, 0*a - c*a + x*h = 7 for a.
4
Let y(j) = -j**3 - 8*j**2 - 10*j + 16. Let f be y(-6). Suppose w = f*s - 8, 6*s - 3*s - 25 = -4*w. Solve -n + 4*q = 23, 3*n + 2*n + 35 = w*q for n.
-3
Let y(o) = -o**2 - 181*o - 3763. Let b be y(-157). Let k be ((-16)/(-1) - 2) + 1. Solve b*g + 14 + k = 4*d, 5*g + 5*d + 20 = 0 for g.
-5
Suppose -14*w = -19*w + 20. Suppose w*p = -5*y + 36, -5*y + 28 = -2*p + 4*p. Suppose o + y = -4*u, -o - u - 3 = 2*u. Solve -2*j + o - 5 = h, 6 = -j + 3*h for j.
-3
Suppose 4*l + 0*l - 3*o = 49, -2*o - 6 = 0. Suppose 6*s = l*s - 8*s. Solve -3*q + 12 = s, 0 = -2*a - q + 5 - 1 for a.
0
Let r be (54/45)/(8/20). Solve 2*c + 7*y = 5*y + 4, 0 = c - r*y - 2 for c.
2
Suppose -9*v = z - 12, 0 = -2*z - 2*v + 1 + 7. Let l(t) = t**3 + 5*t**2 - 6*t + 4. Let m be l(-6). Solve -z*s = -3*j + 12, -5*s + 2*s + j = m for s.
0
Suppose 0 = -25*a + 24*a + 4*z + 42, 0 = -5*a - 2*z + 100. Suppose a*c + 15 = 25*c. Solve h - 22 = 5*v, 0 = -c*h - 2*v - 14 - 11 for h.
-3
Let n = 154 - 150. Suppose 0 = 2*i - 6, -2*i = -n*z + z + 12. Solve -5*j + z = 2*v, 0*j + 3*j - 2 = -2*v for v.
-2
Suppose 0*n + 4 = 2*n. Suppose 18 = n*l + 7*l. Let z = -5 + 7. Solve -z*w - 22 = -5*x, -l*w - 4 + 2 = 0 for x.
4
Let f be (-1020)/(-165) - 4/22. Let d(w) = -12*w. Let k be d(11). Let m = 134 + k. Solve 0 = b - m*y - 4, -3*b - f = -5*y - 16 for b.
0
Let c(p) = 3*p**2 + 17*p + 27. Let m = 41 - 45. Let f be c(m). Solve 0 = -3*r + 4*s - f, 4 = 4*r - 2*s - 0 for r.
3
Let y be (1 + 19/(-3))/(13 + (-400)/30). Solve z = -v - 8, -2*z = 3*v + y + 5 for v.
-5
Suppose -148*n + 771 + 265 = 0. Solve -x - n*p - 5 = -8*p, 3*p = 5*x + 25 for x.
-5
Let x be (-1)/(-3 + 1 + 1). Let y be (-1)/((-5)/35 - 30/(-63)). Let v be 81/(-54)*4/y. Solve 2*i - i = -x, 1 = -v*h + 3*i for h.
-2
Suppose -18*p + 4*p + 88 = -6*p. Solve -3*i + 2 = 3*u + p, -3*i = -2*u - 1 for i.
-1
Let c = 37 - 38. Let o(j) = 4*j + 4. Let d be o(c). Suppose -2*l + 12 + d = 0. Solve l*p - p - 25 = 0, 0 = 2*r + p - 1 for r.
-2
Let u = 69 + -161. Let n = u - -40. Let m = n + 58. Solve -2*z = 4*l, m*l = l - z for l.
0
Suppose -4*v = -5*l - 16, -5*l - 26 = -v - 7. Let b = -4 - l. Solve b*i + 3*u + 3 = -2*i, -3*i = -2*u - 2 for i.
0
Suppose -93 = -4*t - 77. Suppose 4*o = -5*y + 150, -2*y + 4*o = -t*y + 72. Solve -5*g + 2*k = -2, 5*g - y = -5*k + k for g.
2
Let q = -31 + 41. Suppose q*w + 28 = -62. Let z = -5 - w. Solve -z*n + 4*o = 24, -5*n - 4 + 1 = 4*o for n.
-3
Suppose -5*g - 4*t - 866 = -856, -2*g + 4*t + 24 = 0. Solve -3*k + 2 = g*a, 5*k - k + 2*a - 4 = 0 for k.
2
Let g = -10 + 16. Let i = -217319 + 217319. Solve -n = t - 1, -2*t - g*n + 5*n = i for t.
-1
Suppose -2*t = q + 4*q - 413, 838 = 4*t - 2*q. Let a = t + -194. Solve -4*j = -5*l