+ 4 = k, -10 = -3*w - 5*k + d for w.
2
Let b be (2/4 - -1)*(-12)/(-9). Suppose -2*q = b*q. Solve -2*p + q*p + 3*x - 5 = 0, 0 = 3*p - 2*x for p.
2
Let m be 9/18 + -1 + 2/4. Suppose -s + 21 - 11 = m. Let z(h) = -h**3 + 13*h**2 - 13*h + 14. Let i be z(12). Solve s = i*p, 4*p - 34 = -2*x - 4 for x.
5
Suppose 22 = 29*j - 18*j. Solve 4*m = 5*n - 4*n - 12, -5*n = j*m - 16 for m.
-2
Let y(v) be the third derivative of v**6/120 - v**5/60 - v**4/6 + 2*v**3/3 - 7*v**2. Let n be y(2). Solve n = 2*i - 4*c + 2*c - 16, 8 = -4*i - 4*c for i.
3
Let z = 1527 + -1524. Solve -o = -3, -z*s + 2*o + 3 = o for s.
2
Suppose h - 33 = 16. Suppose 3*l + h = 10*l. Solve -l = -4*k + 3*a, 5*a - 1 + 5 = -k for k.
1
Let q = -764 + 764. Solve 3*u + 6 = q, z - 3*u = 3*z - 4 for z.
5
Suppose -10*z = -2*q - 13*z + 25, -5 = 2*q - 3*z. Solve -4*f = -v - 5, -4*v + q*f - 3 - 6 = 0 for v.
-1
Let a = 35 + -29. Let r be a*(-2)/20*-5. Solve 3*z - r*c = -18, -5*c = 3*z + 4 + 6 for z.
-5
Suppose -p = 0, 2*p - 32 = -2*z - 2*z. Suppose -2*i + 12 = 3*i - 2*o, -i - o + z = 0. Solve -5*x + 17 = 2*y, -2*x - 3*x + 41 = -i*y for y.
-4
Suppose -y - 136 = -3*w + 2*w, -4*w = 2*y + 296. Let o be 2*1*y/(-8). Solve 0 = u - 2*s + 8, 4*s + 9 = -3*u + o for u.
2
Suppose -18*a + 75 = 21. Solve 2*c + 3*c = a*x, -2*c + 2*x = 0 for c.
0
Suppose 4*z - s + 4 = 0, s + 4*s + 1 = -z. Let c be -4*1/1*z. Solve -2*j - 5*g - 29 = -c*j, 5*j = 2*g + 20 for j.
2
Suppose -v - 4*f = -7, 40*f + 16 = 4*v + 44*f. Solve d - 7 = -5*c, -c - 9 = -v*d - 2*d for c.
1
Suppose 2*y = -3*f + 11, 2*f + 1 = 3*y + 17. Let m(b) = -b. Let i be m(y). Solve 0*u + 4*a - 36 = -4*u, -4*u - i*a = -26 for u.
4
Let v(c) = -4*c. Let u be v(-1). Suppose u*g = 20, 2*k - k + g - 7 = 0. Suppose k*q = 5 + 5. Solve 5*p - q*w - 10 = 0, -5*p + w = -2*p + 4 for p.
-3
Let t be (-1)/((-1)/3)*-1. Let u be 10/35 + ((-6)/(-7))/t. Solve u = -i + 4*n - 7, 3*i - 3*n = -i - 2 for i.
1
Let k(j) = -5*j - 2. Let w be k(-1). Let c be 8/(32/6)*10/w. Solve 2*m + x = 3, -2*m + 14 + 7 = -c*x for m.
3
Let y = -1 - -3. Suppose -z + 5*b = 17, z + 3*b - 23 + 0 = 0. Solve q - 5*v + 10 = -12, z = y*v for q.
-2
Suppose -w = -4, -w - 35 = -3*c - 6*w. Suppose -5*h - 18 = -s + 7, 0 = c*h + 20. Solve -3*q - 2*q = -2*j + 9, -15 = s*q - 5*j for q.
-1
Let a = 2 + 11. Let f be ((-84)/(-35))/(-4) - (-6)/10. Suppose -2*i - 5*g = -23 + 7, -3*i - 5*g = -19. Solve -5*y = -i*r + 18, r + y - 5*y - a = f for r.
1
Suppose -10 = 5*u - 3*f, u - 17 = 4*u - 4*f. Suppose 4 = -j + u. Let c be 50/((-6)/j) + -3. Solve 4*y + c + 0 = 5*o, -4*o + 23 = -5*y for o.
2
Let h(u) = u**3 + 24*u**2 + 141*u + 22. Let l be h(-10). Solve 0 = q - 2*p - 7, -l + 9 = 3*p for q.
5
Let i be ((-24)/(-4 - 2))/2. Let y(u) = -4*u - 4. Let a be y(-2). Solve 2*h = -5*j + 4 - 3, -i*j = -a*h + 14 for j.
-1
Let d(o) = 9*o**3 + 3*o**2 - 5*o + 2. Let l be d(1). Solve 4*u - 5*i + l = -8, -2*i = -4*u - 2 for u.
2
Let j = 57 - 55. Suppose j*a = 3*b - 9, 4*a - 4 - 5 = -3*b. Solve -4*k = -4*m - 20, m + a*k - 2*k + 6 = 0 for m.
-4
Suppose 5*o - 6 = 2*g, 8*o = -g + 10*o - 1. Let d be -1 + (-5)/(10/(-76)). Solve 5*n = 4*l - g*l - d, 4*l - 2*n = -6 for l.
-4
Let a(c) be the second derivative of -1/3*c**3 - 9*c + 0*c**2 + 2/3*c**4 + 0. Let r be a(-1). Solve -4*w + v = -0*w + r, 0 = v - 2 for w.
-2
Suppose 60 = -23*h + 27*h - g, 4*g = -2*h + 48. Solve -6*v - h = -v + t, 2*v - 3*t = -20 for v.
-4
Let x(p) be the first derivative of -p**4/2 - 8*p**3/3 - 5*p**2/2 + 6*p + 35. Let b be x(-3). Solve 2*z + 2*z = -b*q, -q = 3*z for q.
0
Let u be (-5)/(-2)*(0 - 2). Let h(m) = -m**3 - 7*m**2 - 10*m. Let i be h(u). Solve -q - q + 3*s - 17 = i, 3*q + 9 = -s for q.
-4
Suppose 0 = b - 1 - 4. Suppose -v + b*d - 12 = 0, v + 0*v = -3*d + 28. Solve p + v = 2*m, -2*m = -2*p + m - 21 for p.
-3
Let b = -9 + 11. Let g(r) = -r**3 + 4*r**2 - 2*r - 2. Let l be g(b). Solve -l*h + 2 = -4*u - 6, 4*h = -2*u - 24 for u.
-4
Suppose 0 = -21*u + 3*u. Solve c = u, -16*c + 4 = -4*r - 20*c for r.
-1
Let m be 7/7 + (2 - 1). Suppose 2*b = k + 1, -23 = -3*b + m*b - 4*k. Let t be (-60)/(-3) + (-3 - -5). Solve 4*z + t = 5*a, 5*a - 16 = -z + b*z for a.
2
Let z = 9 + -4. Let f be ((-8)/(-14))/(10/35). Let i = z - f. Solve h - 4*v - 7 = 3, -i*h = 3*v + 15 for h.
-2
Let w = -622 - -625. Solve 5*x = -w*m + 12, 1 = -4*x + m - 3 for x.
0
Suppose p - 29 = -5*h, 4*p - 7*p - 8 = -4*h. Solve -z + 2 = -3*u, -p - 6 = -5*z for u.
0
Suppose 3*q + 88 = -2*c, q + 3*c = -0*c - 27. Let x be q/(-9)*3/(-2). Let v be (6/(-2))/(x/5). Solve 4*i + 14 = 2*b, v*b + 4*i = i + 12 for b.
5
Let o be (0 + -2)/(32/(-208)). Solve -2*l + 2*r = o + 1, -2*r - 6 = 2*l for l.
-5
Let n be 1/(-8) + 50/16. Let m = 14 - 10. Suppose -19 + n = -m*u. Solve h = -2*f, -3*h - u*f - 10 = -3*f for h.
-4
Suppose 4*b + 0 = -5*n - 9, -3*b - 4*n = 8. Let c be 2 - b - 2*-3. Suppose 3*t = -5*u - 1, -c*u - 1 = t - 2*u. Solve -t*s - 8 = 4*g - s, -5*s - 4 = 2*g for g.
-2
Suppose 4*x + 4*g = 128, -2*g + 128 = 4*x - 0*g. Solve 4*t = 5*y - x, -4*t + 2 = -y + 18 for y.
4
Let t = 15 + -7. Let l be 1/2 + (-18)/(-4). Suppose 0 = l*o + 3*c - 25, 15 = 3*o - c - 0*c. Solve o*j = 3*x + 8, 3*j - 2*x - 3*x - t = 0 for j.
1
Let f(w) = -w**2 + 20*w - 60. Let g be f(4). Let x(t) = t - 4. Let p be x(9). Suppose -1 = -p*y + 9. Solve -2 = -3*j - 8, g*v = j - y for v.
-1
Suppose -492 = 4*w + 2*h, -2*h - 81 = w + 45. Let j = -119 - w. Solve -j*x + 4*m = -8*x + 15, -3*x + 2*m = 13 for x.
-1
Suppose -18*m + 5*m = 0. Solve -4*v + 4*u - 28 = m, -5*v = -2*u - 2*u + 32 for v.
-4
Suppose -7*y = -y. Suppose y = 33*m - 34*m + 2. Solve -2*w - 5*k + 5 = 0, -k = k - m for w.
0
Suppose -6*v + 67 - 61 = 0. Solve -3*d - 5*i = -0*i + v, -5*i + 1 = 2*d for d.
-2
Let c = 0 - -3. Suppose 0 = -4*j - 3*o + 2 + 1, -2*o - 9 = -j. Suppose -6*z = -c*z - j. Solve m + 4 + z = 4*f, -5*f + 1 = 4*m for f.
1
Let s be 90/5 + 5 - 1. Solve -5*t + 0*k + 3*k = -s, -4*k - 8 = 4*t for t.
2
Let y be ((-2)/3)/((-6)/(-9)). Let h be (y/(-3))/(476/(-96) + 5). Suppose -i + 3*i = 0. Solve -5*j = 3*l - l - 2, -l + 2*j - h = i for l.
-4
Suppose 3*s - z = 15, 0 = 2*s + z - 10. Solve -6*h + 3*v - 2 = -4*h, 4*v + s = -5*h for h.
-1
Suppose 3*v = -9, 19*t + 4*v + 25 = 20*t. Solve 5 = -2*n + 2*f - f, -n - t = 3*f for n.
-4
Let p be (-187)/(-4) + 1/4. Suppose 4*b = 2*k + 38, -3*b - k + p = 16. Suppose -3*n = -n - b. Solve -z = 2*r - 0*r + 5, 0 = n*z + 5*r + 5 for z.
3
Let y(t) be the second derivative of t**3/2 - t**2/2 - 33*t. Let b be y(2). Solve 3*a + b*q = -17 - 18, 29 = -5*a - q for a.
-5
Let i(j) = 2*j**2 - 11*j + 2. Let y be i(8). Let u = y - 14. Solve 4*q - u = 5*l, -q = -0*q - 2 for l.
-4
Suppose 7 = 2*m + p, -6 = 5*m - m - 2*p. Solve -5*s + 3*y - 6 = 0, 2*y - m - 3 = 5*s for s.
0
Suppose -b - 3*a - 10 = -3*b, 5*b - 36 = 2*a. Let z(g) = -2*g**2 + 15*g + 10. Let c be z(b). Solve 3*h + 10 = -n, c*n + 3*n = -4*h - 6 for h.
-4
Suppose -5*f + 58 = 4*x - 0*x, -5*x = 5*f - 70. Suppose 12*z = -2 + 50. Solve -d - x = -5*d, -27 = -3*i - z*d for i.
5
Suppose 0 = -0*b + 4*b + 8. Let o be (1 + 0)/b*-6. Solve -t = 2*i + 3*i + 10, -o*i = 5*t + 28 for i.
-1
Let c be 112/144 + 2/9. Suppose 3*x - c + 37 = 0. Let o be 30/(-4)*8/x. Solve 4*q = o*d, 3*d = -5*q - 2*d for q.
0
Let b = 192 - 180. Solve -25 = 4*d + 5*x, 2*d + 5*x + b = -13 for d.
0
Suppose -5*j = -x - 7, x + x + 42 = 3*j. Let p = 32 + x. Solve -13 = -p*n - 2*k, k - 9 = -10*n + 5*n for n.
1
Let r be 2*(13/4 + (-6)/8). Suppose -14 = -r*j + j - 2*v, 3*j + 5*v = 14. Solve 2*u + j*u - 20 = 0, 2 = -2*h - 2*u for h.
-5
Suppose 3*y - 7*y = -216. Let t = -37 + y. Suppose -t*u + 16 = -16*u. Solve 4*o - 2*j - 14 = 0, 5*o + 0*j = j + u for o.
3
Let a = -122 + 196. Let x = -72 + a. Solve 6 = -3*g, -5 = 3*n - 6*n - x*g for n.
3
Let r be ((-40)/16)/(44/(-8) - -5). Solve 2*f = 5*c + 20, -3*c = 2*f + 7 + r for f.
0
Let d = -32 - -35. Solve 5 = y + 3*v + 4, -d*y = 5*v - 7 for y.
4
Suppose n - 10 = g, 0 = -3*n + 17*g - 15*g + 28. Solve -6*l + 11*l - n = -2*u, -l - 3 = 5*u for u.
-1
Let r(l) = -l**3 + 11*l**2 + 11*l + 16. Let z be r(12). Suppose 10 = 2*o + z. Suppose 2*a - 3*a = -4. Solve -a*s = 4*w, -2*w = o*w - 2*s - 7 for w.
1
Suppose -2*h - z - 2*z = -62, 0 = -2*z - 4. Let r = h + -36. Let i be ((-4)/(-6))/(r/(-15)). Solve 21 = c + 2*s - 7*s, 25 = -i*s for c.
-4
Suppose -6 - 2 = 