v = 5, -3*l - y*v = 3 for l.
-1
Let r(y) = -y - 14. Let j be r(-11). Let p be j/(1 - (-7)/(-4)). Solve 0*k - 14 = k - 4*c, 8 = 2*k + p*c for k.
-2
Let n = 2 + 2. Suppose 0 = -5*x - 10, 0 = -0*z - 2*z - n*x + 2. Solve -s - 5*v + 3 = 0, -3*s + z*v + 1 = -8 for s.
3
Let n = -9 + 18. Suppose 36 = -4*o - 4*w, -8 = o - 3*w + 13. Let h = 30 + o. Solve -f + 3*s + n + 1 = 0, -3*f = 3*s + h for f.
-2
Let v be (-39)/2*(-12)/18. Let p = -10 + v. Solve 0 = o - p*f + 3 + 1, -5*f = -5*o - 10 for o.
-1
Let w be 2/7 - 130/(-35). Suppose -8 = -3*j - j. Solve 4*x = w*h - 28, -5*x = h + 13 - j for h.
4
Suppose -4*w + 8 = -g, 5*g - 26 = -4*w + 6. Solve -8 = -2*t, 3*d + 2 - 8 = -w*t for d.
-2
Let i(y) = y - 4. Let p = 12 + -8. Suppose -p - 14 = -3*z. Let j be i(z). Solve 5*l = j*a, a = -4*a + 4*l - 17 for a.
-5
Let t = -80 - -82. Suppose 3*l - 4 = 2*l. Solve 11 = -l*z - h, 6*h - 28 = t*z + 2*h for z.
-4
Let p be (0 + 2/(-2))*-23. Let l be (16/(-6))/((-1)/(-6)). Let c = l + p. Solve -r + 2*j + c = -2*r, -2*r + 10 = -2*j for r.
1
Let x = -2 - -2. Let d(w) = -w**2 - 9*w + 1. Let j be d(-4). Solve 2*k + j = -2*k - 5*l, 3*k + 3*l + 12 = x for k.
1
Let l(s) = s**2 - 2*s + 4. Let a be l(-3). Let t be ((-1)/3)/((-10)/60). Let r be t/(-6) + 20/6. Solve -3*w - 2*d = -6*d - 16, -4*w + r*d = -a for w.
4
Let i be (44/77)/(2/7). Solve k + 2*h = 0, -k + h - 7 = i*k for k.
-2
Let h = -36 - -38. Solve -11 = -3*b + h*k - 2, -b + 4*k - 7 = 0 for b.
5
Let i(g) = -g**2 - 3*g - 1. Let u be i(-2). Let a be (-4)/2 - (-1 - u). Solve a*d = -3*b + d + 10, 4*b + 4*d = 40 for b.
5
Let y(s) = -3*s**2 + 2 + 3*s**2 + 2*s**2 - 6*s - 3*s**2. Let r be y(-6). Solve 0 = -c + 5*d - 3*d + 8, r*c + 16 = -4*d for c.
0
Let v = -11 + 13. Solve -3*y + 3*b = 21 + 3, 19 = -v*y + 3*b for y.
-5
Let h = 12 - 10. Solve 2*r + 18 + 2 = 4*o, 0 = h*r + 4*o - 20 for r.
0
Let h be 2 + -2 + 0 - 2/(-1). Solve -n = r - 3, h*r = n - 3 + 12 for n.
-1
Let u be ((-6)/(-9))/((-2)/(-9)). Solve -2*s + 25 = u*s + r, 0 = -2*s - 2*r + 18 for s.
4
Let s be (-2)/((8/(-6))/4). Suppose -s*r + 2*r = 0. Solve -22 = -4*w + 2*x - r, -x = 5 for w.
3
Let k(s) = 5*s**2 + 2*s + 1. Let h be k(-1). Solve -h*x + 3*q - 1 - 6 = 0, -2*q + 14 = 2*x for x.
2
Let s(t) = -t. Let m(d) = d**2 + 5*d + 2. Let f be m(-4). Let q be s(f). Solve -4*z - 8 = 2*j, -3*j - q*j + z = -24 for j.
4
Let l be 6/36 + 51/18. Solve 0 = l*x + 15, -5*u = 2*x - x + 15 for u.
-2
Let t be (1/(-2))/(2/(-8)). Let g = t - -1. Solve 2*b + 1 = -5*h + 2*h, -g*b + 9 = h for h.
-3
Suppose 2*u - 9 = 5*w, 0 + 2 = 2*u + 2*w. Suppose 5*v = -1 - 4, 0 = u*i - 4*v - 14. Solve 0 = i*a + 2*n + 31, 0 = -0*a - 3*a + 2*n - 9 for a.
-5
Suppose -4*j + 30 = 5*r, -r + 27 = 4*j + j. Suppose 0*c - c = -r. Solve -6*f - 3*d + 28 = -c*f, -3*d = 3*f - 24 for f.
4
Let l(b) = b - 1. Let u be l(3). Let i(x) = 2*x**2 - 2*x. Suppose 0 = w + 4, d - 8 = 3*w + 2. Let v be i(d). Solve 5*n - 2*n - g = 14, 2*g - v = -u*n for n.
5
Let n = 47 - 28. Solve 3*j + h + 9 = 0, -j - n = -h - 4*h for j.
-4
Suppose 5*r + 3*o - 5 = -0*r, 6 = -r - 2*o. Suppose 6*f + 10 = h + 4*f, -r*h - f = -31. Solve u - 3*a = -9, h = -2*a + 6*a for u.
-3
Let x = 12 - 7. Let u be (-2)/(-5)*25/x. Let m(d) = d**3 - 2*d**2 + d + 2. Let o be m(u). Solve 5 = 2*v - a, o*v - v - a = 10 for v.
5
Suppose -80*p + 74*p = -42. Solve 0 = 5*c - 5, -4*b + 7*b + c - p = 0 for b.
2
Let c(p) = p**3 - 2*p**2 + 3*p - 2. Let o be c(2). Let t = 0 + o. Solve 6*h + 16 = 2*h, -2*s - t*h - 26 = 0 for s.
-5
Suppose -2*r + 2 = -3*y, -2*y = -3*y - 3*r - 8. Let j be (-1)/y + 7/2. Solve -3*w + 18 = -2*u, 8*u + 28 = j*w + 4*u for w.
4
Let g(b) = 7*b + 18. Let w be g(0). Solve p = -t - 3, p - 4*t + 1 = w for p.
1
Let u(t) = t**3 + 11*t**2 + 11*t + 4. Let v be u(-10). Let w be 16/v*-3*1. Suppose 4*y - 16 = w. Solve -4*f = 5*p - 7, p + 4*f - y = 5 for p.
-1
Suppose 6 = -4*k - 142. Let j = -20 + k. Let q be j/(-18) + 1/(-6). Solve -q*f + 6 = 0, 8 = -4*m + 2*f - 4*f for m.
-3
Suppose 0 = 3*d - 2*d - 75. Suppose 5*z - 5*p - d = 0, -2*z + 6*z - 60 = -5*p. Suppose 3*t + 6 = 0, 2*t + 3*t = -5*o + z. Solve -l = -o*q + 1, -1 = l - 5 for q.
1
Let b(j) = 3*j - 1. Let t be b(1). Suppose -7 - 1 = -2*i - t*m, i - 4*m + 16 = 0. Suppose -5*l = -1 - 9. Solve -5*r = -2*z - 12, 3*z - l*r - 4 + 0 = i for z.
4
Suppose w - 4*s - 31 = 0, 2*s + 31 = 2*w - 1. Solve g - 2*m - w = 0, -4*m - 17 = 3 for g.
1
Let c(a) = a**3 + 8*a**2 + 6*a - 6. Let r be c(-7). Let f be (3/6)/(r/8). Solve -f*m + 4*u = -20, 4*u + 19 = -3*m + 6*m for m.
1
Let b(q) = q**3 + 5*q**2 + q + 7. Let d be b(-5). Suppose -2*y + 10 = d. Solve -z = 2*z, -4*z + 8 = -y*x for x.
-2
Suppose 3*w - 3 = 60. Let n be (18/w)/(5/70). Solve 0*i = -2*k + 2*i - n, 4*k + 21 = i for k.
-5
Let n = -2 + 3. Suppose 2*w - 2*s - 4 = 0, w + 5*s - 2 = -0. Suppose w*f + 2 = 10. Solve -f*r - 2*b = -3*r - n, -5 = -3*r - 5*b for r.
5
Let w(v) = v - 4. Let k be w(8). Suppose -2*c = k, -t + 5*c - 4 = -15. Solve -3*j + 3*y = 4 + 8, t = j + 4*y for j.
-3
Suppose 0 = -c + 5*c - 12. Solve -5*o + 10 = -4*b - 0*o, c*b + 21 = -3*o for b.
-5
Let d(b) = -b**3 - 4*b**2 + 8. Let o be d(-4). Let k = o + -3. Solve 3*h = -4*u - 3 - 2, 3*u + k*h = -12 for u.
1
Suppose 4*t = -5*y + 35, -y - 4*t + 32 = 9. Suppose -5*s - 5 = -5*h, -2*s - 6 = y*h - 24. Solve -s*z - d - 2*d + 3 = 0, 4*d + 11 = z for z.
3
Let n = -5 - -8. Suppose 4*q - 37 = -5*j - 11, 14 = 2*q + 3*j. Solve q*b + 11 + 22 = 5*m, -n*m + 5*b + 25 = 0 for m.
5
Let h = 5 - -7. Let b be (h - 0)/((-6)/(-4)). Solve -19 = 3*i - 4*y, i + 4*y - b - 7 = 0 for i.
-1
Let x be 90/20*(-4)/(-3). Suppose 6 = u - x. Solve 3*l + v + u = 0, 2*v = 5*l - 0*v + 20 for l.
-4
Let o = -27 + 45. Suppose -3*i + 0*i = -12. Let s(h) = 5*h**3 + h**2 - h. Let g be s(1). Solve -3*b + 10 = -g*z, -5*b - i*z + 11 = -o for b.
5
Let c(m) be the third derivative of 0*m - 5/24*m**4 - 1/2*m**3 - 3*m**2 + 0. Let u be c(-3). Solve 5 - 32 = -3*d + 3*n, -2*d - u = 4*n for d.
4
Let f(a) = a**2 - 3*a + 1. Let v be f(3). Suppose 1 + 0 = c. Let x = v - c. Solve x = -t - 3, u + 0*t = -3*t - 6 for u.
3
Let p(b) = -9*b + 1. Let o be p(-2). Solve -5*r - h = -0*h - o, -17 = -4*r + h for r.
4
Let j(t) = -t - 13. Let x be j(-19). Solve 2*h + 2 = x, -5*p - 23 = -4*h for p.
-3
Suppose -6 = 3*s - 18. Suppose 5*u - 6 = 4. Solve 4*w + u*l = -2, -s*w - 5*l + 9 = -w for w.
-2
Let q = -47 - -51. Solve -n = -q*j + 3*n, 0 = j + n - 8 for j.
4
Let v = -20 - 0. Let p be (-3)/(-2)*v/(-6). Let g be (-2 - 3)*(-3)/p. Solve 3*b = g*h + 27, h + 0*h + 1 = -b for b.
4
Suppose j - 3*w + 15 = 0, 5*w = 5*j + 7 + 18. Solve j*c - 5*c + o - 23 = 0, 2*c + 5*o - 7 = 0 for c.
-4
Suppose -28*a + 10 = -23*a. Solve -a*o + 2*q + 6 = 7*q, 3*q = 6 for o.
-2
Let r = -21 - -37. Solve 4*b - w = -0*w + 14, 2*w + r = 4*b for b.
3
Let a be (-9)/(-4) + 19/(-76). Solve 3*l - 9 = -5*y, -3*y - 5*l = -a - 13 for y.
0
Suppose 0 = -3*l + 8 - 2. Let s be 5 + (0 - (-1 + 3)). Suppose d + 4 = -l*a - d, -5*a + 30 = -s*d. Solve -3 = 4*o - o + 5*z, -a*z = 3*o + 3 for o.
-1
Let d be -2*1*(-4 + 2). Suppose o - d*b + 4 = 0, -o + 2*o - 12 = -4*b. Let g(r) = -r - 2. Let v be g(-12). Solve 5*a = 5*y + v, -1 = -4*a + 5*y + o for a.
5
Let c(h) = -h**2 + 3*h + 4. Let y be c(4). Suppose y = -2*j + 4. Solve -v + j = 3*o, -4 = 5*o - 0*v - 2*v for o.
0
Suppose 12*y - 15 = 7*y. Solve 18 = -3*c + y*z, z = 4*c + 2*z - 1 for c.
-1
Suppose -2*x = -5*x + 78. Solve 5*r + s - 13 = 0, -9 + x = 5*r - s for r.
3
Let i(n) = 2*n**2 + 18*n + 10. Let u be i(-9). Solve 10 = -2*c + 5*z, 0*c + 2*c + 2*z + u = 0 for c.
-5
Let m be (-6)/(-2*(-4)/12). Let i = 17 + m. Solve -2*g - 2*f - 2*f = -14, 2*g = 2*f + i for g.
5
Let s be (-2 - -25 - -1) + 1. Suppose s = 5*l - 30. Let n = l + 7. Solve 2*g + n = -k - 2*g, k - g = 2 for k.
-2
Let s(z) = 4*z**2 - z - 2. Let y be s(-1). Solve -5*j - 4*a = -a + 24, 2*j - y*a = 3 for j.
-3
Let t be 2/3 + (-4)/(-3). Let f = t + 2. Let h be 10/4 - 2/f. Solve -3 = -5*m - 0*j - 2*j, -2*j + h = 4*m for m.
1
Suppose 3*d = 7*d + 8. Let l(b) = b**3 + 2*b**2 - b. Let y be l(d). Let f be y/8 - (-2)/(-8). Solve 5*s = -5*o, 25 = -f*o + 5*o for s.
-5
Let q(u) = -u**2 - 6*u + 7. Let y(r) = r**2 - 2*r - 7. Let g be y(0). Let c be q(g). Solve n = -3*t + 15, c = -0*t - t + 4*n - 8 for t.
4
Let q(p) = -p**3 - 14*p**2 + 4. Suppose -39 = 4*h + 17. 