Solve o = -3*p - 2*p - 5 for p.
-1
Let v be 8 + 0 + 2/1. Solve 8*x + v = 3*x for x.
-2
Suppose 2*v - 5 = 5. Let p(s) = -s + 6. Let i be p(3). Solve -i*f + v = -4*f for f.
-5
Let x(w) = 7*w**3 - 2*w**2 + 1. Let f be x(1). Suppose f + 4 = z - 4*p, 2*z = 5*p + 14. Suppose 12 = 3*n, z*n + 12 = 4*s + s. Solve s*m - 2*m - 10 = 0 for m.
5
Let m(c) = 2*c**2 + 1. Let t be m(4). Suppose 5*l - 29 = -2*n, -7*n - t = -3*l - 3*n. Solve 2*y = l*y + 10 for y.
-2
Suppose 5*r = 5*u + 10, 0*r + 2 = -2*r. Let k be (2 - 1)/(u/(-15)). Solve -5*l - k = -20 for l.
3
Suppose 20 = 5*s + 3*i, 4*i + 4 = 2*s - 4. Solve 0 = -m + s*m - 6 for m.
2
Suppose -4*a = -3*x - 9 - 8, -5*a = x - 7. Suppose 0 = 3*r - 10 - a. Suppose 4*z = 2*z + 6. Solve r = o + z for o.
1
Let t be 0 + (-1 + 3)*3. Solve p + t = -2*p for p.
-2
Let i = 3 + 8. Solve i = -3*d - 1 for d.
-4
Suppose 3*m + 2*m = -u + 16, 0 = -3*u + 4*m - 9. Solve -4*v - 3 = u for v.
-1
Let m(d) = -d**2 - d + 3. Let h be m(-3). Suppose 7*z - r - 35 = 3*z, 5*z + r - 37 = 0. Let n = z + h. Solve n*y + 0*y + 20 = 0 for y.
-4
Let r = -2 + 4. Suppose -4*b + 1 + 19 = 0. Suppose -b*g + 4*n + 14 = 0, -n = 3*n + 4. Solve -g*v = r - 4 for v.
1
Let i = 21 + -20. Solve -i = -a + 2 for a.
3
Let h(t) be the first derivative of t**3/3 - 2*t**2 - 3*t + 3. Let g be h(4). Let p = 1 - g. Solve -p*i = -0*i - 20 for i.
5
Let b = 35 - 33. Solve -4*r - b = 2 for r.
-1
Suppose -3*k - 3*t = 2*t + 6, -4*t - 12 = 0. Suppose -4 = -k*b + 4*b. Let i be (b/(-8))/((-2)/(-4)). Solve -2*q = 3 + i for q.
-2
Let k = 46 + -33. Let v be -2 + 4/1 + 1. Suppose -2*c + 17 - 4 = -3*z, 21 = 3*c - 5*z. Solve -c = v*r + k for r.
-5
Let f(n) = -n**3 - 4*n**2 - 4*n + 1. Let l be f(-3). Solve k = -k + l for k.
2
Let w(z) = 2*z**2 + 5*z - 3. Let c be w(2). Solve -2*d + c = d for d.
5
Let n be (6/(-12))/((-2)/12). Suppose 0*u - u = 3*q + 20, 3*u + 5*q = -48. Let v = -4 - u. Solve -v + n = -2*g for g.
2
Let l be (-2 - 14/(-6))*15. Suppose -x = -l*x. Suppose -2*u = -7*u + n + 3, 4*u + n + 3 = x. Solve u = 5*r + 3 + 7 for r.
-2
Let a = 25 + -19. Solve a = 2*o + o for o.
2
Let k(z) be the second derivative of z**4/12 + z**3/6 - 2*z**2 - 5*z. Let d be k(-3). Solve -3*l + 20 = d*l for l.
4
Let s = 3 - -9. Let a = s + -9. Solve 0 = c + a*c + 20 for c.
-5
Let n be ((-1)/3)/(1/(-15)). Suppose -2*x - 10 = -7*x. Suppose -x*w = -5 - n. Solve 0*i = -i - w for i.
-5
Suppose 0*g - 2*g + 20 = 0. Let b = -5 + g. Suppose 30 + 2 = 4*r. Solve b*c + r = -7 for c.
-3
Let b(f) = -f**2 + 6*f + 9. Suppose 0 = -2*q - 2, i + q - 1 = 0. Suppose 2*t = -4*n + 18, 0 = -t + 3*n + 6 - i. Let u be b(t). Solve -5 + 1 = -u*m for m.
2
Suppose 0*q - 4*q + 32 = 0. Let i = q - 8. Solve 2*y + 2 + 4 = i for y.
-3
Suppose 2*z + f - 1 = 3, 4*z - 2*f = 0. Solve z - 6 = -t for t.
5
Let t = -43 + 55. Solve 0 = 4*g - g + t for g.
-4
Suppose 3*m - 2*q - 13 = -4*q, 2*q = 3*m - 17. Let z = 8 - m. Solve -z*l - 4 = l for l.
-1
Let t(c) = c + 4. Let a be t(-2). Suppose 2*h = -a*h. Solve -3*r - 2 + 17 = h for r.
5
Suppose 15 = -4*l + 3*u, 5*l - 4*u + 11 = -9. Solve l = 5*r - 2*r + 6 for r.
-2
Let h be (6/(-4))/((-1)/(-4)). Let o = -7 - -9. Let c = o - h. Solve -l + 3 = c for l.
-5
Suppose 8*j - 10 = 6*j. Solve -s + j = -2*s for s.
-5
Suppose 2*x - 10 = -3*k - 0*x, x = -1. Let m = k + -2. Solve -3*d - 5 = m*d for d.
-1
Let p be (-390)/(-25) + (-4)/(-10). Suppose 4*g - p = -3*z - g, -z + 2*g = 2. Let u be (0 + -2)/(-2 - -1). Solve -3*w + u*w = -z for w.
2
Let i(f) = 8*f - 3. Let a(v) = v**3 + 5*v**2 + 3*v - 1. Let d be a(-4). Let j be i(d). Let c be (-4)/(-14) - (-36)/j. Solve 4*o + 4 = c*o for o.
-2
Let q(v) = v**3 - 3*v**2 - 5*v + 4. Let o be q(4). Suppose o = 4*t - 0*t - 24. Solve t = i + i for i.
3
Suppose -22 = -5*n + b, 2*n + 0*n - 14 = 3*b. Let a be (8/(-6))/(n/(-6)). Solve -a*r = -5*r for r.
0
Let u(d) = d - 6. Let a be u(6). Suppose a*k - k = 0. Solve k = -4*z - z + 20 for z.
4
Let d(z) = -z**3 - 5*z**2 + 2*z + 12. Let n be d(-5). Solve 0 = 3*c - 5*c - n for c.
-1
Let r = -8 - -15. Suppose -r - 2 = 3*k. Let o be (k/2)/((-6)/16). Solve 3*g = g - o for g.
-2
Let y(v) = v**2 - 6*v + 2. Let w be y(5). Let o = 7 + w. Suppose 0 = -o*z + 4 - 0. Solve -3 = -4*h + z for h.
1
Let c(o) = -o**3 - 10*o**2 - 8*o + 13. Let r be -6*(30/(-4))/(-5). Let f be c(r). Solve f = -y - y for y.
-2
Suppose -2*a + 5 = 1. Let b = a - 0. Suppose -o = 5*t + 3*o - 32, -b*t + o + 5 = 0. Solve 0 = t*d + 3 + 13 for d.
-4
Suppose 0 = -2*h + 11 + 3. Suppose -8 = -5*o + h. Solve -o*z = z - 4 for z.
1
Let s = -53 - -55. Solve s*g = -3*g for g.
0
Suppose 5*w + 3*w = -w. Solve 2*r - 6 = -w for r.
3
Let p(g) = -g**2 - 5*g - 2. Suppose -3*q + 3*f - 17 = 1, 2*q = f - 10. Let s be p(q). Solve 0*i - s*i = -4 for i.
2
Let r = -2 - 4. Let x = -2 - r. Suppose -k - 12 = -3*j, -3*j + x + 8 = 5*k. Solve -3*p + j = p for p.
1
Suppose 4*d + 0*x + 2*x - 6 = 0, 3*d + 5*x = 1. Solve d*h - 5*h + 3 = 0 for h.
1
Suppose 4*m - 1 - 19 = 0. Suppose -4*u = -4*l, 49 - 14 = m*u + 2*l. Suppose -2*y - 2*v - 2 + 0 = 0, v = -u*y + 7. Solve y*p + 15 = -p for p.
-5
Let b be 1/(-4) + 22/88. Solve b = -s - 5 for s.
-5
Let l be (-9)/(-21) - (-218)/14. Solve -3*n + l = n for n.
4
Suppose 2*s - 5*c + 3 = -3, 5*s = -2*c + 14. Solve v = s + 1 for v.
3
Suppose 20*y = 22*y - 40. Solve 2*z + 3*z = y for z.
4
Let r = 87 + -71. Solve -3*c + r = 4 for c.
4
Suppose 0 = -5*d + 3*w + 6, -3*w + 4*w = 3. Suppose -5*r - 4*t = -28, 5*t - 15 - 7 = -d*r. Solve a + r = -a for a.
-2
Suppose -3*q = -9, -3*y - 4*q = -0*q - 27. Suppose -3*v = -y*v. Let x = 18 - 13. Solve v = 2*s + 1 + x for s.
-3
Let w(n) = n**3 - 6*n**2 + 6*n + 2. Let h be w(5). Let t = -17 - -19. Solve -h - t = -3*o for o.
3
Let g(c) = -c**2 - c + 2. Let o be g(3). Let i(s) = s + 14. Let b be i(o). Solve -3 - 1 = -b*f for f.
1
Let q = -3 + 17. Suppose -2*h + k + q = 0, -5*h - 5*k = -0*k - 20. Let f(g) = g - 2. Let z be f(h). Solve 2 = 3*n - z for n.
2
Let t be -3 + 3 + -1 - 0. Let m = 3 + t. Solve -4*z + 6 - m = 0 for z.
1
Let r = -2 - -3. Let u = r - 4. Let n = u + 7. Solve -k + 20 = n*k for k.
4
Let y(w) = w**3 - 5*w**2 + 2*w - 6. Let d be y(5). Let r be d/2*(7 - 6). Suppose -5*t - 2 + 0 = -4*z, -r*z + 2*t = -2. Solve -3 = -z*j - 12 for j.
-3
Let m(f) = f**3 - 9*f**2 + 6*f + 16. Let u be m(8). Solve u = -p - p - 6 for p.
-3
Suppose 71 = 4*r + 67. Solve r = 3*v - 11 for v.
4
Let y be -7*1 + -2 + 1. Let a = -3 - y. Suppose -2*f + 7 = -a. Solve 5*n = -4 - f for n.
-2
Suppose -5*y + 20 = -x - 1, 2 = 3*x - 2*y. Solve x*f = 2*f for f.
0
Let w(z) = 2*z + 2. Let i be w(4). Let b be (12/10)/(3/i). Solve 4 = 3*k - b*k for k.
-4
Let m(k) = k + 12. Let t be m(-5). Solve 2*b + t - 1 = 0 for b.
-3
Suppose 2*l + 3 = 5*l. Let b be (-1 + 0)*-11 - l. Suppose -3 - 1 = -y. Solve b = k + y*k for k.
2
Let d(w) = w**3 + 7*w**2 + 6*w + 7. Let h be d(-6). Suppose 2*f - h = -1. Solve 9 = f*y - 6*y for y.
-3
Suppose -8 - 4 = 4*t. Let u be (-2)/(-3) + (-13)/t. Solve -b - 4*b - u = 0 for b.
-1
Let f be -1 - (-3 + -1 + 1). Let t = -14 - -19. Let g = t - f. Solve 0 = 4*h + g - 7 for h.
1
Let u be 1 + (-9)/(-18)*(-2 + 0). Solve u = 5*q + 16 - 6 for q.
-2
Let s(h) = 3*h - 1. Let q be s(-1). Let v be (-3)/6*2 - q. Let z = -1 + v. Solve -z = y - 3 for y.
1
Let f = 47 - 44. Solve 0 = -2*b + f*b + 2 for b.
-2
Suppose 2*f - 5*h = -0*h + 24, 2*h + 4 = -2*f. Suppose -f*s + 0 = -2. Let j be 2 + 6 + -2 - s. Solve -j*b + 0 = 15 for b.
-3
Suppose 0 = -6*h + 2*h. Suppose 7*i = 4*i - 4*y + 18, 2*y = 3*i. Solve h = -i*q - 2 for q.
-1
Let b = -16 - -16. Solve 5*j - j + 16 = b for j.
-4
Let c be 2*2/((-8)/54). Suppose -2*z = -6*z + 160. Let o = c + z. Solve o - 5 = 2*u for u.
4
Suppose -2*n = -0*n + 3*n. Solve -4*t + 6*t + 8 = n for t.
-4
Let k be ((-3)/(-1) - 2)*-1. Let f be (k/(-3))/(4/24). Solve -f*n - 2 = -6 for n.
2
Suppose 0 = v - 2 + 4. Let a = v - -7. Solve -u = -a*u + 16 for u.
4
Let v be (-2)/(-4) + 3/6. Suppose 0 = 4*h + 5*s + 12, -5*h - s - 9 = -2*h. Let k be (-11)/(-3) - (-2)/h. Solve -4*q = k + v for q.
-1
Let k(r) = -3*r - 17. Let j be k(-7). Let t be (-4)/j - -2 - 1. Solve o + 1 - 3 = t for o.
2
Suppose -n + 5*a = 6, 3*n - 18 = -4*a + a. Let d be ((-1)/(-2))/(n/24). Solve 7*y - 4 = d*y for y.
1
Let c be -2 - ((-96)/21 + (-24)/(-42)). Solve 7 = -l + c for l.
-5
Let f(j) = -2*j 