 - 2*k + 1 - 16, x*u - 2*k - 14 = 0 for u.
1
Suppose -7*d = -3*d - 8. Suppose -2*o = -d - 8. Suppose -3*l = -3*t - 39, 0 = o*l + 4*t - 32 - 6. Solve -j + 4*i = -l, 3*i = -4*j - 0 + 2 for j.
2
Suppose 34*w + 42 - 212 = 0. Solve -w*o - 20 = 0, 2*q - o - 4 = 4*q for q.
0
Let b(h) = -h**2 + 9*h - 4. Let d be b(4). Suppose -4*c - d = 0, 16 = -m - 0*c - 5*c. Solve -8 - 3 = u + m*p, -4*u - 5*p = 0 for u.
5
Let f = 524 - 520. Solve -4*u - 5*c = -8*u + 5, 0 = -f*u + 3*c + 11 for u.
5
Let i be 0 - (-2 - 0 - -2). Suppose -3*y + 4*y + 21 = i. Let d = 26 + y. Solve -2*a + 7 = -w - 3, -30 = d*w - 5*a for w.
-2
Let r(q) = -q**2 + 22*q - 108. Let n be r(14). Solve -5*v + 3*u = -28, -21 = -n*v + u - 0*u for v.
5
Suppose -48*z + 44*z + 20 = 0. Solve 3*y - 21 = z*o - 7, -5*o + 4*y - 17 = 0 for o.
-1
Suppose 0 = 6*m - 7*m - 3. Let p(n) = -13*n - 8. Let l be p(m). Solve -5*v = -4*s + l, 1 + 3 = -4*v - 2*s for v.
-3
Suppose 6*c - c - 45 = 0. Suppose -r = -3*r + 5*m + 220, -8 = -2*m. Suppose -r = -5*a + 2*a. Solve 5*b + a = 5*j, 0 = -5*b - 2*j - 3 - c for b.
-4
Let d(w) = 6*w**2 + w + 10. Let c(q) = -5*q**2 - 10. Let i(m) = -7*c(m) - 6*d(m). Let o be i(-7). Solve -18 = o*f + 3*g, 3 = -2*g - 1 for f.
-4
Let f(o) = -o**3 - 9*o**2 - 6*o + 19. Let k be f(-8). Suppose -j + k*j = 4. Solve -3*t - 3 = 3*m, -t - 16 = 2*m + j*m for m.
-5
Suppose 2*a + d = 2*d + 115, -a - 2*d + 65 = 0. Let q = a - 19. Solve 0 = 3*b - 15, 9*b - q = 3*x + 4*b for x.
-5
Suppose 0 = 2*x + 3*z - 1, 4*z = 3*x - 0*z - 27. Solve -10 = -3*c + i, -5*i + 11 = x*c + 1 for c.
3
Let h = -37 + 31. Let r(q) = -4*q - 11. Let o be r(h). Solve -3*n + 25 = 5*m, 5*n - 4*n + 4*m - o = 0 for n.
5
Let h(v) = -v**3 + 6*v**2 - 3*v - 5. Let g be h(5). Suppose -37*f - 47*f = -252. Solve f*y = g*b + 10, y + 6*b = 3*b + 8 for y.
5
Suppose 2*m - m - 5 = 0. Let z be 6 + -1 - 0/m. Let p = 25 - z. Solve -5*i + 5*f + p = 0, -20 = i - 0*i + 5*f for i.
0
Let p = 27 + -71. Let i = p - -46. Solve -i*n = -5*a - 25, 2*a + 4*n - 14 = -0 for a.
-3
Let w = 30 - -29. Let t = w - 34. Let o be 3 - 1*(-4)/2. Solve -3*i - 2*i = -2*k - t, i = o*k + 5 for k.
0
Suppose 65*g = 4*g + 1708. Solve 0 = -r - 4*k - 12, k + g = -5*r + 6 for r.
-4
Let h be -3 + -2 - -3 - -4. Solve 10 = 2*x - 5*p + h, 12 = 3*x + 5*p for x.
4
Suppose 0 = j + 4*x + 15, 5*x + 24 = 4*j - 0*j. Let t = j - -4. Suppose 4 = -z + 9. Solve -3 = s + 2*q, -t = z*q + 5 for s.
1
Let b be (-1)/(-2) + (-22)/(-4). Suppose -w = b*f - 3*f - 23, -5*w = 20. Suppose 0*q - 2*d = -2*q - 6, -3*d + f = -4*q. Solve -14 = 4*v + x, q*x - x = -2 for v.
-4
Let q = 34 - 1. Suppose 30*d = q*d - 6. Solve 3*i + 15 = -d*i - 2*y, 30 = -3*i + 3*y for i.
-5
Let g be (-10)/2*4/(-4) - 0. Solve -2*v = -5*b - 17, -g*v - 10 = 4*b - 3 for b.
-3
Suppose 41 = -6*o + 119. Solve -4*r - 3*d + 2*d - 11 = 0, 4*r = d - o for r.
-3
Let t = -713 - -715. Solve 3*x + 6 = 4*x + 5*s, 5*x + t*s - 7 = 0 for x.
1
Suppose -7 = -p - 5*q, 4*p + 14 = 5*q + 67. Let n = 6 + p. Solve 0 = -2*k + k - 2*w + 11, n = -2*k + 4*w for k.
1
Suppose 0 = -2*t - 2*j - 24 + 40, -4*t + 5*j + 5 = 0. Solve -4*a + 4*d - 4 = 0, a + t*d + 15 = -4 for a.
-4
Suppose 4*a - 33 = -5*c, 0 = 4*a - 9*c + 12*c - 23. Solve 2*q + a = 4*l, -5*q + 4 + 3 = -4*l for q.
3
Suppose 0 = 5*m + 254 - 264. Solve -m*h + 0*h + 4 = 4*j, 4*j + 8 = -5*h for h.
-4
Let w = -92 - -99. Solve 3*x = -4*b + w, 5*x + 2*b + 1 = 8 for x.
1
Suppose 0 = 3*t + 2*t - 5*w - 70, 5*w - 30 = -5*t. Let y(u) = u**3 - 10*u**2 + 5. Let p be y(t). Solve -2 = -4*v + 2*n, 0 = -2*v - 5*n - 0*n - p for v.
0
Let n be (-22)/(14/(-4) - -3). Let c be (-11)/n - (-23)/(-4). Let p = c - -6. Solve -2*f = -5*u - 13 - p, 5*u = 5*f - 10 for f.
-1
Let z(a) = a - 1. Let h(i) = -i**3 + 5. Let y be h(0). Let n be z(y). Suppose 7*m - 39 = n*m. Solve -4*x = -4*f + x + m, 2*x + 2 = 0 for f.
2
Let p = -1 - -4. Suppose -10 = -p*a + 2. Solve a*c - 14 = 2*g, -2*c - 5*g = 22 + 1 for c.
1
Let v be ((-20)/(-6))/((-4)/(-6)). Let z(f) = -f**2 + 35*f - 109. Let g be z(4). Solve -5*j - v*r = g, 3*j = -2*j - r - 19 for j.
-4
Let w(p) = -p**2 - 4*p + 8. Let v = 3 + -8. Let o be w(v). Solve 3*n + 2 = 4*c - o, -5*c + 1 = -2*n for c.
-1
Suppose 3*n - 19 = -a, -2*n - a - 10 = -6*a. Solve 26 = -h - h + n*r, 0 = 3*h - 4*r + 25 for h.
-3
Let d = 591 + -588. Solve -2*m - 3*h - 13 = 0, -2*h - 1 = d*m + 11 for m.
-2
Suppose -21*i - 14 = -23*i. Let r be (-1)/(2/(2 - 8)). Solve -w = 4, -p - w = -r + i for p.
0
Let r = -159 + 172. Solve -3*n - i = 0, 4*n - 2*n + 5*i + r = 0 for n.
1
Let d(b) = -17*b - 626. Let n be d(-37). Solve 2*w + 11*p + 4 = 9*p, 0 = -4*w + n*p + 6 for w.
0
Let f be -2 + 2 - 0 - -3. Suppose -s - 14 = -f*s. Suppose j + 5 = -5*v, -4*j = v - 2*v - 64. Solve -j = 2*a - s*o + 2*o, o = 2*a + 3 for a.
0
Suppose 36*f - 32 = 28*f. Solve 16 = 4*v + f*h - 9*h, 3*h + 8 = 4*v for v.
-1
Let h = 37 + -27. Solve -f - b = -3*f + 2, -b + h = 2*f for f.
3
Let u be 8/(-14) - (-25)/7. Solve -3*r - 1 = n - 5*r, -u*r = n + 1 for n.
-1
Let k be -2 - 7*(-1 - 1). Suppose -7*l + k = -3*l. Solve 7*x + 5 = 5*f + 2*x, -3*x = -l for f.
2
Suppose 2*t - 2*l - 10 = -t, -5*l = 3*t - 17. Let d(c) = -c**2 - 5*c + 52. Let o be d(5). Solve -4*k = -o*y + 5*y - 9, -5*k - 12 = -t*y for k.
0
Let i = 300 - 276. Suppose 4*m + 5*y = -0 + 33, 0 = -5*m - 2*y + 54. Solve -l - q - i = -6*q, -3*q = -m for l.
-4
Let y(i) = -i**2 + 22*i - 73. Let p be y(17). Solve -5*d = -3*j - p, 5*d = 4*j + 4 + 7 for d.
3
Suppose 0 = -93*w + 135 + 51. Solve 5*x = -w*i + 19, -21*i = -23*i + 3*x - 21 for i.
-3
Suppose 16*i - 43*i = -135. Solve -t + i = 2*o + 2*t, 4*t = 4 for o.
1
Let f(s) = s**2 + 7*s + 6. Let l be f(-8). Solve 0*t - 1 = t, -4*t = 5*r + l for r.
-2
Suppose 5*b - 7 = 8. Suppose -2*j + 11 + 25 = -t, 2*j - 44 = -b*t. Solve 0 = -p + z - 2, 10 = 3*p + 4*z - j for p.
3
Let z be 1*(-6)/(-15)*10. Let l be z + -1 - 0 - -2. Solve -2*x + 24 = 5*w, -l*w + 10 = 3*x - 16 for x.
2
Let f be (0*(-1 + -2 - -4))/1. Solve -c = -5*y + 4*c + 5, f = 5*y - c + 7 for y.
-2
Suppose -7*d + 47 = 47. Solve -v + d*p - 11 = -3*p, 0 = -5*v - 5*p + 45 for v.
4
Let g be 3 + (-3 - -6)/1. Let h(o) = -8 - 4*o**2 - o**2 + 7 + 6*o**2. Let i be h(2). Solve i*y = -3*s + g, -3*s = 2*y + 1 - 6 for s.
1
Let b = 13 - 4. Let z be (4/6 - 1)*b. Let x be (5 - 7)/(2/z). Solve -x*h - n = 12, -3 + 8 = -4*h - 5*n for h.
-5
Let u = 715 - 715. Solve s - 2*a + 4 = u, 13*s - 10*s - 5*a = -12 for s.
-4
Suppose 8 = 2*j - 5*h, h = -3*j + 5*h + 12. Solve 0 = -j*z + 3*m - 4, -2*z + 2*m = 4*m + 2 for z.
-1
Let n be 2/(-1)*(-2)/(-4). Let c = 5 + n. Let o(g) = g. Let j be o(c). Solve 26 = -5*p + j*l - 7*l, -4 = 2*l for p.
-4
Suppose -t + 2*t - 3 = 0. Let k(x) = 2*x + 1. Let f be k(1). Suppose -i - f*z + 3 = -0*i, i - z - 11 = 0. Solve t = -4*s - 5*g, 2*s + i = -5*g - 0*g for s.
3
Let u = -897 + 898. Solve -3*h - 4 + 0 = 5*f, h + 2*f + u = 0 for h.
-3
Let i = -1079 - -1079. Solve i = -2*y - 2, d - 5*y = -d + 15 for d.
5
Let c be (-11)/(-3) + 29/87. Solve 4*z - 33 = -c*a - z, 0 = -3*z + 15 for a.
2
Let j(d) = -342*d + 2 + 0 + 322*d + d**2 + d**3. Let p be j(-5). Solve p*v - 3*b + 2 = 0, -3*b = v + 2 - 1 for v.
-1
Suppose m + 3*m + 12 = 0. Let d be (-6)/2*m - 3. Solve -d*c = -c + 5*w + 5, 0 = -3*c + 4*w - 17 for c.
-3
Let k be (-130)/(-6) + (-6)/(-18). Suppose 0 = 4*m + x - 4, -m + 5*x + k = -0*m. Solve 0 - m = 3*q + l, -5*q - 9 = -4*l for q.
-1
Let u(n) = -n**3 - 6 + 2 - 6*n**2 - 7*n - 2. Let l be -11 - (-2 + 24/(-6)). Let q be u(l). Solve 2*g - 3*g - 20 = q*p, 3*p + 15 = -5*g for g.
0
Let j = 220 - 215. Solve j*l = 3*u + 17 - 3, -5*u - 5*l - 10 = 0 for u.
-3
Suppose -9*v = 9 - 27. Suppose -4*b = -v*u, -5*u + 39 - 7 = -2*b. Solve 0 = -5*x + 4*g + 21, x = 4*g - u*g - 15 for x.
1
Let w(v) = -8*v - 8. Let u be w(-4). Let r be u/16*(-4)/3. Let p = 6 + r. Solve -p*m = -k + 11, -4*m + 2*k = -3*m + 8 for m.
-2
Suppose 0 = -2*y + 7*y - 25. Suppose 20 = -4*b + b - 5*d, 8 = 4*b - 2*d. Solve 15 = y*q, 3*q + 11 = -4*c - b*c for c.
-5
Let g = 80 - 80. Solve -x - y + g + 5 = 0, -2*x + 2*y = 6 for x.
1
Suppose 30*q = 60 + 570. Solve 5*z + 3*v + 3 = 3*z, -2*v - q = -5*z for z.
3
Suppose -5*t + 4*z = -195, -2*t + 2*z = t - 115. Suppose -t = u - 8*u. Suppose 2*h = 5*h - 9. Solve -5*b = s - h*s - 19, u*s = 2*b - 16 for s.
-2
Let y = -77 + 79. Suppose 3*o + 108 = y