k - 2*v = -b*k - 6 for k.
-4
Let c be 6/3 + 0 + 520. Let a be c/14 + 6/(-21). Solve z - 3*t = -9, 5*z - a = -5*t - 2 for z.
3
Let u(p) = 3*p**2 + 1. Let c be u(1). Solve r + 5 = 4*a, a + 4*a - c = -r for a.
1
Let l = 58 + -30. Solve 4*c = -16, -4*b = -3*c + c - l for b.
5
Let o(u) = 21*u**3 - u. Let s be o(1). Solve 3*f + 21 = -2*f - 4*d, 5*d = -s for f.
-1
Let k = 25 + -20. Solve 0 = -5*n - 5, 3*n + n = -3*o + k for o.
3
Let o(g) = -g**3 + 6*g**2 - 6*g + 7. Let d be o(5). Suppose 0 = 3*m + 5*a - 5 - 5, 3*a - 6 = -5*m. Let u = d + m. Solve -2*r + r = -s + 1, s = u*r + 4 for s.
-2
Let b(n) = n**2 - 2*n**2 - 2*n - 1 + 0*n**2. Let f be b(-1). Suppose f*l + 3*l - 63 = 0. Solve -5*s + 19 = -3*p, s - l = -3*p - 2*s for p.
2
Suppose 2*g = -2*p - 2*p, g - 5*p - 14 = 0. Suppose -g*q = -2*q. Solve -2*o + 0*h + 3*h = 0, q = -5*o + 2*h for o.
0
Let l(c) = c**3 - 5*c**2 + 3. Let j be l(5). Suppose -j*n = 2*n - 15. Solve n*b + 6 + 3 = -d, -5*d - 3*b - 9 = 0 for d.
0
Let f be (-12)/(-66) - (-212)/44. Let p be (-2)/((-2)/(-1*2)). Let j = 2 + p. Solve 2*c + 3 = -f*d - 6, -3*c - 3*d = j for c.
3
Let q be 8 + (0 - -3) + -7. Solve 4*t = q*m - m - 1, 2*m - t = -6 for m.
-5
Suppose 5*r - 25 = -0*r. Solve -j + 5*j + 17 = -3*y, -4*j = -r*y - 7 for j.
-2
Let k be ((-3)/2)/((-6)/12). Let q(j) = -j**3 + 6*j + 1 + 0 - 3 + 7*j**2 - k*j**2. Let w be q(5). Solve 4*i + 21 = -4*p + 3*p, -4*i = w*p + 31 for i.
-4
Let q = -19 - -33. Suppose 2*u + 3*v + 2 = -0*u, q = 2*u - v. Solve y = 4*b - 0*y, y = -u*b + 9 for b.
1
Suppose 2*v + 2 = 5*n - 2, 5*n = 3*v + 6. Solve n = 4*w + 3*i, -6*i + 3*i = 5*w + 3 for w.
-3
Let p(m) = 2*m**2 + 2. Let g be p(-2). Suppose 5*c - 2*w + g = -0*w, -2*c + 25 = 5*w. Solve c = -3*k - v - 8, -k + 5*v + 16 + 8 = 0 for k.
-1
Let z be 1*2 - 9/3. Let t be ((-12)/15)/(z/5). Solve 5 = -4*l + 3*q, -4*l = -6*l + t*q for l.
-2
Suppose 2*f - 12 = -f. Suppose -5*r - y + 13 = 0, -f*r + r = 5*y + 1. Solve 3*m + 4 = 4*q, -2*q = 5*m + q - r for m.
0
Suppose -2*o - p + 4 - 13 = 0, 5*o + 15 = -5*p. Let m be (15/(-6))/(3/o). Solve -5*j = -m*v + 15, v - 15 = -3*j - 2*j for j.
2
Let n be 2/(-4) + (-9)/(-2). Let i be -1 + ((-12)/n - -7). Solve -5*m + 15 = 5*p - i*p, -p = 2*m - 6 for p.
0
Suppose 5*m = 4*p + 28, -m - 6 = p - 2*m. Let i be -1*(1 + p)*-4. Let h = i + 7. Solve 2*u + 3*v + 9 = 28, -h*v + 24 = 3*u for u.
5
Let d(v) = v**3 + 7*v**2 - 2*v + 2. Let l be d(-7). Solve -l = -2*x - 3*x - 3*r, 2*r - 2 = x for x.
2
Let u = 46 + -33. Suppose -5 = -4*p + 3. Let l = u + p. Solve -5*y = 5*b - l, -y - 12 = -b - b for y.
-2
Suppose 3*m - z - 40 = -10, 5*z = 2*m - 33. Suppose 4*a = -p - 0 - 18, -m = 3*p + 3*a. Let g = 2 - p. Solve x + 19 = 4*s, 20 = 5*s - g*s for x.
-3
Let a = -4 - -8. Let n = -3 + 5. Let v be 4*(-1*n + 5). Solve a*p = 4*c - v, 0 = 3*p - c + 1 + 6 for p.
-2
Let m = -12 + 17. Suppose -m*v + 6 = -4. Solve -4*q = 8, 4*q - v = -a - 9 for a.
1
Let j(c) = -c**2 - 2*c - 3. Let n be j(-2). Suppose 4*u + 0 = 12. Let x = n + u. Solve 0 = -4*k, -5*z + 6*k - k = x for z.
0
Let a(i) = -2 - i**3 + 5*i**2 + 0 - i**2 + 1 + 6*i. Let c be a(5). Solve -4*x + 2 = -c*t - 30, 2*x + 5*t = -5 for x.
5
Suppose -4*u = 3*x - 9, 2*u + 3*x + 9 = 4*u. Let t(n) = -n - 4. Let f be t(-6). Suppose 0 = f*v - 4. Solve -4 = -u*p + v, 4*h - 8 = 4*p for h.
4
Let t be (3/(-1) + 3)/(-1). Let b be ((-12)/18)/((-1)/6). Suppose -4*d = -4*l + 16, 5*l + 3*d + 21 = 57. Solve b*c + 12 = 4*p, 3*p = -t*c + 2*c + l for c.
-3
Suppose -3*r + 2*r + 8 = 0. Let f = 8 - r. Let i be (-57)/(-12) + 2/8. Solve o + 6 = -l, -l - i*o - 20 - 2 = f for l.
-2
Let u be (6/(-4))/(6/(-12)). Suppose -3*i = -5*f + 33, -2*f + u*f + 3 = 3*i. Solve 3*g + f = -4*l, 1 = -2*g - l - 0 for g.
1
Let g = 5 - -3. Let l = g + -4. Let s = 6 - l. Solve 0 = s*n - 2*f - 8, 2*n + f = 4*f + 13 for n.
-1
Suppose 0 = 2*q + 2, -b - 5*q + 5 = -0. Suppose -4*v + 2*v = -b. Solve -33 = -v*g - 4*t, g - 3 = -0*t + t for g.
5
Suppose -2*h + 14 - 2 = 0. Solve 6*j = 10*j + 3*p + 3, -p = -j - h for j.
-3
Let w = 22 - 37. Let x be (-3)/(-2) + w/2. Let m(i) = i**2 + 4*i - 2. Let t be m(x). Solve 0 = 2*k - 0*l + 4*l + 10, -5*l = t for k.
-1
Let o be 1/(-2) + (-36)/(-72). Solve -2*c + 3*b - 1 = o, 6*c + 5*b = c - 15 for c.
-2
Suppose -2*t - 2*t - 20 = -4*x, -14 = -4*x - 2*t. Let o(s) = -s**2 - 8*s - 5. Let l be o(-7). Solve -n - x*c = -12, -n + 2*c - l = -c for n.
4
Suppose -2*r + 0*r - 4*a + 38 = 0, a = -3*r + 32. Suppose -5*v = o - r, v - 21 = -o - 4*o. Solve s + 17 = -o*z, 1 = -s - 2*z - 10 for s.
-5
Let t(g) = -3*g + 2. Let p be t(-5). Solve -4*m = -4*b - 20, -p = -5*m - 4*b + b for m.
4
Suppose v + 1 = 3. Suppose 4*s = 20, -2*s - v*s = 2*a - 24. Solve -7 = 5*d + 8, 0 = -a*c - 5*d - 15 for c.
0
Let k = -5 - -9. Suppose 6*j - 10 = k*j, -g = -5*j + 22. Let b be (0*(-1)/g)/2. Solve 5*z - 2*r + 0 - 16 = b, r = -3 for z.
2
Let s = -23 - -24. Solve 0 = -5*k + f + 19, -4*f = 2*k - s - 11 for k.
4
Let q be (-3)/2*(-8)/4. Suppose 4*c - q + 15 = 0. Let z be (-7)/(c + 4 + -2). Solve 2*k = 5*f - 3*f - 6, 0 = -k - 3*f - z for k.
-4
Suppose 0 = -w + 9 - 1. Suppose -3*s = -5*i + 14, -4*i = -4*s - 0*i - w. Solve -5 = 5*g - 3*m + 1, s*g = 2*m for g.
-3
Suppose 0 = 4*s - 8*s + 24. Suppose 2*v - s*v + 8 = 0. Solve -7 = -3*i + v*a, 0 = 4*i - 0*i + 3*a + 19 for i.
-1
Suppose 28 = 4*y + 12. Solve 5*r - y*s - 3 = 0, 2*r = -2*s - 2 - 4 for r.
-1
Let m be (-24)/36 - (-2)/3. Solve m = 5*w - 4*y - 17, 0*w - 5*y - 11 = 4*w for w.
1
Let w be (-4)/(2/(-16)*2). Let g = -1 + 8. Let n = w - g. Solve 0 = -s - 5*i - 24, -3*i - n = 6 for s.
1
Suppose 7 - 32 = -5*p. Let n(b) = b**2 + 2. Let v be n(4). Let s be v/4 - p/(-10). Solve m + 1 = -0*g + g, 4*m + s*g = -40 for m.
-5
Suppose -u = 3*i - 3*u + 28, 2*u - 22 = 2*i. Let c be ((-3)/(-2))/(i/(-60)). Solve 3*v = -3*w - 15, v - 4*w = -w + c for v.
0
Suppose -q = q - 10. Let f(x) = -x**3 + 7*x**2 - 11*x + 33. Let j be f(6). Solve -7 = j*z + 2*t, q*z + 2 = 2*z - t for z.
1
Let v = -4 - -3. Let j be 0/v*1/(-2). Suppose 0 = 4*z - 5*a + 10 - 102, -2*z - 4*a + 20 = j. Solve -4*n + 17 = 3*x, -4*n = 5*x - z - 5 for n.
2
Suppose -4*r = -3*z - 21, -4*r - 3*z = 2*z + 3. Let f be 15 + r/(-6)*-2. Solve -5*g = -q - 11, -5*g - 2*q + 7 = -f for g.
3
Let r = 2 - 8. Let o be (-14)/(-4)*r/(-3). Solve -3*w + 4 + o = -2*u, -12 = 3*u for w.
1
Let i = 13 - 9. Solve 0 = i*a + 4*k + 2 + 14, 0 = 5*a - k + 26 for a.
-5
Let k = 28 - 17. Let c be 1 + (-8)/(-2) + -2. Let v(h) = 9*h + 29. Let u be v(-3). Solve 4*g - 5*r = -1, u*g + c*g - 3*r = -k for g.
-4
Let u(q) = q**2 - 7*q - 9. Let w(z) = -1. Let m(h) = -u(h) + w(h). Suppose -2*x + 15 = -1. Let j be m(x). Solve -5*p - 2 - 28 = -2*o, j = -3*o + 3*p + 27 for o.
5
Let d(u) = -15 - u**2 + 10*u - 16 + 32. Let w be d(10). Suppose 3*k = 10 + 5. Solve 3*m = 5*o - 18, 4*o - 18 + w = k*m for m.
-1
Let d be 2 - (14/49)/(2/(-14)). Solve -4*h - 10 - 7 = 5*s, 0 = -s - h - d for s.
-1
Suppose 24 = 2*n + n. Suppose -3*k + s = 5 - 18, -5*k + 5*s = -35. Suppose -k*h + h = -10. Solve 0 = -2*l + l + h*w - 20, -5*l - n = -2*w for l.
0
Let u be 2/(-7) + 233/7. Suppose -3*m + u = -4*n, 2*n = n + 3*m - 15. Let c be (1 + -19)*2/n. Solve 0 = c*t - 3*t - 2*q + 5, 0 = -4*q - 8 for t.
-3
Let r be -33*4/(-48) + (-2)/(-8). Solve -10 = r*g + 2*g + 3*f, 5*f = 2*g + 4 for g.
-2
Let w be 14 - 0/4 - 3. Solve 3*g = 4*g + 4*v + 2, -3*g + 5*v + w = 0 for g.
2
Let k = -3 + 6. Suppose g = -6*t + 7*t + 9, 0 = 4*g - 2*t - 28. Solve -x - 1 = r, -k*r + 2*x + 7 = -g for r.
2
Let m(f) = 2*f + 3. Let j(y) = y**3 - 2*y**2 + y - 2. Let i be j(2). Let s be m(i). Solve 0 = -2*w - s*v - 19, 3*v - 23 = 4*w + 4*v for w.
-5
Suppose d + 11 = 35. Suppose 4*c - d = -5*f, c + 2 = 3*f - 9. Solve 5*o - y = -10 + c, 1 = 3*o + y for o.
-1
Let u(y) = 2*y**3 - y**2 - 2*y - 1. Let z be u(-1). Let o(f) = f**3 - 2*f. Let v be o(z). Let g = -2 - v. Solve 0 = -d - g*p + 6, -9 = d - 3*d - 3*p for d.
0
Let q(f) = 2*f - 10. Let k be q(8). Solve 0 = 3*p - 2*i - 7, -4*p + k*p + i = 0 for p.
1
Let g be (-1 + -1)*1/(-2). Let u be (1 - -1*2)*g. Let n be (4/u)/((-2)/(-6)). Solve -4 = n*t + t - l, -4*t - l = 5 for t.
-1
Suppose -4 = -2*j + j. Suppose -5*i + 1 = -3*l + 73, j*i = -l + 7. Suppose 0 = -g + 3, -7*p + 2*p = 4*g - 127. Solve 4*d - p = -5*a, -5*a + 3*d + l = 5*d for a.
3
Let c = 50 + -22. Su