 16 = -s*d, -3*d - 17 = r for d.
-5
Let w be (-1)/(2/(-1) - -3). Let i = w + 3. Solve 0 = -4*b - i*o + 4, 0*o - 2 = b + 2*o for b.
2
Suppose 0 = -z - 0*z. Let d = 0 - z. Solve 0 = 4*x + 3*m - 15, 0 = -2*x - 2*m - d + 8 for x.
3
Let v(w) = -w**3 + 5*w**2 + 2*w - 6. Let r be v(5). Suppose -48 = -2*u + r. Solve u = 4*j - 4*a - a, 2*a + 12 = 2*j for j.
4
Suppose -2*d = 2*h - 10, -13 + 3 = h - 4*d. Solve -h*p + 5*u = 21, 4*u - 11 = p + 7 for p.
2
Let w be 1/4 + 33/(-4). Let n(v) = -v**3 - 8*v**2 - 2*v - 12. Let f be n(w). Suppose -c + 0 = -2. Solve 1 = -5*x - c*h - 6, f*h - 16 = 0 for x.
-3
Let z(b) = b**2 + 5*b - 3. Let h be z(-4). Let i be (-145)/(-7) - 2/h. Suppose 1 = -s + i. Solve 0*a - 2*a = 4*y - 8, -5*a = -2*y - s for a.
4
Suppose 4*n + 13 = -5*j, 3*n = -0*j - 5*j - 16. Suppose 0 = -4*p + 16, 0 = -b + 6*b + 3*p - 12. Solve n*a + 6 = -2*u, 3*u - 3*a - 6 = -b*u for u.
0
Suppose 2*m - 9*w = -4*w + 9, 3*m - 3*w = 36. Let u = m - 13. Let l be (6/(-5))/(3/(-10)). Solve 2 = -l*j + 5*q - 7, -u = 4*j - 4*q for j.
4
Let q(g) = -g + 10. Let y be q(8). Suppose -9 + 53 = 4*s. Suppose -13 = -f + 4*p, -f - y*p + s = -5*p. Solve 3*z - 5*l = -0*l + 9, 5*z - 5*l = f for z.
-2
Suppose -x + 17 = 5*y, -4*x + 3*x - 3 = 0. Let l(j) = j**2 + j - 2. Let r be l(0). Let k be 171/6 + r/4. Solve -4*d + y*o = -k, 7*d - 2*d - 27 = o for d.
5
Let p(s) = 4*s**3 + s**2 - s + 1. Suppose v - 3*v + c - 12 = 0, 0 = 5*c. Let n = -5 - v. Let g be p(n). Solve -g*w = -k + 17, 7*k - 2*k = w + 13 for w.
-3
Let j = -4 + 7. Solve 4*q + 4*t + 5 = -3, 4 = j*q - 2*t for q.
0
Let h be (2 + 0)*1 - -2. Suppose h*x - 11 = 1. Solve -f + 3*t - 2*t = -3, -10 = -2*f + x*t for f.
-1
Suppose 0 = -2*v - v - 5*l - 9, 0 = -v - 3*l - 7. Suppose 0 = 3*t + 2*a + 1, 5 = 3*t + v*t + 2*a. Solve -23 = 4*p - 3*r, t*p - r - 2*r = -21 for p.
-2
Suppose -5*v - 3*o - 17 = 0, -v = 3*o + 2*o - 1. Let k = v - -8. Solve -3*y = -2*r - 7, -r - k + 2 = -y for y.
3
Suppose 0 = 4*n - 5*n + 2*m - 7, -3*m + 30 = 5*n. Let x be (n + -6)*20/(-3). Let d be (10/(-25))/((-2)/x). Solve -3*g + 3*s - 10 = 11, -3*s = 2*g + d for g.
-5
Suppose 0 = 4*s - t - 15, s - 6 = t - 3*t. Solve 0 = -f - q - 2, -4 = 3*f + s*q - 2*q for f.
0
Suppose w = 4*a - 16, -3*a + 14 = -2*w + 2. Let u(c) = -c - 5. Let d be u(-6). Let i be d + (-6)/(-3) - w. Solve s - 2*s = -i*l + 7, 4*l + 3*s = -8 for l.
1
Let m be (-1)/(-2) + (9/6 - 0). Solve 12 = 2*b + m*b - 4*a, 6 = b + 2*a for b.
4
Let w be -5 + 4 + 6 + -2. Solve -4*a - 4*k = 4, -4*k = -w*a - 3 + 14 for a.
1
Let g = 36 - 20. Solve -3*k - g = l, -16 = -4*l + 3*k - 5 for l.
-1
Let a(c) = c + 1. Let x be a(0). Let z = 4 - x. Suppose 4*i = -5*l - 4, -2*l - i - 2 = -1. Solve -z*p + 5*h - 21 = -l*h, h = 4*p + 11 for p.
-2
Let j(w) = 19*w**2 + 2*w + 1. Let h be j(-1). Let o = h - 26. Let k = -5 - o. Solve -l - 3*l + 6 = -2*v, -19 = -k*v - l for v.
5
Let b be (3/4)/(2/16). Suppose 0 = 5*i - 3*i + b. Let t(m) = -4*m - 2. Let s be t(i). Solve k = 3*k - 2*p + s, -4*k - 4*p + 4 = 0 for k.
-2
Let a = -1 - -6. Suppose -6*f - 8 = 2*n - 3*f, -a*f = 20. Let g = -10 + 13. Solve -l - 10 = 3*r, -g*l - r + n*r = 0 for l.
-1
Let x(z) = 2*z + 1 + 46*z**2 - 2*z - 2*z. Let v be x(1). Suppose -5*q + v = -0*q. Solve -3*h = q, -4*n + 0*h = h + 23 for n.
-5
Suppose 12 = s + 2*s. Let i = -8 - -10. Suppose -5 = -3*f - i*f. Solve -3*d + 4*q + f = -0, -5*d + q - s = 0 for d.
-1
Suppose -k - 5*x + 4 = -5*k, -5*x + 28 = 2*k. Suppose -3*y + 3*c = 0, -y + 2*y + 12 = k*c. Let q = 6 + -4. Solve 3 = q*p + d, 5*d + 17 = 4*p + y for p.
2
Let l(s) = -s**3 + 4*s - 4. Let h be l(-4). Suppose 2*r = h + 14. Solve 19 = -3*y - 4*v + 2*v, 0 = 3*y + 4*v + r for y.
-3
Let k(z) be the third derivative of -z**6/120 - z**5/12 - z**4/6 - z**2. Let v be k(-4). Solve -5*t + v = 2*c - 3, -4*t = -3*c - 7 for t.
1
Let n be ((-14)/8)/(1/4). Let o = 11 + n. Let i be 220/14 - (-14)/49. Solve 6*z - 2*z - f = i, -o*f = 2*z + 10 for z.
3
Let a(l) = -l**2 + 5*l - 1. Let g be a(2). Solve g*m = -2*v - 25, 3*v - 4*m + 3 = -0 for v.
-5
Suppose 0 = u - 4*u + 18. Let q be u/(-9) + (-82)/(-6). Solve -q = t + 3*s, 3*s + 21 = -t + 4*t for t.
2
Let w be 4/2 + 1 - -1. Solve -2*y - 3 + 4 = -o, 0 = 3*o + w*y - 17 for o.
3
Let t(l) = l**3 - 4*l**2 + l - 1. Let x be t(4). Suppose r - 6 = 9. Solve 3*w + r = 5*m, m - x = w - 0*w for w.
0
Suppose -7*y + 2*y + 15 = 0. Suppose 0 = -4*q + 3*k + 2*k - 12, -y*q - k + 10 = 0. Solve -4*j - 5*o = -10, -q*j - 2*o = -1 - 3 for j.
0
Suppose y + y = 40. Suppose -3*r + y = 2*r. Suppose -4*j + o = r*o - 71, -3*j + 54 = 3*o. Solve 12 = 3*f - 7*f + 2*w, f + j = -3*w for f.
-5
Let o(g) = g**2 + 3*g + 3. Suppose 3*d + 18 + 9 = 3*n, n - 19 = 3*d. Let m = 3 + d. Let t be o(m). Solve 5*k - 5*f = -45, -2*f + 3 = 2*k + t for k.
-4
Let x = -6 - -4. Let n be ((-28)/(-6))/(x/(-6)). Let r be (-9)/(-15) - n/(-10). Solve -5*k - 1 = -4*c, 0 = 4*k + r*c - 11 - 9 for k.
3
Let j(m) be the third derivative of -m**4/24 - 7*m**3/6 - m**2. Let h be j(-6). Let s be -8*(0 + h/2). Solve -1 = -3*d - 5*k + 12, -s*k = 5*d for d.
-4
Let s(g) = g**2 + g - 2. Let r be s(4). Let q = r - 11. Suppose -2*a - 3*j = -q*j - 54, 4*a = -5*j + 69. Solve -x - 6 = -p - 1, 0 = -4*p + 5*x + a for p.
4
Let y be (-332)/(-36) + 6/(-27). Let t(f) = -f - 4. Let q be t(-2). Let u = q + y. Solve v = -2*p - 6, -4*p - 5 - u = -3*v for v.
0
Let j(i) = -2*i**2 - 2. Let x be j(-2). Let o be (1*-6)/(4/x). Suppose 4*b + 5*p - 10 - 35 = 0, 2*b + 5*p - 35 = 0. Solve -5*l = 3*q, 5*q + o = b*l + 55 for l.
-3
Let f = -5 + 8. Suppose -f*r - 3 = -v + 3, -2*v - 3*r - 6 = 0. Let n be v + 0 + 1 + 3. Solve q + 2*j - 3*j - 6 = 0, n*q - 6 = -5*j for q.
4
Let i be (-8)/(-6)*(4 - (-20)/(-8)). Solve -4*p = -3*z - 3 - 5, -i*p = z - 14 for z.
4
Let y = 40 - 38. Solve -2*r + l + 7 = -0*l, 5*l = y*r - 11 for r.
3
Let s(v) = 3*v + 0 + 2 - 2*v. Let g be s(2). Solve 0 = -4*p + 3*k + 31, 5*p = g*k - k + 35 for p.
4
Let s be 15/(-10) + (-26)/(-4). Solve s*m - 35 + 1 = 3*x, -5*m + x = -28 for m.
5
Let w = 26 + -14. Suppose 18 = 3*j - w. Suppose 4*f - 6 = j. Solve 0 = 2*n + 2*y + f, 0 = 4*y + 9 + 7 for n.
2
Suppose 0 = -7*v + 5 + 30. Solve 2*g = v*x + 17, 15 = -0*x - 3*x for g.
-4
Let b(k) = k**3 + 6*k**2 - k - 2. Let u be b(-6). Solve u*z - 15 = -2*y - 1, 0 = 4*z - 12 for y.
1
Let b be ((-3)/9*0)/1. Solve n + 3 = 0, b*q + 3*q + 6 = -4*n for q.
2
Suppose 12*s - 4*s - 24 = 0. Solve -3*o - 2*k + 17 = 0, 0 = -4*o + s*o - 5*k + 23 for o.
3
Let c be (-267)/(-39) - (-6)/39. Let g = 7 - c. Solve 5*j = -3*x + 10, g = -x - 6*j + j for x.
5
Let g(t) = 6*t**3 - t**2 - 3*t + 2. Suppose 2 + 6 = 4*x. Let w be g(x). Solve h = 4*y - 15, 4*y = -2*h + w - 10 for y.
5
Let f(w) = -w. Let t be f(0). Let v(r) = -r**3 - r**2 + 4. Let l be v(t). Let o = -67 - -70. Solve -o = l*h + 2*x - x, -h - 2 = -x for h.
-1
Suppose 0 = w + 5*x - 24 - 0, -5*w = -x - 16. Let j be 55/w + (-1)/(-4). Let i(k) = -2*k + 1. Let y be i(-2). Solve -y*q - 3*d - j = 0, 4*q + q = 3*d + 4 for q.
-1
Let a be -1*1 + (-5 - -15). Suppose 0 = 3*x + 15 + a. Let c(r) = -r**2 - 10*r - 11. Let y be c(x). Solve -5*p = -y*s + 25, -3*p - 1 = 5 for s.
3
Suppose -7*y = -21*y + 56. Solve -5*t + 2*o + o = 12, -o = -y*t - 11 for t.
-3
Let o(c) = 4*c**3 + c**2. Let m be o(-1). Let b(j) = -15*j**3 - j**2 + j + 1. Let n be b(-1). Let p = n - m. Solve 0 = -2*u + t + 3*t - 14, -u = -4*t + p for u.
3
Let v be 16/3 - (-2)/(-6). Solve 4*r + 7 = v*o - 5, 5*r = -2*o - 15 for r.
-3
Let v(u) = u**3 + 3*u**2 - 2*u - 3. Let y be v(-3). Solve i + y*f - 14 = 0, -3*f + 2 = i - 6*i for i.
2
Let y(h) be the third derivative of h**5/30 - h**4/12 - h**3/6 - 5*h**2. Let k be y(2). Suppose 5*m - 8 = 3*m. Solve -z + m*d = -1, k*z - 6 + 3 = 3*d for z.
1
Let p(w) = -w. Let j be p(-2). Let u = -2 - -6. Suppose 0*l - l = -u. Solve -5 = 5*g - l*b, 0*b = 2*g + 5*b + j for g.
-1
Suppose 0 = 10*h + 2*h - 7*h. Solve h = -4*w + 15 + 1, -2*w = -d - 7 for d.
1
Let w = 9 - -1. Suppose 7*z - 4*z = 6. Solve z*a - a = -2*b - w, b + 4*a + 19 = 0 for b.
-3
Suppose i - 2*i = 0. Solve 3*q - 16 = 4*n, -n = -i*n - 4*q + 4 for n.
-4
Let t be 6/(-27) + -26*(-5)/18. Solve 0 = -4*v - 2*d - 14, 8 = -v + 2*d - t*d for v.
-3
Let r be 8*-1*6/(-8). Suppose -5*j = -5*d, -2*d - 6 = j + r. Let l be 0 - 0/(d/(-2)). Solve 4*n + l = 3*x + 10, 5*n = -3*x + 26 