 decreasing order.
83, q, -3
Let m = -0.31 - -0.3. Let q = -83 + 59. Let y = q + 24.5. Sort y, m, -3 in decreasing order.
y, m, -3
Let x be (-136)/(-51)*(-3)/2. Put x, -0.15, 2, -3 in descending order.
2, -0.15, -3, x
Let t = -12009 + 12012. Let o be (6/3)/(0 + 3). Put o, t, 2, 19 in descending order.
19, t, 2, o
Let p = 816 + -8974/11. Put 0.2, p, -0.3, 4 in descending order.
4, 0.2, p, -0.3
Suppose -q + 2*q + 3 = -5*r, 0 = -2*r. Let c = 11 - 8. Put q, c, -9 in descending order.
c, q, -9
Let a be (-4)/12 - (-2)/(-3). Suppose -7*y - 15 = -12*y. Suppose -17 - y = -4*d. Sort 3, d, a.
a, 3, d
Let k = 0.2 + 0.1. Let t = 225.6 - 223.6. Sort 0.4, k, t in increasing order.
k, 0.4, t
Suppose 0 = -3*m + 19 - 4. Suppose -3*d - 10 - m = 0. Put 1, 4, d in descending order.
4, 1, d
Let m be (15/(-4))/((-2)/(-16)). Let r be -2 - (4 - m/(-5)). Suppose 0 = -r*l + 5*l. Sort -6, l, 1.
-6, l, 1
Suppose 10*h + 2720 = 840. Put 0, -1, h in ascending order.
h, -1, 0
Let l = -0.304 + 0.444. Put l, 1, -3 in descending order.
1, l, -3
Suppose -h + 1 = -l, 0 = 4*h - l - 0 - 16. Let a(t) = -t**2 - t + 1. Let c be a(-2). Let p be 2/5 - (-6)/10. Put h, c, p in descending order.
h, p, c
Suppose -2*f + 17 = 3. Sort f, 5, -1, 2.
-1, 2, 5, f
Let a = -65 + -11. Let y = -230/3 - a. Sort 0, 5, y, 15 in increasing order.
y, 0, 5, 15
Let w = 0.13 - -0.57. Let r = w - -6.3. Let x = 8 - r. Put x, 2/5, 1/4 in ascending order.
1/4, 2/5, x
Let a(i) = -i**3 + 8*i**2 - 8*i - 2. Let w be a(4). Let d be 8/w - (-6)/15. Sort -0.1, d, 5 in increasing order.
-0.1, d, 5
Let c be (-38)/6 + (-50)/30. Sort c, -5, 4.
c, -5, 4
Let y = -2 - -10. Let n = 2968/3 - 988. Sort n, y, -4 in descending order.
y, n, -4
Let b(y) = 2 + 7*y**2 - 3 + y + 8*y**2 + 27*y**2. Let s be b(-2). Let q = s - 2473/15. Put 2, q, 0.2 in descending order.
2, 0.2, q
Let i(r) = -r**2 - 14*r - 22. Let k be i(-9). Suppose 3*f + f + v - 8 = 0, 5*f - 2*v = k. Sort 0, f, 1 in decreasing order.
f, 1, 0
Let k = 2034 + -2035. Put k, -10.1, -1/2 in decreasing order.
-1/2, k, -10.1
Let a(q) = -4*q**2 - 47*q + 4. Let t be a(-12). Put 1, 0, t, 32 in increasing order.
t, 0, 1, 32
Let x be ((-4)/6)/(7/(-42)). Let k be (x - 3)*(-3 - -1). Suppose -4*c - 3*j + 14 - 41 = 0, -2*j = 10. Sort 0, c, k.
c, k, 0
Suppose 0 = 5*n - 3*r - 25, -25 = -5*n + 3*r + r. Sort 14, -1, n, 1 in ascending order.
-1, 1, n, 14
Let i(f) = f**2 + 41*f - 135. Let l be i(-44). Suppose 3*h - 47 = -8. Suppose -4*t - 5*d = -19, 4*t - h = -2*d - 3. Sort t, -2, l.
l, -2, t
Let u = -740.9 + 741. Sort u, -2/5, -1.3, -0.3 in ascending order.
-1.3, -2/5, -0.3, u
Let n = 0.04 - 1.04. Let l = 3/25 - 43/25. Put l, -5, n in decreasing order.
n, l, -5
Let u be -4 - ((-28)/(-3) + (-18)/54). Let g(v) = 2*v - 1. Let y be g(1). Sort 5, u, y.
u, y, 5
Let n(m) = -9*m**2 + 5*m + 5. Let q be n(-7). Let v = 1905/4 + q. Let w = -5 + v. Sort -6, w, 5/4 in decreasing order.
5/4, w, -6
Let a be 840/(-135) - 6/(-27). Put 0, a, 3 in decreasing order.
3, 0, a
Let t = 426 + -286. Put -1, t, 1 in decreasing order.
t, 1, -1
Let g be 1 + 363/(-28) + -1. Let p = -53/4 - g. Let v(r) = -r**3 - 16*r**2 - 54*r + 13. Let t be v(-11). Sort p, t, 0.3 in descending order.
t, 0.3, p
Let q = 701 - 700.9. Put q, -2, 7 in descending order.
7, q, -2
Let l(w) = 4*w - 5*w + 6*w - 1. Let x = -67 - -68. Let d be l(x). Sort 5, 3, d in ascending order.
3, d, 5
Let a be 4/(-14) + (-1320)/35. Let x = -26 - a. Suppose -7*q + 4*q = -x. Put -1, -5, q in increasing order.
-5, -1, q
Let y = 5.7 + -0.7. Let t = 0.4 + 0.04. Let p = 0.24 - t. Sort y, p, 4 in decreasing order.
y, 4, p
Let d be 20*(-3)/(-12)*2. Let w be d + -9 - (-3)/1*-2. Sort 1, w, 0, -2 in descending order.
1, 0, -2, w
Let b = 4.93 + 0.07. Let s = -36 + 24. Let d be 0/((-9)/((-27)/s)). Put b, 1/2, d in decreasing order.
b, 1/2, d
Let a = 483 - 3863/8. Sort 297, 5, a in increasing order.
a, 5, 297
Let r = 1000 - 1002. Sort -3, 4, 0, r in descending order.
4, 0, r, -3
Let z be 3*((0 - 0) + 1). Let p(v) = 33*v - 1204. Let u be p(36). Put u, 0, z in decreasing order.
z, 0, u
Let d = -0.3 - -0.2. Let t be (-170)/935 - (2 + (-98)/55 + 0). Sort -2, d, t.
-2, t, d
Let z = 343 - 342.98. Let x = -0.3 + -0.7. Let d be 8/((-2)/(3/(-3))). Sort z, d, x in ascending order.
x, z, d
Let r = -15 - -24. Suppose 32*k + 1 = 27*k - 9. Sort -3, -1, r, k in ascending order.
-3, k, -1, r
Suppose 6*o = 2*o + 8. Let l be (-18)/(-28)*70/(-60). Put 2/5, 1.9, o, l in descending order.
o, 1.9, 2/5, l
Suppose 2*p - 7 = g, g + 1 + 8 = 3*p. Suppose 3 = -5*l + p*l. Let d be (-3)/2 - 3/2. Put l, -4, d in descending order.
l, d, -4
Let l be (-46)/6 - (-4)/6. Let h = -3/170 + -1/10. Let v(y) = y**3 - y**2 - 59*y + 19. Let u be v(8). Put l, h, u in decreasing order.
h, u, l
Suppose -3*o = o + 36. Suppose 10*m = 12*m + b - 1, 0 = 2*m - b + 9. Sort 0, 1/5, m, o in ascending order.
o, m, 0, 1/5
Let c = 13.81 + -13.1. Let t = 0.87 - c. Sort 0.4, -0.5, t in descending order.
0.4, t, -0.5
Let s = -100 + 99. Suppose -3*i + 7 = -8. Let a = -488 - -492. Sort a, s, i.
s, a, i
Suppose -19 = 13*i - 6. Sort -4, -5, 23, i in descending order.
23, i, -4, -5
Let m = 2733 + -2737. Let f = 39 + -28. Sort 0, m, f, -3 in descending order.
f, 0, -3, m
Let x = 155 - 153. Let t = -18.7 - -18. Let y = 2.3 - t. Sort x, y, -0.2 in descending order.
y, x, -0.2
Let d = 23/28 + -4/7. Let f = -0.8 - -1.01. Sort -4, d, f in descending order.
d, f, -4
Let c(o) = 4*o + 5. Let z be 0/((0 + -15)/5). Let u be c(z). Sort u, 13, 0 in descending order.
13, u, 0
Let k(u) = u**2 + 7*u + 10. Let z be (-1)/((-17)/6 + 3). Let c be k(z). Sort 5, 0.3, c, 2.
0.3, 2, c, 5
Suppose -y + 1 - 33 = 5*d, 0 = 2*d - 3*y + 23. Sort -3, d, -1 in increasing order.
d, -3, -1
Let a be (-12)/5*1*(-240)/(-72). Sort a, 2, 3.
a, 2, 3
Let b(k) = k + 5. Let a be b(0). Let y be (0/5 - -3) + -4. Suppose -4*m + f = -21, -2*m - 25 = 5*f - 8. Sort y, m, a in increasing order.
y, m, a
Let q(f) = -3*f + 2. Let c be q(2). Let u be 307/(-2)*c/(-14). Let i = u + 44. Put 4, i, -0.1 in decreasing order.
4, i, -0.1
Let i = 110 + -108. Suppose -3*w + 0*j + 4*j = 91, -i*j = -2*w - 60. Put -4, -3, w, 1 in descending order.
1, -3, -4, w
Let p(j) = 11*j + 15. Let g be p(-1). Let t = 4 + -2. Put t, g, 6 in increasing order.
t, g, 6
Let f(y) = y**3 - y**2 - y + 24. Let m be f(0). Let s be (-22)/m + (-25)/(-20). Put -0.2, s, 0.2 in decreasing order.
s, 0.2, -0.2
Suppose -5*o + 1 + 6 = 3*p, 0 = -4*p + o - 29. Let b be 0 + (1 - -1) + p. Suppose 4*q + q - 5*y + 5 = 0, 3*q - 2*y = -5. Sort q, -5, b in increasing order.
-5, b, q
Let x = -0.116 + -0.384. Sort x, 2/15, -13/6 in descending order.
2/15, x, -13/6
Let z = -2 - -1. Let s(v) = -3*v**3 - 37*v**2 - 10*v + 20. Let n be s(-12). Put -3, n, z in increasing order.
n, -3, z
Suppose 2*o - u - u + 4 = 0, -u = -3*o - 6. Suppose -3*y = 2*x - 3, 4*y + 2*x = 5*y - 1. Sort -5, 0, o, y in increasing order.
-5, o, 0, y
Let q be -4 + (-64)/36 + 4/(-18). Let v be (-2457)/(-99) + 2/11. Let j = v - 28. Sort -5, j, q in decreasing order.
j, -5, q
Let a(o) = -o**2 + 7*o + 11. Let h be a(8). Suppose -3*g = -0*g + 3*m - 3, h*m = 4*g + 24. Suppose 0 = 3*j - 22 - 14. Put -5, g, j in increasing order.
-5, g, j
Suppose 3*c + 0 = 9. Suppose 0 = -s + 4*o + 41, 3*s - 13*o = -9*o + 107. Suppose -5*u + 4*r = 61, c*r - s = 5*u + 24. Sort -3, 4, u in increasing order.
u, -3, 4
Let m = -8.98 - -57.02. Let w = 48 - m. Sort w, 3, 0.1, -2/5 in decreasing order.
3, 0.1, w, -2/5
Let t be ((-20332)/48)/13 + 3. Let f = 115/4 + t. Let d = -0.3 - 0.1. Sort d, f, -4 in descending order.
d, f, -4
Suppose 3*i - 11 = 19. Suppose -10*a + 15*a = i. Put -5, a, 0, 7 in descending order.
7, a, 0, -5
Let y = -2 + 5. Let l = 17 + -1. Let k be 0 - 2 - (l - 19). Put k, y, -1 in ascending order.
-1, k, y
Let l be 1/(-1)*(3 + -2). Let j(b) = -2*b + 1. Let r be j(l). Let q be 1 + (-2)/r + 0. Sort 0.4, q, 0.3 in increasing order.
0.3, q, 0.4
Suppose 3*y = c - 8, -y + c = 1 + 5. Let v be 2/(-5)*-1 - (-23)/5. Sort y, 1, v in decreasing order.
v, 1, y
Suppose -12*l = 7*l + 399. Put 1, l, 2 in increasing order.
l, 1, 2
Let f(u) = 21*u + 234. Let w be f(-11). Let s(c) = -c**2 - 6*c. Let v be s(-5). Put 4, v, w in increasing order.
w, 4, v
Suppose 10*l - 101 + 61 = 0. Sort 3/4, 0.7, 1, l in ascending