4. Let z be c(-4). Solve -5 = -5*y, -p + 3*y = 5 - z for p.
4
Let x = -273 - -278. Solve -x*b + 4*f = 30, 5*b = -3*f + f for b.
-2
Let p(v) = -4*v - 23. Let c be p(-6). Let y be -1*c - (7 - 12). Solve 5*d + g + 50 = -y*g, 0 = -5*d + 5*g for d.
-5
Let r be -1*1*27*-1. Suppose 4*w - r = -7. Solve 5*a = -5*s - 10, w = -5*s - 2*a - 8 for s.
-3
Let d = 20 - 15. Let s be (d/(-2) + -2)*6/(-9). Solve -18 = 3*l + 3*c, -l - 4*c = -s + 21 for l.
-2
Let x be 3/((-9)/(-30) + 0). Let w = x - 10. Suppose w = 5*j - 29 - 56. Solve -2*b + j = 5*p, p = -0*b - 5*b - 15 for b.
-4
Let l(d) be the first derivative of d**2/2 + 12*d + 2. Let q be l(-10). Solve -q*y - 3*x + 21 = 0, -4*y + 2*x + 2 + 0 = 0 for y.
3
Let g be 2/(-8) - 78/(-24). Let z be -2 - (-2 - 3)*1. Let r(u) = u**2 + 2*u + 3. Let m be r(z). Solve 0*q = -3*x + g*q + m, 4*q = -4*x + 8 for x.
4
Let s = -29 + 29. Suppose 4*b + 12 = 2*f, -5*f + 3*b + 23 = -s*b. Solve 4*q = 5*l - 14, -5*q = l + f*l - 5 for q.
-1
Let s = 6 + -1. Suppose -4*w = -s*k - 31, 0 = -2*w - 2*k + 1 + 1. Suppose -w*r + 6 = -r. Solve 5*q = -f - 1 - 10, -r*f - 7 = 5*q for q.
-3
Suppose 3*u = 4*t + 3, 0 = 3*t + 9*u - 12*u + 6. Solve -t*l + 8 = 2*c, -5*c - 1 = l - 4*l for l.
2
Let d(p) = p - 2. Let c be d(1). Let w be ((-12)/(-12))/(c/(-5)). Suppose 3*v - 4 = w. Solve 2*g + v*h + 15 = 0, -h = h + 6 for g.
-3
Let y(c) = 24*c + 348. Let s be y(-14). Solve -2*l = -v - 1, 5*v - 3*l = 14 - s for v.
1
Suppose 0*f = -3*q - 4*f + 29, -4*f = -20. Suppose 0 = -4*s + 4 - 24. Let x = s - -7. Solve 3*y - 2 = x*g - 6*g, 2*g - 4 = -q*y for y.
2
Let d = -105 - -107. Solve -c = 4*g - 18, g - 3 = -d*c + c for g.
5
Let b(p) = 5*p**2 + 39*p - 8. Let o be b(-8). Let v = -3 + 7. Solve v*f + 5*z + 8 = o, -4*f + 0*z = -z + 8 for f.
-2
Let v be -1 + 2 + -102*(-4)/(-8). Let q = v + 68. Solve -i - i + q = 4*w, 2*i = 2*w for i.
3
Let n(g) = 49*g + 1. Let u be n(1). Let q be u/(-25) + (1 - -3). Solve 2*t = h - q*h - 2, 0 = -h + 2*t + 2 for h.
0
Suppose -140 = -43*x + 32. Solve z - x*y = 6*z + 10, 2*z + 3*y + 11 = 0 for z.
2
Let u(z) be the second derivative of -z**3/3 + 4*z**2 - 7*z. Let s be u(4). Suppose 11*n - 12*n = s. Solve -2*o - f + 10 = n, 2*o - f - 2 + 0 = 0 for o.
3
Let f = 8 + -6. Let h(k) be the first derivative of k**4/4 + 4*k**3/3 + 6. Let i be h(-4). Solve 2*l - f*a = -i*l + 2, -2*a + 2 = 0 for l.
2
Let u(m) = 2*m**3 - 2*m**2 - m - 2. Let d = 31 - 18. Let y = d + -11. Let s be u(y). Solve p + 4 = -w - s*p, 0 = 3*p for w.
-4
Let n(v) be the second derivative of v**4/12 - v**3/3 - v**2/2 + 9*v. Let h be n(4). Let t be (2/(-8))/(h/(-532)). Solve 5*z = -3*a + t, z + 5 = 2*a + 1 for a.
3
Let z be -18 - -22 - (0 - 3). Solve -4*a - 6 = y, -a = -5*y + y - z for a.
-1
Suppose -36*j - 180 = -96*j. Solve -j*f = 2*i - 3, -3*i = -4*f + 9*f - 4 for i.
3
Let c = -8 + 8. Suppose c*h - h = -2. Solve -6 + 26 = -3*n - 5*j, 0 = -4*n + h*j - 18 for n.
-5
Let u = -1221 - -1223. Solve -u*n = -0*x - 4*x - 18, -4*x - 3*n = 3 for x.
-3
Let n = -5 + 8. Suppose 5*j + 7*h + 17 = 3*h, 3*h = -3*j - 9. Let c be ((-2)/3)/(j/30). Solve -c*f + 6*y - 2 = n*y, -2*f = -2*y + 2 for f.
1
Let n(s) = -s + 3. Let f be 2*14*4/(-8). Let h be n(f). Suppose 0 = x - h + 7. Solve -x = -5*a, -3*a = -4*l - a - 8 for l.
-1
Let g = -513 + 517. Solve 6*z + 2 = 2*m + g*z, 5*m = -5*z + 35 for m.
4
Let r(m) = -m**2 - 2*m + 37. Let w be r(5). Solve -2*l + 1 = c, -4*c = -4*l - w*c + 14 for l.
2
Let c = -2 - -7. Let v be 8/4 - (20 + -20). Solve 2*l + c*t = 15, v*t - 22 = l - 5*l for l.
5
Let m(o) = 11*o - 41. Let n be m(4). Solve -3*j = -0*j + n*c + 12, -j + 5*c = -2 for j.
-3
Let c(v) = 6*v**2 - 1. Let h be c(1). Solve 0 = h*k + 15, 13*m + 31 = 9*m - 5*k for m.
-4
Suppose 2*m + m - 90 = 0. Let n be (4 - (-38)/(-4))*2. Let h be m/(-40) + n/(-4). Solve 0 = -2*z - 4*g + 10, h*z - 20 = 7*z + g for z.
-5
Let f(o) = -o**3 + 6*o**2 + 9*o - 12. Let g be f(7). Let q(d) = 3*d**g - 4*d**2 + 10*d - 3*d. Let h be q(6). Solve 18 = 2*z - 5*v, 4*z - v - h = 6*z for z.
-1
Let w = -748 - -774. Solve 4*q = 3*p + w, 12 = 3*q + p - 1 for q.
5
Suppose -23*c + 27*c = 0. Solve 0 = -4*k + l + 2, -3*k + c*k + l = -1 for k.
1
Let i = -8 - -19. Let p = i - 32. Let c = p + 24. Solve -3*a + c*g = -3, -a - 2*g - g - 3 = 0 for a.
0
Suppose 0 = -17*x + 13*x + 360. Let r = -89 + x. Solve 4*s + 18 = -5*l, 5*s + 7 = l - r for s.
-2
Suppose 5*p = 0, y - p = 7 - 6. Let w be 8/(-10) + 1343/85. Let c be (6/(-4))/((-3)/4). Solve -4*i - 5*u + w = -y, 0 = -c*u for i.
4
Let j = -3 - -10. Suppose j*r - r = -2*r. Solve -2*m - 3*z = -r*z + 10, 5*m - 25 = 5*z for m.
1
Suppose -4*j = -6*z + 3*z + 7, -4 = 4*j. Suppose -a + 9 - 4 = 0. Suppose a*x - z = 24. Solve v - 2*n + 0 + 1 = 0, 0 = -x*v + 5*n + 5 for v.
3
Suppose 0 = q - 3*i - 4 - 2, q + 2*i - 1 = 0. Solve -4*a + 3 = o, -q*a - 7 = -6*a + 4*o for a.
1
Suppose -36*c + 37*c + 1 = 0. Let h be 1/(-8)*-20*(3 + c). Solve -h*n + 15 = 0, -21 = -4*s + s - 5*n for s.
2
Let q(k) = k**3 - 2*k**2 - 14*k + 4. Let z be q(5). Suppose 0 = -z*v + 3 + 15. Solve 5*g + 4*n + 0*n - 10 = 0, 2*n - 4 = -v*g for g.
2
Let x(h) = 4*h**2 + 19*h - 2. Let f be x(-5). Solve j = 5*q + 8, 14 = -2*q - 2*j - f*j for q.
-2
Suppose -5*d = 5*z + 15, 0*z = -2*d + z - 9. Let r be d + 2 + -1 - -9. Solve -3*n + 7 = 5*b, -5*n + 3 - r = b for n.
-1
Let n be ((-12)/14)/((-27)/63). Solve -n*t - 3*x = -x - 4, -2*x - 6 = -3*t for t.
2
Let r(p) = 15*p + 229. Let q be r(-15). Solve -u - 6 = -3*h, q*u + h = 4*h + 3 for u.
3
Let o(r) = -14*r**2 + 6*r**2 + 1 + 0. Let t be o(-1). Let q(c) = -c**2 - 9*c + 4. Let s be q(t). Solve -2*w = -5*w - l - 13, 4*w = -l - s for w.
-5
Let q be (28/35)/(4/(-20)). Let o = -2 - q. Solve -o*g + h - 5 = 0, -2*g - 5*h + 1 = -12 for g.
-1
Let h(f) = f**2 - 4*f - 29. Let l be h(8). Solve -4*o = c + 17, 8*o - 6*o + 11 = -l*c for c.
-1
Let h = 15 - 5. Suppose -39 = -h*k + 11. Solve -k*s + 3*s - 5*j = 19, 14 = -s - 4*j for s.
-2
Suppose 2*k - 52 = -4*d, 0 = 4*d - k - 8 - 38. Let p = -47 + 50. Suppose -o + d = p*o. Solve -3*m = -o*z, 2*m + 7 = -3*m - 2*z for m.
-1
Suppose -2*x + 1 = -4*z + 5, -26 = -2*z - 5*x. Let g = -15 + 17. Suppose 15 = 3*t + b - z, g*b = -3*t + 21. Solve -10 = 4*f + 5*r, 3*r - r = -t*f - 4 for f.
0
Suppose 4*m + 16 = 5*r, 0*m - 2*r - 4 = m. Let y be m*(-2)/(-4)*-3. Suppose -y*l + 12 = -2*l. Solve 2*j + 11 = 1, f + 19 = -l*j for f.
-4
Let m(p) = p**3 - 8*p**2 + 4*p - 7. Let a be m(8). Suppose -9*h - a = -4*h. Let r be (6/(-8))/(h/20). Solve -5*z = 25, 5*v + r*z = 2*v - 9 for v.
2
Let a = 182 + -180. Solve 7 = -2*g - 3*q, 4*g - a*q - 4 = 6*g for g.
1
Let w = -17 + 30. Suppose -2*o + 43 = -w. Solve m - 3*m - 4*u - o = 0, m = -u - 9 for m.
-4
Suppose -169 = -8*p - 25. Let b(q) = q**3 - 4*q**2 + 2*q - 5. Let j be b(4). Solve -3*w - 5*m + 2 = 4, j*m = 3*w + p for w.
-4
Suppose -31*v = -24*v - 21. Solve 13 = -5*l - 3*q + 4, -l = -v*q + 9 for l.
-3
Let q(x) = x**3 - 33*x**2 - 109*x + 38. Let u be q(36). Solve 2*d + 4 = 0, -u*d + 1 = -5*w - 5 for w.
-2
Suppose 34 = 2*j + 5*z, 5*j = z - 2*z + 62. Let s(y) = y + 4. Let w be s(-8). Let q be (w/6)/((-8)/48). Solve -3*l - 2*a = 2 - j, q*l = 5*a - 2 for l.
2
Let k be 0 + -5 - (-153)/9. Solve -4*s - 4*g = k, -4*g + 3 = s + 15 for s.
0
Let z = -4 + 4. Let n be (-3)/((-4)/(-32)*4). Let a = z - n. Solve -4*d - 18 = 2*i - a, 4*d + 4 = 2*i for i.
-2
Let b be -2*1*248/(-16). Let f = b - 25. Solve 3*n - 15 = o, -4*n - 2*o + f + 14 = 0 for n.
5
Let y = 781 - 768. Solve -2*k = 4*f + y + 9, -k + 7 = -4*f for f.
-3
Let i be ((-1)/5)/(7 - (-1056)/(-150)). Solve -3*c + 2*b - 18 = -b, 2*b = i*c + 15 for c.
-1
Let o(i) = 2*i - 8. Let c be o(13). Let z = 7 - c. Let g = -9 - z. Solve 5*a + v - 26 = 0, 0 = -g*v + 2 for a.
5
Let b be (7 + (-110)/20)*10. Solve 0 = -4*i - i - b, 5*i = -p - 10 for p.
5
Suppose 5*j + 17 = 5*x - 63, x - 52 = 4*j. Let g = 19 - j. Suppose 5*l - 2*i + 0*i - 7 = 0, 5*l + 4*i - g = 0. Solve -2*d = l*z - 2*z, 0 = d + 2 for z.
4
Let c(y) be the second derivative of -y**5/20 - 2*y**4/3 - 7*y**3/6 + 3*y**2/2 - 21*y. Let m be c(-7). Solve 2*q - 6 = -2*n - 20, -m*q - 18 = 2*n for n.
-3
Let c = -13 + 17. Suppose -3*i + p = -11, -c*i + 3*p = -0*i - 18. Solve -3 = -5*x - 5*f + i*f, x = -3*f - 2 for x.
1
Suppose 42 = -7*y + 77. Let k = -2 - -3. Let x be (3 - 4)/(k/(-3)). Solve -x