5). Solve n + 3 = -3*u for u.
-3
Suppose 0*v - 5 = -v. Let f be ((-4)/v)/(16/40). Let i be 0*(f + 6/4). Solve i*r + 9 = 3*r for r.
3
Suppose -r = 4*r. Let t = 1 + 3. Suppose -h = -3*w - 8, w + t = -w. Solve -h*g = -r*g + 4 for g.
-2
Suppose 2*r + 11 = 2*y - r, -10 = -2*y + 2*r. Solve w = 5*w + y for w.
-1
Let c be (40/14)/((24/14)/6). Solve 0 = 3*p + c + 5 for p.
-5
Let z(m) = m**2 + 7*m + 4. Let o be z(-6). Let j be (-12)/(-3) + o - -14. Solve -r = -5*r + j for r.
4
Let u(q) = -6*q - 37. Let a be u(-7). Solve a*k = -8 - 2 for k.
-2
Let r be (-2)/4*(-12)/(-6). Let h(b) = b - 4. Let v be h(5). Let d = v - r. Solve -d*u - 1 = 5 for u.
-3
Let z be 1 - ((-92)/28 - 8/(-28)). Solve s = -z + 3 for s.
-1
Suppose f = -3*x + 2*x + 6, 2*f - 18 = -5*x. Suppose 15*q = 14*q. Solve q = -x*a - 1 + 9 for a.
4
Suppose 4*a - 12 = -4*s, 0 = a + s - 2*s - 5. Solve -a*n = -0*n + 12 for n.
-3
Let l be (-44)/(-20) - (-1 - (-6)/5). Solve 3*b - l*b + 3 = 0 for b.
-3
Let y(d) = -d**2 - 5*d - 4. Let a be y(-4). Suppose 5*j - 13 - 32 = a. Solve 7 + j = -4*t for t.
-4
Let c be ((-20)/(-25))/((-2)/10). Let r = 4 + c. Solve r = 8*o - 4*o - 16 for o.
4
Let d = 7 + -7. Solve 0*f + 4*f - 8 = d for f.
2
Suppose 9 = 2*l + 3. Let i = -69 + 81. Let h(b) = -b**3 + 5*b**2 + 2*b - 7. Let o be h(5). Solve -l*g = i + o for g.
-5
Let w(g) = g - 1. Let i be w(5). Solve i*m - 8 = 4 for m.
3
Let f(w) = w**2 - 9*w - 12. Let r be f(11). Solve 0 = -4*q - q + r for q.
2
Suppose 2 = -3*t + 11. Solve -2 = t*d + 1 for d.
-1
Let p = 1 + -1. Let y = -644 + 664. Solve 6*h - 2*h + y = p for h.
-5
Let t(w) = -4*w - 35. Let x be t(-11). Solve -5*o + 8*o = x for o.
3
Let f(s) = -17*s**3 - 2*s - 3. Let l be f(-1). Solve c - l = -3*c for c.
4
Let k = -12 + 12. Let w = 0 + 4. Suppose k = -4*m + w - 0. Solve 0 = -3*u - 11 - m for u.
-4
Suppose 3*s + 22 = 22. Let m be (-17)/(-3) + 2/(-3). Solve s = -m*x + 33 - 8 for x.
5
Suppose 0 = -4*l - 4, 2*d - 6*d - 3*l = -17. Suppose -x + 8 = y, 12 + 0 = x + d*y. Solve -x*b + 4 = -6*b for b.
4
Let t = 33 - 20. Let m be (75/60)/((-1)/(-4)). Suppose -r = m*n - t, -4*n + 3 = -n - r. Solve -g - 2 = -n*g for g.
2
Suppose 3*d = -3*n - n + 72, 2*d = -3*n + 49. Let j(f) = -f**3 + 7*f**2 - 4*f - 4. Let k be j(6). Solve -4*a - d = -k*a for a.
5
Let q be (-4)/(-3 + (1 - -1)). Let a be (-1)/(-3) - (-3)/(-9). Let i(k) = k**2 + 1. Let h be i(a). Solve 3 + h = -q*o for o.
-1
Suppose -u + 2 = -3*u. Let s be u*(-2 - (-2 - -3)). Solve s*t = 6*t for t.
0
Suppose 16*q + 30 = 21*q. Solve -4*c + 2*c - q = 0 for c.
-3
Suppose f + 1 = 4. Suppose 4*r = -f*w + 20, -3*r - w + 13 = -2. Solve -1 + r = -2*z for z.
-2
Let q(d) = 3*d**3 - d + 1. Let x be q(1). Let w be -2*(-9)/(-6) + 3. Solve x*k + w*k = -12 for k.
-4
Suppose -4*c + 3*c + 20 = 0. Solve 4*y = c - 0 for y.
5
Let x be ((-3)/(2 - 5))/1. Suppose -15*q + 6*q = -18. Let s be ((-2 + 2)/2)/2. Solve s = -q*f + f + x for f.
1
Let v(u) = 6*u**2 - 1. Let h be v(1). Let p(x) = x**2 + 7*x + 8. Let l be ((-8)/6)/(4/18). Let b be p(l). Solve -h*s - b - 13 = 0 for s.
-3
Suppose 12 = f + 3*f. Let m be (2 - 24/3) + 1. Let v = -3 - m. Solve 1 = v*c - f for c.
2
Let f = 4 + -2. Let i(r) = -r + 7. Let s be i(6). Suppose 4*m + 2 = f*v, 0*m - 4*m + s = v. Solve m*o + 2 = o for o.
2
Let d(z) = -14*z - 35. Let v(r) be the third derivative of -5*r**4/24 - 2*r**3 - 2*r**2. Let s(c) = 6*d(c) - 17*v(c). Let f be s(6). Solve f*w + w = -4 for w.
-4
Let y(s) = -3*s. Let o be y(-2). Solve -m + 4*m + o = 0 for m.
-2
Let k = 3 - 0. Let w(y) = y**3 - 6*y**2 + 7*y - 2. Let b be w(5). Solve b = -k*n + 2 for n.
-2
Let m be 0 + -14 - (-1 + -1). Let j = m - -17. Suppose -12 = -6*b + b + i, -i = 4*b - 6. Solve -u - j = -b*u for u.
5
Suppose -35 - 55 = -6*t. Solve 3*i = -0*i - t for i.
-5
Suppose 3*v - 12 - 15 = 0. Suppose -3*h + 12 = -5*m + m, 4*h - 16 = -5*m. Solve -h*o + v = -o for o.
3
Suppose z + 0 = 1. Solve -i + 3 - z = 0 for i.
2
Suppose 4*b + 0 = 8. Suppose -d - 2*s + 6*s + 31 = 0, -2*d - b*s = -22. Solve -8*g = -3*g - d for g.
3
Suppose -2*s = -8, 2*k + 2*s - 4*s = 0. Solve t - 1 - k = 0 for t.
5
Let y = 1 + 2. Suppose 8*d = y*d + 75. Suppose 3*s = 8*s - d. Solve -s - 1 = -i for i.
4
Let b be (-1)/(-4) + 27/4. Let c = 1 - -1. Suppose 3*a - c - b = 0. Solve 3 = -0*p + a*p for p.
1
Let z = 40 + -36. Let i be 1*(2 - -9 - 2). Suppose -34 + i = -5*a. Solve -a*j + 1 = -z*j for j.
1
Let n(o) = o**3 - 8*o**2 + 6*o + 6. Let k be n(7). Let l = k - -3. Solve 0 = l*q - 8 for q.
4
Let s(k) = k**3 - 10*k**2 + k - 6. Let g be s(10). Let r(b) = -b + 4. Let j be r(2). Suppose -5*d - g*v = -20, -j*d - 3*v = -1 - 7. Solve -6 = 5*p + d for p.
-2
Let g = -8 + 10. Let t be -2*(15/(-6) + 1). Suppose -g*h = c + c - 8, 0 = t*h + 6. Solve v + c = -v for v.
-3
Suppose 3*b - 11 = -h + 4*b, 21 = 2*h - b. Solve 0*j + h = 2*j for j.
5
Let c = -33 - -11. Let u = c + 12. Let d be -1 + (1 - u) - 0. Solve -3*g + g = -d for g.
5
Let c = 17 - 14. Solve 0 = 4*z - c - 13 for z.
4
Let s(t) = 2*t**2 - t - 1. Let i be (1 + -3)*2/4. Let k be s(i). Suppose 9 + 1 = 2*h - k*w, -h + 7 = -3*w. Solve 3*x + h = -x for x.
-1
Let f = 3 - 3. Suppose 3*c + f*c - 15 = 0. Let y be c/10*6/1. Solve -2*h - y = -h for h.
-3
Let h = -33 - -45. Solve h + 13 = 5*g for g.
5
Suppose z - 5*p + 0 - 15 = 0, 2*z + 3 = -p. Solve 4*c - 6*c - 4 = z for c.
-2
Let k be (0 + (-1)/(-2))*4. Suppose 4*h = 7*t - 3*t - 16, -4*h + 9 = t. Solve k = -s - h for s.
-3
Suppose -3*l = -0*o - 2*o + 9, 0 = 5*o - 3*l - 18. Solve -6 = -o*z + z for z.
3
Suppose -3*u + 12 = z, 2*z = -2*z - u + 15. Solve 5*i - 4*i = z for i.
3
Suppose 0 = 3*x - 6, 4*s + x - 6 = 2*s. Suppose u = s - 0. Solve u*y - 4 = 6*y for y.
-1
Suppose -5*w = 4*s - 9, -5*s - w + 9 = 3*w. Let g be 1/(12/(-15) + s). Solve 0 = g*z - 9 - 1 for z.
2
Let n = 55 + -53. Solve -s = n*s + 9 for s.
-3
Let o(k) = -k**3 - 14*k**2 - 13*k + 3. Let y be o(-13). Let g be 10/y + (-8)/6. Suppose -5*x - 2*i + 28 = i, 27 = 5*x + 2*i. Solve 0 = -g*c + x - 15 for c.
-5
Suppose -6*t + 11 = -7. Suppose t*u = u + 10. Solve 0 = -u*b - 11 - 4 for b.
-3
Let p be 4/6*20*9/24. Solve -p*h = -0*h for h.
0
Let z = 13 - 12. Solve -4*a = -z - 3 for a.
1
Suppose -g - 5 + 10 = 0. Solve d = -0*d + g for d.
5
Let v(x) be the second derivative of x**5/20 - x**4/4 + 2*x**3/3 - 9*x. Let l = -4 - -7. Let m be v(l). Solve -u + m = 3*u for u.
3
Suppose -5*u = 5*a - 3*a - 4, 3*a - 6 = 0. Let i = u + 2. Solve i*s = 4*s for s.
0
Let o = -1 + 4. Solve -o*a = -0 - 3 for a.
1
Suppose -q = -11*q + 40. Solve -3*m - q = m for m.
-1
Let v be 2/4 - (-3)/2. Let g(d) = d**2 + 9*d - 7. Let f be g(-10). Suppose 0 = 4*o + 8, -2 = f*b - 0*o + o. Solve b = 7*y - v*y for y.
0
Let v be (88/(-33))/(-8)*(-1 - -4). Solve -2*o = -v + 7 for o.
-3
Let n be (8/10)/(2/10). Suppose 5*c + 2*p - 84 = 0, 2*p = -0*c - n*c + 68. Let r = c + -11. Solve -b = -r - 0 for b.
5
Let d be (1 - 1) + (2 - -5). Suppose 0 = 5*b + 2*n - 17, d + 9 = 5*b + n. Solve 4 = b*p - 2 for p.
2
Suppose -3*m + 2*m = -3*x + 5, 0 = -4*x - m + 16. Let i = x + -1. Solve -g + i*g + 2 = 0 for g.
-2
Suppose 11 = 6*g + 5. Solve -3*j + g = 4 for j.
-1
Let m be -8 - 2/6*0. Let a be (-6)/m + (-91)/(-28). Solve d = a*d + 6 for d.
-2
Let a(w) = w**3 - 9*w**2 - w + 12. Suppose -3*s + 19 = -2. Let q be s + (3/3 - -1). Let u be a(q). Solve 0 = u*r - 7*r for r.
0
Let h(y) = -2*y - 17. Let t(j) = j + 9. Let a(u) = -4*h(u) - 7*t(u). Let k be a(-3). Solve 0 = v + k*v - 9 for v.
3
Suppose 5*u - 5 = c, -4*u - 11 = 3*c - 34. Solve -c = -j + 2*j for j.
-5
Let w(y) = 4*y. Let a be w(1). Suppose 4*o = 16, -2*g + 3*o + 20 = 4*o. Let j = -8 + g. Solve -a*m + 4 = -j for m.
1
Suppose -2*m - 2 = -v, 2 = -4*v + 5*m - 2. Let s be 6*(0 + (-3)/v). Suppose s*i = -0 + 9. Solve 20 = i*t + t for t.
5
Suppose 3*i + 2*i - 10 = 0. Solve -i*s - 12 = -2 for s.
-5
Suppose -4*t + 5 = 5*q, 3*t - 4*q = -8 + 4. Solve -b - 4 = -t for b.
-4
Suppose 3*o - 8 = -2. Let v be 2*((-45)/6)/(-3). Solve 0 = u - o*u + v for u.
5
Let u be -1*(-2)/(-4)*(-1 - -1). Solve -2*j + 0 - 10 = u for j.
-5
Suppose 0 = -u - 8*u + 63. Solve -4*s = -u*s for s.
0
Let n(f) = f**2 + 8*f - 5. Let a be n(-8). Let l(p) = -p**3 - 11*p**2 - p - 4. Let g be l(-11). Let w = g + a. Solve -1 = w*z + 3 for z.
-2
Let o = 3 - 5. Let w be -3*4/(-6)*o. Let k be (-1)/(-2) - 78/w. S