 16 = 2*m - h*s for m.
2
Let t be (-4)/(3/(-3)) - 12. Let p = t - -13. Solve -2*q - 2*q = 4*k - 20, 2*k - q = -p for k.
0
Let m be (0 - -2)*4/8*3. Let a be (-3 - (-3 + m))*-7. Solve -r = w - 5*w - a, -2*w + 4*r = 28 for w.
-4
Let j = -4 + 4. Suppose j + 4 = f. Suppose q - f = -1. Solve -2*p - q*y = 5, 2*y = -0*p - 4*p - 6 for p.
-1
Let p be 0 + -5 + (-22)/(-6 + 4). Solve -d - p*a = -5*a + 4, 3*d + 4 = a for d.
-2
Suppose 4*y - 4 = 0, 4*f - 57*y - 11 = -56*y. Solve -3*t - 6 = -f*p, t - 20 = -p - 4*t for p.
5
Let t(y) = -54*y - 324. Let a be t(-6). Solve a = -v - 2*v + 5*c + 23, 3*v - 4*c = 19 for v.
1
Let k = -14 + 17. Suppose -17 = -k*p + 3*z + 7, -2*p - z + 10 = 0. Suppose 0 = -4*w + p*w - 8. Solve w*c - 29 = 5*u, -2*c + 3*u - 5 + 22 = 0 for c.
1
Let q be ((-30)/(-315))/((-8)/(-60))*7. Solve 0 = d - c - 1, -3*d + q*c = -11 for d.
-3
Let t(j) = -7*j + 50. Let b be t(6). Let s be (-1)/(-3) - (11/(-3) - -4). Solve 3*r + 6 = u, s*u - u + b = -5*r for u.
3
Let i = -137 + 138. Suppose i = -4*s + 9. Solve c - 4*y + 13 = 0, 5*y = 4*c + s*y for c.
3
Let i be -3 - (-175)/55 - (-224)/(-22). Let m be (-3)/(5/i*(0 + 3)). Solve -2*s + 2*p = -2 - 12, 5*s - 20 = m*p for s.
2
Let s be (-9 + 18)*-1 + 14. Solve 5*i + 2*v = -s, -10 = -2*i - 3*i - 5*v for i.
-3
Let l(h) = -63*h - 119. Let f be l(-2). Solve 3*y = 5*m - f*m + 25, y + 3*m = 20 for y.
5
Let x = -9 - -26. Let g(n) = n**3 - 16*n**2 - 15*n - 24. Let m be g(x). Solve 0 = -3*b + 4*o + 9, m = b - 2*b - 3*o for b.
-1
Suppose -103*k = -62*k - 82. Solve -t = -r - 6, 0 = -t + 2*t - k for r.
-4
Let j be 6 + (-6)/(-2) + -6. Solve -5*y - 20 = j*n - 8*n, 4*y = -4*n - 24 for n.
-1
Suppose -6*i - 10 = -11*i. Suppose -4*b = 5*y, -y - b = i*y. Suppose 5*k - 74 - 1 = y. Solve c = 0, c - k = -f - 2*f for f.
5
Suppose -68 - 23 = -13*y. Solve -2*h - y = 5*r, 4*h - 2*r + 5 = -3*r for h.
-1
Suppose -4*j = 3*j - 49. Let x(b) = b**2 - 4*b. Let p be x(5). Suppose 98 + 92 = 10*v. Solve -3*m + j = p*l, l + 5*m - v = -0*m for l.
-1
Suppose -a - k = -5*k + 13, -5*k = -4*a - 8. Solve -5 = -a*p + 2*b, -6 = -0*p - p + 5*b for p.
1
Suppose 0*i - 9 = -2*a - 3*i, -2*i = 2*a - 6. Suppose -4*b + 93 - 93 = a. Solve 2*o + c = 10, b = -o + 6*o - 3*c - 3 for o.
3
Suppose 8*j - 940 = 3*j. Suppose 5*k + j = 3*k. Let n be k/(-18) - 20/90. Solve -l - 12 = -4*x, 2*l = -n*x + x + 12 for x.
3
Let t be (-14 - -11)*4/(-6). Suppose -t*u = -6 + 2. Solve y + 2 = -u*r, -4*y + 4 = -0*y - 4*r for y.
0
Let z(b) = -b**3 - b**2 + 24*b + 2. Let u be z(0). Let o = -3 - -3. Solve u*g - t = -6, 3*g + t + o*t = -19 for g.
-5
Suppose 8*p - 9 = -p. Let q be p/1 + (1 - 4)/(-1). Solve r + 0*r - q = 0, 3*r = 3*b for b.
4
Suppose -d + 3 = -u + 2, 0 = 3*u + 3. Solve 2*p + 0*p + 5*j - 11 = d, 3*p + 18 = 4*j for p.
-2
Suppose 0*n - 66 = -22*n. Solve 15 = n*u, -x - 2*x - 5*u = -10 for x.
-5
Let f(z) = z**2. Let r(d) = d**2 - 6*d - 10. Let c = -17 - -19. Let k(q) = c*f(q) - r(q). Let s be k(-5). Solve -s*y = -0*y, -5*w + 5*y = 0 for w.
0
Suppose 27*n + 11 = 26*n. Let y(f) = f + 16. Let q be y(n). Solve q*l = 3*s + 12, 4*s - 1 = 4*l - 3*l for s.
1
Let i = 7 + -7. Suppose 3*d - 6 = -0. Suppose 0 = -5*y - 4*f + 25, -6*y + 5*f + 15 = -3*y. Solve -2*x = d, x + y = u - i*x for u.
4
Let v be -102 + 4 + -1 + (5 - 8). Let z = v + 107. Solve b + 0*b = -2*k - 2, z*b + k + 10 = 0 for b.
-2
Suppose 2*d - 3*p - 83 = 0, d + d - p - 73 = 0. Suppose -5*c - d = -7*c. Solve 6*k - 2*u = k - c, 3*k + u = -8 for k.
-3
Suppose 466*k - 475*k + 36 = 0. Solve -5*x + k = s - 5*s, -2*x = 5*s - 28 for x.
4
Let g be (-84)/(-105)*10/(-4). Let b be 2/(-10) + (g - (-55)/25). Solve 0 = 3*n - b*q + q - 7, -3*n - 2*q + 2 = 0 for n.
4
Let h be 9*(-4 + (-3 - 92/(-12))). Suppose -h = -0*q - q. Solve 2*r + p = r, -4*p + q = r for r.
-2
Let h be (-3 - (-39)/6 - 3)*6. Solve 3*s = 4*m + 2*s + h, -15 = 5*m - 5*s for m.
0
Let y(c) = 16*c - 3. Let m be y(4). Let h = m + -41. Solve 0 = 5*x + h, 5*w - 2*w + 3*x = 3 for w.
5
Let n = 802 - 786. Solve -5*y = -q - 10*y + 12, 5*q - n = -3*y for q.
2
Suppose 0 = -5*l + 3*a + 400, 4*l - 251 = l + 4*a. Suppose 3*j + 0*j + 5*c = 33, -c = 5*j - l. Solve -j = -2*k + 2*x, 4*x = 3*k - x - 30 for k.
5
Let t(l) = -l**2 + 9*l - 16. Let p be t(10). Let v = 27 + p. Solve 5*y = j + y - 1, y + v = 0 for j.
-3
Suppose 4*o - 14 = -3*t, -o - t + 5*t + 13 = 0. Suppose 0*u - o*r + 37 = 3*u, 2*u = -5*r + 28. Solve 2*j + 11 = h, -4*j - 4*h - 25 = -u*h for j.
-5
Let r be 1*((-5)/5 - -1). Suppose r = 5*i - 12*i + 14. Suppose -4*c + 4 = -c + h, -5*h + 20 = -c. Solve y + 5 = i*y - 2*a, y + 5*a + 23 = c for y.
-3
Suppose -44 = 19*p - 139. Solve -5*h + 15 = 6*d - d, -p*d + 15 = 0 for h.
0
Let l(b) = -b - 6. Let q be l(-8). Let t = -65 - -67. Solve q*x = t*i + x, -i = x + 6 for i.
-2
Let t = -60 - -38. Let w = t + 19. Let c = 2 - w. Solve -2*d - 3*d = -i, d = -c*i - 26 for i.
-5
Suppose 5*l = o - 5*o + 12, 4*l + 4*o = 8. Suppose -258*h + 250*h + 24 = 0. Solve -l*f = -p - 0*p + 9, f + h*p = 1 for f.
-2
Suppose -2*y + 5*r = -28, 7*y - 2*r - 31 = 4*y. Solve q - 3*i = -7*i - 23, 0 = 2*q - 3*i - y for q.
-3
Let u = 29 - 35. Let q(v) = 2*v**2 + 11*v - 3. Let w be q(u). Solve -5*n + 5*b = 35, -3*n - 3 - w = 2*b for n.
-4
Let j(o) = -o**3 + 5*o**2 + 4*o + 14. Let r be j(6). Solve -26 = -4*v - 2*n, -v - n = r*n - 14 for v.
5
Suppose 2 = 2*t, -t - 3*t = 5*w - 4. Suppose 3*z = -5*z. Suppose -4*d = -w*h + h - 7, z = 2*h + 2*d - 8. Solve -u = h*f + 1, -3*u + 2 = -2*f + 5 for f.
0
Let i be 2 + (-2)/1 + -33. Let u = i + 36. Suppose l - 1 = -2*d, 5*l + u*d + 0*d = 33. Solve -4*w - l = -4*y + 23, -5*w = -y + 20 for w.
-3
Let g = 104 + -73. Let n = g + -27. Let f = -3 + 8. Solve f = -l - 4*l - n*y, -5 = -y for l.
-5
Let n(y) = 4*y - 72. Let j be n(19). Solve -j*q + 3*q = -2*p - 8, 0 = 3*p + 2*q + 19 for p.
-5
Suppose -11*y - 36 = -7*y. Let w = y - -10. Let x be 1 + -4 + (7 - w). Solve x*z = -2*z - 2*m + 11, z - 10 = -3*m for z.
1
Let d(u) be the second derivative of u**5/20 - u**4/4 - u**3/2 - 5*u**2 - 13*u. Let b be d(5). Solve -5*m = -3*s - 6, -b + 10 = -2*m - 3*s for m.
3
Suppose 4*f = 2*q - 4*q + 12, 4*f = 0. Suppose 2*j = -0*j + q. Suppose 5*g + 5*n - 5 = 0, -4*n = g - j*g + 8. Solve 0 = -2*x - b + 2*b - 8, g*x = 3*b - 4 for x.
-5
Let q = -57 - -64. Suppose -x - 48 = -q*x. Solve n - 6*m + 2*m - 16 = 0, 2*m = -n - x for n.
0
Let y = 49 + -47. Suppose -y*x + 12 = 2. Solve -2*m - 2*i + 4*i = -4, -2*m + x*i = -4 for m.
2
Let x be -5*(-1*6)/3. Let t = x + -5. Suppose 3*n - z - 2*z = 81, 3*z - 111 = -t*n. Solve -d + 0 - 6 = w, -3*w - n = 5*d for w.
-3
Let g be 1691/979 + 21/77. Let w be ((-2)/4 - 0)*0. Let k = 0 - w. Solve 1 = -g*m + 3, 5*f - 3*m + 23 = k for f.
-4
Let j be 32/(-6)*9/6. Let s be (-274)/18 - j/36. Let k = s - -18. Solve x = 3*c - 3, 9 = 3*x - 6*x - k*c for x.
-3
Suppose -12*r + 12 = 12. Solve n + 2*w - 19 = 4*n, -n + w - 8 = r for n.
-3
Let a = -3 - -5. Let y = -84 - -80. Let x be (-20)/(-7) + y/(-28). Solve 3*f - 28 = 5*c, -9 = -2*f + x*f + a*c for f.
1
Let v(f) be the second derivative of f**3/6 - 9*f**2/2 - 10*f. Let d be v(9). Let c = 6 - -12. Solve -3*g - 3*r + c = d, -3*r + 14 + 3 = 2*g for g.
1
Suppose 5*c + 4*r = r + 33, -2*c + 9 = -3*r. Solve 0*p - 4*p = 4*f + 12, -p = -2*f + c for f.
1
Let v be (-26)/(-8) + 4/(-16). Let u = -246 + 250. Solve -3*d - 7 = -4*l, v*d + u*l - 3*l = -2 for d.
-1
Suppose 0 = -d + 5*m - 0*m + 8, 4*d = -m + 95. Let a = 1 + 11. Solve 2*g - a = -5*o + 2*o, 5*g = -4*o + d for o.
2
Suppose -5 = 5*h - 20. Suppose -3*l - x + 14 = 0, 0*l + 4*x - 29 = -h*l. Solve -f - 5 = l*s, 2 + 0 = -2*s - f for s.
-3
Let h(i) = -2*i**3 - 12*i**2 - 9*i + 8. Let v be h(-5). Solve 4*q - q + 4*d = 19, 2*q - 14 = -v*d for q.
1
Let s be 3/6*(70 + -2). Let f = s - 29. Suppose -5*w + i = -f, -15 = -2*w - 5*i + 14. Solve -3*j = 5*c + w, 0*j + 3*j - 5*c = -22 for j.
-4
Let q(w) = 34*w + 137. Let r be q(-4). Solve 3*a = 3*s - 24, -2*s = -0*s + 3*a - r for s.
5
Let u be 28/4 - (0 - (-2 - 0)). Suppose -u*i + 24 = 4*h - 5, -3*h - 57 = -5*i. Solve 5*l + 14 + 17 = -4*f, -3*f - i = -l for l.
-3
Suppose 4*j = u - 2*u + 45, 2*u = -5*j + 54. Suppose -j*m = -16*m + 8. Solve 0*z = 2*l + m*z, 5*l - 30 = z for l.
5
Let n be (-2 - -5) + -5 + 4. Let u(m) = -3*m - 1 + 3*m + 6 - n*m. Let g be u(0). Solve 0 = 2*f - 4*f -