15. Solve 4*f + o*w - w - 16 = 0, 5*f = 5*w + 35 for f.
5
Let k(a) = -a**3 + 6*a**2 + 3*a + 2. Let y be k(6). Solve 0 = 5*n + 5*z - y, z = -0*n + 2*n - 11 for n.
5
Suppose -8*h + 3*h = -240. Let s = -32 + h. Let b be 2/(-4) + 88/s. Solve b*c - 3*g = -20, -3*g + 0*g = -15 for c.
-1
Let a = -36 - -40. Solve -a*r = 2*g + 2, 3*r + 0 = g + 1 for g.
-1
Let u be 156/27 - (-2)/9. Suppose -2*f = 2 - u. Suppose -3*d + 0*d + 15 = 3*g, -5*g - 2 = -4*d. Solve -f*t - 4*v = g, 4 = -4*v - 0*v for t.
1
Let a(w) = w - 3. Let f be a(8). Solve -4*x - 11 = f, x + 10 = 3*o for o.
2
Let t = 4 - 6. Let r be ((-2)/3)/(t/6). Suppose -5 = -r*m - 1. Solve 7 = -m*a + c, -2*c + 5 = -a - 6 for a.
-1
Suppose -4*o + 0 + 8 = 0. Solve 4 = 2*c + o*h, -3*h - 3 = c - 1 for c.
4
Suppose -3*w = -3*j + 7*j + 6, 5*j = -w + 9. Let r be 6/(2*(-2)/(-12)). Let g be 8/r*-3*w. Solve 2*a + 4 = a + 2*n, 0 = 3*a + 4*n - g for a.
0
Suppose -2*t + 2 = -n - 4*t, -4*n - 4*t = 0. Suppose -7*i + n*i + 10 = 0. Solve 0*j = 3*u + i*j - 12, 4*u = j + 5 for u.
2
Suppose -f - 3 = 0, -f + 2 = 2*z - 5. Solve -l + z*t = -5*l + 20, 0 = l - 2*t - 5 for l.
5
Let f be (6/2)/(7/35). Let i be 2/15 - (-28)/f. Solve i*q + 5*w = 4*q + 24, w = 5*q + 14 for q.
-2
Let k(m) = 6*m**2 - 2*m. Let j be k(2). Let l = 39 - j. Solve -v = -8*q + 3*q - l, -q - 11 = -2*v for v.
4
Let q = 94 - 90. Solve 4*v + 1 = r, 2*v + 9 = 3*r - q for r.
5
Let l(i) = -i**2 + 9*i + 8. Let h(v) = -14*v - 2. Let n be h(-4). Let r be ((-12)/(-18))/(4/n). Let u be l(r). Solve b - 2 = 3*x + u, -x - 3 = 0 for b.
1
Suppose 4*s - 4 = -h - 10, -4*s + 18 = 5*h. Let r(z) = z - 11. Let a be r(12). Let y = 2 + a. Solve 2*u = 3*u - 3*b - h, y*b + 6 = -5*u for u.
0
Suppose 5*c + 1 = 4*a - 1, -a = -3. Solve 3*s = -4*q - 20, c*q + 20 = 5*s - 2*q for s.
0
Let i(j) = -3*j - 4. Suppose 0 = -0*b - 2*b - 6. Let w be i(b). Solve 3*s - 4*u = 27, 3 = 4*s + w*u - 2 for s.
5
Let b be (-3)/(-2)*(-12)/(-9). Solve 4*r = 5*k - 17, -6*k = b*r - k - 29 for r.
2
Let f = -28 - -43. Solve 3*n + f = 0, -4*n - 10 - 6 = -2*o for o.
-2
Let y be (1/(-2))/(120/(-16) - -7). Solve 4*p + 4 = 2*k, -2*k + 3*p = -k - y for k.
4
Let k = 3 - -5. Solve k = -d - 2*d - 2*c, -5 = 4*d - 3*c for d.
-2
Let y = 20 + -18. Let h = -3 + 10. Suppose 0 = 2*i - 0*i. Solve t - 4*l + 17 = i, y*t - h*t + 3 = 2*l for t.
-1
Let m(o) = 4*o - 6*o - 1 - 2*o. Let a be m(-1). Let k be ((-8)/3)/(-2)*3. Solve 2*z - 1 = a*z - t, 5*t - 6 = k*z for z.
1
Suppose 0 = f - 1 - 0. Suppose 0 = l - f - 10. Solve -13 = -3*v - t, -2*v - 3*t + 7 = -l for v.
3
Let j be (-233)/3 - 16/(-24). Let d = -45 - j. Solve 5*z + 3*v - d = -0*v, -8 = -3*z + v for z.
4
Suppose 24 = w + 2*h + h, 5*h - 75 = -4*w. Let r = 15 - w. Solve r = 5*f + 2*b + b + 15, 5*b + 25 = -5*f for f.
0
Let y(n) = -2*n - 27. Let j be y(-25). Solve 3*d - j = 2*d - 4*q, 13 = d + 2*q for d.
3
Let u(s) = -s**3 - 5*s**2 + 2. Suppose -r - 2 - 3 = 0. Let t be u(r). Suppose -85 = -4*q + 35. Solve 5*m = 4*j - 40, 3*m - 4*j + t + q = 0 for m.
-4
Let u be 15 - ((-4)/(-2) - -1). Let w = u - 7. Suppose w = -2*k + 3*k. Solve -r - 2*r - 3*m - 6 = 0, k*r - 4 = 2*m for r.
0
Let r be 2/(5*2/15). Solve 4*i - r = d, -6 = -2*d + 4*d - 2*i for d.
-3
Let n = 20 - 5. Solve -3*t - 4*j - 12 = t, 0 = -3*j - n for t.
2
Let p(d) = 3*d**2 - d - 1. Let u be p(-1). Solve a + 4*f + u = 0, 3*a - f + 15 = -2*a for a.
-3
Suppose 0 = d - 2*v, 3*v = d - 4*d + 36. Solve -4*r + r - 2*k + d = 0, -k + 14 = 4*r for r.
4
Suppose -3*w + 4*w - 7 = 0. Solve 2*n = 3*n - 2*y + w, -4*y + 20 = 0 for n.
3
Suppose -6*r = -8*r + 6. Solve 0 = -r*v + v, v = -3*z + 9 for z.
3
Suppose j - 7 = h, 2*j + 0*h - 4*h = 20. Solve 0 = -4*l + 3*l + j*k - 17, 0 = -2*l - 2*k + 6 for l.
-1
Let h = -13 + 1. Let k be -3*((-16)/h)/(-2). Let d = -11 + 31. Solve -o = -3*o, 4*a + k*o = -d for a.
-5
Suppose 32 = 5*r + p, 7*p + 26 = 2*r + 3*p. Suppose -c + 3 = 5*t - r, 29 = 5*c + 4*t. Solve 0 = -4*f + 4*l + 28, f = -2*l - 0*l - c for f.
3
Let d = 165 + -60. Suppose 0*p = -5*p + d. Solve -4*g + g - 3*n = p, -3*g - 2*n - 16 = 0 for g.
-2
Let z be 5/(-10) - (-10)/4. Suppose z*y - y - 4 = 0. Solve -4*u + 5*w = 3, 0 = -2*u - u + y*w - 3 for u.
3
Let g(w) = 2*w - 4. Let l be g(4). Suppose -5*v + 3*m - 5 = 4*m, 0 = l*v + 2*m + 10. Solve 4*b - 5*p - 35 = 0, v*b + 5 = 4*b + 5*p for b.
5
Suppose 2*d - 6 = -a, 3*d + 1 + 0 = a. Suppose 72 = a*r + 12. Solve r = i - 5*i + 3*g, 20 = 4*g for i.
0
Let g = 11 + -6. Suppose 0 = -g*u + 3 - 53. Let r be 2/((-14)/u + -1). Solve -4*c + 12 = -r*x + x, x + 11 = -3*c for c.
-2
Let g(h) = -h**3 - 4*h**2 - 3*h - 1. Let a be g(-2). Let x be 1 - 4/3*a. Suppose 3*d - x = 1. Solve 2*s + 10 = l, -4*l + 3*s = -d*s - 25 for l.
0
Let i(g) = g - 11. Let a be i(9). Let z be -1 + (7 - (0 - a)). Solve -5*k = -z*v - 4, 2*v - 4*k + 6*k + 2 = 0 for v.
-1
Suppose 0 = 6*y - y - 10. Suppose -l = l - 24. Let v be l/10 - 2/10. Solve -y*k = 2*p + 10, -2 = -3*p + k - v for p.
-1
Suppose g - 9 + 4 = 0. Let p be (-7)/((-3)/(0 - -6)). Solve h = g*n - 2, 0*n - 5*n - 3*h = -p for n.
1
Let f = 57 - 52. Let r(c) = -c**2 - 3*c + 4. Let v be r(-3). Solve 7 - 14 = 4*w + m, -3*m - f = -v*w for w.
-1
Let c(l) = l**3 + 5*l**2 + 2*l - 4. Let n be c(-3). Let w = -3 + n. Let i be ((-3)/(-2))/(2/4). Solve 0 = -i*v + 5*b + 5, 2*b - 31 = -w*v - b for v.
5
Let u(p) = p**2 - 7*p - 3. Let o = -8 + 16. Let i be u(o). Solve -i*h + 2*v = -14, -2*h = 3*v - 2 + 4 for h.
2
Let u = 92 + -89. Solve -3*z + 3*c - 30 = 2*z, -5*z = u*c for z.
-3
Let t(q) = -q**2 - 10*q + 1. Let m be t(-11). Let z be (1 - -2) + m/(-5). Solve 0 = -g + i - 5, z*g - 3*i + 9 + 8 = 0 for g.
-1
Suppose 5*i + 3*s = 15, -i + 3 = -9*s + 4*s. Suppose 3*b + 3 = k, -5*k + i*b + 6 = -3*k. Solve 5*h + k*n = -0*n + 9, h = 3*n + 9 for h.
3
Let a = 7 - 4. Suppose 0 = 4*u + a*u - 28. Solve 3*b + 4*k - 16 = 0, u*k + 7 = 2*b + 3 for b.
4
Let o(x) = -4 + 2 + 0 - 4 + x**2 - 6*x. Let l be o(7). Solve r + a = 4, 4*r - 4*a - 17 + l = 0 for r.
4
Suppose 3*q - 6 = -5*c, 0 = -q + 4*q + 9. Let w be 2 + 1 + 4 + -2. Solve -w*h = 0, -5*d + 3 = c*h - 12 for d.
3
Suppose 12*a + 17 - 17 = 0. Solve -5*l + 10 = a, 3*h - 2 = 6*l - l for h.
4
Suppose 4*y + 18 = 4*r - 34, 5*r - 50 = 2*y. Suppose 0 = -r*b + 6*b. Solve b = 3*m - 2*n - 5, m - 2*n + n - 2 = 0 for m.
1
Let w be 6*(-2)/(-24)*4. Solve r = -4*i - 10, -2*r = i - 2*i + w for i.
-2
Let c(i) = i**2 + 2*i + 2 + 1 - i + 1. Let y be c(-3). Solve 0*d + 5*d + 10 = -3*l, d + y = l for l.
5
Suppose -8 = j + x + 4*x, -4*x = -2*j + 12. Let n be ((-3)/(-2))/((-1)/(-4)). Solve 2*m - 8 = 4*z, j*m - n = z + 2*z for m.
0
Suppose 4*q - 14 = 2. Suppose -t + 4 = a, 0 = 2*t + q*a - 1 - 7. Solve 3*j - 5 = -t*s, -5*j - 5 = -s + 25 for j.
-5
Let g be ((-48)/4)/(-2) - 4. Solve 4*a = -5*c + 36, -g*c - 2*a = -18 + 2 for c.
4
Suppose 0*q + 20 = 5*q. Let j(o) = -o**3 - 6*o**2 - o - 1. Let x be j(-6). Solve 2*h = q*k - 2, 2*h - 6*h = x*k - 22 for h.
3
Let b be 5/3 - (-24)/(-36). Let c = b - -3. Solve 0 = -d + i + 8, 2*d + 5*i + c = -1 for d.
5
Let o(p) be the third derivative of -p**6/40 + p**4/12 + p**3/6 - 2*p**2. Let v be o(-1). Solve -3*r + v*g = 11, 5*g - 18 = r - 3*r for r.
-1
Let a be (-5)/1*(-2 + 1). Let u be -2 + 2 + 2 + 0. Suppose u*m - 1 = 6*m - a*n, 2*m - 17 = -n. Solve x + 3*g - m = -22, -28 = 4*x + 3*g for x.
-4
Suppose 16 + 0 = 4*c. Solve d = 4*z - c, 0 = -3*z + d - 2*d + 10 for z.
2
Let r be (-7)/(-2) - 30/20. Let f = 10 + -7. Solve r*q = -0*d - 4*d + 6, -9 = -f*q + 5*d for q.
3
Suppose 2*q - 5*q = -9. Solve -4*l - 7 = d - q*l, 4*l = -d - 19 for d.
-3
Let h(c) = -c**3 + 2*c**2 + 4*c - 2. Let a be h(3). Let s be 21/a*(3 + -2). Let x = -15 + s. Solve -p + 9 = 4*z - 4*p, -x = -z - 3*p for z.
3
Let b = -4 + 4. Suppose b = -4*h + c + 211, -5*h - c = -10*h + 264. Let m be h/11 + 6/33. Solve -5*q = -w + 3, 0*q + 15 = m*w - 5*q for w.
3
Suppose 0 = 10*v - 5*v + 120. Suppose 5*f + 15 = -55. Let g = f - v. Solve -2*w + 4*w - 4 = 2*q, 0 = -2*w + g for q.
3
Suppose -112 = -5*x + 4*m, 0 = -6*m + 4*m + 4. Solve -4 = -4*w - 3*a, 0 = w - 8*a + 3*a - x for w.
4
Let k be 2 + -4 + (3 - 555). Let v be (-4)/(-18) + k/(-18). Solve 4*f + 5*w = v, -5*f + 34 = 2*w + 8 for f.
4
Let d be 1/((-2)/(-18) + 0). Let h = -5 + d. Let w = 7 - h. Solve 2*o - p - w = 3*o, 0 = -4*o + 2*p - 12 for o.
-3
Let d(r) = r + 4. Let