8. Solve 0 = -5*p + 2*p - t for p.
-4
Suppose -4*u + 4 = -2*u. Suppose u*q = -q + 33. Suppose f = -3*x + q, f + 5*x = 3*f. Solve 0*d - f = -5*d for d.
1
Let x(l) = -2*l**3 - l**2 + 3*l + 4. Let u be x(-2). Solve -4*n = n + u for n.
-2
Suppose -4*z = -0*z + 4*p + 8, 2*p = z - 4. Suppose -5*b + 3*y + 21 = 0, -25 = -5*b + 5*y - z*y. Solve -3*h - 12 - b = 0 for h.
-5
Suppose 0 = -6*h + 13 + 11. Solve h = -3*v - 2 for v.
-2
Suppose 0 = d - 6*d - 2*z, 0 = 5*z. Solve -2*h = -d*h - 6 for h.
3
Let m = 5 + -4. Suppose -4*u + 8 + 4 = 0, 4*q - 3*u + m = 0. Let h = q - 2. Solve h = -3*o + 4*o for o.
0
Let g(k) = 2*k - k**2 + 2*k**2 + 5 - 3*k. Let n be g(0). Solve n = r - 0 for r.
5
Suppose 0 = 2*j - 7 + 1. Solve j = 3*g + 12 for g.
-3
Let a be (-8 - 40/(-5))/(4/2). Solve -4*z + 3*z + 3 = a for z.
3
Let h(p) = 5*p + 12. Suppose -4*t + 10 = 2. Let i(a) = 5*a + 12. Let n(f) = t*h(f) - 3*i(f). Let x be n(-8). Solve -5*c = x - 3 for c.
-5
Let o(a) = a**2 - 3*a - 1. Let n be o(4). Solve -w + 2*w - n = 0 for w.
3
Suppose 38 = 2*g - 2*u, 2*u = -2*g + 3*g - 23. Solve 8*k - g = 3*k for k.
3
Let m(p) = -p**3 - 7*p**2 + 4*p - 12. Let k be m(-8). Suppose 5*t = 4*t + 10. Suppose -a + 5*x + t = 4*a, 5*x - k = 0. Solve -2*s - s = -a for s.
2
Let h(o) = 5*o. Let w(p) = -2*p. Let d(y) = 3*h(y) + 8*w(y). Let n be d(-3). Suppose n = k - 7. Solve k = 3*q - q for q.
5
Suppose -5*f = -0*f - 10. Let c be -1*(-1 - f)*1. Solve -4*v = -c*v for v.
0
Let a(r) be the second derivative of r**3/6 + 13*r**2/2 + 2*r. Let j be a(-9). Solve o + j = 5*o for o.
1
Suppose 4*m + 5 = -7. Let l(o) = -4*o - 1. Let q be l(m). Suppose 3*b - 2*f = 21, 4*b - 39 = 2*f - q. Solve 0 = -b*i + 2*i - 10 for i.
-2
Let k = 10 + -8. Solve -k*u - 2*u = 8 for u.
-2
Suppose -4*z + 5*z = 0. Let f be (z/(-2) - 1)*2. Let c be (f - -4)*(2 + -1). Solve 0*q = -q + c for q.
2
Let r be (3/2)/((-3)/6). Let k be ((-4)/r)/(4/6). Solve k*d = -4 - 4 for d.
-4
Let a = -8 + 10. Let j be (5 - 10)*a/(-5). Solve -j*c + 1 = -3 for c.
2
Let i = 3 - -1. Let l(x) = x**2 + x - 5. Let f be l(i). Solve 0 = -9*k + 4*k + f for k.
3
Let z be 3 + (-8 - -3) + 3. Let p be 4 - -2*z/2. Solve 2*a - p = 7*a for a.
-1
Let a(t) = -t**3 + 7*t**2 + 7*t + 8. Let k be a(8). Suppose 39 = 5*w - k*o + o, 2*o - 15 = -w. Suppose -3*z + w = -5. Solve x + 6 = z*x for x.
2
Let q = 5 + -1. Solve -q*x + 6 = -x for x.
2
Let v be ((-8)/6)/(6/(-9)). Let b be (3/v)/(2/16). Suppose x + 4*q - b = 9, q = x - 1. Solve x*p = 4*p + 5 for p.
5
Let c be (2/(-3))/((-4)/54). Solve -s - 2*s = -c for s.
3
Let h(y) = -2*y - 4. Let w(z) = -z - 2. Let x(o) = -4*h(o) + 9*w(o). Suppose 5*m = -6 - 14. Let k be x(m). Solve 0 = k*g - g for g.
0
Let s be 108/14 - (-4)/14. Let m be (-34)/(-8) - 2/s. Let g(j) = -j**2 + 11*j + 12. Let b be g(12). Solve 2*f + 12 - m = b for f.
-4
Suppose -5*q + 15 = -0*q. Solve p = 2 + q for p.
5
Let t(j) = -5*j**3 + 15*j**2 - 5*j - 8. Let a(z) = -3*z**3 + 8*z**2 - 3*z - 4. Let g(h) = -7*a(h) + 4*t(h). Let x be g(-3). Solve x*w - 15 = 5*w for w.
-5
Let f be (-1)/(-2) + (-63)/(-14). Suppose 3 = 6*h - 2*h - f*w, -18 = 2*h + 4*w. Let l = h - -6. Solve i - l*i = 6 for i.
-3
Let n(y) = 2*y - 3. Let m be n(3). Let t be 273/(-14)*8/(-6). Suppose -3*h + t = 2. Solve -h*a = -m*a for a.
0
Let k be ((-4)/(-10))/(6/15). Let z be k/(-2) + 5/10. Suppose -4*t = 4*g - 28, -g + z*g - 5*t + 27 = 0. Solve y - g = -7 for y.
-5
Suppose 2*u = 4*i - 16, -2*i - 4*u - 8 = -u. Solve i*o + 12 = -o for o.
-4
Let a = 3 + -1. Let f = 237 + -235. Solve -h = -a*h - f for h.
-2
Let x(a) = -a**3 - 6*a**2 - 4*a + 9. Let n be x(-5). Solve 3*i = i - n for i.
-2
Let a be (20/(-6))/((-2)/3). Suppose -4*g + 4*u = -0*g, -4*u + a = -3*g. Let l(j) = -3*j**3 - 2*j**2 - j. Let n be l(-1). Solve -n*x - g = 3 for x.
-4
Let l(w) = -w + w**2 + 5 - 3 + 0*w**2. Let o be l(0). Solve -13 = o*v - 3 for v.
-5
Suppose 6*u - 4 = 4*u. Solve 0 = o + o - u for o.
1
Suppose -7*g + 7 = -4*g - 2*w, 0 = 3*g - w - 11. Solve h = -g*h + 24 for h.
4
Suppose -3*a = 2*k + 2*k - 21, 2*a - 4*k = -6. Solve a*x + 0*x = -15 for x.
-5
Suppose 14 = 4*i - o, 5*i - 11 = o - 3*o. Let y = i + -5. Let f be y + (-3)/3*-2. Solve f = v + 1 for v.
-1
Suppose 8*v = 7*v. Solve -b + 2 + 2 = v for b.
4
Let n be 104/12*18/4. Let b = n - 27. Solve -3*s + 0*s = -b for s.
4
Suppose -4*x + 0*x + 12 = 0. Let d(u) = -u**2 + 0*u**2 - x + 5*u - u**3 + 4*u**2. Let q be d(4). Solve -3 = 4*c + q for c.
-1
Let v be (2 - (2 - -1)) + 3. Suppose -32 = -4*x - 4*a, a - v*a + 5 = 0. Solve c - 2 = x*c for c.
-1
Let w(a) = a**3 - 5*a**2 + a + 3. Let h be w(5). Suppose -h = o - 24. Let k = o - 10. Solve -z - 1 + k = 0 for z.
5
Let f = -35 - -40. Solve -6*x = -f*x + 3 for x.
-3
Let c(i) = 5*i**2 - 4*i + 36. Let w(s) = -s**2 + s - 7. Let x(l) = -2*c(l) - 11*w(l). Let f be x(3). Solve -2*o - f + 3 = 0 for o.
-1
Let f = 147 - 147. Solve 0 = -f*v + 5*v - 15 for v.
3
Let f(c) = c**3 + 2*c - 1 + 8 - 3*c. Let u be 5/(-5) - (0 + -1). Let w be f(u). Solve -2*d - 17 = -w for d.
-5
Let q = 13 + -11. Solve q*x = 6 + 4 for x.
5
Suppose -16 = -0*f - 4*f. Suppose c + 1 = f. Solve -2*t + c = 1 for t.
1
Let f(y) = -y**3 + 5*y**3 + 4*y**2 - 3*y**3. Let j be f(-4). Solve j*p = -3*p + 6 for p.
2
Suppose 0 = -8*i + 6*i. Solve -2*z + i*z - 6 = 0 for z.
-3
Let w = 67 + -67. Solve 0 = x - w*x + 1 for x.
-1
Suppose 2*g + 2*g = 8. Suppose v - g = 3. Solve -r = -v*r for r.
0
Suppose -14*w + 13*w - 3 = 0. Let p(f) = -f**3 - 1. Let q(c) = 7*c**3 + 3*c**2 - 2*c + 4. Let k(i) = 6*p(i) + q(i). Let d be k(w). Solve a = d - 3 for a.
1
Suppose 2*g - 26 = 4*u, -3*u = -3*g - u + 23. Suppose -t = -g*t. Solve -2*c + 0*c + 4 = t for c.
2
Suppose 7*b = 3*b + 8. Suppose 0 = t - 5*l + 2, l = -2*t - b*l - 4. Let q = t - -7. Solve u - q*u + 8 = 0 for u.
2
Let q = -21 + 29. Suppose 2 + 0 = -4*n + r, -3*n = 4*r - q. Suppose 3*f = -a + 11, n*f + 2*f - 5*a + 21 = 0. Solve -3 = -k - f for k.
1
Let g = -9 - -10. Solve 2*z = -g - 3 for z.
-2
Let c be 10/(-15) + (-48)/9. Let k be (0 + 1)/(c/(-12)). Solve -k*t + 2 = -0 for t.
1
Let q(o) = o + 1 + 2 - 8. Let z be q(9). Solve -z*u = u + 15 for u.
-3
Let n(s) = s + 11. Let i be n(-8). Suppose 5*a = -x + 48, -14 = 2*a - i*a + 2*x. Solve -3*z = -z + a for z.
-5
Suppose -2*t + 7*t = -70. Let p = -7 - t. Suppose -3*n + 9 + 0 = 0. Solve 8 = n*o - p for o.
5
Let k(q) = -q + 9. Let a(s) be the third derivative of s**4/12 - 3*s**3/2 + 3*s**2. Let o(u) = 2*a(u) + 3*k(u). Let v be o(-6). Solve v*n = -8 - 7 for n.
-5
Let m = -1 - 11. Let c = m + 19. Solve c*p + 20 = 3*p for p.
-5
Let w be (0 + 1)/((-4)/8). Let z = 4 + w. Solve z = 2*f - 3*f for f.
-2
Let v = 2 - -4. Solve 25 = m - v*m for m.
-5
Let m = 40 + -21. Suppose 2*f + f = 9. Suppose m = -f*j + 64. Solve -6*z - j = -z for z.
-3
Suppose -5*s + 14 = -1. Suppose -t - 3*y = -s*t + 18, t = 5*y + 2. Solve t = h + 2*h for h.
4
Suppose -5 = i - 4. Let v(g) = -g**2 - 6*g + 1. Let n be v(-5). Let m = i + n. Solve -m*w - 10 = -0 for w.
-2
Let o(w) = 3*w**2 - 1. Let z be o(-1). Let k = 13 + -10. Solve -2 = -k*m + z*m for m.
2
Let n be 6/2*(-4)/(-4). Let t = -3 + n. Suppose j + 0*j - 16 = t. Solve -2*w + 6*w = -j for w.
-4
Suppose -4*c - 30 = -6*c. Let v be (-10)/c - 29/(-3). Let k be 3*3/v - -7. Solve 20 = -k*p + 3*p for p.
-4
Let c(n) be the first derivative of n**2 - 3. Suppose 2*p + m - 2 = 2*m, 3*p + 4*m = 3. Let z be c(p). Solve -z*x - 16 = 2*x for x.
-4
Suppose 0 = -5*s - 14 + 39. Suppose 0 = -l + 3*w, l - s*w - 3 = -11. Solve g - l = -2*g for g.
4
Let k = -9 - -14. Suppose -2*v - 2*x = -0*x - 4, k*v - 3*x = 10. Solve 6 = -0*d - v*d for d.
-3
Suppose -2*p = 3*p. Suppose -2*i - 4*r + 9 - 1 = 0, p = -r. Solve -m + i = -1 for m.
5
Suppose 0 = 5*w - 22 - 43. Suppose 12 = 5*r - 8. Suppose -3*q + r*q - 3 = 0. Solve q*d + 4 = w for d.
3
Let i = 29 - 23. Solve i*f = 4*f - 10 for f.
-5
Let c be 3/(-12) + (-195)/(-12). Let j(i) = -i**3 + 17*i**2 - 15*i - 12. Let v be j(c). Solve 1 + 3 = v*f for f.
1
Let t = 7 + -9. Let u(l) = -2*l + 1. Let k be u(t). Solve 3 = k*a - 2 for a.
1
Let o = -38 - -17. Let m be -4 - (2 + -11 + -1). Let t be 46/14 + m/o. Solve -1 = -x + t for x.
4
Let b(h) = 2*h + 1. Let s be b(2). Let o = -5 + s. Suppose -2*v + 4 = -o. Solve 2*p + v*p = -16 for p.
-4
Let p(l) = 2*l**2 - 4*l - 1. Let i be p(4). Solve i = 2*k + k fo