0 = 2*v + a*i - 3*i - 6. Let g = -581 - -581. Put -0.1, v, -0.05, g in descending order.
v, g, -0.05, -0.1
Let f = -57124/5 + 11425. Sort 0, 56, f, -3 in ascending order.
-3, 0, f, 56
Let b(h) = 80*h - 177. Let t be b(1). Put -3, 4, 8, t in descending order.
8, 4, -3, t
Let r = 4.96 + -4.9. Let t = 21.86 - r. Let f = t - 22. Sort -5, 1, 3/7, f in descending order.
1, 3/7, f, -5
Suppose -2*q = -0*q - 8. Let h(d) = -d**2 - 52*d - 580. Let w be h(-16). Put q, w, -1, 0 in descending order.
q, 0, -1, w
Suppose -4*t - 30 = -t. Let r be 4/t + 3/(-5). Suppose 54*v - 429 = -51. Sort r, 0, v in descending order.
v, 0, r
Let l = -2416 - -2412. Sort 1, 8, -1, 9, l in descending order.
9, 8, 1, -1, l
Let j(w) = -10*w - 23. Let c be j(-8). Sort c, 2, -7, -1 in decreasing order.
c, 2, -1, -7
Let z(b) = 2*b**3 - 2*b**2 - 4*b - 1. Let x be z(2). Sort x, 5, -13, 2, -2 in descending order.
5, 2, x, -2, -13
Let i = 25 - 21. Put i, -0.032, -1/5 in ascending order.
-1/5, -0.032, i
Let t = -0.16 - -0.06. Let d = 9.17 + -9.48. Sort t, 3, d in decreasing order.
3, t, d
Let d = -20.822 + 20.8. Let s = -4.978 + d. Suppose j + 0*j - 3 = 0. Put s, j, -0.4, 5 in decreasing order.
5, j, -0.4, s
Suppose -3*b + 21 - 21 = 12*b. Let p be ((-3)/2)/(-3)*10. Put p, 6, b in increasing order.
b, p, 6
Let r be 1 - 3/9 - 5/5. Let o = -109/6 + 59/3. Put o, r, 5/6 in decreasing order.
o, 5/6, r
Let r = -176 - -172. Let i be 18/8 + (-2)/8. Suppose -i*w + 0*w - 6 = 0. Sort 0.1, r, w, 2 in increasing order.
r, w, 0.1, 2
Let y = 183.103 - -5.847. Let q = y + -189. Put q, -5, 3/2 in decreasing order.
3/2, q, -5
Let x = 195/4 - 49. Let f = 137 - 135. Let k be (-3 + 2)/(7 - f). Put 4, -2, x, k in increasing order.
-2, x, k, 4
Let b = -3.7 + -1.3. Let j(r) = r**2 + 36*r - 113. Let t be j(3). Suppose -22 = 4*a + 2*o, -t*a + 0*o = 3*o + 27. Put b, 5, a in increasing order.
b, a, 5
Let g(y) = -15*y - 209. Suppose 7*s - 175 + 273 = 0. Let p be g(s). Put p, 0.1, 0.04 in decreasing order.
p, 0.1, 0.04
Suppose -21 = 3*w + 6*y - 9*y, -5*w + 4*y - 32 = 0. Let t be 531/12 - (-6)/(-24). Let b = t + -44. Sort b, w, 3 in decreasing order.
3, b, w
Let t = 14912 - 14907. Put 86, 1, t in decreasing order.
86, t, 1
Let c be 10/(-3) - ((-42)/18 - -1). Sort -0.21, 11, c in decreasing order.
11, -0.21, c
Let g = -3067.865 - -3068. Put 0.5, -0.4, g in ascending order.
-0.4, g, 0.5
Suppose 23*t + 5*a = 19*t + 5, 0 = 4*t - 3*a - 29. Suppose -2*i = -4*i - 8. Let k(q) = q**2 - 2*q + 2. Let o be k(2). Put -2, t, o, i in descending order.
t, o, -2, i
Let i(l) = -l**2 - 11*l + 45. Let x be i(-14). Put x, 1/3, 2, 32/11 in ascending order.
1/3, 2, 32/11, x
Suppose 38 = 5*b + 4*l, 1 = 2*b - 2*l - 25. Let r = 77 + -77. Suppose 1 = p - r*p. Put b, p, 5 in ascending order.
p, 5, b
Let z = -10.8 - -10.79. Suppose -3*m - 6*i = -8*i + 8, 2*m + 4*i - 16 = 0. Put m, 2, z in descending order.
2, m, z
Let t be (1 - 0)*29/(-66). Let v = 2/33 - t. Let k = -3/7390 + 1852/11085. Put k, 3, v in ascending order.
k, v, 3
Let d = -0.11 + -0.79. Let u = 1 + d. Let l = -31.23 - -31.28. Sort l, 4, u in ascending order.
l, u, 4
Let f = 17067 - 17067. Put f, -1, -58 in decreasing order.
f, -1, -58
Suppose 17*i + 23 = 12*i + k, -2*i - 3*k = -1. Put -2/17, 0.5, 168, i in descending order.
168, 0.5, -2/17, i
Let q = -62.05 + 61.55. Sort q, 3/2, -8, 2/11, 1.
-8, q, 2/11, 1, 3/2
Let l = -365 + 367.58. Let m = -4.58 + l. Put -4, 4, 3/7, m in increasing order.
-4, m, 3/7, 4
Let o = 187 + -186. Let f = -8 - -5. Let q = -1366 + 1368. Put o, q, f, -4 in increasing order.
-4, f, o, q
Let p = 15 + 66/5. Let u = p + -1143/40. Put -5, 3, u in ascending order.
-5, u, 3
Suppose -x + d - 3*d = -19, -5*x = -4*d - 39. Sort 3, x, -3, 8 in decreasing order.
x, 8, 3, -3
Suppose -2 = 4*f + 10, 3*f + 5 = 4*s. Let w = -0.518 + -0.082. Put w, 1/3, s, -3 in decreasing order.
1/3, w, s, -3
Let b = -16 + 16. Let t(g) = g**2 + 7*g + 10. Let r be t(-5). Suppose r = q + 30 - 33. Sort 2, b, q in increasing order.
b, 2, q
Let m(y) = -37*y - 735. Let b be m(-20). Let r be 1/(36/16 + -2). Put -10, r, b in increasing order.
-10, r, b
Suppose 264*j = -409 - 119. Put 5, j, -204, -5, 1 in decreasing order.
5, 1, j, -5, -204
Let u = -5.8 - 0.2. Let x = u + 5.2. Let m be (-13 - 16/(-2))*(7 - (-6 - -12)). Put 5, m, x in ascending order.
m, x, 5
Let x(q) = -4*q**2 + 17 + 5*q**2 + 9*q - 3*q. Suppose -66*b - 149 - 379 = 0. Let s be x(b). Sort -4, s, 5 in decreasing order.
s, 5, -4
Let y = 1354.0178 - 0.0178. Put y, 0.1, -3 in descending order.
y, 0.1, -3
Suppose 5*n = 5*x - 135 - 15, -3*n + 108 = 3*x. Suppose -8*w - 25 = -x. Put 4, -4, 13, w in ascending order.
-4, w, 4, 13
Let r = -2763 - -2763.3. Put -0.4, -46, r, -0.1 in decreasing order.
r, -0.1, -0.4, -46
Let r be (-12)/204 - (-1)/17. Let t(g) = -2*g**2 + 2*g**3 - 1 - 2 + 4*g - g**3. Let n be t(2). Put r, n, -6 in decreasing order.
n, r, -6
Let c = 2004 + -2007. Sort c, 4, -1/23, -0.01.
c, -1/23, -0.01, 4
Suppose 12 = 3*g + 3. Let x(w) = 7*w + 68. Let j be x(-10). Sort j, -5, g in decreasing order.
g, j, -5
Suppose 5*y + 11 + 4 = 0, 0 = -2*r + 4*y + 10. Let d be 2*(16 - 7)/(-9). Sort 1, 16, r, d.
d, r, 1, 16
Let q be 20/(240/276) + -16. Sort 5, 97, q.
5, q, 97
Let n = -0.3599 + -0.1401. Put 0, -2/7, n, 6 in descending order.
6, 0, -2/7, n
Let y = 0.6 - 0.66. Let g = 48624 + -48626. Sort y, g, 1 in decreasing order.
1, y, g
Let l be 1*-4 + 8 + (8 - -1). Suppose 3*s + 3*a = -6, 0 - 19 = -4*s + 5*a. Put s, -1, l in increasing order.
-1, s, l
Suppose -14*q + 12 = -17*q, -r - 4*q = 15. Let h = 58 - 60. Suppose 0 = -2*o - 4*s - 12, -7*o + 10 = -2*o + 2*s. Sort r, 11, o, h.
h, r, o, 11
Let q = 1944 + -1953. Sort q, 66, 4 in increasing order.
q, 4, 66
Suppose -10 - 2 = 4*j. Let p be (-28 - -10)*(-88)/12. Let q = 137 - p. Put 2, j, -5, q in descending order.
q, 2, j, -5
Let y = 131.96 + -134. Let m = y + -0.96. Suppose -g - 5 = -6*g, 0 = -3*c + g - 7. Sort m, 5, c, -3/2 in ascending order.
m, c, -3/2, 5
Let r = 4389 - 4449. Put 6, 0, r in descending order.
6, 0, r
Let v(t) = 5*t + 1. Let k be v(2). Suppose 8*q - q = -21. Suppose -7*p = -2*p + 2*r - 1, -r - 2 = 0. Sort k, p, q.
q, p, k
Let v(f) = -42*f - 3484. Let y be v(-83). Put -8, -5, y, -3, -2 in increasing order.
-8, -5, -3, -2, y
Let u = -123 + 126. Suppose 47*t + 6 = 49*t - 4*j, -3*t + j = -4. Sort t, -5, u in increasing order.
-5, t, u
Let p = -101.6 - -100.6. Sort 0.5, 3, -6, p, -25 in increasing order.
-25, -6, p, 0.5, 3
Let b = -2 + 1. Let q = 70.27 - 70.58. Put q, b, -0.2 in descending order.
-0.2, q, b
Let h(v) = 6*v**3 - 3*v**2 - v + 2. Let m be h(1). Suppose g - 2*g - 15 = 0. Let x = 162 + -163. Put x, -3, m, g in increasing order.
g, -3, x, m
Suppose 0 = h + 3 - 12. Let y(m) = m**2 + 6*m + 13. Let l be y(-4). Suppose -l = 15*x - 16*x. Put h, 1, x in descending order.
h, x, 1
Let c = -5281 - -5284. Put -16, c, 0, -1 in descending order.
c, 0, -1, -16
Suppose 0 = -2*y - 8, 2*y = 2*b - 21 + 3. Suppose -3*x = -w + 2, 0 = 5*x - 0*x - w. Suppose 73 = 35*p - 5 + 8. Put -3, p, b, x in descending order.
b, p, x, -3
Let x = -1/4285 - 167/18854. Sort 2/3, x, 0, -3 in decreasing order.
2/3, 0, x, -3
Let w = -20534.5 + 20534. Let g = 0.06 - 1.26. Put w, 0.5, -5, g in ascending order.
-5, g, w, 0.5
Let s be (1*(-15)/(-6) + -3)*514. Let v = -257 - s. Sort -34, v, -2, -1 in decreasing order.
v, -1, -2, -34
Let t be (-6744)/281 - 89*34. Put 0, t, -2, -3 in increasing order.
t, -3, -2, 0
Let g(j) = 2*j**3 + 12*j**2 - 2*j - 10. Let n be g(-7). Let f = 98 + n. Put -1, -28, f, 3 in ascending order.
-28, -1, 3, f
Let j = -4303 - -4306. Put 2, -2, j in ascending order.
-2, 2, j
Let b be ((-12)/(-20))/(4305/1400 - (-6)/(-16)). Let m be 2/((-6)/(2/1)). Put m, b, -0.017 in descending order.
b, -0.017, m
Let x = -148.8 - -149.8. Sort 1/2, -0.08, x in ascending order.
-0.08, 1/2, x
Suppose -4*s + 12 = 0, 5*p + s = -0*s - 7. Let r = -269971 - -269972. Put 20, r, p in decreasing order.
20, r, p
Let p(a) = 7*a + 111. Let r be p(-16). Sort 3, 2, r, 113 in decreasing order.
113, 3, 2, r
Let n be (1*(-4)/6)/((-12)/342). Let a = 0 + n. Let t = a - 17. Sort t, -8, -0.3 in decreasing order.
t, -0.3, -8
Suppose 57*p - 4 = 59*p. Let v be 24/(-9) + (-4)/p. Sort v, -1.7, -4 in decreasing order.
v, -1.7, -4
Let t be 