- k*y = 9 for a.
-5
Let z(q) = 11*q**2 + 72*q - 240. Let i be z(-9). Solve 0 = i*w - 2*o - 146 + 144, 0 = 4*o + 4 for w.
0
Let q = -18845 + 18852. Solve 5*f = 4*z + q, 3*z + 5*f + 34 - 20 = 0 for z.
-3
Let q = 2 - 0. Suppose 4 = 4*y, 573 = -2*d + 13*y - 10*y. Let g = d + 292. Solve 5*h - g = -q*x, -4 = -5*h + h for x.
1
Suppose -40*g - 72*g + 90 = -582. Solve 2*l = 5*f - 4, -g*f - 8 = 4*l - 9*f for l.
-2
Let g(c) = c**2 - 4*c + 8. Let y be g(3). Let i(n) = n**3 - 29*n**2 - 29*n - 27. Let h be i(30). Solve 0*p = -y*j - h*p + 4, -3*j - 4*p = -9 for j.
-1
Let d = 2759 - 2732. Solve -2*s = 5*k + d - 1, 0 = -3*s + 4*k + 7 for s.
-3
Let p(g) = 29*g**2 + 2*g + 1. Let t be p(-1). Suppose -t*d + 69 = -5*d. Let s = 1 + -1. Solve -3*i = 4*h + 12, s*i = -d*i - 5*h - 12 for i.
-4
Suppose 10*c + 10409 = 10439. Let z(h) = -2*h**2 + 23*h + 15. Let l be z(12). Solve -5*s = -c*s - 2*u, l*u = -4*s for s.
0
Let w(j) = 10*j - 29. Let n be w(-6). Suppose 272 = 3*c + 2*q, 4*q - 365 = -4*c - q. Let o = c + n. Solve -16 = -3*l + 8*x - 3*x, -2*l = -x + o for l.
-3
Suppose 3*n = -215*g + 219*g - 24, 0 = 3*n + 12. Solve 4*z = g*t - 39 + 40, -4*z - 4*t = 20 for z.
-2
Let w(j) = -317*j + 1591. Let r be w(5). Solve -3*f + 3*m = -0 - r, -2*f - 8 = 4*m for f.
0
Let q = -957 + 974. Suppose 3*x = -5*a + 3 + q, 0 = -2*x. Solve 5*f = a*p + 10, 2*f = -0*p - 4*p - 24 for f.
-2
Let g(i) = i**2 - 9*i + 2. Let s be g(9). Let d be 1 + s/(-13) + 270/65. Solve d*u - 9 - 7 = 3*c, -5*u + 5*c = -20 for u.
2
Let a(q) = -q**3 - 5*q**2 - 3*q - 13. Let k be -3*(3 + (-16)/12). Let v be a(k). Suppose c + v*c = 12. Solve 0*h - 22 = 5*t + h, -c*h = 2*t + 16 for t.
-4
Let k = -19 + 22. Let g(z) be the second derivative of z**3/3 + 19*z**2/2 - 74*z. Let n be g(-7). Solve -b - k*a + 2*a = 5, b + 21 = -n*a for b.
-1
Suppose -k = 4*f - 91, 1014*f - 1012*f + k - 47 = 0. Solve 3*s = r + 7, 25*r = f*r - 4*s + 31 for r.
5
Let f(a) = a**3 + 22*a**2 - 71*a - 1558. Let n be f(-22). Solve 2*v - 14 = 3*d, -n = 3*d + 2*v - 6 for d.
-2
Suppose 5*n - 9 = 11. Suppose 30 = p + 5*a, p + 3*a - 150 = -2*p. Suppose -p*r = -57*r + 40. Solve -n*x - 4*q + r = 0, x - q + 7 = 2*q for x.
2
Let a = 154 + -154. Suppose -5*t = -5*k + 25, -5*t - 6 = 3*k - t. Let w = -438 - -439. Solve -7 = -q - 0*q - g, a = 3*q - k*g - w for q.
3
Suppose 9*u = 16*u - 21. Suppose -p = -4*j - 1, 3*p + 4*j = u*j + 16. Let z be (-5)/60*-3*20. Solve h + z*m - 21 = 2*h, -p = h - m for h.
-1
Suppose -318*u - 105*u = -1692. Solve 0 = 3*n - u*c - 0*c - 23, -6 = 3*c for n.
5
Suppose -794*i = -770*i - 24. Solve c - n = -2, -4*c = 2*n - 5 + i for c.
0
Let c(n) = 2*n**2 - 45*n - 255. Let j be c(-5). Let p = 32 + -16. Suppose 3 = -m + 7. Solve 0*u - m*u = -2*a - p, -4*a + j = 5*u for u.
4
Let o(v) = -v**2 - 29*v - 49. Suppose -609 = -9*n - 852. Let h be o(n). Solve 3*x - k = -x - 11, h*k = 3*x + 21 for x.
-2
Let w be (15 - -1) + (45 - 53). Solve 4*j = -k - 0*k - 10, -k + 5*j + w = 0 for k.
-2
Suppose t - 3*j - 307 = 0, -2*j + 303 = t - j. Suppose 8*b - 1064 = -t. Let v = b - 92. Solve -17 = 3*d + 5*z, -3*z = 2*d + v*d + 7 for d.
1
Let z = -520 - -830. Let q = z - 310. Solve 4*n - 13 = u - q*u, 4*n + 4*u - 28 = 0 for n.
4
Let g(c) = 59*c**3 + 649*c**2 + 3. Let p be g(-11). Solve -3*l - 6 = 0, p*i + 5*l = 6*i + 2 for i.
-4
Let v be (-2)/4*(-5 - 3). Let s be (-3)/(-2) - (-114)/v. Suppose -5*x + s = 2*a, 3*x - 12 = x - 3*a. Solve -x*t - 25 = 5*l - t, 2*l - 3*t = 0 for l.
-3
Let r = -753 + 757. Solve -m - 3*l + 13 = 3*m, -2*l = r*m - 10 for m.
1
Let g(a) = a**2 - 8*a + 19. Suppose 3*x = -2*f + 15, 0 = 5*f - 4*f. Let d be g(x). Solve o = -5*n + 12, 0*n + d*n - 18 = 2*o for o.
-3
Let p be 15*((-1)/(-21) - (-6)/21). Let t(y) = p*y - 7*y + 10 - 1 + 6. Let a be t(-3). Solve 0 = 5*s + 3*z + a, 2*z + 13 = 2*s - 5*s for s.
-3
Let o = 5926 - 5905. Solve -87*k + 2 = -88*k + 2*s, 4*k + 5*s + o = 0 for k.
-4
Let j = -137 - -317. Let a = 184 - j. Solve 3*i + 9 = 4*d, 11 = 5*d - a*i - 0 for d.
3
Let o = -35 + 39. Let s(f) = -f**2 + 18*f - 6. Let d be s(o). Suppose -35 = 5*n - d. Solve -2*a + 2 = 5*v - n, 4*a - 21 = v for v.
-1
Let r(l) = 69*l**2 - 144*l + 12. Let j be r(2). Solve -9*h = -j*v - 4*v + 30, 0 = v - 3 for h.
-2
Let z(x) = 2*x**2 + 43*x + 26. Let k be z(-21). Solve -2*c = -3*j - 11, k*c + 6*j = 5*j + 2 for c.
1
Let n(x) = -37*x + 254. Let o be n(7). Let j(c) = -c**3 - 3*c**2 + 12*c + 23. Let b be j(o). Solve -3*y - 2*l = 2, -y + 5*l - 16 - b = 0 for y.
-4
Let k(l) = l**3 - 5*l**2 + 5*l - 1. Let x be k(4). Let j = 13487 - 13485. Solve j*w = s - 1 - x, s = -2 for w.
-3
Suppose 0 = 26*f - 24*f + 4. Let u be 3/f + 913/166. Solve 0 = r + u*r - l + 11, r + 2*l = 0 for r.
-2
Let i(n) = 7*n**3 + 5*n**2 + 4*n - 14. Let x be i(1). Solve 3*g = -3*p - 15, -x*g - 5 = 4*p - g for p.
0
Let j(l) = 17*l - 68. Let f be j(4). Suppose 4*i + 3*i - 2*i = f. Solve t + i*t = -u + 5, 3*u - 17 = -4*t for u.
3
Let a be -20*5*(-18)/360. Solve a*l - 8 = 2*m + 7, -2*m + 3 = l for m.
0
Suppose -14 = -4*d + 6. Let j = -28 - -26. Let v be (j/3)/((-42)/252). Solve -17 = -3*n + 2*n + 4*f, d*n = -v*f - 35 for n.
-3
Suppose 2*a - 2*g + 1011 = 1011, g - 5 = 0. Solve 10*l - 9*l + 1 = 0, a = 2*w + 5*l for w.
5
Suppose -1 = c - f, 5*c + 41*f = 39*f + 16. Let m be (c/6)/(94/1410). Solve r = -2*w + m*r, 4*w = 4*r for w.
0
Let w = 2307 - 2307. Solve w = -j - 5*n - 3, 22*j = 21*j + n + 3 for j.
2
Suppose -7*g = 7*g - 42. Let c be -1*27/18 + (-3)/(-2). Solve -j + g*f + 7 = c, -j + 9 = -5*f - 4 for j.
-2
Let i = -8817 - -8819. Solve 4*x + i*b = -22, 2*x = -3*x + 3*b - 33 for x.
-6
Suppose 7 = 3*x + v, 27 = 2*x + 6*v + 33. Solve y - 7 = 2*g, 2*g + x = -1 for y.
3
Let z = 164 - 161. Let d = 14 + -16. Let a be d - 129/(-21) - 1/7. Solve n = -a*n, -z*l + n = 0 for l.
0
Suppose 3 + 3 = 6*m. Let t be m/6*34 + (-4)/6. Solve 2*y = -2*u, -t*u = -3*y + 6*y + 8 for y.
4
Let n = 37 + -18. Suppose -2*s + 9 = 4*r + n, -s - 20 = 5*r. Solve 3*u + s*v - 3*v - 10 = 0, -v + 5 = 3*u for u.
0
Let y(w) = 3*w**3 - 13*w**2 - 14*w + 20. Let f be y(5). Solve 3*j + 13 = 5*a - j, f = -2*a - 5*j - 8 for a.
1
Let k(o) = -o**2 + 29*o - 92. Let c be k(33). Let x = c - -227. Solve 2*h + 3*w - 12 = 0, x*h + 3*w = 2*w + 11 for h.
3
Let q = 24477 + -24471. Solve -z - 7 = 2*o - q*z, -o - 4*z = -16 for o.
4
Suppose 16 = -122*c + 126*c - 4*w, 4*c = 2*w + 16. Suppose p + 4*p = 55. Suppose o = 6*o. Solve q - 5*x + 29 = o, -2*x + x = c*q + p for q.
-4
Let i be 1/(-10) + ((-1055)/(-50) - 6). Solve -3*z + 14 = -4*q, -i*q - 5*z + 14 = -17*q for q.
-2
Let y(i) = -i**2 - 12*i + 4. Let b be y(-12). Let j = 4938 + -4934. Solve 2 + j = m - b*s, 2*m + 5*s = -14 for m.
-2
Let s(r) = 3*r**2 - 3*r + 4. Let u be s(1). Suppose 8 = 2*m, -7*m - 296 = -u*v - 3*m. Suppose 6 = -3*c + v. Solve -3*k - c = -4*f - 5, k + 2*f = -3 for k.
-5
Suppose -61*h = -63*h + 192. Suppose -20*f + 16*f = -h. Solve 2*t = 5*m - f, -t = m - 3 + 1 for t.
-2
Let f(w) = 113*w + 2599. Let c be f(-23). Solve 2*i + 5*d = 10 - 18, -3*d = c for i.
-4
Suppose 24*a - 1115 = 997. Let w = 100 - a. Let c be (-10)/(-3)*6/5. Solve 4*b = 3*r + w, -2*r = -c*b + 2*r + 12 for b.
3
Suppose 2*j - 4*t = 62, 0 = 4*j - t - 3*t - 112. Suppose -10*f = -7*f - 6*g - 6, -2*f - g = 1. Solve f = 3*l - x - 20, 10 + j = 3*l - 4*x for l.
5
Let c = -657 - -422. Let h = c - -237. Solve 14 = q - 5*q + h*u, 0 = -4*q + 5*u - 5 for q.
-5
Let n = 754 + -695. Suppose -6*y = -n*y + 159. Solve -2*i = 5*k - y*i - 20, -i = -k for k.
5
Let m = -24 - -23. Let q be -4*m/8*28. Suppose -16*j + 30 = -q*j. Solve -3*o - 15 = 2*o + 5*h, j = -5*o - 3*h for o.
-3
Let q(d) = 2*d**3 - 12*d + 13. Let p be q(1). Solve v + 3*r = 0, -p*v - 2*v - 4*r + 11 = 0 for v.
3
Suppose -i + 119 = -5*s, -4*i + 212 = -2*i + 3*s. Suppose i - 101 = 2*f. Suppose 3*z - 6 = z. Solve z*n + 1 + 11 = 5*j, f*j = -2*n + 14 for j.
3
Let g(w) = w**3 + 196*w - 195. Let k be g(1). Solve -k*p + 6*n = n - 12, -5*p - n + 30 = 0 for p.
6
Let c = 22456 + -22452. Solve -12*x + 2*a = -10*x + c, 0 = -3*x - 3*a + 6 for x.
0
Suppose -c - 9 = -2*l, -4*l - l + 20 = -5*c. Let d(o) = o**3 - 7*o**2 + 5*o + 27. Let r be d(l). Solve n + z = -0*n + 3, -n + r*z + 9 = 0 for n.
5
Suppose -10*o = -12*o + 8. Let i be (113/(-7) + -1)*(-21)/(-2). Let t be (-135)/i - 3/4. Solve t = -3*u - o*c, -u + 4*c +