in decreasing order.
i, 4, 0.2
Let w(v) = -v**3 - 6*v**2 - 5*v + 1. Let r be (-33)/22 - (-3)/(-6). Let o be w(r). Sort -3, 11, o, 3 in descending order.
11, 3, -3, o
Suppose -9 = -14*g + 11*g. Suppose -4*i - g*v + 7 = -4*v, i + 3*v - 5 = 0. Sort 3, i, 0.8, -0.3 in decreasing order.
3, i, 0.8, -0.3
Suppose 9*n - 22 - 32 = 0. Suppose 36 = n*j + 6*j. Let d = -1 + -4. Put d, j, -0.2 in increasing order.
d, -0.2, j
Let u = 2326.9 - 2696.97. Let p = u + 370. Put 2, -4/7, 0.3, p in decreasing order.
2, 0.3, p, -4/7
Let n = 2505 - 273043/109. Sort -2/9, n, -0.5 in ascending order.
-0.5, -2/9, n
Let a = 9481 - 66365/7. Sort 0, a, 206/17 in descending order.
206/17, a, 0
Let z be 14/3*(-3)/7*(-409)/409. Sort -3, 0, -4, 88, z in increasing order.
-4, -3, 0, z, 88
Let n = 0.11431 + 7.11669. Put -1/9, n, -4/9 in decreasing order.
n, -1/9, -4/9
Let v = -53 + 83. Let o(z) = -3*z**3 - 3*z**2 - 53*z + 55. Let j be o(1). Sort j, 3/2, v, 1/4 in increasing order.
j, 1/4, 3/2, v
Suppose 90 = 5*z - 2*z. Suppose -3*o + 23 = -2*k, 5*o + 1370*k = 1368*k - 15. Sort -3, o, z in ascending order.
-3, o, z
Let j = -25580 + 25585. Sort -3/2, 17, j, 3.2, 0.4 in descending order.
17, j, 3.2, 0.4, -3/2
Let s(r) = 2*r**2 - 12*r + 15. Let y be s(5). Suppose -f - 4*a - 6 = -y*a, -5*f + a - 10 = 0. Sort 3, f, -5 in increasing order.
-5, f, 3
Let v = -0.2 - -0.5. Let m = 0.2 - v. Let d = 16.65 + -13.65. Put -5, m, 5, d in decreasing order.
5, d, m, -5
Let u = 443 - 442.7. Let z be (39/9)/((0 + -5)/(-15)). Sort z, u, -0.4, 0.1 in decreasing order.
z, u, 0.1, -0.4
Suppose 22*u = 24*u - 5*m + 49, 4*u = -m - 109. Put 23, 1, 3, u in ascending order.
u, 1, 3, 23
Let h = 6119.032 - 6161. Let d = 42 + h. Let u = d + 0.468. Sort u, -0.4, 1, 3/8 in ascending order.
-0.4, 3/8, u, 1
Suppose 2*j + 4*c = -8, 0 = 4*j + 3*c + 192 - 196. Sort 1711, 3, j.
3, j, 1711
Suppose 0*t + 5*t - 5 = 0. Let p(d) = d**2 + 7*d - 4. Let q be p(-7). Let u be (-120)/105 - 6/(-42). Sort t, u, q, -14 in decreasing order.
t, u, q, -14
Let w = 1928 - 1928. Sort 2/27, w, -22.
-22, w, 2/27
Suppose 398 + 652 = 6*j. Let m be (-3)/(-7) + 25/j. Sort m, -0.4, -24 in increasing order.
-24, -0.4, m
Suppose 3 + 180 = 5*v - 8*t, 3*v = -3*t + 102. Put v, -23, 1, -2, -3 in decreasing order.
v, 1, -2, -3, -23
Suppose -24*n = -2*n - 489 + 489. Sort n, -26, -279 in ascending order.
-279, -26, n
Let v(o) = -12*o + 204. Let r be v(-16). Let a = r + -396. Sort a, -21, -2 in increasing order.
-21, -2, a
Let b = 227 - 221. Suppose 2*c + 2*i - 2 - 4 = 0, 2*c - 3*i - b = 0. Put 4, c, 1, -2 in decreasing order.
4, c, 1, -2
Let i = -67 - -70. Suppose -2*s = -i*t - 22, 2*s - 3*t - 30 = -s. Let k = 10 + -6. Sort -1, s, k in ascending order.
-1, k, s
Let x = -0.08 + 0.38. Let d = 1.6475 - -1.3525. Put -4, d, x, -0.8 in decreasing order.
d, x, -0.8, -4
Let v = 4.5 - -2.5. Let f = -31/5 + 7/2. Let o = 23/10 + f. Put 1/5, -1, v, o in increasing order.
-1, o, 1/5, v
Suppose -5*z + 49 = 19. Let y(g) = -2*g**3 - 35*g**2 - 26*g - 152. Let i be y(-17). Sort 5, i, z, -3 in decreasing order.
z, 5, i, -3
Let x(b) = -46*b + 1701. Let v be x(37). Put -597, 5, v in decreasing order.
5, v, -597
Let m be (4/(-2)*1)/(22/(-33)). Let k be 36/5 + (-10)/50. Let p = k + -7. Sort -3, p, -1, m in descending order.
m, p, -1, -3
Let q = -72 - -80. Suppose q*t = -25 + 73. Sort 3, t, 0.
0, 3, t
Suppose -3*l = -j + 17, 16*j - 254 = 4*l - 378. Let t = 0 + -1. Sort l, -5, t in ascending order.
l, -5, t
Let j = -224.51 + 221.51. Let r = 14 + -10. Let a = 2 + -3. Sort j, r, 5, a.
j, a, r, 5
Let j = 31.55 + -31.64. Put j, -1/4, -2/21, -8, 3 in ascending order.
-8, -1/4, -2/21, j, 3
Let k be (5/85)/((-52)/(-104)). Let z = -0.2 - -0.7. Let q = 57 - 56. Sort k, 1/5, z, q in ascending order.
k, 1/5, z, q
Suppose 43*c - 12*c = 0. Sort 1, -1, 5, c in decreasing order.
5, 1, c, -1
Let j = -0.4 + -18.6. Let p = -0.348806 + 0.048806. Sort 2/23, j, p, 2 in decreasing order.
2, 2/23, p, j
Let y = 9467 - 9469. Sort 146, y, 3.
y, 3, 146
Suppose 3*v + 5*s - 5 = 2*v, 2*v - 3*s - 10 = 0. Suppose -v*r - 36 = 2*g - 3, -r - 13 = 2*g. Put 2, -2, 4, r in increasing order.
r, -2, 2, 4
Suppose p = 61*r - 58*r + 11, 3*r - 11 = -p. Put -76, -1, p in descending order.
p, -1, -76
Let g be 5*2 + 3404/(-322). Put 0.06, g, -2/23 in descending order.
0.06, -2/23, g
Let r = 185.13 - 184.13. Put -0.3, -2/13, -8, 0.4, r in increasing order.
-8, -0.3, -2/13, 0.4, r
Suppose -119*z = -126*z - 28. Sort 6/31, -0.3, z, 0.3 in ascending order.
z, -0.3, 6/31, 0.3
Let p(m) = -432*m + 4323. Let z be p(10). Sort -4/5, 1.3, 3/23, z.
-4/5, 3/23, 1.3, z
Let t(x) = -x**2 + 98*x + 1422. Let o be t(111). Let g = 10 + -7. Put o, g, 4 in decreasing order.
4, g, o
Let n(w) = w**2 - 9*w + 3. Let v be n(8). Let q = -217 + 192. Let y(t) = t**3 + 26*t**2 + 25*t + 2. Let s be y(q). Sort 7, s, v, -3 in descending order.
7, s, -3, v
Let y = -40928/5 - -8176. Put -0.1, y, 5 in descending order.
5, -0.1, y
Suppose -8*a = 6*a. Let w be 1/(-5) + (-90)/150. Sort a, -2/11, w in decreasing order.
a, -2/11, w
Let o = -5475/7 + 71182/91. Put 4, 3, -317, o in descending order.
4, 3, o, -317
Suppose o - 2*o = -2. Suppose 0 = -6*h - h - 567. Let d be h/15 - -1 - (-4)/10. Sort o, 4, d in decreasing order.
4, o, d
Let o(k) = -9*k**3 + 65*k**2 - 55*k. Let d be o(6). Sort -0.8, d, 1/3, -2/19 in decreasing order.
d, 1/3, -2/19, -0.8
Let j = -155.25 + 155.35. Let t = -0.42 - -18.42. Sort -3, t, j in increasing order.
-3, j, t
Let t be 0 - (0 + 0) - 2. Let a be (-1)/(-4)*t*-2. Suppose 5*g - n = 10 - 15, -5*g - 4*n = 5. Put g, -4, a in increasing order.
-4, g, a
Let x(f) = -113*f**2 - 445*f - 39. Let z be x(-4). Sort 0, -18, -3, z.
z, -18, -3, 0
Let s be ((-16)/(-40))/(6/15). Put -1, -3, s in ascending order.
-3, -1, s
Suppose -8*s + 32 + 8 = 0. Suppose q - 7*x - 1 = -8*x, 14 = 2*q - 2*x. Sort -4, -5, s, q.
-5, -4, q, s
Let d(j) = -j**2 - 1568*j - 145389. Let l be d(-99). Suppose a = -1 + 5. Put l, -1, a in increasing order.
-1, a, l
Let m = -3863 + 3862. Let h = 3 + -2. Let i be -1 - (h + -2) - -1. Put 4, i, -4, m in ascending order.
-4, m, i, 4
Suppose -2 = 2*x, 0*x - x = -2*r - 205. Let j(p) = 1890*p + 11336. Let c be j(-6). Sort -2/3, c, r in decreasing order.
-2/3, c, r
Suppose 38*j - 505 = 137*j - 10. Sort j, -10, -2, -4, 21.
-10, j, -4, -2, 21
Suppose k - h = -19 - 0, h = -2*k - 29. Suppose i - 1 - 4 = 0. Sort -3, k, i, 1 in ascending order.
k, -3, 1, i
Suppose -196*k + 5*t + 30 = -191*k, 0 = t + 4. Sort k, -2, -1, 221.
-2, -1, k, 221
Suppose 136 - 145 = t. Sort t, -5, -6, 8 in ascending order.
t, -6, -5, 8
Suppose -3*f = 2*d - 4, -5*d + 21 = 2*f - 0. Let a(m) = m**2 + 17*m + 11. Let b be a(-16). Put b, 6, 3, d in decreasing order.
6, d, 3, b
Let f = 517/2 - 3625/14. Put f, -1/6, -5, 5, -1.5 in ascending order.
-5, -1.5, f, -1/6, 5
Suppose 6*t + 12 = -o + 11*t, o + 2*t = 16. Suppose -3 + o = 5*a. Put a, 3, 2, 9 in increasing order.
a, 2, 3, 9
Let w = 0.1 + 0.9. Let j = -39 + 193/5. Let x = -4.9 + 3.9. Sort x, j, w, -3/8.
x, j, -3/8, w
Suppose 0 = 32*w - 24*w - 16. Suppose -h + 4*x = 4*h - 12, 2*h + w = 5*x. Sort 15, h, 0.
0, h, 15
Suppose 0 = -6*l + 3*z + 24, -36*l + 6 = -37*l - 2*z. Sort 27, -5, l, -1 in decreasing order.
27, l, -1, -5
Let h = -46199 + 46280. Let g = 8 - 4. Sort 2, g, h, -2/3 in increasing order.
-2/3, 2, g, h
Suppose -6*z - 351 = -345. Put z, -2, 1, -5, -4 in increasing order.
-5, -4, -2, z, 1
Let l = 2882 - 2881.929. Put l, 2/7, -2 in descending order.
2/7, l, -2
Let d = 1.909 + -2.209. Let f = 5 - 5.21. Put -0.5, 1, d, f in increasing order.
-0.5, d, f, 1
Let h(d) = d**2 - d - 9. Let z be h(8). Let o = -44 + z. Suppose 7*j - 2*j - 25 = -2*k, -k = o*j - 15. Put k, -5, -6 in descending order.
k, -5, -6
Let b = 0.31 - -0.76. Let m = b + -0.07. Sort -4, -1, -5, m in increasing order.
-5, -4, -1, m
Let r = 4 + 0. Let o = 0.092 - 0.092. Let i = 236/3 + -79. Put r, i, o in descending order.
r, o, i
Suppose 0 = -3*x - x + 28. Suppose x*c - 12 + 5 = 0. Let s be ((-2)/2)/((c/(-1))/2). Sort -3, s, 4 in decreasing order.
4, s, -3
Let i = -30 + 37. Let z be ((-90)/105)/((-1)/i). Sort -3, z, 1 in descending order.
z, 1, -3
Let g = 67.9 + -68.199. Let b = g + -3.701. Let a = 2876/7 - 412. Put -3, b, a in descending order.
a, -3, b
Let d be (