 2*j - 2*d = -2 for j.
1
Let c(k) = k**3 - 6*k**2 - k + 5. Let t be c(6). Let n be 4 - (t - -3)/(-2). Solve 5*g = n*d - 20, d - 3*g + 0*g - 8 = 0 for d.
2
Suppose 0 = -22*x + 19*x + 21. Let w(g) = 3*g - 17. Let p be w(x). Let f = -179 - -181. Solve p*k - 3*o = f*k, -k = -3*o + 3 for k.
3
Suppose -3*x = -4*x + 5*s + 3, 3*s - 6 = 0. Let d(b) = b - 17. Let j be d(x). Let y be j/20 - 2/(-10). Solve 0 = -3*f - 2*z - 15, -4*f + y*z - 18 = 2*z for f.
-3
Let v(w) = w**2 + 37*w - 33. Let j be v(-38). Let h be (60/(-21))/((-10)/35). Solve i - 3 = -4*u + 15, 0 = j*i + h for u.
5
Let r(o) = -89*o - 888. Let s be r(-10). Let w(y) = y**3 + 4. Let h be w(0). Solve 2*m - 12 = -2*x, -h*m + 0*x = -s*x for m.
2
Let a(k) = -k**3 - 5*k**2 + 5*k - 2. Let o be a(-6). Let u(m) = -267*m - 1333. Let i be u(-5). Solve g - o*q + i*q = -9, -5*q - 5 = 3*g for g.
-5
Suppose -5*b + 42 = 3*p, -5*p + 683 = 4*b + 626. Let z = -2 + 15. Suppose i = -4*v + 16, -i + 0 + 18 = 5*v. Solve 3*t - b*r = t - i, 5*r - z = 3*t for t.
-1
Let y(g) = g**3 + g**2 - 54*g + 105. Let i be y(2). Solve 4*w - i*z + 7*z = -8, 4*z = 0 for w.
-2
Let w be (1 + 9/(-12))*(-135 + 147). Solve -6 = w*d - 7*p + 10*p, -d - 2*p = 5 for d.
1
Suppose 0 = -49*j - 831 - 51. Let t be 34*(153/j - -9). Solve -3*x - 4*i = 20, i + t - 3 = -3*x for x.
-4
Let x(v) = -5*v**3 - 15*v**2 + v + 1. Let f be x(-3). Let a be (f/5)/((-8)/100). Solve -g = -0*g - 5*d - 1, -d - a = g for g.
-4
Let t(c) = -c**2 - 4*c + 101. Let f be 9/(-7 - 200/(-32)). Let n be t(f). Solve v + 8 = -2*u, 2*u - n*v - 2 = 2 for u.
-3
Let s(i) = 3*i - 110. Let r be s(37). Suppose -4*u - 3*m = -23, -2*u + 3*m - 10 = r. Suppose -2*n - 20 = -7*n. Solve -n*o + 4 = -3*j + o, 3*j - 2 = u*o for j.
2
Let s = 12737 - 12725. Solve -3*g + 6*z = 21, -g - 8*z - s = -11*z for g.
3
Let g(c) = 5*c**2 + 15 + c + 16 - 29 - 2*c. Let y be g(1). Let x(j) = j - 2. Let z be x(y). Solve 0 = -5*u + 2*m - 3*m - 9, 0 = 4*m - z for u.
-2
Let l = 89 - 101. Let a be (l/36)/((-4)/36). Solve -y = -3, -3*b - a*y = -6*y - 3 for b.
4
Let r = -3671 + 3674. Solve -5*m - r*f = -8*f, m - 20 = -4*f for m.
4
Let p be ((-6)/(-21))/((-24)/(-84))*5. Solve 3*i + 2*c = 18 - 6, 3*i + p*c - 12 = 0 for i.
4
Let t(r) = -32*r - 62. Let u be t(-2). Solve -24*b + 26*b = 3*i + 17, u*i = -3*b + 6 for b.
4
Let t be (132/4)/3 + -6. Suppose 5 = t*r - 40. Solve 13 = 3*j - r*x + 4*x, -5*x = 25 for j.
-4
Suppose o - 48 = -29. Let g = o + 1. Solve -2*p + 0*p - 10 = t, 0 = 4*t - 4*p - g for t.
0
Let d = -514 + 1127. Let f = d - 609. Solve -2*p + 2 = f*r, -2*r - 4 = 5*p + 7 for r.
2
Let u = 270 - 272. Let q(f) = 2*f**2 + f - 2. Let l be q(u). Solve -5*v + 7 = n - l*v, -3*n - 19 = -5*v for n.
2
Suppose 3*v + 23 = 5*s - s, 4*s + 2*v - 18 = 0. Let a = -160 - -235. Let u = a + -71. Solve 20 = -4*m + u*d, -s*m = 4*d + 7 - 0 for m.
-3
Suppose -175*s + 160 = -155*s. Solve 4*t - 6*u + 4*u = -18, -2*t = -2*u + s for t.
-5
Let j(p) = -130*p + 264. Let c be j(2). Solve 0 = -4*o + 9*x - 12*x + 29, 4*o - 32 = -c*x for o.
5
Let y(j) = 5*j**2 + 26*j - 60. Let m be y(-8). Suppose -m - 20 = -18*u. Solve 4 = -t, n + u*n = 2*t + 13 for n.
1
Suppose 4*a + 7 = -5*r + 31, -4*a = -5*r + 16. Suppose 0*j = -j + 2*z + r, 5*z = 4*j - 16. Solve -t = 2*n - j + 11, 3*t + 3 = 0 for n.
-3
Let g be (255/21 - 4) + -6 - (-2)/(-14). Solve -2*f - 2*a = -8, 5*f = g*a + 8 + 5 for f.
3
Let z be (-924)/(-198)*(-12)/(-14). Solve -z*a + 32 = 3*m, 13*a = m + 8*a + 21 for m.
4
Suppose 52*v + 1185 = 131*v. Solve 5*g - v*q = -18*q - 21, 5*g + 17 = -q for g.
-3
Let f be (135/(-36) + 4)*(1637 + -1). Suppose -4*n = f - 409. Solve -g - 2 = n, 2*b + 4 = -5*g - 0 for b.
3
Let j = -962 + 960. Let q(m) = -5 + 1 - 1 - 5*m - 3*m**2 - 3*m**3 + 0*m**2. Let n be q(j). Solve 5*f + n = 4*c, -4*f + 2*f + 5*c = 17 for f.
-1
Let b be 27/45*(3 + 2). Solve -5*q + f = -2*f + 17, b*q - 5*f + 23 = 0 for q.
-1
Let a be 21 + -28 - (-3 + -2*1). Let u be 7/126*-6*a*6. Solve -2*l - l - 2*g = 4, u*g = l + 20 for l.
-4
Let o be -18*(-10 + (-472)/(-48)). Solve -48*h + 23 = -53*h - g, -2*h - o*g - 4 = 0 for h.
-5
Let p(z) = z**3 + 40*z**2 - 87*z - 94. Let d be p(-42). Let s be (168/d)/((-6)/(-16)). Solve 2*j + 3*t - s = j, 4*t = -j + 18 for j.
2
Let r = -217 - -221. Suppose 4*q - 3 = r*s + 5, -3*s = 0. Solve -3*k - q = 3*c + 1, 0 = 5*k + c + 21 for k.
-5
Let b(z) = 2*z + 7. Let q(j) = j**2 + 3*j - 5. Let l be q(-5). Let v be ((-50)/(-15))/l*6. Let a be b(v). Solve 5*y - 3*g = 2*g - a, 0 = -3*y - 2*g + 11 for y.
1
Suppose 3*n = 2*t + 43, 57 = 5*n - 6*t + 10*t. Let u be 27 - n/((-26)/4). Solve -5*r - 11 = 9, 0 = 3*c - 5*r - u for c.
3
Suppose -3*k - 2864 + 2894 = 0. Solve -14*l + k*l - 2 = q, 0 = -l for q.
-2
Let y(r) = -4*r + 85. Let x be y(25). Let n = 18 + x. Solve 2*q = -n*s + 3*q + 8, -2*s + 10 = 4*q for s.
3
Suppose -6 = -5*r + 4. Let g(a) = 11*a**3 - a**2 + 2*a + 9. Let j be g(-2). Let t = j - -90. Solve -4*f = -3*k - t + 30, -4*f = 2*k + r for f.
-3
Let w = -225 - -229. Let s be (-1 + (w - 5))*9/(-6). Solve 2*t - 2 = -s*y, -y - y - 5 = -5*t for y.
0
Suppose -2*x = 2*m - 4 - 0, x + 4*m = 8. Suppose 5 = h - 3*z + 1, 0 = 2*h - z - 13. Suppose 5*f = 13 + h. Solve x*l = l + f, 4 = 4*j - l for j.
0
Suppose 0 = 47*o - 107*o + 34*o. Solve 2*l + 1 + 2 = j, o = -3*j - 3*l - 18 for j.
-3
Suppose 0 = 6*g - 12. Suppose -g*w - 3*l + 7 = 0, 3*l + 1 = 4*w - 4. Let b(a) = 3*a**2 - a + 2. Let i be b(-2). Solve i = -4*p, 0*p = w*c + 5*p + 16 for c.
2
Suppose 8*s = -0*s + 4*s. Suppose -35*v + 26*v = s. Solve 2*r + 2*l - 22 = -2*r, v = 4*l - 12 for r.
4
Let d be (12/10)/((-12)/(-780)). Suppose 13 = -5*x + d. Solve -3*g + x = j, -8*j - 5*g + 35 = -3*j for j.
4
Let a = -21 + 30. Suppose 37 = -2*p - f, 0 = -2*f + 5*f - a. Let l be (6/(-5))/(3/p). Solve 4*m - 22 = 2*v, 0*v - m = -v - l for v.
-5
Let b = 40 - 35. Let p be b + (-1)/(-2)*(-4)/2. Let d = -29 - -32. Solve 0 = -4*f + p, -7*f + 3 = -r - d*f for r.
1
Let p be (2 + 1)/(13/(31772/156)). Solve -17 = w - 5*l, -51*l + 6 = 3*w - p*l for w.
-2
Let y(m) = -104*m**2 + 3*m + 5. Let c be y(3). Let v = c - -925. Let w be 89/4 + (-1)/4. Solve 2*l - 6 = 5*b - 24, -v*b + w = -4*l for l.
-4
Let x = -3079 + 3084. Solve -19 = 2*g - 27, 0 = -5*i + 5*g - x for i.
3
Let o(l) = l**2 - 8*l - 45. Let a be o(-5). Suppose -i = 4*d - 58, -2*d = -4*i - 0*i - a. Solve -g - 11 = -2*c, -2*c = -7*c - 2*g + d for c.
4
Suppose 7*o - 4 = 11*o. Let t(q) = -19*q - 3. Let u be t(o). Solve -7 = -r + 5*r - 3*x, r + u = -4*x for r.
-4
Let y(p) = -p**3 + 9*p - 6. Let g be y(5). Let c = 89 + g. Solve -27 = -5*r + 4*j, -4*j - j - 24 = -c*r for r.
3
Let u(l) = l**2 + 28*l + 3. Let y be u(0). Solve j = -y*z, -7*z + 10*z - 36 = 5*j for j.
-6
Suppose 108*j - 112*j + 1396 = 0. Let y = j + -349. Solve y = 3*g - 5*i - 5 - 4, -4*g - 5*i = -12 for g.
3
Let v be (-28)/(-35) - (-44)/(-55). Solve -5*b = 4*h - v*h, 13*h = 15*h for b.
0
Suppose -5*r - 60 = -0*r + 3*l, -2*r + l = 35. Let h be (-4)/(-8)*(-120)/r. Solve -h*j = 0, -a - 3*a + 4 = 2*j for a.
1
Suppose 19 + 53 = 2*j. Suppose -5*m + j = -2*m. Suppose s + m = 5*s. Solve -4*d - 10 = 2*n, 3*n - s*d = 7*n for n.
3
Suppose -5*z + 50 = 5*f, 3*z - 35 = -2*f + 1. Solve 0 = 3*x - 10*r + 6*r - 2, 3*r + z = -5*x for x.
-2
Suppose 74 = 62*r - 174. Let u be 2 + (-15)/5 + r. Solve -4*v + 13 = -5*i, -3*i = v + 2*v - u for i.
-1
Let l = -17988 + 18003. Solve -13*x - 4*h = -8*x + 50, -l = 5*x - 3*h for x.
-6
Let f(i) = -6*i**2 + 8*i + 56. Let x be f(-14). Let y = -1230 - x. Let l = -2 - -4. Solve l*n + 18 = -q - y*n, n = 4*q + 4 for q.
-2
Let w(z) = 2*z**2 - 19*z + 13. Suppose p - 4*p + 18 = 3*l, -2*l + 3 = p. Let y be w(p). Solve 0 = -8*n + 3*n - y*d - 13, 0 = -2*n + 4*d - 22 for n.
-5
Suppose -42*u + 1385 = 41. Solve -4*i + l + 12 = u, 0 = 4*i - 4*l + 32 for i.
-4
Let y be (-6)/4*14 + (-1 - -3). Let z(k) = 5*k + 42. Let g be z(y). Let b = 56 + g. Solve -b*m + 2*h - 1 - 2 = 0, -5*h = -3*m - 3 for m.
-1
Suppose -35*w = -33*w - 14. Suppose w = -3*k + 19. Solve -3*v - k = 5*c, 1 = 3*c - 2*v - 8 for c.
1
Let m be (-68)/51*9/(-4). Suppose m = 3*u, -3*a - 2*u = 3*u + 61. Let c be (-114)/a - 4/22. Solve t - c*w - 7 = 0, 5*t = -2*w + 8 - 27 for t.
-3
Let t = 503 - 478. Suppose 63*y + t = 68*y. Solve y*k = 4*q - 0*k - 26, -4*q + 3*k = -22 for q.
4
Suppose 129 - 507 = -42*q.