x in decreasing order.
12, 2, x, q
Suppose 0 = 21*q - 20*q + 2. Let s be -3 + 5 - 13/7. Put q, 8, s in descending order.
8, s, q
Let y = -9.5 + 3.9. Let d = y - 0.4. Let k = d + 3. Sort k, 2/7, 3/5.
k, 2/7, 3/5
Let z = -0.101 - -0.101. Put -3/4, z, -1/18, -5/3 in increasing order.
-5/3, -3/4, -1/18, z
Let t = -198.1 + 197. Sort 0.4, -4, t, -2 in decreasing order.
0.4, t, -2, -4
Let a = -394 - -389. Suppose -3*o = -3, -3*n + 3*o - 1 = -4*n. Let w be n - -4 - 2 - 4. Sort 5, w, a in descending order.
5, w, a
Suppose -y = -5*g - 2, -5*y = 5*g - 3*g - 37. Suppose -3*l - 2*f = 2*l - 41, -l + 5*f = 8. Let o = l - y. Sort 2, -2, o in descending order.
2, o, -2
Let n = 373.6 - 373. Sort 0, -11, n in descending order.
n, 0, -11
Let r = 265 + -264. Let q = -7 + 11. Let j be ((-1)/(-1))/((-28)/(-12)). Sort j, r, q in increasing order.
j, r, q
Let f = 52 + -49. Let l = 33 - 32.7. Sort -3, l, 2, f in descending order.
f, 2, l, -3
Suppose 2*w - 3*i = -0 + 9, 0 = -2*w - i + 5. Suppose 4 = -w*h + 1. Let j(p) = p + 10. Let x be j(-10). Put -0.3, h, x in increasing order.
h, -0.3, x
Suppose 2*b = 4*j - 8, -6*j + 2*j - 34 = b. Sort -5, -1, 0.1, b.
b, -5, -1, 0.1
Let p = 29 - 91. Let l = p + 64. Sort -2, l, -3 in increasing order.
-3, -2, l
Suppose 0*n = -5*n. Suppose n = 4*g - 3*f - 9, 0 = -5*g - 2*f - 5 - 1. Let v(c) = 3*c**3 + 17*c**2 - 2*c + 28. Let b be v(-6). Sort b, g, 2.
g, 2, b
Suppose 6*f - 7 = 17. Put f, 61, -1 in decreasing order.
61, f, -1
Suppose -2*b - 3*u = 10, -b + 6*b + 25 = -2*u. Suppose 6*l + 28 = 7*l - 5*v, 0 = -l - 2*v - 7. Sort l, b, 1 in ascending order.
b, 1, l
Let h(i) = i**3 - 3*i**2 + 2*i - 1. Let n be h(3). Let y = 9 - n. Let b be ((-2)/y)/((-5)/10). Sort b, 2, 0 in decreasing order.
2, b, 0
Let s = -0.7913 + 0.0913. Put -1, -2/9, -1/10, s in increasing order.
-1, s, -2/9, -1/10
Let r(x) = -x - 2. Let f be r(2). Let i be 2 + ((-12)/(-3))/f. Let w(h) = h. Let o be w(4). Sort -2, i, o in descending order.
o, i, -2
Let y be 32/(-12)*3/(-2). Let h(n) = n - 8. Let o be h(7). Put o, 10, y, 0.1 in increasing order.
o, 0.1, y, 10
Let n = -73/3 - -24. Let j = -40 - -16. Let i = 23.5 + j. Sort n, i, -4 in descending order.
n, i, -4
Let z = -15.506 + 0.106. Let j = z + 15. Sort 5/6, 0.4, j in ascending order.
j, 0.4, 5/6
Let f = -2 + -95. Let r = f - -92.85. Let g = 0.15 + r. Sort 2/29, -0.1, g in ascending order.
g, -0.1, 2/29
Let u = -22 + 20.9. Let x = u + 5.1. Sort x, -5, -3 in increasing order.
-5, -3, x
Let p be 16/24*(-6)/(-16). Sort 2/17, -2/39, p, 0.5 in descending order.
0.5, p, 2/17, -2/39
Let i be (1*(-6)/9)/((-8)/(-12)). Let v be i - (5/(10/(-4)) - -1). Sort 5, 3, -1, v.
-1, v, 3, 5
Let r = 3 - 0.5. Let x = 0.204 - -2.096. Let g = r - x. Put 2/19, g, -1/7 in ascending order.
-1/7, 2/19, g
Let x = 2 + -4. Let s(c) = 3*c**2 - 8*c - 8. Let m(w) = -w**2 + 4*w + 4. Let i(u) = 5*m(u) + 2*s(u). Let p be i(x). Put -1, -3, p in descending order.
p, -1, -3
Let v = -49 + 33. Let k = 180 - 175. Sort v, -2, k.
v, -2, k
Suppose 3*p - 1 = -a + 13, -9 = -3*p. Suppose 0 = -37*w - 45 - 29. Sort w, 2, a in descending order.
a, 2, w
Let o be ((-28)/(-49))/(12/14). Let q = -0.18 + 2.68. Let p = -2 + q. Put o, 0, p in decreasing order.
o, p, 0
Suppose 2*x - 2 = -0*x. Suppose -3*j + 29 = 4*p, 3*j - 15 - 9 = -3*p. Let d be -3 - j/(21/(-19)). Sort x, 0.5, d.
d, 0.5, x
Let w = -12.855 - -12.8. Sort w, 4/3, -2, -1/2 in descending order.
4/3, w, -1/2, -2
Suppose 11*t + 20 = 6*t. Let k be 0 + t/(32/3). Let r = -15.5 + 13.5. Put k, 1, r in decreasing order.
1, k, r
Let i = -14/181 + 488/1629. Let g = -6 + 19. Let q = g + -8. Sort -4/7, i, q in descending order.
q, i, -4/7
Suppose 5*a = -9 - 6. Let s(f) = -f**2 - 19*f - 4. Let o be s(-18). Sort a, -4, o in decreasing order.
o, a, -4
Let b = -0.019 - -0.519. Let h be ((-15)/(-18))/(-1)*(-6)/75. Put 0, b, h in decreasing order.
b, h, 0
Suppose 15 = -13*d + 2. Let y be d*(0 + -1)*(-3 - -2). Put 5, -12, y in decreasing order.
5, y, -12
Suppose 23 = -16*o + 19*o - 4*s, 5*s + 25 = 0. Sort -4, -2, o, 0.
-4, -2, 0, o
Let v be 3 - 1 - (28 - 23). Sort v, -5, 3, 7 in descending order.
7, 3, v, -5
Let x = 35 - 19. Let v = -30 + 56. Let d be v/(-6) - x/(-48). Sort d, 2, 3 in descending order.
3, 2, d
Suppose -5*l + 13 = -62. Put 1, -4, l in descending order.
l, 1, -4
Let l be -11*5/(-525) + 22/231. Sort -0.2, l, 0.21, 2/21 in decreasing order.
0.21, l, 2/21, -0.2
Suppose -p - 8*p = -27. Suppose -k = -1 + p. Sort -1, k, -4 in ascending order.
-4, k, -1
Let b = -0.7 - 3.3. Suppose -2*q = 3 + 3. Let h be 4 + 130/(-18) - (q - 0). Put 4, h, b in increasing order.
b, h, 4
Let y = 0.64 - 1.14. Let v = 51/11 - 251/66. Put y, -0.8, v in ascending order.
-0.8, y, v
Let j = -23 - -25.4. Let w = -2 + j. Let i be (14/8)/(13/(-52)). Sort i, 0.1, w.
i, 0.1, w
Suppose 6*b + 24 = -k + 4*b, 2*k - b + 23 = 0. Put -5, 2, -4/3, k in increasing order.
k, -5, -4/3, 2
Suppose 3*t + 4 = -2*s, 2*s + s = -3*t. Suppose -8*h - 15 + 55 = 0. Let r = 13 + -1. Put r, t, h in decreasing order.
r, h, t
Let m be 0*(4/4 + -2). Suppose -4*d + 2 - 62 = m. Let g be (-12)/8*10/d. Sort -2, g, 0.2 in decreasing order.
g, 0.2, -2
Suppose -4*c - 11 = -s, -4*s - 61 = -c - 45. Sort 10, c, 4 in descending order.
10, 4, c
Let q = 0.4 + -0.4. Let v = 0.0543 - 2.0543. Let o = -0.4 + 1. Sort v, q, o.
v, q, o
Let u = 1341 + -1340.8. Suppose -12 = 3*c - 0*c. Put u, c, -9 in ascending order.
-9, c, u
Let q(n) = -n**3 + n**2 + 9*n + 6. Let m be q(-2). Sort -3, m, 5, 3 in ascending order.
-3, m, 3, 5
Let t = 8 + -8.31. Let a = t - -0.21. Sort a, 0, -2/5 in decreasing order.
0, a, -2/5
Let h = -776 - -775.9. Sort 0.011, h, -5/4 in increasing order.
-5/4, h, 0.011
Suppose -7*t + 2*t = -25. Let i(q) = -q**3 - 4*q**2 + 4*q - 8. Let l be i(-5). Let w(k) = 2*k**2 + k. Let o be w(-2). Put l, t, o in increasing order.
l, t, o
Let c be 52/14*(134 + -71). Sort c, 4, -4 in descending order.
c, 4, -4
Let i = -2 - -3. Suppose 3*a - 3 = 12. Suppose -m = -a*u + m - 11, 3*u + 15 = 4*m. Sort -6, u, i in descending order.
i, u, -6
Suppose 11 = -3*y - 4*n, 17 - 15 = 4*y + 2*n. Let t = -6 - -3. Sort 1, y, -5, t in decreasing order.
y, 1, t, -5
Let k(n) = -n + 1. Let c be k(-6). Let m = -38 - -46. Let w be (-1)/m + (-1)/(-8). Put w, c, 3 in decreasing order.
c, 3, w
Suppose 1 = 3*i - 32. Suppose 0 = -0*z + 4*z + 52. Let t = i + z. Sort 3, t, 5 in decreasing order.
5, 3, t
Let o = -0.499 - -0.399. Sort 1/26, o, -3/7.
-3/7, o, 1/26
Let q = 0.07 + 4.93. Let o(g) = -g**2 + 6*g + 4. Let i be o(7). Let w = -7 - i. Sort 10, q, w.
w, q, 10
Suppose 39*l - 135 = -6*l. Sort -4, l, -5, -2.
-5, -4, -2, l
Let z = 5/3 - 2. Let u = -35 - -34.96. Let k = -38 - -39. Sort u, k, z.
z, u, k
Let h = -908 + 853. Sort -1/7, -1, h, -3/4.
h, -1, -3/4, -1/7
Let j = 1776 + -1775. Sort j, 1/4, -2, 4.
-2, 1/4, j, 4
Let n = -23 + 22.87. Let b = -1.43 - n. Let f = b - -0.3. Put f, -0.5, 0.2 in decreasing order.
0.2, -0.5, f
Let h = -231 + 316. Sort -3, 5, h.
-3, 5, h
Let d = -922 + 941. Sort 1, 2, 1/2, d in ascending order.
1/2, 1, 2, d
Suppose 0 = 4*k - 5 + 13. Let n be (-4)/8*0 - -4. Let a be (-2)/4*(1 - 1). Sort k, n, a in increasing order.
k, a, n
Let y(p) = -19*p**2 - 759*p + 49. Let q be y(-40). Let d be (1 + -5)/((-2)/2). Sort -4/9, d, q in descending order.
q, d, -4/9
Let c(z) = -4*z**3 + 5*z**2 + 8*z + 6. Let o be c(5). Let v be (-1)/(-3) - o/21. Suppose 4*j - 41 = -5*s, 2*j + 1 = 5*s - v. Sort 7, -4, j in increasing order.
-4, j, 7
Suppose 0 = 2*x - 4 - 0. Let y = 3 - 0. Suppose 3*r + 2*z = -x*z + 11, -4*r = -y*z - 23. Put r, 1, -5 in increasing order.
-5, 1, r
Let i be (-22)/5 - 15/25. Let l = -0.55 - -0.5. Let t = 0.15 - l. Put 0, t, i in increasing order.
i, 0, t
Let v(d) = d**2 + 3*d + 4. Let w be v(-3). Suppose -w*q - 1 + 17 = 0. Let z = q - 8. Put z, 4, -1 in descending order.
4, -1, z
Let d = -0.6 - -28. Let n = -27.3 + d. Let t be ((-2)/12)/(2 - 1). Sort 6, t, n in decreasing order.
6, n, t
Let r = -231 + 220. Sort r, 2/9, -1/8.
r, -1/8, 2/9
Let d = 23 + -42. Let r = 16.4 + d. Let g = 0.4 - r. Sort -0.3, g, 0.5.
-0.3, 0.5, g
Let j(y) = -y**3 - 7*y**2 - y - 6. Let b be j(-7). Let d be (8/4)/(-3 - b/2). Put 6, d, -0.5 in ascending order.
d, -0.5, 6
Suppose -5*n = -q + 5, 3*q = 5*n - 2*q + 25. Put -28, 1, n, -1 in 