 = -2*k for k.
-4
Suppose 27 = 3*f + 21. Suppose -5*k + 28 = m, -4*m + 15 = 3*k - 12. Suppose -3*p + 3 = -m. Solve 5*n - n = -p*l - 22, n = f*l + 2 for l.
-3
Let w be (-15)/(-6)*(-28)/(-35). Solve 0*d - w*d = 6, 3*l - d + 9 = 0 for l.
-4
Let n(q) = -q**3 - 5*q**2 + 2*q + 28. Let h be n(-4). Solve k - 2*r = -r + 4, 24 = -h*k - 4*r for k.
-1
Let f be 6/((108/(-8))/(-9)) - 4. Solve 4*m - 3*v + 20 = f, m + 5*v = 12 + 6 for m.
-2
Let f(r) = -r - 21. Let p be f(6). Let i = p + 37. Solve -3*t - 5 = -2*b, 4*t + i = -2*b + 2*t for b.
-2
Let h = 21 - 78. Let p = h + 58. Solve 4*d = -a - p, 0 = -2*a - a - 5*d - 10 for a.
-5
Let d = -3 - -7. Suppose -5*g + 20 = -15. Let v(t) = -t**3 + 7*t**2 + 3*t + 3. Let l be v(g). Solve -5*w - 3*k + 22 = -15, d*w + k = l for w.
5
Let b be (-108)/36*(-4)/3. Solve 6*s = 3*v + 5*s + b, -v = s for v.
-1
Let h(v) = 8*v**2 - 4*v - 2. Let f(q) = -q**3 - 3*q**2 - 4*q - 5. Let c be f(-2). Let x be h(c). Solve -2*d = -0*d - 3*a + 6, a = -2*d + x for d.
3
Suppose 0*b = -4*b + 100. Let s(l) = 4*l**2 - 11*l - 65. Let c be s(-3). Solve -c*z - 4*d + 7*d = b, -5*z + d = 23 for z.
-4
Suppose 0 = 3*d + 3*z - 13 - 5, 3*z = 5*d + 2. Suppose 2*l = -4*u + 28, -d*u + 22 = -l + 4*l. Solve 5*h - l*y = 5, h + 7 = 4*y - 8 for h.
5
Suppose -31*u + 4 = -30*u. Let m = -17 - -7. Let g be (m - -2)*(-1)/2. Solve 3*s - 10 = u*h, s - 3*h + 3 = g*s for s.
2
Let y = -157 - -164. Solve -2*w + 3*l - 5 = 0, -l = 3*w - y + 20 for w.
-4
Let t be (72/(-90))/(1/(-5)). Solve 5*j - 2*k - 11 = 15, -4*j + 28 = -t*k for j.
4
Let k(w) = 5*w**3 + 4 + 8*w**3 - 12*w**3. Let l be k(0). Solve 4*u = l*m - 20, -4*u - 11 = -m - 0*u for m.
3
Let p = 121 + -119. Solve 3*f + p = k + 2*f, 7 = 2*k - f for k.
5
Let l = -3 + 32. Let d = l + -21. Suppose -11 = -4*z + 1. Solve -3*h + d = -z*j + h, 4*h - 8 = -3*j for j.
0
Suppose -2*t + 3*t - 2 = 2*x, 0 = -t + 5*x + 5. Solve 3*d + 3*i = -6, i + t = d + 6 for d.
-4
Suppose 4*o = -29 + 117. Suppose -p = -3, -z = z + 4*p - o. Suppose 3*m + 14 = z*m. Solve -2*y = 5*j, -m + 29 = j - 4*y for j.
2
Let f be -2 - (1/(-2) + 36/(-8)). Let q be 1*(-1)/1*(-13 - 0). Solve -3*t = -2*v + 22, f*v = 2 + q for t.
-4
Suppose -4*m + 167 + 137 = 0. Suppose 3*p + 5*b - 40 = -0*b, 5*p - b = m. Solve -5*x - 5*o = p, -3*x - 3 - 8 = 5*o for x.
-2
Suppose -3*k = -22 - 8. Solve 3*c + 2 = -g - 4, -5*c - 3*g = k for c.
-2
Let a(g) = -5*g + 42. Let k be a(8). Solve 4*o - 16 = -k*w, -3*w + 4 = o + w for o.
4
Suppose -4*y = -c - 3*y + 4, 3*c + 2*y - 2 = 0. Solve -9 = m + c*s, m - 3*s = -0*s + 6 for m.
-3
Let l = -131 - -134. Solve -l*s = -4*m + 4, 3*s + 4 + 2 = 3*m for s.
-4
Let r = -1 + 1. Suppose -9 - 15 = -3*k. Suppose 3*z + 64 = 4*l, -2*l - 4*z + 46 + k = 0. Solve 4*g - g - 5*d - l = r, -5*d = -g + 13 for g.
3
Let k(r) = r**2 - 6*r + 14. Let v be k(3). Solve 0 = 2*u - 2*g - 2, u + 2 = v*g - 5 for u.
3
Let o(i) = -2*i - 2. Let z be o(-2). Suppose 0 = z*y + 8. Let m be (-4 - y)/(-1 - 2). Solve -24 = 4*d + 3*a, -2*d - 4*a - 27 + 5 = m for d.
-3
Let u = -657 + 662. Solve -2*k = -7*k - 5*i, -8 = k + u*i for k.
2
Let o be 8 + (90/(-24) - 6/(-8)). Suppose 0 = 2*a - 8, 3*g = -5*a + 8 + 42. Solve -n + 0 = -5*u + 2, o*n - u = -g for n.
-2
Let v = 477 + -470. Suppose 4*n + 0*n - 8 = 0. Solve 4*q + 5*a = 6, -3*q + n*a - v + 0 = 0 for q.
-1
Let q(y) = -y**2 - 8*y - 9. Let z be q(-6). Suppose p - 7 = -z. Solve -7 - 5 = 3*d - 3*b, -d - p*b - 4 = 0 for d.
-4
Suppose 5*s = -4*x + 58, 6*x - 32 = 3*x + 2*s. Solve -4*o + 3*w - 16 = 0, -o - 4*w = 2*o + x for o.
-4
Suppose 0 = -3*a - 5 + 17. Suppose a = -0*m + m. Solve 0 = -3*c + 4*f + 18, m*c + 2*f - 2 = -0 for c.
2
Suppose 16*o = 12*o + 8. Suppose -14 = h + 5*i, -3*h + o*i = -18 - 8. Suppose -3*p = -h*p. Solve -3*y - 5*w + 16 = p, -5 = 5*y - 0*w + 2*w for y.
-3
Suppose -13*w + 24 = -41. Solve 3*v = -w*i, 0*v - 2*v - 2 = 4*i for i.
-3
Suppose -5*b + 2 = -8. Suppose b*f + 2*f - 2*a - 14 = 0, f = 2*a + 5. Solve p = -5*t - 15, f*t + t - p = -21 for t.
-4
Let s(g) = 8*g - 43. Let o be s(9). Solve -2*c - 3*b + o = -6*c, 0 = -2*b + 6 for c.
-5
Suppose -2*x - 23 = 1. Let s be (-150)/x - 2/4. Solve 8 = 5*p - 10*p - 3*r, p + s = 2*r for p.
-4
Suppose -38*b + 124 = -40*b. Let d = -59 - b. Solve 2*m + 22 = -d*u, 0*m + 4*m + 8 = 3*u for m.
-5
Let p be (-22)/3*5*(-15)/(-10). Let n = p + 57. Solve -5*k = 5*z - 15, -n*z - 7*k = -3*k - 12 for z.
0
Let v(n) = -n**2 - 4*n + 5. Let p be v(0). Let z be 2 + 2 + 1 - (-2 + p). Solve -6*x = -z*x + 16, -4*u - 5*x = 16 for u.
1
Suppose 0 = -6*m + 5*m + 1, -3*m = f - 6. Solve 5*x - 2*s = 23 - f, 0 = -2*x - 4*s + 8 for x.
4
Suppose 44 = 3*r + 32. Suppose m + 4*k - 2 + 4 = 0, 0 = -4*m - 5*k + 3. Let a be 0 - (-3 + 2)*1. Solve r*h - 11 = -m*q + 9*h, -a = h for q.
3
Let i = -2062 - -2097. Solve -s - 5 + 11 = -2*z, -i = 3*z + 5*s for z.
-5
Let c = -597 + 597. Solve -a - v + 0 = 3, c = -2*v - 4 for a.
-1
Let f = 37 + -10. Suppose 0 = -4*p + 3*w + 296, -63 - 10 = -p + w. Let i = p + -68. Solve 0*m + i = -2*m + 3*x, 0 = -4*m - 3*x + f for m.
3
Suppose 0 = -4*y - 3*r + 18, 2*y - 18 = -2*r - 8. Suppose -4*p = -12, -y*s - 13 = -7*s - 3*p. Solve 5*b = -5*f + 5, -4*f - 2*b - s + 3 = 0 for f.
0
Suppose -3*x - 16 = -58. Let o = 10 + x. Suppose 4*d + 8 = o. Solve -3*f - 3*k - 18 = 0, d*f + 3*k + 18 = -3 for f.
-3
Let b be (-2)/(-3) + 0 + 28/21. Suppose -3*p = 2*r - 30, b*r = 3*p + 1 + 5. Let o = 0 - -3. Solve 6*a = o*a + l + 2, -4*a = 5*l - r for a.
1
Let b = 37 + -36. Let z(n) = 4*n**3 + n**2 - n + 1. Let v be z(b). Solve -d = 2*p - v, d + p - 8 = -4 for d.
3
Suppose 0*l + 4*l - 31 = 3*s, l + 2*s + 6 = 0. Solve -4*b - l*k + 12 = 0, 2*b + 3 = 7*b - k for b.
1
Suppose -u + 24 = 21. Solve 2 = -2*p, -5*k = u*p - 0*p + 8 for k.
-1
Let m be 25/4 + (-5)/20. Suppose 2*n - p - m = -n, 0 = -4*p. Solve -3*a - j = -4, -a + 3*j = -0*j + n for a.
1
Let v = 242 - 237. Solve 3*z = -0*z + v*w - 13, 0 = 3*z + w - 17 for z.
4
Let p(f) = -f**2 - 46*f - 236. Let b be p(-40). Solve -y - 1 = 3*m - 10, -b*y = 3*m - 9 for m.
3
Suppose n + 3*n - 20 = 0. Let r(v) = -v - 16. Suppose 23 + 34 = -3*i. Let g be r(i). Solve -g*q = 2*x, 5*q - 3*q = -n*x + 11 for q.
-2
Let i = 102 - 78. Let c be 1/4 - (-267)/(-12). Let v = c + i. Solve 4*p - 4 - 5 = q, -3*p - q = v for p.
1
Let g be ((-12)/(-9))/(4/6). Suppose g*q - 10 = -0*q. Solve -3*p - 3 = -q*p - i, 9 = 5*p + 2*i for p.
3
Let m = 101 - 97. Solve 4*o - 4 = -m*b, 2*o = -b + 6 - 5 for o.
0
Let r(c) = c**3 + c + 2. Let x = 39 - 40. Let h be r(x). Solve -w - 3*z - 2 = 0, -4*w + 20 = -h*w - 2*z for w.
4
Suppose 0*n - 3*n = -3. Suppose -7*o + 20 = -n. Let r = 18 - 13. Solve -h + 2 - 11 = r*q, q + 13 = -o*h for q.
-1
Let o = -18 - -38. Suppose 4*c - w = 3*w + o, -2*w - 10 = 2*c. Suppose 3*j = b + 2 - c, -3*b + 4 = -4*j. Solve 0 = -0*v + 2*v - 5*z + b, -8 = 4*v + 3*z for v.
-2
Let a(w) = -w**2 - w - 1. Let y(f) = 5*f**2 - 5*f - 11. Let i(h) = -4*a(h) - y(h). Let x be i(10). Solve x*v = -4*d + 40, d = 3*v - 4 - 3 for v.
4
Suppose 141*w - 145*w = -12. Solve w*k - 27 = 5*p, 3*k = -p - 2*k + 17 for p.
-3
Let v be (13/(-2))/(20/(-160)). Suppose -4*t + v = 4*z, 2*t = 6*t + 12. Solve -h - 5*a + 19 = 0, -3*a - z = -7*a for h.
-1
Let c(d) = -7*d + 56. Let y(z) = z**2 - z - 22. Let v be y(-5). Let w be c(v). Solve -3*f + 3*t - t = -11, -3*t - 3 = w for f.
3
Let u = 21 + 22. Let m = -25 + u. Solve 0 = -2*p + 5*r + m, 14 = 4*p + r - 0 for p.
4
Let b(x) = -x**3 + 11*x**2 + 2*x + 12. Let h be b(11). Let c = 38 - h. Solve 0*z = 3*z, 5 = -v + c*z for v.
-5
Suppose 5*z = -4*y - 1 + 4, 0 = -2*y - 2*z + 2. Suppose y - 2 = -3*u. Solve 2 = -4*b - 3*i, u*b + 1 = -3*b - 2*i for b.
1
Suppose 4*s = 21*s - 51. Solve k - 17 = -3*d, -7*d + 28 = -s*d + 4*k for d.
5
Let o(u) = -u**3 + 15*u**2 + 22*u - 22. Let p be o(16). Let j = -74 + p. Solve -2*w + 5*h + 0 = -2, j = 4*w - 4*h + 8 for w.
-4
Let i(x) = 2*x - 5. Let v(k) = 3*k - 7. Let w(r) = -7*i(r) + 5*v(r). Let l be w(3). Let u = -2255 - -2259. Solve 4*s = -u, -3*s = 2*z + 2*s - l for z.
4
Suppose 25*s = 22*s + 12. Solve 0 = 5*w - r + 9, w - r = s*r - 21 for w.
-1
Suppose 8 = 23*i - 84. Solve 5*v + 4*f - 22 = -3, 5*f = -i*v + 17 for v.
3
Let y(a) = 3*a**2 - 9*a + 6. Let x be y(2). Solve 12 = 3*l - 3*p, x*p = 4*l - 3*p - 12 for l.
0
Let u(t) = t**2 + 24*t + 14. Let d be u(-21). Let j = d +