lve 4*g + 15 + k = 0 for g.
-4
Suppose 0 = 5*h - 8*h + 6. Solve -h*x + 3 - 7 = 0 for x.
-2
Suppose -6*i + 37 = -23. Solve 8*s = 6*s + i for s.
5
Suppose o = 6*o - 45. Let z = 24 - o. Let i = z - 11. Solve p - i + 2 = 0 for p.
2
Suppose 0 = -2*v - v. Suppose -3*b - 2*b - 10 = v. Let g = 4 + b. Solve -2*r + g = 6 for r.
-2
Suppose 0 = 2*j - 3*j + 8. Let f be 2/(-7) - j/(-28). Let m(s) = s**2 + 8*s - 3. Let t be m(-9). Solve -3*d + f = t for d.
-2
Let z = 7 - 2. Suppose z*c = 6*c. Solve 0*n - n + 3 = c for n.
3
Let w(n) be the second derivative of n**4/12 - n**3/3 - 5*n**2/2 + 19*n. Let i be (-1 - 8/(-2)) + 1. Let b be w(i). Solve 4*h = h - b for h.
-1
Let g be 1/(-4) - 9/(-4). Let h be 0/(-5 + 3/1). Suppose -2 + h = -y. Solve -g*i + 4 = -y for i.
3
Let j be 7/2 - (-1)/(-2). Suppose 2*y - 2*w - 8 = -0*y, -2*w + 7 = j*y. Suppose 4*z = 2*n - 5*n - 11, z = -2*n + 1. Solve -n*u + 9 = y for u.
2
Suppose -2*u - 13 - 1 = 0. Let l be 270/35 + (-2)/u. Let a = 12 - l. Solve 8*x - a = 4*x for x.
1
Let m(d) = -d**2 - 10*d - 19. Let q be m(-6). Solve 4*x = -x - q for x.
-1
Let a be 1*0/3*6/24. Solve a = -6*o + 3*o - 9 for o.
-3
Let z(x) be the first derivative of -x**4/4 + 7*x**3/3 + 2*x + 3. Let l be z(7). Solve -g + 3 = -l for g.
5
Let b be (-3 - -5) + -4 + -1. Let s = b + 5. Solve 0*g - 8 = s*g for g.
-4
Suppose 3*w - 2 = 1. Let h = -86 - -88. Solve d - w - h = 0 for d.
3
Let i be 371/77 + (-4)/(-22). Solve 2*w + i = 3*w for w.
5
Let p(d) = 11*d + 59. Let w be p(-5). Solve n + 3 = w for n.
1
Let n = 25 - 13. Solve -3*a - n = a for a.
-3
Suppose -4*o - 15 = -o. Let u be (-6)/15 - 22/o. Solve -u*t = -t for t.
0
Suppose 0 = -3*a + 5*s - 3, a + s = -3*a + 19. Solve -a = -2*v + v for v.
4
Suppose -3*k + 2 - 25 = 5*t, k = -2*t - 9. Let s be (t/6)/(4/(-18)). Suppose 5*r - 36 = r. Solve -s + r = -3*i for i.
-2
Let l(g) = 3*g**3 - 2*g**2 + 4. Let k be l(2). Solve k = 4*s + s for s.
4
Suppose 2*o - 6 = -0. Let t be (1 - -2)*4/6. Suppose -t*v = o*v. Solve v*w + w = -1 for w.
-1
Suppose j + 15 = 21. Solve 0 = -2*n - j + 16 for n.
5
Let u(x) = x**2 + 2*x. Suppose 10 = -2*d, -4*d = -5*r + d. Let o be u(r). Solve m + o = -4*m for m.
-3
Suppose -4*c = 3*c. Solve c*q = q for q.
0
Let q = 9 - 5. Let n be (3 - q)/((-2)/24). Let p = -8 + n. Solve w - p = -5 for w.
-1
Let m = 15 + -11. Solve -2*f = -0*f - m for f.
2
Suppose 3*o - 12 = -0*x + 3*x, 2*o = -4*x + 8. Let z(r) = -r**2 - 10*r + 6. Let v be z(-8). Let a = v + -7. Solve -j + a = -o*j for j.
-5
Let g(u) = -17*u**3 + u**2 + u + 1. Let a be g(-1). Let t = a + -25. Let s(p) = p**3 + 7*p**2 + 4. Let l be s(t). Solve 0 = l*m - 12 + 28 for m.
-4
Suppose -2*q = 5*a - 14, -5*q - 11 = -2*a + 3*a. Solve 2*u = -2 + a for u.
1
Suppose s = -s + 2. Let a(k) = 6*k**2 - 1. Let p be a(s). Solve 5*u + p - 15 = 0 for u.
2
Let f = -7 - -12. Suppose 0 = 5*o + 7 + 3, 3*s = f*o + 10. Solve s*p = -p for p.
0
Let l = -2 + -2. Let q be (-3)/6*l - 2. Let y(i) = -2*i - 7. Let v be y(-5). Solve q = x - 4*x - v for x.
-1
Let c = 7 + -24. Let d = 21 + c. Solve d*n = 4 - 0 for n.
1
Suppose -3*s + 3 = 2*m, 4*m - 1 = -3*s + 2*s. Solve -s = 2*i - 3*i for i.
1
Let t(l) = 3*l**2 - 2*l - 1. Let m be t(-1). Suppose 0*j + 44 = 4*j + m*p, 0 = -5*j - p + 51. Suppose 0 = -3*w - w + 8. Solve -3*h = w*h + j for h.
-2
Let w be (70/(-6))/(3/(-9)). Let m = w - 25. Let s = m - 6. Solve 2 = s*p - 2 for p.
1
Suppose 4*b - 10 = -2. Let n be 2/(1 - -1) + b. Solve -q = n*q for q.
0
Suppose 104*y = 110*y. Solve 5*w + y = -10 for w.
-2
Let z be (0 - -1)/((-4)/(-28*1)). Solve 4*w - z*w = 15 for w.
-5
Let c(k) = k**2 + 2. Suppose -19 = -5*g - 2*f, 3*g - 13 = -f - f. Let t be c(g). Let w = -6 + t. Solve -2*l + l + w = 0 for l.
5
Suppose 2*b + 4 - 10 = 0. Suppose -b*h - 2*g + 0*g + 38 = 0, -9 = -h + 3*g. Suppose -3*q + h = 3*j - 0*q, -3*j + 4*q - 2 = 0. Solve j*y = y + 3 for y.
3
Let t(p) be the second derivative of p**3/6 - 4*p**2 - p. Let x be t(9). Solve x = -z + 6 for z.
5
Let w = -52 - -54. Solve w*h - 6 = -10 for h.
-2
Let y be (-468)/68 + (-6)/51. Suppose 2*t + 3*t = -20. Let v = t - y. Solve -v*s + 5 = -10 for s.
5
Suppose 2*c = -8*c + 40. Solve 6*x = c*x for x.
0
Let j(b) = -b**3 - 3*b**2 - 3*b + 1. Let u be j(-3). Let h be (-6)/4*u/(-15). Solve n + 3 - h = 0 for n.
-2
Let n = -2 - -17. Solve n = 3*m - 6*m for m.
-5
Let n be -4*1/(1 - 0). Let v be (-3)/(6/9 + -1). Let o = n + v. Solve k = o*k for k.
0
Suppose 8 = -0*i + 3*i - 4*v, -5*i + 18 = -2*v. Suppose 0 = -4*y - i + 16. Solve 3*d = 2*d - y for d.
-3
Suppose 2*q + 0*q - 6 = 0. Let c be (4/14)/(q/21). Solve 0*s + s = c for s.
2
Let v(k) = k**3 + k**2 - k + 4. Let j be v(0). Solve j - 1 = 3*r for r.
1
Let z = -13 + 23. Let j = z - -4. Suppose 3*b = -4*f + 16, -4*b + j + 6 = 4*f. Solve o = b*o - 9 for o.
3
Let n = -12 + 18. Suppose 0*c = 4*c. Suppose -3*j + n = -c*j. Solve j*g - 9 = -1 for g.
4
Let d be 22/18 + (-4)/18. Solve d + 3 = j for j.
4
Let g = 3 + -6. Suppose 3 = -4*w + 5*w. Let u = w + g. Solve u = -2*j - 2*j + 12 for j.
3
Suppose 0 = -p - 4*p. Suppose p = 4*w + 6 - 18. Solve 0 = -w*k - 7 - 2 for k.
-3
Let j(o) = o**3 + 9*o**2 - 23*o - 11. Let r be j(-11). Solve 0 = 3*d - r*d for d.
0
Let q(z) = 2*z - 6. Let a be q(4). Suppose -a*h - 9 = -5*h. Suppose -h*o - o + 20 = 0. Solve 16 = o*w + 1 for w.
3
Suppose -2*c + 5*u = -30, -2*u - 3*u + 110 = 5*c. Let o be 12/c*(-2 + -3). Let b = o - -3. Solve 3*a + 10 - 1 = b for a.
-3
Let y be (-2)/(-9) - 104/(-18). Let r = y - 4. Solve -l - r*l = 0 for l.
0
Let c = -1 + 1. Let b be c/(0 - -2) + 0. Suppose b*x - 31 = -2*m + 3*x, 5*x = 3*m - 47. Solve -2*z = m - 4 for z.
-5
Let j = -5 - -7. Let g = -3 + j. Let s be 0/(2/2*g). Solve -t = -s*t + 4 for t.
-4
Let f be (-2)/4*(-4 - 2). Solve -f*w - 16 = w for w.
-4
Suppose -k - 4*c = k - 26, 0 = -3*k + 4*c - 11. Suppose 5*x + k*h = -h - 136, 2*x - 2*h = -58. Let m be (-7)/(-2)*(-16)/x. Solve m*i + 0*i = -8 for i.
-4
Suppose 25*z + 4 = 27*z. Solve z*k = -3 - 7 for k.
-5
Suppose -4*j + 19 - 3 = 0. Solve j*p + 2 = -2 for p.
-1
Let l(u) = -u**3 + 5*u**2 - 3*u - 2. Let h be l(4). Suppose -3*x = h*x. Solve -2*y + y = x for y.
0
Let t be -1 + 3 - (2 + -13). Let y(v) = -v**2 - 4*v + 24. Let r be y(-7). Solve -r*o = -t - 2 for o.
5
Let u(d) = d**3 + 7*d**2 + 9. Let g be u(-7). Let t = -5 + g. Solve 0 = -t*n + n - 9 for n.
-3
Let w(c) = 5 + c - 6 - 2*c + 0. Let t be w(-4). Solve x - 5 + t = 0 for x.
2
Suppose -b = 4, 0 = 4*a + a - 4*b - 6. Let i be a + (-2 - 0) + 8. Solve 0 + 4 = i*j for j.
1
Let g = 47 - 43. Solve 0 = -3*k + 19 - g for k.
5
Let z(g) = g + 11. Suppose 6*k - 2*k + 3*q + 56 = 0, -5*q = -5*k - 35. Let y = k - -2. Let d be z(y). Solve -a = -d*a + 5 for a.
5
Let c = 14 - 9. Solve 0*a - a - c = 0 for a.
-5
Suppose -2*q = 3*b - 16, -36 + 4 = -4*q - 5*b. Let d = -4 + q. Suppose -j - 6 = -d*j. Solve y + 12 = -j*y for y.
-4
Suppose 0*n + 2*n + v = 1, 0 = -2*n + v + 11. Let c = n + 1. Solve 12 = -0*h - c*h for h.
-3
Let a(m) = m**3 + 5*m**2 + 4*m. Let z be a(-3). Suppose 3*h + 7 = 4*y - z, -4*y - 5*h + 21 = 0. Solve y*k + 2 = -10 for k.
-3
Suppose 36 = -0*r + 3*r. Let b be -6 - -6 - 0/1. Solve b = -2*m - r + 4 for m.
-4
Let c(a) = -10*a + 1. Let v be c(0). Solve -f = 5 - v for f.
-4
Suppose 7*f + 3*q = 3*f - 15, 2*q + 10 = f. Solve -n - n + 4 = f for n.
2
Let p = -8 + 10. Let j be 1/p + (-33)/(-22). Solve j*x - 5 = x for x.
5
Let z(f) = -f - 13. Let y be z(-13). Suppose 0 = 4*s - y*s + b - 20, 0 = -3*s - 5*b + 32. Solve -s*h = -13 - 3 for h.
4
Let r be (18/(-15))/((-2)/5). Suppose -12 = -3*i, 7 + 1 = -4*l + 5*i. Let j = 0 + l. Solve j*x - r = 4*x for x.
-3
Suppose 8*o - 3*o - 20 = 0. Let k = o + -1. Solve 0 = w + 7 - k for w.
-4
Let u(b) = b**3 - 7*b**2 + 8*b - 10. Let w be u(6). Solve 2*l = -w*l + 12 for l.
3
Let c = 13 + -13. Solve 0 = -2*u + 8 - c for u.
4
Let n(b) = -3*b**2 - 13*b - 1. Let k be n(-4). Solve 5*p - 2 = k*p for p.
1
Suppose 0 = 6*w + 1 - 7. Solve -w = 2*o + 9 for o.
-5
Let h = -24 - -29. Let a = 1 + -1. Solve a = -h*u + 8 + 7 for u.
3
Let i = 135 - 131. Solve j = -0*j - i for j.
-4
Let s(j) = -j**3 - 8*j**2 - 9*j - 10. Let c be s(-7). Suppose 5*y + 5 = 5*h, -c*h + 1 = 2*y - 3*y. Solve -2*o - 1 + 3 = h for o.
1
Suppose 0*r = -4*r - 2*n - 22, 2*r - 1 = 3*n. Let s(x) = -2*x**2 + 5*x - 4. Let k be s(4). Let a = r - 