2*k = -x*k - 24 for u.
5
Suppose 2*z - 5*b - 31 = -z, 19 = 7*z - b. Let q(t) = -t**3 + 6*t**2 + 8*t - 2. Let c be q(7). Solve 2*w + c*l - 7 - z = 0, 30 = -5*w + 5*l for w.
-3
Let q(f) = 2*f**3 - 11*f**2 - f - 4. Let b(k) = k**2 + 4*k + 9. Let y be b(-3). Let o be q(y). Solve -3 + o = -4*j - 5*d, j + 5*d + 17 = 0 for j.
-2
Suppose 0 = -j - t - 3*t + 3, 2*t - 15 = -5*j. Solve 0*r + 5*b = j*r + 23, -5*b + 19 = r for r.
-1
Let t(p) = -p**3 - 6*p**2 - 6*p + 2. Let j be t(-5). Solve -h + 4*m = j, -4*m + 33 - 1 = 4*h for h.
5
Let g be ((-2)/4)/(1/(-8)). Suppose -5*v - 5 = -5*y - g*v, 0 = 3*y + 4*v + 20. Solve 3*k = a + 3 - 1, y = -4*k + 5*a + 10 for k.
0
Suppose -9 = 3*c, 13*h - 8*h + c = 7. Solve -3*y - 7 = 2*d, -2*y = -2*d + h*y + 28 for d.
4
Let g be (-3)/(9/(-6)) - -2. Let y(r) = r - 1. Let m be y(7). Solve g*s + 3*o = 9, -m*s + 3*o = -2*s - 15 for s.
3
Suppose -24 = -10*t + 8*t. Suppose 4*p - t = -4. Solve -2 = -k + p, 31 = 5*h + 4*k for h.
3
Let n = 2872 - 2872. Solve -4*r - 16 = n, 3*z + 0*z = 5*r + 32 for z.
4
Suppose 0 = -3*f + 7*f + 88. Let s = 6 + f. Let h be (-6)/4*32/s. Solve -h*p = -a + 12, -5*a + 3*p + 9 + 3 = 0 for a.
0
Suppose 2*g = -4*r + 16, -64*r = 4*g - 69*r + 7. Solve 2*n + m = -g - 2, 3*n = -4*m + 4 for n.
-4
Suppose 12*n + 1 = -d + 11*n, 7 = -3*d - 4*n. Solve -d*z - 14 = 5*h - 3*h, -4 = 4*h for z.
-4
Suppose 307*w + 22 = 309*w. Solve 0 = 2*h - v + w, h - 5*h + 4*v = 32 for h.
-3
Let p be ((-10)/(-8))/((14/(-8))/(-7)). Suppose p*t + 4*y = 95, -5*t + y = -39 - 31. Let r be (0/(2*-1))/(-1). Solve r = -s + 1, s = -4*w - 0*s - t for w.
-4
Suppose 0 = -2*x + 6, -4*i - 4*x + 3 - 11 = 0. Let a be (-1 + 1)/(i - -3). Solve 2*o - 3*p = a, -4*o - 10 = -0*o - p for o.
-3
Let g be (1 + 28/(-8))*8/(-10). Solve -g = -3*u + x, 4*x + 2 = 6*x for u.
1
Let v(n) = -n**2 - 4*n. Let p be v(-2). Suppose 0*l = p*l - 44. Suppose -3*c = -4*b + c - 4, b - 3*c = -l. Solve 2*a = b*h + 14, -13 = -h - 3*a - 6 for h.
-2
Suppose 0 = 5*f + 2*f - 224. Let t = 34 - f. Solve t*h = -2*c, -4*h - 3*c = -4*c + 10 for h.
-2
Let k(w) = 10*w**2 - 411*w + 56. Let s be k(41). Solve -3*p = -2*y - 7, -4*y + 2*p - 3 = s for y.
-5
Suppose 3*m + 11 = -5*f, -3*f + 1 = -5. Let d = 6 - m. Solve 4*i + 5*v = 12, d = 3*i + 4*v + 3 for i.
-2
Suppose 3*j - 10 = 26. Suppose -2*q + 0*q = 5*k - 20, -2*q + j = 3*k. Solve 2*d = -o + k*o - 17, -20 = 5*d - 3*o for d.
-1
Suppose 3*k - 6 = 19*v - 17*v, -k - 5*v = -2. Solve -l + 1 = -3*h, -k*l = -h + l - 11 for h.
1
Let t = 15 + -10. Let s be (-1 + (-39)/(-15))*(-375)/(-150). Solve s*o + 4 = 2*m - 6, t*o = -5 for m.
3
Let m be (-4)/3 - 104/39. Let n be 4/(m/(-12)*4). Solve 3*k - 12 - n = -3*u, -5*u - 5 = -k for u.
0
Let z(l) = -3*l - 1 + 0 - 3*l - 3*l. Let a be z(-3). Solve -4*n + a - 1 = -5*v, 0 = 4*n + 3*v - 17 for n.
5
Suppose 0 = 4*v + 1 + 3. Suppose 0 = -7*y - 4 + 11. Let j be (-55)/11*y*v. Solve c - 3 = j*i - 2*i, 15 = -5*c for i.
-2
Let o = -342 - -348. Solve u = 4*m + 7, -3*u = 2*m - u + o for m.
-2
Let q(w) = 0*w**3 + w + 8*w**2 + w**3 + 9 + w**2. Let l be q(-9). Suppose 4*d - 10 - 38 = l. Solve -b + d = -0*b - 3*u, -5*b + 5*u + 10 = 0 for b.
-3
Suppose -157 = 30*f - 397. Solve -6 = -4*u + u, 5*u - f = w for w.
2
Suppose 0 = -3*h + h + i + 8, 5*h = -i + 6. Suppose -2 = 2*g - 4*y, 0*g = 2*g + h*y - 28. Solve 11 = 5*z + o, 4*z - g = 2*z - 5*o for z.
2
Let m = 15 - 9. Let c(g) = m - 5 - 4 + 6*g. Let z be c(1). Solve z*i + 5*l + 15 = 0, -5*i + 3*l = 24 + 1 for i.
-5
Let y be (26 + -32 - 34/(-5))*5. Solve -2*z - y*k + 2 = 0, -z + 5*k + 0 - 20 = 0 for z.
-5
Let t(k) = k**3 - 11*k - 11. Let x be t(-2). Solve r + 2*c = 0, -x*r + 4*c + 17 + 3 = 0 for r.
4
Let h = 647 + -644. Solve f + 3 = h*p, f - 2*p + 1 + 2 = 0 for f.
-3
Suppose 0 = -8*d + 2*d. Suppose d = -5*u + 9 + 1. Suppose 1 = u*k - 9. Solve 4*r - 2*p + k - 3 = 0, -2*p = 2 for r.
-1
Let u be 205/15*(0 - -9). Let y = -111 + u. Solve -15 + 2 = -3*x - z, 2*x - z - y = 0 for x.
5
Let m(v) = 13*v**2 + 51*v. Let s be m(-4). Solve 0 = -4*g + 3*l + 3, -s*g = -4*l - 6 + 2 for g.
0
Let u be (-100)/(-40)*(-6)/(-5). Solve 2*y - u*g = 3 - 2, 0 = -3*y + 2*g - 6 for y.
-4
Let j be (-1)/(-15) + 1876/210. Solve -5*p + 5 = -3*o, 0 = -p - 2*p + 3*o + j for p.
-2
Let v(n) = -37*n + 6*n - 4*n. Let z be v(-1). Suppose 90 - z = 5*q. Solve -5*j - 4*l = -q, -5*j + 0*l + 10 = 5*l for j.
3
Let i(g) = -g**3 + 18*g**2 + 14*g - 3. Let m be i(19). Let q = m + 102. Solve -3*b - 5*c = -15, q*b - 5*c - 16 = 4 for b.
5
Let w(q) = -q + 2. Let b be w(0). Let k be ((-1)/3)/((-9)/81). Suppose k*j + 2 - 8 = 0. Solve 0*i = -j*r + 2*i, 0 = -b*r + 4*i - 10 for r.
5
Suppose 28*w - 72 = 24*w. Let t be (-33 + w)*((-2)/6 - 0). Solve -2*o + 2*g = -2, 0*o - t*g = 5*o + 45 for o.
-4
Let x(g) = g**3 - 4*g**2 - g - 5. Let d be x(3). Let z = -17 - d. Solve -2*u - u + 2*s = -12, z = 4*s for u.
4
Suppose -3 = -2*n + 9. Suppose 2*b = n*b. Solve b*j = -2*j + 10, -s - j + 9 = 0 for s.
4
Let n = -205 - -131. Let f = n + 104. Solve c - 20 = -4*y - y, -4*y + 2*c = -f for y.
5
Let z = 8 + 16. Suppose -5*j - z = -7*j. Solve 3*x - 4*n = -2*n - 6, -4*n + j = 2*x for x.
0
Suppose 0 = -19*u - 15 + 15. Solve z - 5*q + 3*q - 7 = u, -3*z + 2*q + 17 = 0 for z.
5
Let x(m) = -m**2 + 10*m - 19. Let i be (-1 + 1 + -7)*-1. Let f be x(i). Solve -2*z = -2*y + 12, -f*z - 2*y - 7 = -3 for z.
-4
Let p(m) = -2*m**2 - 8*m + 4. Let y be p(-4). Solve 2*k = -y*d - 22, 2*k = 4*d - k + 17 for d.
-5
Let g(s) = -4*s - 11. Let m be g(-4). Suppose -m*d + 24 - 4 = 0. Solve d*n + f = 14, n - 3*f - 1 = 9 for n.
4
Suppose 3*q = 4 + 8. Let n(w) = 2*w**3 - w. Let m be n(1). Suppose -13 = -5*d - 2*i - 3, 2*d - 4*i - 4 = 0. Solve 0*z + v - 14 = q*z, d*v - m = -z for z.
-3
Let c = -544 + 544. Solve -h = 2*f, c = -2*h - 5 - 3 for f.
2
Let x(s) = -s**3 + 21*s**2 - 21*s + 20. Let p be x(20). Solve 3*b + 6 = p, 3*b = -3*w - 2*b - 10 for w.
0
Let t be (-1 - 3)/(9 - (11 + 0)). Solve -t = p, 2*q - p - 10 = 2*p for q.
2
Suppose -2*o + 26 = -2*r, 4*r - 2*o + 35 = r. Let k = r - -9. Suppose -2*g - 5*s + 9 = k, g - 4 - 3 = -5*s. Solve -7 = g*p + c, -11 = 5*p - 2*c + 2 for p.
-3
Let x = -21 - -23. Let b be 0/(2/(0 + 1)). Solve b = 5*t - t - 2*r - 4, -x*t - 2*r = 4 for t.
0
Suppose 4*n = -n + 15. Let g be (-2)/(n*(-3)/27). Let w be 2/10 + (-39)/(-5). Solve w + g = 2*v - 2*b, b - 5 = -3*v for v.
3
Let h be (1 + -3)/((-4)/6). Suppose -50 = -h*g - 2*g. Suppose 5*k = 3*k + g. Solve 2*l - 3*z - k = 0, -5*l - 5*z = -0*z + 50 for l.
-5
Let r(b) = -3*b**2 - 17*b - 19. Let i(z) = -2*z**2 - 8*z - 10. Let k(m) = -5*i(m) + 3*r(m). Let h be k(12). Solve g = a + h*g - 3, 5*g = a + 6 for a.
-1
Let g(f) = 2*f**2 + 4*f - 9. Let d be g(-4). Suppose i - 40 = -d*i. Solve 0 = i*y - 5*r - 4 - 21, -3*r = 5*y + 7 for y.
1
Suppose 9*j + 95 = 28*j. Solve 10 = -4*c + s + 7, 8 = -3*c - j*s for c.
-1
Suppose -8*c + 3*c = 5*b - 120, -32 = -b + c. Solve 5*o - 6*x = -8*x + b, -o = -x for o.
4
Let o = -4 + 6. Let f(h) = -h**2 + 6*h - 4. Let p be f(o). Suppose -p*i + 2*s = -2, -1 = 4*i - 0*i + s. Solve 3*t + 5*r = i, 4*t = -0*t + 5*r - 35 for t.
-5
Let x(y) = y**3 + y**2 + 4*y - 4. Let s be x(1). Solve 4*v + 5*l = 15, 0 = -s*v + 2*l + 12 - 0 for v.
5
Suppose -3*o = -6*o + 15. Let v be 1 + 4/10*o. Suppose 0*i - 6 = -v*i. Solve i*m = -2*q - 2 - 2, 0 = 4*q + 3*m + 9 for q.
-3
Suppose -6*r = -12*r - 42. Let u be -4 - 7/(r/8). Solve 5*b - 5*j - 3 = 2*b, 5*j = -u*b - 31 for b.
-4
Let o(z) = z**2 + 7*z + 5. Let p(q) = -3*q + 12. Let n be p(7). Let m be o(n). Suppose 3*r - m = -8. Solve -r*u - 4 = -j, -2*u - u - 5*j = -20 for u.
0
Let i(j) = -12*j - 70. Let g be i(-6). Solve g*y + 0*y + 19 = -3*k, 2*y + 4*k = -24 for y.
-2
Suppose -4*k - 31 = -3*s + 6, 77 = 5*s + k. Let u = -12 + s. Suppose 2*h = -4*t - 4, 2*t - 2 - 2 = -2*h. Solve -3*n - u*p = h + 3, 0 = 2*p - 2 for n.
-4
Let p be (-4)/(-14) + 2*(-2)/14. Suppose -3*o = 2*o - 10. Suppose -s + o*s = 21. Solve -4*l + s = 5*h, p = 3*h - 0*l - l - 16 for h.
5
Let w = -58 + 18. Let r be w/15*-3*2. Let y = 5 + -1. Solve -p = -y*n + r, -10 + 1 = 3*p + n for p.
-4
Let l = 9 - 24. Let x = 15 + l. Suppose -4*b = 5*j + 7, 4*b - 4*j - 20 = -x. Solve 0 = a - 4*r + 16, -4*a = -3*a - b*r + 8 for a.
0
Suppose 41 - 119 = j - 2*p, j = -p - 75. Let s = j + 84. Solve -3*b + 3*d + 8 = s*d, -3*d - 1 = -4*b f