 - 15. Let h be u(-4). Solve -2*j + 4*j - 4*k + 2 = 0, 0 = j - h*k - 5 for j.
-5
Suppose 2*h - 4 = 6. Suppose -h*q = -0*q. Suppose 60 = 20*i - 18*i - 5*g, -4*g = -3*i + 76. Solve q*r + i = 5*a + 3*r, -a = -r - 4 for a.
4
Let k(z) = 2*z**2 + 22*z + 5. Let a be k(-11). Solve -a*f = -15, 0 = -0*x + 2*x + 5*f - 17 for x.
1
Let i be (5 + (3 - 110/15))*3. Solve -3 = -2*m - i*j + 3, 11 = m + 5*j for m.
1
Let c be (0 - -1)/(-1) - 8. Let b = c - -14. Solve 5*w = b, 0 = 4*h + 5*w - 17 + 4 for h.
2
Let j = 2 - 0. Suppose 3*u = -78 - 219. Let v = u + 102. Solve 0 = -5*n - v*a + j*a + 10, -2 = -n + 2*a for n.
2
Let z = 128 - 127. Let n = 0 + 5. Solve n*c - 1 = 4*f, z + 1 = -c + 3*f for c.
1
Suppose -4*s - 14 = -2*y, -2*y - 3*y - 5*s + 5 = 0. Suppose -y*a + 37 = 4*h + h, 22 = 2*h + 3*a. Solve 0 = -5*d + 4*d - 4*l + 14, h*l = 15 for d.
2
Let m(z) = -z**3 + 11*z**2 + 13*z - 11. Let s be m(12). Suppose 2*v = o + 4 + s, 3*o - 4*v + 5 = 0. Solve 0 = -t + 5, 2*l = -2*t + o*t - 25 for l.
-5
Suppose 4*d + 280 = 9*d. Let x = 61 - d. Solve x*p + 2*i - 6*i - 3 = 0, 3*i + 6 = 5*p for p.
3
Let m = 308 - 306. Solve m*g = -2*h + 4, -5*h + 10*h = 4*g + 37 for g.
-3
Let m = -31 - -36. Let j(b) = 2*b**2 - 6*b - 2. Suppose 5*t = -2 + 27. Let l be j(t). Solve 3*r + 16 = x, m*x = -r + l - 2 for x.
4
Let l be (3 - 1) + -1 - (4 - 3). Solve r - 8 = 5*r - 2*u, l = 3*r + u - 4 for r.
0
Let n = 67 + -65. Suppose -3*s + 3*h = -60, n*s + s - 2*h - 59 = 0. Solve 0*b - s = -5*l + 2*b, -b = 4*l - 10 for l.
3
Let p(m) be the first derivative of 3*m**4/4 + m**3/3 - m**2 + m + 11. Let o be p(1). Solve -i + o*i + 14 = n, i - 2*n = -13 for i.
-5
Suppose -5 = 2*g - 3*y, 9 = 2*g + y + 2. Let h = -10 + 15. Suppose g*x - 5*f = h, -4 = x + 3*f - 12. Solve -5*z = 3*b - 13, -z = -3*b + 3*z - x for b.
1
Let h be 4518/39 - 4/(-26). Suppose 0 = k + 3*k - h. Suppose -2*l - 8 = -c, 5*c - 2*l - 33 + 1 = 0. Solve 0 = 2*o + 2*b + c, 6*o + k = o + 2*b for o.
-5
Suppose 0 = -56*k + 45*k + 33. Solve 5*s + 10 = -5*c, -4*s = -k*c + 2*c + 3 for s.
-1
Let l = 2 + 5. Suppose -3*d - 1 + l = 0. Let c = d + 1. Solve -y = 2*r - c*r + 8, -3*r - 16 = 5*y for y.
-5
Suppose -100 = 8*l - 28*l. Suppose 2*d - 3*y = -d + 6, -3*d = 4*y - 27. Let a be (8/10)/(d/25). Solve 3 + a = 5*v + 3*t, 0 = 5*t + l for v.
2
Suppose -4*b - 4*h + 68 = 0, -b + 0*h - 2*h + 12 = 0. Let f = b + -18. Solve -3*o + 5 = -4*o + f*n, n = -o + 5 for o.
3
Let d be 2/30 - (-13988)/780. Solve -t - 5*j - d = t, -4*j - 11 = 5*t for t.
1
Let t(m) = 22*m + 96. Let r be t(-4). Solve 4*w = x + 2, 0 = -2*w + 6*w + 2*x - r for w.
1
Let h(p) be the first derivative of -p**2/2 + 8*p + 23. Let x = -2 + 8. Let w be h(x). Solve 3*u + 25 = 5*r, r + w*r - 2*u = 16 for r.
2
Let w(z) be the first derivative of -z**3/3 + 4*z**2 + 11*z - 8. Let n be w(9). Solve -3*r - 14 = -n*g, -2*r - 1 - 10 = -3*g for g.
1
Suppose 24*o - 44 = 4. Solve 0 = 3*c + 2*w - 6*w + o, 5*c + 4*w = -14 for c.
-2
Let j = 37 - 31. Suppose j*y + 4 - 34 = 0. Solve 3*r - y*r = 2*l, 4*l - 4*r = 24 for l.
3
Let k(v) = 16*v + 3. Let w(a) be the first derivative of a**2/2 + 4. Let s(i) = -k(i) + 5*w(i). Let x be s(-2). Solve -3*c = -4*l, -4*c - x = -l + 2*l for c.
-4
Let i be ((-3)/2)/((-3)/4). Let j be ((-8)/18)/(32/(-144)). Suppose 18 - 4 = j*a. Solve -5*q + i = 12, -h - a = 3*q for h.
-1
Suppose -2*r - 8 = -2*x, -x - r + 8 = 2*x. Solve x*w + 3 = 0, 5*o - 2*w - 7 - 15 = 0 for o.
4
Let c(z) be the first derivative of -z**3/3 + 5*z**2/2 + 2*z - 2. Let n be c(5). Suppose -n*w + 5 + 1 = 0. Solve -2*f + 3*g = -7, 4*f + w*g = -0*g - 31 for f.
-4
Let m(i) = 5*i + 36. Let z be m(-7). Solve 5*s + 6 = 3*x, -z = 3*s + 8 for x.
-3
Let u = -97 + 100. Solve -4*h - 35 = -0*h - 3*p, u*p + 5 = -4*h for h.
-5
Suppose 0 = -5*g - 2*o + 17, -g - 7*o + 2*o - 15 = 0. Solve 4*p - g*q - 4 = -3, 4*p = q - 3 for p.
-1
Let w(m) = -m**3 - 4*m**2 + 4*m - 5. Let j be w(-5). Solve 3*s + 6 = a - j, -a = 4*s + 1 for s.
-1
Let l = 40 + -37. Suppose c - 11 = 3*g, 2*g = -l*c + 6*c - 19. Solve c*h - 29 = -k, 5*k + 2*h - 25 = h for k.
4
Let h(m) = -2*m - 2. Let s be h(-3). Suppose -5*y + 21 = -g + 3, -s*g + 16 = 2*y. Solve 4*r + 30 = 5*n, 2*n + 6 = -g*r - 0*n for r.
-5
Let o = 6 - -2. Let y(j) = 3*j + 13. Let b be y(-2). Solve -o - b = 5*i + 3*k, 20 = 5*i - 4*k for i.
0
Suppose -14 = -2*l - 8. Solve 4*m + l*s - 14 = s, 0 = 3*m - 5*s - 30 for m.
5
Suppose 2*v - 8 = -4. Suppose 4*j + 8 - 32 = 0. Let n(r) = -r**3 + 7*r**2 - 6*r + 4. Let c be n(j). Solve -c*b - s = -13, 0*b + 4*s = -v*b + 24 for b.
2
Let t = 845 - 841. Solve 4*q + q = -5*h - 5, -5*q = t*h + 4 for q.
0
Suppose -5*a - 154 = -m, -3*a + 242 + 27 = 2*m. Let l = m + -120. Solve -2*y - 7 = z, -3*y - z = 2*y + l for y.
-4
Suppose 2*s = -s - 30. Let l be s/(-7)*7*1. Suppose -5 = 3*q - 17. Solve -q*v = 2*d - l, 3*v - 6*d = -d - 25 for v.
0
Suppose -j = 3*j - 12. Suppose 695*r + 234 = 704*r. Solve 3*v + 4*z - r = v, j*z = -3*v + 27 for v.
5
Let t = 115 - 111. Solve 14 = -2*b + t*l, 2*b - 4*l + 2*l = -12 for b.
-5
Let n be 2 + 3*6/9 + -2. Let o = 0 + 12. Suppose 0 = n*l - 3*l + o. Solve -2*u + 2*p = 6, 5*p = -4*u - 0*u - l for u.
-3
Let t(z) = 14*z + 26. Let a(m) = 13*m + 27. Let h(j) = -5*a(j) + 4*t(j). Let v be h(-4). Solve 5*i - 23 - 2 = 0, 5*u + v*i = 5 for u.
-4
Let b = 1 + -6. Let m = b - -10. Let f = 164 - 153. Solve m*t + 2*v = -f, -4*t - 2*v - 2 = -2*t for t.
-3
Let d be (-52)/4 - 9/3. Let k be (d/10 - -2)*10. Suppose k*a = 6 + 6. Solve q = -a*u + 14, -q + 5*q = 4*u - 8 for q.
2
Suppose -27*v = -323 + 26. Let d = -5 - -5. Solve -3*u + 29 = -5*i, 3*u + d*u + v = -5*i for i.
-4
Let o = -37 + 103. Let u = o - 56. Solve -4*b + 4 = -4*d, 3*b + u + 2 = -2*d for d.
-3
Suppose 0 = 2*d - 3*v - 34 + 26, -v = 0. Solve -2*j + c + 2*c = -1, -4*c = d*j - 12 for j.
2
Suppose 0 = -2*i - 5*w + 1, -5 = w - 4. Suppose 4*y = 5*s - 476 + 469, s = y + 1. Solve -4*m = -s*n + 7 + 4, -i*n = -3*m - 12 for m.
1
Suppose 0 = 89*u - 84*u - 55. Solve 0 = r - 3*m - u, -5*r + 2*m - 5 = -m for r.
-4
Let b = -10 - -12. Suppose t - 14 = -3*d - 3*t, 0 = -3*d + 4*t - b. Solve d*h - 3 = k, 3*h + 16 = 2*h + 4*k for h.
4
Let a(t) be the second derivative of -t**5/20 - 2*t**4/3 - 3*t**3/2 - 6*t**2 + 15*t. Let j be a(-7). Solve -j*q = y - 14 + 5, 2*q - y - 11 = 0 for q.
5
Suppose 23 = -2*l + 29. Solve -2*m + 7*m + v = 1, -l*m = -4*v - 19 for m.
1
Suppose t + 1 = -5. Let a = -1 - t. Suppose 2*v = a*v - 9. Solve v*i = 2*p - 5*p + 3, 5*p = 0 for i.
1
Let s = 71 + -68. Suppose 0 = -n + 3*n + s*p - 22, 5*n + 4*p = 48. Solve m + m = 2*v - n, 5*v + m + 10 = 0 for v.
-1
Suppose -5*r + 2*r + 21 = 5*q, 3*q + 2*r = 13. Solve 0 = 2*y - q*m - 4, -4*m - 7 - 6 = 5*y for y.
-1
Suppose 12*b = 7*b + 10. Suppose 5*n - 67 = -b*t, -4*n = -0*n + 3*t - 55. Solve 6 = x - v, -2*x = x + 2*v - n for x.
5
Suppose 167 = 32*o - 217. Solve 6*j = 3*j + 4*c - 6, -4*c = -o for j.
2
Let t(a) = -a**3 + 11*a**2 - 9*a - 10. Let f be t(10). Suppose -121 = -18*w - 49. Solve f*l = -3*j + l - 15, -5*j + w*l = 32 for j.
-4
Let g(i) = 2*i**2 + 2*i - 1. Let n be (-8)/5 - (-10)/(-25). Let k be g(n). Suppose 19 - 7 = k*z. Solve 2*y + z*v - 9 = -3*y, -5*y + 41 = -4*v for y.
5
Suppose -7 = 5*g - s - 0, -5*s = 3*g - 7. Let l be ((-1)/1)/g - -3. Solve -5*f = l*t + 37, -t + 2 + 20 = -5*f for t.
-3
Suppose -36*h + 25 = -551. Solve y + b + 4 = 0, 0*y - 3*b - h = -y for y.
1
Let q = 38 + -37. Let b be 9/2*q*(-12)/(-9). Solve 5*x + 35 = h - b*h, 3*h = -x - 17 for h.
-5
Let w(v) = v**3 - 17*v**2 + 31*v - 12. Let p be w(15). Solve -3*j = 15, p*o - 6*j - 37 = -j for o.
4
Let h be 1/(4*(-8)/(-608)). Solve 2*m + 4*s - 8 = 10, 5*m - 3*s = h for m.
5
Suppose -5*d + 3*k + 343 = 0, d + 2*k + 2*k = 64. Let n = 74 - d. Solve -w + n = -i, -2*i - i - 13 = 2*w for w.
1
Suppose -v + 12 = -3*s, v + 5*s = 4*s. Solve -5*a - v*u - 18 = 0, 4*a = 2*a - u - 7 for a.
-3
Suppose -18*n + 43*n - 500 = 0. Solve -4*d - 5*g = n, -2*d - 2*g - 12 = g for d.
0
Let q(t) = -t**2 + 5*t + 10. Let z be q(10). Let i = -20 - z. Suppose -i = -d - 4*d. Solve d*o + 0*g + 4*g = 0, -5*g = 3*o - 10 for o.
-5
Let v = -111 - -115. Suppose -v*z = -4*z + 4*z. Solve z*m - 4*p = -m, 4*m - 5*p - 11 = 0 for m.
4
Let r(o) = 0*o**3 - 11*o**2 + 2*o**2 + 13 - o**3 + o. Let f = 1254 - 1263. Let p be r(f). Solve 5*m + 3*j = 2*j + 18, 2*m