 4. Let k be l(-5). Let j be 4*(-4)/k + 6. Suppose -5*p = j*n - 16, -3*p - n + 8 = n. Solve 2*h + p*r - 6 = 2, 4 = h + 3*r for h.
4
Let m(o) = -6*o + 28. Let c be m(4). Suppose c*r - 6 = -n - 0*n, 0 = -5*r - 5*n. Solve 4*t + 3*s = -13, -t - r*t - 4*s - 8 = 0 for t.
-4
Let t(p) = p**3 + p**2 + 1. Let s(d) = 6*d**3 - d**2 + 3*d + 8. Let y(k) = -s(k) + 5*t(k). Let z be y(5). Solve 4*n + 20 + 4 = -5*f, 0 = 3*n + f + z for n.
-1
Let h(r) be the third derivative of r**5/60 + r**4/4 - 2*r**3 - 4*r**2. Let j be h(3). Solve -5*g - j = -5*a, 0*a = 4*a - g + 3 for a.
-2
Let r(b) = b**2 - 21*b + 29. Let d be 199/10 + (-1)/(-10). Let a be r(d). Solve 2*c = -3*m - a, m = -4*m - 25 for c.
3
Suppose -4*c = -3*z - 6, z = -6*c + 19 + 1. Solve 6*m + 10 = 8*m, 3*l = -c*m for l.
-5
Suppose -4*m - 38 = 22. Let t be (1/3)/(5/m). Let k be (-4)/3*(t + -2). Solve k*i = 4*l + 28, 4*l + 18 = -i + 3*i for l.
-2
Suppose -4*s = -m + 35, 4*m - 2*s - 77 = -7. Let p = -1116 - -1121. Solve -3*j = p*y - 15, 4*y = -2*j + m - 3 for y.
3
Suppose -2*l + 9*w - 3 = 0, -20 = -5*l - 6*w + w. Solve l*y - 2*y + 3 = -2*d, 0 = 2*d + 8 for y.
5
Let h be 3/(1 - 2) - -5. Let r be -2*(1 - (-9)/(-3)). Suppose -r*g + 23 = -21. Solve -5*p = -3*a - g, h*p + 2*a + 8 = 6*p for p.
1
Suppose -6 + 12 = 3*w. Suppose -6*k - g + 7 = -k, 4*k - w*g = 14. Suppose -f - 3*j = -8, -3*j + 2 = -2*f - 0. Solve 5*b + 4 - 3 = -k*h, -6 = f*h for b.
1
Suppose -2*c - u + 3*u = -8, -3*c - 4*u + 26 = 0. Solve -c*q = -x - q + 7, -5*x = -2*q - 12 for x.
2
Suppose -23*c + 36 = -11*c. Solve 2*n - c*y + 7 = 0, n - 3*y = -2*n - 6 for n.
1
Let p be -5 + (10 - (5 - 8)). Solve 0 = -a + 4*k - p, 0 = a + a - 3*k + 1 for a.
4
Let d(t) = 10*t**2 + 6*t - 1. Let b be d(-1). Solve 0 = q + 3*q + b*y - 17, 4*y = 12 for q.
2
Suppose 14*z - 24 = 8*z. Suppose f = 4 - 0. Solve b - f*j = -5 - 17, 3*b = -z*j + 14 for b.
-2
Suppose 15*r = 10*r + 425. Suppose -3*w + 62 + 6 = 4*x, -5*x = -3*w - r. Solve -26 = -2*y + 6*u - u, y + 5*u = -x for y.
3
Suppose -a + 2 = 5*i - 9, -2*i - 4 = -a. Suppose a*c = 4*c + 20. Let h be (-39)/(-15) - 6/c. Solve b - 3 = -v, -5*b + 3*v = 3 - h for b.
1
Let d(x) be the first derivative of -x**4/4 - 5*x**3/3 + 2*x**2 + x + 4. Let a be d(-6). Let m = a + -10. Solve -2*b + 1 = -g - m*b, -5*g + 2*b - 5 = 0 for g.
-1
Let h = 3 + 3. Suppose -4*r = -h*r. Solve u + 20 = 5*j, -4*j + 3*u + 0*u + 5 = r for j.
5
Let w be (1 - -1)/(1/8). Suppose 6*j - w = -4. Solve 0*n - 16 = -j*l + 4*n, -5*l + 4*n + 28 = 0 for l.
4
Let g(s) = s**3 + 11*s**2 + 3. Let d be g(-11). Suppose d*y = f - 42, -28 + 146 = 4*f - 2*y. Solve -3*v - x - 2*x - f = 0, 2*v = 2*x + 2 for v.
-4
Suppose 2*z + 3*l = 10, -5*z + 7 = 2*l - 7. Solve -5*u + 3*u - 5 = -v, 10 = z*u - 4*v for u.
-5
Suppose 0 = -4*n - 2*n + 12. Let a = -11 - -11. Solve i - 9 = -2*o, a*i - n*i + 3 = -o for o.
3
Let m(d) = -9. Let s(b) = -b - 1. Let p(t) = -m(t) - s(t). Let c be p(-8). Solve a = -c*x + 9, -3*a - 3*x - 7 + 25 = 0 for a.
3
Let v(f) = -2*f**3 + f**2 + 9*f - 11. Let s be v(-3). Solve 0 = -3*t - 5*p - s + 8, 14 = 2*t - 3*p for t.
1
Let v be (-18)/14 - 2/(-7). Let u = 5 - v. Let i = -118 + 123. Solve -d - d - 3*f = -u, -2*f + 23 = -i*d for d.
-3
Let x = 1425 + -1411. Solve 1 = 2*b - r - 5, 2*b = -4*r - x for b.
1
Let o(w) = -w**2 - 7*w + 20. Let h be o(-9). Suppose 0 = 2*t + 6*a - 9*a - 3, 10 = h*a. Solve 2*i + b + 4 = -b, -3*b - t = 2*i for i.
3
Suppose 0 = 3*h + 2*y - 5, 7*h - 6 = 4*h - 3*y. Solve -h = 4*f - 5, -3*j + 5*f = 2 for j.
1
Suppose 5*u - 36 = 8*u. Let y(z) = 4*z**2 + 2*z + 3. Let m be y(-2). Let f = u + m. Solve o = -f*i - 0*o + 4, -2*i + 4*o = 2 for i.
1
Let d = -30 + 33. Suppose d*s = -2*s. Solve s = 2*f - 3*q - 1 + 16, 2*f - 2*q = -10 for f.
0
Let w(h) = -h**2 - 13*h + 37. Let z be w(-15). Let j(n) = 4*n - 26. Let m be j(z). Solve 0 = m*p - s + 13, -4*s - 1 = -p - 18 for p.
-5
Let o = -226 + 128. Let w be (-14)/o + 20/7. Solve 2*h = a + 7*h - 18, w*h = 12 for a.
-2
Let u = 149 + -62. Let o = u - 85. Solve -o*p + 4*x = 14, -8 = -p + 5*p - 3*x for p.
1
Let v = -22 - -22. Suppose v = b + 2*b. Solve -3*a - 11 = -2*a - 3*p, -a + 4*p - 15 = b for a.
1
Let r = 6 - 0. Let d = -58 - -58. Suppose 26*w - 31*w = d. Solve -z - r = -2*b, 5*b - 3*z - 13 = -w*b for b.
5
Suppose f - 24 = -5*g, 16 = 3*f + 7*g - 6*g. Solve 0 = f*l + 16, 5*c + 6 = -l - 3 for c.
-1
Suppose 0 = 8*w - 13 - 11. Suppose -w*h + 27 = 6*h. Solve -3*j = -5*i - 20, -h*i - 38 = -5*j - 10 for j.
5
Suppose 4*g + 16 = 3*i - 0*i, -5*g - 25 = -5*i. Solve 5*l - 4*o = o + 25, -i*l - o = 0 for l.
1
Suppose -2 + 8 = 3*w. Let p(h) = -h**3 - h**2 - 2*h + 1. Let f be p(-1). Solve m = f*x + 8, 0 = x - w*x - 2 for m.
2
Suppose -p + 3*q + 5 = 14, 3*p - 5*q = -11. Suppose -p*s + 14*s = 33. Solve z + 2 = s*z + 5*h, -4 = -2*h for z.
-4
Suppose 3*y = -18 + 27. Solve -5*s + y*r = 8*r - 15, 0 = 4*s + 2*r - 14 for s.
4
Let x(q) be the second derivative of q**5/20 + 5*q**4/6 + 2*q**3/3 - 11*q**2 - 10*q. Let r be x(-9). Solve -20 = -5*i - 5*m, -r = i + 2*i - 4*m for i.
-1
Let t(l) be the second derivative of l**4/12 - 14*l**3/3 + 29*l**2/2 + 18*l. Let v be t(27). Solve 16 = -4*f + v*f + 3*y, f = -5*y + 18 for f.
-2
Let s(j) = -5*j + 2. Let r be s(7). Let h = 35 + r. Solve h*a + 3 = d - 6, -d + 5 = -a for a.
-4
Let y = 49 - 44. Suppose -2*a = -5*l - 24, -4*l = -5*a - 4 + 30. Let u = -5 - -5. Solve 3*o - y*p - 15 = u, 3*o + a*p - 6*p = 12 for o.
0
Suppose -9*r + 60 - 24 = 0. Suppose -z + 5*m = 5, r*z - 6*m = -2*m + 12. Solve 4*t + 5*k - 3 = 0, 5*t + 1 = -3*k - z for t.
-3
Let n(y) = 2 + 3*y**2 + 0*y**2 + 7 - 2*y - 8. Let x be n(1). Suppose 3*c = -x*c. Solve -4*z = 8, c = -2*m - 3*z + 5*z + 8 for m.
2
Suppose 0*o + 48 = 3*o. Suppose -4*m = -x - 15, 9*m - 4*m - 25 = 0. Solve -6*z = -2*z - 2*b - o, 0 = -x*z - b + 27 for z.
5
Let q(t) = -t**2 + 8*t + 5 + 5*t**2 - t**2 - 4*t. Let h be q(-2). Solve -d - v + h - 2 = 0, 0 = -3*d + 4*v - 14 for d.
2
Let x(j) = -j**2 + j + 2. Let o be x(2). Let n(g) = -8*g + 64. Let d be n(8). Solve d = -3*p - 4*z, 0 = -o*p - p + 5*z for p.
0
Suppose 0 = -6*k + 3*k + 42. Let j = 5 - -1. Suppose -5*c + a - j*a + 35 = 0, 3*a = c + 5. Solve p + 4*l - k = 0, 9*l = p + c*l + 22 for p.
-2
Suppose 0 = 4*j - 3*t + 8 - 2, 0 = 5*j - t + 2. Suppose 3*l - 7*l = -84. Solve 3*v = 5*r + 22, j = v - 0*v + 4*r + l for v.
-1
Let p be (24/39)/((-30)/(-195)). Solve p*j = -3*x - 2 - 3, 2*j = 5*x - 9 for j.
-2
Let m be (1 - 4 - -2) + 4. Let j = 1475 + -1471. Solve 5 = -6*t + j*t - 3*w, -2*w - 25 = -m*t for t.
5
Suppose -2*f + f + 14 = 5*v, 2*v - 20 = -4*f. Let j be 6/v - (-12 - -15). Solve -o + 7 = 2*x - j, 5*o = -x + 26 for o.
5
Suppose 2*v - 4 = -3*s, v + 2*s + 3 = 5. Solve -3*j = r + 10, -v*r - r = -6 for j.
-4
Let f be (-2)/((-36)/8 + 4). Suppose f*x - 8*x = -8. Let v be ((-8)/(-12))/(x/9). Solve -d - 5 = -3*n + 2*n, 3*n = -3*d - v for d.
-3
Let d(y) = -y - 8. Suppose 23*r - 19*r = -40. Let s be d(r). Solve -4*x + 4*t = -4, 0 = x - s*t - 1 for x.
1
Let b = 78 + -78. Solve -2*y - 2*f - 2 = b, y - 4*f - 25 = -1 for y.
4
Let u = 9 + -2. Let c(f) = -f**2 + f. Let i(k) = 2*k**2 - 2*k - 1. Let v(l) = u*c(l) + 4*i(l). Let z be v(3). Solve -2*b + 0*b + 4 = z*p, -4*p + 8 = 0 for b.
0
Let a be (48/(-9) + 4)/((-20)/45). Solve -a*f + 7 = -4*h - 21, 2*f = 5*h + 28 for f.
4
Let s be (10/(-6))/((-1)/(-3)). Let w = s + 21. Solve 2*p + 20 = 4*z + p, -z = 5*p + w for z.
4
Suppose 28 = -u + 30. Let b be u - (-168)/27 - 2/9. Solve 0 = -4*s - 3*q - b, 0*s + 3*s = 3*q - 27 for s.
-5
Suppose 2*h = 5 - 1. Suppose 0 = -h*v + 4*s + 34, s - 5*s = 0. Let a = v - 17. Solve a = -4*i + i - 2*y - 12, 0 = -i + 5*y + 13 for i.
-2
Let q be (3 + -2)*0/2. Let r be ((q/(-3))/1)/(-1). Suppose l + 2*w = r, 5*w - w = -5*l + 6. Solve -3*y - 30 = 3*i, i + 4*i = -l*y - 35 for i.
-5
Suppose 3*i = 11 + 22. Suppose z + i = -4*r, -r - 1 = -5*z + 7. Solve 0 = -5*j - 2*p + p + z, -16 = 4*p for j.
1
Suppose 180 = 5*x + 5*r, -4*r + 21 - 219 = -5*x. Suppose 2 = 8*j - x. Solve -3*q + 24 = j*y, q + 3*q - 2*y - 6 = 0 for q.
3
Let b = 182 + -181. Solve 0*n = -n + 2*u, n - 3*u = -b for n.
2
Let t be 1628/36 + (-4)/18. Let b be (-27)/t - 46/(-10). Suppose -20 = -3*z + 4*y, -3*z - 5*y = -4*z - 8. Solve 0 = 2*k - 5*w - z, -2*k - 4 = -b*k + w for k.
1
Suppose -4*k = -5*d - 27, -2*k + 18*d - 