+ 2*k - 2*n - x for k.
-1
Let l(n) = -n**3 + 20*n**2 + 14*n - 623. Let v be l(19). Solve b - 2 = -d, 5*d = v*b - 14 - 12 for d.
-2
Let b = -118 + 124. Suppose 0 = -5*m + 20, 20 = 2*r + b*m - 2*m. Solve -4*d - j - 4*j + 6 = 0, j = -4*d - r for d.
-1
Let y = -2 - -2. Let b = 36558 - 36553. Solve -2*o - 4 = -y, 4*o + b = -3*d for d.
1
Let a = -653 + 652. Let f be -9 + (-8 - 4)*a. Suppose 2*q + q - 6 = 0. Solve -f*l = -q*p - 7, -p = 2*l - 0*l for p.
-2
Suppose 0 = 807*l - 5556 + 932 - 1832. Suppose -5*z = 2*q - 8 - 1, z - 5*q = 18. Solve 0 = 2*t - 3*x + 14, -t + z*x = l*x - 6 for t.
-4
Let z(l) = -22*l**2 - 2*l - 10. Let h be z(3). Let m = h + 216. Solve w + m*q = 4*q - 4, -3*w - 12 = -4*q for w.
-4
Let q be (1800/4950)/((-2)/(-22)). Solve 0 = -3*j - 2*a + 17, -12*a + 8*a = q*j - 28 for j.
3
Suppose -14*k + 836 + 4596 = 0. Let m = k - 386. Solve 0 = m*w - 5*a + 4, -3*w + 3*a - 6 = 8*a for w.
-2
Let l(i) = -2*i**3 - i**2 + 10*i - 11. Let b be l(3). Let a be b/(-4) - (-5 - -3). Solve -5*k - 4 = -2*v, 0*v = 2*k + 3*v + a for k.
-2
Let k = -379 - -382. Suppose -3*y = 3*o + 6, y + 3 + 5 = -k*o. Solve 3*m + 6 = 4*i, -5*m + y = -4*i + 11 for m.
-2
Suppose 25*q - 31*q = -12. Solve 0 = 4*k + 4*g + 8, q*k - 5*g - 18 = -15 for k.
-1
Suppose -9*t + 10*t = 9. Let j = t - -15. Suppose 13*a = 5*a + j. Solve v = 4*m - 20, 2*m - 16 = a*v - v for m.
4
Let n be (-6)/(-4)*130/39. Solve -n*k + 7 = 2*d, -d + 0*d + 5*k - 19 = 0 for d.
-4
Let u(y) = -y**3 - 5*y**2 + 7*y + 8. Let o be u(-6). Suppose 168 - 4 = 41*i. Solve x - q = -o*x + 13, i*x + 3*q = 13 for x.
4
Let q = -83 + 313. Suppose -2*z + 240 = q. Solve 4*u - z*a + 7 = 0, 0 = -u - 2*u - 5*a - 14 for u.
-3
Let w(t) = t**2 + 233*t - 3626. Let l be w(15). Solve 3*o - 4*d + 21 = 0, l*o - d = 93*o - 6 for o.
-3
Let k = 25 - 22. Suppose -4*d = 2*l - 0*d - 42, -4*l + 84 = k*d. Suppose l = 4*w - 43. Solve -5*p + 2*j - 26 = 0, -w = p + j - 5*j for p.
-4
Suppose q = -3*u + 713, -q = 3*u + q - 718. Let s = u + -233. Solve 0 = 2*m, 2*m - 6 = s*b + 9 for b.
-5
Let i be 21*4/12 + -3. Solve d + 0 = -3*b + 1, -3*b = i*d + 5 for b.
1
Let f(r) = -5*r + 75. Let u be f(15). Suppose u = -12*o + 16*o + c - 7, -4*c = -3*o - 9. Solve -3*k = 2*h + o, 2*k + 3 = -h + 3*k for h.
-2
Let a be -1*(-7)/(28/8). Suppose -u = -0*u - a. Suppose -6*l = -16 + 16. Solve -2*n + 14 = -2*h, l = u*n + n + 4*h + 14 for n.
2
Let p(h) = 12*h**3 - h**2 + h - 2. Let k be p(2). Let q = 131 - k. Suppose 4*d + 4*g - q + 7 = 0, -5*d - 3*g = -40. Solve 4*n = 2*f - d, -n + 1 = f - 0*n for f.
2
Let q(i) = 919*i + 35843. Let h be q(-39). Let w be 1/(-2 - 7/(-3)). Solve 3*d - h = -2*u - 0, -w*d + 12 = -3*u for u.
-2
Suppose 6*z - 5*z = 160. Let o = 53 - z. Let d = o - -112. Solve -11 = -2*g - 5*n, 2 = -d*g + 4*n + 13 for g.
3
Let p = 1631 - 1589. Solve -z = 4*s - 10, -2*z = -s + p - 44 for z.
2
Suppose 2*s - 2*o = 12, 27 - 23 = -2*o. Let q be ((-8)/6)/(5/15). Let u be 40/(-5)*2/q. Solve 5*x - 10 = 3*a + u, a - x = -s for a.
-3
Suppose a = 3*o - 16, -4*o + 22 = a - 4. Let h be 3/o + (-54)/4. Let d(y) = -2*y - 24. Let p be d(h). Solve -5*q - 15 = -p*u, -3*u = 3*q + 11 - 2 for q.
-3
Let i be 8/(-64) + (-162)/(-16). Solve 9*u - 6*u - 20 = -j, -3*u + 5*j - i = 0 for u.
5
Let d(s) = -6*s - 10*s + s**2 - 13 + 7*s. Let x be d(15). Let a = x + -54. Solve -3*o = -3*b + 9, b - 4*o + 5 - a = 0 for b.
-2
Let s be 1*2/(-4)*-4. Suppose -45*k - 312 = 7*k. Let p be (-2 + (-15)/k)*8. Solve -3*c - 10 = 5*l + 11, 0 = 5*c - p*l - s for c.
-2
Let o(g) = g**2 + 447 + 11*g - 213 - 213. Let v be o(-9). Solve v*l + 1 = 4*d, -3*l - 19 = 5*d - 0*l for d.
-2
Let n be 22743/(-35) - 8/(-10). Let m be (-21)/126 + n/(-6). Suppose 16*s - m = -28. Solve s*r = -q + 21, 3*q + 2*r = r - 7 for q.
-4
Suppose -7*h = -2*h + 20. Let a be (4/8)/(0 - h/24). Solve -4*m = 2*v + 10, 5*v - a*v + 10 = 0 for m.
0
Suppose 0 = 26*t - 39 - 91. Solve -x + t*k - 6 = 2, -x - 2 = k for x.
-3
Let z = 6743 - 6735. Solve 5*v - 10 = 0, z = -3*w + 3*v + v for w.
0
Let z be 3/(-10) - (146/50)/(274/(-685)). Solve -3*g - 3 = -2*f, -z*f = -10*f + 2*g + 2 for f.
0
Let l = -276 - -290. Let d be 14/49 - 4/l. Solve d = -5*b - 4*i + 1, -2*b = b + 3*i - 3 for b.
-3
Let g(z) = -z**3 + 2*z**2 - 15*z + 60. Let o be g(3). Solve t = -3*a + 17, o*t - 23 = 2*t - 3*a for t.
2
Suppose -12*t - 42*t - 113*t = -1002. Solve -4*z + 2*n = -t + 4, 2*z - 16 = -4*n for z.
2
Suppose 2*s = -5*w + 23, 0 = -5*w - 18*s + 13*s + 35. Solve 0 = 5*o - 20, 5*o = -w*a + 15 + 2 for a.
-1
Let h(k) = 2*k**3 + 18*k**2 + k + 14. Let n(f) = -2*f**3 + 9*f**2 - 7*f + 3. Let y be n(4). Let t be h(y). Solve -2*o + 5*u + 8 = -o, 4*o = t*u + 2 for o.
-2
Suppose -5*l + 6 = -4*l. Suppose -l*x + 3*x = 0. Suppose 5*w = -p + 5*p + 8, -5*w = 5*p - 35. Solve -v - 3*z + 10 = x, -14 = -5*v - z + w*z for v.
4
Suppose -b = -4*q + 2*b + 25, 20 = 2*q - 4*b. Let w = -26 - -65. Let s = w - 22. Solve 0 = r - 2, -q*r + s = 3*o for o.
3
Let c = 20 + -29. Let x be 36/27*c/(-2). Suppose -q - x + 11 = 0. Solve 3*r = -6 - 3, -21 = -3*o + q*r for o.
2
Let g = 104 + -102. Let s be 1/g*18*4/(-6). Let a(w) = w**3 + 5*w**2 - 8*w - 7. Let i be a(s). Solve -2*p - 15 = -5*p + 3*u, -1 = 3*p + i*u for p.
3
Let x(v) = v**3 - 5*v**2 - 6*v + 4. Let u be x(6). Suppose -d = u*z - 23, 4*d = d - 2*z + 19. Let k = -4936 - -4939. Solve y - 4*h = -k, -4*h + 1 + d = 0 for y.
1
Let g be (2/(32/12)*-4)/(-1). Let v = -2 + 2. Solve 0 = -2*r - 7*k + 2*k + 25, -g*k + 9 = v for r.
5
Let l = 333 + -329. Solve a + 21 = -l*p, -10 = -5*a + 3*p - 0 for a.
-1
Suppose -5*k - 10 = -5*a, -2*k + 1 = -a + 3. Let v be (k + (-30)/(-36))*6. Solve -5*z + g - 2*g + 16 = 0, v*z - 40 = 5*g for z.
4
Suppose -2 = j - 3*g, 0 = -2*j + 2*g + 151 - 147. Solve 4*s = j*h - 29 + 9, 3*s = -6 for h.
3
Let c(r) = r**2 + 18*r - 80. Let x be c(4). Solve a = -7*l + 4*l - x, 0 = 3*a + 4*l + 9 for a.
1
Let x be (-12)/(-8)*(-6)/36*-64. Solve -4*u + x = 2*j, -3*u - 61 = -2*j - 66 for u.
3
Suppose 5*z = 9 + 6. Let y = -336 + 357. Let w be (56/y)/(80/(-42) + 2). Solve -5*m - f = -w, z*m + 5*f - 40 = -2*m for m.
5
Let a be (-17)/2*(-4 - (-4 - 4)). Let w = 39 + a. Solve 15 = -3*d, -w*j = -10*j + d + 15 for j.
2
Let f(s) = -26*s - 37. Let x be f(-12). Let t be (0 + 5)*297/x*5. Solve -m + 2*m - 2*p = -12, -m = -5*p + t for m.
-2
Let c be -3 + 6 - (2 - (-7 + 9/1)). Solve c*k - 75*d = -79*d - 21, 4*k = -2*d - 18 for k.
-3
Let l(y) = y**2 + 32*y + 27. Let k be l(-31). Let f be k/(-3)*-3*(-3 + 1). Solve -10 = -3*b - 2*d + f, -5*b = -d - 17 for b.
4
Let w(g) = 9*g - 66. Let d be w(7). Let j be (-42)/(-11) + (d - (-105)/33). Solve -5*k = -4*k + 2*i - 3, k + j*i = 7 for k.
-1
Let i = 1318 - 1312. Solve -56*p + 59*p - i = 3*q, -3*p = -9 for q.
1
Let m(v) = v**3 + v**2 - 15*v - 9. Let j be m(-4). Let x be ((-4)/12)/(4/(-108)*j). Solve x*w - 3 = -3*h, 2*h + w = 2*w + 5 for h.
2
Let f(p) = -p**2 - 20. Let j be f(0). Let c be 4/6 + -2 + j/(-15). Solve c*i + 5*m = -i + 28, 3*i = 3*m - 6 for i.
3
Suppose -3*z - 64 - 38 = 0. Let a be 1/((-26)/(-87) - (-2)/(-6)). Let f = a - z. Solve -t = 4*t + f*n + 25, -17 = t + 4*n for t.
-1
Suppose 47*v = 320 - 179. Solve i - v*h - 13 = 0, i + 8 = -h + 1 for i.
-2
Suppose 0 = -761*o + 753*o + 96. Solve 2 = 3*l - b, -o*b = 5*l - 13*b for l.
-1
Let s be 12/(-282) + 28152/1081. Solve -p = -5*k + s - 43, -k = 4 for p.
-3
Let w = -487 - -490. Suppose w*o + 2*v - 4 = 13, 5*o - v = 11. Solve 2*j - 6 = -i, -i + 4*j = o*i for i.
2
Let t = -11 - -17. Let s = -4756 - -4773. Solve 4*w + 4*a + a = s, t = 3*w - 3*a for w.
3
Let q(l) = -l**3 + 2*l**2 + 2*l - 1. Let y be q(2). Suppose 0 = -3*i - 24, -6 = 5*h + 169*i - 167*i. Solve -14 = h*g + 4*a, 3*g + y*a + 9 = 2*g for g.
-3
Let c(q) = 3*q - 40. Let m be c(7). Let l = m + 23. Suppose -5*h - 40 = 2*z - 7*z, -z + 18 = -3*h. Solve z*p - l*p = -n, 6 = 2*n for p.
3
Suppose -3064 + 3044 = -10*i. Solve -9*h + 14*h = -4*w + 2, -i*w + 6 = 5*h for w.
-2
Suppose 3*u - 282 = 66. Let k = u - 101. Solve 0*x + 4*h = 2*x - 28, k = -3*h for x.
4
Suppose 2*l - 3*l + 2*t = -18, -3*l - 3*t + 18 = 0. Suppose 5*v - 20 = l. Suppose v*b - 3*b = 12. Solve m + b*k = -23, -3*k = -9*m + 4*m for m.
-3
Let v be (405/(-30))/((-6)/(-4) + -1). Let p be (3 + 11)*(-2 + v/(-6)). Let i = -31 + p. Solve -4 = -2*t + 5*s - 2*s, -2*s - 24 = i*t for t