+ 15. Let u be 18/8*(a - 26/(-6)). Solve 3*j = u*y - j + 13, -18 = -2*y - 4*j for y.
1
Suppose m = 20*m - 57. Solve -2*o + 3*w + 8 = 0, 5 - m = 5*o - 3*w for o.
-2
Suppose 2*p = 4*m + 19 - 117, -3*p + 7 = m. Let l = -30 - -62. Let k = l - m. Solve k = 5*r - 2*f, 1 - 5 = -2*r - 4*f for r.
2
Let g be 50/(-13) + (-4)/26. Let d be (-65)/(-20) - (-1)/g. Suppose -5*k + 16 = -d*k. Solve 4*l - 36 = 4*p - k, -2*l + 9 = -p for p.
-5
Let v = -251 - -255. Solve 5*f = -v*n - 15, -3*f + 2*f = -5*n - 26 for f.
1
Let f(w) be the second derivative of -w**5/20 - 3*w**4/4 + w**3/3 + 10*w**2 + 9*w. Let u be f(-9). Solve -j = u*i - 1, 0 = 2*i + 3*j - j for i.
1
Let u = 1279 - 1248. Solve -5*b - u = 2*f, -3*f + b = -0*f + 4 for f.
-3
Suppose 0 = -4*b + 7*b + 3*f - 51, -f = -b + 23. Suppose -b = -12*m + 7*m. Solve 3*c - 4*v + 2*v - 2 = 0, 0 = 4*c - m*v - 4 for c.
0
Let q be (5/3 - 1)*(-120)/(-4). Suppose -6*o = -10*o + q. Solve -5*n + 35 = -4*u - u, o*u = n - 23 for u.
-4
Let x be ((-54)/(-8))/(2/8). Suppose -x - 1 = -3*c - q, 3*q = -2*c + 28. Let y be ((-16)/(-14))/(c/28). Solve 0 = 2*i + a - 12, 0 = -5*i + y*i - 2*a + 12 for i.
4
Let r(d) = -41*d + 539. Let z be r(13). Solve -4*q + 10 = -2, -2*q - z = 3*h for h.
-4
Let m(o) = -7*o + 26. Let v be m(22). Let a be (3/(-2))/(12/v). Solve q = 4*g - 11 + 3, 0 = 4*q - a for g.
3
Let l be (-627)/(-561) - 2/17. Solve -25 = 3*d + 4*u, u + l = -3 for d.
-3
Suppose 0 = 2*h - 6, -2*h - 64 = -5*j - 20. Solve -3*l = -5*k - j, 2*l - 6 = k + 3 for k.
1
Suppose 0 = 19*z - 14*z - 55. Suppose 2*o - z + 3 = 0. Solve 5*d - 21 = -o*p - 0*p, 3*d - 11 = -2*p for d.
1
Let x = -762 - -767. Solve -6*s - k - 11 = -3*s, -x*s - 25 = 5*k for s.
-3
Suppose 3*s = -2*l - 0*s + 20, -50 = -5*l + s. Suppose 28 = 3*v + l. Let u be 9*(v + (-16)/4). Solve 4*y + 5*c - 14 = u, -3*y + 25 = 4*c for y.
3
Let n be 14/4*(164/(-28) + 7). Solve 2*l + 2*l = -2*f + 14, 0 = 4*l - n for f.
5
Let u(b) = -3*b**2 + b. Let j be u(-1). Let q be (-99)/(-44) + (-3)/j. Let a = 31 - 19. Solve 0 = -2*t, q*t = -h + 4*h - a for h.
4
Let s(u) = -u**2 + 7*u + 13. Let x be s(8). Suppose 8*q - 3 = x*q. Solve 2*i + 3*l = -q, 3*i + 5*l + 3 = i for i.
1
Let q(r) = -11*r - 380. Let x be q(-35). Solve 5*u = -5*d - 5, 3*d = 4*u - x - 5 for u.
1
Let o = 204 - 204. Solve o = h + w + 5, -1 = 4*h - 3*w - 2 for h.
-2
Suppose 5*b = 13 + 2. Suppose -b*q + 6 = -q. Suppose 1 = 2*h - q. Solve -m - 4*j = 17, h*m - 5*j - 21 = -2*j for m.
3
Suppose -3*i + 3 = -2*y - 7, i + 8 = -5*y. Solve 0*n + 3*n + 17 = 4*k, 0 = k + i*n - 7 for k.
5
Suppose -4*p - 10 = 5*q, 4*q = 7*q - 3*p - 21. Solve 5*t = -4*r - 6, -r + 7*t = q*t + 14 for r.
-4
Let a = -26 - -32. Suppose 64*v - a = 62*v. Let l(j) = j. Let y be l(4). Solve y = -2*p - 5*x - 2, 0 = -p - 3*x - v for p.
-3
Let m be 12/(-2) - 6*(-1 - 0). Solve 2*v + 10 = -m*v - 4*p, -4*v + 4*p + 4 = 0 for v.
-1
Let x(l) = 6*l + 103. Let b be x(-17). Solve 7 = -5*w + 3*q, -3*q = -5*w - 2*q + b for w.
1
Let v = 83 + -50. Let k = v - 26. Solve 2*u - 7 = -5*p, -3*p + 2*u + 10 = -k for p.
3
Let n be (40/(-70))/((-4)/14). Suppose -m - n*m = -51. Solve -m = 4*b - 5*t + 4, 2*b = -t + 7 for b.
1
Suppose -3*m = m + 3*p - 12, 4*p + 12 = 4*m. Let q be (-4)/6 - (-33)/9. Suppose 16 = q*z + z. Solve -2*u = -z*x - 14, -m*u - 12 = x + 2 for u.
-3
Let v(m) = m - 4. Let j be v(6). Let t = -1 - 14. Let b = 17 + t. Solve -j*k - 2*h - 4 = 0, -b*k - 2*h = -k + 7 for k.
3
Let v be 20/(-70) - (-30)/7. Suppose 16 = -v*p + 8*p. Solve -3*m - 3*c = 0, -p*c = -5*m + 5 + 4 for m.
1
Let a = -41 + 42. Let x(z) = 7*z - 2. Let v be x(a). Solve -3*g - 2*s = -s - 11, 0 = 5*g + v*s - 25 for g.
3
Suppose p - 4*d - 22 = 0, 2*p - 13*d + 17*d - 8 = 0. Solve -x - r + 8 = 4*r, 0 = 3*x + r - p for x.
3
Suppose 0*o = 3*o - 9. Suppose 3*j + 0*h + 1 = -4*h, -5*h = o*j + 2. Let v be (-2 - (1 + -6))*j. Solve b = -6*z + v*z + 9, -5*b + 17 = z for b.
3
Let y = 38 + -4. Let k = y + -20. Let n = 22 - k. Solve -m + 3*q = -0*m + 14, -4*q - n = 4*m for m.
-5
Let j(u) = -u**2 - 15*u - 26. Let q be j(-8). Suppose -4*v - 5*x = -q, -3*x = 2*v + 2*x - 20. Solve v*o - 18 = -n - 0*n, -5*n = -2*o - 9 for n.
3
Let b(c) = -c**2 - 18*c - 61. Let j be b(-5). Solve -4*o + 24 = 2*z, 3*o = j*o - 4 for z.
4
Let t be 7/((-49)/(-21))*78/18. Solve 4*h + 3 = -s, 5*s = -3*h + t + 6 for s.
5
Let i = -11 - -16. Let h = 1180 - 1173. Solve -4*k - h = -a, -3*k - 14 = 3*a - i for a.
-1
Let v(k) = -k**2 - 4*k - 1. Let l(h) = -4*h - 3. Let x be l(0). Let d be v(x). Suppose -d*y + 10 + 44 = 0. Solve -m + 0*m + y = -5*w, -5*w + 5*m - 35 = 0 for w.
-5
Suppose 3*g - 12 = 0, 3*g = -2*b - 2*b + 48. Solve -4*i - 20 = 4*o, -2*i - b - 1 = -4*o for o.
0
Let b(o) = 5*o - 2. Let j(h) = 4*h - 2. Let g(i) = 5*b(i) - 6*j(i). Let u be g(11). Suppose 9*x - u*x = -16. Solve 0 = -x*c + 4*z - z + 16, 0 = -5*z - 20 for c.
1
Suppose 0 = o - 13 + 11. Suppose -2*t = o*g - 2, t = g - t - 4. Solve -1 = -2*p - 3*d, g*d = -0*d + 2 for p.
-1
Let u be 2628/162 + (21/27 - 1). Solve -5*n = -3*h + u, 4*n + 5*h - h = 0 for n.
-2
Let q = -47 - -50. Suppose q*x = 5*u - 30, -3*x = 2*u + 2*u + 3. Solve 8 = 3*z - 2*r - 4, -4*z = -u*r - 16 for z.
4
Let z be 3*(-3 + 57/9). Suppose -5*p - 40 = -z*p + 5*o, 2 = p + o. Solve 3*h + 4*n = -11, 2*h + 16 - p = n for h.
-5
Let h = -603 - -630. Solve -f + 5*k = h, 5*f = 2*k - k - 15 for f.
-2
Let d = 268 + -265. Solve -4*i = -3*n - 18, 5 = -4*n + 2*i - d*i for n.
-2
Let z = 203 + -191. Solve -z = 3*g, 4*y - 5*g = -0*y + 36 for y.
4
Let i = -367 + 369. Solve -3*d - 3*n = 9, -d - 2*d = -i*n - 11 for d.
1
Let g = 9 + 2. Let k(t) = -8*t**2 - 27*t - 28. Let h be k(-1). Let w = h + g. Solve 3*l + 7 = 3*z + w*l, 0 = 2*z - 4*l + 12 for z.
4
Let s be 4/3 - (-22)/33. Suppose -5 = -s*g + k, -2*g + k - 2 = -7*g. Solve -10 = -5*l, -2*v + g = -2*l + 3 for v.
1
Suppose 6*j - 9*j + 12 = 4*l, 0 = 4*l - 3*j - 12. Solve -4*n = l*i + 4, 3*n + 13 + 19 = 5*i for n.
-4
Let h be -114 + 6/(-18)*-9. Let d = h - -113. Solve 4*k = -3*m - d*m - 13, 3*m = -2*k - 7 for m.
-1
Suppose 0*n - 3*n = -63. Let c(b) = -b**3 + b - 13. Let h be c(0). Let u = n + h. Solve 0*z = o + 3*z - u, -5*o = -z - 24 for o.
5
Let o be 3 + 0 + 13 + 1. Let y = o + -13. Suppose n = -n + y. Solve 3*t + w = -20, n*t + 40 = -3*t - 3*w for t.
-5
Let v(j) = 3*j**2 - j - 2. Let g be v(4). Suppose -w - 2*w = -g. Suppose -4*r - 2*a = -3*a - 24, 0 = 2*r - a - w. Solve 0 = -k - b, r*k - 10 = 6*b - b for k.
1
Let o be (-4)/56*-4*7. Solve -5*z + 40 = 5*n, -3*n = -5*n + o*z + 4 for n.
5
Let n be (-3)/18 + 100/24. Let k be n - 12/4 - -3. Solve 21 = -5*f - k*i, 4*f + 23 = 2*i + i for f.
-5
Suppose -a - 17 = -7. Let l = -14 - a. Let y be (-10)/(-2 + (-4)/l). Solve 3*f = 4*h + 20, -h = 3*f - y - 0 for f.
4
Let p = 41 + -34. Let i(u) = -u**2 + 7*u + 3. Let a be i(p). Solve a*k = -3*b - b, 0 = -3*k for b.
0
Let s be (-15)/(-6)*64/20. Suppose -3*f + s = 2. Solve 3*z - 2*b - 15 = 2*b, 0 = f*z + 4*b + 10 for z.
1
Let w = 541 - 538. Solve 0 = 4*f + 5*g - 11, 8*g - 20 = 5*f + w*g for f.
-1
Suppose -w = x + 2, 4*x + 0*x + 6 = -3*w. Let h(b) = -5*b - 5. Let o be h(w). Solve 0*q + q - 8 = o*d, -4*q + 7 = 5*d for q.
3
Let t(a) = -a**2 + 17*a - 56. Let o be t(12). Solve o*b + 0*f - 6 = 2*f, 0 = 5*b - 3*f - 10 for b.
-1
Suppose -4*a + 25 = a. Suppose a*y - 6*m = -2*m + 15, 5*y + 3*m - 15 = 0. Suppose -i - 5*l = 0, -7 = i - y*i - 3*l. Solve i*t = j - 4, -2*t + 8 = j + 4 for t.
0
Suppose 15 = -7*o + 12*o. Solve -5*n = -0*t + o*t + 28, n = 5*t for n.
-5
Suppose -m + u + 2*u = 13, m - 2*u = -11. Let t be (-12)/9*(-10 - m). Suppose 0 = -i - 2 + t. Solve 3*l - 8 = 2*d, i*d - 18 + 2 = -3*l for l.
4
Let u be (-2)/(-8) - 833/(-28). Let c be (6/15)/(2/u). Solve 14 = 5*w + g, -w - 4*w + g = -c for w.
2
Let i = 0 - -8. Suppose 0 = g - 3*g + 24. Suppose s + 1 - 4 = 0. Solve -g = s*t, 0*k = 2*k - t - i for k.
2
Suppose 2447 = -6*f + 2459. Solve -28 = 5*b + u, -f*b - u = 4 + 9 for b.
-5
Let s be (-17)/(-7) - 189/441. Solve 3 + 15 = t + 4*n, -s*t = -n for t.
2
Let g = -1683 - -1686. Solve -3*y + 3*j = -9, -1 = -2*y - g*j - 0 for y.
2
Let a = 109 - 106. Solve -5*l + 8 = -l + 4*r, -a*r = -4*l + 22 for l.
4
Let q be 82*1*8/(-16). Let g = q - -46. Solve 2*w - 4*k + 24 = 0, -g*w - 39 = -5*k - 4 for w.
-2
Suppose -2*n - 8 = -2*x, 3*x = -n + 11 + 1. Solve -