increasing order.
-4, q, 0.5
Let h = -374 + 3362/9. Sort 14, h, 0.7 in decreasing order.
14, 0.7, h
Let i be 4*4/8*-1. Suppose -22 - 3 = 5*j. Suppose 2*y - 4*q - 2 = -5*q, -5*y - 5*q = 0. Sort i, y, j in decreasing order.
y, i, j
Let s = -0.2 - 0. Let a = -54.9 - -51.9. Sort 4, s, a in descending order.
4, s, a
Let x = -24.3 + 31. Let v = x + -6.8. Let q = -1325/136 - -77/8. Put v, q, -3/5 in descending order.
v, q, -3/5
Let u(v) = -v**2 - 8*v + 8. Let w be u(-9). Sort w, 41, -4 in descending order.
41, w, -4
Let t(u) = u**2 - 16*u + 27. Let x be t(14). Put 11, -3/2, 3, x in increasing order.
-3/2, x, 3, 11
Let w be 7 - ((-6)/4 - 15/(-6)). Put -4, -2, w, 3 in descending order.
w, 3, -2, -4
Let d be (-3029)/(-699) - (-4)/6. Let m(h) = h**2 - 5*h - 1. Let x be m(5). Let n be 3/((-2)/4 + 2). Sort n, x, d in increasing order.
x, n, d
Let v(g) = 0*g**2 - g**2 - 10*g - 7 + g. Let t be v(-7). Let u be 1 - -2 - (4 - 4). Sort -5, t, u in increasing order.
-5, u, t
Let m(s) = 2*s - 6. Let i be m(5). Suppose -2*d + 1 = -0*t + t, 4 = i*t - 5*d. Put 8, t, 0 in decreasing order.
8, t, 0
Suppose 5*d = -5*y + 20, -4*y + 31*d - 29*d = 8. Sort -4, -12, y in ascending order.
-12, -4, y
Let n = -77 - -79. Let q = -11.09 + 0.09. Let d be 6/(-18) - 3/6. Sort q, d, n.
q, d, n
Let u = 0.2 - -0.3. Let l = -4.5 - u. Let c = 2041 + -2041. Put c, -4, l in ascending order.
l, -4, c
Let w = -225 - -227. Put -1/6, w, -0.4, -4/3 in increasing order.
-4/3, -0.4, -1/6, w
Let s = 0.1599 - -1.8401. Let n = -31/2 + 223/14. Sort n, s, -3/2, 5 in decreasing order.
5, s, n, -3/2
Let y = 14.3 - 14. Let z = -0.36 + -10.04. Let f = z + 10. Sort y, f, -0.3 in descending order.
y, -0.3, f
Let u(w) = 3*w**2 - 8*w - 11. Let q be u(-2). Put 1, -3, q in increasing order.
-3, 1, q
Let x(c) = -20*c + 339. Let k be x(17). Put 5, -6.9, k in descending order.
5, k, -6.9
Let g = 5 + 21. Let i = -24.4 + g. Let d = 3.4 + i. Put 0.1, 0, d in decreasing order.
d, 0.1, 0
Let l = -60 + 24. Let q = -134/7 - -1220/63. Put l, 4, q, 0.1 in ascending order.
l, 0.1, q, 4
Let n = 30.33 + 0.67. Put n, 0.2, -2/5 in decreasing order.
n, 0.2, -2/5
Let h = 1 - -2. Suppose 5 = -5*j + 5*n, j - 5*n + 13 = -0*n. Suppose -3*c - 8 = -v, 2*c = -0*c + j*v. Put -0.3, c, h in descending order.
h, -0.3, c
Let s = -0.37 - -0.64. Let k = 0.21 - s. Put -3, 1, k in ascending order.
-3, k, 1
Suppose 0 = 5*d + 2*k, 3*d - 16 = 3*k + 5. Let i be 4 + d + 6/(-1). Let y(n) = n**2 - 14*n + 3. Let w be y(14). Put -2, i, w in decreasing order.
w, i, -2
Let l be -1*(-5)/(15/24). Suppose -4*j + 12 = -l*j. Sort -0.1, 0.2, j in descending order.
0.2, -0.1, j
Let g = -43.8 + 40. Let u = g + 0.8. Put 5, -1/3, u in ascending order.
u, -1/3, 5
Let s(w) = -w**2 - 2*w - 4. Let v be s(-7). Let k = v - -44. Put -4, -5, k in increasing order.
-5, -4, k
Let m = 1.216 - 79.116. Let p = m - -77. Sort 0.1, 2/13, p in decreasing order.
2/13, 0.1, p
Let k = -2041 + 2041.071. Put k, -2/17, -1/2 in descending order.
k, -2/17, -1/2
Let h be -5*(9 + 308/(-35)). Sort 221, -2, h in increasing order.
-2, h, 221
Let b(s) = 9*s + 213. Let f be b(-24). Sort f, 5, -12 in decreasing order.
5, f, -12
Suppose 0 = -f + 3 - 0. Suppose 9*w = 3*w + 12. Suppose -5*g + 27 = w. Sort g, -4, f.
-4, f, g
Let a = -81 + 285/2. Let w = a - 63. Let f = -1 - -1. Put w, f, -6 in descending order.
f, w, -6
Let o(m) = m**3 + 12*m**2 - 7*m - 88. Let l be o(-12). Sort l, 4, -40 in descending order.
4, l, -40
Suppose -d - 3 = 5*h - 5, 4*h + 5*d = 10. Let g(y) = y**2 - 26*y - 116. Let q be g(30). Sort q, h, -5.
-5, h, q
Let r = 23 - 21. Suppose z - 1 = 3. Suppose -z*h - 4 = 4*v, -2*v + 4*h = r*v + 28. Sort -2, 5, v in decreasing order.
5, -2, v
Let a = -361 + 358. Sort a, 0, -3/5, -2/3 in descending order.
0, -3/5, -2/3, a
Let l = -641.5 + 642. Sort l, -0.4, 7.3.
-0.4, l, 7.3
Let d = -21 - -5. Put -4, d, 5, -3 in ascending order.
d, -4, -3, 5
Suppose w + 24*u + 4 = 22*u, 2*w = 5*u - 8. Sort 5, 4, w, -1.
w, -1, 4, 5
Let z = 13/46 - 8/69. Sort 3, -3, -3/8, z.
-3, -3/8, z, 3
Let j = -1136.3 + 1242. Let i = -106 + j. Sort -2/11, i, -19 in decreasing order.
-2/11, i, -19
Let m be 11*1/3*3. Suppose m*k - 3 = 14*k. Suppose 0 = 3*h + 3 + 3. Put h, 1, k in decreasing order.
1, k, h
Let y = -17.1 - -17.1. Sort 5/2, y, -0.4 in ascending order.
-0.4, y, 5/2
Let m = 634 + -636. Sort 2/7, m, 0, -2/11.
m, -2/11, 0, 2/7
Let q be (-6)/(-21) + (-57)/(-21). Let z(k) = 2*k**3 - 5*k**2 - 24*k - 1. Let y be z(5). Sort -5, q, 1, y.
-5, 1, q, y
Let q = 1 - -2. Let c(g) = -g**2 + 3. Let m be c(-3). Let i be (-3)/(-6)*m - -3. Sort -2, q, i.
-2, i, q
Suppose 0 = -534*k + 516*k + 90. Let g be 33/6 + 2/(-4). Suppose -g*v + y - 14 = 0, 3*y + 6 = 5*v + 18. Sort 0, k, v in ascending order.
v, 0, k
Suppose 0*c + 5*c = 0. Suppose 4*i - 14*o = -15*o - 18, 2*o - 9 = i. Put c, 5, i in descending order.
5, c, i
Let n be (2/4)/((6/20)/(-3)). Sort -4, -6, -2, n in descending order.
-2, -4, n, -6
Let s = 498 - 500. Put 0.4, 12/7, s in ascending order.
s, 0.4, 12/7
Let m = 123 + -72. Let j = m - 51.5. Let f = -2 + 2. Put f, j, 1 in descending order.
1, f, j
Let k = -44 + 29. Let o = 16 + k. Sort 5, o, -4 in descending order.
5, o, -4
Let o = 45 + -45.43. Let j = o - -0.23. Sort 0.4, -0.3, j in ascending order.
-0.3, j, 0.4
Let i = 3.8 + -5. Let v = -0.23 + 1.23. Let y = v + i. Put y, -6, -1/4 in descending order.
y, -1/4, -6
Let l(o) = o + 1. Let y be l(-8). Let a = 3 + y. Sort a, -3, 3 in ascending order.
a, -3, 3
Let n be (-52)/(-12) + (-6)/(-9). Let y be (-5)/2*(-6)/5. Suppose -y = r - 4*r. Put 3, n, r in decreasing order.
n, 3, r
Let y(d) = -15*d**2. Let c be y(3). Let n be (30/c)/((-2)/18). Put -4, n, 1/7 in increasing order.
-4, 1/7, n
Let x(p) = 3*p**2 - 2 - 2*p + 0 + 6 - 4*p**2. Let s be x(-3). Put 0, -5, s in descending order.
s, 0, -5
Let t = -795.17 - -795. Sort -0.4, t, 2 in ascending order.
-0.4, t, 2
Let l be (-122)/(-40) - (-22 + (-300)/(-12)). Sort l, -5, 0.1 in ascending order.
-5, l, 0.1
Let l be 325/39 - (-4)/(-6)*-1. Sort -8, l, 1.
-8, 1, l
Let q = -3.57 - -6.57. Put 6, 1, q, -0.4 in decreasing order.
6, q, 1, -0.4
Let t = 2 - 5. Let w = -28 - -27.1. Let i = w + -4.1. Sort -4, t, i in ascending order.
i, -4, t
Let l = 17 + -33/2. Suppose -23 - 1 = -12*p. Put l, p, 0.3 in decreasing order.
p, l, 0.3
Let a be (10 - 7) + 19/(-7). Sort 0, -0.058, a.
-0.058, 0, a
Let y = -85 + 85. Let l be ((-42)/9)/(4/6). Let c = 4/51 - 83/408. Sort y, c, l.
l, c, y
Let j(v) = -v**2 + 9*v + 9. Let t be j(8). Suppose a - t = 5*d + 11, 0 = 3*d + 4*a + 3. Put 2, d, -4 in descending order.
2, -4, d
Let k be (-40)/(-13 - -5)*3. Sort k, -14, 1 in descending order.
k, 1, -14
Suppose 23 = -4*p + 3*q, 3*p + 2*q - 2 = 2. Let j = 8 + -5. Suppose 5*y - 25 = j*f + 2, f = -4. Put -5, p, y in descending order.
y, p, -5
Let r be (-1)/12 + 5/6. Sort -0.2, -5, r in ascending order.
-5, -0.2, r
Suppose -9 = 3*l, -4*b - 5*l + 10*l + 15 = 0. Put 15, b, 3 in ascending order.
b, 3, 15
Suppose -2 = -121*t + 122*t. Let r(y) = -y + 4. Let c(z) = z**3 + 10*z**2 + 8. Let q be c(-10). Let b be r(q). Sort -5, b, t.
-5, b, t
Let s = -313 - -315. Put s, 0.1, 0.2, 19 in decreasing order.
19, s, 0.2, 0.1
Suppose -7*d + 5*d = 2*w - 18, 2*d + w - 15 = 0. Let n be ((-15)/d)/(2*-1). Let o be (-1)/((-2)/(-8)*14). Sort n, o, 3.
o, n, 3
Suppose -20*y = 21*y. Let s(d) = 2*d + 7. Let u be s(-6). Put -2, u, y in decreasing order.
y, -2, u
Suppose 0 = 5*s + 3*k - 7, 4 + 2 = -2*s + k. Put s, 8, 3, -5 in decreasing order.
8, 3, s, -5
Let z be (1 - 4 - 1)/(-10) - 0. Suppose 0 = 2*i - 66 - 144. Let c = i + -843/8. Put z, 2/17, c in increasing order.
c, 2/17, z
Let g(x) = x - 2. Let n be g(3). Let z be n/(2 + (-27)/15). Let m = -0.3 - 0. Put z, m, -0.1 in decreasing order.
z, -0.1, m
Let o(s) = -2*s - 11. Let r be o(-8). Let c = r - 10. Let j be ((105/2)/5)/(3/4). Put -2/9, c, j in decreasing order.
j, -2/9, c
Suppose 0 = 2*d + 3*d + 4*q - 3, 0 = -5*d - q + 12. Sort d, 4, 6.
d, 4, 6
Let c = -0.0705 - -4.0705. Sort -4, 93, c in descending order.
93, c, -4
Suppose 2*c - 2 = c. Suppose -4*r = -7 + 3. Suppose 5 = 3*o - 5*i, 2*o - 5*i - 9 = r. Sort o, c, 3 in descending order.
3, c, o
Let w(n) = n**3 - 23*n**2 + 2*n - 44. Let h be w(23). Sort 1, h, -8 in increasing order.
-8, 1, h
Let