, 3*k - 12 + 4 = -r*i for k.
0
Let t be (-35)/(-8) - 12/32. Suppose -t = -4*d + 2*d. Solve 5*l + 37 = l + 5*z, -d*z = 3*l - 1 for l.
-3
Suppose -4 = -5*f + 11. Let t be 4*((-6)/8 + 2). Suppose -j = 3*z - 71, 3*z - 2*j + 34 - 117 = 0. Solve 5*u = z, -t*h + u = -f*h + 15 for h.
-5
Let a(i) = i + 9. Let v be a(-6). Solve 13 = -4*r - u, -v*r + 4*u + 18 = -2*r for r.
-2
Let m(v) = v**3 - 2*v**2 + v. Let w be m(1). Let f = w + 0. Let r(j) = 3*j - 1. Let d be r(1). Solve -5*q - 10 = 0, f*k = -4*k - d*q - 12 for k.
-2
Suppose -3*v + 4*f - 10 = -0*v, v - 6 = -f. Suppose 5*k - 127 = -n, v*k + 5*n + 0*n = 60. Solve 5*g = k, 2*g = 4*h + 4*g + 10 for h.
-5
Let r(j) = 2*j - 3. Let i be r(3). Suppose -7 = -z - i. Solve -5*y + y + 20 = 0, z*d - y = -25 for d.
-5
Suppose -2*l - 3*l = -45. Let s = -7 + l. Solve -3*t + 2*n = -s*t - 3, t - 3 = -3*n for t.
3
Suppose 3 = -2*f + 7. Suppose 5*z - 9 = 3*l, -z - 5*l = f*z - 19. Suppose -2*h + 8 = x, 0 = -4*x + 4*h - 4. Solve -4*b - 2*o = 11 + 7, -3 = -x*b + z*o for b.
-3
Suppose 0 = b + 2*c - 12, -2*b + 11 = 5*c - 17. Solve 4*h = -3*x + 3, 0 = h - 5*h + b*x + 24 for h.
3
Suppose 0 = 11*p - 49 + 16. Suppose 0 = -3*a + a + 2. Let i be 3/(a/(0 + 1)). Solve -5*h - 16 = i*k, -8 = -3*h + p*k - 32 for h.
-5
Let q = -32 - -45. Suppose -2*k - 1 = -q. Solve 4*h = 3*p + 4, -4*p - k = -h + 8 for p.
-4
Suppose 7 = 2*m - 3*v, 2*m + 3*m = -5*v + 30. Suppose -m*q - 13 = -2*n, 0 = 2*n - 2*q - 2 - 2. Let w = 2 - n. Solve -s = -o + w, 3 = o + 4*s + 25 for o.
-2
Let o = -20 + 24. Let d = -6 - -15. Suppose 5*p = 3*f - d, 0*p + o*f = -p + 12. Solve -i + 0*i + 2*s = p, -3*i = -5*s for i.
0
Let t be (-96)/54 - -2 - 32/(-18). Let a(b) = -b**2 - 6*b + 1. Let o be a(-6). Solve -4*n + o + 9 = -t*p, 2*p - 3*n = -8 for p.
-1
Let s be ((-10)/6)/(2/(-6)). Suppose -4*l + 17 = -h - 0*l, 5*l - 18 = -2*h. Let f be (1/(-2))/(h/6). Solve 0 = f*p + n - 6*n + 1, -p = s*n + 7 for p.
-2
Let k(c) = c**3 + 8*c**2 + 8*c + 8. Let v be k(-7). Let u be v*(-1 + -1) + 6. Solve 4*i - n + 4 = -1, -4 = -u*n for i.
-1
Let t = -3 + 7. Solve -q - 10 = 5*m + 4*q, -11 = t*m + 5*q for m.
1
Let g = -15 + 26. Suppose 0 = 3*d - g - 4. Solve h = 2*i + 3, -d*i - 5*h + 30 = -0*i for i.
1
Let o = 8 - 3. Let l(z) = 4*z**2 + 2*z - 1. Let h be l(1). Suppose h*f = -2*t + 15, 4*f - 3*t - 25 = 2*f. Solve -y - 7 = 3*d - 4, o*d = -f*y - 15 for d.
0
Let p = 11 - 6. Solve -p*y = 5*t - 15, -2*t + 3*y = -t + 9 for t.
0
Suppose 5*v - 2 = 4*k, 10 + 2 = 4*k + 2*v. Suppose -3*d = -k*d. Suppose d = 5*t - y - 10, -7*y = 2*t - 3*y - 4. Solve -2*x = 4*s - 6, -t*s + 6 + 3 = 3*x for x.
3
Let b be 43/7 - 7/49. Let c(q) = -q**3 + 5*q**2 + 6*q + 2. Let w be c(b). Solve -2*p - 16 = 2*p + 4*s, p = -w*s - 7 for p.
-1
Let f = 2 - -4. Let z = f - 4. Let j(a) = 3*a - 2. Let c be j(z). Solve 2*r + 5*y = -2 - 3, 3*r + c*y - 3 = 0 for r.
5
Let p be 20/(-35)*(-8 + 1). Suppose -n = p*n - 20. Solve -2*m + n = 0, 0 = 3*w + 4*m - 0*m - 11 for w.
1
Suppose -a - 16 + 27 = 0. Solve -3 = -g, 0*m + 5*m + 2*g = a for m.
1
Let x be 9 + -10 + (-2 - -7). Solve -v + 2 = 4*n + 9, 0 = -x*v - 5*n - 6 for v.
1
Suppose 0*a + 27 = 5*u - a, 2*a + 4 = 0. Solve -4*p - u*j = -5*p - 6, -3*p - 2*j + 16 = 0 for p.
4
Let k(x) = -x**3 + 6*x**2 - 5*x - 1. Let d be 2 + 1/((-2)/(-6)). Let r be k(d). Let w = r + 2. Solve i + m + 7 = -1, -3*i + 2*m = -w for i.
-3
Suppose 4*w - 5 = 3*r, -5*r + 3 = -3*w - 7. Solve 27 = 2*s - s + r*i, i = -5*s + 15 for s.
2
Suppose -4*v - 12 = -0*v. Let k be (v - 1)*1/(-2). Let t be ((-2)/k)/((-1)/10). Solve 2*l = -z - 5, -l - 2*z + 3*z = t for l.
-5
Let f(g) = 15*g**2 - g. Let t be f(-1). Solve -4*o + t = 4*d - 2*o, 0 = -3*d - 5*o + 26 for d.
2
Let u be (1 - 0) + -3 - -3. Solve -7 = 4*s + 2*f + u, -3*s - 20 = 5*f for s.
0
Suppose 11 = 2*s - 19. Let p = -8 + s. Solve 4*b - 2*y + 4 = 0, -3*b + 3*y - p*y = -19 for b.
1
Suppose 0 = -0*q - 7*q + 21. Solve -q*t - 12 = 5*k, -3 - 3 = k - 3*t for k.
-3
Let p(c) = -c + 152. Let d be p(0). Suppose 0 = 5*n - 2*b - b - d, 5*n - 160 = 5*b. Solve -2*z - 5*m = -n, 3*z = 4*z + m - 8 for z.
4
Let g be 44/10 - 8/20. Solve -3*k - 3 = 3*t, -k - g*k = 2*t + 11 for t.
2
Suppose -2*q - 27 = -0*h - 3*h, -4*q - 4 = 4*h. Let l be ((-10)/(-3))/((-1)/q). Solve 5*b + m + l = -2*m, -b - 4 = -m for b.
-4
Let a(v) = v**2 - 12*v - 24. Let f be a(14). Solve f*l + 5*o + 4 = 0, -3 = -l + o + 5 for l.
4
Suppose -3*h - 5*w + 20 = 0, -4 = h + 3*w - 8. Suppose n - 6*n = -h. Suppose -n*x + 3 = -1. Solve -5 = -a + x*y, -17 = 5*a - 3*a + 5*y for a.
-1
Suppose -h - 4*h = 0. Suppose 0 = 3*j - h*j. Solve 2*v + 4 = 3*x - 19, j = -3*v - x - 7 for v.
-4
Let c be (1/3)/((-10)/(-210)). Solve 0 = r + 2*r + 5*d - 35, -3*r + 2*d = -c for r.
5
Suppose 3*c - 2*f = 15 - 2, 3*c + 3*f = 3. Solve a - c*v - 8 = 0, 5*a = 4*v + 8 + 10 for a.
2
Let l(y) = -2*y**3 - y**2 - 2*y. Let d be l(-2). Solve 13 + d = 2*m + 5*t, 4*t - 28 = -4*m for m.
2
Suppose c + 15 = g, 0*c + 5 = -3*c - 5*g. Let q = c - -4. Let v(b) = -b - 1. Let p be v(q). Solve 3*r + f - 13 = 0, -p = -0*r + 5*r - 5*f for r.
3
Let v(m) = -m**3 - m**2 + 2*m + 24. Let t be v(0). Suppose -10 = -3*x - j - 0*j, 0 = 2*x - j - 5. Solve 0 = 4*h - 4*b, 0 = -x*h - 4*b + b - t for h.
-4
Suppose 5*w - 2*w + 3*j = 3, 3*w + j = 7. Let d(k) = 4*k + 3. Let p be d(w). Solve -2*x = -c - 3, c + 4*c = -5*x - p for c.
-3
Let h(r) = -3*r + 4. Let n be h(0). Solve 14 = -2*b + n*j, 3*j - 2*j - 17 = 5*b for b.
-3
Let z(v) = -v**3 + 6*v**2 - 4*v - 5. Let c be z(5). Suppose 23 = 5*o - 2*k, k = -3*o - 2*k + 18. Solve c = -3*m, 0*m = o*h + m for h.
0
Let o be (-2)/8 + (-26)/(-8). Suppose 0 = 3*w - o - 3. Suppose 0 = 4*a - 4 - 4. Solve -w*z + a*b = -7 + 3, z = -b - 2 for z.
0
Let m be 3 + (-2 + 1)*(2 - -1). Solve -3*c = -6*c - q - 10, m = 3*c + 4*q + 13 for c.
-3
Let l(t) = 3*t - 3. Let i be l(2). Let a(z) = 0*z - i*z + 0*z + 0*z. Let p be a(-1). Solve -4*n = -2*c + 10, -15 = -5*c - p*n - 55 for c.
-5
Let a(p) = p**3 - 5*p**2 + 4*p - 3. Let s be a(4). Let i be (-4)/(-18) - 48/(-27). Let w = i - s. Solve k = 2*q + 2*k - 7, 2*q + 5 = -w*k for q.
5
Suppose 9 = 9*m - 6*m. Let j(p) = p**3 - 2*p**2 - 4*p + 3. Let i be j(3). Let l be (0 - 0) + i + m. Solve 2*t - 6*t + 5*q + 31 = 0, l = -3*t - 5*q for t.
4
Let b(k) = -k**3 - k**2 + 3*k + 3. Let x be b(-2). Let v be (6/(-5))/(9/(-30)). Solve 6 = -v*w - 0*z - z, -z = -w + x for w.
-1
Let z be (-10)/(-6) + 2/6. Let a be (-1)/2 - (-5)/2. Let i(x) = x**2 + 2*x - 3. Let t be i(1). Solve -q + a*q - z = t, -5*y + 4*q - 18 = 0 for y.
-2
Let a(z) = 2*z - 13. Let n(w) = 1. Let t be (-8)/12 - 16/3. Let s(j) = t*n(j) - a(j). Let o be s(-6). Solve -4*l + m = -o, 0 = 2*l + m - 4*m - 7 for l.
5
Suppose 3*r = -2 + 14. Solve 3*a - r*a - 3 = -3*q, -a - 7 = -5*q for q.
2
Let k = -3 - -3. Suppose 4*x - 15 = 5*h + 7, k = x - h - 5. Let z = -2 - -7. Solve 0 = x*i - 0*j - z*j + 24, j = -i for i.
-3
Suppose 4*k = 2*d + d - 30, 5*k - 5*d = -35. Let i = k + 14. Suppose 0 = 5*l - 10*l + 115. Solve w + l = 5*w + g, i*g = 2*w + 5 for w.
5
Let x = 2 - -2. Suppose 0*o + x*o = 12. Let t(v) = v**2 - 5*v - 7. Let h be t(7). Solve -4*g = c - h, -2*c - 1 = -g + o for c.
-1
Let h be ((-1)/10*-6)/((-10)/(-50)). Solve 3*a - 5 = -h*c + 4*c, -20 = 4*c + a for c.
-5
Suppose -13*r + 17*r = 8. Suppose -3*v - 4*y = -8, 4*v + 0*y - 17 = y. Solve -r*p - 6 = 2*t - p, 4*p + 12 = -v*t for t.
-3
Suppose 3*i = -n - 29, 5*n - 17 = -0*i + 3*i. Let s = i + 6. Let c be (-13)/s + (-6)/(-9). Solve -3*q = c*x + 34, 0 = -x + 3*x - q + 7 for x.
-5
Let u = 19 - 16. Solve -3*p = u*g + 2*p - 6, 3*g - 3*p + 18 = 0 for g.
-3
Let m(b) = b**3 + 5*b**2 + 4*b - 1. Let s be m(-3). Solve -4*h - 14 = 3*l, 0 = 3*h + 2*l - s*l for h.
-2
Let l = 10 + -17. Suppose -2*a = -s + 3, a - 9 = 2*a - 2*s. Let z = a - l. Solve -4*b + 4 = -z*b - w, 4*b = w - 12 for b.
-2
Suppose -7*n = -0*n. Solve -5*a + w + 12 = n, 4*a - 2*w = w + 3 for a.
3
Suppose -5*g + g = 3*h + 6, h - 3*g = -2. Let s be -1*(-4)/(2 - h). Solve k + s = -3*i, -4*k - 3 = -k + 5*i for k.
-1
Let z(m) = m**2 + 8*m + 1. Let k be z(-7). Let d = 6 + k. Let q = 2 - 0. Solve -4*a = 2*t + 2 - d, 10 = -q*t + 4*a for t.
-3
Let o(v) = v - 1. Let k be o(1). Suppose k = 2*s - 2 - 2. Solve s*x - 5*j = 4*x - 6, -4*x = 4*j - 12 for x.
3
Let s be 22/10 - 2 - 1008/(-60). Solve 5*d - 5*i + 15 