*x - 1 - 2 = 0. Put m, i, -1 in decreasing order.
i, -1, m
Let m = -75 + 74.5. Let b = 10 + -12. Put m, b, 0 in descending order.
0, m, b
Let c = -0.28859 + -3.71141. Sort 0.06, -0.5, c, 1/13 in descending order.
1/13, 0.06, -0.5, c
Suppose 0 = -4683*d + 4665*d - 18. Sort 1, d, 30, 0 in increasing order.
d, 0, 1, 30
Let r = -0.157 + -2.843. Sort 4/3, -4, -0.4, -2/7, r.
-4, r, -0.4, -2/7, 4/3
Let t = 2857 - 3045.7. Let o = t - -189. Sort 2, o, -0.1, -0.6 in decreasing order.
2, o, -0.1, -0.6
Let i = -10 + -29. Let x = 1983 + -1978. Sort i, x, 3, -1/2 in ascending order.
i, -1/2, 3, x
Let n(r) = 4*r**3 + r. Let b be n(-1). Let i = -12 + 9. Let t = 701 - 697. Sort b, i, t in descending order.
t, i, b
Let k be 51/2 + 36/(-24). Let j(x) = 2*x**3 - 49*x**2 + 22*x + 59. Let a be j(k). Sort a, 1, 3.
1, 3, a
Let j = -5 + 2. Let r = -124 - -127. Let h be (-4*(42/8 - 5))/r. Sort j, 25, h.
j, h, 25
Let o = -38.16 - -38.16. Let g(c) = 3*c - 2. Let y be g(2). Sort y, o, -18 in ascending order.
-18, o, y
Let n = -2.3694 + -0.0306. Sort n, 5, -2 in increasing order.
n, -2, 5
Let s(r) = 4*r**3 - 9*r**2 + 3*r - 5. Let w be s(4). Let d be 68/w*7*-1. Sort -5, -23, d in ascending order.
-23, -5, d
Suppose 71 = 17*u - 218. Put u, 21, -2 in ascending order.
-2, u, 21
Let a = 20667.8 - 20668. Put 0.1, -3, -10, -1, a in decreasing order.
0.1, a, -1, -3, -10
Let l = 3877 + -3873. Put l, 1/16, -1/55, -5 in descending order.
l, 1/16, -1/55, -5
Suppose -88 = 5*v - 103. Sort 6, -3, v, -42.
-42, -3, v, 6
Let f be 832/144 - ((-3 - -4) + 5). Let y = -0.05 + 0.05. Let n = y - 0.06. Sort f, n, 4 in decreasing order.
4, n, f
Let w = -5.7 - -1.8. Let l = -1236 + 1238.9. Let j = l + w. Sort -2, j, 1, 2/5 in descending order.
1, 2/5, j, -2
Let k = 277 + -268. Let g(a) = a**2 - 8*a + 9. Let c be g(7). Put -1, k, c, 0 in decreasing order.
k, c, 0, -1
Let j = -4297 - -4297.6. Put -1/4, j, -2/7, -10.1 in decreasing order.
j, -1/4, -2/7, -10.1
Let l = -133 + 198. Let w = -70 + l. Put 1, 0.5, w, -1/2 in descending order.
1, 0.5, -1/2, w
Let z = 10 + -9.6. Suppose -5*b - 25 = 110. Let r be (3/b)/(-1)*2. Sort r, -3/8, z in increasing order.
-3/8, r, z
Let x = -540 + 537. Let r be (30/12 + -3)/x. Let g = -2.8 + 3. Sort g, 4/9, r, 3/2 in descending order.
3/2, 4/9, g, r
Let n = 1 - 4. Suppose -54*i - x = -53*i - 13, 5*x = -4*i + 55. Suppose 3*s - 4*s = 0. Sort s, i, n.
n, s, i
Suppose 3*g - 5*d = 29, 4*g + d - 8 = -0*g. Let a be 4/g - 1/3. Let q be (-16)/6 + 37/(-111). Sort q, a, 5, 4 in decreasing order.
5, 4, a, q
Let b = -215592/17 + 12682. Sort b, 71/4, -3/7 in descending order.
71/4, b, -3/7
Let i be (24/15)/((-12)/(-30)) - 9. Put -14, -1, 3, i in ascending order.
-14, i, -1, 3
Let j(y) = -687*y - 2058. Let u be j(-3). Sort 2, -14, 1, -1, u in decreasing order.
u, 2, 1, -1, -14
Suppose 5*w - 9*w = 12, 2*d = -w - 5. Sort d, -26, 2 in ascending order.
-26, d, 2
Let h = -30794 - -30821. Sort h, -5, -30, 4 in decreasing order.
h, 4, -5, -30
Let c be 121 - (0 + 0)/1. Let m = -131045.4 - -131045. Put c, m, -4 in descending order.
c, m, -4
Let g = 27653 + -82958/3. Sort -0.5, -55, g in ascending order.
-55, -0.5, g
Let c be (-77)/(-25) + 20/(-250). Let v be (c/2*-1)/(6/4). Sort -22, v, 5, 3 in decreasing order.
5, 3, v, -22
Let b = 0.03656 - 6.03656. Put 0.5, -1, -4, b, -2/9 in descending order.
0.5, -2/9, -1, -4, b
Let g be 1 - (-6)/(-5) - (-4)/(-5). Suppose 0 = 3*n - 98 - 28. Let l be 8*2/(-6) - 14/n. Put 5, g, l in descending order.
5, g, l
Let u = -585307 + 585212. Let f(a) = a**2 - 6*a + 4. Let d be f(6). Sort 2, u, d in increasing order.
u, 2, d
Suppose 2 = 3*d + 8. Suppose 4*k + 20 = 60. Suppose 2*x = -4*h - 22, h + k = 4*x + 27. Sort h, d, -1.
h, d, -1
Let v(r) = 90*r**2 - 359*r - 5. Let i be v(4). Sort i, -2/7, 7/18, 1 in increasing order.
i, -2/7, 7/18, 1
Let d(i) = -i**3 + 7*i**2 + 10*i - 19. Let c be d(8). Suppose 0 = y - 0*y + 100. Let p = 21 + y. Sort 4, p, c in decreasing order.
4, c, p
Let k = -4.2871 + 2.2871. Sort -30, k, 0.4, -52, -5 in descending order.
0.4, k, -5, -30, -52
Let z(r) = 2*r**3 - 13*r**2 - 142*r - 15. Let g be z(13). Put 2, -1, 1, g in increasing order.
-1, 1, 2, g
Let l = -148.3 + 147.3. Put l, 2, -5/3, 1/8, 5 in decreasing order.
5, 2, 1/8, l, -5/3
Let f be (-11)/(-7 + 80/10). Sort 3, -5, -13, f.
-13, f, -5, 3
Let b be 200/64 + -3 - (-1595)/40. Put 3, -5, -3, b, 11 in descending order.
b, 11, 3, -3, -5
Let z be 9 + -53 + (-1)/(2/10). Let a be 1 - 7*(-7)/z. Put 76, 3, a, -1 in increasing order.
-1, a, 3, 76
Let z = 52 + -51. Suppose 0 = g + 5*r + 2 - 22, 2*r - 16 = -2*g. Let b be (-4)/z + 21/g. Put 4, 1/6, b in descending order.
4, b, 1/6
Let c = 1716 - 1450. Put 0, c, -4 in increasing order.
-4, 0, c
Let q = 31 + -20. Let a = q + -9. Suppose 1253*z = 1222*z - 124. Sort a, 1, -3, z in descending order.
a, 1, -3, z
Let k = 9 - 9. Suppose 2*l = 4*u - 128, 4*l - 2*l + 5*u + 173 = k. Let z = 79 + l. Sort 2, -1, z.
-1, 2, z
Suppose 1890*c = 1929*c - 78. Suppose -9 = 5*q + 4*n, n - 9 - 10 = 3*q. Let u(h) = -2*h - 1. Let v be u(-3). Put v, c, q in increasing order.
q, c, v
Suppose -6*r + 36 = 30*r. Let t be (51/(-12))/r + 4. Let x = -0.5 - -0.9. Put 2/3, -0.4, t, x in increasing order.
-0.4, t, x, 2/3
Let o(v) = v**3 - 11*v**2 + 10*v + 3. Let a be o(10). Let x be (a - 1)/((-16)/(-40)). Let c = 655 - 651. Put c, 17, x in decreasing order.
17, x, c
Let c be (-2)/((-16)/6)*(-7680)/(-1152). Put 1, -41, c in descending order.
c, 1, -41
Let c = -1 + -2. Let k be 6 + 0*(-7)/21. Suppose 3*b - 29 = 2*r - k, 3*b - 3*r - 27 = 0. Put 2, c, -2, b in ascending order.
c, -2, 2, b
Suppose 12 = -0*w + 3*w. Let k = 1006 - 999. Sort w, -3, k in increasing order.
-3, w, k
Suppose 3*i = 81 + 678. Let m = 257 - i. Put 2, -48, m in increasing order.
-48, 2, m
Let j = 3499 + -136460/39. Let r = -0.2 + 2.2. Sort r, j, -1 in decreasing order.
r, j, -1
Let t = -13.02 + 13.22. Sort -0.3, -0.312, t in decreasing order.
t, -0.3, -0.312
Let z be 12*((-106)/6 - -1). Let j = z + 190. Put -4, j, -1, 5 in ascending order.
j, -4, -1, 5
Let h(i) = i**3 + i - 3. Let a be h(0). Let u be 10/6 - (-1)/3. Suppose -u*x - 10 = -2. Sort a, x, -1.
x, a, -1
Let o(p) = p**3 - 17*p**2 + 36*p - 93. Let k be o(15). Sort -8, -12, k, 1 in decreasing order.
1, k, -8, -12
Let n be (-40)/70 - (-55)/35. Sort 4/9, -5, -0.06, n in ascending order.
-5, -0.06, 4/9, n
Let d = -3.59 + -0.41. Let v = 77.1 - 77.8. Sort v, -0.11, d, 2/3 in descending order.
2/3, -0.11, v, d
Let h = 3560.17 + -3560. Sort h, 4, -2, -42, -0.2 in descending order.
4, h, -0.2, -2, -42
Let w(u) = u**2 + 10*u - 63. Let q be w(9). Suppose -114 + q = -2*h. Suppose -9*s = -6*s + 12. Put -5, s, -2, h in decreasing order.
h, -2, s, -5
Let v = 3.46 - 3.46. Sort -0.2, v, 3 in descending order.
3, v, -0.2
Let a be (-1104)/78 - -14 - 6350/130. Put a, -15, -1/2 in decreasing order.
-1/2, -15, a
Suppose 4*f + 3*i = 3*f - 11, 0 = 4*f - 2*i - 26. Let o be ((-140)/(-42))/(f/(-6)). Sort -1, 5, -4, o in decreasing order.
5, -1, -4, o
Let r be (8 - 10) + 0 + (1 - 1). Let h = -18 - -19. Sort h, r, -5, -3 in decreasing order.
h, r, -3, -5
Let t = -441.29 - -441.26. Put -0.5, 0.5, t, 23 in decreasing order.
23, 0.5, t, -0.5
Let f be (-33)/(-12) - (-2)/8. Let u be 1 + 0 + f*-2. Let t = -1026.2 - -1025.6. Sort u, -4/5, t in descending order.
t, -4/5, u
Let v = 0.02 + -0.52. Let f(j) = -j**3 - 28*j**2 + 25*j - 120. Let x be f(-29). Sort 0.5, v, x in decreasing order.
0.5, v, x
Let n = -0.4 - 2.6. Let y = n + 19. Suppose 3983*m - 6 = 3977*m. Sort y, -0.2, m in decreasing order.
y, m, -0.2
Suppose -16*w - 19*w = 8*w - 12*w. Sort -1/3, w, -4, 3, 60 in ascending order.
-4, -1/3, w, 3, 60
Suppose 24 = r - 3*r. Let t be r/(-16)*4/(-6). Let h(y) = 176*y + 35378. Let b be h(-201). Put -4, b, t in decreasing order.
b, t, -4
Let u be (1/3)/(1/(-15)). Let l = -64 + 66. Let x be (4/(-6) - (-14)/(-42)) + -3. Sort u, l, x, -3.
u, x, -3, l
Suppose 0 = -78*d + 74*d + 4. Suppose -d = 3*y - 2*v - 5, -12 = -y - 2*v. Sort -1/11, y, -2.
-2, -1/11, y
Let v = 7260 - 6129. Sort 5, 0, v in ascending order.
0, 5, v
Let d = -341 - -359. Suppose 2*f - 8*o = -3*o - 21, -5*o = -f - d. Sort -5, 2/13, f.
-5, f, 2/13
Suppose -15*m + 2 - 8 = 39. Sort 26, -1, m, 0, 2 in decreasing order.
26, 2, 0, -1, m
Let