 - 5*z = b for z.
0
Suppose -71*o + 56 = -67*o. Solve 3*d - 2*g + 3 + 5 = 0, 2*d = -3*g - o for d.
-4
Suppose 3*m + 4*m = 301. Let a = 66 - m. Solve 0*d + 2 = d - 3*b, 5*d = 2*b + a for d.
5
Let u(j) be the first derivative of -j**4/4 - j**3 + 13*j**2/2 - 7*j - 32. Let g be u(-6). Solve 0*w - 2*w - 4 = 0, -w + g = -5*d for d.
-5
Suppose 5*a - 65 = -0*a. Suppose -5*q + 0 = -30. Suppose -2 = q*i - 7*i. Solve -o + 0*z = -i*z + 7, 2*z - a = -o for o.
3
Let i(f) = f**2 + 9*f + 12. Let y be i(-9). Suppose 6*c - 90*c = -168. Solve 4*h + 3*n - 3 - 18 = 0, c*h = -2*n + y for h.
3
Let h(m) = m**3 + 8*m**2 + 6*m - 2. Let j be h(-7). Suppose -7*z - 8 = -8*z. Let q be 8*(3 - z/4). Solve -f + q = -j*c, -c + 1 + 3 = -3*f for f.
-2
Let j(h) = 2*h - 2. Let i be j(4). Solve 2*r + 4*f + 20 = 0, 0 = r + i*f - f + 25 for r.
0
Let k(s) = s + 3. Let x be k(-4). Let w = x + 6. Suppose -5*t = -5*a, -2*a + 6*a = -t + 15. Solve -3*g - 2*g + 12 = -4*p, p = -w*g - a for g.
0
Suppose -4*l = x - 20, 0 = -5*l + 12 + 3. Solve 2*w = w + 5*b - 16, 4*w = 2*b + x for w.
4
Let a be (2 - 1)*0 + 2. Suppose 0 = 2*p + 9 - 63. Suppose -5*i + 23 = -p. Solve 2*c + h - i = -3*h, 0 = a*c - h - 5 for c.
3
Let j be 9/(18/(-4)) - -10. Suppose 0 = j*o - 0*o. Suppose 4*k - i = 1, 2*k + 3*i + i + 4 = o. Solve t = v, -4*v + 3*t - t = k for v.
0
Suppose 7*i - 56 = -0*i. Solve 0 = -5*n - x - x + i, -2*n = -5*x + 20 for n.
0
Let a(m) = 6*m + 38. Let s be a(-6). Solve s*n + 4*u - 9 = -25, 0 = -4*n + 2*u + 18 for n.
2
Let b = -294 - -299. Solve -2 = b*q - 4*x - 3, 3*q = -3*x - 21 for q.
-3
Let x be -17 + 16 - (-2 + (-1)/(-1)). Solve 3*q = 2*f - x - 10, 12 = -2*q + 4*f for q.
-2
Let p be 1 + ((-4)/(-3))/(216/162). Suppose 3*y + a + 4*a = 0, 0 = -3*a. Solve p*j + 5*q + 3 = 0, -3*j - q - 7 - 4 = y for j.
-4
Let y = 74 + -37. Suppose 3*t + 3 - 9 = 0. Suppose -6 = 2*r + 4*o, -4 = 5*r + 2*o - 13. Solve -5*q + r*v = 7*v + y, -5*q = -t*v + 19 for q.
-5
Suppose -5*w + 2*w + 27 = 0. Let y = -2 - -4. Solve -3*o = -5*s + w, -o = -y*o - s - 3 for o.
-3
Let d = -764 - -767. Solve x = 2*x - 4*n - 11, -2*x + d*n + 7 = 0 for x.
-1
Suppose 4 = -4*p - 2*k - 12, 4*k - 46 = 5*p. Let a = p - 2. Let l be ((-4)/a)/((-4)/(-40)). Solve -4*c + 8 = -3*n - 0, -l*c + 15 = -5*n for n.
-4
Suppose 0 = -18*t + 22 + 14. Solve -30 = 3*o - 3*x, 3*o + x = t - 12 for o.
-5
Suppose 4*t = 4*y - 8, 2*t + 17 = 5*y - 2. Solve 4*s - 9 = t*l, -3*s + l + 8 = -0*l for s.
3
Suppose 0*d - 84 = 4*d. Let r = 15 - d. Solve 0 = 4*h - 5*y + r, -y + 3 = -1 for h.
-4
Suppose 2*c - 16 = j, 2*c - 4*j + 26 = 4*c. Suppose 8*n + 19 + 37 = 0. Let t = n + c. Solve 3*m = a - 16, -2*m - 18 = t*a + 2*m for a.
1
Suppose 579*p - 15 = 574*p. Solve 4*t - p*t + 2*x + 1 = 0, -31 = -5*t + 2*x for t.
5
Let i(r) = -r**3 - 2*r + 45. Let v be i(0). Suppose 19 = -2*f + v. Suppose 0 = -f*y + 10*y. Solve b + 2*c - 4 = 5*b, -2*b + 4*c - 14 = y for b.
1
Let s(l) = -l**3 + 5*l**2 + 6*l - 9. Suppose -20 = -11*z + 7*z. Let u be s(z). Solve 0*b - 2*b - 4 = -2*v, -2*v - 3*b - u = 0 for v.
-3
Let t = 48 - 45. Solve t = -5*m + x, 3*m + 3 = 5*x - 12 for m.
0
Suppose 14*c - t - 52 = 9*c, c - 3*t - 16 = 0. Solve 0*d = 4*d - a + 7, 0 = 3*d + 4*a + c for d.
-2
Let u be 105/(-14)*(-64)/80. Let n be ((-1)/2 + 0)*-6. Suppose 0 = 4*a - 3*a - n. Solve l + 3 = -2*z + u*l, -l = a*z + 13 for z.
-4
Let f be (-4)/(-5) - (-294)/(-30). Let p be (-24)/f*6/8. Solve -8 = -2*y + 4*t, 11 = -p*y + 4*y - 5*t for y.
-2
Suppose -13*n = -2*n - 55. Solve -4*v - r = n, r + 2 = -r for v.
-1
Let k = -231 + 236. Solve 0 = -5*b - k*y - 25, -3*b - 3 - 5 = -4*y for b.
-4
Suppose -4*u = -3*x + 8, -2*x - 4*u + 0 - 8 = 0. Let o be (x - 1)*(-1 + -5). Let v be ((-16)/(-6))/(o/9). Solve 3*f - 3*q = -v - 5, -4*f = -2*q + 4 for f.
1
Suppose q + y = -0 + 5, 5*q - 61 = 4*y. Let u be (-1)/(4 + (-39)/q). Solve 4*i + 12 = -w, -4*w + 8 = -5*w - u*i for w.
4
Suppose 0 = r - 0*r - 1. Let z be (-1)/(-3*r/12). Solve 2*w - 4*w + z*p = 0, 3*w - 2*p = 8 for w.
4
Let l = -203 - -208. Solve -2*d + 2*t - t = l, 0 = -d + 3*t for d.
-3
Let i(d) = 4*d**3 + 2*d - 1. Let y be i(1). Suppose 0 = -304*v + 709 + 145 + 666. Solve 0*f + 12 = 3*r - 4*f, -v*r - y*f = -20 for r.
4
Suppose 85 = 4*v + v. Let n = 19 - v. Solve 2 = -2*y, -a + 3*y - n = -0 for a.
-5
Let i(c) = -2*c**2 + 25*c + 14. Let m be i(13). Let q be (3 + 0)/(4/8 + m). Solve 6*d - 15 = q*d + 3*r, 5*d - 2*r - 17 = 0 for d.
3
Let h be (-57)/76 - (-111)/4. Let m = h - 20. Let r = 18 + m. Solve -7 = 4*g + g - 4*k, -5*g - 5*k = r for g.
-3
Suppose -3*f = -3 - 6. Suppose 75 = f*d + 2*d. Suppose 2*p = -3*w + 2, -d - 22 = -3*w + 5*p. Solve -w*y - t = 25, 0*t = 5*y - 4*t + 5 for y.
-5
Suppose 34*o + 3 - 71 = 0. Solve 0*c + 3*c + 10 = -5*y, -2*c = -y - o for c.
0
Let s(l) = 179*l**2 + 2*l - 1. Let x be s(1). Suppose 36 = -3*o + x. Let u be (2/(-4))/((-6)/o). Solve 0 = -4*z + u*f + f + 7, -5*z - 5*f + 20 = 0 for z.
3
Let m = -835 + 840. Solve 0 = 2*g + 6, 0 = -0*k + m*k - 2*g - 31 for k.
5
Suppose -b = -8*b. Solve -5*t - 3 = 2*a, -2*a + 0*t + 4*t - 12 = b for a.
-4
Let g be (-32)/(-4)*(1 - -1). Let n = g + -13. Solve 0*k = -k - n*d - 14, -k - 19 = 4*d for k.
1
Suppose -11*p + g - 11 = -14*p, p + 3*g = 17. Solve -3*s + p*u = -s, 0 = -s - u - 4 for s.
-2
Let u(s) = s + 6. Let n be 392/20 + 4/10. Suppose 0 = -4*v - w - n, 0 = -v - 5*w + 10 - 34. Let o be u(v). Solve 2*d - o*f + 7 = 3*d, d = -f + 2 for d.
-3
Let n = 13 - 15. Let v = 16 + n. Let g(i) = i**3 - 13*i**2 - 12*i - 25. Let f be g(14). Solve 5*z = 3*z - 2*q - v, 5*q = f*z - 11 for z.
-3
Let c = 206 + -202. Solve -5*n + r = 26, -3 - 1 = -c*r for n.
-5
Suppose -5*w - 445 = s, w = -2*w + 2*s - 280. Let j = 92 + w. Solve -j*c - 2*c + 2*q - 16 = 0, 5*c + 3*q - 2 = 0 for c.
-2
Let k be -1*69 + (-10 - -8). Let r = -69 - k. Solve 2*j = o + 2*o + 13, j = r*o + 9 for o.
-5
Suppose 9*w - 614 = 394. Suppose -5*a = w - 132. Solve -4*t = -g - 11, 5 = -a*t + 2*t - 3*g for t.
2
Let h(z) = z**3 - 9*z**2 + 9*z - 14. Let v be h(8). Let p be (-18)/(v + 4 + 0). Solve -p = -3*u, -u + 15 = -3*t + 4*u for t.
0
Suppose 2*s + s - 30 = 0. Suppose 0 = 4*y + u - 15, -4*u = -0*y + 3*y - 21. Solve j - y*j + g = s, 0 = 5*g for j.
-5
Let u be 1*-9*6/(36/(-10)). Solve 5*q - 5*w = 0, 6*q + u = q + 2*w for q.
-5
Let b be (-135)/(-20) + (-2)/(-8). Solve -a - 7 = j, 8*j - 3*a - 13 = b*j for j.
-2
Let i(o) = -18*o - 429. Let k be i(-24). Solve 4*j = 3*c + 8, -k*j = -2*c - 2*c - 6 for c.
0
Let z(j) be the second derivative of 0*j**3 - 1/2*j**4 - 2*j + 0 + 0*j**2 - 1/20*j**5. Let c be z(-6). Solve -w + t - 9 = 0, c = 2*w + t + 2 + 1 for w.
-4
Suppose -3*b = 12, -33*b + 15 = -m - 38*b. Solve -12 = -s + 3*s + 2*u, -2*s - m*u = 18 for s.
-4
Let v(o) = -3*o**2 - 49*o - 8. Let l be v(-16). Suppose 0 = -2*x + a - 0*a + 14, 0 = -2*x + 4*a + 20. Solve -4*g + l = w - 1, g - x = -w for w.
5
Let l = -1 + 5. Suppose 3*x = 8*x. Suppose 4*k - 13 = -4*y + 15, x = 3*k - 4*y + 7. Solve k*s + m = -12, -s - s - l = 2*m for s.
-5
Suppose -4 = r - 5*m, -5*r + 3*m + 46 = -0*m. Suppose 3*s - 20 + r = 0. Solve s*l + 13 = -4*h, -20 = 7*h - 2*h for l.
1
Let b(l) = -l. Let v be b(-5). Suppose 30*y + 12 = 36*y. Solve -a + 2 = 2*j + 14, -y*a = -v*j - 21 for j.
-5
Suppose -4*f = -31 + 15. Suppose 26*z + f = 27*z. Solve -12 = 5*w - z*s, w + s = 3*s for w.
-4
Let m = 116 - 126. Let b be (m/(-6) - 1/(-3))/2. Solve q - b = t, 3*t = -5*q + 9 - 4 for q.
1
Let x(y) = -2*y - 2. Let i(c) = c + 3. Let q be i(3). Let r = q + -9. Let f be x(r). Solve -3*l + 6 = 2*z, 2*l - f*l - 4 = 4*z for z.
-3
Let k = -662 - -672. Solve g - 5 = 5*y, -2*g - y = 3*y - k for g.
5
Let x(o) = 4*o**2 - 16*o + 3. Let u be x(4). Solve -i = -3*y + 4*i + u, -5*i + 5 = -5*y for y.
-4
Suppose -137 = -2*s - 133. Solve 3*r + 3 = -3*j, 4*r - j - 10 = s*r for r.
3
Let n = 303 - 298. Solve n*s - 13 + 3 = -5*m, 4 = 2*s - 2*m for s.
2
Let n be 9/(-2)*8/(-3). Suppose -7*d = -n*d. Solve d = -a - 2*c - 3, -4*c = -3*c for a.
-3
Let l(r) = r**3 + 6*r**2 - 8*r + 14. Let u be l(-7). Let v = u - 17. Solve p + v*p - 7 = 2*x, -x - p = 0 for x.
-1
Let s(z) = z**2 + 14*z - 11. Let c be s(-15). Solve -3*y + 7*t + 12 = c*t, -20 = -3*y - 5*t for y.
5
Let j = 0 - -3. Let r be -5*j/9*-3. Let d be 5 + 1 + -2 + 0 + 0. Solve 2*k - d = -k + o, -r*o - 20 = 4*k for k.
0
Let a = -28 