g + 1 = 0 for g.
-1
Let k(c) = c**3 - 8*c**2 + 8*c - 7. Let h(i) = -i + 7. Let q be h(4). Suppose 4 = -q*v + 25. Let o be k(v). Solve 0*u + 2*u - 2 = o for u.
1
Let o(l) = l**2 + 12*l - 9. Let n be 74/(-6) + (-2)/3. Let z be o(n). Solve -y = z*y - 10 for y.
2
Let t(w) = 2*w + 16. Let y be t(0). Solve 0 = -2*v + 6*v + y for v.
-4
Let n = -87 + 90. Solve 0 = -2*q - n + 1 for q.
-1
Suppose 6*m = m. Suppose m = -3*o - 0*o + v + 5, -3*o - 2*v = -8. Solve 3 = d + o for d.
1
Let v be (3 - -2) + 0/3. Let d(k) = -k**2 + 8*k - 3. Let w be d(v). Suppose 0 = 2*g - w - 18. Solve -g = -5*z + 2*z for z.
5
Let j(r) = r**2 - 8*r + 1. Let m be j(7). Let c be m/(-3) - 1 - -4. Suppose -2*k = 5*t - c*k - 18, -4*t + 8 = 4*k. Solve -t*h = -8*h for h.
0
Suppose 3 = n - 1. Suppose -2*l - 5*b = -25, -l + 23 - 3 = n*b. Solve 2*y + 3*y - 15 = l for y.
3
Let l(q) = -q**2 - 27*q - 46. Let z be l(-25). Solve -p + z*p = 9 for p.
3
Let v(y) = -y**3 + 7*y**2 + 7*y + 11. Let q be v(8). Let g be 2/(-6)*(q - -36). Let w be 3/(-1)*g/3. Solve 0 = 4*p + w - 1 for p.
-3
Suppose -k = 18 - 21. Solve k*q = 3 + 3 for q.
2
Let q = -16 + 24. Solve -2*b - 2 - q = 0 for b.
-5
Let f be 1 + 3 - (0 - 4). Solve -4*d + f = -0*d for d.
2
Suppose 4*u - 59 - 21 = 0. Solve 2*r - u = -2*r for r.
5
Let l(k) = -k**3 - 4*k**2 - 5*k - 5. Let w be l(-4). Let f be (-1)/(w/(-6) - -2). Solve f*q = -2*q for q.
0
Let b(n) = 2*n - 20. Let w be b(10). Solve -2*m - 2*m - 8 = w for m.
-2
Suppose -4*w + 2 = -2. Suppose -r = -5*r. Suppose r = i - 1 - w. Solve i*s = -2*s + 4 for s.
1
Let p(b) = b + 12. Let n be p(-10). Solve -3*z - n = -z for z.
-1
Let a(f) = 6*f + 5. Let m be a(-2). Let g(k) = -2*k + 2. Let x be g(m). Solve x = -j - 3*j for j.
-4
Let c be (12/10)/(6/40). Suppose -3*o + 198 = -3*m, 2*m - 4*o + 170 = 36. Let j be 2/(-9) + m/(-9). Solve -j*q = -3*q - c for q.
2
Let w(x) = -5*x**2 - 9*x - 1. Let m(c) = -4*c**2 - 8*c - 1. Let r(y) = 4*m(y) - 3*w(y). Let n be r(-4). Solve n = k - 4*k for k.
-1
Let w = 19 - 15. Suppose -q = -w*q + 6. Solve 3*f + 25 = -q*f for f.
-5
Let n be 0 + -1 + 9 + -1. Let l = 5 + n. Solve -l = 4*f - 0 for f.
-3
Let l(v) = v**2 + 10*v + 8. Let k be l(-8). Let s = k + 28. Let h = 0 + 0. Solve h = 3*a - 8*a - s for a.
-4
Suppose -11 - 1 = -4*n. Solve n = 4*z + 15 for z.
-3
Suppose -4*u + 2*i - 1 = -19, 0 = -3*u - 2*i - 4. Let s = -2 + u. Solve s*v - 1 = v for v.
-1
Let y = -4 - -9. Let p = y + -1. Let g be (-39)/(-12) + (-1)/p. Solve 0 = -5*m - g - 2 for m.
-1
Let o(d) = -d**3 + 4*d**2 - 4*d + 5. Let k be o(5). Let a = k + 57. Suppose -p - 1 = -a. Solve -3*z - p = -1 for z.
-5
Suppose -h + 12 = 2. Let s = 10 - h. Solve q - 4 = -s for q.
4
Let k be (-3)/(6*(-2)/8). Let q = -4 - -6. Let n = k + q. Solve 0 = n*l - 12 - 4 for l.
4
Suppose 24 - 4 = 5*w. Suppose 0 = 5*s - 27 + 7. Suppose -s*n - w*t + 28 = 0, 2*t + t - 33 = -5*n. Solve 0 = 2*a - 2 - n for a.
4
Let k = 184 - 179. Solve 0*a + k*a = -10 for a.
-2
Suppose -2*f - 4 + 14 = 0. Suppose -2*q + 5*d - f = -3, 0 = -q + 2*d. Solve -q*s - 9 = -1 for s.
-2
Let q(y) = 5*y**3 - 13*y**2 + 15. Let l(b) = 2*b**3 - 6*b**2 + 7. Let a(k) = -7*l(k) + 3*q(k). Let p be a(-3). Let f be 6/p*(-8)/6. Solve f + 23 = 5*g for g.
5
Suppose 12*b - 17 = 11*b. Solve -5*h - 8 - b = 0 for h.
-5
Let o be 2/5 + (-6)/15. Solve -c + o*c = -4 for c.
4
Let p = 17 - 27. Let x = -6 - p. Solve -d + 0*d + x = 0 for d.
4
Let k = 6 + -11. Let d = k + 9. Let s be (-2)/d*(-2 + -4). Solve -s*u + 3 = -3 for u.
2
Let k(s) = -s + 6. Let t be k(7). Let m be (-3 - t) + 0 + 2. Suppose 4*l + 5*p - 12 - 56 = m, -5*l - p + 64 = 0. Solve 5*g - 2*g = l for g.
4
Let i(b) be the first derivative of b**3/3 - 7*b**2/2 - 7*b - 1. Let u be i(8). Let z = u - -1. Solve z*o + 8 = -2 for o.
-5
Suppose y = 6*y - 55. Suppose 2*c = f, -7 = 4*f - 2*c + y. Let z = f - -14. Solve -z = -2*b - 0*b for b.
4
Let g(u) = -u**3 - 4*u**2 - 6*u + 11. Let r(d) = -d**2 - 1. Let q(f) = g(f) + 4*r(f). Let h be q(-7). Suppose h = 2*n - 4 - 2. Solve 3*b + n = -6 for b.
-3
Let g = -10 - -12. Suppose -3*x - 12 = 0, -x + 10 = g*j - 6. Solve -d - 4*d - j = 0 for d.
-2
Suppose 0 = -4*j + 2*j + 4. Suppose -s = j*s - 6. Suppose 4*h + 4 = 2*y + 2*h, y + 5*h - s = 0. Solve -3*c + 3 = -y*c for c.
3
Let k(r) = r**2 - 8*r + 9. Let x be k(8). Let w(l) = -l**3 + 8*l**2 + 10*l - 9. Let c be w(x). Solve c = 2*i - 4*i for i.
0
Let f be 48 + (-3 - 0) + 5. Suppose 0 = 4*d + d + 5*p - f, -3*p + 44 = 5*d. Solve d - 19 = -4*g for g.
3
Let p(a) = -a**2 + 2*a + 12. Let h be p(4). Solve -h*c + 8 + 0 = 0 for c.
2
Let b = 2 - 2. Let v(z) = -z**2 - z + 23. Let r be v(b). Solve -4*g - 7 + r = 0 for g.
4
Let h(s) = -s**2 + 4*s - 3. Let w be h(2). Suppose f + w = -2*j, 0 = 3*f - 3*j - 2 - 4. Let l = 4 - f. Solve x = -l*x + 4 for x.
1
Suppose 0*w = -3*w. Suppose -3*x + 21 = h, w*x = -4*h - 2*x + 34. Solve 0*s - h = 3*s for s.
-2
Let m(u) = u + 1. Let c be m(3). Suppose -16 = -4*n - 0*n. Solve c*i = 5*i - n for i.
4
Let m be (-2)/(-3) - 30/(-9). Let b be (0 - 1 - -2) + -3. Let g be (1 - 4/b)/1. Solve -7 = g*s - m for s.
-1
Let q(w) = w**3 - 6*w**2 + 8*w + 3. Let s be q(4). Solve 0*r = s*r for r.
0
Suppose -w - 4*w = 0. Suppose -6 + 2 = -2*q. Suppose 2*f + q*a - 10 = -w*f, 0 = a - 2. Solve -f*n - n = 0 for n.
0
Let m(o) = 2 + o**2 - 2*o**3 + o**3 + 4*o**3 - 3. Let r(i) = i**3 - 5*i**2 - 7*i + 7. Let v be r(6). Let x be m(v). Solve 0 = x*z - z for z.
0
Let h = -9 + 9. Suppose -2*d + 2*f = 0, -2*d + f + 3*f - 8 = h. Suppose d*p - 48 = -0*p. Solve 6*u + p = 3*u for u.
-4
Let t(l) = l**3 - 7*l**2 - 6*l - 6. Let f be t(8). Let j be (1/3)/(f/300). Solve -4*p - 6 = j for p.
-4
Let l = 14 + -5. Let c(g) = g + 8. Let a be c(-5). Let q = a + -1. Solve n + l = -q*n for n.
-3
Suppose 4*p - 20 = -3*k, -5*k - p + 14 = -2*k. Solve -t - 5 = k*t for t.
-1
Suppose 0 = 5*q - 3*q + 22. Let w = 16 + q. Solve -5 = w*o - 0*o for o.
-1
Let d be (-21)/14*8/(-3). Let v be 15 + (0 - (0 - 1)). Solve -d*g + 0*g = -v for g.
4
Let a = -17 + 25. Suppose 5*l = 2 + a. Solve -2*q = -q + l for q.
-2
Let r(d) = 2*d**2 - 3*d - 14. Let z be r(6). Solve -z + 15 = 5*f for f.
-5
Suppose 169*b + 25 = 174*b. Solve 2*q + b = q for q.
-5
Let n(c) be the second derivative of c**5/10 + c**4/3 + 2*c**3/3 + 3*c**2/2 + c. Let v be n(-2). Let q be (15/v)/((-1)/5). Solve 0 = -2*l - 5 + q for l.
5
Let m be 45*(-2 + 1 - 44/(-33)). Solve 4*n + m = n for n.
-5
Suppose 3*g - 4*g - 3 = 0, 2 = -5*m - 4*g. Let u be (-1)/(2/(-4)*1). Solve -a - m = -u*a for a.
2
Let y be (-2 - -2)/(-4 - -7). Solve 5*k + 16 + 4 = y for k.
-4
Let v be (15 + -6)*(-2)/(-6). Suppose -v*z + 2 + 7 = 0. Solve 2*t - z*t + 4 = 0 for t.
4
Let q = 2 - 0. Let h(s) = 3*s**q - 2*s**2 + 4 + 0 - 3*s. Let u be h(3). Solve -d - u*d - 25 = 0 for d.
-5
Suppose -62 = -5*r - d + 18, 2*r - 59 = 5*d. Suppose m - 5*a = -m - 33, 0 = 3*m - a + r. Let j(u) = -u - 1. Let z be j(m). Solve 3*x + 3 = -z for x.
-2
Let a = -32 + 22. Let t be (-18)/a + (-8)/10. Solve -5*f + 6 - t = 0 for f.
1
Let n = 5 - 9. Let k(q) = -2*q - 8. Let v be k(n). Solve -5*w + 15 = -v*w for w.
3
Let o = 89 - 81. Solve 0 = -b + o - 3 for b.
5
Let u = 5 + 0. Solve 0 = u*k + 1 + 24 for k.
-5
Let u = -1 - -1. Let t = -3 + 5. Let z be (-2 + u + t)*1. Solve z*s - 2*s = -6 for s.
3
Let r be ((-2)/(-4))/1*10. Solve 4*q = -r - 3 for q.
-2
Suppose 2*v - 2 = -w, 0*w + 3*w = -4*v. Solve v*r = 3 + 3 for r.
2
Suppose 20 = 4*y - 4*j, 5 = -2*y + 3*y + j. Suppose 16 = y*w - 9. Suppose 0 = g - 0*g - 5*r, 2*g = -w*r. Solve g = -2*k - 2*k - 8 for k.
-2
Suppose h = -2*h + 3. Suppose -2*y = -7 - h. Suppose 5*g + 13 = -l, -g - 3*g - 20 = -y*l. Solve 0 = -3*w - l*w + 10 for w.
2
Suppose -i + 3*i = 4. Solve -7 + i = -5*y for y.
1
Let b be (10/15)/(1/6). Suppose b*o = 5 + 3. Suppose -y = -5*z, -z = -y - o*y + 70. Solve 0*r - 5*r = y for r.
-5
Let r(m) = m**2 - 5*m - 6. Let y be r(6). Solve y = 9*s - 11*s + 4 for s.
2
Let t be ((-3)/(-6))/((-2)/24). Let i = 8 - t. Solve -3*g = i - 5 for g.
-3
Suppose -36 = 3*k - 6. Let x = -8 - k. Solve x*t = -3 + 9 for t.
3
Let y(k) = k + 6. Let v be y(-4). Let u be 5/1*(-4)/(-5). Suppose u*f = 3*f. Solve -2*r - v = -f*r for r.
-1
Let k = 5 - 2. Let x(h) = -h**3 + 2*h**2 + 4*h - 3. Let i be x(3). Suppose i*n - 2*n = 0. Solve n*s = -3*s + k for s.
1
Suppose 12*b + 9 - 9 = 0. Sol