increasing order.
-6, -5, t
Let i(s) = 2*s**3 - 9*s - 3. Let c be i(0). Suppose 3*f - 171 = -0*f. Put -1, 2, c, f in increasing order.
c, -1, 2, f
Suppose 0 = -5*h - 9 + 29. Suppose 14*z = -3*z + 51. Put 1, h, z in increasing order.
1, z, h
Let v = 116.5 - 116. Let b = -613/153 + 35/9. Put -5, b, 2, v in descending order.
2, v, b, -5
Let j be (0 - 0)*2/4. Let r(q) = q**3 + q - 126. Let w be r(0). Let k be w/26 + (-4)/26. Sort k, 2, j in increasing order.
k, j, 2
Let b(j) = -j**2 - 3*j - 1. Let h be b(0). Sort -6, -4, h in increasing order.
-6, -4, h
Let m(k) = 2*k + 5. Let o be m(5). Suppose -11*u = -16*u + o. Sort 0, u, -6.
-6, 0, u
Let s = -309 - -305.87. Let z = 0.255 - 0.125. Let n = z + s. Sort -0.2, 0.1, n in decreasing order.
0.1, -0.2, n
Let p = -63 - -41. Let n = -22.9 - p. Let j = n - 2.1. Sort 2, -0.3, j in decreasing order.
2, -0.3, j
Let c = -0.88 - 0.2. Let a = c - -0.08. Let l be (-12)/90*(-3)/2. Sort -2, a, l in increasing order.
-2, a, l
Let s = 744 - 743.81. Let k = -0.12 - 0.08. Sort k, s, 0 in descending order.
s, 0, k
Let g = -302 - -301. Let c = -5 + 9. Sort g, c, 2 in decreasing order.
c, 2, g
Let x = 6 - 2. Let d = 14 + -10. Suppose 0 = 2*s - 5*r - 6, 5*s = d*s - 2*r + 3. Sort -2, x, s in ascending order.
-2, s, x
Let b be (3/(-2))/((-36)/(-72)) - -66. Put -5, b, 2 in descending order.
b, 2, -5
Let g = 0.156 + 22.844. Let b = 58 + -32. Let f = g - b. Sort -18, f, 2/9 in descending order.
2/9, f, -18
Let v = 9 - 3. Let s = -2450 - -17149/7. Sort s, -1/3, v in decreasing order.
v, s, -1/3
Let f(u) = u**3 - 3*u**2 - 12*u + 36. Let r be f(4). Sort -5, r, -3 in descending order.
r, -3, -5
Let r(w) = -w**3 + 7*w**2 - 4*w - 6. Let k be r(6). Suppose 0 = k*i - 5*i + 11. Put 0, i, 2 in ascending order.
i, 0, 2
Let f = 6.5 - 4. Let u = f - 0.5. Put -2/13, 2/5, u in increasing order.
-2/13, 2/5, u
Let q = -12 - -9. Let x(w) = 3*w**3 + w**2 - 2*w + 1. Let n be x(1). Suppose -4*h = n*c - 8, 0*c - c = 4*h. Sort q, c, 2 in decreasing order.
c, 2, q
Let n = -26/23 + 176/115. Put 0.1, -4, -1, n in decreasing order.
n, 0.1, -1, -4
Suppose 5*p - 930 = 20*p. Let c be (-91)/(-546) + 1 + p/12. Sort 2, 3, c in increasing order.
c, 2, 3
Let a = 2004.7 + -2005. Sort a, 2, -2/5, 4 in ascending order.
-2/5, a, 2, 4
Let w = -4 + 7. Suppose -b - s + w = 0, -3*b + s + 9 = 5*s. Suppose -r + b*h = -3*r - 3, 0 = 4*r - 2*h - 18. Put r, -3, 1 in descending order.
r, 1, -3
Let f = -70 + 69. Put f, -0.4, -4, 1/4 in decreasing order.
1/4, -0.4, f, -4
Let n be (-93)/33 - (-2 + -9 + 8). Let j be ((-1)/9)/(2/(-30)). Sort j, n, 6, -4 in descending order.
6, j, n, -4
Let k(y) = -8 - 2*y - 5 - 4 - 7. Let c be k(-12). Sort 2, c, -8 in descending order.
2, c, -8
Let r be -6 + -3 + 66/11. Let t be -2 + 3 - 1*8. Let z = t - -6. Put r, z, -14 in descending order.
z, r, -14
Suppose 10 = -43*i + 48*i. Sort 3, i, 0.083 in decreasing order.
3, i, 0.083
Let m = 0.0204 - -0.0796. Put 0.3, m, -0.1, -0.077 in decreasing order.
0.3, m, -0.077, -0.1
Let n = 755 + -743. Put 4, 5, n, -4 in decreasing order.
n, 5, 4, -4
Suppose h = 5, -h + 1 = -2*x - 0. Suppose x*p + p = 0. Suppose t - v - 5 - 1 = 0, p = -5*t - v + 24. Sort t, -3, 3 in decreasing order.
t, 3, -3
Let l be 72 + 5 + -6 + -3. Let p = l + -71. Sort 1, p, 0 in descending order.
1, 0, p
Suppose 4 = 4*a + 5*f, -a = -3*a + 5*f + 2. Let c = -3.5 - -6.37. Let l = -0.13 - c. Sort l, a, 13 in descending order.
13, a, l
Suppose 0 = -2*d - 8, -5*l - 3*d = -4*d - 29. Put l, 48, 3 in decreasing order.
48, l, 3
Suppose -2*g - 2 = 0, 0*j - j = 2*g + 6. Sort 5, 7, -6, j.
-6, j, 5, 7
Suppose 3*q = 92 - 302. Let v = -70 - q. Put -23, -2, -5, v in decreasing order.
v, -2, -5, -23
Let x(m) = 9*m + 21. Let z be x(-12). Sort 2/9, 1/8, -3, z in ascending order.
z, -3, 1/8, 2/9
Let c = 2 + -1. Let q be 24/36 + 2/(-3). Put q, -4, c in decreasing order.
c, q, -4
Let d(g) = -g**2 + 12*g - 45. Let o be d(13). Put o, 5, 4, 0 in increasing order.
o, 0, 4, 5
Suppose -3*q = -2*f - 11, 2*q - 3*f - 6 - 8 = 0. Suppose 0 = 3*r + 5*k + 1, -31*r + 29*r = -3*k - 12. Sort 5, r, q, 4 in decreasing order.
5, 4, r, q
Let x = 0.56 + 0.04. Let b = 0.2 - x. Let a be ((-3)/6)/(1/4). Sort a, -8, b in descending order.
b, a, -8
Let r = 19 - 17. Let v = 5 + -7. Let j be (-1)/v*(10 + -2). Sort 2/13, r, j in descending order.
j, r, 2/13
Let q be (2/(-14) + 3115/196 + -16)*20. Let w(i) = -i + 2. Let n be w(3). Put 64, q, n in ascending order.
q, n, 64
Let l be 2/17 + (-90)/(-102). Put 2/3, 2/25, l in descending order.
l, 2/3, 2/25
Let f(k) = k**2 + 17*k + 39. Let b be f(-13). Sort -5, b, -3 in ascending order.
b, -5, -3
Suppose -5*b + 10 = 3*j, 48*j - 4*b = 45*j - 35. Sort 0.2, -2, j, -4 in decreasing order.
0.2, -2, -4, j
Let k be (-15 - -9) + -7 - -18. Let f = 1 + -2. Put k, 4, f in decreasing order.
k, 4, f
Let h be -16 - (-1)/(((-12)/(-3))/20). Sort -0.1, 0, h.
h, -0.1, 0
Let q(z) = z**3 + 4*z**2 - 20*z + 6. Let y be (14/4)/(5/(-30)*3). Let v be q(y). Put v, -3, -2, 5 in descending order.
5, v, -2, -3
Let w = 1 + -3. Suppose -7*b + 5*b + 13 = -z, -4*b = -5*z - 35. Sort 2, b, w in ascending order.
w, 2, b
Let f = -8 - -12. Let z be 92/(-22) - f/(-22). Suppose -2*v - 2 - 2 = 0. Sort 0, v, z.
z, v, 0
Let c be (112/(-12))/(-7)*30/(-20). Sort c, -1, -81, 5.
-81, c, -1, 5
Let v = -140 + 141. Let q = 53 - 48. Put v, q, -3, -49 in descending order.
q, v, -3, -49
Let h = -6569 - -6559. Suppose -3*z = 4 + 8. Sort h, -3, z, 3 in descending order.
3, -3, z, h
Let n = 0.1 - -0.9. Let s = 0 + n. Let d = 1.76 + -3.76. Sort d, s, -3 in increasing order.
-3, d, s
Let x = -1913/9 + 213. Sort 1, 0.4, x.
0.4, x, 1
Suppose l = -4*y - l + 26, 5*l = -4*y + 23. Suppose -9*u = -y*u - 8. Let j = -3 + 1. Sort j, 2, u in increasing order.
j, 2, u
Suppose 6 + 6 = 4*g. Suppose z - 5*z = 48. Let c = -10 - z. Put c, -5, g in descending order.
g, c, -5
Let g = 1325 + -1316. Sort 1, g, 5, -5.
-5, 1, 5, g
Let u = -116 - -810/7. Let q be (7 - 6/2) + (-100)/26. Sort q, 0.4, u in decreasing order.
0.4, q, u
Suppose 0 = -12*l + 3 - 39. Sort 5, l, 118 in increasing order.
l, 5, 118
Let z be (80/(-30))/(-1 + (-2)/(-6)). Suppose -2*s = s + q - z, 0 = -4*s - 2*q + 4. Put -4, 7, 1, s in ascending order.
-4, 1, s, 7
Let s = -0.17 + -0.03. Let v be -1 - 10*(-4)/24. Suppose -4*u = -0*u - 12. Sort v, s, u in increasing order.
s, v, u
Let l be 6 - -12*11/(-33). Sort -391, l, 4.
-391, l, 4
Suppose 5*x = v - 2 - 0, -3*v + 38 = x. Let y(j) = -j + 16. Let i be y(v). Put i, -6, 5 in ascending order.
-6, i, 5
Let z(f) = -f**3 - 18*f**2 - 7*f - 124. Let g be z(-18). Sort g, -37, 3.
-37, g, 3
Let i = -472/323 + 30/19. Sort -0.1, 3, -8, i in descending order.
3, i, -0.1, -8
Let t = -375 - -374.96. Sort 5, -1, t.
-1, t, 5
Let y = -332/65 + 56/13. Put 2, y, -5, 3/7 in descending order.
2, 3/7, y, -5
Let v(n) = n**3 + 30*n**2 + 26*n + 9. Let d be v(-29). Let j = d - 95. Put -1, j, -4 in decreasing order.
j, -1, -4
Let v = 18.947 + -19. Let w = 2.053 + v. Sort w, 0, -0.2 in decreasing order.
w, 0, -0.2
Let r be (4/(-30))/(8 - 69/9). Let o = 4.4 + -0.4. Let s = -3 + o. Sort r, -1/3, s in decreasing order.
s, -1/3, r
Let n be 0 - (-2)/(-4)*0. Suppose n = -4*p + 2*p + 5*x - 31, 2*p = -3*x - 23. Put p, 2, -4 in descending order.
2, -4, p
Let r be (-1 - 2)*(-5)/(-3). Let c(p) = -p**3 + 69*p**2 + 9*p - 619. Let t be c(69). Sort r, 3, t in descending order.
3, t, r
Suppose 2*m = -c - 17, 2*m = 3*c - 0*m + 43. Let o(w) = w + 11. Let d be o(c). Let a be 2/(-8) + 51/12. Sort -9, a, d in increasing order.
-9, d, a
Let s be 3*(-6)/8*(-12)/9. Sort s, 4, -4, -5 in descending order.
4, s, -4, -5
Let m(g) = -12*g - 134. Let w be m(-11). Suppose 3*k + 9 = -6. Sort 3, w, -1, k in increasing order.
k, w, -1, 3
Suppose 4*v = 2*p - 80 - 264, -2*v - 3*p - 172 = 0. Put -3, v, 2 in ascending order.
v, -3, 2
Let c(q) = q**3 + 7*q**2 + 6*q - 1. Let l = 26 + -19. Let b = l + -13. Let j be c(b). Sort j, 3, 10.
j, 3, 10
Let s be (5/(-2))/((-6)/12). Sort -4, s, 0.3, -0.1 in descending order.
s, 0.3, -0.1, -4
Suppose -3*y = y + 20. Sort -1, y, -3.
y, -3, -1
Let o(y) = -y**2 + 8*y + 25. Let c be o(10). Sort 0, c, -47 in descending order.
c, 0, -47
Let l(y) = -y**3 - 2*y**2 + 4*y + 1. Let f be l(-3). Let g = 1009 + -1010. Sort g, f, 0 in descending order