- z + 8 = -k, -z = 3*b - 17 for b.
4
Let c(g) = -g - 3. Let f(l) = l + 1. Let w(r) = -r. Let s be w(-1). Let x(u) = s*c(u) + 2*f(u). Let o be x(3). Solve 0 = -o*a - 4, 4*q = -0*q + a + 18 for q.
4
Let o = 30 + 1. Suppose -3*z - 5 + 20 = 0. Solve y - 11 = -3*h, 4 + o = 3*h - z*y for h.
5
Suppose 2*i - 15 = 1. Let r be i/(-44) + (-101)/(-11). Solve 0 = 3*c - 2*w + 6, -r = -5*c - 0*w - 3*w for c.
0
Suppose -3*r - 15 = -d, -3 = d + 2*r + 2. Let l = -3 + 5. Solve 5*g = 5*b - 5, d*b + 24 - l = -2*g for g.
-5
Let o(x) = -x**2 - 3*x + 1. Let f be o(-5). Let k be (-6 - f) + (1 - 2). Solve -s - 25 = 5*l, -k*s - 3*s - 20 = 4*l for l.
-5
Suppose -3*m - 4 = -2*m. Let y(p) be the first derivative of p**4/4 + 5*p**3/3 + 3*p**2/2 - 4*p + 1. Let t be y(m). Solve 4*z = t, -4*v - 18 + 2 = 3*z for v.
-4
Let i(w) = 4*w - 16. Let t be i(5). Solve 6 = 3*d - t*y + 14, 5*y = 25 for d.
4
Suppose b - 2*b + 2*x + 10 = 0, 16 = -4*x. Let y be b/(-4)*0/3. Solve v + 4 = -y*v - k, 20 = -5*v - k for v.
-4
Suppose -10*o - 22 = -52. Solve x = -4*n + 9, o*n + 4*x + 5 - 2 = 0 for n.
3
Let r(b) = b**3 + 17*b**2 + 16*b + 3. Let m be r(-16). Solve -4*k = -2*z - k + 4, m*k + 6 = 3*z for z.
2
Let z(q) = -q**2 - 9*q + 3. Let o be z(-8). Let l be 2*-1 + -6 + o. Solve 0 = 5*f + 4*d - 6, 3*d = f - l - 2 for f.
2
Let i(s) = -s**2 - 6*s - 4. Let c be i(-4). Let b = 0 + c. Suppose 20 = b*l - 32. Solve -4*n = -4*z - 8, n + l = -3*z - z for z.
-3
Suppose 8*u = -5*u. Solve -5*j - 4*x - 20 = u, j - x + 4 = -0 for j.
-4
Let t be 27/6 - (-4)/(-8). Solve -5*y + t*y - 16 = 4*r, 3*y = 4*r for r.
-3
Let v be (4/(-3))/(2/(-27)). Let w = -13 + v. Let x = -33 - -59. Solve -4*i + 2*t = 0, -w*t = 3*i - 0*t + x for i.
-2
Suppose l + 24 = 3*l. Solve 0 = -5*s + 4*t + l, 8 = s - t + 3*t for s.
4
Let r be (-10)/(-80) + 15/8. Suppose 5*p = r*z - 24, 0 = -p - 4. Solve -3*k - 23 = 3*f - 8*f, 22 = 5*f - z*k for f.
4
Suppose -2*u - 2*u + 23 = -p, -4*p - 2 = -u. Let h = 10 - u. Suppose s + h*y = 7, -3*s + 16 = 5*y + 2. Solve j - s*c - 21 = 5*j, -c + 9 = -4*j for j.
-3
Let h(v) = -4 + 9*v + 11*v**2 + v**3 - 5 - 22*v. Let f be h(-12). Suppose d - f*d + 8 = 0. Solve -4*i + d = -z, 0*z = 5*i - 5*z - 5 for i.
1
Suppose 0 = z - c - 1, -z - z = c - 8. Solve -3*n = -5*r + 5, 0 = 4*r - 2*n + n + z for r.
-2
Let w be (-2 + -9)*(-1 - 0). Let r be (w/((-44)/(-24)))/2. Solve 4*s + r*q - 10 = -0*q, -5*q = -3*s + 22 for s.
4
Suppose 0 = 2*q - 10 + 2. Let h(m) = -m**2 - 8*m - 7. Let a be h(-5). Let t = 1 - -1. Solve y = 5*p + 23, p = t*p + q*y - a for p.
-4
Let r = -67 + 81. Solve -2*c + 12 = 4*a - r, -5*a = -4*c for c.
5
Let z be (-2 - -3) + 3 - -4. Suppose z = 3*f + 2. Solve 2*l + f*o - 20 = 4*l, -45 = 5*l - 4*o for l.
-5
Suppose 0*x - 3*x = -9. Solve -3*k + 6 = -2*j - 4*k, 2*k - x = -j for j.
-5
Let k be 15/(6/(-2))*-1. Solve -3*w = -4*b + k, -3*b - w - 9 = -8*b for b.
2
Suppose 4*z = -5*w + 34 + 11, -4*w + 18 = 2*z. Let x be (96/z)/(1/5). Solve 0 = -5*y - 4*g + 10 - x, 0 = -y - 3*g - 11 for y.
-2
Let f = 14 + 6. Let d = f - 15. Solve 2*k + 2*t - 17 = -3*t, 0 = 4*k - d*t + 11 for k.
1
Let r(k) = 2*k**2 - 16*k + 5. Let x be r(8). Solve -3*z + v + 14 = -8*z, 2*z + 11 = x*v for z.
-3
Suppose 5*t - 4 = 6. Suppose 4*j = t*k - 8, 5*j + 0*j - 5 = -5*k. Solve -1 = k*f + 5*d, 0 = -4*f - 2*d + 6*d - 16 for f.
-3
Suppose -22 = -s - 10. Suppose 6*d - s = 2*d. Let f be 1 - (-3)/((-9)/d). Solve f = -3*t - t, 0 = 2*n + 3*t for n.
0
Let l(i) = -i**2 - 10*i - 12. Let y(z) = -z**2 - 10*z - 8. Let f be y(-10). Let c be l(f). Solve 2*u = -2*u + 2*m, 5*u + 3 = c*m for u.
1
Suppose 3*b + 5*f = 9, -8*f + 3*f = 0. Suppose 20 = b*n - n. Solve -n = -5*m, -5*m = -3*j - 0*j - 10 for j.
0
Suppose -3*r - 285 = -285. Solve -2*a = 3*l - 7, -1 = 4*a + 3*l - r*l for a.
-4
Suppose -5*i + 0*i = -10. Let f = 2 - i. Let o be 2/4*(f - 0). Solve 7*p = -4*u + 2*p + 28, o = -3*u + 3*p - 6 for u.
2
Let u(w) = 5*w + 5. Let l be u(-1). Solve -5*p = 5*f + 2 + 43, l = -2*f - 3*p - 23 for f.
-4
Let p be (-8 + 3 - -4)*-5. Solve -p*x + 4*w + 7 = 2*w, 3*x = -3*w for x.
1
Let h(l) = 4*l**2 + 4*l - 5. Let z be h(2). Let b = 23 - z. Solve -2*d - 10 = -2*v + 2, 5*v = -b*d + 3 for d.
-3
Let y(r) = -4*r - 2. Let b be y(-1). Suppose 2*f = f + b. Solve n + 1 = 4*c, -n + 5*n + 4 = f*c for n.
-1
Let v(b) = 1 + 13*b + b**2 - 9 - 4*b + 1. Let n be v(-10). Suppose n*g = 4*g. Solve -4*o - 4 = -g*l - 4*l, -3*l + 4*o + 2 = 0 for l.
2
Suppose -4*u + 2*u = -3*i - 7, -2*u + 11 = i. Let d be (-2)/(i*2/(-6)). Solve o + 11 = d*o + n, o - 3*n = -1 for o.
2
Suppose -2 = y - 2*y + o, -10 = 2*y + 5*o. Solve y = -4*q + 3*l + l - 8, q + 5*l = -2 for q.
-2
Suppose -5*d - 3*a + 32 = 0, 5*d - 3*a - 40 = 2*a. Suppose c + 3 - 2 = 0. Let l be (-4*c/1)/2. Solve l*h - d = -t, 2*h - 4 = 2*t - 12 for t.
5
Let g = -16 + 19. Solve 3*q = -0*h + h - 6, q = -g for h.
-3
Suppose 0*w + 3*j = 2*w - 15, -5*j = -2*w + 25. Let t = 1 + w. Let a be ((-3)/9)/(2/(-78)). Solve 0 = 5*g - 2*r + a, 2*r - 4 = -5*g - t for g.
-1
Suppose -5*n = -2*i - 11, -3*n - 4*i + 0*i = -17. Solve -k + 4*h + 5 = 0, n*k + k - 20 = -h for k.
5
Suppose 27 = 5*x + 7. Let p(u) = -u**3 - 2*u - 10*u**2 - 4*u + 3 - x*u. Let i be p(-9). Solve -5*m + 2*q - i = 0, -q - 4*q - 3 = 4*m for m.
-2
Let t(a) = 3*a - 9. Let k be t(10). Solve 27 + 5 = -4*j - 5*s, -3*j - k = 3*s for j.
-3
Let h be (3 - (4 + -3)) + 4. Let i = -4 + h. Solve 0 = -g + 4*b + 1, i*g + 5*b = -3*g + 5 for g.
1
Let k be 3/(-6)*(0 - 12). Let t be ((-3)/k)/(4/(-40)). Solve 0 = 4*m + t*w - 2 + 29, 0 = m - 5*w - 12 for m.
-3
Let s(i) be the first derivative of i**3/3 + i**2 + 2*i - 2. Let j be s(5). Suppose -3*f + 124 - j = 0. Solve w + 4 - f = -5*c, -w = 3*c - 15 for c.
5
Suppose -5*s - 8 = 2. Let u = s - -9. Solve -3*n + 12 = 2*h - u*n, -20 = -5*h + 5*n for h.
2
Suppose 12 = -3*j - j. Let x be -2 + (-21)/j - 0. Solve 2*i = x*t + 13, -4*t = 9 + 3 for i.
-1
Let j be ((-10)/2 + 1)*-1. Let q = 352 - 348. Solve 5*d = 2*s - j, 5 = q*s + 2*d + 21 for s.
-3
Suppose 2*c = c + 4*i + 9, 3*c + 4*i = 107. Solve -5*m + 2*x = -15 - 2, -5*m - x = -c for m.
5
Let l(j) = -j + 4. Let m be l(0). Let n be 4 - 1 - (2 + -1). Solve -3*i + m*r + 9 = 0, 0 = n*i + 4*r + 2 + 12 for i.
-1
Let n = 1 - 1. Let w(d) be the first derivative of -d**4/4 - 2*d**3/3 - d**2/2 + 2*d - 3. Let b be w(-2). Solve b = -j - n*j - p, 0 = j - 4*p - 21 for j.
1
Let g = 30 + -30. Solve v + 11 = -4*r, g*v - 4*v - 2*r = -12 for v.
5
Let i = -5 - -3. Let q be 2*(i + 1) - -3. Solve -2*l - q = 5*r + 7, -2*r - 8 = 2*l for r.
0
Let c = 90 - 86. Solve 0 = -c*x - 1 - 7, -b + 2*x + 8 = 0 for b.
4
Let u(x) = 2*x**2 + 2 - 4*x - 3 - x**2. Let j be u(-3). Suppose 4*z - j = -0*f - 4*f, -4*z - 15 = -3*f. Solve 2*m - 4*l = -0*m - 16, 0 = -f*m + 2*l for m.
2
Suppose -w = 4*w - 15. Suppose 0 = w*j - j. Suppose d - 4*d - 4*f - 5 = j, 4*d - 5*f - 45 = 0. Solve -l = -c + 9, -3*c = d*l + c for l.
-4
Let q(f) = f**2 + 10*f - 7. Let u be q(-11). Solve -3*x - z = -x + 4, u*x = z + 4 for x.
0
Let k = -8 - -5. Let v = 2 - k. Solve -g = x, -v*g - 1 - 9 = -5*x for x.
1
Let m = -1 - -1. Let h = -6 + 28. Solve m = g - 3, -2*f - h = 3*f - 4*g for f.
-2
Suppose 0 = -2*v - 8 + 46. Let y = -5 + 9. Suppose q + 4*r = 15, -4*q = y*r - 5 - v. Solve 0 = -o - o - q*h + 2, 0 = 3*o - h - 3 for o.
1
Let a be 2/(-7) + 111/21. Let m = 16 + -11. Suppose 21 - 1 = m*w. Solve w*j + 2*z = 2 + 8, 0 = 5*j + a*z - 5 for j.
4
Let t(m) = m**3 + 7*m**2 + 5*m - 6. Let x be t(-6). Let h be -5*1/(-1) + x. Solve -2*k - h*r + 18 = 0, -r - 4 = -3*r for k.
4
Let x be 4/16*2*14. Suppose -3*f = -5 - x. Solve -3 = -3*b - 5*s, -4*b - 2*s + f = 2*s for b.
1
Let f = -12 + 21. Suppose 3*m + 0*m = f. Solve -5*h + 17 + 3 = 5*w, 0 = -m*h - 5*w + 14 for h.
3
Suppose 0 = 6*v - 33 + 3. Solve -2*d + 3*d = -5*k - 27, v*k = -3*d - 31 for k.
-5
Suppose 2*x = 6, 5*q = -0*x - x + 83. Let n = q + -13. Solve 4*j = 5*d + 5, -4*d = -n*j - d for j.
-5
Let b = 22 + -22. Solve 4*m - 16 = b, -8 = 5*z + 5*m - 33 for z.
1
Let n = -21 - -30. Suppose 2*v = -v - n. Let m be ((2 - -1) + v)/(-2). Solve m = -y + r + 5, 0 = -9*y + 4*y + r + 5 for y.
0
Suppose 4*x - 15 = -x. Let u = 73 - 73. Suppose u = -x*q + 4*q. Solve q = v + 4, -4*v - 16 = -4*m - m for m.
0
Let x(g) = -3*g - 8. Let c = 8 - 14. Let i be x(c). Suppose 2*q + 0*q = -2*k + i, 5 