 + 1 = g for n.
-4
Let c(t) be the third derivative of -t**4/24 - 3*t**2. Let o be c(-10). Solve 3*j - o = -4 for j.
2
Suppose 4 = 3*k - 2. Solve -k*j + j - 5 = 0 for j.
-5
Suppose 5*z + 5 = 5*s, -5*z - 3*s + 2 + 1 = 0. Solve 0 = -2*l - z - 2 for l.
-1
Let m(d) = d**3 - 6*d**2 - 11*d + 9. Let v be m(7). Let c = -9 - v. Solve c = 5*n - 0 for n.
2
Let m be (0/9)/(-2*1). Let t be (3 - (m - -3)) + 4. Solve -t*l + 6*l = 0 for l.
0
Suppose 0 = -2*v - 2 + 4. Let k be (-1)/5 + 81/5. Solve -3*x + v = k for x.
-5
Suppose -9*c = -10*c + 6. Suppose -p = -0 - c. Solve s = -s - p for s.
-3
Let v = -3 + 14. Let s(n) = 5 - v*n - 5*n**2 + 11*n - n**3. Let j be s(-5). Solve -3*t + j = -2*t for t.
5
Let d(a) = a**3 - 14*a**2 + 2*a - 13. Let x be d(14). Solve 0*y = 5*y - x for y.
3
Suppose -4*v = -z - 82, 4*v - 4*z - 84 = -2*z. Let c = 3 - 3. Suppose -w = -2*s + 15, 2*w + w + 9 = c. Solve s*y - y = v for y.
4
Let p(u) = -u**2 - 18*u + 3. Let r be p(-18). Let g be 2 - -5*-1*5. Let n = 46 + g. Solve -n = -4*j - r for j.
5
Let k = 3 + -3. Solve k = 2*t - 5 - 1 for t.
3
Suppose -2*l + 6*l = 4. Solve l = 3*p - 2*p for p.
1
Let o = 10 - 24. Let p be ((-6)/4)/(7/o). Solve u + p*u + 16 = 0 for u.
-4
Suppose -3*q - 3 = -5*o + 5, -q + o = 0. Solve 0 = q*b + 11 - 27 for b.
4
Let d(t) = 34*t - 1. Let b be d(1). Suppose -10 + b = u. Let j = -13 + u. Solve -l = l + j for l.
-5
Let b be ((-18)/(-10))/((-6)/(-20)). Solve -5*u = -b*u + 2 for u.
2
Suppose -1 = -r + 2. Suppose k - 3*q + 12 = 0, -4*k - 3*q = -r*k - 18. Solve -k - 1 = 4*x for x.
-1
Let t(s) = 12*s - 2 + 1 + 3 - s**2 + 0. Let i be t(12). Solve -i*c = 8 - 0 for c.
-4
Let r(n) = -5*n. Let t be r(-4). Solve -3*i - t = 2*i for i.
-4
Let x(j) = -j**3 - 8*j**2 + 1. Let l(v) = -v**3 + 6*v**2 - 2*v + 4. Let g be l(6). Let t be x(g). Let d be 48/21 - (-4)/(-14). Solve -t = -d*f + f for f.
1
Let g be (30/(-195) + 72/130)*40. Solve -g = -5*j + j for j.
4
Suppose -3 - 15 = -l + 4*m, 4*l = -2*m. Solve n + l = -0*n for n.
-2
Let i = -9 - -9. Solve n = -i*n - 5 for n.
-5
Let p(u) = u**2 + 14*u - 27. Let a be p(-16). Solve -2*z + 12 = -a*z for z.
-4
Let k be (2 + 1)/(6/4). Let q = 3 + k. Solve 0 = z + 4*z + q for z.
-1
Let l = -2 - -2. Suppose 4*q - 20 + l = 0. Solve 9*r = 4*r + q for r.
1
Let m be 11/55 - (-14)/5. Suppose 52 - 7 = m*l. Solve -7 = 2*j - l for j.
4
Let k be 1 + ((-2)/2 - -2). Suppose -4*i - 5*m + 21 = 0, 0*i = -i + k*m + 2. Let s = 3 - -2. Solve 0 = s*l - i*l + 2 for l.
-2
Suppose 0 = 3*q - 2*u - 96, 3*u + 1 + 8 = 0. Let n = q + -11. Solve 0 = 4*d + 3 - n for d.
4
Let o(u) = 2*u**2 - 9*u - 3. Let k be o(5). Suppose -5*c = -c + k*g - 12, -2*c - 10 = 5*g. Solve -4*d = 7 + c for d.
-3
Let q(k) = -k**3 + 5*k**2 + k + 3. Let g be q(5). Suppose 3*v - v = -g. Let s be v/10 + 17/5. Solve -28 + s = 5*j for j.
-5
Let k(z) = z**2 + z - 11. Let s be k(-5). Solve -5*n + 6 + s = 0 for n.
3
Let r be (-3 + 0)*(-56)/21. Solve 8 = -4*o - r for o.
-4
Let p(j) = j**2 + 11*j + 10. Let t be p(-8). Let v be ((-12)/42)/(2/t). Solve v*i = -i + 6 for i.
2
Let v be (-3)/(2*1/(-2)). Solve 0 = 2*m - v*m for m.
0
Suppose -3*r + 27 = 4*n, 7 = -0*r - r + 4*n. Suppose -2*v + 3 = -z, 4*v + 3*z - 31 = -0*v. Suppose -v*o + 3*o = -2. Solve o*t - 1 = r for t.
3
Let l(s) be the third derivative of s**5/60 - s**3/3 - 2*s**2. Let t be l(2). Solve -b + 4 = -t*b for b.
-4
Let y(b) = -b**3 + 7*b**2 - 6*b + 4. Let k be y(6). Suppose -a = 3*a + 16, -3*c - 14 = 5*a. Solve 0*l - c*l = k for l.
-2
Suppose 0*a + 2 = a. Let m(z) = -z + 10. Let f be m(9). Let x = a + f. Solve n = x*n for n.
0
Suppose 0 = q + 4*q - 25. Suppose 5*h = -d + 22, -5*h - 6 = -q*d - 16. Solve d = -0*k - k for k.
-2
Suppose 4 = 5*w - 11. Solve 0 = 2*u + w + 3 for u.
-3
Let p = 23 + -18. Solve p*y - 12 = y for y.
3
Let x = -16 - -24. Let i = x - 5. Solve r - 1 = i for r.
4
Let h(p) = -p + 10. Let y be h(6). Suppose -25 = 5*a - 0*c - 5*c, -y*a - 5*c + 25 = 0. Solve -2*o + a = -6 for o.
3
Let f be ((-6)/(-4))/((-15)/(-20)). Suppose -f*t - t = 0. Let d be -4 - -5 - (-1 + t). Solve d*b - 8 = -0*b for b.
4
Let l = -24 + 26. Suppose g + 2*r = 7*r + 23, r + 7 = g. Let v = 3 - g. Solve s - l - 3 = v for s.
5
Let t be (-550)/22*8/(-10). Let o(k) = -k**2 + 3*k + 4. Let u be o(3). Let g = 1 - 1. Solve -u*w = t - g for w.
-5
Let g(y) = y**3 - 7*y**2 - 8*y + 13. Let p(w) = -w. Let m(x) = g(x) + 6*p(x). Let z be m(9). Let a be ((-84)/z)/((-2)/14). Solve -4*q + 0 + a = 0 for q.
3
Let b(v) = 2*v + 2. Let w be b(-2). Let z(p) = -p**2 - 2*p + 2. Let i be z(w). Suppose f + i*f = l - 24, -l + f = -16. Solve 2*j - l = -2 for j.
5
Suppose -2*f + 8 + 8 = 0. Suppose 3 - 1 = -2*k + 2*j, 0 = -4*k + 5*j - f. Solve -5*r = k - 23 for r.
4
Let f(l) = l**2 + 8*l - 12. Let s be f(-9). Let n be s*(-6)/(-9)*-1. Solve k - n = -5 for k.
-3
Suppose 3*a = -a + 28. Let s = -20 + 36. Let l be (-1 - (-2 - 0))*3. Solve -s = -a*x + l*x for x.
4
Let i = -31 - -33. Solve c - 3 = -i*c for c.
1
Suppose -24*t = -21*t. Solve t*q = -2*q for q.
0
Suppose -51*x + 41*x = 0. Solve 0*p - 5*p + 10 = x for p.
2
Suppose 2*b - 3*a - 2*a = -5, a = -4*b + 23. Solve -b*p = -11 + 1 for p.
2
Let c(g) = g**2 + 7*g + 8. Let h be c(-6). Solve -h = -f - 3 for f.
-1
Suppose -6 = -5*s + 3*p, 2 = -3*s + p + 8. Solve -2*r = s*r + 10 for r.
-2
Suppose 5*y = -z + 24 - 6, 0 = 4*z - 5*y + 3. Suppose z*k = k + 20. Solve -2*o + k = -0*o for o.
5
Suppose 0 = 4*i - 21 - 3. Suppose i = 3*y - y. Solve -5 = 2*v + y*v for v.
-1
Let h = 3 - 2. Let g(j) = 21*j**3 - j**2 + 1. Let u be g(h). Let q be 0*(u/(-6) + 3). Solve p - 2 = -q for p.
2
Suppose 0 = -4*p + 2*q + q + 39, 3*p + 5*q = -7. Solve -x + p = 2*x for x.
2
Suppose 5*b - b + 20 = 0. Let z = b - -8. Suppose -3 = 2*c - z*c. Solve 2*s + 13 = c for s.
-5
Suppose 5*p - 31 - 4 = -5*l, -2*p + 14 = -2*l. Let b be 2/p + (-2)/7. Solve b = -3*q + q for q.
0
Let y(t) = -2*t**2 - t + 7. Let q be y(-2). Solve -q - 2 = 3*b for b.
-1
Let a(t) = -49 + 47 + t + 2*t**2 + 0*t. Let d be a(-2). Suppose -5*w = -20, -18 - 6 = -c - 4*w. Solve u + d = c for u.
4
Let u(a) = -2*a + 14. Let l be u(11). Let b = l + 18. Solve h + 4*h + b = 0 for h.
-2
Let i(a) = 2*a**2 + 9*a + 12. Let c be i(-4). Solve -3*n + c = -n for n.
4
Let g = -3 + 0. Let t be (g/(-2))/(3/4). Solve 2*d = t + 8 for d.
5
Let w(v) = -v**2 - 6*v - 3. Let l be w(-5). Solve 0 = -l*d - 0 - 6 for d.
-3
Let g be 0 - 1/(-4)*0. Suppose 35 = 5*m - 5*v, g = -v + 2*v + 5. Solve 3*y + m*y = -20 for y.
-4
Let m = -27 + 33. Solve 0 = 2*b - 0*b - m for b.
3
Suppose 3*t = -5*g + 66, -5*g + 54 = 2*t - 5*t. Suppose -6*f - g = -9*f. Solve f*y = -y + 5 for y.
1
Let n(m) = -m**2 + 7*m + 10. Let p be n(7). Solve 4*f = -f + p for f.
2
Suppose 0 = -w - 5 + 1. Let f be (4/(-3))/(2/(-3)). Let b be (w/(-3))/(f/12). Solve -2*l + b = -6*l for l.
-2
Suppose -8*t = -t - 28. Solve -t = 2*w - 0 for w.
-2
Suppose -4*q = -l + 14, 14 = -3*l - 5*q + 5. Solve -l*h + 7*h = 10 for h.
2
Let f(v) = -v**2. Let b be f(-1). Let j = 3 - b. Solve -12 = -j*q + 4 for q.
4
Suppose 10*y = 15*y. Solve y*z = 4*z for z.
0
Let l(g) = -10*g**3 + g + 1. Let s be l(-1). Suppose 6 = -3*n - 5*p + p, -n - 4 = 2*p. Suppose 0*d = 4*h - n*d - 8, -5*d = -h + 20. Solve h = 3*j - s - 2 for j.
4
Suppose 3 = 2*k - 7. Solve i - k + 2 = 0 for i.
3
Let f(j) = j**2 - 8*j + 7. Let v be f(6). Let s = v - -8. Suppose -2*k + 3*k = 2. Solve -k*c + 5 = s*c for c.
1
Let j be (10/(-4))/((-1)/(-4)). Let y be (1/(-2) - 0)*j. Let u be (-1)/(-2)*2 - -1. Solve n - u*n = y for n.
-5
Let l = 1 + -5. Let x = 14 + l. Solve -2*z + x = -0 for z.
5
Let z(y) = y + 4. Let g be z(-7). Let a be 4 + (g + 6)/1. Let q = 10 - a. Solve q = 2*i - 7 for i.
5
Let o = -3 - -5. Let g be 48/15 + (-1)/5. Let n(s) = s**3 - 3*s**2 + 2*s - 3. Let i be n(g). Solve i*l + o = l for l.
-1
Let j = 74 + -59. Suppose -14 = -2*n - 4*f, -3*n = -3*f - f + 9. Suppose -4*b + j = -n. Solve -b*u - 12 = -u for u.
-4
Let y = 6 - 9. Let s be -1*(y - (-2 + -1)). Solve s = -5*n - 8 - 12 for n.
-4
Let w be (-2)/8 - 78/(-24). Solve 2 = -g - w for g.
-5
Let u be -1 + 0 + (-55)/(-11). Solve 7*b - u = 3*b for b.
1
Let t(r) = -r**3 + 6*r**2 + 3*r - 9. Let c be t(6). Let u be 11 - c - (-1)/1. Solve -3*h = 9 - u for h.
-2
Let j = -1 + 9. Suppose 0*b + 4*b = -j. Let h be (1 + -2)*b + 0. Solve o - h = 1 for o.
3
Let