lve j*n = n for n.
0
Suppose -4*g - 65 = -9*g. Let y(c) = -c + 15. Let b be y(g). Solve b*p - 5*p - 3 = 0 for p.
-1
Let a be -3*((-2 - 1) + 2). Solve -a = p - 2 for p.
-1
Let o(u) be the third derivative of -u**6/40 + u**4/12 + u**3/6 + 3*u**2. Suppose -3*n - 5 + 2 = 0. Let t be o(n). Solve t*p - 3*p = -5 for p.
5
Let f(d) = d**2 + 3*d + 3. Let y be f(-3). Let m be 1*3 + y/(-1). Solve m = -0*p - 3*p + 15 for p.
5
Let g be (2 - 3)*1 - -4. Solve g*f + f = -4 for f.
-1
Let j = -10 + 10. Solve -2*i + 4*i = j for i.
0
Suppose 0 = -0*q + q. Suppose f = -2*v + 10, q*f - 5*f + 2*v + 2 = 0. Suppose -4*b + 17 = 5*y - 3, 0 = y - 4. Solve b = -5*t + f + 3 for t.
1
Suppose 2*z + 0 - 8 = 0. Suppose 2*y - 4*h + 1 = -3, -z*y - h + 1 = 0. Solve 2*a - 1 - 9 = y for a.
5
Let w(g) = g. Suppose -3*j - 2 = 4. Let y = j - -2. Let k be w(y). Solve k = -0*s - 2*s + 8 for s.
4
Let k be 8*9*2/3. Suppose -2*p + k = 2*p. Let d = p - 8. Solve d*r = 3*r - 3 for r.
-3
Suppose -3*k = o - 2*k + 1, -5*k = -o + 29. Suppose 3*z - 3 = h, -o*z + 6 = 2*h + 2. Solve 0*g + z = -g for g.
-1
Let q(i) be the third derivative of -i**5/60 + 5*i**4/24 + 7*i**3/6 - i**2. Let d be q(6). Solve -4 + d = 3*f for f.
-1
Let q(p) = p**2 + 4*p - 4. Suppose 4 = -3*a - 20. Let z be q(a). Suppose -5*j - 3 = -z. Solve 2*n + 13 = j for n.
-4
Let f be -7*(-4 - (-4)/(12/9)). Solve -5*w + f - 2 = 0 for w.
1
Suppose -2 = b, -3*l + 24 = -l - 4*b. Solve -3*m + l*m = 25 for m.
5
Let b = -6 - -9. Solve -3 = -2*y + b*y for y.
-3
Suppose 4*p - 7 = 1. Solve -h = -0*h - p for h.
2
Let w = 4 + -1. Let v be 2/(2/w*-3). Let x be (-1)/(v + 0) + 1. Solve 2*r = -x*r - 16 for r.
-4
Let a(k) = -k**2 - 11*k + 1. Let y be a(-11). Solve -q - y = -2 for q.
1
Let i be ((-3)/1)/1 + 3. Suppose 3*y + y = -3*v + 28, i = 5*y + 3*v - 32. Solve -5*q = -y*q - 5 for q.
5
Let w = 5 - -8. Solve -w = 4*o - 1 for o.
-3
Suppose 0 = -s + 2 + 1. Let f(n) = n**2 + n. Let g be f(-3). Suppose 0 = g*l - s*l - 3. Solve -2 = -q + l for q.
3
Suppose -2*r - 2 = -10. Let d(b) = b**2 + 9*b - 7. Let q be d(-10). Suppose 0 = q*m - 3*y - 63, 2*m + 3*y + y = 66. Solve 0 = r*w + w - m for w.
5
Suppose y - 40 = -4*y. Let o be (-6)/(-4)*2/3. Let h be (o - (-1 - 1)) + 1. Solve y = h*n - 4 for n.
3
Let u = -54 + 54. Solve u*l = -2*l + 4 for l.
2
Suppose 0 = -5*b + 23 + 22. Solve w = -2*w - b for w.
-3
Let r(m) = m - 14. Let p be r(14). Solve p + 2 = 2*k for k.
1
Suppose -2*s - 3*s + 66 = l, 0 = -4*s - 4*l + 56. Suppose -2*q + 0*c - 5*c = -37, -c = -3*q + s. Suppose q - 1 = 5*o. Solve 2*i - i = -o for i.
-1
Let v(l) = l**2 - 3*l + 2. Let q be v(-3). Let o be ((-2)/(-5))/(1/q). Let p(h) = h**2 + 5*h - 3. Let k be p(-6). Solve k*g + o = g for g.
-4
Let l(w) = 6*w - 14. Let c(q) = 17*q - 41. Let u(o) = 3*c(o) - 8*l(o). Let b be u(5). Solve b*z = -8 - 0 for z.
-2
Suppose -6*o + 13*o - 28 = 0. Solve -o = -3*k - k for k.
1
Let g be ((-2 - -1) + 1)/1. Suppose 2*w - 4*w + 28 = g. Let s = w + -9. Solve 2*c - s = -3*c for c.
1
Let k(n) = -n**3 + 10*n**2 - n + 11. Let r be k(10). Let u be r/(2 - 1) + 2. Let d = 5 + -1. Solve -d*z + u = -17 for z.
5
Suppose -q - q - 6 = 0. Suppose 0 - 6 = 2*d. Let i = d - q. Solve i = 3*z + 7 - 1 for z.
-2
Let o be (2 + -3)*1 + 37. Suppose -9 = -5*s - 4*n, -3*s + 4*n - 5 = -o. Solve -2*u = -5 - s for u.
5
Let p be 2/(-4) + 54/12. Suppose -5*x = 20, -4*m - 4*x + p = -0*x. Solve 3*o = 7 + m for o.
4
Let k(x) = -x**2 + x - 8. Let g be k(0). Let m(j) = j + 8. Let d be m(g). Solve d*f = -2*f - 10 for f.
-5
Suppose -3 = -j, m + 8 = 4*j - 1. Let g = m + -3. Solve g = -2*i - 3 - 5 for i.
-4
Let g = 0 - 0. Suppose g*l + 8 = 2*l. Solve l*b + b = -10 for b.
-2
Suppose v + 0*v + 4*i = -4, 0 = 3*v - 5*i - 39. Solve -v*k + 4*k = 20 for k.
-5
Suppose -h = -z + 20, -5*z + 2*h = 4*h - 135. Solve c - z = 6*c for c.
-5
Suppose -5*p + 6 = 2*w, -3*w - w = 8. Suppose -5*v + l = -0*l - 30, -l - 15 = -p*v. Solve 0 = -v*m + 2*m - 9 for m.
-3
Suppose x - 4 = f - 0*f, 0 = 4*f + 16. Suppose -2*q + 10 + 6 = 0. Suppose -8 = -3*k - 2. Solve x*j - k*j = q for j.
-4
Suppose 6*n - 3*n + 5*v - 42 = 0, -2*n = -5*v - 3. Suppose 5*o = -4*k + 15, 3*o - n = 2*k - 0*k. Let f = o - -3. Solve 2*u - 16 = f*u for u.
-4
Suppose -6*f - 3*f = 0. Solve f = 5*r + 33 - 13 for r.
-4
Let x(b) = -b**2 + 1. Let k be x(-1). Suppose k = -v - 4*v. Solve v = -2*p - 4 + 6 for p.
1
Suppose 4*o - 5 = -5*d, -o + 0*o + 2 = 2*d. Suppose -4*z = -o*z. Solve z = -5*x - 2 - 3 for x.
-1
Let p be (1/2)/(2/8). Suppose -3*z + 45 + 6 = 0. Suppose 5 = -3*i + z. Solve p*v = i*v for v.
0
Let j(z) = -5*z. Let w be j(-2). Suppose 5*y + w = -5*f, 3*y + 26 - 4 = 5*f. Solve f*u = u - 2 for u.
-2
Let k be (-27)/6*(-22)/3. Suppose -5*p = 3*s - 35, s - k = -4*s - 2*p. Suppose 5*o = 4*x - 3*x - 2, 0 = 2*x + s*o - 4. Solve -c + x = 4 for c.
-2
Let u = -14 - -16. Solve 0*t + 6 = u*t for t.
3
Let n(s) be the third derivative of -s**5/60 + 5*s**4/24 + 7*s**3/6 + 4*s**2. Let g be n(6). Solve g - 5 = -4*h for h.
1
Suppose 0 = -5*z - v + 9 + 1, 0 = -4*z - v + 8. Suppose -z*s = 3*s - 25. Solve 13 - 3 = -s*p for p.
-2
Let a be (4/(-12))/((-1)/12). Suppose a*r + 3 = 5*d, -4*r + 2 = 4*d + 14. Let p = r + 2. Solve -n = -p*n - 2 for n.
2
Let z be 5*((-48)/20 - -3). Solve -u + 1 + z = 0 for u.
4
Suppose -26*s + 3*s = -92. Solve -s*f - 4 = -20 for f.
4
Let t = -37 + 39. Solve -t = s - 1 for s.
-1
Suppose -102*b = -103*b + 5. Solve -8*j = -b*j + 9 for j.
-3
Let w = 180 + -176. Solve -2*u + 3*u + w = 0 for u.
-4
Let t(i) = -i**3 + 5*i**2 - 4*i + 3. Let j be t(3). Suppose -3*p = -3 - j. Solve -p*c = c - 10 for c.
2
Let n be (26/39)/(2/12). Suppose -n*x + 8 = -8. Solve 18 = x*o + 2 for o.
4
Let j be ((-65)/15 + 5)/(6/45). Solve j*h - 3 = 22 for h.
5
Suppose 0 = -5*f + 4*s + 16, 0*s + 13 = 3*f + s. Suppose 24 = f*d + 4*i, -d + i + 3*i = 4. Suppose -4*b + 17 = -r, -4*b - d = 5*r - 15. Solve -l - b = -0 for l.
-4
Let v be 1/(-2)*(-9 - -5). Solve 4*n - v*n = 0 for n.
0
Let m = -14 + 19. Suppose -8 = m*i - 7*i. Solve -o - i = -2*o for o.
4
Suppose -3*n - 2*h = -h + 7, -5*n - 5*h - 5 = 0. Let i = 6 - n. Suppose 5*j = -4*a + 55, j + j - a - i = 0. Solve -w = -j + 3 for w.
4
Let j = 5 + -4. Solve 3*g = j - 10 for g.
-3
Let c(o) = o. Let f be c(-4). Let m = f + 6. Solve 1 + m = -t for t.
-3
Let y be 19/(-57)*0/1. Solve -25 = -5*n - y*n for n.
5
Suppose 3*g + g - 14 = 2*f, -4*g + 29 = 3*f. Solve 0*c - c + g = 0 for c.
5
Let v(u) = u**3 + 3*u**2 - 4*u + 5. Let k be v(-4). Let n = k - 3. Let o = 10 + -5. Solve n = p + o for p.
-3
Let g be 1/3 + 1/(-3). Let t(d) = d**3 - 3*d**2 + 2*d - 4. Let m be t(3). Solve -2*l - m - 4 = g for l.
-3
Let k = -49 + 53. Solve -k*g = g for g.
0
Let d = -6 + 15. Let i = d - 4. Suppose -25 = -5*y + i. Solve 0 = 2*g + 4 - y for g.
1
Let w be (4 - (-1 - -3)) + -1. Suppose -3 = -l + w. Solve 2 = -l*q + 6 for q.
1
Suppose 0*g + 3*g - 45 = 0. Suppose -3*x - 2*u = 3*u + 25, -2*x - 3*u = g. Suppose 3*j - 7*j - 3*q + 72 = 0, -4*j + 2*q + 52 = x. Solve -4*m + j = 3 for m.
3
Suppose 3*p + 4*t = 2*p + 12, 0 = 2*p + 2*t - 12. Solve -k - p = -3 for k.
-1
Let i be (-18)/(-2) + 1/(-1). Let x be (0 - -7)*6/(-7). Let w = -2 - x. Solve -w*d + 8 = -i for d.
4
Suppose 2*k = -4*r + 172, 91 - 3 = 2*r + 2*k. Suppose 5*y + 34 = 3*i - 36, 4*i = -3*y - r. Let l = -7 - y. Solve -3*c = -5 - l for c.
4
Let x(w) = -w**2 + 8*w + 20. Let k be x(10). Solve 5*j + 25 = -k*j for j.
-5
Let b = -4 - -6. Suppose 2*d = -b*d. Solve -3*z + d = -6 for z.
2
Let m be 40/12 - (-1)/(-3). Solve m*h + 25 = 8*h for h.
5
Let k = 20 + -11. Suppose -5*n + 6 = -9. Suppose 3 = -3*m + 4*m - v, n*v = 4*m - k. Solve m = -l - 3*l + 4 for l.
1
Let x be (-6)/(-7)*(-10 + 3). Let k be (-32)/(-6)*(-9)/x. Solve 4 = 4*y - k for y.
3
Suppose w = -4*w + 175. Suppose -5*x = 25 - w. Solve -x*c - c + 15 = 0 for c.
5
Suppose 2*l = l + 10. Suppose l*o - 11*o = 0. Solve x = -o*x + 3 for x.
3
Suppose -q - 3*f = 4, -2*q - 3*f = 2*f + 4. Suppose -u - q = -2*u. Suppose -4*c + 5*k - 2*k - 6 = 0, 0 = -4*k + 8. Solve c = -s + 3*s - u for s.
4
Suppose 5*x + 13 = 5*v + 68, 2*x = -3*v + 47. Solve 3*j + x = -j for j.
-4
Suppose 5 = -r + 5*t + 14, -2*r - 3*t = -5. Let b(a) = -5*a - 1. Suppose -2*k - 2*k - 8 = 0. Let f be b(k). Solve 1 = r*i + f for i.
-2
Let c(b) = -2*b**3 + b**2 + 2. Let g be c(0). Solve g