+ n + 2, 0 = 3*n - 4*n - 5. Solve 0 = -x*m + 1 + 8 for m.
3
Let w(x) = -x**2 + 8*x - 8. Let h be w(6). Suppose m - 5*s = 7, h*m + 3*s - 3 = 2. Solve -3*n - m*n + 15 = 0 for n.
3
Let t be 3/(3*2/(-4)). Let l(v) = v**2 + 3*v + 2. Let q be l(t). Solve u - 4*u + 3 = q for u.
1
Let s be 8/16 - (-6)/(-4). Let i = s + 5. Solve 0*t = -i*t for t.
0
Let o be 2 - ((-2)/(-1))/(-2). Let s be (4/(-6))/(o/(-18)). Suppose 0 = 4*t - 5*u + 10 + 5, -s*u = -2*t - 12. Solve t = -k + 3 for k.
3
Suppose j = -2*s - 3, 5 = s - 2*s + 3*j. Let x be (-3)/(3/s) - 2. Suppose x = 2*m - 5*m + 6. Solve -m*l - 10 = 3*l for l.
-2
Suppose s + 4*y - 4 = -3*s, 0 = -4*y + 4. Solve 2*g + 2*g + 16 = s for g.
-4
Let b = 90 - 61. Suppose -4*a = -5*u + 36, a = -4*u + 4*a + b. Solve k - u = 3*k for k.
-4
Let u be (-3 - -1)*(-10)/4. Suppose u*h + 20 = -n + 81, 41 = 3*h + 5*n. Suppose -y - 3*y = -h. Solve -y*c + 8 = -c for c.
4
Suppose -7*v + 40 = v. Solve v*x + 14 + 1 = 0 for x.
-3
Let s = 8 - 4. Suppose 2*f = -0*h + 2*h + 42, s*f - 82 = 5*h. Solve -8 + f = -5*t for t.
-3
Suppose g + 27 = -2*g. Let b be 3/(g/(-12)*2). Let o be (b - (-2 - -3))*0. Solve o = 4*u + 1 - 5 for u.
1
Suppose 0 = 5*m + 4*x - x - 67, 4*m - 52 = -4*x. Solve -m - 11 = -5*o for o.
5
Let j be (4/3)/(-4)*-9. Suppose -3 + 16 = 4*q + 5*c, 1 = 2*q - j*c. Solve 4 + q = -3*s for s.
-2
Suppose -18 = 3*f - 24. Solve 2*b - 4 = f for b.
3
Suppose -11*x + 16 = -7*x. Solve -4*d = -0*d + x for d.
-1
Let m(x) = -x + 5. Let b be m(-4). Let p = 196 - 194. Solve -p*n = n + b for n.
-3
Suppose 0 = -0*s - s + 3. Suppose s*l = 18 + 33. Solve -5*t - 2 = -l for t.
3
Suppose -2*x + 1 = -15. Solve -2*l + x = 4 for l.
2
Let g(a) = -a**3 + 10*a**2 - 9*a + 7. Let u be g(9). Suppose 0 = 4*f - 5*f + 3. Suppose -f*p = -u*p. Solve p*l - l = -2 for l.
2
Suppose k = 6*a - a - 13, 3*a - 17 = -4*k. Solve -a*v - 10 = -v for v.
-5
Suppose 2*n = 7 - 1, -v + 17 = 5*n. Solve -v*o + 6*o = -16 for o.
-4
Suppose -5*v + 39 = 9. Solve -3 = o - v for o.
3
Let m be 2*3/(6/(-7)). Let n(s) = -s + 19. Let b be n(0). Let l = b + m. Solve -2*c + 5*c = l for c.
4
Let f(g) = -g - 10. Let j be f(-6). Let h = j - -8. Let y(x) = x**3 + 12*x**2 - 14*x - 3. Let w be y(-13). Solve h*c = -w - 2 for c.
-3
Let g be (2/5)/(2/(-10)) + 6. Solve -14 = -2*p - g for p.
5
Let a = 3 - 1. Let v(b) = b + 1. Let r be v(a). Solve r*w + 4 = 5*w for w.
2
Let m(j) = -3*j + 1. Let a be m(-2). Suppose 0 = 2*u - 5*d - 46, -5*d = 3 + a. Solve 0 = -5*i + u + 7 for i.
5
Let x(t) be the third derivative of t**6/120 - t**5/15 + t**4/24 - t**3/3 + 2*t**2. Let v be x(4). Solve -v*i + 9 = -5*i for i.
-3
Suppose -15 = -5*v, 4*c - 5*v + 0*v = -35. Let w = 3 + c. Let a be ((-2)/(-1 - w))/(-1). Solve -a*g - 3 = g for g.
-1
Suppose p + 3*i + 9 = 0, -3*p + 0*i = -i - 3. Suppose -10 = -5*u - p*u. Suppose -8 = -0*l - u*l. Solve l + 11 = -5*d for d.
-3
Let j = 42 - 22. Solve -c - j = -5*c for c.
5
Let a = 29 - 28. Solve 3*l + a = -2 for l.
-1
Let k(w) = w**3 + w**2 - 3*w + 3. Let p be k(-3). Let f = 9 + p. Suppose -5*o + 37 + f = 0. Solve -4*l = -0*l - o for l.
2
Let p be 3 + (-1)/(((-6)/(-9))/2). Solve -6*a + 5*a - 5 = p for a.
-5
Suppose -24 = -5*x - 4. Suppose 21 = 4*d + 5. Solve -x - d = -2*l for l.
4
Let r(w) = -w**3 + 5*w**2 - 4*w - 3. Let c be r(4). Let s be 27 + c + 0 + 1. Solve -8*x - s = -3*x for x.
-5
Suppose -3*p + 6 + 6 = 0. Suppose l - 2*l + 48 = p*c, -24 = -2*c - 4*l. Suppose 0*k - 4*k + c = 0. Solve d = 7 - k for d.
4
Suppose -5*n = -12 + 82. Let l be 15*(n/(-6) + -2). Solve 0 = l*m + 15 for m.
-3
Suppose 3*k + j - 29 = -2*k, 0 = k + 5*j - 1. Suppose k*l - 4 = 2*l - 2*z, -4*l - z + 6 = 0. Solve 0 = -0*t - l*t - 6 for t.
-3
Let x be 9 - 8 - (-5 + 1). Solve -2 = x*o - 12 for o.
2
Suppose -2*q - r - 12 = 0, -4*q - 2*r = 3*r + 36. Let s = q + 7. Solve 0 = -s*z - 0*z + 15 for z.
5
Let n(c) = 5*c**2 - 1. Let m be n(1). Let u(h) = -h**2 - 9*h - 8. Let q be u(-6). Solve -m*x + 10 + q = 0 for x.
5
Let d(v) = v**2 + 6*v - 3. Let u be d(-7). Let y(x) = -x**2 + 5*x. Let o be y(u). Solve -2*p + 2 = -o for p.
3
Let m = -36 + 51. Let v be 3/(-4) + 95/20. Solve v*y - m = -y for y.
3
Let i = 0 - -1. Let m = i + 1. Solve -5 = m*n + 3 for n.
-4
Let r be 5*3/((-75)/(-80)). Solve l - r = 5*l for l.
-4
Let d be (-212)/(-26) + (-2)/13. Let j = d - 3. Solve -4*i - j - 11 = 0 for i.
-4
Let p be -2 + 0 + 2 + 2 + -2. Solve -u + 1 - 5 = p for u.
-4
Let k = 1 - 0. Let p = 0 + 0. Solve z = -k - p for z.
-1
Suppose 81 - 73 = 4*g. Solve 5*w - 15 = g*w for w.
5
Let u = 9 - 7. Solve u*z + 0*z = -10 for z.
-5
Suppose 4*l = 7*l - 9. Let c(s) = -7*s - 18. Let g(h) = 3*h + 9. Let f(q) = 2*c(q) + 5*g(q). Let j be f(-6). Solve l*m = 12 - j for m.
3
Let t(s) = 2*s**2 + 3*s + 2. Let u be t(-2). Suppose 0 = -4*j + 5*v - u + 27, 0 = 5*v + 15. Suppose -7*i + 24 - 3 = 0. Solve y = j + i for y.
5
Let x(p) = p + 12. Let c be x(0). Suppose -4*o + c = -0*o. Solve -o*b + 6 = -0 for b.
2
Suppose -4*f = -0*f. Let i(k) = -5*k. Suppose 0*y - 2*y + 5*x - 2 = 0, 4*y + 4 = -x. Let v be i(y). Solve 5*n + 0 - v = f for n.
1
Suppose -3*q = -2*h - 0 - 14, 4 = 2*h. Suppose 3*r = q*r - 6. Solve -r*a + 20 = 3*a for a.
4
Let q(i) = i + 3. Let v be q(-7). Let s be ((-6)/5)/(v/10). Suppose -l = -3*l + 6. Solve -s*n = l - 0 for n.
-1
Let a(g) = g**2 + 5*g - 4. Suppose 0 = -3*n - 0*n - 18. Let m be a(n). Solve -5*x - 3 - m = 0 for x.
-1
Suppose 3*w - 5 = -3*v + 7, -3*w - 16 = -4*v. Solve -8 + 0 = v*t for t.
-2
Let z be (-5)/(-1) + -1 + 0. Solve z*y - 2*y = -8 for y.
-4
Let i = -100 + 112. Solve -i + 4 = -2*x for x.
4
Let i(s) = -s**3 + 5*s**2 + 4. Let y = 15 + -10. Let d be i(y). Suppose d*x - 18 = 3*p, 8*x + p - 13 = 3*x. Solve -x*u + 4*u - 5 = 0 for u.
5
Let j be ((-18)/15)/(4/(-10)). Solve -9 = -0*m + j*m for m.
-3
Suppose 0*r = 3*r - 39. Let s = r + -9. Solve m - s = 1 for m.
5
Let w = -2 + 5. Suppose 3 = 3*u, w*x = -0*x - 4*u + 13. Solve 0 = v - 1 - x for v.
4
Suppose -9*w + 7*w + 4 = 0. Solve w*l + 4 = l for l.
-4
Let a(c) = -c**2 - 6*c + 2. Let j be a(-7). Let o(d) = d**3 + 6*d**2 + 5*d + 4. Let u be o(j). Solve 4 = u*r + 16 for r.
-3
Let m(y) be the second derivative of y**3/6 - 3*y**2 - 4*y. Let w be m(6). Solve 0 = -w*b + 5*b - 5 for b.
1
Let v(w) = -w**3 - 3*w**2 + 3. Let l be v(-3). Suppose 2*c = -l*q + 9, 1 = -2*q + c - 0. Suppose 2*x = -q + 5. Solve -m - 6 = -x for m.
-4
Let y = 38 + -18. Solve -7*t = -3*t - y for t.
5
Suppose 3*y - 4 = 2*r, -2*r - r - 2*y + 7 = 0. Solve s + r = -1 for s.
-2
Suppose 5*w = -5*p + 10 + 15, w = -1. Let o = p + -3. Solve 0*d - d - o = 0 for d.
-3
Suppose 3*i = 7*i - 4, -5*m + 22 = 2*i. Let f(x) = x + 9. Let p be -5*(-1)/(10/(-8)). Let w be f(p). Solve -w*y + m*y = -3 for y.
3
Suppose 16 = -3*n + 4. Let w(l) = -l**2 + 3*l + 3. Let x be w(4). Let z be x*(-3)/((-3)/n). Solve j + z = 3*j for j.
2
Let n(m) = m**3 - m**2 + m + 1. Let r be n(0). Solve 2*y - 5 = -r for y.
2
Let m(w) = 2*w + 10. Let p be m(6). Suppose -4*u = 2 - p. Solve -4*g - g - u = 0 for g.
-1
Suppose -9*x + 8*x + 2 = 0. Suppose -x*d = d - 6. Suppose -6*q + 12 = -2*q + 5*m, -4*m - 15 = -5*q. Solve 0 = d*y - y - q for y.
3
Suppose 4*g - 5 = -21, 2*v - 5*g - 22 = 0. Solve v = x - 0 for x.
1
Let n be 0 + (1 - -2 - -1). Solve -n*j = 8 - 4 for j.
-1
Let r = 18 + -12. Solve -2*k + r = k for k.
2
Let r(k) = k**3 + k**2 - k - 2. Let s be r(-2). Let f be ((-2)/s*4)/2. Solve o - 3 = f for o.
4
Let p be 3 + (-1)/(2 + -3). Suppose -3*g - 87 = -4*c - p*g, 102 = 5*c - g. Suppose o + 2*o = c. Solve -o + 3 = -4*q for q.
1
Let a be (-5 - -4)*8/(-2). Solve -a*j - 12 = -7*j for j.
4
Suppose 5*m - 2*c - 18 = 0, -11 = 2*c - 3. Solve -z = z - m for z.
1
Let j = 20 + -9. Let m = 11 + -18. Let d = j + m. Solve -d*r = 1 + 3 for r.
-1
Let r(j) = j**2 + 10*j + 11. Let z be r(-8). Let s = 5 - z. Solve 0 = -4*d + 6 + s for d.
4
Suppose 3*l - 15 = d, 2*d - 4 - 1 = -l. Solve 0 = -0*n - n - l for n.
-5
Suppose -8*b - 3*b = -2*b. Solve b = 9*s - 5*s for s.
0
Let l = 27 + -21. Solve -3*q + 0*q - l = 0 for q.
-2
Let k be (-2 - -6) + -1*1. Solve a + k = -0*a for a.
-3
Suppose j = -2*k, -4*k - k - 15 = -5*j. Let f(v) = -1. Let l(q) = q - 2. Let u(o) = -2*f(o) + l(o). Let h be u(j). Solve 0*n - h*n = 6 for n.
-3
Suppose -3*a = -4*u - 10, 2*a - 6*a - 5*u + 3 = 0. Let l(x) = x**2 + 2*x + 2. Let z 