-4*x + 40. Let h be (-6*(-17)/(-459))/((-1)/9). Solve 5*z = 5*a + x, -z + h*a - 6*a + 7 = 0 for z.
3
Let z = 7 - 5. Suppose 4*o - 5*k - 17 = 35, -4*o + 80 = z*k. Let g = o - -5. Solve -5*j + 2*d + g = 0, 5*j + 3*d - 14 = 14 for j.
5
Let n(r) = -4*r**2 - 53*r - 12. Let l be n(-13). Solve -3*j = -4*d + l + 3, -2*j = -2*d for d.
4
Let b = 28 + -54. Let s = b - -35. Solve -1 = -4*a + 4*x - s, -3*a = -2*x + 2 for a.
2
Let b = 34 + -33. Let f be b/(-1) + 3 - -40. Solve 5*p = 2*u + f - 13, -4*p + u = -22 for p.
5
Suppose -180 = 4*m - 2*c, -m + c = 2*c + 45. Let n = m + 48. Solve u - 2*r = 8, -2*u = n*u - 2*r - 16 for u.
2
Suppose -4*a + 42 = -a. Let b be (37/(-7) - -5) + 46/a. Solve -4*s - 8 = -2*h, b*s + 3*h + 38 = 14 for s.
-4
Let i = -131 - -57. Let l = -71 - i. Solve 2*o + l*m + 7 = 0, 6*m = 2*o + 3*m + 13 for o.
-5
Suppose -17*t + 42 = 8. Solve 15 = 5*r - 4*k, 2*k = 3*r - 9 + t for r.
-1
Let b(x) = 3*x**2 - 35*x - 17. Let j(d) = d**2 - 12*d - 6. Let q(t) = -4*b(t) + 11*j(t). Let n be q(8). Solve u + 15 = -c - n*c, 5*c + 29 = -3*u for u.
-3
Let s(d) = -d**3 + 14*d**2 + 4*d - 51. Let g be s(14). Solve 2*b = -3*b - 3*z + 23, 5 = g*z for b.
4
Let s(t) = t + 5. Suppose f + 3*m - 4*m + 6 = 0, -5*f - m = 12. Let z be s(f). Solve -4*i - 4*c = -16, -i + 6*i - 6 = z*c for i.
2
Suppose 2*h - 4*m + 0 = -14, 5*h = -4*m + 21. Let p be (7 - 27)*h/(-4). Let c be -1 + -1 - (1 - 8). Solve t + 11 = b + 5*t, c*b + 5*t = -p for b.
-5
Let r be 16/(0 - -4) - 2. Solve -r*i - 30 = 3*a + i, 3*a - 4*i - 5 = 0 for a.
-5
Suppose 0 = 32*a - 28*a - 3*m + 15, 0 = -4*a - m + 5. Solve 4*x + 5*s + 40 = 0, 4*x - 5*s = -a*s for x.
-5
Suppose -o + 4*i + 16 = 0, o - 2*i = 3*i + 20. Solve -3 = 5*a + 4*l + 4, o = -4*a - l - 10 for a.
-3
Suppose -5*q + 4*r = -35, 4*q + 0*r - 3*r - 27 = 0. Let z = 3 + -4. Let y be 1 + -1 - (z - 1). Solve -f - y = -2*o, -q*f = -2*f for o.
1
Let r = 4 + 1. Suppose 6*k = -76 + 88. Solve -3 - 5 = -k*z + q, 2*q = -r*z + 29 for z.
5
Let h(b) = -3*b. Let u(k) = -13*k - 1. Let d(z) = 9*h(z) - 2*u(z). Let r be d(0). Suppose p = 18 + r. Solve 0 = -4*t - p, -t + 0*t + 4 = -3*m for m.
-3
Suppose -4*i - 102 + 130 = 0. Solve b - 3*p - i = -p, 3*p = -2*b for b.
3
Let g = -326 + 329. Solve -g*t + 2*x + 16 = -6*t, -24 = 4*t + 4*x for t.
-4
Suppose 3*f = 5*w - 22, 2*w = -3*w + 2*f + 18. Suppose 0 = w*b - 0*b - 2. Suppose 5*q - b = 9. Solve 4*u - 8 = -2*g, -q*u = -2*g - g - 4 for g.
0
Suppose 23 = -5*s + 3. Let n = -3 + s. Let m be (-17)/n - (-24)/(-56). Solve -m*g = -2*u + 5*u + 3, -2*u = 5*g + 13 for g.
-3
Suppose 19 = 4*j + 31. Let o be (-39)/(-12) - (j/(-4))/3. Solve -5*k + 2*f - o = -2*k, 0 = k - 2*f - 3 for k.
-3
Suppose -4*b - 24 = -8*b. Suppose 0 = 4*i - 2 - b. Suppose 3*n - 14 = -8. Solve 3 = -m + i*m - 4*h, n*m - 2*h + 6 = 0 for m.
-5
Suppose -4*f + 4*z + 15 = 3*z, -4*z = 4*f. Let b = -2 - -1. Let m be -1*1/b - -3. Solve k = -4*k + m*l - 26, -f*k - l - 2 = 0 for k.
-2
Let a = 2152 - 2149. Solve -5*b - 2*y + y - 10 = 0, -a*y - 4 = 2*b for b.
-2
Let p(g) = -7*g + 1. Let a be p(-6). Let s be (0 - (-8 - -7))*30. Let l = a - s. Solve 0 = 2*c + c - w - l, -4*c = 5*w - 11 for c.
4
Let r = -62 - -29. Let f = -26 - r. Solve -2*p + 2 = -m - 4*p, -3*p + f = -m for m.
-4
Let x(f) be the second derivative of f**3/6 + 8*f**2 + 7*f. Let p be x(-6). Let i be 68/20 - 4/p. Solve 0 = -2*s - 2*v + 18, -5*v + i = -5*s - 2 for s.
4
Let m be (-15)/150 + (-62)/(-20). Suppose -5*o = -o - 20. Let v = o - 3. Solve 2*x + v*x - m*u + 8 = 0, 3*x + 2*u = -23 for x.
-5
Suppose y + 28 = 30. Solve -4*i + y - 5 = -w, 2*i = 5*w - 15 for w.
3
Let p be 3/(30/376) - 90/150. Let c = 49 - p. Solve 3*i = -4*h - 4, -2*i - c = i for h.
2
Suppose 0 = -2*d + d. Let c(o) be the first derivative of o**4/4 - o**3/3 - o**2 + 12*o - 28. Let t be c(d). Solve 3*z + 3*h = -t, 2 + 7 = -3*h for z.
-1
Suppose -o = -5*t + 7 + 12, t - 3 = 0. Let l = 12 - o. Let z be 1 - (l/4 + -16). Solve z = -j - 3*f, -2*f = 2*j - 6*f - 4 for j.
-4
Let o(l) = -5*l + 4. Let i be (12/(-26))/(-3) + (-36)/234. Let z be o(i). Solve 5*j - 21 + z = 3*f, f = -j - 3 for j.
1
Let a(j) = -j**3 + 11*j**2 + 12*j + 3. Let y be a(12). Let o be 6 - 1 - (-4)/(-2). Let u = -15 - -17. Solve y*m - 24 = 5*d - u*d, -4 = 4*d + o*m for d.
-4
Suppose -s - 44 = -6*s - m, 3*s - 8 = 4*m. Let q(g) = g**3 - 5*g**2 + 6*g + 4. Let u be q(3). Solve 0 = 5*l + u*w + s, 4*l + w + 13 = -0*w for l.
-4
Let m(y) = -y + 9. Suppose r = -3*r. Suppose r = t + 3*u - u - 12, u = t - 3. Let j be m(t). Solve 3*x = j*f + 6, 4*f + f - 3*x + 2 = 0 for f.
2
Let j(g) = -g**3 + g - 3. Let q be j(-2). Solve 0 = 5*l - 4*v - 18, -6*l + q*l - 4 = 5*v for l.
2
Suppose -3*d + 2 = 2*a - d, -a + d + 1 = 0. Let s(x) = 28*x. Let i be s(a). Solve -5*v - 4*p = -v - i, -3 = -p for v.
4
Suppose -59*m - 54 = -86*m. Solve -2*k + 18 = m*b, 35 = 4*k + 3*b + 3 for k.
5
Let i(r) = -12*r + 119. Let y be i(9). Solve y*v - 3 = 8*v, -t - 4*v + 6 = 0 for t.
2
Let v = 259 + -234. Solve 2*j = 7*d - 2*d - v, 0 = 5*d + 3*j for d.
3
Let y(z) = z - 1. Let b be y(5). Suppose -6*i + 215 = -i + 2*o, 0 = -o - 5. Suppose -4*n - 99 = -115. Solve -n*k - 15 = -0*k - m, b*k + 5*m + i = 0 for k.
-5
Suppose 5*z - 3 - 2 = 0. Suppose z = b + 4, -2*m - 6 = 4*b. Suppose -3*p = m*h + 3, 2*h = -p - 3*h - 9. Solve -5 = -4*f - 3*r - 0, 2*r = -5*f + p for f.
-1
Suppose 30*k - 146 - 454 = 0. Solve j = -2*j + 5*u + 40, -u = -3*j + k for j.
5
Let k(m) = 2*m**2 - m**2 - 369 + 372 - 3*m. Suppose -2*w - w = -18. Let o be k(w). Solve -d = -c + 5, 8*d = 4*c + 3*d - o for c.
4
Let a be (-6)/(-3) - (-1 + 1). Suppose 5*r + 47 = 57. Let m be (-1)/((-2)/(2 + r)). Solve a*s + 31 = 5*j, m*j - 9 = 1 for s.
-3
Suppose 2*n = -2*y + 16, -5*y + 17 + 11 = n. Suppose 174 = 5*w + 39. Solve 2*d + 23 = -5*u - 7, -w = n*d + 3*u for d.
-5
Suppose t - 33 = -0*t + 2*n, -n + 141 = 4*t. Let u(i) = -i - 5. Let m be u(-9). Let w be 18*(-12)/(-9) + -4. Solve m*a + t = 3*v, -a + 4*v - v = w for a.
-5
Suppose 4*f = 2*f + 232. Suppose -2*v - 30 - f = -4*p, -p + 40 = -4*v. Suppose s + 2*s - p = 0. Solve -4*d + 8 + s = 0, 4*n = -3*d + 23 for n.
2
Let l = 170 + -167. Solve 3*i - 2*i - 17 = -l*d, -17 = 2*d - 5*i for d.
4
Let j(u) = 2*u**2 + 33*u - 52. Let h be j(-18). Solve -2*b = -h*c + 6, -9 = -4*c - b - 2 for c.
2
Suppose 0 = -5*k + 14*k - 45. Suppose 0 = -5*m - k*m + 30. Solve 3 = 2*x - m*x, 0 = -2*t - x + 7 for t.
5
Let l = 461 - 326. Let r = -122 + l. Solve 3*o - r = -i, -2*i - 5*o + 17 = -4 for i.
-2
Let n(j) = -12*j + 2. Let a be n(0). Solve -2*m - v - a = 0, -4*m = -v + 2 + 8 for m.
-2
Let n be (-8)/(-2) - (2 - 2). Suppose 9*s + n - 13 = 0. Solve -5*m - 2*q - q = -s, 0 = -3*m - 4*q + 5 for m.
-1
Suppose 0 = -2*n + c + 1, 9 = -2*n - 5*c + 28. Let l be 2 - (-4)/(4/n). Suppose l*q - 34 - 66 = 0. Solve 18 = -h - 2*v - 2*v, -5*h + q = -3*v for h.
2
Let j = -4 - 25. Let w = j - -31. Solve -3 = 5*m - w*x + 1, -2*m - 4*x = -8 for m.
0
Let v = -16 - -19. Suppose 2*u = v*u - 4. Solve -u*h = a - h + 14, 0 = -2*h - 10 for a.
1
Let y be 3/(-9)*0/2. Let v(n) = -n**2 + 5*n + 16. Let j be v(8). Let g be (-20)/j*(y + 2). Solve 2*m = d - 5, -d - g = -6*d + 5*m for d.
-3
Suppose 3*k - 21 = -4*k. Suppose 6*v - k = 15. Suppose 3*i + 12 = 7*i. Solve v*s - s - 3*p = -13, i*s = p - 9 for s.
-2
Suppose -2*t = -m - 8, t - 4*m = 7 - 3. Let y(x) be the second derivative of x**3/6 + 5*x**2/2 + 5*x. Let f be y(-4). Solve g + s + 3 = -2*g, g = t*s - f for g.
-1
Let c = -31 - -33. Suppose c*a - 2 = -2*y, y + 1 = -3*a + 4*a. Solve y = 5*r + 4*u + 37, r - 1 - 3 = 3*u for r.
-5
Suppose 16 = 3*i - 35. Suppose 5*f = -3*p + 2 + i, 4*p - 8 = 2*f. Solve 0 = v - 0*k + 4*k - 4, p*v + 3*k + 6 = 0 for v.
-4
Let s = -2360 + 2364. Solve 8 = 4*h - h - s*t, 2*t - 2 = 3*h for h.
-4
Let z(g) be the first derivative of -g**3/3 + 2*g**2 + g - 5. Let m be z(2). Let n(r) = r**2. Let b be n(0). Solve 0 = -m*j + 2*w, b*w - 17 = -4*j + 5*w for j.
-2
Let o be (12 - 15)*2/(-6). Let v be (-306)/(-72) + o/(-4). Suppose 2*r + 4*x = -0*x - 6, 0 = -r + v*x + 15. Solve -3*f - 9 = 0, -r*j - 2*f + f - 18 = 0 for j.
-5
Suppose 4 = -2*q, -5*q = -3*w - 4*q + 11. Solve w*b = 2*l + 5*b - 6, -4*b = 5*l - 16 for l.
4
Let z(i) = -i**2 - i + 22. Let q be z(4). Solve -4*y + p + 4 = -y, -q*p = 4*y - 12 for y.
2
Suppose 3*n - 9 = 0, 0 = -2*v -