2*s, 0 = -4*t - q*s - 3. Solve -16 = 4*x + 4*m, m - 16 = t*x + 6*m for x.
-2
Let x(f) = 28*f**2 + 161*f - 39. Let o be x(-6). Solve -8*v = -13*v - 2*u - 30, -2*u - 22 = o*v for v.
-4
Let m(n) = n + 5. Let t be m(-10). Let s be 3/(-6)*(1 + t). Suppose -s = -f + 2. Solve -4 = -3*j + 5*c, -3*c + f - 10 = 0 for j.
-2
Let d = -7523 - -7544. Solve 3*s + z + 4 = -11, 3*s + 3*z = -d for s.
-4
Let x(g) = 112*g**2 - 671*g + 7. Let o be x(6). Solve -5*f + l - 20 - 8 = 0, -4*l - o = 5*f for f.
-5
Let s be (-2)/(((-8)/(-42))/((-104)/78)). Solve -9*t + 9 = 0, -3*d - s*t + 16*t = -4 for d.
2
Let t = 20 - 14. Suppose 2*b + 0 - t = 0. Suppose -21 = -4*o + b. Solve 0 = x - 2*l - 3, x - 4 - o = -5*l for x.
5
Suppose -23*h = -71*h + 165 + 267. Solve 0 = -z + a + 7, h - 6 = -3*z - 3*a for z.
3
Let q(c) = 6*c**3 - 3*c + 2. Let u be q(1). Solve -65*f = -60*f - 4*m - u, 0 = 4*f - m - 15 for f.
5
Let o(v) = -v + 2. Let b be o(-4). Suppose 0 = -6028*d + 6027*d + 4. Solve -d*y = 5*n - 9*y - 10, -y + b = -5*n for n.
-2
Let r(g) = -g**3 - 22*g**2 + 131*g - 93. Let x be r(-27). Solve 4*i - 3*i + 5*l = -x, l + 27 = -5*i for i.
-5
Let f(h) = h**3 + 166*h**2 + 11*h + 1829. Let o be f(-166). Solve -9*d + 14*d - o*y - 15 = 0, 5*d - 4*y = 15 for d.
3
Let w(h) = -2*h**3 - 17*h**2 + 16*h + 206. Let d be w(-8). Solve -4*a + 3*z + 22 = 0, 11*z = -a + d*z + 10 for a.
4
Suppose 12 = 7*k - 3*k. Suppose 12 = -0*d + k*d. Suppose -m + 2 = 2*l, -m + 3*l = 6*l - 2. Solve m*w + 12 = -2*n + 4*w, 0 = -2*n + d*w - 18 for n.
-3
Let d = 23115 - 23113. Solve 6 = -d*y + 2*u, -2*y - 6 = 3*u - 20 for y.
1
Suppose 0 = -9*o + 5*o + 5*n - 15, -2*n - 22 = 4*o. Let r(v) = -9*v - 42. Let i be r(o). Solve i*l = s - 0*s - 7, -5*s - l - 13 = 0 for s.
-2
Suppose -2*w = -0*w + 18. Let q be w + 15 + (2 - 4). Suppose 5*i - 18 = 4*f - 2*f, 0 = i + q*f - 8. Solve 4*m = -4*c + 20, -i*c - m = -6*c - 5 for c.
0
Let v be 528/21 - 95/665. Let y = -27 - -27. Solve l + y*d + 30 = 5*d, 0 = 4*l - d + v for l.
-5
Suppose 3*v - 33 = -r, 2*v - r - 17 = 5. Let n = 29 - 23. Suppose -3*k + k + n = 0. Solve p + 7 = -5*i - v, p - k*i = 6 for p.
-3
Let t(s) = 506*s + 9116. Let v be t(-18). Solve -5 = 2*x - 50*g + 45*g, -x - g = -v for x.
5
Let q(o) = -17*o - 729. Let v be q(-43). Solve 0*s + 11 = 2*k + s, -s - 9 = -v*k for k.
5
Let l be 151/5 + ((-8)/(-20))/(-2). Let k = l + -21. Suppose -2*t - t + 19 = -2*a, -35 = -5*t + 5*a. Solve t*o = d + k, 0 = -d + 5*o - 2*o - 5 for d.
1
Let j = -940 - -945. Solve z + 1 = 2*c, j*c - z + 3 = c for c.
-2
Let r be (2 + 0)*(-5 + 9). Solve 3*l - 20 = -3*j - l, 0 = -4*l + r for j.
4
Let s be (-9 + (-33)/(-9))*(-6)/4. Let z(a) = a**2 - 2*a - 5. Let n be z(5). Let d be 4/12 - n/(-6). Solve -5*f - 4*h = 2, d*f - s = 5*f - h for f.
-2
Let x = 31 + -28. Let k be -16*((-7)/2 + x). Suppose -k*j = -16*j + 2*j. Solve -2 = 5*y + o + 24, j = -5*y - 2*o - 27 for y.
-5
Let t = 1805 + -1796. Solve -s + 3*u + t = 1, -5*s - 28 = 2*u for s.
-4
Let y be (-1)/3*(-6 - (-7 + 10)). Suppose -6*k = -10*k + 16. Solve 2*x + y*x + 7 = k*l, 5*l = -4*x - 22 for x.
-3
Let u = -40 - -44. Suppose -3*s - 4 + 16 = 0. Suppose 0 = -s*i + 4*m + 4, -3*m = -2*i + 2*m - 7. Solve 3*l = i*j - 27, u*j + 9*l = 4*l - 13 for j.
3
Suppose i = -5*s, -6*i + 4*i + 70 = -4*s. Suppose 0 = -15*q + 10*q - i, 3*j - 10 = -q. Solve -j*n + 6 = -4*p, -3*p + 0*n + 5*n - 2 = 0 for p.
-4
Suppose -408 - 132 = -3*w. Let n = -97 + w. Let x = n + -81. Solve 4*m = 4*z, 9 = -x*z - z for m.
-3
Let q(l) = -2*l + 7. Let i be q(2). Suppose -4*j + 2 = -i*y + 1, -4*y = 4*j - 36. Suppose o + j = 6. Solve -5*s - o*h + 5*h = 15, -h = 0 for s.
-3
Let t = -3 + 7. Suppose -t*j = 3*a - 25, -2 = -5*j + 2*a + 12. Suppose 3*b = -b + l + 23, 0 = -b + 4*l + 2. Solve -2*m - 7 = n, -j*m + n - 17 = -b for m.
-3
Let i be (-1)/(-4) + (-358)/(-8). Let l be 86/(-301) - (-2104)/14. Let z = 154 - l. Solve 0 = 5*v + 4*w + i, z*v + 5*w + 45 = -0 for v.
-5
Let y be (-2*(-3)/2)/((-69)/(-1081)). Solve 3*k - 7 = -4*c, -y*k + 43*k + 6 = 2*c for c.
1
Let z(i) = i**3 - 8*i**2 - 26*i - 6. Let r be z(11). Suppose 3*m = 5*b + r, -5*b + 1 = -4*m + 99. Let g = m - 23. Solve g*j + 8 = u, 4*j + 3*u = -0*j - 8 for j.
-2
Let f(w) = -21*w - 132 - 3981*w**2 + 1992*w**2 + 1991*w**2. Let y be f(15). Solve -31 = 5*z + y*q, 0*z + 14 = -2*z - 2*q for z.
-5
Let j be -7 - (-256)/8 - 3. Let u = 72 + -48. Let h = u - j. Solve -h*d = 4, d - 10 = -3*q + 3*d for q.
2
Suppose -258*x + 1102 = 80 - 10. Solve -3*l - l = 2*y + 6, -3*l + x*y + 12 = 0 for l.
0
Suppose -9*v + 178 = -146. Solve 5*x + 4*u - v = 0, 4*x - 8*u - 36 = -13*u for x.
4
Let y = -51 + 51. Let j be (y - (-108)/28) + (-6)/(-42). Suppose -j*s + 70 = 4*k - 2*s, 2*k - s - 29 = 0. Solve -4*m = -k, 5*m - 45 = -5*z - 0*m for z.
5
Let s(y) be the second derivative of 2/3*y**4 + 13/2*y**2 - 1/6*y**3 + 0 - 1/20*y**5 - 20*y. Let x be s(8). Solve x*v = 2*c + 9, 4*c - 3*v + v - 6 = 0 for c.
3
Let k = 129 - 44. Suppose -26*v + 331 + k = 0. Solve r = -b + 3 - 7, 4*b = -r - v for b.
-4
Let f = 105 - 52. Let u = f - 43. Suppose -5*h = -10 - u. Solve -22 = h*j + j + o, 24 = -3*j + 3*o for j.
-5
Let a(c) = 2*c**2 - 58*c + 246. Let t be a(5). Solve 5*b = 3*f, 2*f - 35 = t*f + 5*b for f.
-5
Suppose -13 + 1 = -3*z. Suppose -i - 4*a = -3*a - 1400, 0 = -5*i - 2*a + 7015. Let l = i + -1387. Solve 5*r - 5 = -q - 0*q, -z*q - l = r for q.
-5
Suppose k + 15*k + 7792 = 0. Let q = -466 - k. Solve 0 = -v - 4, c = -4*v - q for c.
-5
Let r(v) = -v**3 + 20*v**2 - 20*v + 22. Let f be r(19). Suppose -f*b - 6 = 3*m, 2 + 19 = 2*b - 3*m. Solve -3*y + 6 = -4*o - 2, -o + 7 = -b*y for y.
-4
Suppose 0 = 28*u - 41*u + 728. Suppose 4*b + 0*w - 4*w - u = 0, -2*w + 5 = b. Solve 0 = -3*k + 5*d + 5, 5*k + 3*d - 20 = b for k.
5
Suppose 170 = 36*h - 5*h + 54*h. Solve -5*s = -h*g + 2 + 10, g - 1 = 0 for s.
-2
Let k(o) = -o**3 - 7*o**2 + 17*o - 9. Let a be k(-9). Solve a = 4*i + 5*g + 2, -8 = 7*g - 3*g for i.
2
Let u(w) = 15 + 11*w + 6*w**2 + 7 - 21. Let t = -171 - -168. Let x be u(t). Solve 0*l - 5*l = p - x, 3*p = -l - 4 for p.
-3
Let z(t) = -5*t**2 - 13*t - 34. Let x be z(-8). Let i = -245 - x. Solve 3*n + 5 = -5*u - n, -i*u - 3*n - 5 = 0 for u.
-1
Let k be 7/(7/51)*-1. Let w = k + 50. Let o be (1 - (-4 - -3))*(-2)/w. Solve -i - o*a = 19, -i + a - 8 = 3*i for i.
-3
Let i be ((-72)/(-18))/(6/18 + 1). Solve 0 = -2*p - 3*y - 4, -i*p - 6 = 16*y - 20*y for p.
-2
Let v(d) = d**3 - 7*d**2 + 7*d - 8. Let y be v(6). Let o be -3*1/(-3) - y. Solve -4*f + o*f + i = -4, 2 = 2*f + 4*i for f.
3
Suppose 5*p - 5*u = 39 - 34, 2 = -8*p - 2*u. Solve 4*z + 5*d - 6 - 17 = p, -7 = -5*z + d for z.
2
Suppose 1816 = 10*n + 86. Let k = -98 + n. Let w be 10/4*120/k. Solve -2*c = 2*i - 0 + 10, -i + 10 = -w*c for i.
-2
Let j = 48 - 45. Suppose 0 = 3*x + j, -2*k - 59 + 152 = -5*x. Let q be 4 + k/(-12) - (-24)/9. Solve -n + 1 = 3*u - 4, 9 = -u - q*n for u.
3
Let k be 875/150*(-21)/(-98)*4*1. Solve 3*t = 4*x - k*x + 11, 5*x - 4*t = -40 for x.
-4
Let l = -217 + 217. Let j be (5 + 54/(-12))*l/2. Solve j = -5*r + 5*v - 35, 2*v = 4*r - 0 + 22 for r.
-4
Let k(l) = 2*l**3 - 33*l**2 + 16*l + 13. Let w be k(16). Solve -2*x = d + 10 - w, -4*d + 3*x + 1 = 0 for d.
1
Let q = 83 + -74. Let v be -4*(-5)/15*1*q. Solve -2*l - v = -3*y, 6*y = 4*l + 2*y + 20 for l.
-3
Suppose h + 4*w = 35, -4*h + 8*h + 3*w = 101. Let n(d) = -d - 31. Let f be n(-10). Let y = f + h. Solve q = 2*s + 7 - y, -2*s - 3*q = -7 for s.
-1
Suppose 0 = 5*w - 32 + 7. Suppose -4*q - x + 12 = 0, q - 3 = 2*x - w*x. Solve 15 = q*o - 3*t, t - 3*t = 4 for o.
3
Suppose 28 - 58 = 5*k. Let i be 6 + (-2)/(-1) + k. Suppose 0 = 5*y - i*a - 2 - 4, -3*a = -2*y + 9. Solve 3*o - 5*l - 10 = y, -20 = o + l + 2*l for o.
-5
Let q be (-6)/(-4) + (-2 - (-6)/12). Let t be (-23)/(-7) + (-250)/875. Solve -4*w + 4*d - 4 = 0, -t*w - 5*d + d - 17 = q for w.
-3
Suppose 1700 = 70*d + 355*d. Solve 5*l = d*l + 3*h - 17, l = 5*h - 27 for l.
-2
Let n(y) = y**2 + 3*y + 13. Let x be n(-3). Suppose -b + 56 = x*b. Solve -4*h = -2*u - 4, -8*u = -3*h - b*u + 13 for h.
-1
Let u = 193 + -357. Let r = 164 + u. Solve 4*y - 2*g = -8 - r, -y + g = 0 for y.
-4
Suppose 0 = -2*t + 5*m - 483, -2*t + 3*m - 2*m = 479. Let a = t - -242. Solve 4 = 5*j + a*w - 8, -5*w = -j - 20 for j.
0
Let t = 30700 + -30696. Suppose -j + 4*f = 3, -3*j 