 Sort -3, x, 1, t in increasing order.
t, -3, x, 1
Let w(o) = -o**3 - 39*o**2 + 4*o + 153. Let b be w(-39). Let j = 0.2 - 0.1. Put 2/25, 2/15, b, j in increasing order.
b, 2/25, j, 2/15
Let t = -0.2281 - -0.5281. Sort t, 1.21, 9 in ascending order.
t, 1.21, 9
Suppose 43*t + 29*t - 360 = 0. Put -5, -3, t, 0 in decreasing order.
t, 0, -3, -5
Let w(t) = t**3 + 2*t**2 + 3*t + 3. Let u be w(-2). Let y(x) = -55*x - 1869. Let z be y(-34). Sort -13, z, u, 2 in decreasing order.
2, z, u, -13
Let h(n) = -3*n - 78. Let u be h(-27). Suppose u*r + 87 - 72 = 0. Sort r, 1, 6 in increasing order.
r, 1, 6
Suppose -5*w + 10 = 5. Let x = -30145 - -30145.01. Let y = 3 - 6. Sort y, x, 0.4, w in descending order.
w, 0.4, x, y
Let x = 2492 + -2484. Let q(n) = 2*n + 15. Let z be q(-10). Put x, 0, z in descending order.
x, 0, z
Let n = -64552/87 - -742. Put -5, -3, n, 5 in descending order.
5, n, -3, -5
Let k = 0.214 - -0.786. Sort k, -0.2, -5, -37, 4 in increasing order.
-37, -5, -0.2, k, 4
Let d = -5 + 7. Suppose 8*o + 10 = 2. Let b = 72910 - 72914. Sort b, d, o in decreasing order.
d, o, b
Suppose z + 22 = 3*i, i = -0*z + 4*z + 44. Suppose 0 = -5*j + 8 + 12. Suppose 0 = 25*s - 20*s - 10. Sort z, s, j.
z, s, j
Let i be 2*((-9)/2)/(7 - 10). Let n(a) = 3*a - 5. Let l be n(i). Let f be (-124)/30 + 16/l. Put -0.01, f, 2/11 in increasing order.
f, -0.01, 2/11
Let b = 278 + -283. Let j = -19 + 28. Suppose -r = -5*m - 4, 0 = -5*r + 2*m - 6*m - j. Sort b, r, 9.
b, r, 9
Suppose -2*d + 13 = -3*w, 5*d + 3*w + 29 = 9. Let m be (2/(-4))/(2/(-4)). Let y(f) = -2497*f**2 + 17477*f + 9. Let g be y(7). Sort d, m, 5, g.
g, d, m, 5
Let v = 1602.07 + -1593. Let l = 0.216 - 9.316. Let u = v + l. Sort 3, -2/7, u in increasing order.
-2/7, u, 3
Let b be 5 + 4/(-20)*0. Suppose -s - r = -b*s - 8, 5*s = 4*r - 21. Suppose 5*t = g - 0*t + 14, 4*t - 16 = 0. Put 4, s, g in increasing order.
s, 4, g
Let c = 3821 + -3824. Sort c, 28, -18.
-18, c, 28
Suppose 3*z - 3 = -u + 1, 5*u + z = 48. Let v = u + -15. Let x be 4 + (4 - -1) + -4. Put 3, v, x in ascending order.
v, 3, x
Let f = 4504/39 + -531647/4641. Let d = 11/17 - f. Sort d, -5, -1/2 in descending order.
d, -1/2, -5
Let h be 1052/28 + (-3)/(-7). Let u(k) = 6*k - 14. Let d be u(3). Sort d, 2, -1, h in ascending order.
-1, 2, d, h
Let s = 9183.8 + -9184. Sort -1/6, -1/27, -4, s, -1 in increasing order.
-4, -1, s, -1/6, -1/27
Let g = 305 - 350. Let x = g + 45.3. Let i = -0.01 - -2.01. Put 9/5, x, i in decreasing order.
i, 9/5, x
Let c = -37 - -35. Let o = c + 45. Let u = o - 43.4. Sort 2/21, u, -0.2 in decreasing order.
2/21, -0.2, u
Let w be ((-14)/49)/(2/(-14)). Let h(o) = -o**2 - 10*o + 25. Let n be h(-12). Suppose -r - v + 41 = -6*r, 3*v = -5*r - 57. Put w, n, r, 3 in decreasing order.
3, w, n, r
Let b(l) = -l**3 - 29*l**2 - 8*l + 161. Let h be b(-28). Sort -1, -5, h, -4, 2 in descending order.
2, -1, -4, -5, h
Let l = -9 + 5. Let x be l/(-8) - 474/12. Let m = -42 - x. Sort 11, m, 1.
m, 1, 11
Suppose 5*s - 17*u + 21*u = -11, 3*s - 4*u = -13. Sort 6/5, s, -18, -0.4 in ascending order.
-18, s, -0.4, 6/5
Suppose l + 4*o + 20 = 0, -26*l = -24*l - o + 4. Put 8, 1, 0, l in descending order.
8, 1, 0, l
Let i be 8*3*(-5)/30. Sort 3, 2, 0, i, -7.
-7, i, 0, 2, 3
Suppose -2*q - 4*h = -14, -44*q + 3*h - 30 = -39*q. Sort -42, q, 3 in decreasing order.
3, q, -42
Suppose g = 3, -113*g + 116*g = 4*y + 25. Sort 1, 75, y, 2, 3.
y, 1, 2, 3, 75
Let r = -0.293 - -0.493. Sort 0, -1/10, 3/8, r in descending order.
3/8, r, 0, -1/10
Let j be (0 + (-1)/(-4))/(9 + -6 + -1). Sort -4/5, 2/21, 1, 64/7, j in increasing order.
-4/5, 2/21, j, 1, 64/7
Suppose -16359 + 3699 = 12*n. Let g = n + 1055. Let u = 3 + -2. Put g, u, -2/11 in descending order.
u, g, -2/11
Let x = 845 + -840. Let z = 11898/25 + -476. Suppose i + 2*i = -9. Put x, i, 1, z in decreasing order.
x, 1, z, i
Let n(v) = 74*v - 1322. Let g be n(18). Sort 3, g, -5, -73, -4.
-73, -5, -4, 3, g
Suppose -76 = -4*w - 56, -4*m - 14 = -2*w. Let v = 2.7 - 0.7. Put m, v, 6 in increasing order.
m, v, 6
Let z = 307 + -308. Let r = -2 - -1. Let p be ((z + 2)*(1 + r))/1. Sort 2, -18, p, 4 in increasing order.
-18, p, 2, 4
Let q(z) = 15*z**3 - z**2 + z - 1. Let k(u) = -2*u**3 - 1. Let s(j) = k(j) - q(j). Let i be s(-1). Let o = i + -14. Sort o, 3, 1 in decreasing order.
o, 3, 1
Let f = -48.232 + 50.3. Let m = 0.068 - f. Put m, 3, -0.1 in ascending order.
m, -0.1, 3
Let y = 1076 - 1072. Put 6, -534, y in increasing order.
-534, y, 6
Let y = 1414 - 1417. Sort -603, y, 2 in decreasing order.
2, y, -603
Let x = -49451/66 - -8240/11. Sort -10, 1/12, 0.3, x, 2 in ascending order.
-10, x, 1/12, 0.3, 2
Let b = -29 + 29. Let y = 6.66 + -6.36. Let s = 0.5 - -1.5. Put s, y, b in ascending order.
b, y, s
Let d(s) = -3*s**2 - 38*s + 24. Let a be d(-13). Let m be 2/3 - (-2)/(-3). Suppose 1 - 11 = -5*x. Put 1, x, m, a in decreasing order.
a, x, 1, m
Suppose 2*z = 319 - 9. Let w = -150 + z. Put 2, -2, w, -9 in increasing order.
-9, -2, 2, w
Let d = 2673 + -3281. Put 3, d, -5, 4 in descending order.
4, 3, -5, d
Let o be 1/7 - (16 - (-520)/(-35)). Let x be ((-42)/(-35) - 1)/o. Let y be 6/4*-1*2. Put -0.3, -6, y, x in descending order.
x, -0.3, y, -6
Let y = 15431/36 - 3824/9. Put -1, -0.19, y in ascending order.
-1, -0.19, y
Let x = -1411 - -946. Let y = x - -459. Sort -2/23, 1, y in decreasing order.
1, -2/23, y
Let a = 6 + -4. Let g(h) = 39 + 24*h + 9*h - 30*h. Let k be g(-12). Put k, a, -3 in increasing order.
-3, a, k
Let p(x) = -x**3 + 72*x**2 - 70*x - 69. Let i be p(71). Let m = 11 - 15. Let l be 30/25*(-30)/(-9). Put 9, m, l, i in decreasing order.
9, l, i, m
Let i(l) = -9*l. Let b be i(-2). Let o(k) = -k**3 + 19*k**2 - 19*k + 14. Let a be o(b). Suppose 3*x = 2*x - 3. Sort -2, x, a, 2 in ascending order.
a, x, -2, 2
Let r(g) = -2*g**3 - 57*g**2 - 34*g - 169. Let x be r(-28). Put 4, 5, x, -813 in decreasing order.
5, 4, x, -813
Let c(a) = 2*a**2 + 9*a - 219. Let n be c(-13). Put 9, 12, -1, n, 0 in descending order.
12, 9, n, 0, -1
Let s = -29384 - -29385. Put s, 1965, -4 in increasing order.
-4, s, 1965
Suppose -5*r = 2*x + 27, -3*x - r - 9 = -1. Let j(y) = -y**3 + 9*y**2 - 21*y + 51. Let w be j(7). Put 30, x, w in decreasing order.
30, w, x
Suppose 14*p + 39 = 44 + 23. Put -0.5, p, -1/4, -4 in increasing order.
-4, -0.5, -1/4, p
Let s = 1685/2568 + 9/856. Put 0.3, 80, s, -2/9, 1/2 in descending order.
80, s, 1/2, 0.3, -2/9
Let n(j) = -j**3 - 7*j**2 - 6*j - 40. Let g be n(-7). Let q be 12 + (-405)/36 + (-3)/g. Put 0, -7, q, 5 in descending order.
5, 0, q, -7
Suppose 3*o = g - 3, 5*o + 0*g + 5 = g. Let j = -475.15 - -475. Sort -0.1, o, j in increasing order.
o, j, -0.1
Let l(v) = 21*v**2 - 86*v + 12. Let f be l(4). Sort f, 10, 3, -2, -3 in ascending order.
-3, -2, 3, f, 10
Let h = -11 + 11. Let k = 707/4 + -177. Sort k, 4/5, h in increasing order.
k, h, 4/5
Suppose 0 = d - 2*d + 3. Let s = d - 2. Let u = 43 - 43. Put -10, s, u, 5 in descending order.
5, s, u, -10
Let l = -13300 - -13300. Put -49, 2, 5, l, -1 in descending order.
5, 2, l, -1, -49
Let h = 19600 - 19602. Sort -1/2, -3407, h.
-3407, h, -1/2
Let o be 2/(-6)*(-3)/(-7) - (-116)/406. Sort -41/2, -2, 5, o in ascending order.
-41/2, -2, o, 5
Let p = 2.68 - -0.32. Suppose -34*h = -4*m - 36*h + 18, 4*m + 4*h = 16. Put 1/3, -0.4, p, m in descending order.
m, p, 1/3, -0.4
Suppose 2*z - 142 = -g - 2*z, 3*g = 2*z + 454. Let y = g + -1046/7. Let w = 0.073 + 0.427. Sort -1/2, w, -2/9, y in decreasing order.
y, w, -2/9, -1/2
Suppose 2*i = -j + 5, 5*i - i - 16 = 4*j. Let t = -2051/4 + 501. Let u = t - -12. Sort j, u, -3.
-3, j, u
Let r(i) = -11*i + 91. Let p = -47 - -55. Let l be r(p). Suppose -36 = -5*z + 44. Put z, -4, l in increasing order.
-4, l, z
Let a = -17.6 - -21. Let s = 56.4 - a. Let k = s + -54. Sort -2, -3/5, -0.2, k in descending order.
-0.2, -3/5, k, -2
Let a(i) = -2*i - 1. Let q be a(-2). Let y = 0.23 + -1.13. Let t = -1.1 + y. Sort q, t, -1/6, -3 in descending order.
q, -1/6, t, -3
Let b = -284 - -286.98. Let r = 0.02 + b. Let v = 90.5 - 91. Put v, -49, r in decreasing order.
r, v, -49
Let n = 198 - 199. Let q be (400/(-160))/(1/(-2)*-1). Sort q, n, 1, -12 in decreasing order.
1, n, q, -12
Let n = 633/5 - 127. Suppose -120*p + 4 = -4*o - 124*p, -4*o + 4 = -4*p. Put -0.8,