 -n for n.
-5
Suppose -3*r + t + 1 = 0, -2*t = -0*t - 10. Let y = r + -2. Solve y*n = -n - 2 for n.
-2
Let q(g) = -g - 2. Let o be q(-4). Suppose 5*n = 2*n - 2*x + 4, o*n + 3*x - 1 = 0. Solve r - n = 3 for r.
5
Suppose -5*b = 2*o - 65, 2*o - b - 42 - 29 = 0. Suppose 65 = 5*x - 5*y, x + x - o = 5*y. Let f be (-6)/x - 56/(-10). Solve 0 = -f*u - 4 + 14 for u.
2
Let i(g) = 0*g**3 - 5*g**2 - 194*g + g**3 + 199*g. Let d be i(4). Solve 3*o + 2 + d = 0 for o.
-2
Let j(o) be the third derivative of -o**5/60 - 5*o**4/24 + 2*o**3/3 - o**2. Let p be j(-5). Solve 0 = p*i - i + 12 for i.
-4
Suppose 4*g + 22 = k + 2*k, 0 = 5*g + 5. Solve 0 = 3*n - k*n - 9 for n.
-3
Let v(d) = 2*d**3 + 13*d**2 - 9*d - 5. Let c be v(-7). Suppose -2*b - c = m + b, 0 = -2*m + 5*b + 26. Solve m*h - h = 4 for h.
2
Let n(g) = g**3 - 5*g**2 - 1. Let m be n(5). Let a = m + 3. Suppose a*c = -c. Solve -2*j = -c*j - 8 for j.
4
Let l = -6 + 21. Let k be (-2)/(-5) + 24/15. Let q be 2/(-6)*k*-3. Solve q*z = -3*z + l for z.
3
Suppose 0 = 2*s - 3*k + 19, -2*s - 2*s - 2*k + 2 = 0. Let m be 8*5/s*1. Let g be (12/10)/((-6)/m). Solve -i = -g*i for i.
0
Let n be -2*6*(-4)/8. Solve 0 = -w + 4*w + n for w.
-2
Suppose -5*x + 2 = 3*i - i, -i - x = 5. Let v = i - -14. Solve -v*r = -0*r for r.
0
Let z be ((-2)/(-8))/(1/20). Suppose -5 + 25 = z*g. Solve g*n = 5*n - 5 for n.
5
Suppose 4*f + 12 = 8*f. Let h be (-1)/((-2)/8) - 2. Suppose 3*i - i - 18 = 2*x, 5*i + h*x = 10. Solve c + f = i for c.
1
Let q = -27 + 27. Let u be (-1 + q - -2) + 12. Solve -3 = 5*p - u for p.
2
Suppose 0 = -6*q + 2*q - 16. Let r be (-23)/q - (-7)/28. Suppose -m - 3*m + 8 = 4*d, 4 = -2*m. Solve -r = d*v - 22 for v.
4
Let g(j) = 8*j - 1. Let l be g(2). Solve 0 = -2*b - 3*b + l for b.
3
Suppose 3*b = -2*l + 2*b + 13, 0 = -3*l + 5*b + 52. Solve 6 + l = -3*g for g.
-5
Suppose -8*h - 31 + 31 = 0. Solve 4 = l - h for l.
4
Suppose 0 = 3*u - 0*u. Suppose 2 = 2*s - u*s. Let d = 6 - 4. Solve -z - d = s for z.
-3
Let c(l) = 5*l**2 - 1. Let v be c(1). Solve 0*g + 2*g + v = 0 for g.
-2
Let w = -26 - -26. Suppose -4*m + 18 = 5*j - w*m, 2*j - 2*m = 18. Solve -5*h - 14 - j = 0 for h.
-4
Let p(l) = 2*l**2 - 12*l - 6. Let x be p(6). Let m = 6 + x. Solve -c = -m*c for c.
0
Let i be 1/(-6) - 200/(-48). Suppose 11 = -s - 4*r + 1, -i*r - 16 = 0. Solve s*j = j - 10 for j.
-2
Suppose -5*u + u = -48. Let a be (-3)/(0 - (-9)/u). Let s be 1*1/((-1)/a). Solve -c + s = c for c.
2
Let a = 2 - -1. Suppose -5*l + 2 = -a. Solve 4*g - l = 7 for g.
2
Let x be (-170)/(-60) - (-2)/12. Solve -x*m = -9 + 24 for m.
-5
Let p be 5 - 6*2/4. Solve p*c - 1 = -5 for c.
-2
Suppose 2*l - 3 - 7 = 0. Suppose l*s + 12 = 6*s. Solve -3*i = i + s for i.
-3
Let j(n) = n**2 - 5*n + 8. Let k be j(2). Let l(s) = 7*s**2 + 2. Let t(a) = 6*a**2 + 1. Let u(m) = -2*l(m) + 3*t(m). Let f be u(-2). Solve -c + f = k*c for c.
5
Let n be ((-3)/3)/(2/(-6)). Let h(g) = g**2 + 7*g + 7. Let t be h(-5). Let i be 0 - ((-6)/t - 2). Solve i = n*z + 1 + 2 for z.
-1
Let i = 11 + -8. Let m be 2/((-15)/(-6) - 2). Solve 1 + i = m*n for n.
1
Suppose -4*i - 15 + 47 = 0. Solve k = -3 + i for k.
5
Let p = 200 + -192. Solve 2*f = -0*f + p for f.
4
Let n = 116 + -116. Solve n - 2 = -f for f.
2
Suppose 5*p - 86 = z - 3, -4*p = 4*z - 52. Suppose -4*y = -p - 16. Solve -2*r + y = -0 for r.
4
Let b(q) = 2*q**2 + q - 5. Let j be b(3). Let u = j + -16. Solve 0 = 2*d - u*d - 8 for d.
4
Suppose -3*w = 5*j - 20, -2*w = -j - 29 + 7. Let f be (-4)/(-18) + (-112)/(-63). Solve 3*l - w = -f*l for l.
2
Let a(v) = 2*v - 3. Let b be a(2). Suppose 11 = 4*n - 2*w + b, 0 = -4*n + 3*w + 9. Solve 0 = 4*f - 19 + n for f.
4
Let u(v) = -2*v**3 - 3*v**2 - v. Let d be u(-2). Let b be (d/(-6))/(2/(-10)). Solve x + 0 = -b for x.
-5
Let c = -18 + 25. Solve 5 = r + c for r.
-2
Let t be (-88)/(-72) - (-2)/(-9). Solve -i + 5 = t for i.
4
Let k be (-8)/28 - 88/(-14). Suppose -31 - 49 = -4*b. Solve -k*x - b = -x for x.
-4
Let q(r) = 6*r + 9. Suppose -20 = 5*z + 10. Let x(c) = -7*c - 9. Let y(f) = z*q(f) - 5*x(f). Let j be y(-12). Solve -l - j = -0*l for l.
-3
Let q(n) = n**3 + n**2 - n + 2. Let g = 5 + -3. Let j be g/(-10) - 27/15. Let k be q(j). Solve k = t - 2 for t.
2
Let c(g) = g**3 + 9*g**2 - 3*g + 1. Let x be c(-9). Suppose -12 + x = 2*m. Let u be (6/(-4))/((-4)/m). Solve -6 = -u*l + 6 for l.
4
Let r(s) = -s**2 - 7. Let n be r(0). Let v(f) = -5*f - 10. Let o be v(n). Solve -4*u - o = -9 for u.
-4
Let l be (0/(-3))/(1 - -1). Solve l = a - 0 + 1 for a.
-1
Suppose -3*a - 6 = 0, -2*m + a = -0*m + 2. Let x(k) = k**3 + k**2 - 2*k - 3. Let g be x(m). Let s be 2 - g/6*2. Solve 6*b = 3*b - s for b.
-1
Suppose -388 = -2*f + 12. Let g be ((-2)/(-5))/(4/f). Let h(n) = n**2 + 5*n - 2. Let z be h(-6). Solve -z*j = -0*j + g for j.
-5
Let m = 24 + -7. Suppose m + 7 = 3*l. Let n(r) = 2*r - 17. Let s be n(11). Solve -l = -o + s*o for o.
-2
Let b = -38 + 63. Let y = -1 - -2. Let f be 1/((1/5)/y). Solve 10*c - b = f*c for c.
5
Suppose v = 2*h + 6, 3*v = 2*h + 21 + 1. Let y = v + -5. Solve y*j - j = -4 for j.
-2
Suppose -2*a + 4*h = -4, -2*a + 3*h = a - 6. Suppose -q - p = -1, 6 = 2*q + a*p - p. Solve 0 = -2*l + q*l + 12 for l.
-4
Suppose 0 = -5*q - l + 5, -7 = -3*q + 2*l + 9. Solve 2*x = -q*x + 20 for x.
5
Let p(b) = b**3 + b**2 - b. Suppose 2*d = 7*d. Let l be p(d). Solve l = -s + 2*s for s.
0
Suppose 0 = -2*k - k. Let x(s) = 5*s**3. Let z be x(1). Let n = 7 + z. Solve k = -0*q - 3*q - n for q.
-4
Suppose 2*v + 0*v = 0. Let c be (4 + (-12)/(-6) - 4)*2. Solve -c*y - y - 10 = v for y.
-2
Suppose 5*m - 29 = o, 2*o - 4 = 2*m - 22. Solve -m*w = -2*w + 15 for w.
-5
Suppose -5*z = -4*t + 12 - 42, 0 = -4*z - t + 3. Solve -4 = -z*x - 2 for x.
1
Let h = -9 + 17. Suppose -o = o - h. Solve -8 - 12 = o*t for t.
-5
Suppose -7*l + 4*l - 21 = 0. Let b(a) = -a**2 - 9*a - 10. Let n be b(l). Solve 0 = n*v - v - 6 for v.
2
Let s(a) = -4*a + 42. Let y be s(10). Solve -y*v = 16 - 6 for v.
-5
Suppose -4 = g - 0*g, -3*m = -2*g - 11. Solve -m = v - 0*v for v.
-1
Suppose 72 = -0*z + 3*z. Let j(y) = 2*y + 8. Let a be j(-9). Let v = a - -14. Solve -4*t = -z + v for t.
5
Let r = -17 + 19. Suppose -4*a + 60 = a. Solve a = -2*d - r*d for d.
-3
Let i(a) = 2*a - 1. Let z(k) = k**2 - 10*k + 6. Let t(w) = 11*i(w) + 2*z(w). Let m be t(-2). Suppose -m*x + x = 0. Solve c + x*c - 3 = 0 for c.
3
Let o(n) = n**2 - 4*n + 3. Let m = 3 - -1. Let t be o(m). Solve 0*d = t*d for d.
0
Let h be (-12)/(-2)*7/14. Solve h*o - 5 + 2 = 0 for o.
1
Let m = 8 - 5. Solve -5*y = m - 18 for y.
3
Let l(v) = -4*v - 21. Let b be l(-7). Solve 3*a - b = 2 for a.
3
Suppose -13 = -3*b - 7. Solve -2*n - 8 = b*n for n.
-2
Let q be -4*(-4)/(12 - 4). Solve 3*x = q*x for x.
0
Suppose -f - 4 = -0*f. Let z(s) = -4*s - 5 + 3*s + 1. Let c be z(f). Solve o - 6 + 2 = c for o.
4
Let u be ((-6)/4)/(4 - 1)*-40. Solve 4*w + w = u for w.
4
Let c be ((-2)/4)/((-3)/18). Let d = -14 + 47. Suppose 0 = s + 4, 3*j + 0 = -3*s + d. Solve -j = 4*a - c for a.
-3
Let c = -4 - -39. Suppose 0 = -5*w - 4*o + c, 18 + 1 = -2*w + 5*o. Suppose -w*q = -0*q - 24. Solve -p = 3 - q for p.
5
Let z(q) = -q**3 - 2*q**2 - 4*q - 3. Let h be z(-2). Let o be 1*2/(-6)*-6. Let f = o + 0. Solve 0 = -h*b - 8 - f for b.
-2
Suppose -40 = 5*y - 3*f, 25 = -2*y + 5*f + 9. Let k = y + 8. Solve k = -l - 3*l for l.
0
Suppose -t - t = -20. Solve -3*u - 5 = t for u.
-5
Suppose -3 + 27 = 4*j. Suppose -4*u = -3*c + c - 8, -4*u = 5*c - 36. Let q be (u/j)/((-2)/(-6)). Solve -n = -q*n for n.
0
Let s = 113 - 52. Let x be s - 0 - -2*1. Suppose 3*r + n + 17 = x, -77 = -5*r - 2*n. Solve -2*g + r = -5*g for g.
-5
Let q(r) = r**2 + 12*r + 11. Let c(w) = w - 5. Let j be c(-6). Let h be q(j). Let v = 7 + -3. Solve h = -v*p - 6 - 2 for p.
-2
Let b = 6 + -9. Let d = b + 9. Suppose 0 = -7*c + d*c. Solve c = -3*z - 10 - 2 for z.
-4
Let h = -15 - 7. Let z be (h - -2)*(-3)/6. Solve -5*g + z = 30 for g.
-4
Let c(r) = -7 - 3 - r + 3. Let z = 16 - 23. Let x be c(z). Solve x = -2*a - 2*a for a.
0
Let t be 2/5 + 13/5. Suppose -4*b + 1 + t = 0. Suppose -2*i + 3*u = 6, 0 = -5*u - 2 + 12. Solve w + 1 + b = i for w.
-2
Suppose 3*w + 2*j - 19 = 0, -j + 6 = 2*j. Suppose f - w = -0. Let c = f + 5. Solve 0 = 4*t + t + c for t.
-2
Let k be (-4)/(-4 + (-12)/(-4)). Solve -k*c + 6*c = 10 for c.
5
Suppose 2*l - 5*n + 20