 -11 = -3*x - 2*v, -v + 11 + h = 4*x for x.
5
Let i = 9307 - 9303. Suppose 0 = -3*q - 6 + 15. Solve -3*t + c + c = i, -q*t + c + 1 = 0 for t.
2
Let l(c) = -c**3 + 5*c**2 + 33*c + 6. Let g be l(6). Let m = g - 165. Suppose -4*k + 5 = -3. Solve k*p = -v - 2, 2*v + 8 = 3*p - m for v.
-4
Let d(f) = f**3 + 4*f**2 - 3*f + 2. Let z be d(-4). Suppose 0 = -2*a - 38 + 54. Suppose 0 = 15*i - a*i. Solve -2*b = -i*c + 3*c - z, 5*b - 1 = c for b.
1
Let o = -1226 + 1240. Solve -4*m = 2*r + o, -2*m = 3*r - 5 + 18 for m.
-2
Let y = 207 + -214. Let p be (y - -1)*30/(-18). Solve 0 = 4*k - 5*c + 26, 5*k + 2*c + 3*c = -p for k.
-4
Let t = -2 + 24. Suppose 2 = -p + x - t, 5*p = -3*x - 152. Let q be ((-264)/p)/2 + 4/14. Solve q*r - 4 = -2*v - 3, 4*r = -2*v + 2 for v.
3
Suppose 117*a = 106*a + 33. Solve 20*x + 13 = 17*x + t, -2*x - a*t = 16 for x.
-5
Suppose 4*w + v - 20 + 8 = 0, -w = -2*v + 6. Solve -7*d + 2*d + f - 8 = 0, 2*d - f + w = 0 for d.
-2
Let l(d) = d**3 + 16*d**2 - 59*d - 24. Let t be l(-19). Suppose 0 = -z + 3*p + 5, -t*z = -10*z + 5*p - 3. Solve x = 2*u - z*x + 25, x = -3*u - 10 for u.
-5
Let n be -30 + (-7072)/(-238) + (-37)/(-7). Solve 11*u + 3*k - n = 15*u, 2*k = 6 for u.
1
Let v(w) = -w + 62. Let r(t) = -2*t + 94. Let n(i) = -5*r(i) + 7*v(i). Let y be n(16). Solve h + 4*l = -y, -2*h - 22 = 3*h + l for h.
-4
Let y be ((-29)/116)/((-2)/16). Suppose -6*l + 21 = -3*l + y*x, -3*l - x = -18. Solve -l*w + 25 = 2*p, -4*p - 5*w + 11 = -24 for p.
5
Suppose 0 = 2*s - 51 + 11. Let i be (3/4)/(s/80). Solve i*m + w + 6 = 23, 3*w - 19 = -m for m.
4
Let x(z) be the first derivative of -2*z**2 - 86*z + 12. Let s be x(-24). Solve 3*r + 2*o + 3*o = -s, -30 = -r + 5*o for r.
5
Let b be 1929/2572*(1 + 17/3). Solve b*n + 9*t + 24 = 12*t, 0 = 5*t - 15 for n.
-3
Let j = -11 - -15. Suppose -3055 = 20*k - 815. Let h = -96 - k. Solve -4*w - n + 24 = w, j*n - h = 0 for w.
4
Let n = 3942 + -3939. Solve -5*f + 1 = -2*z, -n*z + 4*f = -9 + 7 for z.
2
Suppose 1 = 3*w - 14. Suppose 0 = 4*k - 5*c + 32, -8 = 40*k - 36*k - 2*c. Solve 0 = z - k*i + w, 0*i + 6 = -z + 3*i for z.
-3
Let s(q) = -q - 6. Let l = -239 + 228. Let a be s(l). Solve -4*u = 4*v + 7 + 9, -4*u - a*v - 17 = 0 for u.
-3
Let u be 16/12*(-399)/(-38). Solve 0 = u*f - 18*f - 5*h + 21, 2*f = 4*h - 22 for f.
-1
Let n be (2 + (-25)/(-10))/((-1)/2). Let h(o) = 2*o - 6. Let g be h(n). Let r = 27 + g. Solve -x - 2 = 2, 37 = -5*a - r*x for a.
-5
Let j be ((-16)/(-6))/(4/18). Let u(b) = -15*b - 250. Let k be 2 + 279/(-15) - 22/55. Let l be u(k). Solve -3*m - j = a - 1, -l*m - 30 = 4*a for m.
-2
Let h(s) = -s**3 - 48*s**2 - 184*s - 295. Let b be h(-44). Solve -3*z = -3*r - 24, b*z = 53*z + 12 for r.
-5
Suppose -v - 20 = 5*f, -2*v + 5*f + 15 = -5. Let p = -313 + 315. Suppose 0 = -t + p*c + 1, t + 5*c - 5 = 2*t. Solve -5*r = t*w - 5, v*w + 3*w = 2*r - 22 for r.
5
Let d be -2 + 1 + 7 + -3. Suppose -d*p = -2*l + 15, -3*p - 2*p = 3*l + 6. Solve 0 = -y - 2*j - 7, l*y - 2*j = -0*j + 3 for y.
-1
Let m be (4/14)/((20/280)/(0 - -1)). Solve -164*w + 165*w = 4*j + 17, -m*j = 3*w + 29 for j.
-5
Let x be 5485/(-32910) - (1 + 19/(-6)). Solve -4*j + 2 - 6 = 0, -x = c + 5*j for c.
3
Suppose -3*b - 60 + 42 = 0. Let n(q) = q**3 - 4 + 6*q**2 - 5 - 3*q - 5. Let j be n(b). Solve -f = z - 2*z, -5*f = j*z + 45 for z.
-5
Let l = 14779 - 14774. Solve 5*r = 5*o - 20, 5*r + 3*o - l + 17 = 0 for r.
-3
Let o be (29 + -38)/((-9)/10). Solve -11*g + o*g + 5*c = 6, c = -4*g + 18 for g.
4
Let z(v) = v**2 - 31*v - 218. Let r be z(-6). Solve -5*t - 45 = 5*i - 60, 3*t + r*i = 12 for t.
0
Let i(n) = -2*n**3 - 49*n**2 - 24*n + 5. Let d be i(-24). Suppose d*a = 10, a = 45*m - 42*m - 4. Solve -m*r = -2*s - 2, 0*s - 5 = -5*r - 3*s for r.
1
Let n(y) = -31*y - 1085. Let z be n(-35). Solve -4 = 2*m - 5*h + 6, z = -3*m + 5*h - 10 for m.
0
Suppose -394*p + 10 = 4*s - 395*p, -8 = -5*s + 2*p. Solve v = -3*d + 11, -s*d + 8 = 5*v - 7*v for d.
3
Suppose 2*s - 156 + 204 = 0. Let t be ((-80)/s)/((-4)/(-6)). Solve 2*q + 8 = -0*m - m, 2*m - 3*q = t for m.
-2
Let h = -210 + 221. Let o(n) = -n**3 + 10*n**2 + 14*n - 21. Let m be o(h). Solve 0 = -f + 4*z + m, -z - 32 = 3*f + 4*z for f.
-4
Let s be 0 - (-17 - (3 + 4)). Suppose -21*t + 87 = s. Solve 0 = -2*z + 5*w + 13, -5*z + t*w + 7 = -w for z.
-1
Let c be (-366)/2379 + 3/(117/84). Solve k = 2, c*f - 3*k = f + 1 for f.
7
Let w = 9892 - 9888. Solve -5*h + w*b = -11, -2*h - 4 = 2*b + 6 for h.
-1
Let k(f) = -f**3 - 5*f**2 - 2*f - 8. Let w be k(-5). Solve 4*a = -16, 19 = w*r + r - a for r.
5
Let j(t) = 3*t**2 - 9*t - 80. Let d be j(-7). Suppose 8*m - d = -2*m. Solve -z - m = -3*q, z + q + 1 + 0 = 0 for z.
-4
Let x be 6 - 20/25*5. Solve 0 = 2*j - 4*j - 4*t + x, 4*t - 22 = 2*j for j.
-5
Suppose 451*x - 894*x = -452*x + 603. Solve 65*i = x*i - 2*k + 4, -5*i + k = -6 for i.
2
Let l be 1 - ((-7 - 797) + 5). Suppose 5*b = 25*b - l. Solve v = -3*v - u + 25, -4*u = 4*v - b for v.
5
Let n(s) = 2*s**2 - 4*s + 14. Let g be n(6). Suppose -3*a - 8 + g = 0. Solve -4*c + k = -k + a, -c - 7 = 2*k for c.
-5
Let o(l) = l**3 + 6*l**2 + 2*l + 14. Let u = -258 - -252. Let k be o(u). Solve k*c + 7 = r, -2*c - 3*c - 10 = -5*r for r.
-3
Suppose 13 + 7 = 5*b. Let z(q) = -20*q + 5. Let j be z(1). Let p be -3*((-35)/j + (0 - 4)). Solve 4*t = -5*d - 11, 5 = p*d - b*d - t for d.
1
Suppose 0 = -72*h - 153 + 369. Solve -11 = -i + 5*w, -h*i + 61*w - 1 = 63*w for i.
1
Let b be 13 + (2 - 4/1). Suppose -5*r - 2094 + 2089 = 4*u, 0 = 2*r - 6*u - 36. Solve -d + 7 = d + r*f, -3*f = 4*d - b for d.
2
Suppose -2*u = 3*z - 1081, 5*z - 3*u - 1805 = -8*u. Let v = -355 + z. Solve 4*j - 2*p = -v*p + 10, -7 = -4*j + p for j.
2
Let j be 2/(-19) + 2160/304. Solve -9*q - 3*x = -j*q - 4, 2*q + x = 0 for q.
-1
Let r = -180 + 182. Suppose 0 = -r*l - t + 13, -12*l = -7*l + 2*t - 30. Solve 0 = -2*j + 5*s - 30, -l*j - 2*s - 28 = -4*s for j.
-5
Suppose 3*u + 178*l - 173*l + 1 = 0, -u - 2 = 2*l. Solve 0 = -5*b - 11*a + u*a, -37 = -4*b + 5*a for b.
3
Suppose -211 = -5*l - 191. Suppose 8*v - l*v - 22 = -5*n, 13 = v + 5*n. Solve 4*b - 10 = 2*j - 0*b, 0 = v*b for j.
-5
Let z be 249 - (-7)/(28/8). Let q = 253 - z. Solve -2*c = -3*u + 1 - 3, 2*c - q = -u for c.
1
Suppose p - 4*h = -17, -5*p + h + 4 + 6 = 0. Suppose -181*s - 256 = -197*s. Let q be ((40/16)/(20/s))/1. Solve -p*u + 1 = -q*m, -u - 2*m - 3*m = -6 for u.
1
Suppose -2*d = -f + 28 + 13, 5*f + d - 205 = 0. Let g = f - 36. Solve 2*m = -3*j - g, -5*j + 9 = -4*m + 3*m for m.
-4
Let c(r) = 48 + 158*r - 161*r + 5. Let y be c(4). Solve 3*v + 5*j = 29, 5*v + 3*j = y - 14 for v.
3
Suppose 0 = -6*g + 872 + 202. Let t = 183 - g. Solve -d + t*p + p = -26, 0 = -5*p - 25 for d.
1
Let l = 55 + -55. Suppose -7*k + l*k = -182. Let y be 48/40*30/4. Solve s - 5*u = -k, 4*u - 13 - y = 2*s for s.
-1
Suppose -2*t + 8 = 0, 0*i + 4*t = 5*i + 46. Let l = 204 + -203. Let d be (-1)/(3/i) - (-1)/l. Solve -p + 3 = 0, 5*o + 0*p + d*p - 19 = 0 for o.
2
Let u be (3 + -7 - 170/(-119))/((-6)/28). Solve 0 = -4*t + 4*l + u, 0*l - 2*l = 10 for t.
-2
Suppose 173*z = 166 + 353. Solve -5*s - 16 = -9*s - 4*u, 2*s = -z*u + 11 for s.
1
Suppose 4*u = -4*p, -u + 9 = -2*p + 18. Let l be 15/u - (-56)/7. Solve -a = l*r - 14, a - 6*a - 10 = -r for r.
5
Let m = -801 + 809. Solve 2*p + 3*c - 2 = 0, -5*p = -2*c + 3*c + m for p.
-2
Let r(m) = 4*m**3 + m**2. Let h be r(1). Suppose 0 = -3*k + q - 1, -h*k + 0 = 4*q + 13. Let l be 16 - (0/k + -4). Solve -5*n + l = -n, n - 11 = -2*f for f.
3
Let h(i) = 2*i**2 - 757*i + 2 + 757*i - i**3. Let z be h(2). Solve 3*y - z*j + 9 = 0, 6*y - 3*y + 3*j = -9 for y.
-3
Let c(p) = -2*p + 14. Let n(z) = 7*z + 30. Let u be n(-3). Let o be (-36)/(5 - u) - 3. Let k be c(o). Solve -5*w + 2*t - 3*t - 10 = 0, 0 = w - 2*t + k for w.
-2
Suppose 51*l + 26*l - 154 = 0. Suppose 4*s + 9 = 25. Solve 0 = -5*j - s*q, -2*j - l*j + 5*q = 41 for j.
-4
Let r(k) = -k**3 - 3*k**2 + 19*k + 56. Let o be r(-5). Suppose -d - z = -20, 2*z + 39 + o = 4*d. Solve 0 = 5*h + q + 45 - d, -3*h = -5*q - 10 for h.
-5
Suppose -5*n - 195 = 5*d, 5*n - 4*d + d + 187 = 0. Let s(u) = -2*u**3 - 73*u**2 + 114*u. Let i be s(n). Solve 3 = q + 4*r + 1, -3*q - 5*r + 6 = i for q.
2
Let u(k) = k**3 - 74*k**2 + 217*k - 280. Let j be u(71). Solve -j*w + 5*v = 6, -w - 5*v = 31 - 17 for w.
-4
Let x be 7 + (-111)/(-15) 