. Put -1, 0, t in decreasing order.
t, 0, -1
Let k be 20/50 + 26/10. Suppose 4*g + 7 = -5. Sort 1, k, 2, g.
g, 1, 2, k
Let j be (1/(-3)*-10)/((-628)/942). Let f be (1 - 9/3) + 2. Let o = f - 4. Put 2, j, o in decreasing order.
2, o, j
Let g = 72 + -76.1. Let d = g + 3.1. Let x = -0.5 - -1. Sort d, x, 2/9.
d, 2/9, x
Suppose -23*f = -21*f + 2*y - 4, 3*f = 3*y + 24. Sort f, -2, 13, 8 in decreasing order.
13, 8, f, -2
Let m = -4/111 + -154/1887. Let y = 0.7 + -0.5. Sort 2, m, y in descending order.
2, y, m
Let r = -815.8 + 816. Sort 17, -4, -0.3, r.
-4, -0.3, r, 17
Let f be ((-416)/(-13))/4 - 11. Let z = -7 - -5. Sort 1, z, 3, f in increasing order.
f, z, 1, 3
Let g = -35 + 35. Let j = 15 - 11. Suppose 1 - 18 = -3*x - k, -j*x - 2*k = -24. Sort -5, x, g in increasing order.
-5, g, x
Let q(l) = l**3 - 5*l**2 + 2. Let j be q(5). Let o(f) = 2*f**2 - 4*f + 2. Let k be o(j). Let w be (-16)/10*1/2. Sort 3, k, w in descending order.
3, k, w
Let u be 62/14 + 68/119. Suppose 2*c - 8 = 5*n + 2, -u*n + c = 10. Sort n, 3, 5, -5.
-5, n, 3, 5
Let f = 254 + -252.8. Sort -5, f, 1/6, -1/7 in ascending order.
-5, -1/7, 1/6, f
Let f(z) = 9*z - 85. Let r be f(11). Sort 5, 4, 1, r.
1, 4, 5, r
Let a = 2449 + -19595/8. Sort 2/15, 0.35, a, -1 in descending order.
0.35, 2/15, a, -1
Let x = 95.5652 - 1.5752. Let y = -94 + x. Put 0, y, 1 in decreasing order.
1, 0, y
Let o = 40 + -40.025. Let g = o + -8.975. Sort 2/15, -0.2, g, -0.4 in increasing order.
g, -0.4, -0.2, 2/15
Let m = -69.1 - -75. Let d = m + -9.9. Let c = 5.3 + -5. Put d, -3, c in descending order.
c, -3, d
Suppose -4*h + 12 + 8 = 0. Let w(t) = t**3 + 11*t**2 + 19*t + 5. Let y be w(-9). Sort 0, h, y in descending order.
h, 0, y
Let z be 0/(3/(4*(-12)/32)). Let k(d) = d**3 + 6*d**2 - 8*d - 10. Let o be (-2 + 3)/(2/(-14)). Let f be k(o). Sort z, f, 7 in descending order.
7, z, f
Let c = 17.29 - 20.29. Put c, -1/2, 0.24, -3/5 in decreasing order.
0.24, -1/2, -3/5, c
Let l = 39 + 10. Suppose h = -4*h + 4*d + 37, -l = -5*h - 2*d. Let o be 33/9 + (-6)/h. Put -4, o, -5 in descending order.
o, -4, -5
Let i = -630 - -630. Sort -3, -1, 5, i in descending order.
5, i, -1, -3
Let l = -458 + 458. Sort 10, -0.1, l, -12 in ascending order.
-12, -0.1, l, 10
Let x(m) = 3*m + 47. Let q be x(-17). Let t = 4 - 3. Put 2, t, q in increasing order.
q, t, 2
Suppose 10 = -10*v - 0. Suppose 0 = i + 5*c + 10, -3*c + 14 = 4*i - c. Sort i, v, 1 in decreasing order.
i, 1, v
Suppose l - 9*l = 80. Let i be l/(-3) - (8 - 4). Put -2/9, -5, i in descending order.
-2/9, i, -5
Suppose -8*a = 110 - 150. Put -43/3, a, 1, 2 in decreasing order.
a, 2, 1, -43/3
Let l(x) = 2*x**3 - 10*x**2 - 7*x - 19. Let o be l(6). Sort 2, -5/2, o, 1 in ascending order.
-5/2, 1, 2, o
Let r(k) = k**2 + 10*k + 25. Let m be r(-7). Put 3, m, 65 in descending order.
65, m, 3
Let s be -2 - (-1 + (-13)/11). Let n = -5026/3 - -1676. Sort n, 2, s in ascending order.
s, n, 2
Let b = 65 + -61. Suppose 0 = -b*v + 10*v - 18. Put -5, v, -3 in ascending order.
-5, -3, v
Let n be 0/1 - (-5 + 8 + -4). Let w = -129 + 131. Sort -5, w, -2, n.
-5, -2, n, w
Let m = -0.1 + 0.1. Suppose 5*i + 2*x = -19, -x + 3*x = -i - 7. Let y be 1/(-2*i/(-12)) + 0. Put -3, m, y in descending order.
m, y, -3
Let i be 252/(-48) + (-1)/(-4). Let r = -84 + 673/8. Sort 5, r, i in ascending order.
i, r, 5
Let l(m) = m**3 - m**2 - 2*m - 3. Let o be l(3). Suppose 4*z - z - o = 0. Let x be 3*(1 - (-2)/z). Sort -5, x, -0.2 in increasing order.
-5, -0.2, x
Let i(c) = c**3 - 53*c**2 + c - 54. Let n be i(53). Put -29, -5, 5, n in increasing order.
-29, -5, n, 5
Let f = -0.188 + -0.212. Put f, -2/11, 8.3 in decreasing order.
8.3, -2/11, f
Let o = -102 + 89. Put 2, -2, o in descending order.
2, -2, o
Let x(w) = 49*w + 542. Let b be x(-11). Put 0, b, -123 in decreasing order.
b, 0, -123
Suppose 56 + 76 = 4*p. Suppose 44*w + 28 = -16. Sort 3, w, -2, p in increasing order.
-2, w, 3, p
Let j be 1*(1*3 + 1). Let n = -24552 - -24549. Sort n, j, -5, 2.
-5, n, 2, j
Let a(n) = -3*n - 17. Let f be a(-9). Suppose c - 5*c = -44. Let v = f - c. Sort 5, v, 3.
v, 3, 5
Let z be (-4)/(-9) - (-4)/(-18). Let f be 4116/(-245) - ((-8)/60)/(2/12). Sort -0.1, z, f, 4 in ascending order.
f, -0.1, z, 4
Let d = -0.36 + 0.44. Sort -2/9, d, 4, 3.
-2/9, d, 3, 4
Suppose 2*d + 4*q = 106, 5*q + 41 = 3*d - 151. Sort d, -7, 0.5 in descending order.
d, 0.5, -7
Suppose -r + 12 = 3*r. Suppose r*z - 4 = 5*z. Suppose 6*j - 2*j - 24 = -5*d, 0 = -j + 2*d - 7. Put z, j, 4 in decreasing order.
4, j, z
Let x = -0.5 - -0.8. Suppose -3 - 349 = 196*k + 628. Sort x, -0.16, k in ascending order.
k, -0.16, x
Suppose 5*z = -m - 3 - 15, 2*m = -6. Put 30, z, 4, -2 in decreasing order.
30, 4, -2, z
Let y = 122/175 + -21/25. Put -0.23, y, 2 in increasing order.
-0.23, y, 2
Suppose -38 = -10*y + 12. Sort 1, 72, y.
1, y, 72
Suppose 0 = -6*y + 5 + 19. Sort y, 1/2, 2/3, 2/13 in increasing order.
2/13, 1/2, 2/3, y
Let r = 0.3 - -0.7. Let g(i) = -4*i + 37. Let k be g(10). Let p be (k/(-1 + -11))/(10 + -11). Put p, r, 0 in descending order.
r, 0, p
Suppose -2*n + 83 = -3*i - 13, 3*n = -5*i - 179. Let m be -4*i/765*(-10)/8. Sort -5/3, m, -0.3, 0.1 in decreasing order.
0.1, m, -0.3, -5/3
Let o(m) = 6*m**2 - 2*m**2 - 4*m + 6 - 5*m**2. Let q be o(-5). Let w be (-2 - -1)*(1 - 0). Put -2, w, q in ascending order.
-2, w, q
Let k = 2231.6 - 2232. Sort k, -3, -463 in increasing order.
-463, -3, k
Suppose -c + 1 = -5*y - 13, -5*c - 3*y + 14 = 0. Let g = -16 + 16.5. Put c, 0, g in descending order.
c, g, 0
Let n = -1454 - -1459. Sort 9, n, -1, 1 in descending order.
9, n, 1, -1
Let z(d) = -2*d**3 - 55*d**2 + 27*d - 24. Let c be z(-28). Sort -1, c, -5, 1.
-5, -1, 1, c
Let k = -40158 + 359356/9. Let s(a) = 26*a**2 - 4. Let l be s(-3). Let b = k + l. Put b, -1/5, -2/9 in descending order.
b, -1/5, -2/9
Let y(l) = -3*l + 7. Let q be y(2). Sort 7, q, 0.3.
0.3, q, 7
Let u = -1070.044 - -1070. Put 0, u, -5 in decreasing order.
0, u, -5
Let b be 1*3/((-6)/16). Let u be 59/6 - (-26)/156. Suppose g - u*g = -0*g. Put b, -5, g in ascending order.
b, -5, g
Let o be (-2)/13 + 18/117. Suppose -2*d + 31 = 5*x, -5*d + o*x + 68 = 3*x. Sort -3, d, -1 in ascending order.
-3, -1, d
Suppose -35 = -9*f - 8. Put f, -3, -4, -40 in decreasing order.
f, -3, -4, -40
Let h = 35 + -25. Suppose -3*i - 3 = d, 3*i = -86*d + 91*d - 3. Put -2, 0, h, i in decreasing order.
h, 0, i, -2
Let v = 0.43 + -0.03. Let i = 1373.6 + -1368.6. Put 7, -0.4, v, i in descending order.
7, i, v, -0.4
Let d be -7 + (0 - 4) + (-1 - -8). Put -2, -3, 5, d in ascending order.
d, -3, -2, 5
Let p = -0.0091 + -3.9909. Put -34, p, 4/7, -0.1 in increasing order.
-34, p, -0.1, 4/7
Let j be ((-14)/98)/((-1)/(-2)). Let x = -9 - -8.9. Sort -2/3, x, -0.8, j.
-0.8, -2/3, j, x
Let u be 1/((4/(-10))/((-48)/(-40))). Suppose 3*h + 22 - 7 = 0. Put h, 2, u, 5 in descending order.
5, 2, u, h
Let t(y) = -y - 1. Let l be t(-2). Let u be ((-2)/6)/(25/75). Sort u, l, -9 in decreasing order.
l, u, -9
Let p = -0.036 - 22.964. Let y = -21 - p. Sort y, 0, 3 in decreasing order.
3, y, 0
Let g = 0.087 - -77.113. Let i = g + -77. Let k = 3 + -1. Sort i, -5, k in increasing order.
-5, i, k
Suppose 7*d - 2*d - 3*n = 70, 3*n = -d - 4. Put 4, -2, 1, d in decreasing order.
d, 4, 1, -2
Suppose -30*t + 57 = -3. Sort t, -29, -3 in ascending order.
-29, -3, t
Let t = 0.72 - -0.08. Let z = 3.786 + 0.014. Let h = z - t. Sort 2/9, -5, h in descending order.
h, 2/9, -5
Let b be -9*(-4)/(-6)*17/(-34). Sort 4, b, -1, 11.
-1, b, 4, 11
Let c = -95/2 - -46. Let h = -106/5 - -21. Let q = -0.2 - 3.8. Sort q, c, h in decreasing order.
h, c, q
Let g = 0.5 + -1. Let q be 0/((-14)/14 - (-1 - 2)). Put g, q, 2 in decreasing order.
2, q, g
Suppose 5*n - 7*n + s = -9, 3*n - 5*s = 24. Suppose -y + 2 = n*c, 8*c = y + 9*c. Put 0.8, 0.1, y in descending order.
0.8, 0.1, y
Suppose 4*l + 16 = 2*b, -6 = 2*b + 3*l + 6. Suppose 4 + 0 = c + d, -4*c + 2*d + 4 = b. Suppose 3*x = x. Put c, x, 3 in descending order.
3, c, x
Let c = 11 - 7. Suppose 3*l + l = -3*v - 8, -4*v + l = -2. Suppose 3*w = -v*w - 12. Put c, w, -5 in descending order.
c, w, -5
Let r(u) = -5*u**3 - 16*u + 5*u**2 - 3*u**3 + 7*u**3 + 1 + 4*u**2. Let a be r(7). Let w(h) = -h - 1. Let k be w(3). Put 2, a, k in decreasing order.
2, k, a
Let h(v) = 23