15, 2*s = -2*d - 3*s + 12. Let n = d - -5. Suppose -r - 151 = -n*r + i, -5*i + 175 = 5*r. Solve 3*h + 5*y = r, -3*h - y = -12 + 1 for h.
2
Let y be (-24)/(-8) + (-1 - 0). Suppose 7*s = -3*p + 3*s + 29, -y*p - 14 = -4*s. Suppose 2*r = 1 + 1. Solve 5*x = 2*x - 4*i + r, -p*x - 2 = i for x.
-1
Let k(w) be the first derivative of w**3 + 9*w**2/2 + 2*w - 14. Let g be k(-3). Solve -5*d = g*f - 14, 2*f - 4 = -5*d + 5*f for d.
2
Let m = 445 - 443. Solve -1 = m*i + 5, -2*q + 3*i = -17 for q.
4
Let y(x) = -2*x - 19. Let u = 1 + -12. Let v be y(u). Suppose 4 = -4*k + 5*k. Solve -k*p + 3*p = v*a + 13, 16 = 3*p - 2*a for p.
2
Suppose -6 = -2*r + 3*c, 2*r - 4 = -c + 3*c. Solve 3*o - 2*w + 1 = r, -3 = 3*o - w - 1 for o.
-1
Let k be (-5)/(-20) + (5 - (-30)/(-24)). Solve 2*z - 8 = -2*o + 4*z, -2*z = -k*o + 12 for o.
2
Let a(p) = p**3 + 4*p**2 + 2*p. Let w be a(-2). Let k be (6 - 9)*1/1*-3. Solve j - 1 = -4*n + k, w = n + j for n.
2
Suppose -18*n + 26 = -46. Solve 2*h - 5*w - 28 = 0, -6*h + n*h - w + 4 = 0 for h.
4
Suppose 4*d - 19 = 9. Let f be 1/4 - (-210)/(-40). Let n = d + f. Solve 0*x - 2*x = -2*i + 4, -3*x + n*i = 7 for x.
-3
Let o(p) = -2*p**2 + 28*p - 87. Let x be o(9). Solve x*f + b = 4*b, -f = b + 4 for f.
-2
Let b be ((-6)/(-8))/((-12)/(-48)). Let t be (39/9 - b)*3. Suppose -t*x + 1 = -k + 2, 3*k + x = 16. Solve 3*w - 10 = -k*u, 4*w - 2*u + 40 = 2*u for w.
-5
Suppose 6*v - 2*v - 8 = 0. Suppose -v = 42*a - 43*a. Solve -6 = 3*p - 0*p - m, m = a*p + 3 for p.
-3
Suppose -4*g + 2 + 3 = u, 2*g = 3*u + 13. Solve g*x + 5*r + 30 = x, 0 = -2*x + 3*r + 5 for x.
-5
Suppose -7*s + 6 + 36 = 0. Solve o - s*o - 3 = -4*v, 9 = o + 4*v for o.
1
Suppose 10*s - 5*s = 8*s. Solve -3 - 13 = -4*c + 4*z, s = z + 5 for c.
-1
Suppose -8*q = 5*q - 7*q. Solve 2*o + q*o + 35 = 5*x, -3*o - 2*x = 5 for o.
-5
Let s be 1*(5 + (3 - 7)). Solve 0*j - s = j + 3*b, -j - 3 = 4*b for j.
5
Let x = 138 + -137. Suppose -2*k = -6*k. Let l be (k - x) + -3 + 6. Solve -2*u + l*d = 6, -11 = 3*u + 2*d - 6*d for u.
-1
Suppose -3*h = -5*v + 3, h = 4*v + 4*h - 24. Suppose -2*g - 5 + 17 = 0. Suppose -r + v*r = g. Solve 0 = -2*s, 3*t + 6*s - r*s - 6 = 0 for t.
2
Let k be 24/(-30) + (-78)/(-10). Let j(o) = o**3 - 8*o**2 + 12*o - 11. Let d be j(k). Solve 0 = 3*v - 5*w - d, -3 = -0*v - 4*v - 3*w for v.
3
Let l be 638/88 + (-6)/(-8). Let b = -17 - -28. Let x = b - l. Solve -2*g - 4 = x*d - 7*d, 0 = -5*g + 3*d - 17 for g.
-4
Suppose -25 = f - 6*f. Suppose -264 - 60 = -94*l - 42. Solve 3*i - 3*r = -l, 4*r - f = 7 for i.
2
Let h = -682 - -687. Solve 3*m = h*g + 9, -2*g + 4 = -3*m - 2*m for m.
-2
Let g be 3/9 - 196/(-42). Solve -5*t = -0*t + 3*b + 7, -5 = -g*b for t.
-2
Let f(q) = q**3 + 14*q**2 - 2*q - 28. Let l be f(-14). Solve -4*a - 18 = -l*c + 2*c, 2*a = -3*c - 15 for a.
-3
Suppose 11 + 13 = 2*v. Suppose 5*u = x - 1 + 6, -2*x = u - v. Solve 3*c + u = -k + 3, 0 = 4*k - 5*c + 13 for k.
-2
Let p(d) = d**2 + 7*d - 8. Let b be p(-9). Let g = 37 + -37. Solve -t = g, 5*o + 2*t = 7*t - b for o.
-2
Suppose y + j = -2, -y + 6*y - 40 = 5*j. Let u(z) = z**3 - 8*z**2 + 5*z + 7. Let p be u(5). Let q = p + 45. Solve -16 = y*c + q*x, -5*c = 2*x + 6 + 14 for c.
-2
Let b(x) = 5*x**2 + 8*x - 10. Let p be b(4). Let c = -97 + p. Solve 3*o - 13 = c*f, 2*f + 2*f = -20 for o.
-4
Let y(c) = c**2 + 12*c + 10. Let w be y(-11). Let g = w - -4. Solve 5*s - 2*t = 4 + 3, g*s = -3*t for s.
1
Suppose t = 4*t - 12. Let b(z) be the first derivative of z**3/3 - z**2/2 - 5*z - 2. Let c be b(t). Solve -m = -5*q + c, m - 3 = q - 2 for m.
3
Let h(b) = -2*b + 11. Let s be (-6)/15 - (-168)/20. Let i be h(s). Let x be ((-4)/(i - -3))/2. Solve -5*v - 4 - x = -3*l, -2 = -5*l + 2*v for l.
0
Suppose 5*j - 3*j - 4 = 4*q, 0 = j - q - 5. Let y(s) = -3*s + 30. Let b be y(j). Solve -b*f - 3*l = -2*f - 13, 4*f - 2*l = 18 for f.
4
Let b be 0/(-2 + -5)*4/8. Solve 5*g - h + 5*h + 1 = b, 5*g + 2*h = 7 for g.
3
Let m be (693/44)/3 + (-1)/4. Solve -x + 1 = b - 5*x, -m*x = 3*b - 3 for b.
1
Let r(o) = -o + 27. Let d(v) = 2*v - 28. Let z(u) = 4*d(u) + 3*r(u). Let q be z(10). Solve 2*c = -m - 9, 3*c = -m - c - q for m.
1
Suppose 16 = -d + 4*y, 4 = d - 5*y + 6*y. Solve -2*b + 9*q - 5*q - 4 = d, 4*q = -2*b - 4 for b.
-2
Let s = 72 - 66. Suppose 0 = -3*q - 5*w - 13, -s*w = q - 2*w + 16. Let f = -14 + 20. Solve g = -0*g - 2, -f = q*x - 5*g for x.
-4
Let n(v) = v**2 - 19*v + 30. Let c be n(17). Let m = c + 20. Suppose -2*q = -s + 1, 4*q = -2*s + 2 + m. Solve -a - k = -3*k + 3, 3*k + 13 = -q*a for a.
-5
Suppose h = -0*x - 3*x + 68, -h = -5*x + 108. Solve -2*y - 13 = q + 2*q, -4*y - x = 2*q for y.
-5
Let w(i) = -i**3 - 13*i**2 + 2. Let y be w(-13). Solve -6*t + 2*t + 10 = -y*b, t + 4*b - 7 = 0 for t.
3
Let o = 56 - 52. Let h be (6/(-15))/(o/(-50)). Solve 3*y = i + 7, 0*y + 5 = -3*i + h*y for i.
5
Let x be -2 - -3 - (-5 - 14). Suppose -18*q - 12 = -x*q. Let c = q + -1. Solve -2*u + 2*w + 8 = 0, -c*u + u - 4*w - 8 = 0 for u.
1
Let u(f) = 5*f**2 + 1. Let z be u(1). Let n be 2/3*45/z. Let y(g) = g**3 - 6*g**2 + 7*g - 5. Let s be y(n). Solve -2*c + s*c = -2*l - 25, -3*l = -2*c + 5 for c.
-5
Let j = -867 - -882. Solve s - 5*w + 7 + 5 = 0, 2*s + 3*w - j = 0 for s.
3
Let a be (0 - (-5)/(-10))*-4. Let x be -1 + 1*(3 + -2). Solve 4*v = a*d - 0*v + 26, -d - v + 2 = x for d.
-3
Let o be (28/(-6))/(5/(-15)). Suppose 4*q = k - 0 - o, 2*k - 3*q = 13. Solve 5*x = -8 - 12, 2*x = 3*d - k for d.
-2
Let i be (39 + -24)*1/5. Solve 3*y = -4*u - 18, 2*y + 13 = -i*u - 0*y for u.
-3
Suppose -r + 7 = 4*l, 3*l - 8*r = -3*r + 11. Solve h + 4*g - 17 = 0, -19 = h - 3*g - l*g for h.
1
Let q be 3 - (-4 + 0)/2. Solve -q*k + m = -13, -2*k - 3*m + 5 = -7 for k.
3
Suppose -2919*r = -2925*r + 12. Solve -4*h + 3 = -4*g + g, r*h - 19 = 5*g for h.
-3
Let s be (15/(-21) + 1)*(3 + 11). Solve -f - 4 = z, -s*z + 5*f + 14 = -6 for z.
0
Let n be (102/(-30) - -5)*(-10)/(-4). Suppose -q + 1 = -4*f, n*q + f = 5*f + 40. Solve -h + 4*h = -i - 4, -h = -2*i + q for h.
-3
Suppose 29 = -2*g + 37. Solve 2*x = g*k - x - 4, -5*x = 0 for k.
1
Let k be 1*(4 + 2*-1). Suppose -z + 9 = -2*c, -9*c + 11*c = 2*z - 12. Let l = 8 + -6. Solve -l*r = -d + z, k*r - d = -4*d - 7 for r.
-2
Suppose 6*o = o + 320. Let t = o + -61. Solve 0 = 2*d - q - 9, 5*d + 8*q = t*q - 15 for d.
2
Let m be (-21)/(504/(-80)) - (-2)/3. Solve -2*j - 5 = -m*p + 1, -2*p + 33 = 5*j for p.
4
Let w(t) = 2*t + 72. Let b be w(-35). Solve -b*j = -5*v, -4*j - 7*v = -2*v for j.
0
Let g(m) = -m**3 - 10*m**2 - 26*m - 149. Let h be g(-9). Suppose 5*i = 0, 0*z = 4*z - i - 4. Solve -h*y + j = -3*j - 4, 2*y - j - z = 0 for y.
0
Let y(p) be the first derivative of -3*p**2/2 + 51*p + 45. Let n be y(16). Solve n*r = -2*u + 1 - 5, -3*u - 23 = -4*r for r.
2
Suppose 3*k + 2*k - 7 = -4*b, 0 = -5*k + 5*b + 25. Suppose 4*t = j + 3, k*j + 5 = t - 4. Solve -5*o + t*u = 2*u + 4, 5*u + 10 = -4*o for o.
0
Suppose 3*n + 6 = 0, 0 = 4*b + 3*n + n - 4. Suppose b*q = 3*x + 48, -4*q + 25 = 2*x - 15. Let y = 14 - q. Solve m - 6 = -2*a - 2, y*m + 5*a - 10 = 0 for m.
0
Suppose w + 29 - 79 = 0. Let h be (1/(-1))/((-10)/w). Solve 0 = j - 5*j + 5*d - 3, -24 = -h*j - 3*d for j.
3
Let p be (-8)/(-36) + (-64)/(-36). Suppose -2*a - p*a + 36 = 0. Solve 0 = -j - 2*f + 7, -2*f + a = -4*j - 3 for j.
-1
Let g = -4 + 9. Suppose -w = -3*w + 8. Let b(u) = 2*u**2 - 3*u. Let j be b(w). Solve -j = g*s, -y - s - 4*s - 15 = 0 for y.
5
Suppose -3*r = 2*k - 113, 5*k + 4*r - 300 = -0*r. Suppose -2*b + k = 2*b. Suppose 0*l - l + 6 = -z, 4*z + b = 0. Solve -i - l = -3*m, 3*i + i = -5*m + 26 for i.
4
Let f = -340 + 340. Solve -4*d + 2*d = -5*y + 10, -3*y + 3*d + 15 = f for y.
0
Suppose -171*w = -165*w - 24. Solve 0 = -3*o + 5*o - 2, -w*o = -y for y.
4
Let f(d) = -d**2 - 6*d + 3. Let n be f(-6). Suppose 15*v - 40 = 65. Solve 0 = 2*q + 8, 14 = -n*x + 2*q - v*q for x.
2
Let v be 1/(-9)*-3*12. Suppose -v*h = 2*j + 3 - 39, -2*j = h - 36. Let x be 32/(-12)*j/(-8). Solve 4*b + 35 = -5*p, p - x*b - 22 = -b for p.
-3
Suppose -139 = 3*w + 4*i, 2*w - 3*i = 7*w + 217. Let l = -20 - w. Solve 5*f + 30 = -5*k, 0*k - 4*k - 3*f - l = 0 for k.
-3
Suppose -2*l = -l. Let r(k) = 2*k + 3. Let w(d) = 3*d + 5. Let o(f) = -5*r(f) + 3*w(f). Let m be o(-1). Solve 3*t - 5*q - 25 = l, 5*q = -5*t - 26 + m for t.
0
Suppose -5*g + 40 = 3*a, 0 = g - 2*g + a. S