Let y be d(-1). Suppose -p - 6 + 22 = -y*z, p = -z - 4. Solve p = -5*x + 4*x + n - 1, 5*n - 25 = 0 for x.
4
Let f(g) = 4 + 1 - 17*g + 2*g - g**2. Let l be f(-15). Solve -5*w + 45 = -l*d, -5*d + 3*d - w = 6 for d.
-5
Let x be (-2)/4 + 52/8. Let t(z) = -z**2 - 13*z - 6. Let n be t(-12). Let f = 1 + n. Solve -s + 2*o + f = 0, 4*s - x*s = 3*o - 7 for s.
5
Suppose -3*i + 23 = 5*g, -g - 4*i - i = -9. Suppose -7 - 3 = -v. Suppose -r + v = 2*q, 2 = -4*q + 14. Solve -r*k + 0*y = g*y, -4*k = y for k.
0
Suppose -4*i = -2*z - 2*z, 0 = 4*i + 3*z - 14. Let t be -1 + 24 - (i + -1). Solve -3*j + 6*j - b = -14, 0 = -3*j + 5*b - t for j.
-4
Let s = -5 - -1. Let n = s + 6. Let z = -7399 - -7409. Solve -3*o + 16 = -0*h + n*h, 3*h + o = z for h.
2
Let g be 2 - 4 - -2 - -3. Let c(q) = q**2 - 13*q + 2. Let l be c(14). Solve g*y + 4*f = -l, 17 = -3*y - 4*f - f for y.
-4
Let j = -76 + 80. Solve -j*w - 4*d = -28, -d + 4*d = 6 for w.
5
Let p(h) = -h - 13 + 19 - 11 + 0*h. Let x be p(-11). Solve 0 = 4*s - u + x, -1 - 5 = 5*s - 2*u for s.
-2
Let f(h) = h**2 - 6*h - 7. Suppose 44 = 4*t + 4*x, t + 1 + 4 = 3*x. Let w be f(t). Solve 4*p + 7 + 7 = -2*s, w = 4*p - 3*s + 29 for p.
-5
Let x be -24*(185/(-40) - -4). Solve 2*y + 2*q - 12 = 0, 4*y - 7*q = -8*q + x for y.
3
Suppose -12*l = 39 - 63. Solve 4*x + 4*o - 32 = 0, -l*x - 4*o = -0*x - 22 for x.
5
Suppose -86 = 23*o - 247. Solve 5*d - s - 10 = o, 3*d + 4*s = 1 for d.
3
Let d = 11 - 8. Suppose 17*t - 7*t = -1600. Let q = 164 + t. Solve -3*m = -q*x - 7, -x + d*x = m - 5 for x.
-4
Let v = -49 - -49. Suppose 0 = 5*k - p - 5, -4*k = -4*p - v - 4. Solve -4*i = 5*t - 3, t - 2*i = -6 + k for t.
-1
Let v(i) = -i**3 - 28*i**2 + i + 33. Let n be v(-28). Solve -2*s + 5*p = -7*s - 15, -5*p = -n*s - 35 for s.
-5
Suppose -r - 9 = -2*a, 80*a - 3*r = 84*a + 7. Solve -a*p - 4*f + 6 = 0, 0 = -p - f + 6*f - 4 for p.
1
Let d be (25 + -1)*3/6. Let x be (-44)/(-6) - (-8)/d. Suppose 3*h = 9 - 0, -w + h + 13 = 0. Solve -2*p - w = -i - 5*p, -3*p + x = -i for i.
4
Suppose 0 = -2*j + 280 - 256. Solve -2*d + 0*d + 4 = i, -3*i = j for d.
4
Let z(x) = 2*x**2 - 24*x - 8. Let g be z(13). Let u = 20 - g. Solve w + 4*w = -q - 14, 4*q = -u*w - 2 for w.
-3
Let k(h) = -h**3 + 37*h**2 + 208*h + 86. Let v be k(42). Solve 3*x - 5*x - 1 = 3*a, 9 = -v*a - 3*x for a.
3
Suppose u = 2*u. Suppose 5*i - 44 = -2*c + 3*i, u = c + 3*i - 16. Suppose 4*a - c = -a. Solve -21 = 4*d + w, 2*d = 4*w - a - 1 for d.
-5
Let m = -311 + 315. Solve -5*i - 3 = 3*n - m*i, 3*n + 3 = i for n.
-1
Suppose -5*a + 68 = -92. Let w = -525 - -528. Solve -16 = 4*o - 3*k + 4*k, -4*o = -w*k + a for o.
-5
Let j = -4 - -5. Suppose 1 = d - r - j, 3*d - 27 = -4*r. Solve -3*g - 10 = 2*w, w + 0 = -3*g - d for g.
0
Suppose 0 - 8 = -2*u. Suppose 7*d - 57 + 22 = 0. Suppose -u*k = -3*k - d. Solve -5*r = -k*p - 30, 2*p = -4*r + 3*p + 15 for r.
3
Let q be 343/28 - 3/12. Solve -q = -3*h, 0*j - 2 = 2*j + h for j.
-3
Let d be 5 + (7 - 3) + -1. Solve -3*o + d = -4*y, o - 3 = y - 0*y for y.
1
Let w = -1183 - -1183. Let p(k) = k + 3. Let h be p(-6). Let d be (-6)/(-5)*(2 - h). Solve 2*b = 3*r + 4, -3*r + 0*r + d = w for b.
5
Let r = 82 - 70. Suppose 6*x + 14 = 4*x. Let d = x + r. Solve 2*b - f + d = 0, -4*f - 31 + 7 = 3*b for b.
-4
Let n(t) = -t + 6. Let w be n(9). Let k be 20/w - (-2)/3. Let s be (k/18)/((-1)/12). Solve s*m - p = 13, -3*p + 3 = -5*m + 28 for m.
2
Let s be -10 - ((-7)/3 - 22/33). Let c be (-2)/(10/s + 15/35). Solve -5*m + 3*t - 4 - 1 = 0, -c*m = -t + 2 for m.
-1
Let t(c) be the first derivative of -c**2 - 6*c - 13. Let f be t(-5). Solve 5*n = f*w, -n + 0*n + 4*w - 16 = 0 for n.
4
Let h be 44/(-4)*(5 + -6) + 3. Solve -5*g = z + h, 4*z + 22 = -2*g - g for z.
-4
Let j(a) = a**2 + 8*a - 8. Let v be j(-12). Let r = v + -21. Solve 0*y - 2*y - 3*h - r = 0, -3*h = -2*y - 1 for y.
-5
Suppose -220 = -2*g + 4*n, -202 = -2*g + 3*n - 5*n. Let z = g - 100. Solve 5*f - 2 = y, -f = -y - z*f - 2 for y.
-2
Let d(o) = o**2 + 19*o + 3. Let j be d(-18). Let l = 18 + j. Solve 35 = 4*k - l*v, -5*k + 4*v + 40 = -k for k.
5
Suppose 0 = 4*y + 12 - 20. Let j be ((-2)/(-4))/(y/28). Solve 2*b + 2*a = -4, 3*b = -a - j + 3 for b.
-1
Let p(v) be the first derivative of v**3/3 + 22. Let g be p(2). Solve 4 = -q - g*w + 5*w, 0 = -5*w for q.
-4
Suppose p + 2*p = -3*z - 33, -2*z + 5*p - 8 = 0. Let a be z/(-6)*(-40)/(-6). Solve 2*m - 28 = 2*v - a, -32 = 4*v - 3*m for v.
-5
Suppose -3*n - 3 = 3*q, n - 2*q - 2*q - 14 = 0. Solve -v = 3*f + n*f - 6, 4*v + 16 = 0 for f.
2
Let t = 0 - -3. Let j(l) be the third derivative of l**5/10 + l**4 + 5*l**3/6 + 26*l**2. Let g be j(-4). Solve w = -t*o + 3*w - 17, 0 = o + g*w for o.
-5
Suppose 16*y - 42*y + 130 = 0. Solve 17 = -y*v - 3*w, v - 5*v = -4*w - 12 for v.
-1
Let y(q) = 8*q**2 - q + 1. Let h be y(1). Suppose 0 = 4*d - h*d - 36. Let u be (-3)/(d/12) - 1. Solve 0 = -n - u*f - 7, -3 = 4*n - 5*f + 8 for n.
-4
Let l = 25 - 15. Suppose 4*a + l = -a. Let t be a - (0 + -1)*4. Solve -4*q + 1 = -f, -7 = -t*f + q - 2 for f.
3
Let g = -54 - -57. Solve 3*s + 4*x = 2*s + 16, g*x = -4*s - 1 for s.
-4
Let g be (76/114)/(-1 + 16/12). Solve g*z + 0*u + 4 = -u, -2*u = -8 for z.
-4
Let l(b) = 2*b**3 - 3*b**3 + 5*b**2 + 6*b + 3 + 1. Let j = -41 - -47. Let v be l(j). Solve -3*d = -v*u + 5, -2*d - 14 = 5*u - 3 for d.
-3
Let q be (-4)/(-10)*(0 - -70). Let v = 20 - q. Let y = v - -12. Solve 2*r = -5*c + 3, -2*c = -2*r - 0*c - y for r.
-1
Let w = -83 - -118. Solve -o + d = 1, w = 4*d + 15 for o.
4
Let g = 24 + -5. Let n = 33 - g. Solve -k - 10 = -3*m, 5*m - 16 - n = -5*k for k.
2
Let l(r) = -1 - 5 + r**2 + 3. Let d be l(4). Suppose -5*v = -4*v - w - 10, -w = 3*v - 38. Solve 2*u - 5*h + 15 = 0, -h = 4*u - v - d for u.
5
Let l(x) = x**3 + 21*x**2 + 2. Let j be l(-21). Solve n - 5*w - 14 = -j, -4 = -n + w for n.
2
Suppose -4*i + 3*h - 4 = 0, 6*h - 3*h - 3 = 3*i. Let f be i - (1 + (-3 - -1)). Suppose f*u - 7 = -u. Solve j + 2*g = u, 5*j + 2*g - 5 = 7*g for j.
3
Let n = 543 + -542. Solve 2*y - r = 6*y - 5, -n = -r for y.
1
Let a(j) = 2*j**2 - 9*j - 5. Let g be a(5). Suppose g = -5*z + i + 20, 5*z + 2*i - 3 = 2. Solve -5*c + 4*q = -17, 4*c - c = -z*q + 21 for c.
5
Let b be ((-15)/2)/(3/28). Let r be b/(-22) + (-6)/33. Suppose t = -i + 5 + r, -5*i = 3*t - 36. Solve -j = 2*d + 10, -i*d + d - 2*j = 24 for d.
-4
Let k = -37 + 61. Let f = -95 - -99. Suppose 3*z - s - 24 = -f*s, -5*s + 15 = 0. Solve -k = -4*j - 5*r, -r - 7 = z*j - 4*r for j.
1
Suppose 24*q - 50*q = 0. Solve 4*p - 2*m + 0*m - 6 = q, -2*m = -6 for p.
3
Let y(t) = 2*t**2 - 5*t - 1. Let k be y(3). Solve -2*w + 36 = 4*d + k*w, -4*d = 5*w - 40 for d.
5
Let p be -2 + 4*(-2 - -3) + 1. Solve 4*j - p = 2*v + 9, -3*j + 3*v + 12 = 0 for j.
2
Let o be 4/6 - 52/(-12). Suppose 32 = o*x - x. Let f be (185/(-10))/((-1)/2). Solve h = 2*p + 3, 5*h + 5*p + f = -x for h.
-5
Let z(c) = 2*c**3 + 19*c**2 - 13*c - 6. Let b be z(-10). Let u be (11 + -13 - (-1 + 3)) + b. Solve -6*v = -v + 2*i - 10, -4*i - u = 0 for v.
4
Let q(a) be the first derivative of a**3/3 + a**2/2 - a - 32. Suppose 1 = 5*z - 4. Let g be q(z). Solve 0 = 4*l + y - 5, -g - 9 = -2*l + 2*y for l.
2
Let l be (-1 + 1)*(-5)/(10/1). Solve -y + l*i = 5*i - 11, y - 2*i + 3 = 0 for y.
1
Let m = -4 - -8. Let z be (-756)/(-273) + (-12)/(-52). Solve 2*l - 3*l - 10 = -z*a, -5*l + 7 = m*a for a.
3
Let x(t) = -t**3 + 5*t**2 - 2*t + 2. Let l be x(4). Let d(g) = -33 + 13 - 3*g + g + 7*g. Let r be d(l). Solve 5*h = 5*m + r, -4*m = 2*h + 3 + 3 for m.
-3
Suppose -73 = 2*n + 17. Let y = n + 59. Solve 4*x = d + y, 1 = -5*d - 5*x + 6 for d.
-2
Let q(a) be the third derivative of -a**6/120 - a**5/60 - a**4/24 + a**3/2 + 9*a**2. Let i be q(0). Solve 0 = 3*m + 2*m + x - 20, -i*m = 3*x for m.
5
Let q be (-7 - (2 + -6))*(-22)/1. Let y = q + -62. Let b be 6/(-21) + 298/14. Solve -5*t = w + b, -t + 7 + y = 4*w for t.
-5
Let s = -72 + 72. Let j be 10/(-8)*-4*5. Solve 6*i + 5*f = 3*i + j, s = 2*i + 4*f - 20 for i.
0
Suppose -2*m - 2*u = -28, -4*m + 0*m - u = -65. Solve 3*a = 4*p + m, -4*a - p + 5*p = -20 for a.
3
Let h = -880 - -883. Solve 5*n - 20 = 0, h*b = n + 4*n - 8 for b.
4
Suppose 0*i + 4*i - 5*u + 37 = 0, 0 = i + 4*u + 4. Suppose 8*l = 26 + 14. Let r = l - i. Solve -2*m - 16 = 5*j - 0*m, 0 = 5*j + m + r for j.
-2
Let m be (6/2)/((-9)/(-48)). Let