+ -1)). Solve 0 = s - o + f, -3 + g = -3*o for s.
-4
Suppose 157 = 3*w + 172. Let s(u) = -52*u - 258. Let q be s(w). Solve f + 17 = 2*o + 2*o, -4*o - q*f + 14 = 0 for o.
4
Let u = 5 - 3. Let d be ((-40)/(-6))/((-9380)/(-2814)). Solve u*s - b = 12, -s + b = d*b for s.
4
Suppose 0 = -4*b + 24 - 8. Let t = -341 + 417. Suppose 35*x - t = 16*x. Solve x*g = -v + 4*v + 12, -b*g - v = -12 for g.
3
Let p(h) be the first derivative of -h**4/4 + 3*h**3 + 7*h**2 - 32*h + 45. Let b be p(10). Solve q + 2*z - b = -q, 4*z = 2*q - 8 for q.
4
Suppose 2 = -q - 4*v - 7, -4*q + 5*v + 27 = 0. Suppose -42*r - 36 = -46*r. Solve q*f + 4*y - y = 0, -r = 4*f - 5*y for f.
-1
Let q(x) = -x**3 - 39*x**2 + 225*x + 224. Let m be q(-44). Solve -4*c - m*l = 8, 2*c + 2*l - 7*l = 31 for c.
3
Let c(n) = 4*n**2 - 115*n + 307. Let d be c(26). Solve -r + 4*u = 16 - d, 2*r + 4 = u for r.
-3
Let n = 594 - 665. Let k = 60 - -13. Let g = n + k. Solve 2*m - 16 + g = -2*c, 0 = 4*c - 16 for m.
3
Let i be ((35/20)/7)/(-1)*-40. Suppose -6*f = -5*f + 4*g + i, 8 = -2*g. Solve -2*a = -w - 3, -2*a + f*a = 0 for w.
-3
Let c = -6453 - -6458. Solve -31 = c*h - 4*j, -2*j = -4*h - 0 - 20 for h.
-3
Suppose -56 - 37 = -31*p. Solve 0 = 5*d + r + 19, -p*r - 2*r + 9 = -d for d.
-4
Let c(x) = -15*x - 6. Let w be c(-6). Suppose -44*q - w = -42*q. Let r = 52 + q. Solve -z + 0*z + 2*t = 13, -5*t + r = 2*z for z.
-5
Suppose -3*y - 416 = -11*y. Suppose -3*t - 2*r - 8 = 0, 3*t - 2*r - y = -44. Solve -z + 1 + 1 = t, -4*a + 22 = z for a.
5
Let w = 13 - 3. Suppose -5*j + 30 - w = u, -3*u = -5*j. Solve 2*k + 3*k = 15, k = -j*y + 3 for y.
0
Let h = -129 - -131. Suppose 0 = h*a + a + 5*o - 5, 2*a - 2 = -2*o. Solve -q = 4*n + 8, a = -2*n - n - 6 for q.
0
Suppose -3*f + n + 34 = 0, 0*f - f + 4*n = -15. Let x(g) = -g**2 + 21*g - 7. Let l be x(f). Let o = -99 + l. Solve r - 1 = -o, t - 4*r - 7 = 0 for t.
-5
Suppose -102*k = -884 - 952. Solve -5*g - l - k = -9*g, -6 = -2*g - l for g.
4
Suppose -54*k + 436 - 166 = 0. Solve -k*a - 10 = -2*r, -2*r + 25 = -4*a + 3*r for a.
0
Suppose 2*i - 14 = -g, -i = -5*i + 3*g + 8. Let j(t) = 8*t + 11. Let p be j(5). Let d = -44 + p. Solve -m = -6*m + 10, -i*q - 4*m = d for q.
-3
Suppose 6*m - 5*m + 2*b = 12, -m = -4*b + 18. Solve -17 = -3*q - 2*q - 4*z, -5*q + m = -z for q.
1
Suppose -3*l + 3*q - 303 = 0, -2*l + 6*q - q - 193 = 0. Let t be (-2)/13 + (-224)/l. Solve -5*w + 9 = -6, -t*o - 7 = -5*w for o.
4
Let q(u) = 95*u - 1235. Let z be q(13). Solve -12*w + 7*w - 4*j = -9, 2*j - 2 = z for w.
1
Let t be -10 - ((76/(-8))/19)/(1/6). Let y = 12 + -6. Let z be (y/(-21))/(t/49). Solve 4*m + 4 = -4*r, -2*r + 10 = z*m + 3*r for m.
-5
Let r be -1 + -6 + -10 + 18 - -24. Solve -4*s + 8 + r = 5*l, 0 = 3*l + 5*s - 25 for l.
5
Suppose 8*u + 7 = -4*g + 3*u, 2*u + 16 = 5*g. Let n be (4 - (g - -1))*4/1. Solve -3*l + 0*z + 27 = n*z, -5*l + 2*z = -19 for l.
5
Let b(q) be the first derivative of 11*q**3/3 + q**2 - 3*q - 17. Let s be b(1). Let o be 1/(((-4)/s)/(4/(-5))). Solve -4*w = 3*v - 9, 0 = o*v - w + 1 - 7 for v.
3
Suppose 0*m - 5*m + 9*m = 0. Let n(x) = -4*x + 137. Let d be n(m). Let b = d - 113. Solve 0 = -4*a + 4*l + 20, -4*l - b = -6*a + a for a.
4
Suppose 4*i - i = 4*p + 49, 0 = -3*i - 2*p + 61. Let l(f) = 2*f**2 - f - 16. Let g be l(5). Solve i = -3*j + 4*h, j - 5*h - 8 = -g for j.
-1
Let g be 840/220 - 6/(-33). Suppose 8*a - 2 - 30 = 0. Solve 7 = 3*u + g*j, 5*j - 2 - 8 = -a*u for u.
5
Let j be 10 - 11 - 2*-8. Suppose 0 = -5*c - 3*f - 23 + 4, -3*f = 3*c + j. Let m be c*(-4 - -3) + 2. Solve 0 = 3*u - 4*n - 11, 2*u + 20 = -2*n + m for u.
-3
Let x(a) = -a**3 - 15*a**2 + 20*a + 68. Let h be x(-16). Let j be ((-6)/(-4))/(1/6). Suppose j*r = h*r + 60. Solve 5*y - y + r = 4*t, 2*y = -t for t.
2
Let o be 18 + -16 - (-5 + -1). Let a be o + -2 + -1 + -2. Solve -k - 5*b = 10 + 4, 11 = 2*k - a*b for k.
1
Let p = 635 + -613. Suppose 2*w = 4*z + p, 0 = 11*z - 7*z + 16. Solve -w*l = f + 4, f - 1 = 3*l + 1 for f.
-1
Suppose i + 0*f = -4*f - 4, 2*i = -2*f + 4. Suppose i*p + 182 = -h, -2*p = 3*p - 5*h + 240. Let u = p + 51. Solve -17 = 2*x + 2*s - 3, 0 = u*x + 3*s + 25 for x.
-2
Let h(v) = -v + 9. Let j be h(7). Suppose x - 2*t - j*t = 26, 3*x + 5*t + 7 = 0. Suppose 6 = x*r - 4*r. Solve r = l - u, 6 = -4*l - 5*u - 18 for l.
-1
Let v = -3074 - -3077. Solve v*o + 4*k - 35 = -0*k, -2*o + 2*k = 0 for o.
5
Let t be 156/(-195) + (-356)/(-20). Solve 0*v - 4*z + 12 = -2*v, 3*v - t = -z for v.
4
Let u(m) = m**3 - 18*m**2 + 48*m - 20. Let n be u(15). Suppose -328*v = -333*v + n. Solve 0*k - k = v*y - 24, k = 3*y - 8 for k.
4
Let x = 23018 - 23016. Solve 0 = -40*a + 35*a + x*h - 12, 2*a + 4 = h for a.
-4
Let x be (-193 - -1)/((198/12)/(-11)). Suppose 16 = 3*f - x. Let l = 53 - f. Solve u - 2*t = -6*t + 10, -2 = -l*u + 4*t for u.
2
Let r = -9 - -12. Suppose -6 = r*m - 3*p, 7*m = 3*m + p + 4. Let i(w) = -w + 8. Let h be i(5). Solve -j + h*j + 6 = s, -3*s - m*j = 6 for s.
0
Let w = -6186 - -6192. Solve 5*l - w = -2*x + 10, -4*l = -5*x - 26 for l.
4
Let j = -6398 - -6399. Solve -85*z + 3*r = -90*z + j, -z = 3*r - 5 for z.
-1
Let c(p) = -2*p**3 - p - 1. Let s be c(-1). Suppose 16*w = -92 - 484. Let o be (w/15)/6*-5. Solve -2 = -n + a, 1 = -n + o*a + s*a for n.
3
Suppose 33*a - 310 + 178 = 0. Suppose -j = j - 6. Suppose j*v - 20 = -5*s, -4 = -s + 2*v - 0. Solve 2*u = a, 0 = -4*m - u - s*u - 6 for m.
-4
Let h be (-7)/(63/162) - -21. Solve r + 4*b = -12 + 21, -2*r - h*b + 3 = 0 for r.
-3
Let d be 12/(-126) - (-321)/63. Suppose -d*v = -v. Solve v*f = -2*q - f + 4, 4*q + 8 = 2*f for q.
0
Suppose -100 = 79*x - 77*x. Let r be (-14)/(5/x + (-2)/5). Solve -4*m + 3*h = -r, 5*h + 41 = 4*m + 5 for m.
4
Let d = 463 + -463. Suppose 2*m - 94 + 10 = -5*y, d = -4*y - 4*m + 60. Solve 3*c = a + 7, -2*a + 3*c = 5*c - y for a.
5
Suppose 825*y + 22 = 836*y. Solve 0 = y*l - 5*t - 3, 6*t = 5*l + 10*t - 24 for l.
4
Let q(v) = 229*v - 453. Let c be q(2). Solve h - 5 = -f, -c*f + 4*h - 19 = -8*f for f.
1
Suppose 139*a - 103 = 314. Solve -3*y - 1 = -a*d - 7, -5*y = 5*d + 40 for y.
-3
Suppose -5*v = -3*v - 2*c - 18, -2*c - 23 = -3*v. Solve 2*t = 5*y - 2*t - 5, 0 = -y - v*t + 1 for y.
1
Let n(l) = -2*l**3 - 20*l**2 - 9*l - 88. Let f be n(-10). Suppose -4*i - 4*d = d - 39, -3*i + 2*d = -58. Solve -2*z - i = f*z - 2*u, z - 4*u - 3 = 0 for z.
-5
Suppose 225*i + 31 = 481. Solve 4 = -0*q - 2*q - l, i*q - 2*l - 8 = 0 for q.
0
Let v be 35*(0 - (2 + 72/(-30)))*1. Solve 0 = -3*z, 5*g - 15*z + v*z = 10 for g.
2
Let j be 2 - (4 + (2 - 6)). Suppose -3*b = j*i - 6, 2*b = 2*i - 0*b + 14. Let x be 9*((-4)/i)/4. Solve -4*r - 5*v = -29, r = 2*v - x - 6 for r.
1
Suppose -8*a = 775 - 2271. Let w = a - 184. Solve 4*d = -2*t + 12 + 2, -w*d = -4*t - 27 for d.
5
Let o(w) = -129*w - 385. Let m be o(-3). Solve m*z = 5*s + 17, 4*s + 19 = -4*z - 17 for s.
-5
Let h = 44 + -113. Let a be 5 - (h/(-21) + 4/(-14)). Solve -i - 21 = -4*p, -a*p + 3*i = 3*p - 28 for p.
5
Let a be (-1*(-28)/8)/(154/56 - 1). Let h = 7 - 3. Solve -u - h = s - a, -5*u = -2*s - 11 for u.
1
Let x(t) = -t**3 + 2*t**2 + t + 9. Let k be x(3). Suppose 0 = 5*m + k*g - 32, 3*g - 28 = 2*m - 6*m. Let f = 12 - m. Solve 3*l - 19 = 5*a, 4*l - f = a + 6 for l.
3
Suppose 248*q - 124 = 250*q. Let d = q - -64. Solve z = 5*z - 3*v - 7, -d*z - 5*v - 3 = 0 for z.
1
Let y = -2742 - -2746. Solve y*w - 11 = c + 13, 5*c - 5*w + 45 = 0 for c.
-4
Let w(z) = z. Let j(y) = 9*y - 50. Let v(t) = -j(t) + 6*w(t). Let q be v(12). Solve -4*b = -g - 10, 6*g - 2*g = 3*b - q for g.
-2
Let l be (1 - (-1 + 1 + -5))*1. Suppose l*t + 70 = t. Let z be ((-12)/t)/((-18)/(-84)) - 2. Solve f + 5*y = z, y = -2*f - 4*y - 1 for f.
-3
Let v = -5396 - -5401. Solve v*p - 9*l + 10*l + 22 = 0, l + 10 = -2*p for p.
-4
Suppose 26*m + 970 = 52*m + 71*m. Solve 0 = a - 5*w + 1, 10*a - m = 7*a + 2*w for a.
4
Suppose 14 = 2*y + 2*o, 3*y = 5*o - 4 + 9. Suppose 0 = 4*n + y*u - 14, 3*u = 5*n - n - 30. Solve -3*d + 9 = -3*s, 0 = -4*s + 5*d - n - 5 for s.
-4
Let y = 6527 - 6519. Solve -b - 8 = -6*g + y*g, g + 4*b - 3 = 0 for g.
-5
Suppose -30*k = -27*k. Suppose k = -26*g + 8*g + 54. Solve g*n + 25 = d + 3*d, -5*d = -5*n - 35 for d.
4
Suppose 0 = -h + i, -5*i + 12 = -i. Suppose -7 = -g - 5*d - 0, 0 = -4*g - 4*d + 12. Solve c + j - 2 = g*j, h*c + 3*j - 24 = 0 for c.
5
Let o(y) =