4. Solve -d - 15 = p*d for d.
-3
Suppose -3*x + 45 = 9. Solve -m - 2*m = -x for m.
4
Let q be (-60)/(-9) - (-2)/6. Let h(t) be the third derivative of t**5/60 - t**4/4 + t**3/3 - 6*t**2. Let l be h(q). Solve l = 4*w - 7 for w.
4
Suppose -p = 1, -4*c - 2*p - p + 9 = 0. Solve c*u = 5*u - 10 for u.
5
Suppose 3*p - 12 = -5*n, -n = 5*p - 14 - 6. Let i be 6/4*p/3. Solve 0*v - 2*v - i = 0 for v.
-1
Let p(b) = -b + 5. Let t be p(5). Suppose t = r - 4*r + 39. Solve -r = 4*u + 7 for u.
-5
Suppose w = -0*w. Let s be (-1)/2 + (-26)/(-4). Suppose s = 2*u - 2. Solve w = 3*p - 1 + u for p.
-1
Let a(q) = 3 - 4*q + 9*q + 4*q**2 - 1 - q**3 + 1. Let i be a(5). Solve -j = i*j + 8 for j.
-2
Suppose 0 = -35*n + 39*n - 16. Solve -n*r = -r for r.
0
Let l(h) = 2*h - 1. Let d be (-4)/((-4)/(-3)) - -18. Suppose 0*i + d = 2*i + c, -1 = c. Let s be l(i). Solve s = -9*x + 4*x for x.
-3
Suppose -4*r + 18 = n, 2*n = r + 12 - 3. Solve 0 = -q - 2*q - n for q.
-2
Let c be (-2 - 8/(-7))*-7. Suppose 6 = c*t - 3*t. Suppose 0 = -h + 2*h - 2, t = 3*i - 5*h. Solve b + b = -i for b.
-2
Suppose 2*k + 81 = 81. Solve k = 3*a + 3*a for a.
0
Let d(p) = p + 8. Let a be d(-6). Suppose 0 = -0*c - a*c. Solve 0 = -r - 5 - c for r.
-5
Let y(k) = -k**3 + 7*k**2 + k - 4. Let g be y(7). Solve 15 = -g*j + 8*j for j.
3
Suppose r + 9 = 5*r - 3*w, 3*r = -2*w + 28. Solve -3 = -3*z + r for z.
3
Let q be (-22)/(-77)*(-21)/(-1). Let h be 0*(2 + (-5)/2). Solve h = -g - q + 1 for g.
-5
Suppose -2*h - r = -7*h - 3, -h - 2*r + 6 = 0. Solve -5*t + 25 = -h*t for t.
5
Let o(k) = -k**3 - 6*k**2 - 7*k - 5. Suppose 0 = 3*p - 7*p + 40. Suppose -x = x + p. Let d be o(x). Solve 0 = -w - d - 0 for w.
-5
Let n = -31 - -36. Solve -n*m + 0*m = 20 for m.
-4
Suppose l + 2*l = -y + 8, 0 = -3*l - 4*y - 4. Let p(q) = 1 + 21*q**2 + 3 - 5. Let k be p(1). Solve 0*o - k = -l*o for o.
5
Let c(s) = s**2 - 3*s - 4. Let l be (-75)/(-9) + 3/(-9). Let x = l + -4. Let k be c(x). Solve 2*o = 6 - k for o.
3
Suppose 0*f = 13*f. Solve -2*t + 4*t = f for t.
0
Let y = 6 - 3. Solve 0 = y*w - 5*w for w.
0
Let c be (12/(-9))/(2/(-12)). Suppose -5*i + 14 + c = 4*y, 1 = 2*i - y. Solve 2 + i = -w for w.
-4
Let c(m) = -m**2 - 6*m - 1. Let n be c(-5). Suppose 1 = -5*u + 6, n*f + 4*u = 16. Suppose -2*s + 2*p = 4, -f*s - 2 = -5*p + 8. Solve -10 + s = -5*v for v.
2
Let n be -1 + -4 + -4 + 9. Solve n*r + 15 = -3*r for r.
-5
Let w(n) = n**3 - 4*n**2 - 4*n - 3. Let d be w(5). Suppose z + d = 3*z. Solve -z = 5*k - 21 for k.
4
Let t(b) = -b + 1 + 2*b + 0*b + b**2. Let h be t(0). Let k be h*(-6)/(-15)*10. Solve -k = -d - d for d.
2
Suppose 4 = 2*c + 24. Let i be (-4)/c - 2/5. Solve i = -p - 2*p + 9 for p.
3
Let a(f) = -f**3 - 6*f**2 + 3. Let c be a(-6). Let v = 6 + -4. Suppose c*x - v*x - 3 = 0. Solve 2 = -2*u + x*u for u.
2
Let i = -4 + 5. Let w = i + 4. Suppose w*d - 15 = 5. Solve d*h - 18 = -2 for h.
4
Let b = -36 - -41. Solve 0*g - b*g = 20 for g.
-4
Suppose -3*i + 5 = -1. Suppose -i*s = -6*s + 8. Solve s*w - 3 = 1 for w.
2
Let a(o) = -o**2 + 4*o - 1. Let z(j) = j**2 - j + 3. Let t be z(0). Let d be a(t). Solve -18 + d = 4*k for k.
-4
Suppose -x = -4*x + 9. Suppose 2*p - 3*p = 0. Suppose p*z = x*z. Solve 0 = -i - z*i - 3 for i.
-3
Let h(y) = -y**2 - 7*y - 5. Let p be h(-5). Solve l - p = 2*l for l.
-5
Suppose 6 + 2 = 4*h. Suppose 5*d + 5*a = 0, 4*d - h*a + 0*a - 12 = 0. Suppose -4*p = -d - 14. Solve p*j - 12 = -0 for j.
3
Let p(m) = -m**3 - 19*m**2 + 22*m + 42. Let d be p(-20). Solve k - 5 + d = 0 for k.
3
Suppose -2*r + 19 = 3*m, -5*r = -5*m - 3*r + 21. Solve 5 + 15 = m*k for k.
4
Let l = 13 + -15. Let g(h) = h**3 + 4*h**2 + 2*h. Let n be g(l). Solve -3*i + 4 = -n*i for i.
-4
Suppose w - 5*c - 19 = 0, 2*w + 4*c = -0*w + 24. Let k = -10 + w. Suppose 2*z - 1 = 23. Solve -4*v + k = z for v.
-2
Let y(f) = -f - 2. Let a be y(-6). Suppose -17 = -a*u - 1. Solve -m = -3*m + u for m.
2
Let v(h) = 3*h**2 + h + 1. Let r = -5 - -4. Let p be v(r). Let q = p - 3. Solve q*d = d - 4 for d.
4
Suppose 0 = -2*x - 4*j, 0 = 2*x + x - 5*j - 22. Let w(m) = -x*m + 0*m + 0*m. Let a be w(-1). Solve -h + a = 1 for h.
3
Let m be (-605)/(-30) - 2/12. Suppose 12 = -v - 4*x, -v + 6*v - m = -4*x. Solve -2*t + v = -0 for t.
4
Suppose 8 + 2 = 5*w. Suppose -3*l + 20 = l - w*t, 2*t = -4. Solve -15 = l*i - i for i.
-5
Let y(x) be the third derivative of -1/60*x**5 + 0 + 0*x - x**2 - 5/24*x**4 + 1/3*x**3. Let f be y(-5). Solve -f*l = l for l.
0
Suppose 5*r + 0*v + 3*v - 40 = 0, -4*r + 5*v - 5 = 0. Let l = 7 - r. Solve -5*b + 3 = -l for b.
1
Let x(v) = v**2 - 2. Let t = -6 - -8. Let q be x(t). Solve -10 = -3*g - q*g for g.
2
Suppose 3*r + 3 = 9. Suppose -p + 3 = 5*u, 2*p - 2 = 4*u + 4. Let k(s) = s**3 + 4*s**2 - 6*s + 3. Let x be k(-5). Solve x = r*f - u*f for f.
4
Suppose 0 = 2*a - 6*a. Let l be (a - 1)/(2/(-16)). Solve 12 = 5*d - l for d.
4
Let r(i) = i**3 - 11*i**2 + 9*i + 13. Let s(m) = -2*m**3 - m**2 + 2*m + 2. Let d be s(-2). Let j be r(d). Solve 2*o + 7 = j for o.
-2
Let u be 0 + ((-2)/(-2))/(2/2). Solve -h = u + 2 for h.
-3
Suppose 0*i + 2*v - 10 = -5*i, 0 = -3*v. Solve 12 = 2*n + i for n.
5
Suppose 2*f - 5*v - 5 = 0, 1 = 5*f + 3*v + 4. Solve 0 = y + 5 - f for y.
-5
Let j be 4/6 + (-18)/27. Solve j = -6*g + 3*g - 6 for g.
-2
Suppose 0 = -3*j - 3*l + 7*l - 3, -5*j + 2*l = -9. Solve j*z + 0*z - 3 = 0 for z.
1
Let v(u) be the first derivative of u**4/4 - 5*u**3/3 + 5*u**2/2 + 5. Let s be v(4). Solve -6 = -5*w + s for w.
2
Let n = -24 - -25. Solve -y + 2 = n for y.
1
Suppose -15 = -2*k + 7*k. Let s be ((-4)/6)/(k/9). Solve d - s*d = 0 for d.
0
Suppose 0 = -6*t + t + d + 49, -15 = -2*t + 5*d. Suppose -4*y + 2 + t = 0. Solve -5*m + 22 + y = 0 for m.
5
Suppose o - 2*n = -4*o + 12, -2*o = 4*n - 24. Solve -o*u - 12 = -8*u for u.
3
Let q(b) = 7*b**2 + 1. Let u be q(1). Suppose -u*s + 20 = -4*s. Solve 0 = -s*l + 2*l for l.
0
Let m(d) = d**2 + 3*d + 3. Let p be m(-4). Suppose 0 = p*i - 2*i - 40. Let y be ((-2)/4)/((-1)/i). Solve -6 = y*f + 10 for f.
-4
Suppose 3*w - 20 = -2*w. Suppose w*d + 2*x - 6 = 0, -2*d + 4*x - 17 = -5. Solve 0*y - y - 4 = d for y.
-4
Let c(k) = k**2 - 4*k - 1. Let i be c(5). Solve i*p - 15 = -p for p.
3
Suppose 4*x - 3*b = -4, 2*b - 5 - 7 = -2*x. Suppose 0 = 3*m + x*q - 5 - 2, 4*q = 5*m + 25. Let d be (-1)/(3/(m*15)). Solve d*t + 8 = -2 for t.
-2
Suppose -4 - 4 = 4*d. Let r = d - -8. Solve -r*c - 15 = -c for c.
-3
Let s be ((-5)/1)/(-1) - 0. Suppose -19 = -s*d + 1. Suppose 5*g = g + 12. Solve -g*r + d = 7 for r.
-1
Suppose 1 = 3*m - 5. Solve 0*h = -m*h + 2 for h.
1
Suppose -2*c = 2*y - 2, 3*c + 25 - 8 = 2*y. Suppose y = k - 4. Suppose -2*f = -j - 5, 0*j - 3*f + 5 = -4*j. Solve 0 = 3*p + j + k for p.
-3
Suppose -2*d - 27 + 8 = 5*w, 22 = -4*w - 5*d. Let b be 2 + (-2 - w) - -9. Solve 2*o + o = b for o.
4
Let z(o) = 8*o**3 + o**2 - o - 1. Let v be z(-1). Let i = v + 19. Solve 13 = 5*h - i for h.
5
Let j = 41 + -26. Solve -u - j = 2*u for u.
-5
Let l(u) = 11*u**2 - 2*u - 1. Let d be l(-1). Suppose d = 2*p + 4*i + 4, -i + 3 = p. Solve 0 = -p*s - s + 6 for s.
2
Let q = 133 + -131. Solve -x - x - q = 0 for x.
-1
Let p = -3 + 5. Suppose -3*s + 6 = 6*h - 3*h, 3*h = -5*s + 18. Let n(b) = b**2 - 5*b + 4. Let r be n(s). Solve p*a + 0*a = r for a.
5
Let a be -4 - (23 + 0 + 4). Let n = -15 - a. Solve -r - n = -5*r for r.
4
Let a be (6/(-9))/(2/(-6)). Solve 2*y = 3*y + a for y.
-2
Suppose 2*a - 12 = -3*v, 2*v - 3*v = 2*a - 4. Solve a = -5*b + 5 for b.
1
Let d = -17 + 19. Solve d*l - 6 = -2 for l.
2
Let t(v) = -v**2 - 5*v + 12. Let d be t(-6). Solve -f = -3*f + d for f.
3
Let s(g) = g**2 + 9*g + 5. Let b be s(-9). Suppose -2*w + 3 = -b. Solve -a = a - w for a.
2
Let q(c) = -3*c - 35. Let o be q(-12). Solve -4 = -v + o for v.
5
Let k(j) = j**3 + 22*j**2 + 16. Let m be k(-22). Solve 0 = -3*t - t - m for t.
-4
Let v = -10 + 6. Let w be v/(-14) - 57/(-21). Let j be 2/(-1) - (-21)/w. Solve j*q = q + 20 for q.
5
Suppose u = -0*u + 4. Suppose -5*n + 17 = u*z, -n = -z - 2*z + 8. Solve -15 = -z*x - 2*x for x.
3
Suppose 5*d = 15, 4*n + d - 63 + 0 = 0. Let j(u) = u - 4. Let h be j(6). Solve -h*a - 3*a - n = 0 for a.
-3
Suppose -7*x - 10 = -3*h - 3*x, 3*h = -3*x - 18. Let p be (h/6)/(2/(-48)). Solve 5*z - p = -3 for z.
1
Let u(w) = -w**3 + 4*w**2 - 3*w + 10. Let n be u(3). Solve 0*c = -2*c + n for c