4. Solve 5*f = -5*b + b - 6, 0 = -4*b + p*f - 22 for b.
-4
Suppose 0 = 2*f - 2*r + 4, -5*f - 4 = 4*r - 30. Solve -2*d - f*b = 8, -3*b + 2*b - 8 = 2*d for d.
-4
Let c be ((-2)/(-5))/((-2)/20). Let q = c - -9. Solve s + 5*l + 5 = 2*s, 2*l + 29 = -q*s for s.
-5
Let x(j) = 2*j**2 - 2*j + 3. Let w be x(2). Solve -3*i = 3*k - 4 - 2, 2*k - w = i for i.
-1
Suppose -82 = -4*c + 5*n - 4*n, n - 78 = -4*c. Solve 0 = -2*q + 5*y - 35, 2*q - 4*y + 50 = c for q.
-5
Let u(h) = h. Let r be u(8). Solve 0 = 5*x + 5*w + 14 + 11, r = 2*x - 4*w for x.
-2
Let y(t) = 3*t**2 - 17*t + 12. Let v be y(5). Solve -v*h = -s + 7, -4*h - s - 4*s = 35 for h.
-5
Let v = -25 - -14. Let l = 15 + v. Solve 5*z - 41 = -l*o, -2 = 2*o - z - z for o.
4
Let v = 3 - -1. Suppose -s + 19 = v*i, 3*i + i - 3*s - 7 = 0. Solve -4*g + 5*d = d + 24, -5*g + i*d = 27 for g.
-3
Suppose z - 14 = -0. Suppose 2*w = 5*o - 29, -w = -2*o + z - 2. Solve 2*n = 5*q + 21, 0 = -o*q + 3*n + 2*n - 15 for q.
-5
Suppose -2 = -2*f + 14. Let h(b) = -b**3 + 8*b**2 - 9*b + 5. Let o be h(6). Let n = o - 16. Solve 2*c - f + 4 = 4*m, -5*m - n = -3*c for m.
1
Suppose -13 = o - 16. Solve -2 = -o*k - r - 0*r, -5*k - r + 6 = 0 for k.
2
Let v = -2 + 2. Let o be 12/(-6) - (v - 1). Let p be (15/(-2))/o*2. Solve -2*x + 6 = -d, -2*d + x = 6*x - p for d.
0
Let f(t) = -2*t. Let r be f(2). Let m be (2 - 1)/(-1)*r. Solve 5*n - 2 = -b, n - b = m*b - 10 for n.
0
Suppose f + 0*f - 1 = a, 5*f + 2*a = 33. Let g be (-1)/(-5) - (-27)/15. Solve f*r - 6 = r - 2*v, r + 4*v = -g for r.
2
Let n be (-6)/4*(-8)/3. Suppose -n = s - 3*s. Suppose f + 5*t + 0*t - 25 = 0, 3*t = 3*f - 3. Solve -j + f = 4*l, 0 = -5*j - s*l + 7*l for j.
1
Suppose 0 = -0*c + c - 3. Solve -c*i - 3*n - 12 = 0, 0 = n + 3*n + 12 for i.
-1
Suppose 0 = 4*r - l - 8, -3*r - 8 = -7*r - 2*l. Suppose 3*f = 2*a - 9, 0*f + 14 = 4*a - r*f. Solve 3*t + 3*s = -21, -1 = 3*t - a*s + 2 for t.
-4
Let x(n) = n - 7. Let z be x(7). Solve -w - k - 1 + 0 = 0, z = 3*k for w.
-1
Let a(g) be the second derivative of -g**4/12 - g**3/2 - g**2 - g. Let u be a(-3). Let n be 4*1 + (u - -2). Solve -13 = -3*s - n*h - 3, -14 = 3*s - 2*h for s.
-2
Suppose 8 = 2*x, 0*j - 111 = -5*j - 4*x. Solve 4*v + 0*b - j = -3*b, 0 = 4*v - 2*b - 14 for v.
4
Let s(d) = 2*d + 11. Let o be s(-5). Suppose 2*c + 2 = 4*y, -4*y + 3*c - o = -0*y. Solve 3*i = 7*i, -m = -4*i - y for m.
2
Let z(q) = -q**3 - 4*q**2 + 3*q - 5. Let u be z(-5). Solve -2*w + 5*w = -u*h + 25, -4*h = 5*w - 20 for w.
0
Let v be 0 + 5 + -3*1. Suppose -h + 0*h = -v. Solve 0 = 4*i + x + 3, h*i - 5*x = 15 for i.
0
Suppose -7*n + 3*n + 8 = 0. Let h be (n/3)/((-2)/(-6)). Solve 5*k - y - h*y = -7, y = -k + 5 for k.
1
Suppose 5*w - 2*g = 11, 4*w + 2*g - 5*g - 6 = 0. Let l = -10 - -15. Let p(u) = u + 12. Let z be p(-7). Solve -25 = l*v, -w*k + 3*v = -4 - z for k.
-2
Let d be (-4)/(1*(-1 + 0)). Suppose 0*m + 52 = d*m. Solve 5*w + 4 = -3*q + m, q + w = 1 for q.
-2
Suppose -16 = -4*h + 20. Suppose -h = l - 4*l. Suppose -2*d = l*d. Solve 5*t + q = 2*t, d = -4*t + q + 7 for t.
1
Suppose 3 = -3*l + 3*o, 4*l + o = l + 9. Solve -2*x + l*v + 4 = 0, v - 6*v = 5*x - 20 for x.
3
Let v = 16 - -14. Suppose 7*i - i - v = 0. Solve 0 = i*m + h + 18, 0*m = m + 2*h for m.
-4
Suppose -g = -z - 3, 1 = g - z - 2*z. Solve g*i + 4*u = 3*i - 23, 0 = -3*i - 2*u - 19 for i.
-3
Let p(j) be the first derivative of j**2/2 - 2*j + 1. Let n be p(4). Solve -n*g + 5*h - 14 = h, -4*h + 11 = -5*g for g.
1
Let t be (-32)/(-8)*(-5)/4. Let j(b) = b**2 - 3. Let c be j(t). Solve -c = -z + 4*z + 2*d, z - 4*d - 16 = 0 for z.
-4
Let r(h) = -h**2 - 3*h + 4. Let u be r(-4). Let p be u + (4 + -2 - 0). Let f be (-10)/(-4)*(0 + 2). Solve -p = 5*d - 5*l - 7, 3 = -3*d + f*l for d.
4
Suppose 5*u = 5, b + 4*u + 2 = 4*b. Solve -4*q + 2*q = 6, 5*q + 21 = b*m for m.
3
Suppose -2*a + 4*a - 4 = 0. Solve -4*j - a*t = -4, 3*j - 5 - 7 = 3*t for j.
2
Suppose -28 = 6*n - 13*n. Let b = 5 + -1. Suppose 5*x = -3*s - 5 - 4, -4*x + 3*s + 9 = 0. Solve -2*h + x + 10 = -n*i, 0 = 4*h - b*i - 12 for h.
1
Let k = 0 - -3. Suppose -3*s - p = -14, 2*p - 7 = -2*s - p. Let q be (5 - s)/(1*2). Solve q = -k*w - 2*w + 4*l + 16, -w + 3*l = -12 for w.
0
Suppose 2*f - f - 3 = 0, 1 = -2*h + f. Let w be (h + -2)/(-2)*10. Solve 0*a - 4 = -x + w*a, 16 = 4*x + a for x.
4
Let s be (-23)/(-7) + 4/(-14). Suppose 5*v - 2 = s*v. Let x = v - -3. Solve -2*j - 13 = -5*m, -5 = -j - x*m + 8 for j.
1
Let k = 12 - 5. Suppose 2*m = 1 + k. Solve x = -m*c + 1, 4*x + 0*x = -4*c + 4 for x.
1
Let y = 9 + -9. Suppose 3*j + 2*j - 20 = y. Solve 0 = 3*q - 9, -j*q + 9 = -3*p + 4*p for p.
-3
Suppose 3*t = o - t - 6, 0 = -4*o + t + 24. Solve 2*w = 4*c + 8, -4*w - c + 1 = -o for w.
2
Let t(k) be the second derivative of -29*k**3/6 + k**2 - 3*k. Let l be t(-2). Suppose -5*y + 0 = -l. Solve 0 = -c - 4 + 2, -c - y = -2*r for r.
5
Suppose -z + 3*f + 12 = 0, 3*f - 17 + 5 = -3*z. Suppose 0 = -0*d - z*d + 12. Solve o - 4*c + 2 = 1, d*o = -c + 7 for o.
3
Suppose -2*f + 4 = 3*h, -2*h = -3*f + 2*h + 6. Let b be (-1 + 0/2)*-3. Solve 3*x = -3*u, -6*x - b = f*u - x for u.
1
Suppose -y + 0*y = 10. Let b = -5 - y. Suppose 0*d + 5*d = 3*j + 25, -b*j + 2*d = 10. Solve 1 = 4*r - o + 6, r + 4*o - 20 = j for r.
0
Let v = -6 + 14. Let a = v + -1. Let l be 4 + 0/(-1 + 0). Solve l = -5*m + 2*p, -a = 3*m + 2*m - p for m.
-2
Let p = -63 - -67. Solve -2*s = 6, 5*k + 5*s - 17 = p*s for k.
4
Let t = 5 + -2. Suppose 2*s = t*s. Solve -4*n + 24 = 4*o, -3*n + 5*o = -s*n - 2 for n.
4
Let k be ((-3)/4)/((-1)/(-168)). Let q = -77 - k. Suppose 2*u + 5*x = -5, 5*u - x - 6 = q. Solve 2*h + h + u = 4*j, 2*j - 12 = 5*h for h.
-2
Suppose -32 = -3*a - 5. Solve -3*x - 15 = 0, a*n - 4*n + 25 = -4*x for n.
-1
Let k(x) = -3*x + 21. Let y be k(7). Solve -3*s + j - 11 = y, 0 = s + 4*j - 2*j + 6 for s.
-4
Suppose -15 = -4*v + 1. Solve c - 3*o - 4 = 0, -c - 2 = 4*c - v*o for c.
-2
Let y be (-1)/(6/9 + -1). Suppose -y*g = -g - 4. Solve -g*t - 4*n = -22, -t = 2*t - 3*n + 12 for t.
1
Let b = 19 + -13. Suppose -p = -b*p + 10. Solve l = -l - 5*y - 22, -p*y = 8 for l.
-1
Suppose 0 = -5*a - 86 - 49. Let x be (a/12)/((-9)/24). Solve -14 = y + 3*o - 4, x = -5*y - 4*o for y.
2
Let u = -3 - -6. Solve -2*l - 3*l - u*n + 12 = 0, 4*l = 4*n + 16 for l.
3
Let j = 29 - 5. Solve 0 = -4*p + y + 12, 2*p + j = 5*p + 3*y for p.
4
Let y be 21/(-6) - (-1)/2. Let d be y + 1 - 8/(-2). Suppose -5*v - 3 = -13. Solve -v*c + 3*x + 8 = 3, d*c = 5*x + 7 for c.
1
Let g(c) = c - 1. Let t(r) = -r**2 + 13*r - 8. Let j be t(12). Let q be g(j). Solve -5*f - 4*d - 4 = 0, -d = -q*f + f + 1 for f.
0
Let q(i) = -i**2 - 5*i - 2. Let s be q(-6). Let u = s + 8. Let h(b) = b + 7. Let d be h(-5). Solve 5*w + 17 = 3*o, u = 5*o + 3*w - d*w + 9 for o.
-1
Let g = -10 + 14. Solve -t = -z + 6, 0 = g*t + 2*z + 2*z - 16 for t.
-1
Suppose 3*o - 6 - 6 = 0. Suppose o*q - 31 = -7. Suppose i = -2 + q. Solve 2*w - 2 = -3*l, 3*l = 5*w + i*l - 18 for w.
4
Let m = 49 - 41. Let f(d) = -d**3 - 3*d**2 + 4*d + 2. Let y be f(-4). Solve 4*j + 2 + 6 = 2*c, -5*c - y*j = -m for c.
2
Suppose 0 = -2*g + f - 2 + 9, -g + 2*f = -8. Suppose 8 = -g*h + 4*h. Solve 5*c - 13 = -4*d, d = 2*c - h*d - 25 for c.
5
Let z(t) = 3*t**2. Let b be z(-1). Suppose b = 5*d - 7. Suppose -4*o = -2*j - 20, 23 = 5*o + 3*j - 2. Solve -d = 5*p + 4*r + o, -p = -4*r + 11 for p.
-3
Suppose -s + 4 = -3*s. Let w be (s + 0)/(4/(-14)). Solve v = -4*r + 4*v + 19, 0 = -3*r - 5*v + w for r.
4
Suppose 2*i + 2 = -2. Let h(r) = r + 1. Let n(t) = -6*t - 6. Let c(s) = -27*h(s) - 4*n(s). Let g be c(i). Solve -2*m + 4*b = 4, -g*m + 3*b - 1 = -2*m for m.
-4
Let v = -2 - -7. Let f be (((-70)/6)/7)/(3/(-9)). Solve -v*p + 15 = -0*p + f*k, 0 = 3*p - 3*k - 21 for p.
5
Let k(v) = 5*v**2 - 2*v + 1. Let r be 1 - -1 - (4 + -3). Let a be k(r). Let s be ((-1)/2)/((-2)/8). Solve -2*q = -a - s, -5*q + 15 = w for w.
0
Suppose 2*c + 0*c = 0. Let g be 7 - ((-3 - c) + 1). Solve -b = 3*o - 17, -4*o - b = -3*o - g for o.
4
Suppose 0 = 5*d - 2*a - 9, 3 = 3*d + a - 3*a. Let k = 39 - d. Let z be (3/2)/((-3)/(-8)). Solve -4*w - z = -5*r - k, 17 = -w - 5*r for w.
3
Let q be (8/(-32))/(1/(-20)). Solve 27 = -3*p + 5*n, 3*n + 13 = -q*p + 2 for p.
-4
Let g(t) = t + 1 + 3*t - 3*t. Let p be g(-1). Suppose m - 3 = -4*a, -2*a + 5 = -3*m - p. Solve 2*u - x = -3*u + 11, -2*u =