 w = -1 - 6, -k = 3*w + v for k.
-1
Let p(t) = -t**3 + 11*t**2 - 22*t + 19. Let w be p(8). Solve -2*y + 16 = 2*n, -5*n = 2*y + 2*y - w for n.
3
Let t(m) = m**3 + 7*m**2 - m - 7. Let h be t(-7). Suppose -16 = -h*p - 4*p. Solve -u = 4*q + 7, -p*u = -2*u + 6 for q.
-1
Let j = 1 - -14. Let h = -10 + j. Solve 3*m + h*a = 0, 5*m - 4*a = -0*a for m.
0
Let t = 123 + -119. Let j be 0/((4/(-2))/(-2)). Let q be 3/1 - (j + 0). Solve c = -0*c - q*z + t, z = 1 for c.
1
Let v(n) = 3*n**2 + 6*n**3 - 2*n**2 - 7*n**3. Suppose 0 = 6*r - 3*r - z + 5, -3 = 5*r + z. Let y be v(r). Solve 0*j = -4*j - g, 0 = -j - y*g for j.
0
Let q = -3 - -8. Solve 21 = -4*s - q*w, -3*s + 3*w - 10 = w for s.
-4
Let c = 0 + -4. Let d = c + 4. Solve d = -5*v + v + 2*o - 26, 2*o = -3*v - 9 for v.
-5
Let b be (3 + -9)/(-2) + 2. Suppose -b*s = -11 - 4. Solve 0*a + 15 = u - 5*a, -5*u + s*a = 13 for u.
-5
Let c = -110 - -124. Solve 5*x + 28 + 0 = 4*v, -3*v = -2*x - c for x.
-4
Let x be 2 + (2 - 5) + -5. Let j = 11 + x. Suppose -1 = 2*d - 7. Solve -2 = n + d*i, -5*n - j*i = 4 - 14 for n.
4
Let d(i) = i. Let s be d(4). Suppose -s*f - 12 = -3*q, q - 5*q - 3*f - 9 = 0. Solve -4*t - 4*c - 24 = -q*c, t - 3 = 2*c for t.
-3
Let q(v) = v**3 + 4*v**2 - 3. Let m be q(-2). Solve -t + 3*t + 17 = -3*x, 30 = -m*x - 5*t for x.
-5
Let n be 3/((-6)/(-8)) - 2. Let w be (9/6)/(1/2). Suppose 25 = 5*t, w*g - n*t - 2 - 9 = 0. Solve 12 = -3*x, -3*y = -0*y - 4*x - g for y.
-3
Let a = 2 - 6. Let b be a/6 - 28/(-6). Suppose 2 = b*y - 10. Solve -2*l + 23 = -5*c, y*l - c = 5*l - 5 for l.
4
Let k be ((-1)/(-2))/((-9)/(-72)). Solve -3*s - k*r + 9 = -2*s, -4*s + r + 2 = 0 for s.
1
Let n(y) = y**2 + 2*y. Let g be n(-3). Let s = 6 + -3. Let h = 6 - s. Solve -g*f = -3*a + 3, h*a - 4 = -a + f for a.
1
Suppose 0 = -6*c + 3*c - 69. Let g = c - -28. Solve g - 1 = 3*s + 4*d, 5*s - 22 = d for s.
4
Suppose -6 + 0 = -2*a, 5*l + 6 = 2*a. Suppose 4*j = -l*j + 20. Solve j*q - n = -4*n, 0 = 3*q - 2*n - 19 for q.
3
Let q = 136 - 134. Solve w + 1 = k - q, -5*k - w + 27 = 0 for k.
5
Suppose 4*t - 1 = 3. Let m be (-1)/(-4)*28*t. Let u(r) = -r**2 + 4*r + 4. Let p be u(4). Solve -2*q = 4*b - 8, p*b - 3*q + 12 = m*b for b.
0
Suppose 0 = 5*p + 179 + 21. Let w(n) = -2*n**3 + 5*n**2 - 7*n + 5. Let h be w(4). Let f = p - h. Solve -3*o + f = 4*l, -5*l + 8 = 2*o - 22 for l.
4
Let o = 4 + -4. Suppose o = -3*a + 3 + 24. Let s be (-1)/((2 - 1)/(-2)). Solve m = 3*u - 14, 4*m + a + s = -3*u for m.
-5
Let w(r) = -1 + 2*r + 4*r**3 + r**3 - 6*r**3. Let d be w(-2). Solve 0*z = d*z + 4*f, f = -2*z + 5 for z.
4
Suppose 5*c - 30 = -5*u, -c - 4*u = c - 22. Let s be -11*c*(-5)/5. Solve -25 = -n - 5*f, -n - 3*f = -s - 4 for n.
0
Let m be (-9)/(-2)*6/9. Solve -4*t - 3*z - 11 = 3, 3*t = -m*z - 12 for t.
-2
Let b = 51 - 83. Let z be (b/8)/((-1)/9). Solve 3*r + 4*f - z + 10 = 0, 5*r - 5*f = -15 for r.
2
Let z(m) = 2*m + 18. Let g be z(-8). Solve g*p + 4*q = -2*p - 24, -4*q - 6 = -5*p for p.
-2
Let f be 0 - -12*(-1)/1. Let w = f - -17. Solve 5*q = -h - 17, -w*h - 3*q = -8*q - 5 for h.
-2
Let g(x) = x - 7. Let m be g(11). Solve 4*d - 16 - m = -2*f, -2*f + 4*d - 12 = 0 for f.
2
Suppose -i + 4*g = -20, -3*i + 32 = -5*g + 7. Solve i*t = 2*t + 2*f, -4*f + 12 = 0 for t.
-3
Suppose -4*z + 70 = z. Let j be z/3 + 8/(-12). Solve 5*g + 2 = r, -r - g + j = 8 for r.
-3
Suppose 0 = -3*a - r + 63, 3*r - 12 = -3. Solve 0*c = 5*c - a, 2*c = 4*w + 24 for w.
-4
Let m be -5 + -2*3/6. Let k = m - -10. Suppose k*l + 16 = v, 5*l = 3*v - 23 - 25. Solve -2*s - 3 + 1 = 0, -4*s = 5*q - v for q.
4
Let t(q) = 2*q**2 - 14*q + 1. Let p be t(8). Solve 5*l + 31 = -2*d, 2*l = 6*l - d + p for l.
-5
Let l(k) = -k**2 - 3*k + 2. Let c be 20/3*9/(-6). Let f be (3/2)/(5/c). Let t be l(f). Solve 3*q = -5*w - 37, -t*q = 2*w - 4*w - 2 for q.
-4
Let f = -2 - -11. Solve 2*u + 5*b = -u + 29, -u + 3*b = f for u.
3
Suppose 4*f - 7 = 1. Suppose -f*d = 3*d - 5. Solve -c - 3*k - 4 = 0, k = 5*c - 3*c + d for c.
-1
Suppose -3*q + 24 = 3*u, 3*u - 2*q - 16 = u. Let x be (u - 7)/(1/3). Solve 5*h - x*o = -2, o = 4*h + 6*o - 28 for h.
2
Let i(r) = -r**3 - 2*r**2 + 2*r - 2. Let n be i(-3). Let u(q) = 4*q - 1. Let l be u(n). Solve 0 = l*m - 5*y + 20, -2*m + y - 13 = -2 for m.
-5
Let w = -15591 + 7263. Let d be 2/7 + w/42. Let s be 1/5 - d/10. Solve 0 = -2*y - 2*g - s + 2, 3*y + 4*g = -32 for y.
-4
Let v(o) = -o**2 + o. Let u be v(0). Let k(s) = -s**3 + 4*s**2 - 3*s. Let w be k(3). Solve w*z + z = 4*f + 5, 2*f + 3*z + 13 = u for f.
-2
Suppose 0 = 26*g - 28*g + 2. Solve -5*x + 5 = -w - g, 5*x - 10 = 5*w for x.
1
Let x(f) = 4*f**2 + 1. Let i be x(-1). Suppose -4*q + i*o + 12 = -19, q + 5*o = -11. Let j = 1 + q. Solve -3*a = j*v - 9, 3*v = -3*a + 6 + 3 for a.
3
Let z(m) = m**3 - 5*m**2 - 4*m - 7. Let f be z(6). Suppose -26 = -q - f*g, -16 = -4*q + 2*q - g. Solve -2*d = -2*y + q*y - 10, 4 = y - d for y.
3
Let y be ((-84)/(-2 - -4))/(2/(-1)). Solve 5*c = 2*b + 3 + 18, -4*c + 3*b + y = 0 for c.
3
Suppose -4*y = 4*c - 3*c + 12, 5*y - 2 = 3*c. Let u(w) = -2 + 4 - 5 - 2*w. Let s be u(c). Solve 0 = x + 2*a - 4 - 1, 3*x = s*a - 18 for x.
-1
Let w(l) be the first derivative of 5*l**4/4 - l - 2. Let r be w(1). Solve 0 = -2*d, -7*d = r*a - 2*d + 12 for a.
-3
Let w(g) = -2*g + 2. Let v be w(-2). Solve -i = v*n - n, 5 = 2*i + 5*n for i.
5
Suppose -2*j + 6 = -0, -j - 37 = -4*l. Suppose -t + l = -6*t. Let b be (-12)/42 - t/7. Solve -5*x + 3*d + 8 = -d, 2*x - d - 5 = b for x.
4
Suppose -u = 2 + 8. Let w = 15 + u. Solve -w*d = -5*v, v + d + 10 = -3*d for v.
-2
Let d be (-2 - (-1 - (-6)/(-2)))*1. Solve -d*q = -4*j - 10, -4*q - j + 11 = -9 for q.
5
Let y be (16/12)/(4/6). Let h = -18 + y. Let s be 2/8 + 4/h. Solve -g = 3*q - s*q, 4*q = g for q.
0
Let o(n) = -2*n**3 + 11*n**2 + 6*n + 2. Let a be o(6). Solve 0*z + 3 = -3*x - z, -4*x + a*z = 4 for x.
-1
Let g be (-1)/(2 + (-31)/15). Suppose 4*v - g = -v. Solve -3*p - 14 = -2*m, v*m - 22 = 2*p + 3*p for p.
-2
Let b(p) = p**3 + 6*p**2 - 3*p - 8. Let n be b(-6). Let f = -6 + n. Let w be 0/(-2) + -1 + f. Solve -d - 3*h = -5, 0 = -w*h + 2*h + 3 for d.
-4
Let a(q) = -5*q**3 - 2*q - 1. Let p be a(-1). Let f = p + -7. Let y(r) = -2*r + 1. Let u be y(f). Solve 0 = i, s + u + 2 = 4*i for s.
-5
Let h be 1/(-6) - (-93)/18. Solve -3*r + 0*v = -v + 9, 4*v = -h*r + 2 for r.
-2
Let u = -48 - -50. Let g(y) = y**2 - 5*y - 3. Let n(a) = a**3 - 3*a**2 + 2*a. Let f be n(3). Let m be g(f). Solve -c + 2*j = 4*j + m, -2 = u*j for c.
-1
Let r(w) = 5*w - 2. Let u be r(1). Solve -c - 5*k = 23, 0*c - u*k = -5*c + 25 for c.
2
Let x = 5 + -1. Suppose -h = -x*k + 1, -k + 11 = 2*h + 4*k. Suppose -4*o - 21 = -2*b - 3*b, o = -2*b + 11. Solve b*w - 11 = 3*n, h*w - 8*w + 7 = -n for n.
-2
Suppose -10*t + 36 = 6. Solve 3*o - 5*i = -o - 40, 4*i - 1 = -t*o for o.
-5
Let v = 19 + -17. Suppose 10 = v*l, 31 = 4*d + 4*l - l. Solve d*j = -7 + 27, 5*q - 5 = 2*j for q.
3
Let i be 427/28 + (-3)/(-4). Solve 5*l - i = -g, -g - 2*g = l + 8 for g.
-4
Let o(s) = -2*s + 57. Let c be o(18). Solve 3*g - c = -3*a, -5*g - 2*a + 34 - 11 = 0 for g.
3
Suppose b + o = 6, -2*o - 2*o = 3*b - 14. Solve -5*i + 3*x = 14, 3*i = 2*i - 3*x - b for i.
-4
Let w = 9 - -2. Solve 40 = -5*y + 5*u, -4*y = -u + 31 - w for y.
-4
Let u(j) = -5*j. Let c(b) = 7*b - 1. Let x be c(1). Suppose -6 = 4*g + x. Let d be u(g). Solve -3*f + 3*p = d, -f - 3*p = 2*f - 15 for f.
0
Let p(w) be the first derivative of w**2/2 + 15*w - 1. Let n be p(-11). Solve -n*q + 2*u - 2 = -0, -2*q + 5 = -3*u for q.
-2
Let o be (1 - (-3)/(-12))*-4. Let j(r) = -r**2 - 4*r + 1. Let i be j(o). Solve 5*b = m + 10, -b = 3*b - i*m - 24 for b.
1
Let o(h) = -h**2 - 7*h + 3. Let f be o(-7). Solve -3*b = j - 16, 0 = f*j + b + b - 13 for j.
1
Let c be (-18)/4*4/(-6). Suppose -c*m + 48 = -0*m. Solve 5*r - v + 5*v - m = 0, 4*r + 8 = 2*v for r.
0
Suppose -4*q + 0*u + 22 = 2*u, -5*u = -25. Suppose -q*v = -14 - 40. Suppose -v + 0 = -2*j. Solve -4*y - j = -2*a + 3, -a = -3*y - 11 for y.
-5
Suppose -6 = 6*t - 30. Solve 2*r = b - 2, -2*r + 0*r + 4*b = -t for r.
-2
Let m = 9 + -5. Let c be 3 + (-1)/((-2)/m). Suppose 0*j = -z - c*j - 22, 5*z - 40 = 5*j. Solve 3 = -z*t - 2*r - 1, 0 = -5*t + 4*r + 8 for t.
0
Suppose -5*g = 2*x - 0*g + 2, -4*x = 2*g - 12. Solve 0 = 5*w - y + x, -w = 3*w - 4*y + 16 for w.
0
Suppose 3*x - 5 = 7. Le