*v - 1, -4*k - 2*v - 4 = 0 for k.
-1
Suppose 32 = 2*t - c, 0 = -4*t + 3*c + 64 + 2. Let y(o) = 3*o**2. Let a be y(-1). Suppose -2 - 10 = -a*n. Solve s = n*q - t - 9, q + 11 = -4*s for s.
-4
Let h = -43 - -62. Suppose 0*i + i - h = -3*m, 30 = 2*m + 5*i. Let x(l) = -l**2 - 14*l + 7. Let v be x(-14). Solve 5*s - 8 = m*d + 12, -v = 3*d + 2*s for d.
-3
Let f = 0 + 12. Suppose n = -0*n - 4*y - f, -4*n + 15 = -5*y. Solve 3 = k - n*r - r, -k + 2 = -2*r for k.
4
Let a(n) = 2*n**2 - 2*n - 2. Let c be a(-1). Solve 3*i - b - 4 = -0*b, -i = -2*b + c for i.
2
Let y(k) = k**2 - 8*k + 2. Let u be y(0). Solve -c = -s - 2*c - 7, -u*s - 5*c - 20 = 0 for s.
-5
Let j(x) = 4*x**2 - 2*x + 1. Let z be ((-8)/(-20))/((-2)/(-40)). Let b = z + -7. Let f be j(b). Solve -m = f*s - 5*s - 10, m - 7 = s for m.
4
Let h(l) = l**3 - 2*l**2 + 4*l - 3. Suppose -2*k + 5*r + 14 = 0, 4*k - 6 = 5*r + 12. Let j be h(k). Solve 3*x - 8 = -n, 4*n + n = -j*x for x.
4
Suppose 4*m + 3*o - 36 = 0, m = -2*m - 2*o + 27. Solve -5*i = -4*d + m, -d - 1 = -6*d - 4*i for d.
1
Suppose 0 = -4*k - 2*q + 10, 0*q - 10 = -3*k - 4*q. Suppose 0 = -2*z + 2 + k. Solve 3*f + z = h + 14, -f - 4*h = -17 for f.
5
Suppose l = n + 5, 2*n - 2*l - l = -8. Let a be -1*(-6)/n*-7. Let i be ((-12)/(-16))/(-3) - 17/(-4). Solve 5*m = -3*k + 8, -k - 1 + a = i*m for m.
1
Let n be (20/12)/(2/6). Suppose -4*c + 1 = -5*t - c, 23 = -4*t - n*c. Let q be 2 - (t + 6/3). Solve -6*k - f - q = -k, -4 = k - f for k.
-1
Suppose 3*c = -3*p + 30, 0 = -6*p + 3*p. Solve 2*b + c = 0, 3 = -3*s - b + 1 for s.
1
Let k(o) = -2*o + 3. Let m be k(-6). Let h be (-3)/2*12/18. Let t = -1 - h. Solve t = 5*a + 5*v - m, -5*a + 44 = -3*v + 13 for a.
5
Suppose -12 = k - 5*k. Suppose 4*n + 0 = z - 14, k*n = 2*z - 8. Let o be (-4)/(-6) - n/(-6). Solve o*p - i = 2*p + 5, p + 30 = 5*i for p.
-5
Let l be -17*-2*1/2. Let j(u) = -u - 1. Let o be j(8). Let w = l + o. Solve 4*p + i + 6 = -17, -p - i - w = 0 for p.
-5
Suppose 2*i + 9 = 5*i. Suppose 0*v = i*v - 12. Solve -7 = -2*k + l, -2*k + 16 = -0*k - v*l for k.
2
Suppose -16*h - 10 = -21*h. Solve -5*t + 5*l - 30 = 0, -h*t - 5*l = -l - 18 for t.
-1
Suppose 0*f + 12 = -3*x + 4*f, 8 = -2*x + 3*f. Let l = -1 - x. Suppose 0 = -2*q + l*q - 11. Solve 4*s + 12 = 0, 2*i - q = -4*s + 5*s for i.
4
Let q be 2/2*-5*(-20)/25. Solve -4*m + c + c - 6 = 0, q*m + 2*c = 14 for m.
1
Let h(p) = -3*p - 3. Let f(x) = x + 5. Let r be f(-7). Let c be h(r). Solve 0 = c*q + a - 4, -5*q - 5*a + 0*a = -10 for q.
1
Let j(u) = 7 - 2*u**2 + 3*u + 4*u**3 + 9*u**2 + 3*u**3 - 6*u**3. Let d be j(-6). Solve -3*l - 13 = -n, -4*l - d = l for n.
-2
Suppose 0 = -s - 4*s. Suppose s*k + 1 = -2*p + k, 3 = 3*k. Solve d + 3*v + 25 - 8 = p, 4*v = d - 18 for d.
-2
Suppose -3*z - 2*n = -5, n = z + 4*n - 4. Let f be 1/(z + -2)*-7. Solve 16 = -3*m + f*m + 2*c, -8 = -2*m - 2*c for m.
4
Suppose 2*h = 3*o + 15, 0 = 4*h - 2*o - 3 - 47. Solve -h = 3*b - 0*b, -u = -4*b - 24 for u.
4
Let h(b) = b**3 + b**2 - 7*b - 2. Let v be h(-3). Solve -5*g - 14 = -4*n - 0*g, -3*g = 5*n + v for n.
1
Let t = -35 - -39. Solve g + t = -4*i, -10 - 2 = 4*i + 3*g for i.
0
Suppose 5*r + 4*z = -0*r, 0 = 4*r + 5*z + 9. Let o be (-8)/(-12)*(r + 2). Solve -5*a - 2*i - 22 = 0, -2*i + i - 17 = o*a for a.
-4
Let v be 4/1 - (5 + -3). Suppose -3 = -q + r, 1 = q - 5*r - v. Solve 2*f - 5 = -q*w + 2, 0 = w + f - 3 for w.
1
Let z = 24 - 15. Let q = -5 - -1. Let k = q + z. Solve -v - y - 9 = v, y = -k*v - 15 for v.
-2
Suppose -5*v = -5*l - 40 + 10, -8 = -4*v. Let p(c) = -c**3 - 5*c**2 - 4*c + 5. Let g be p(l). Solve 5*h - 2*a = -17, 3*h - g*a - 3 = -17 for h.
-3
Let r = 1 - -4. Let c be 1 + 0 - (3 - r). Suppose n = -0*n - 4*u + 9, c*u = -n + 9. Solve 6*a + 12 = 2*a - 4*q, a - 5*q = -n for a.
-4
Let t be 3/(-2)*(-16)/(-12). Let y = t + 2. Solve 4*b + y + 3 = -g, 3*g - 21 = 3*b for g.
5
Let g = 30 + -30. Solve g*r - 4*j = r - 17, 4*j = 5*r + 35 for r.
-3
Let f be 4/22 + 31/11. Suppose 4*s = f*s + 22. Let c(v) = -v**3 - 3*v**2 - v + 2. Let j be c(-2). Solve -u - s = -5*g, -2 = -j*u - 3*u - 2*g for u.
-2
Let r(c) = -c**2 + 3*c + 4. Suppose 4*g = 3*d - 0 - 1, 0 = 5*g - 10. Let h be r(d). Solve -h*q - 8 = 2*o - 3*q, -3*o - 4*q = 17 for o.
-3
Let p be (0 - -6)/((-7)/3 - -3). Solve -4*z = o - 2*z - p, 2*o = z - 2 for o.
1
Let q = 2 + 0. Solve u - 27 = 4*o - q*u, -5*o - 10 = u for o.
-3
Let l(q) = q + 13. Let d be l(-10). Let j = -12 + 18. Solve -p + 10 = d*p + 3*r, -p - 5*r = j for p.
4
Suppose -4*h - 4*k + 32 = 0, 0*k - 3*k = -2*h + 11. Let j = h + -4. Solve -3*z - 8 = j*a - 2, -5*a = -4*z + 37 for a.
-5
Let p be 6 + -3 + -1 + 1 + 2. Solve 3*i + p + 1 = 0, 0 = -2*g + 3*i + 2 for g.
-2
Let c(l) = 3*l. Let v(u) = -16*u - 1. Let k(p) = 11*c(p) + 2*v(p). Let m be k(7). Solve q + 0 + 10 = -m*x, 0 = -2*q for x.
-2
Let q(c) = c**3 - c**2 - 4*c - 3. Let t be q(-2). Let p = t - -10. Solve -f = -5*v + p, 4*f + 5*v - 5 = -17 for f.
-3
Let h = -18 + 19. Solve 3*l - 2*s - 4 = 0, 3*s = 2*l - h + 5 for l.
4
Let p be (-16)/(-6)*(-51)/(-34). Solve 2*f - y = p, -19 = -3*f - 0*y - 5*y for f.
3
Let g(c) = c**3 - 16*c**2 + 27*c + 16. Let j be g(14). Solve -x - 4*y - y = 21, 3*x = j*y + 5 for x.
-1
Suppose -4*q + 1 = -5*q. Let g be (3*q)/(12/(-8)). Solve -g*u = -5*h + 17, u + 4*h = h + 19 for u.
4
Let l(d) = -d + 2. Let h be l(-4). Let t(m) = m - 5. Let k be t(h). Let i = 3 - k. Solve -13 = 2*a + 3*y, i*a - y = -0*y - 1 for a.
-2
Suppose 0 = 4*y - 5*f - 4, 0 = y + f + 11 - 3. Let o be y/(6/(2 + 1)). Let t be 0/o*(-4)/(-4). Solve -2*w + m + 3 = 0, m = 4*w - 1 - t for w.
-1
Let m(c) = -8*c**2 + 7*c - 2. Let r(t) = 7*t**2 - 7*t + 1. Let l(w) = -6*m(w) - 7*r(w). Let d be l(6). Solve 3*b = 3*q - 8*q - 35, -b + 4*q + d = 0 for b.
-5
Suppose -68 = 65*l - 69*l. Solve -y + l = 2*a - 6*y, 1 = -5*a - 2*y for a.
1
Suppose 5*b = 3*k + 51, 0 = -2*b - k - 0*k + 27. Solve -4 = -2*r + 2*a + 4, 3*r = -5*a + b for r.
4
Let f = -19 - -16. Let y be (8/(-10))/(f/15). Solve l - b = -l - 3, 0 = -l - 5*b + y for l.
-1
Let l be 0 + 3 + (-6)/(-6). Suppose -3*i = -7*i + 2*d + 2, l*i + 3*d - 17 = 0. Solve -i*v = -2*o - o + 19, 4*v = o - 23 for o.
3
Suppose 0 = -8*t - t + 63. Solve -4*b = -8, 3*b - 14 = -3*m + t*m for m.
-2
Suppose 3*q + 19 - 22 = 0. Let h(a) = 2*a - 15. Let r(x) = -x + 7. Let z(d) = 6*h(d) + 13*r(d). Let y be z(q). Solve -2*k - 5*j = -3 + 13, y = j for k.
-5
Suppose 1 = -p + 5. Solve -d - v = -6*v - 15, -p*v = 2*d + 12 for d.
0
Suppose -y - 13 + 1 = -4*w, 3*w - 2*y = 14. Solve 3*p - 19 = 4*t, -23 = -w*p + 3*t - 9 for p.
1
Let b = -15 - -29. Let x = -21 - -25. Solve -5*w + 4*l = b, -x*w - 2*l = l + 5 for w.
-2
Suppose 2*h - 13 + 5 = 0. Solve h*t = -3*x - 21, 0 = t - x - 2*x - 6 for t.
-3
Let i be ((-30)/20)/(1/(-2)). Solve 5*d + 26 = i*w, -5*d + 9*w - 4*w - 30 = 0 for d.
-4
Let t be -9*(5 + -2 - 2). Let h be (-2)/t + 4/(-18). Solve -3*u = -5*n - 30, 2*u - 4 - 6 = h for n.
-3
Suppose 0 = -5*h - k + 7, -2*h - k = -1 - 0. Solve -2*c + 6 = -3*c + h*x, 3*c = 3*x - 12 for c.
-2
Suppose -7*u + 10 = -2*u. Solve 0*l + 5*l = -5*n, -5*n + u*l = 0 for n.
0
Let d be 34 + -1 + (1 - 2). Suppose 0 = -j - j + d. Solve 3*t - j = 2*v, -2*v = 5*t + 3*v + 15 for t.
2
Suppose 0 = -0*d + d. Suppose 3*m = -2*n + 300, d*m - 2*m + 600 = 4*n. Suppose 7*g - 2*g - n = 0. Solve -4*o = 4*r - 40, 3*r - 7*r = 2*o - g for r.
5
Let l be (-30)/12*4/(-5). Solve -4*m = l*v + 18, 0 = m - 3*m - 5*v - 21 for m.
-3
Let h(g) = -g**3 - 9*g**2 - 7*g + 9. Let j be h(-8). Let m be 15 + j + 2 - 3. Solve -5*t - m = -5*a, 4*a = -2*t - 0*t - 6 for t.
-3
Let u be 1/5 - 8/40. Suppose u*q = q - 4. Solve q*s - 3 = -i - 1, 4*i = 8 for s.
0
Suppose b - 2*c = -c + 2, -2*b - 5*c + 18 = 0. Let k be 7 + (-9)/(b - 1). Solve k*w - 4 = 5*i + 14, 4*w - 3*i - 14 = 0 for w.
2
Let r be (-4)/(3*1/(-6)). Solve -5*z = -5*d - 30, z - r + 1 = 2*d for z.
5
Let b(n) = n**2 - 4*n - 3. Let s = 11 + -6. Let u be b(s). Solve 3*p + u*j + 2*j = 8, 3*p - 5*j - 17 = 0 for p.
4
Let t(y) = -y**2 - 10*y + 5. Let j(g) = g**2 + g. Let o(l) = -2*j(l) - t(l). Let s be o(7). Solve b = 3*p - 8, -4*p + 10 = -s*b - 0*b for p.
3
Suppose m - i = -2, 0 = -m - 2*m + 4*i - 6. Let j be (2/4)/(m/92). Let f be -2 - (j + 0 + -2). Solve -f = u - 5*g, 5*u + 7 = 3*g - 5*g for u.
-3
Let r be (-99)/(-21) - 4/(-14). Suppose 0*t - u = -2*t + 7, 5 