 0, t = 2*k - 7 for k.
1
Let x(b) = -5*b + 10*b - 1 + 8*b. Let s be x(1). Solve -4*d + s = -v - 5, 5*d - 2*v = 19 for d.
5
Let i be (-1 - 6/(-1)) + -2. Suppose 0*y = -3*y. Solve -4*l + 10 = -i*w, y*w + 6 = -3*w + 3*l for w.
2
Let o = 2 - -2. Suppose 24 - 4 = 5*u. Suppose -o*v + 4 = -u. Solve -11 = f - 4*q, 3*f - v*q = 1 + 6 for f.
5
Let g = 8 + -3. Let x be (36/8)/(3/4). Suppose -3*z - 13 = 3*q - 43, -2*q + z = -17. Solve -g*c + q = -4*i - 18, 3*c = -i + x for i.
-3
Let h(c) = -c**3 - 3*c**2 - 3*c - 5. Let k be h(-3). Solve -2*m - 1 = f + 4, -28 = 4*m - k*f for m.
-4
Let v(y) = -y**3 + 7*y**2 - 5*y - 1. Let a be (18/15)/((-1)/(-5)). Let k be v(a). Solve -4*b + p - 2 = -5*b, 0 = -k*b + 3*p + 26 for b.
4
Let u be ((-2)/(-7))/(1/7). Suppose 5*w - u*w - 35 = -4*d, -3*w - 3*d = -30. Let m = w - -9. Solve 0 = -2*v + 5*n + m, 3*v = -0*n + n + 8 for v.
2
Suppose 3*j - 5 = 3*f + 16, 0 = -5*j - 2*f. Suppose -5*k + 28 = 4*d, -4*d + d - j*k + 14 = 0. Solve d*r - 4*i = 6, i - 5*i - 18 = 2*r for r.
-3
Let j(o) = 7*o**2 + 2*o - o**3 + 4 - 2*o. Suppose 10*p - 28 = 6*p. Let a be j(p). Solve -a*g = x - 2*x, 2*g - 14 = 4*x for g.
-1
Suppose a - 1 = 2*a. Let s = a + 3. Suppose -3*i + 3*d - 1 = -4, -4*d + 20 = 4*i. Solve -4 = -y - s*h, -h + 6*h = y + i for y.
2
Let c = 8 - 8. Let d = 3 + c. Let o = 8 + -5. Solve 0 = -2*w - o*t + 12, d*w - 4*t = -t - 12 for w.
0
Suppose -g + 6*g - 40 = 0. Solve 3*n = -4*c - 10, 3*c - 5*n + 1 = g for c.
-1
Let n(d) = 7*d - 5 - 4*d + d + 0*d. Let b be n(2). Solve 0 = -b*s + z - 18, -s + 0*s - 5*z = -10 for s.
-5
Suppose 0*q - 22 = -2*u + 5*q, q = 3*u - 20. Solve 3*j = i + 5 + 2, -u = -2*i + j for i.
5
Let v = 135 + -130. Solve 3*z - v*c = -4*c + 16, 4*z + 5*c = -4 for z.
4
Let m be (3/(-9))/(1/(-3)). Solve -4 - m = 5*x, 0 = 5*i + x + 26 for i.
-5
Suppose -h = 3*h - 32. Suppose -3*w = -0*w - 12. Solve 3*r = 3*n, 3*n + h = -w*r + 1 for r.
-1
Suppose 7 = 2*r - l, 4*r + 2*l - 12 = 6*l. Suppose -r*f - f + 20 = 0. Solve f*h = q + 10, 4 = 5*h - 3*q - 5 for h.
3
Let q = 8 - 7. Let n = q - -1. Solve 2*i = 3*i + 5*f - 17, -2*i - n = -2*f for i.
2
Suppose 0 = -5*b + 2*b. Let z(n) = 10*n - 8*n + 2*n**2 + b*n**2. Let x be z(-2). Solve 10 = 2*l, -5*l = x*v - 6*l - 11 for v.
4
Suppose -2*s - 8 = 2*s, -4*s = -3*g + 20. Let h be -1*4*(2 + -3). Suppose -3*t - 3 = r - 22, 2*t = -h*r + 56. Solve -6*y + 17 = -3*y - g*c, -y + r = -5*c for y.
3
Suppose -2*y = v - 4*v - 10, -6 = 3*v. Suppose s + 4*z + 8 = 0, -s - s - 2*z = 4. Suppose y*h + h = s. Solve 2*i + 5*n + 27 = 0, -i - 3*n - 15 - 1 = h for i.
-1
Let t(u) = 3*u + 3. Let v(q) = -q - 2. Let d be v(-6). Let s be t(d). Solve -s = -3*b, 7*j = 2*j - b - 10 for j.
-3
Let u = -19 + 24. Let d = 8 - 4. Solve -u*a = -5*n - 15, -2*a + d*n + 9 = a for a.
3
Suppose -i = 2*l - 5, -4*i + 9 = 5*l + 1. Solve -l*c + 2*t - 5*t = -20, -c + t - 2 = 0 for c.
2
Suppose 0*o - 10 = -5*o. Suppose -o*h + h + 5 = 0. Solve 0 = -5*r + h, -s - 2*r = 2*r - 7 for s.
3
Suppose 4*z + 4 = 3*k, 4*k + 3*z = k + 18. Let g be -1 + k + -1 - -17. Let h be g - 2 - (-2 - -2). Solve q = -2*q + 15, 0 = -t + 3*q - h for t.
-2
Let v = -1 + 1. Suppose 0 = -11*p + 9*p + 12. Suppose 0 = m + 2*h - 1, 20 = -p*h + h. Solve 5*s - 20 = v, -5*s = -r - 2*s - m for r.
3
Let t be (-8)/(-24) + (-112)/(-6). Suppose -2*f - 4*x = -20, 7*f - 11 = 2*f + 3*x. Solve -f*b - 28 = -4*g, 3*g - g - t = 3*b for b.
-5
Suppose 2*x + 1 = 9. Suppose -4 = -3*q + 2. Solve 0 = -2*z + x*z + 3*h + 9, -3*z + q*h = -19 for z.
3
Let v be (-17 - 2)*(0 - 1). Suppose -5 + 9 = 2*r. Suppose 0 = -r*j + 5 + v. Solve 0 = 4*q + j, 6*q = -3*y + q - 21 for y.
-2
Suppose -104 = -4*j + 196. Let i be ((-6)/2)/((-45)/j). Solve 0 = y - 1, 5*y + 14 = -i*v + 4*y for v.
-3
Let t(o) = 10*o + 6*o**3 + 7*o**2 + 5*o**2 - 5*o**3 - 8. Let u be t(-11). Solve 9 = 3*g + 5*i, -5*i + 0*i - 9 = -u*g for g.
3
Suppose k - 3 = -4*y, 5*k - k = 4*y + 72. Let q = -4 + 9. Suppose 2*c + 8 = -3*h - 2*c, -q*h + 5*c + 10 = 0. Solve r = -3*o - 2*r - 12, 3*o + 4*r + k = h for o.
-1
Let v = 2 - -1. Suppose 0 = -3*o - f + 15, o + 23 = v*o + 5*f. Suppose -3*m = -2*m - 4. Solve -o*u - 12 = m*a, -4*u = -u + a + 9 for u.
-3
Suppose 44 = -4*z + 52. Solve -3*j = 3*p + 4 + 2, -z*p = -2*j + 12 for p.
-4
Let g(i) = -i**2 + 15*i + 6. Let l be g(14). Solve -4*f = -4*j + 24, 5*f + 3*j = -l - 2 for f.
-5
Let a(s) = -s**2 + 14*s + 10. Let q be a(14). Solve 3*d - q = d - j, -3*j = -6 for d.
4
Let u = -60 - -62. Solve f + 7 = -2*k, -u*k + 5 = -5*f + 30 for k.
-5
Let k(l) = -l**3 + l**2 + 3*l - 4. Let m be k(-3). Let p be (-98)/6 - (-3)/9. Let r = p + m. Solve 3*y - 12 = -5*x + r, 2*y - 5*x + 29 = 0 for y.
-2
Let h = 10 + -3. Solve 0*p - q = p - 9, 0 = -3*p + q + h for p.
4
Let z be ((-12)/(-15))/((-6)/(-15)). Let h be z/(-12) + 37/6. Suppose -2*r - h*u + 20 = -2*u, -5*r = -3*u + 15. Solve 4*s + c - 3 + 1 = r, 5*s = -4*c + 8 for s.
0
Let w(s) = 5*s**2. Let x be w(2). Suppose -2*k - 10 = 3*y - 5, x = 5*k + y. Solve z - k*v + 22 = 0, v + 9 - 2 = 4*z for z.
3
Let f(h) = h + 5. Let a be f(-4). Let v = -1 + a. Suppose v = 4*c - 27 - 105. Solve 21 = -5*g + k, 5*g + 2*k + c = -0*g for g.
-5
Let g(o) = -1 - 4*o + 9 + 3*o. Let q be g(6). Suppose -3*z + 0 = -18. Solve -1 = j - q*y + z, -j = 4*y - 5 for j.
-3
Let r = 14 - 10. Suppose r*i = 5*w + 55, -2*i + 6*w + 30 = 4*w. Solve 4*u = 3*y - i, 5*u - y = -1 - 13 for u.
-2
Suppose -3*d + 3 = -3*p, 5*p + 0*d - 27 = -3*d. Suppose 0 = p*n - 7*n. Suppose 0 = -2*t + 10. Solve 4*r = 4*m, t*r + n*m + m + 30 = 0 for r.
-5
Let y be 98/6 - 4/(-6). Let h = 25 - y. Suppose -w = 3*w - 8. Solve 5*b - w*f + h = -5*f, 3*f + 3 = 0 for b.
-1
Suppose 2*y + 3*t = -6 + 18, 30 = 5*y - 2*t. Let s be 8/2 + y/(-2). Solve -4*q - 4 = 2*l, 5*q - s = -6 for l.
0
Let f be (-12)/(-5) - (-9)/15. Solve -11 = f*n - 5*b + 1, 4*b - 13 = -n for n.
1
Let b be 15/(-10)*(-8)/3. Suppose 24 = 4*l + 5*m, m - b - 3 = -3*l. Let c = 4 - l. Solve -c*p + 4*p - 15 = 4*v, -3*v - 6 = p for p.
3
Suppose 0 = -5*r - 25, -5*r + 4*r - 5 = -u. Suppose u*d = 4*d - 4. Let b be -2 - ((-2)/2 + -3). Solve -25 = 5*s, b*z - z - s = d for z.
-4
Let d be -3 + 1/(3/9). Suppose d = -4*o + 2 - 6, 5*n - 2*o - 12 = 0. Solve -4*z + 2 + 0 = -n*w, -5*z + 10 = -5*w for z.
-1
Let c be (-1)/3 - (-30)/9. Let a be (2/4)/(1/(-8)). Let d be 6*(2 + a + c). Solve -4*i = 5*k + 16, i + d = 5*k + 27 for k.
-4
Let l be (-12 - (-3 - 0)) + 2. Let u(n) = -n**2 - 7*n + 9. Let s be u(l). Let w be s/(-6)*1*-8. Solve 4*h - 3*m - 14 = -0*m, h = 5*m + w for h.
2
Suppose -2*b + 2*r = -b - 2, b = 4*r. Suppose 8 = b*k - 0. Suppose 0 = g + 3*g - 24. Solve -4*i + a = -g, -2*a = -2*i + a - k for i.
2
Let m be (0 - 0) + (-3)/(-1). Suppose 5*h - 19 = -m*j, 2*h + 36 = 4*j - 2*h. Solve 3*x + u + 28 = 12, 0 = 4*x - 2*u + j for x.
-4
Let h(g) = g**2 + 4*g + 4. Let z be (1 + -3)*49/14. Let p be h(z). Suppose -2*a + p = 3*a. Solve -a*f - 5*i - 30 = 0, 3*i + 26 = -5*f - 0*i for f.
-4
Let b(m) = 4*m**3 + 3*m**2 - 2*m - 4. Let z be b(-2). Let c = z - -40. Let s be (-6)/(-4)*(-24)/(-9). Solve 2*j - c = -5*r - 4, 3*r = -s*j + 18 for j.
3
Suppose -3*u = -5*w + 34, 0*w = -4*w - 4*u + 8. Solve 4*n - 4 = 5*z - 18, z - w*n = 7 for z.
2
Let o = 127 - 68. Suppose o - 9 = 2*z. Suppose 0 = -2*k - 4*p + 18, -3*p - 70 + z = -3*k. Solve j - 5*t = -0*t - 20, 4*t + k = -5*j for j.
-5
Suppose -2*g - 2*g = -8. Suppose 0 = v - 3*f, -3*f = g*f - 5. Solve 3*j - 2*t - 2 = v*t, 4*j - 20 = -2*t for j.
4
Suppose -3*n = -7 - 5. Suppose c + 27 = n*c. Solve c = 2*p + g, -g + 3 = 4*p - 4*g for p.
3
Let m(a) = a + 13. Let k be m(0). Let c be k/4 - 6/(-8). Solve 0 = -4*v + 3*v - 4*g - c, 1 = -4*v - g for v.
0
Let u be ((-72)/(-30))/((-6)/(-20)). Let d = -4 + u. Let h be 22/8 + d/16. Solve 0 = -3*y - 15, 7*y = w + h*y - 20 for w.
0
Suppose 4*o = 9*o. Solve -3*j - 3*k - 5 = 4, -2*j + 4*k - 18 = o for j.
-5
Suppose -2*m - 5 = -3*m. Let g(k) = -3*k + 1. Let t be g(-7). Suppose -m*c + 3 + t = 0. Solve -4*w + c*s = 24, s = 4*w + 3*s - 4 for w.
-1
Let q(u) = -u + 5. Let z be q(7). Let g(r) = 2*r - 5*r + 2*r. Let j be g(z). Solve -l - j*l = d - 4, 0 = 3*d + l + 4 for d.
-2
Let v = -63 + 39. Let z = -21 - v. Solve -z*a - a + 2*t - 2 = 0, -2*t - 10 = 0 for a.
-3
Let q(h) = h**3 - 5*h**2 + 4*h - 1. Let j be 1/2*(-6 + 16). Let o be q(j). Solve -4*r = -4*u - 1