, -w - 4*o = -0*w + 11 for w.
-3
Suppose 0 = -2*d - 3*j - 621, -2*d - 260 = -3*j + 379. Let i be d/(-20) + 3/12. Solve 5*n - 15 = g, n - i = -3*n for g.
5
Let g = 148 + -145. Solve -5*p - g*k - 6 = 0, 5*p - 3*k - 1 = -25 for p.
-3
Let r = 81 - 89. Let d(a) be the second derivative of -a**4/12 - 7*a**3/6 + 5*a**2 - a. Let x be d(r). Solve -x*j - 2*b = 6, -b = -2*j + b + 10 for j.
1
Suppose 4*g = -f + 42, -85 = -5*f + 5*g - 0*g. Let y = f + -9. Suppose -75 + y = -2*o. Solve -5*m + 2*n + o = 0, 0*m + 4*m = 4*n + 32 for m.
5
Let q be 4/(-9 + (21 - 11)). Solve -m + q*k - 9 = 0, 0 = -3*m - m + 4*k for m.
3
Suppose -20 = 2*c - 6*c, -q + 12 = c. Let b be q/(-5)*50/(-2). Solve -b = -4*m + 3*o, 3*m = -2*o + 6 - 1 for m.
5
Let o(j) be the first derivative of -j**2/2 + 9*j - 10. Let h be o(7). Let l be 35/28*(h - -2). Solve -4*b + l*q = -12, -q - 2 = -0*b - b for b.
-2
Suppose 16*v - 27*v = -44. Solve 8 = -4*w + v*x, 2*w - 4*x = -3*w - 10 for w.
-2
Let y(s) = 40*s + 322. Let a be y(-8). Solve r - 14 = 4*b, 4*b - a*r = -3*r - 18 for b.
-4
Suppose 0 = 2*l - 5*n + 8, 3*l - 2*n - 23 = -13. Solve -f = 2*z + f, -4*z - f = l for z.
-2
Let q(g) = g**2 - g + 206. Let z be q(0). Let m = z + -76. Let j be 370/m - (-2)/13. Solve 2*n + 3 = -j*a + 7, -4*a - 5*n + 17 = 0 for a.
-2
Suppose -3*p - 8 = x - 79, -3*p = 2*x - 73. Suppose 5*i - p = -o - 3, 32 = 4*o + 4*i. Suppose 25 = o*d + 5. Solve 0 = -3*j - d*n - 5, 3 = 4*n - n for j.
-3
Suppose 9 = 5*v - 6. Suppose 2*p = -v*p + 10. Solve 5*r = 5*a - 5, -2*a + 0*a - p*r = -18 for a.
5
Let r be (1/2)/(((-30)/(-24))/5). Solve r*b + 4 - 1 = -3*m, 0 = -b + m - 4 for b.
-3
Let u = -2013 - -2015. Solve -u*a + 8 = -6*a + 3*m, 3*m = 2*a + 10 for a.
1
Suppose 0 = 3*j - 1 - 38. Let k(z) = -z**3 + 14*z**2 - 13*z + 8. Let n be k(j). Let x be (6/4)/((-4)/(-8)). Solve 0*i + 4*i = -x*u + 17, -i + 3*u + n = 0 for i.
5
Suppose -398*k - 36 = -410*k. Solve k*w + 2 = r - 6, -r = -4*w - 9 for r.
5
Let r = 1 + 1. Let s(a) = 7*a**2 - 16*a + 10. Let m be s(2). Solve 4*o - r*p = 0, -m*p + 3*p = 2*o + 16 for o.
-2
Let q be (-11)/((-132)/(-90))*-20. Suppose 0 = -112*r + 118*r - q. Solve -h - 3 - 22 = 5*t, -2*h - r = 5*t for h.
0
Let i(o) = -2*o - 7. Let n be i(-3). Let z = 1 - n. Suppose 3*t - 12 = 3*m - 0*t, 0 = m + z*t - 8. Solve -q - 7 = -3*x, 2*x - q - 2 - 1 = m for x.
4
Let a(k) = -k + 4. Let s(l) = 2*l**2 + l + 1. Let u be s(-1). Suppose -x - 8 - u = 0. Let d be a(x). Solve -j - 3*c + 0 = 3, d = 2*j - 4*c for j.
3
Let z be 5 + (-2)/3*(-9 + 126/12). Let x = 41 - 25. Let q(f) = 6*f - 1. Let s be q(3). Solve 2*g = -g + z*u - s, -2*u = -4*g - x for g.
-3
Let j(h) = 2*h + 14. Let a be j(-6). Suppose 2*u - 12 = -a*u. Solve 3*f = u, g + 3*f = -2 + 4 for g.
-1
Suppose -3*n = -5*k - 34, -32 - 34 = -5*n - k. Let j = -11 + n. Solve 5*y + 40 = -5*b, j*y + 8 = -5*b - 17 for b.
-3
Let w = 159 + -159. Solve -4*u = 2*t - u, -t - 5*u = w for t.
0
Let g(v) = 6*v - 42. Let i be g(11). Suppose -2*x = 4*o - i, 2*o + o - 4 = 2*x. Solve n - 2*y + 1 = -3*y, -n = x*y - 2 for n.
-2
Let c = 0 + 3. Let b be (1 - 0)/((-2)/(-34)). Suppose -r + 3*q + b = 0, 3*r + 2*r = 2*q + 33. Solve r*v - c*d = 5, 3*v = 4*v - 4*d - 18 for v.
-2
Suppose -y - 4*y = -80. Suppose 0 = -s + 2 - 0. Suppose 4*j = -s*p + 26, j + 7 = 5*p - 3. Solve 2*i - p = -1, -i + y = 5*f for f.
3
Suppose -20 = -4*q + 4*y - 12, -4*q + 5*y = -7. Solve -z + 2 = -q*s + 4, 6 = -3*z + s for z.
-2
Let u = -281 + 287. Solve 2*w - w + 5*d + 2 = 0, -3*w + u = 3*d for w.
3
Let w(s) = s + 9. Let j be w(4). Suppose j*i - 16*i = -36. Solve n - i = -4*d, -3*d - 4*n - 6 = -15 for d.
3
Suppose -15*z - 6 = -17*z. Let r = 1 - -1. Solve -3*l + 5*q = r*l - 50, -z*l - 5*q = 10 for l.
5
Let t be 74/14 - (-2)/(-7). Suppose 0 = -7*o + 9*o + 3*d - 15, 0 = o - 4*d + 20. Solve o = l - r - 6, t*l + 2*r - 3*r = 18 for l.
3
Suppose -o = 3*b - 41, -6*o + 3*o = -b - 3. Suppose 2*f + 4 = b. Solve -3*s + 27 = 4*m, -f*m + 10 + 22 = 4*s for s.
5
Let z be (-1 + 2)/2 - 29/(-2). Suppose 4*u + z = -1, -3*b + 4*u = -22. Solve -3*a - a = i - 6, -4 = b*i for a.
2
Suppose -4*v + 8 = u - 6*v, -5*v - 10 = 0. Let s(r) = -10*r**2 - 4 - 8*r - 4*r**3 + 17 + 3*r**3. Let d be s(-9). Solve -u*i + 0 = 4*z - 20, -d*z + i = -5 for z.
2
Suppose 0 = -6*m + 3 + 9. Suppose -4 - 2 = -m*i. Solve -p = 5*u + 30, i*u - 5*p = -2*p for u.
-5
Let m be 5*((-108)/20 + 1). Let y = -19 - m. Let l = -22 + 36. Solve z - y*p = 2*p - l, 5*p + 2 = -3*z for z.
-4
Let m be 13/(-2) + 27/18. Suppose 2*k = -0*k + 18. Let b = k + m. Solve -5 = -n - b*x + 3*x, x - 4 = 0 for n.
1
Let m = -2270 - -2274. Let x(y) = y**2 + 5*y - 3. Let s = -15 - -9. Let b be x(s). Solve -m*h - 5*z + 12 = -2*z, b*z + 9 = 3*h for h.
3
Suppose 0 = 3*b - 5*y + 8*y - 18, 5*b + 4*y = 27. Solve 4*r - 28 = 4*p, 0 = -b*r + 5*p + 35 - 4 for r.
2
Let z = 22 + -12. Suppose 0 = -r + z + 4. Let s be (-5)/15 - r/(-6). Solve s*a + 4 = 2*x, -a + 8 = -0*x + 4*x for x.
2
Let s = -1251 + 1255. Solve -4*b - w + 11 = 0, 3*w = -s*b - 0*w + 9 for b.
3
Let j be ((-8)/10)/(1/(-18 + 3)). Suppose 3*b = -6 + j. Solve -p = 3*f + 11, 0 = -4*f - b*p - 2*p - 12 for f.
-4
Let s = -5 + -11. Let k be (41 - s/(-4)) + -3. Let m = -34 + k. Solve 3*d - 2*r - 10 = m, 0*r - 6 = -4*d - r for d.
2
Suppose v = 3*v + 30. Let y be (-143)/(-7) - v/(-35). Solve 0 = 5*a - 5*j + y, -3*j = -0*a + a - 4 for a.
-2
Suppose 5*z - 5 = f + f, -3*f = 0. Let o(d) = 2*d**2 + 3*d - 1. Let k be o(z). Solve 0 = -h - 3*h + k*x + 8, 4*x = -16 for h.
-2
Suppose -5*d + 7*h - 2*h = 175, 0 = d + 2*h + 50. Let j = d + 44. Solve -2 = -3*t + 4*m - 2*m, 5*t - 4*m - j = 0 for t.
0
Let g be 6 + -3 + -2 - (-2 + 2). Let o be 31/2 - (-2)/(g - 5). Solve -4*d + 5 = 3*s, 0 = 2*s + d - 2*d + o for s.
-5
Let p(n) = 2*n**2 - 3*n - 2. Let x be p(-1). Suppose x*q + 2*m = -0*m - 4, 5*q - 3*m = 25. Solve 5*i = q*v + 8, 0*i + 4*i = -2*v + 10 for v.
1
Let q(h) = -2 + 5*h**2 - 2*h**3 - 5*h + 4*h**3 + 0. Let d be q(-3). Solve 0 = -3*r + 4*y + 6, -5*r = d*y - 10 for r.
2
Suppose 3*t - 2*g = 3, t + 3*g - 18 = -2*g. Solve 0 = 4*m - 2*c - t*c - 6, -c = m - 6 for m.
4
Suppose -t - 5*z = -41, -2*z + 3 = -4*t + 57. Suppose -2*a = -5*d + 12, -2*a + a = -5*d + t. Solve f + 1 = -a*s - 16, -5*f = 4*s + 21 for s.
-4
Let m be ((-24)/(-8))/(-2 + 3). Suppose -m - 5 = -j. Suppose -j - 2 = -5*v. Solve q - 3 = -2*z, -5*z - 1 = -q + v for q.
3
Let p(f) = -15*f + 95. Let j be p(6). Solve -1 = -l + 5*h, -j*l + 3*h + 11 - 28 = 0 for l.
-4
Let y(p) = -p**2 - 7*p - 3. Let z be y(-5). Let x(m) = -m + 15. Let a be x(z). Solve -3*j + 28 = -h + a, 4*h - 4*j = -40 for h.
-5
Let s = 16 - 10. Solve -s = -t - 2*y, -4*y + 10 = -3*t + 4*t for t.
2
Let p(s) = s**3 - 2*s**2 - 12*s + 18. Let j be p(4). Solve -6 = 2*o - 2*v, 3*o - v + 3 = j for o.
1
Suppose j - 2*j + 2 = 0. Let d = 3 + -3. Suppose 2*g + 2 - 12 = d. Solve j*b + 5 = 3*a - 7, 0 = -g*a + 10 for b.
-3
Suppose 0 = -11*i - 30*i + 533. Solve z + 3 - 10 = -w, w = -4*z + i for w.
5
Suppose 0 = -v + 3*v - 4, -4*l + 64 = -4*v. Suppose 6 = 8*g - l. Solve 14 = 4*z + g*d - 0*d, -3*z - 4 = -5*d for z.
2
Let w(i) = -65*i - 255. Let d be w(-4). Solve -g = 4*k + 2 + 9, 3*g - 1 = d*k for k.
-2
Let u = -110 - -113. Solve -3*i = u*r, r = -0*r + i + 4 for r.
2
Suppose -d = i + 14 - 20, 0 = 3*i + 4*d - 21. Solve t = 5*k + 10 + 3, -i*k - t = 3 for k.
-2
Let u(q) = -6*q - 22. Let o be u(-4). Let c = -4 - -8. Suppose -3*r + 34 = 5*i, -6*r - c*i = -4*r - 26. Solve -3*x - 5 - 2 = -o*d, 22 = -2*x - r*d for x.
-5
Suppose -32*w - 6 = -35*w. Solve -w*k + p - 4 = 0, -4*k + 17 - 41 = 2*p for k.
-4
Suppose 0 = 4*z - 18 - 18. Suppose z = -4*a - 5*g + 31, -a + g = -10. Solve a - 1 = -3*y + 4*k, -12 = 2*y + k for y.
-5
Let n(s) = s**3 + 8*s**2 - 13*s - 16. Let t be n(-9). Suppose -q + 11*q - t = 0. Solve 4*m + 16 = 4*h, q*h = 4*m + 17 + 1 for m.
-5
Let a(c) = -c**2 - 16*c - 15. Let o be a(-15). Solve 9*f - 4*f + r - 7 = o, 5*f - 4*r - 22 = 0 for f.
2
Suppose -55 = -4*c + 3*i, 0 = c - 3*i + 5*i. Solve v - 2*f - 14 = 0, 5*v + f - 5 = c for v.
4
Let a = -20 - -34. Let i(w) = -5*w**2 - 3*w - 2*w**3 + 4*w**3 + 6*w + 3 - 1. Let m be i(2). Solve -5*r + a - m = 3*b, r - 2 = b for b.
0
Let z(d) = d + 8. Let w be z(-5). Suppose -3*q - w*h = -2*q - 3, -9 = -3*q + 2*h. Let y = 7 + -4. Solve -y*s + 5 = 4*n, -n - 1 = -q*s + 