5. Solve 3*s = w*r - 8, 0 = 2*r + 2*s - 0 - 4 for r.
2
Let s(a) = -3*a**2 - 8*a + 26. Let f(d) = -d**2 - 3*d + 9. Let c(g) = 8*f(g) - 3*s(g). Let i be c(-3). Solve -4*x + 12 = 0, -i*x = -3*r - x for r.
2
Let q be -4*(2 - 3/1). Let a be q/18 + 408/108. Let u be (2/4)/((-2)/(-8)). Solve -2*f + u = -i, 4 = 4*i + a*f - 6*f for i.
2
Let v(a) = -a**3 + 3*a**2 - a + 4. Let o be v(3). Let g(j) = 6*j**2 + j - 1. Let m be g(o). Let q = -33 - -34. Solve 5*i + c = -m, 2*c + 0 = i - q for i.
-1
Let y(o) = 4*o + 1. Let a be y(1). Suppose -a = -j - m, -4*j - 2*m - 14 = -34. Solve -4*v + 6 = 3*f, 2*v - j*f + f = 14 for v.
3
Let d(m) = m**2 - 10*m + 15. Let g(c) be the first derivative of c**2/2 + 4*c - 9. Let l be g(5). Let a be d(l). Solve 4*i + a = k, 5*i - 2*i + 8 = -k for i.
-2
Let r be 18/21 - (-116)/28. Solve 9 = -r*m - l + 10, 5 = -4*m + 5*l for m.
0
Let z(g) = 17*g + 209. Let w be z(-12). Let u(l) = l**2 - 2*l - 3. Let m be u(3). Solve m = -3*f - 5*q + 8, 3*q - 12 = 5*f + w*q for f.
-4
Let s be 64/(-6 + 2) + 0. Let q = s + 18. Suppose 32 = f + 5*x, -3*f = -4*x - q + 1. Solve -3*j - f = -w - 20, -5*w = -j - 5 for w.
2
Let t be (-6)/5*(-5)/2. Suppose 4*o = -3*a - 1 - 3, 3*o + t = 2*a. Suppose c - 3*c + 4 = a. Solve 4*m - 2*m - 14 = 2*z, c*m = -4*z - 10 for m.
3
Let x(d) = d**3 + 6*d**2 - d + 30. Let o be x(-6). Solve 3*u - 4*p - 31 = 0, 2*u - 4*p - o = -2*u for u.
5
Suppose -15*r = -7*r - 40. Solve 2*b - r*l + 0 = 9, -b + 3 = -2*l for b.
-3
Let j(l) = 32*l + 258. Let d be j(-8). Solve -5*a + d = 4*o, -5*a - 2 = o - 10 for o.
-2
Suppose 29*b - 180 = 24*b. Suppose d = -26 + b. Solve v = 3, -4*n + 1 + d = 5*v for n.
-1
Let o(k) = 2*k - 13. Let r be o(8). Solve h + 9 = -2*h, r*h = 2*q - 15 for q.
3
Let c = -13 - -15. Suppose -l - 49 = -c*l. Suppose -g = d - 11, -5*g - 2*d + 3 + l = 0. Solve a = -2*t + 4*t + 1, 0 = 5*a + 5*t + g for a.
-1
Suppose -a - 15 = 3*w, w + 0*w + 17 = -a. Suppose -7*h + 20*h = 169. Let t be 3/a - h/(-6). Solve v + t*v + 11 = 4*i, -8 = -5*i - 2*v for i.
2
Let c be (0 - -7) + (-46)/23. Solve -6*o = -2*o + 5*b - 15, -c*b - 25 = -4*o for o.
5
Let r be (2 + -1)/(12/48). Solve -3*p = -11*c + 6*c, -3*p = -r*c for p.
0
Let c = 1075 + -1069. Solve 0 = n + x - 0 + 4, 0 = -n + x - c for n.
-5
Let u = 24 - -22. Suppose i + 42 = u. Solve -5*j = -i*x + 21, 2*x - j - 3 = -6*j for x.
4
Suppose -4*n + 25 = 5*s, -5*n + 5*s - 3 = -23. Solve -n*h + h - 20 = 4*d, 0 = -4*d + 5*h + 16 for d.
-1
Let w(a) = -a**3 + 58*a**2 + 6. Let b be w(58). Solve -4*c - 3*q = -7, -c = b*q - 2*q - 5 for c.
1
Let y(a) = a**2 - 3*a + 2. Let p be y(5). Let m = 19 - p. Let b = m - 2. Solve b*k - 28 = -2*u, u + u = k + 4 for k.
4
Suppose 0 = 3*t - 2*m - 17, m + 4*m = 10. Suppose 3*f - 16 = -t. Solve 28 - 1 = -4*o + f*a, 0 = -4*a + 20 for o.
-3
Let u be (18 + 192/(-10))/((-2)/5). Solve 2*c + 30 = 2*g + 6*c, -2*g + u*c - 5 = 0 for g.
5
Let t be ((-16)/(-24))/((-2)/(-12)). Solve 5*s - t*s + 3 = 0, 9 = -d - 2*s for d.
-3
Let j be -2 + (0/(-4) - -27). Suppose 2*t - 5*t - 4*u = 20, -t + 5*u = -j. Suppose 4 = 2*l - t. Solve v + 2*p + 0*p + 10 = 0, 3*v = 2*p + l for v.
-2
Let d(n) = n**2 + 10*n - 29. Suppose -25*v = -21*v + 52. Let g be d(v). Solve -g = -5*i - 5*w, -i = -3*w - 0 - 10 for i.
4
Let j(f) = 6*f**2 - 5*f + 50. Let k(a) = a**2 - a + 10. Let d(x) = 2*j(x) - 11*k(x). Let u be d(3). Solve u*v + 3*o = 5*o - 10, v - 2*o = -6 for v.
-4
Let z(x) = x**3 + 6*x**2 - 2*x - 9. Let d be z(-6). Let l = 7 - d. Suppose 0 = l*q - 0*q - 8. Solve 5*w - q*o + 3 = -10, 2*o + 8 = -2*w for w.
-3
Suppose 60*n - 1036 = -14*n. Solve -4*q - 10 = -x + 11, -3*q = x + n for x.
1
Let c(j) = 24*j - 8. Let k be c(1). Let s be 2/6 - 168/(-9). Let u be s - (4 + -2 + -2). Solve -4*d + u = -a + 2*a, -a + 3*d - k = 0 for a.
-1
Let x(f) = -f**3 - 22*f**2 - 82*f + 57. Let a be x(-17). Suppose 0 = -2*y - 5*v + 30, 0 = 5*y - 4*v + v - 13. Solve -b - y*k + 3 = 0, -3*k + a = -2*b - 1 for b.
-2
Let v(r) be the first derivative of r**3/3 + r**2/2 - 12*r + 5. Let g be v(4). Let f = -3 + g. Solve -3*s - d - 3*d - 15 = 0, 0 = -2*s - f*d - 17 for s.
-1
Suppose 0 = -4*n + n - 3*c, 0 = -5*n - 4*c + 3. Suppose n*w = 225 - 24. Suppose 181 = 3*v + w. Solve 5*o + v = 4*f - 7, -3*o = 3*f for o.
-5
Suppose w + 0*w = 3, 248 = 2*i - 2*w. Suppose i = 14*c - 181. Solve 0 = 5*r - 0*f + f + 17, 4*r - 2*f = -c for r.
-4
Let w(d) = -d**3 + 7*d - 9. Let f be w(-4). Suppose 0 = -8*b + 5 + f. Solve -3*y = 2*r, -b = 2*r + 5*y - 0*y for r.
3
Suppose 0 = n - 2*h - 30, 0*h + 4*h = 0. Let s = 46 - n. Solve 3*k = i - 1 + s, -3*i - 15 = -3*k for k.
5
Let w be (10/3)/2 - 1/(-3). Let k be 2/8 - (-84)/48. Suppose k*i = -i + 6. Solve -w*g - 4*h + 0*h - 12 = 0, -2*g = i*h + 10 for g.
-4
Let u = 135 - 259. Let d = u + 128. Solve -3 = -d*w - 0*w - h, 11 = 3*w - h for w.
2
Let o = 184 - 180. Solve r - 2 = -4*d, -2*r + 4 = -o*r for d.
1
Suppose 6 = -d + 4*d + 4*b, 4*b = 5*d - 10. Suppose q + 2*r - 8 = -d*q, 3*q = -3*r + 6. Solve 0 = -m - q*c - 2, 5*c = -2*m + c for m.
2
Suppose 4*d - 19 = -3*t, d - 9 + 8 = 3*t. Solve u + 17 = d*b, 13*b = -3*u + 10*b - 6 for u.
-5
Let w(c) = 2*c. Let z(n) = 9*n + 7. Let j(b) = 6*w(b) - z(b). Let s be j(7). Solve 0 = 3*k + 4*h - s, -6*k + k - 5*h + 20 = 0 for k.
2
Let b(f) = 2*f - 3. Let w be b(4). Let p(a) = a**3 + 33*a**2 + 90*a + 2. Let m be p(-30). Solve l + 25 = -4*l, w*q - m*l - 10 = 0 for q.
0
Let t = -270 + 273. Solve -t*l = -12, k - 6 = -0*k - l for k.
2
Let l = -804 + 806. Solve -5*j = -5*r + 25, j - 2 = -l*r - 1 for j.
-3
Let w = 30 + -27. Let t be (-19)/(-3 + 1 + w). Let r = 21 + t. Solve -2 = -2*y - 5*n + 1, 0 = -r*y - 2*n + 6 for y.
4
Suppose -8*a = -3*p - 3*a + 7, -2*p + 9 = a. Let t = 36 + -18. Suppose 0 = p*d + 6 - t. Solve -d*g + 12 = m + 4, 0 = 4*m - 4*g - 16 for m.
5
Let m be 4 + 3*(-3 - (-24)/9). Let n = 1 + 1. Solve -t - 12 = n*t, 3*x - 15 = m*t for x.
1
Let a = -45 - -50. Solve 0 = -2*v + a*x - 14, -2*v = -0*x - 2*x + 8 for v.
-2
Suppose -2*p = 5*h - 136, -2*h + 2*p = 3*p - 54. Let m = 32 - h. Solve -5*i = -x + 6, -x - x + 2*i = -m for x.
1
Let z = -1094 - -1095. Solve 19 - 6 = -l + 4*m, -z = l + 2*m for l.
-5
Let k be (-2)/(-10) + (-68)/(-10). Let a = -5 + k. Suppose 0 = t + a*t. Solve -5*g + 3*l - 2 = t, -5*g - 2*l - 2*l = -26 for g.
2
Suppose 29*v - 27*v - 24 = -3*s, -2*s + 4*v + 16 = 0. Solve 3*w + 5*z - 12 = 2*z, -s = -5*w - 2*z for w.
0
Let y = -5 - -10. Let v(h) = -2*h**3 - 8*h**2 - 3*h + 11. Let f be v(-3). Solve -y*n - q = -23, q - 5 - f = -n for n.
4
Suppose 0 = -2*l + 3*l - 3*h + 52, -l - 2*h = 72. Let t = -64 - l. Solve t = j - 5*c + 3, 2*c = 3*j + 3 + 6 for j.
-3
Let v(x) = -2*x**2 - 17*x - 6. Let a = -14 + 6. Let g be v(a). Solve -g*z = 2*z + 2*y, 3*z = 3*y + 9 for z.
1
Let h = 7 + -12. Let u be (-24)/(-20)*1*h. Let t be ((-2)/u)/((-1)/(-18)). Solve 0 = -3*l - 2*y - 7, -2*l - 3*y = -y + t for l.
-1
Suppose 5*s - h + 5*h = 27, -5*h + 21 = 2*s. Let d be s/(1/20*-6). Let o = 13 + d. Solve o*m + 16 = -w, 2*m + 0*m + 5 = 5*w for w.
-1
Suppose 6*c - 26 = 4. Suppose 5*r = -5*x + x + 4, -c*r = x - 1. Solve r*n - n - 5*d - 28 = 0, n - 17 = 4*d for n.
-3
Let q(k) = -2*k - 3. Let h be q(-4). Let o = 6 + h. Suppose 4*d + 4*a = 2*d + 2, -2*a + o = 3*d. Solve 4*m + 13 = -3*t, t + d*m + 8 + 0 = 0 for t.
-3
Suppose -b - 3*b + 56 = 0. Let t = 16 - b. Solve -y = 3*v + 11, y - 3*v = -t*y - 9 for y.
-5
Suppose 0 = -3*n + 5*n + q - 4, -n + 5*q + 13 = 0. Suppose -f = -3*f. Suppose -4*c + 15 = -c - 2*x, 3*x - 9 = f. Solve -4*i + 16 = -4*m, n*i + m - 9 = c for i.
5
Let r(b) = b - 7. Let s be r(10). Let f be ((-20)/s)/((-10)/(-165)). Let l be (-1 + 2)/((-11)/f). Solve -5*g + 3*i + 10 = 0, -g + 0*g - i = -l for g.
5
Let m = 10 - 5. Let n be 9 + 4/(16/(-12)). Suppose -3*t + t = -n. Solve -t*i = 4*o + 4 - 20, 0 = i + o - m for i.
4
Let z be 5/2*(6 + -8). Let t(h) = 3*h + 11. Let w(p) = 6*p + 22. Let f(o) = 5*t(o) - 3*w(o). Let x be f(z). Solve -5*v - 17 = -3*g, -2*g = -0*v + 4*v - x for v.
-1
Suppose 2*c + 3 = 7. Let z(j) = -j**3 + 6*j**2 + 2. Let n(v) = v**2 + v + 6. Let d be n(0). Let s be z(d). Solve 3*f + 16 = c*t - 0, 0 = -4*t + s*f + 24 for t.
5
Suppose -20*o + 4 + 156 = 0. Solve -2*b - o*d + 4*d - 30 = 0, -25 = 3*b + 2*d for b.
-5
Suppose -5*p = 3*k - 5 - 5, 0 = 2*k + 2*p - 8. Suppose -4*r = -2*z - z + 18,