 3 in increasing order.
2, 3, h
Let u = 1 - -2. Let a = -3 + u. Suppose a = -5*s + 7 + 18. Sort s, -2, 1 in decreasing order.
s, 1, -2
Let t = -17 - -34. Let h = -12 + t. Let y be h*(74/(-35) - -2). Sort y, 5, 1.
y, 1, 5
Let p = 132/13 - 976/91. Let u = -5.489 - -0.489. Sort p, 5, u in decreasing order.
5, p, u
Let z = -5 + 5.5. Let f = 0 - z. Let d = 0.4 + 0. Put d, f, 3/7 in descending order.
3/7, d, f
Suppose -3*n = -2*k - 2*k - 11, 0 = -2*n - 4*k - 6. Let b be (2 + (-64)/30)*n. Let i = 3 - 6. Sort 0.3, i, b in ascending order.
i, b, 0.3
Let c(h) = -h**3 + 5*h**2 + 7*h - 5. Let a be c(6). Suppose -2*u + 3 = 11. Let q be -10*1/u*2. Sort a, -4, q.
-4, a, q
Let r = 2/5 + -13/20. Sort 2/9, -1/3, r, -3 in descending order.
2/9, r, -1/3, -3
Let h = -131/3 - -45. Let x = 4 + -2. Suppose 0 = -3*n - p + 20, x*n + n - 4*p = -5. Put n, h, 0.5 in descending order.
n, h, 0.5
Let o = -104 + 106. Let t(w) = w**3 - 6*w**2 - w + 1. Let z be t(6). Put 5, z, o in increasing order.
z, o, 5
Let o = 42 + -44. Sort 5, -5/6, o in ascending order.
o, -5/6, 5
Suppose 0 = -5*b - 4*i + 8, -3*b + 0*i + 24 = -4*i. Let q be (b/(-15)*3)/6. Put q, -3, -2 in descending order.
q, -2, -3
Let s = 729/7 + -104. Put s, -1, 2/5 in decreasing order.
2/5, s, -1
Suppose 5 = 2*n - 1. Suppose -4*k = -5*k - 2. Sort k, -3, n in descending order.
n, k, -3
Let h = 65 - 64.7. Put h, -0.03, 2/13 in increasing order.
-0.03, 2/13, h
Suppose 0 = 5*d + 20, 3*x - 4*d - 12 = 19. Sort -1, -5, x in descending order.
x, -1, -5
Let r = 18 + -18. Sort 4, r, 0.1 in decreasing order.
4, 0.1, r
Let n be (-2)/(-2) - (-4 - 0 - -9). Sort 0, -1, n, 2 in decreasing order.
2, 0, -1, n
Let s = 2 + 1. Let y(z) = -z**3 + 4*z**2 - 2*z + 3. Let l be y(4). Put 2, l, s in decreasing order.
s, 2, l
Let n = -3.3 + 3.3. Let a = 8 - -9. Let m = a + -12. Put m, n, -1 in ascending order.
-1, n, m
Let t = 439/35 - 62/5. Sort -4, 4/3, t, -1 in decreasing order.
4/3, t, -1, -4
Let o(c) = -c + 3. Let f be o(-3). Let m be (f/(-7))/(5/(-35)). Suppose m*p - 12 = 2*p. Sort -2, p, -5 in descending order.
p, -2, -5
Let i be (-57)/(-76)*32/(-30). Sort -1/2, i, -2/9, -3/7 in decreasing order.
-2/9, -3/7, -1/2, i
Let x be (36/12)/((-3)/14). Let f be ((-2)/(-6))/(1/15). Sort 2, f, x in descending order.
f, 2, x
Let o(b) = b + 14. Let h be o(-11). Suppose -2*n + 5 - 24 = h*l, 5*n = l - 5. Sort 1, 6, n.
n, 1, 6
Let q = 2.19 - -0.81. Suppose 0 = o - 4*a - 9, 9*o - a = 4*o + 26. Suppose -22 = o*b - j - 8, -5*b = 2*j + 2. Sort 1/6, q, b in increasing order.
b, 1/6, q
Suppose 4*o - w - 4 = 0, 4*w = 2*o - 0*w - 2. Let b = 1 - 9. Let k = -13 - b. Sort 2, o, k in ascending order.
k, o, 2
Suppose 0 = 5*n + 5*t + 5, 2*t - 5*t = -n + 15. Let z = -76 - -71.1. Let y = z - 0.1. Put n, y, 1/5 in ascending order.
y, 1/5, n
Let i = 69 + -73. Sort 30, -1/8, i.
i, -1/8, 30
Let g be 2/3*(-2 - -5). Suppose g*x - 6*x = 3*l + 19, x + 10 = l. Let q = x + 9. Put q, 0, 3 in decreasing order.
3, q, 0
Let r = 0.5 + -1. Sort -1, -3, r, 1 in ascending order.
-3, -1, r, 1
Let g(k) = -k - 4. Let v be g(-3). Let t = -11.76 - 0.24. Let x = -12.1 - t. Sort 0, x, v in descending order.
0, x, v
Let p(r) = r**2 - 8*r + 8. Let z be p(7). Sort z, 5, 4 in increasing order.
z, 4, 5
Let j = -2.98 + 3. Let b be (-80)/56 + -4 + 6. Sort -2/7, b, j.
-2/7, j, b
Let u be (-4)/(-10) + (-88)/(-5). Suppose -5*t - u + 3 = 0. Sort 1, -2, t.
t, -2, 1
Let x be 2/8 - (2 - 30/8). Put x, -2, -6, 3 in decreasing order.
3, x, -2, -6
Let b be ((-14)/(-35))/(1/(-5)). Let i = -4 - -9. Suppose a - 8 = u + 1, i*a - 21 = -u. Sort b, u, 3 in descending order.
3, b, u
Let g be (-42)/112 + (-1)/(-4). Sort g, 2/3, -0.2 in decreasing order.
2/3, g, -0.2
Let m(j) = -j**2 + 3*j + 2. Let g be m(3). Suppose -1 = -4*u + 5*p - 24, -2*u - g*p = -2. Sort -4, -5, u in ascending order.
-5, -4, u
Let f = 12 + -9. Let o(s) = s**3 - s**2 - 3*s - 4. Let y be o(f). Sort y, -2, 4 in decreasing order.
y, 4, -2
Let g = -0.2 + 0. Let d = 0.2 - -0.3. Let f = -3.91 + -0.09. Put f, g, d in increasing order.
f, g, d
Suppose 5*m = -2*n - 3*n, 0 = 4*m - n - 25. Sort -9, -3/8, m in decreasing order.
m, -3/8, -9
Let t = -0.2 - -4.2. Let k = -3 + 8. Sort -1, k, t.
-1, t, k
Let q(d) = d**2 + 6*d - 10. Let a be q(-7). Suppose -5*s = -2*u + 40, s - 73 = -2*u - 3*u. Suppose 2*l + f - 2 = -1, u = 5*f. Sort 2, a, l in increasing order.
a, l, 2
Suppose 0 = 54*q - 51*q. Sort q, -9, -5 in ascending order.
-9, -5, q
Suppose 4*k = -11 - 9. Let o = -1 + 1. Sort o, k, 2.
k, o, 2
Let b be 18/4 + (-2)/(-4). Suppose -3*d + b*t = -0*d + 6, 3*d + 5*t - 24 = 0. Let r = 13 + -18. Put r, -1, d in descending order.
d, -1, r
Let u = 4.68 + 0.32. Sort -2/3, -0.01, u, 4.
-2/3, -0.01, 4, u
Suppose 0 = -0*d - 3*d. Let h = 2 - -1. Sort 5, h, d.
d, h, 5
Let z = 0.78 - 0.88. Sort 2, z, -0.4 in ascending order.
-0.4, z, 2
Let w = 17.42 + -0.42. Let a = w + -16.8. Sort -1, -3/4, a in increasing order.
-1, -3/4, a
Let m = 5.3 + -5.4. Put m, -1, -4 in ascending order.
-4, -1, m
Let p = -15 - -15.3. Put p, 2/9, -2/11 in increasing order.
-2/11, 2/9, p
Suppose -18 - 2 = 5*z. Suppose 0 = -3*x - 3*s + 24, -s + 40 = 2*x + 3*x. Suppose p = -5*w - 12, -w - 3*w = x. Sort p, 2, z in increasing order.
z, p, 2
Let s = 22 - 19. Sort s, -5, -3 in ascending order.
-5, -3, s
Let s = -370.1 - -354. Let h = s - -16. Sort h, -1, -0.16 in ascending order.
-1, -0.16, h
Let c(x) = x**2 - 5*x. Let y be c(4). Let a be 6/(-4)*y/27. Suppose 2*f - 3*f = 5*p + 2, -3*f - 6 = -2*p. Sort a, 2, p.
p, a, 2
Let h be (20/8)/(2/(-4)). Suppose -2*q - 5 = 1. Sort h, q, -2.
h, q, -2
Let k be ((1 + 2)/1)/1. Suppose k*y = 5*y - 2. Let b be (-1)/3*(-1 + -14). Put 0, b, y in increasing order.
0, y, b
Let n = 11 - 11.8. Let a = -1.2 + n. Sort a, 3, -2/9 in ascending order.
a, -2/9, 3
Suppose 2*x - 3 + 5 = 0. Put x, -5, -3 in increasing order.
-5, -3, x
Let z = -11 - -11.2. Let b = -0.8 - z. Sort b, -1/6, -0.3 in descending order.
-1/6, -0.3, b
Let o = 4.4 + -2.4. Let n = 4 + 0. Suppose -f + n*f = 0. Sort f, o, -0.5.
-0.5, f, o
Let n = 0.065 - 0.065. Sort -42, n, -1 in descending order.
n, -1, -42
Let v = -381 - -2661/7. Let k = 1 - 5. Let z be (k/(-6))/(4 + -9). Put v, z, -1/4 in decreasing order.
z, -1/4, v
Let i(d) = -2*d - 3. Let x be i(-2). Suppose 5*w - 2*t + 11 + x = 0, 4*w + 4*t = -4. Put -3, w, 7 in decreasing order.
7, w, -3
Let q = -40 + 28.3. Let f = q - -12. Put f, 3, 4 in decreasing order.
4, 3, f
Let c = 0.003 + 3.997. Put c, 0.3, 2 in ascending order.
0.3, 2, c
Let g be (-2)/(-10) + (-24)/(-15)*-7. Put g, 3, 5 in ascending order.
g, 3, 5
Suppose 0 = 3*t - 5*j + 14, j - 10 = t - 2*j. Put t, 0, 5 in descending order.
5, t, 0
Let d = -27 + 32. Sort d, 4, -4 in ascending order.
-4, 4, d
Let i = 6.6 - 7. Sort 2/9, -3, i in descending order.
2/9, i, -3
Let c = 33 - 36. Let u = -313/505 + 2/101. Put c, -4, u in descending order.
u, c, -4
Suppose -2*z - 1 - 7 = 0, 5*a - z = -21. Let w(c) = c. Let v be w(6). Let x be (-20)/v - (-3)/9. Put 5, x, a in ascending order.
a, x, 5
Let b = -1 - -1. Let t = 10 + -7. Put t, b, 0.3 in ascending order.
b, 0.3, t
Suppose 20 = 6*o - 2*o. Let h be (12 - 153/12) + (-54)/(-40). Put o, h, 0.1 in decreasing order.
o, h, 0.1
Let y be (-24)/40 + (-28)/(-30). Let w = -15.8 - -14. Let x = 0.2 - w. Sort -2, y, x in increasing order.
-2, y, x
Let q be (-4)/(-12) - (-1988)/(-18). Let n = -110 - q. Sort -0.1, 0.3, n.
-0.1, n, 0.3
Let q be (15*2/21)/8. Let z = q - 71/84. Sort -2, -1, z.
-2, -1, z
Let d be 6/(-33) - (-255056)/(-550). Let u = -464 - d. Put u, -4, 0.07 in decreasing order.
0.07, u, -4
Suppose 69 = -5*v - 3*l, 4*l - 5 = -5*v - 77. Let t be 1/14*(-16)/v. Let m = 59/42 + t. Put m, -2, -0.1 in decreasing order.
m, -0.1, -2
Let w be (-67)/(-2)*(-4)/2. Let d be (3 + (-1 - (-55)/(-21)))*-108. Let p = d + w. Put p, 0.5, 4 in increasing order.
p, 0.5, 4
Suppose 3*m - 5 = 5*u, -2*m + 2*u + 3 - 5 = 0. Sort m, 0, -1.
m, -1, 0
Let p(y) = -y**2 - 9*y - 3. Let s be p(-8). Sort -0.5, s, -0.3.
-0.5, -0.3, s
Let a(z) = -z + 6. Let k be a(10). Sort 1, 5, k, -1 in descending order.
5, 1, -1, k
Let y(z) = -3*z - 10. Let w be y(-7). Let g = w - 15. Suppose 2*l - 3 - 7 = 0. Put 0, g, l in descending order.
l, 0, g
Let h = 0.1 - -0.1. Let r be 70/147 - 2/7. Let g = r + -37/84. Put g, h, 