= g for p.
3
Let q be (-1 - -5)/4 - 5. Let v be ((-6)/q - 0)*2. Suppose 2*z = v*w - 11, 2*w - w + 3 = 4*z. Solve -12 + 4 = -z*r for r.
4
Let k = -1928 - -1950. Solve 7 = -5*c + k for c.
3
Let k(n) = n**3 + 5*n**2 + 2*n - 5. Let g be k(-4). Let w(f) = f**2 + 5*f - 14. Let o be w(2). Suppose -8*t - t = -63. Solve -g*u + t*u - 20 = o for u.
5
Let q(y) be the second derivative of y**6/360 + 5*y**4/24 - y**3/3 - 2*y. Let i(k) be the second derivative of q(k). Let p be i(-4). Solve 4*s - p = -1 for s.
5
Let p = 143 - 81. Let h = p + -59. Solve 1 = -h*s - 5 for s.
-2
Let s = -535 + 538. Solve s*q = 4*q + 5 for q.
-5
Let a = 110 - 104. Let l(v) = v + 5. Let i be l(a). Solve 2*q + 3 = i for q.
4
Let d(p) = p**3 - 8*p**2 + 3*p + 29. Suppose -2*w + 5*r + 5 = -9, -3*r - 28 = -4*w. Let f be d(w). Solve 0*c = c - f for c.
1
Suppose -5*v + 6*y + 2253 = 2*y, 2*v + 3*y - 915 = 0. Let u be 4/18 - v/(-27). Solve -u = -3*m - 5 for m.
4
Let g be (130/(-15))/((-2)/30). Suppose 2*m + g = -150. Let h be ((-2)/(-8))/((-7)/m). Solve 9 = -h*l - 16 for l.
-5
Let h be 830 + 1*8/(-4). Let b be h/84 + (-2)/(-14). Solve b = -q + 3*q for q.
5
Suppose 6*l - 820 = -700. Solve l = 8*v - 3*v for v.
4
Suppose 0 = 10*m - 24*m + 112. Suppose 4*h - 10 = -h. Suppose m = -2*t - h*t, 5*t = 5*k - 20. Solve s + k - 7 = 0 for s.
5
Suppose 0 = -3*j - 3*i - 16 - 14, 5*i = j + 10. Let u = -25 - -40. Let s = j + u. Solve -3*m + s = 20 for m.
-5
Let i = -641 - -643. Solve -i*f + 5 = -f for f.
5
Let p(v) = 16*v + 163. Let x be p(-10). Solve x*l + 7 = 13 for l.
2
Let v = -615 - -629. Solve v*w = 19*w + 25 for w.
-5
Suppose -117 = 3*w + 111. Let l = 81 + w. Solve x + l - 4 = 0 for x.
-1
Suppose 10 = 4*b + b. Suppose 4*q = 6*k - 2*k - 792, 2*q = k - 400. Let y = q - -203. Solve 1 = -b*v - y for v.
-1
Let j(b) = -b**3 - 3*b**2 + 6*b - 1. Let v be j(1). Let r = 36 + -18. Let f = r - 13. Solve -f*k - v = 4 for k.
-1
Suppose 5 - 1 = 2*x. Suppose 4*k = -m - 3*m - 4, m = 2*k - 13. Let b be 23/x - m/10. Solve 3*h + h - b = 0 for h.
3
Let r be 16/(-6)*6/(-2). Let z = -4921 - -4930. Solve -z*p = -r*p for p.
0
Let f(a) = -8*a - 601 + 586 - a**2 + 0*a**2. Let c be f(-3). Solve -3 = -c*w - w for w.
3
Let s = 465 - 273. Solve w - 196 = -s for w.
4
Suppose 3*w - 54 = 5*l, -2*l + 4*w - 14 = 2. Let h = l + 10. Let j be 2 + (h - -3)/1. Solve o - j*o = 0 for o.
0
Suppose 125 = 13*k - 8*k. Suppose -q = -4*g + 20, 0 = 3*q + g - 6*g + k. Solve 4*d = -q*d for d.
0
Let m(b) = -b**3 - 24*b**2 + 50*b - 39. Let o be m(-26). Solve -6 = 7*p - o*p for p.
1
Let k(t) = 14*t + 201. Let y be k(-14). Solve -7*f - y = -2*f for f.
-1
Suppose -a + 4 = -1. Suppose -3*g + k = -7*g + 30, g + 2 = -a*k. Let r = g + -3. Solve 0*f = r*f - 20 for f.
4
Let l = -17 - -24. Suppose 27 = l*w - 8. Solve -w*x = -x for x.
0
Let j(p) = -p**2 + 37*p - 315. Let s be j(15). Solve 12*b - s = 9 for b.
2
Suppose -4*s + 3 = -5. Suppose -3*o + c = -84 - 75, -6 = 2*c. Let x = o - 49. Solve -x*f - 3 = -s*f for f.
-3
Suppose 0 = 4*g + 5*r - 161, 5*r - 15 = 2*r. Suppose -3*l - 4 = -g. Let c = 12 - l. Solve -u = u - c for u.
1
Let j be ((-25)/(-10))/((-1)/(-2)). Suppose 5 = q, 0 = -j*n - 6*q + 3*q + 40. Solve -6*w + n*w + 3 = 0 for w.
3
Let x be (-1)/(-2) + (-261)/(-58). Solve 5*b + x = -0 for b.
-1
Suppose -10 = -5*s + 15. Suppose -3*q = s*q - 24. Let j = -1 + 1. Solve 3*n + j + q = 0 for n.
-1
Suppose 161*b = 163*b - 8. Let x(n) = -n**3 + 4*n**2 - 2*n + 3. Let k be x(3). Solve -b*f = -2 - k for f.
2
Suppose 2*p - 5*r = 12, -1 = -2*r - 5. Let t be 9 + -9 + 4/p. Solve 0 = 2*c - 0 - t for c.
2
Let q(a) = a**2 - 37*a - 149. Let z be q(-4). Solve -8*p - z = -7 for p.
-1
Suppose -7*c - 80 = -12*c. Let p = c - 14. Solve 0 = 3*r + p*r + 10 for r.
-2
Suppose 46 = 4*i + 14. Suppose 3*u - i = -u. Solve 0 = u*j + 5 - 3 for j.
-1
Suppose 5*g + 3*u = 13 + 2, 0 = -g + 4*u - 20. Solve g = 4*a - 0*a + 4 for a.
-1
Suppose 80 - 20 = 4*j. Solve 0 = -j*m + 9*m + 24 for m.
4
Let j = -9 - -18. Let o = j + -1. Suppose 0 = o*q - 6*q. Solve q*t = -5*t for t.
0
Let k = -10 + 14. Suppose -k*u - 3 = -7*u. Suppose -t - 3*b + 1 = 0, -99 = -4*t - 4*b - 87. Solve 0 = c - u + t for c.
-3
Let l(b) = 9*b**3 + 56*b**2 + 12*b + 11. Let o be l(-6). Solve n - 50 = o*n for n.
-5
Suppose -5*w - 2*l - 3 = -5, 5*l = 2*w + 5. Solve w = -8*n + 8 for n.
1
Let n(i) = -i**2 - 6*i - 3. Let t be n(-5). Suppose t*k = 4*k - 4, -2 = -2*r - k. Solve 3*g + 14 - 2 = r for g.
-4
Suppose -6*v + 8 = -10. Solve -5*x = -8*x - v for x.
-1
Suppose -7*n - 51 + 135 = 0. Suppose -5*h - 2*q + 5 + 6 = 0, 4*q = 3*h - 17. Solve s = -h*s - n for s.
-3
Let j(o) = -3*o - o**2 - 4*o + 0*o**2 + 6. Let d be j(-6). Let i be -1 + -2 + 5 + 0 + 4. Solve i*l - d = 3*l for l.
4
Suppose -3*a - 2*h + 7*h + 1 = 0, -4*h = -3*a + 5. Let s = a - 6. Let g be (s - -1)/(6/45). Solve 2*k + k = g for k.
5
Suppose c - c = 2*c. Let x = -71 + 74. Solve c = k - x for k.
3
Let u = 3 + -1. Suppose -3*d - 3 = -u*d. Let w be (8 + -5)/(d/(-20)). Solve 0*p - w = 5*p for p.
-4
Let z be (3/(-6))/(2/(-16)). Let q be (-336)/(-161) - 2 - 90/(-23). Solve -12 - z = q*g for g.
-4
Let t be -2 + 57/15 + 1/5. Solve 0*y = t*y + 4 for y.
-2
Suppose -2*b = -3*b + 25. Let t = b - 22. Solve 7 = t*n - 2 for n.
3
Let w be 1*-1*13*-2. Let n = -20 + w. Solve -15 = a - n*a for a.
3
Let d(y) = -y + 4. Let l be d(-3). Suppose -5*v - 1 = 3*z - l, 0 = -v. Suppose i = 6 + z. Solve -6*t = -2*t + i for t.
-2
Let l(p) = -18*p - 230. Let w be l(-13). Solve 4*y + 3*y = -w*y for y.
0
Let h(t) = -t**2 - 13*t + 2. Let b be h(-13). Suppose 3*n - i - 14 = -b, -2*n + i = -8. Solve 0*g = -n*g for g.
0
Suppose -5*b + 0 = 2*o - 1, 4*b + 20 = o. Solve 10*w = o*w + 8 for w.
4
Suppose 3*u = 5*b + 3 - 29, 25 = 4*b - u. Solve -3 - b = -2*q for q.
5
Suppose -9*d + 29 = -151. Solve -14*f + 18*f - d = 0 for f.
5
Suppose 4 = 3*d - 2*y, 24*d + 4*y = 25*d + 12. Solve -g = -d*g + g for g.
0
Let w be (-2)/(-9) + 129/27. Let i(v) = v - 19. Let r be i(19). Let b = 57 - 32. Solve -w*q = -r*q + b for q.
-5
Suppose -4*d = -199 + 27. Let k = 63 - d. Suppose -u = -2*j + 4 - 5, 0 = 5*u + 5*j - k. Solve u + 3 = -2*m for m.
-3
Let v be ((-2)/(-6))/(3/18). Let w(j) = 5*j**3 + 6*j**v + j + 2*j - 4*j**3 + 2 - j**2. Let z be w(-3). Solve 3*h + z = 5 for h.
-2
Let j = 1897 + -1894. Let i be (10/(-3))/(2/(-6)). Solve -j*p + 8*p - i = 0 for p.
2
Let h(c) be the third derivative of -c**6/120 + 3*c**5/20 - 19*c**4/24 + 5*c**3/3 + 13*c**2. Let n be h(6). Solve -3*p + p = n for p.
-2
Suppose 3*x = -6 + 15. Let b be (2/(-5))/(x/(-15)). Solve b - 4 = -u for u.
2
Let d be (75/(-9))/((-1)/3). Let m = 16 - d. Let i be 6/m - (-8)/3. Solve 0 = g - 0*g + i for g.
-2
Suppose a = -2*a. Suppose a = -3*x + 3, -x + 13 = 5*b + 2*x. Let s be (-7)/((-14)/8) - b. Solve 1 = r - s for r.
3
Let v be 72 + 10/(0 - 5). Let d = 12 - 19. Let p be 20/v + (-61)/d. Solve -w + p = 2*w for w.
3
Let w be (-6)/27 + (-174)/(-54). Suppose w*n = 6*n - 12. Solve -n*i + i - 9 = 0 for i.
-3
Suppose -4*w + 7*x = 8*x - 5, 2*x = 5*w + 10. Let s be (-4)/(-2)*2/4. Let v be (s + 0)*(1 - -1). Solve 0 = -v*f - w*f for f.
0
Let f = -67 + 70. Suppose 2*q + 2 = -f*b - 2, b - 2*q - 4 = 0. Solve b = 2*u - 4*u - 8 for u.
-4
Let x(z) = 11*z**2 + 56*z + 11. Let l be x(-5). Solve -l*k = -25*k for k.
0
Let b = 213 + -205. Solve -28*f + 26*f + b = 0 for f.
4
Suppose -y + 42 - 37 = 0. Solve 0 = -3*i - 2*i + y for i.
1
Let r = -31 + 33. Let z = 5 - r. Solve -z*c = 1 + 8 for c.
-3
Let g = -14 - -29. Let k(z) = 6*z**2 + 2*z + 1. Let w be k(-1). Let f = 1 + w. Solve p - f*p + g = 0 for p.
3
Suppose 0*w - 4*w = -8. Let t(v) = v**2 - v - 6. Let m be t(3). Suppose m = w*n + 3*n. Solve n*r + 2*r = 0 for r.
0
Suppose a + d + 1 = -a, -d + 3 = 4*a. Suppose -3*m + 15 = 3*w, -2*w + m = -m - a. Suppose -3 = -3*k - n, k - n + 2*n - 1 = 0. Solve w = -s + k for s.
-2
Suppose 40 = -5*g + 9*g. Let x = 10 - g. Solve 1 = -x*d - d for d.
-1
Suppose 4*y + 99 = -l, -3*l + 124 = -4*y + l. Let r be (1/(3/2))/(y/(-273)). Solve 0 = 2*i - r*i for i.
0
Let u = -300 + 300. Let k(c) = c**3 + 6*c**2 + 5*c - 2. Let h be k(-4). Solve 0*a + 5*a + h = u for a.
-2
Suppose 0 = -14*b + 52 + 4. Let d be b*1 + (-11)/(88/16). Solve -d*i + 0*i = -8 for i.
4
Suppose 0*l + 3*l = -2*n + 7, -3*n + 2*l = -30. Solve -12*f + n*f = -20 for