= 4*k + 2 + 2 for k.
4
Let i be 46/4 + 2/(-4). Suppose 10*c - 50 - 70 = 0. Solve o + 3*t = i, 0 = 2*t + 2*t - c for o.
2
Let n be 6/4 + 2/4. Solve -2*z - 10 = 3*f, 3*z + f + n*f + 12 = 0 for z.
-2
Suppose 7*p = 5*p. Solve -2*m - 2*u - 16 = 3*m, 4*m - u + 5 = p for m.
-2
Suppose 3*p + 1 = -3*t + 4, 2*p + 18 = 3*t. Solve 4*v + 4*o - 12 = -t, 22 = 5*v + o for v.
5
Let q be (4/(-20) - 8/10) + 3. Solve 0*r + 3*r = 2*t + 7, -q*r = t + 7 for r.
-1
Suppose 17*w = 13*w + 16. Solve 6*v + 3*b - w = 2*v, -3*v + 3 = 2*b for v.
1
Let h be ((-5)/4)/(5/(-40)). Solve 0 = -4*j + 3*a - 4, j + a = -a + h for j.
2
Let y be 104/88 + (-2)/11. Suppose -2*l - 9 = -3*f, -4*f + 11 + y = -2*l. Solve -f*s + 3*v + 27 = 0, 2*v = -s - 3*v - 15 for s.
5
Suppose -d - 4*s + 8 = 0, -s + 0 = 5*d - 2. Suppose w + 4*w - 55 = 0. Let j = -7 + w. Solve d = 4*r + j*k, 5*k - 3 - 12 = 0 for r.
-3
Let m = 12 + -10. Solve 3*t + 6*b + 5 = b, 8 = -m*b for t.
5
Let w be (6 - 7) + 1*36. Solve 5*f = 5*o - w, 5*o + 11 - 42 = 3*f for f.
-2
Let c = 14 - -21. Solve -4*g + 24 = -t, -3*g + 3*t + c = -2*t for g.
5
Let p = -38 + 41. Solve 0 = -5*n - p*g - 34, n - g - 23 = 5*n for n.
-5
Let a = 42 - 21. Let j = 35 - a. Solve -5 = -3*n - 17, -2*o - j = 4*n for o.
1
Suppose 3*a + 11 = 26. Suppose -a*n = 10, 0*y - 5*y + n + 17 = 0. Solve 4*g = 4*c + y + 5, 2*c + 4 = -5*g for g.
0
Suppose 2*c - 15 + 9 = 0. Solve -b + 0 = -2*s + 4, 3*s - c*b = 9 for s.
1
Let o = 12 - 1. Suppose d - o = -3. Suppose -2*v = -0 - d. Solve v*l = -0*l + 2*n, -3*l = -4*n for l.
0
Let y = -24 - -26. Solve -q - 4 = y*q + 4*l, -5*q = 2*l + 16 for q.
-4
Let n be -5*(0 - (-2 + 3)). Suppose -2*f - n = -3*f. Solve -1 - 5 = f*l + 3*j, l - j = -6 for l.
-3
Suppose 25*y = 34*y - 27. Solve 0 = y*z + 18 - 3, 5*v = 2*z for v.
-2
Suppose 6 = 5*h - 3*t, -t = -3*h - h + 2. Solve -3*l = -h*l - 4*d - 18, -5*l + 3*d + 19 = 0 for l.
2
Let g = 4 - -2. Solve 3*q + n = 5, 5*n = 2*q + g - 32 for q.
3
Let y(l) = -l**2 - 8*l + 7. Let d be y(-7). Let v be (-4)/(-14) - (-38)/d. Solve -v*o - 2 = -3*n + 1, -3*o = -4*n + 1 for o.
-3
Suppose 5*o = 5*u - 160, -68 = -3*u - o + 28. Let m = u - 18. Solve -m = -4*k - z, 3*k - 6*z = -z + 22 for k.
4
Suppose -h = 5 - 25. Let i be 8/(-5)*(-50)/h. Solve -b + 2*v = 2 + i, 20 = 4*b + 3*v for b.
2
Let t be ((-3)/(-2))/(2/4). Suppose -l - 4 = -t*l. Let c be ((-5)/(-2))/(1/2). Solve z - 4*i = -3*i + c, -3*z - l*i = -5 for z.
3
Let c = 5 - 3. Suppose -10 - c = -4*v. Suppose 0 = -4*j + 4, 0*j - 74 = -5*y + j. Solve 0 = -v*m + y, -2*n + 5*m + 6 = 35 for n.
-2
Let k be -2*2*6/(-12). Suppose -r + k = -0. Let y be ((-10)/25)/(r/(-20)). Solve -2*u - 4*z = y + 18, 4*u = z - 8 for u.
-3
Let j = 14 - 7. Let v = 22 - j. Solve 3*h = -4*f - v, 5*f - 5*h - 11 - 14 = 0 for f.
0
Let a(w) = w**3 - 9*w**2 - 6*w - 1. Let g be a(9). Let o be 2/2*g/(-11). Solve 6*p + 15 = 5*x + p, -o*x = -4*p - 11 for x.
-1
Suppose -4*n + 6 + 22 = -2*i, -5*n = 5*i - 20. Solve -5*o + n = 2*s + 16, -2*s + 2 = -o for o.
-2
Let o = -162 + 40. Let s be o/(-10) + 6/(-30). Solve -4*u + 3*r + 4 = 0, 2*r - s = 3*u - 4*u for u.
4
Let y be (3/2)/(3/12). Suppose y*i - i = 20. Solve 0 = -m - 2*w - 3*w + 2, 2*m - i = 2*w for m.
2
Let z = 0 + 4. Solve -z*q = -0*q + o + 11, -6 = 2*o for q.
-2
Suppose -4*o + 2 = 2*b, 5*o + 2*b - 4 = -2*b. Solve -r - r = -2*z - 6, 2*z + r + 12 = o for z.
-5
Let x = -15 + 30. Solve 5*k + 5 = -x, -5*p - 4*k = 21 for p.
-1
Let s(g) = 5*g. Let q be s(-7). Let i be (28/q)/((-1)/5). Let r(m) = m**2 - 5*m + 6. Let v be r(4). Solve 0 = -4*t + v*h + h - 1, -3 = -t + i*h for t.
-1
Let z = 0 - -2. Suppose 0 = 2*u + 4 - 14. Let b(m) = m**3 - 5*m**2 + m - 1. Let o be b(u). Solve -3*n = -o - 2, c + 4 = z*n for c.
0
Suppose 2*d = -3*d. Suppose d = l + 3*l - 16. Solve h = -l*p + 5, 1 = 2*p + h - 0*h for p.
2
Let s = 1 + -1. Suppose -6*a = -3*a - 66. Suppose s = j + j - a. Solve -6*d + 2 = 3*n - 5*d, 4*n + 3*d - j = 0 for n.
-1
Let w be 3*(-4)/(-3)*1. Let b be (-6)/6 + 2*2. Let u = b - 1. Solve -u*a - 22 = -w*j - 8, 3*j = 3*a + 6 for j.
5
Let x be 25/2*22/55. Solve 0 = -x*q + 2*i - 6 + 2, -2*q - 10 = 2*i for q.
-2
Let q = 16 + -14. Suppose -16 = -3*m + q*m. Solve 0 = -4*l - 4*o - 24, -2*l - 3*l - m = -2*o for l.
-4
Suppose t - 7 = 3. Let u = t - 6. Solve -3*d = -d + 4*o + 12, 0 = u*d - 5*o - 15 for d.
0
Let t(j) = -j**2 - 6*j + 3. Let n = 1 - 7. Let l be t(n). Solve 5*k = 2*c - 8, -5*k + c - 12 = l*c for k.
-2
Suppose 5*u + 52 + 58 = 5*k, 4*k - 88 = -u. Suppose 2*j = y - 2*y, j - 5*y - k = 0. Solve 3*f + 3*g - 15 = 0, -f + j*f - 17 = -4*g for f.
1
Let t be 1/(9/10 + 16/(-40)). Solve 0 = t*m + 4*v - 12, 4*m - 4*v + 0*v = -36 for m.
-4
Let j = -8 + 11. Let u be (-12)/(-2) + -1 + j. Solve 0*t = n - t - 2, 2*n - u = 4*t for n.
0
Let z be ((-9)/2)/(((-60)/(-16))/(-5)). Solve 4*x - 16 - 2 = 5*k, -5*x - 2*k = -z for x.
2
Let u = 101 - 96. Solve 3*p + u*l = 7*p - 29, 0 = 4*p - 2*l - 14 for p.
1
Let t(k) = 4*k - 29. Let r be t(8). Solve 3*g + 2 = -3*i - 1, g = -r*i - 7 for g.
2
Let o = -9 + 14. Suppose 5*c - o - 5 = 0. Suppose 5*t + c = 12. Solve 3*h - 4*j + 8 = -h, -t*h - j = 4 for h.
-2
Suppose -11*v + 13*v - 4 = 0. Solve -3*x = -v*q + 2, -3*q - 4 = -0*x - x for x.
-2
Let c = 9 - 5. Solve -r + c*s + 2 = 4*r, 2*s = -2*r + 8 for r.
2
Suppose 0 = 11*x - 14*x + 12. Solve 2*w - 15 = -x*d + w, 2*w = -4*d + 10 for d.
5
Suppose 0 = -2*n - 16 + 6. Let j be n*((-18)/(-10))/(-3). Suppose 3*x + 4*w = -4, w - j = -x + 4*w. Solve 0 = -2*b - x*b - 5*v + 7, 2*b + 20 = 4*v for b.
-4
Let l = -34 - -56. Suppose -2*d + 20 = 5*y, l = -0*d + 2*d + 4*y. Solve -2*p - d = -0*p + 3*b, -15 = -5*p + 3*b for p.
0
Let q be (-406)/17 - 38/323. Let y = q + 38. Solve 3*i - 2*v = -y, 2*i + 3 = -0*v - 5*v for i.
-4
Let s = -8 + 13. Suppose k - m - 6 = 0, k - 15*m = -12*m + 8. Solve -2*h = z - s*h - k, -4*z - 5*h = 31 for z.
-4
Let h = 0 - -1. Suppose -2*b + b = -h. Let n be (0 - b)*10/(-5). Solve 0 = n*o + x - 0*x - 7, -o + 6 = -2*x for o.
4
Suppose -2*s = 2*s + 2*q - 18, 0 = q - 3. Let d = 8 - 6. Suppose -u + 2*u + 5 = -d*v, 3*v = -5*u - 25. Solve v = -s*o - 2*z - 4, -3*o + 10 = -6*o + 4*z for o.
-2
Let b be -2*(2 - (0 + 7)). Let v be (-7)/(-1) + 14/(-7). Suppose v = 2*y - y. Solve -y*n = 4*a - 7, -4*a = -4*n - b - 6 for a.
3
Suppose -11 - 11 = -11*v. Solve -l - o = 6, 0 = -2*l - 3*o - v*o - 18 for l.
-4
Let z be 1 - -19 - (3 + -3). Suppose d = 6*d - z. Solve 0 = d*s - 3*g + 23, -2*g + 7*g - 17 = -4*s for s.
-2
Let k = 7 + -2. Solve 5*i + 35 = -k*n, 3*i - 2 + 20 = -2*n for i.
-4
Suppose -c + 5 = 0, 0*w = 4*w - 5*c - 75. Suppose 4*i = -i + w. Suppose i*k = 9 + 6. Solve 4*z + 5 = -k*y, 2*y + 5*z = -2 - 6 for y.
1
Suppose 22 = 3*y + 4*g - 1, -2*g + 9 = y. Solve -y*v - 2*s - s - 23 = 0, v - 1 = 5*s for v.
-4
Suppose 0 = 2*x + x. Suppose 0 = o - 2 - x. Let d = -31 - -44. Solve -3*v + 4*s = d, 3 = -o*v + 3*s - 6 for v.
-3
Let l(j) = -j + 24. Let c be l(20). Solve -y = -3*n - 1, -n = -2*y + c*y - 9 for y.
4
Suppose 2 = 7*j - 12. Solve v - 1 + 2 = 4*o, 5*o + j*v = -2 for o.
0
Suppose -15 = 11*k - 14*k. Let n(x) = -2*x + 4. Let s be n(-5). Solve -k*i = -2*i - 15, -3*c + i = s for c.
-3
Suppose 3*l + 0 = 18. Let m = 8 - 5. Suppose -5*f + 2*x + 20 = -f, -2*f = -m*x - 18. Solve 2*a + i + l = f*i, -2*a - 9 = i for a.
-4
Let k = -11 - -14. Let x be (-190)/(-15)*k/2. Suppose 5*j + 2*i - 4 = 0, -3 = -5*j - 3*i - 2. Solve n - t - 3*t + 23 = 0, 5*t = -j*n + x for n.
-3
Let u(s) = -s**3 - 14*s**2 - 12*s + 18. Let t be u(-13). Solve -3*d - 13 = -t*z, d + 0 = -3*z + 5 for z.
2
Let b(x) = x**3 - 7*x**2 - 9*x + 10. Let c be b(8). Let a be (c - 0)/2 - 16. Let p = a - -23. Solve -p = -2*l + 3*l - 4*g, 10 = -4*l + 5*g for l.
0
Let w = 13 - 7. Suppose -2*u = -3*u + 5. Suppose -1 + 2 = 2*o + 3*s, -3*s + 7 = u*o. Solve 3*l - 5*g + w + 11 = 0, -o*g = -3*l - 5 for l.
1
Suppose 3*t - 5 = -2. Let l = 4 + t. Solve -11 = -4*c - 3, -4*c = l*z - 8 for z.
0
Suppose 0*c - c = -2*y + 8, 4*y - 20 = 0. Suppose 0*d + d = 4*k + 18, -d = 4*k + 22. Let w be (-1)/((c/3)/d). Solve 0 = -3*z - 15, f - w*z = 12 + 2 for f.
-1
Let s(t) = 3*t - 2*t - 2*t + 5 + 2*t. Let f be s(-5). Solve 4*c + f*a = 2*a, -c - 3*a + 7 = 0 for c.
1
Let a = 12 + -4. Solve -2*y - h = -0 + 7, -3*y + h - a = 0 for y.
-3
Let g(c) = 5*c**2 - c + 2. Let w be (1 - 1)/(2 - 1). Supp