 increasing order.
d, 1, 2
Let n be (-4 - 0)*2/(-60). Let u = 11840 - 319681/27. Sort 0, n, u in decreasing order.
n, 0, u
Let z = -736 + 736.3. Let q = 333 + -333.1. Suppose 2*a = 3*a - 13. Put q, z, a in increasing order.
q, z, a
Let n(p) = -5*p. Let l(i) = 4*i - 29. Let g be l(7). Let z be n(g). Let x be 3 - (-6)/(-2) - z. Put x, 2, -1, -4 in ascending order.
x, -4, -1, 2
Suppose 50*n = 54*n - 15928. Let r = n + -27920/7. Let u = r + 152/21. Sort u, -0.3, -1/3, -0.5 in decreasing order.
u, -0.3, -1/3, -0.5
Suppose 5*i + 9 = -p, -2*i + p + p = -6. Let g be i/(-10) + (-434)/1540. Put 1.1, g, -1/6, 2 in descending order.
2, 1.1, -1/6, g
Let l be 4/(-22) - ((-688)/(-220))/(-4). Let o be ((-25)/(-27))/5*3. Let m = o - 11/9. Sort l, -3, m in decreasing order.
l, m, -3
Suppose -3*q + 8*m - 13*m - 8 = 0, -4*m - 3 = -q. Sort 0.5, -5, 0, q in increasing order.
-5, q, 0, 0.5
Let a = 0.1 - 0.1. Let g = 1539 + -1199. Suppose 2*p = 342 - g. Sort -3/2, p, -2/3, a in increasing order.
-3/2, -2/3, a, p
Let b = 875 - 871. Sort b, 5, 2/21 in decreasing order.
5, b, 2/21
Let r(s) = -27*s - 3786. Let i be r(-140). Sort -8, -4, i in decreasing order.
-4, i, -8
Let t be (-352)/(-12)*3 - -1. Let h be (t - -11) + 4 + 0. Let d be 6/(-8) + 0 + h/(-32). Sort d, 4, -6 in ascending order.
-6, d, 4
Let i = -8104 + 9123. Sort i, 5, -4 in descending order.
i, 5, -4
Suppose -3*l - 5*f + 19 = 0, 2*l + 5*f = l + 23. Let b be l - (-3 + 1 - (-1 - -4)). Suppose -19 + 7 = -6*c. Sort 5, b, c, -1 in descending order.
5, b, c, -1
Let y be (23 + -25)*(3 + 88/(-28)). Put -5, y, 1, -1, -7/5 in descending order.
1, y, -1, -7/5, -5
Let q = 9.29 + -0.29. Put q, 43, -1 in descending order.
43, q, -1
Let w(i) = 271*i - 1417. Let m be w(5). Put 2, 2/11, m in descending order.
2, 2/11, m
Let c = 19509.94 - 19510. Sort c, -2, -3/7, -1/13 in descending order.
c, -1/13, -3/7, -2
Suppose 0 = -4*z + 2*z - 8. Let a(v) = v**3 + 21*v**2 + 19*v - 21. Let i be a(-20). Let j be i + 4/(-6)*6. Sort z, j, -1, 4 in descending order.
4, -1, z, j
Let i(g) = g**3 - 8*g**2 - 5*g - 3. Let h be i(8). Let t be 12/54 + (h/72)/1. Let d = 0.7 + -2.7. Put t, d, 2, 1/6 in descending order.
2, 1/6, t, d
Let c(d) = -3*d**2 - 15*d + 16. Let s be c(-6). Put -4, 8, 25, -1, s in ascending order.
-4, s, -1, 8, 25
Let o = 0.01 - 0.31. Let d = 33/116 - 30/29. Sort d, o, 2/5 in ascending order.
d, o, 2/5
Let c(p) = 2*p + 22. Let b be c(-9). Suppose 2*u + 8 = 2, 3*u + b = x. Put -3, -1, x, 1 in descending order.
1, -1, -3, x
Let v(z) = 11*z - 8. Let m be v(6). Let d(y) = y**2 - m - 2*y**2 + 64. Let k be d(3). Put 3, k, 2 in increasing order.
k, 2, 3
Suppose -3 = s, -2*s + 1 = -5*z - 3. Suppose -2*v + 16 = -4*v. Let d be (-10)/3 + 6/(-9). Sort d, z, v.
v, d, z
Suppose -4*m = -2*h - 73 + 75, 2*h - 7 = -m. Put 2, m, 3525 in decreasing order.
3525, 2, m
Let a = 3.1658 - 3.0658. Sort 2, -2/67, 1/6, a, -2 in descending order.
2, 1/6, a, -2/67, -2
Let t = 515.9481 - -0.0519. Let l = -513 + t. Sort 1, -3, 2, l.
-3, 1, 2, l
Let q = -2649 - -2645. Let m = -13/6 + 11/6. Sort 0, -11, m, q in descending order.
0, m, q, -11
Let z(m) = -m**3 + 11*m**2 - 7*m - 28. Let a be z(10). Let h be a - 2*(-5 - -6). Put -2, 42, h in ascending order.
-2, h, 42
Let f(y) = 39*y + 1696. Let h be f(-42). Sort 0.5, 5, h in increasing order.
0.5, 5, h
Suppose 3*u = -2*z - 42, -2*z + 64 = -4*u - 6*z. Put u, 3/2, 1 in ascending order.
u, 1, 3/2
Let w be 9*7/(-105)*105/(-18)*6. Put w, 0, -29 in descending order.
w, 0, -29
Let l = 12135 - 12111. Sort l, 1, 11, 15.
1, 11, 15, l
Suppose 3*f - 610 = 2*w - 288, -16 = 4*f. Put -2, 9, w in decreasing order.
9, -2, w
Suppose f + 3*v = 1 - 7, -5*v = 5*f. Suppose f*n + 3*s = -21, -3*s - 7 = 2*n + 10. Sort -3, -1, n, -30 in decreasing order.
-1, -3, n, -30
Let h = -6.84 - -11.07. Let x = h - 4.03. Put 51, 3, x in descending order.
51, 3, x
Suppose 242*m = -4*a + 245*m - 26, -4*a = -2*m + 20. Put 3, 7, a, 4, 8 in decreasing order.
8, 7, 4, 3, a
Suppose 0 = 8*m - 8*m + 5*m - 165. Sort 5, -4, m, 4 in increasing order.
-4, 4, 5, m
Let q = 0.4 + -0.04. Let s = -0.3 + q. Let t = 31177 + -31179. Sort s, t, -4.
-4, t, s
Let d = -3009.9906 + 3010. Sort d, 3, 0.5, -0.5 in descending order.
3, 0.5, d, -0.5
Suppose -15*t - 164 = 18*t + 265. Suppose 3*k = -4*m - 28, 3*m + 2*k = -15 - 5. Sort -0.5, m, t.
t, m, -0.5
Let p = -20.54 - -20.54. Put 10, p, 1, 2/9 in descending order.
10, 1, 2/9, p
Let n be (-4)/(-14) - (-2)/(-7). Let g be (-5)/(5/(50/(-10))). Suppose 5*i + 15 + g = n. Sort i, 0.1, 0.5, 7.
i, 0.1, 0.5, 7
Let x = 133/5 + -27. Let u = 3427 + -3419. Sort 0.4, u, x, 0.3 in ascending order.
x, 0.3, 0.4, u
Let z = -2157 + 2155. Sort z, -1, 58, 0 in decreasing order.
58, 0, -1, z
Let g be (-2546)/804 + (-7)/(-42). Let l(o) = o - 1. Let w be l(1). Sort g, 4, w, 6.
g, w, 4, 6
Let r be -2 - 116/30 - (-18)/15*5. Sort r, -0.3, 1, -3/77.
-0.3, -3/77, r, 1
Let z = -494.27 - -452. Let p = 42.4 + z. Sort p, 5, 3.
p, 3, 5
Suppose 2*x = 16*x - 64 - 48. Sort x, -1, 4, 1, 19.
-1, 1, 4, x, 19
Let n = 0.16 + 1.02. Let s = -2.82 - n. Sort -3, 2, s, 11.
s, -3, 2, 11
Let n(t) = t**3 - 9*t**2 + 8*t + 2. Let i be n(8). Suppose 0 = -j - j - i. Let q = -282 + 283. Put 0, j, q in decreasing order.
q, 0, j
Let p = -461 - -373. Let a = p - -87.8. Let c = 18 - 52/3. Put -0.4, c, a in decreasing order.
c, a, -0.4
Let t be -8 + 3 + 15 + 1 + -3. Suppose 5*p - 3*p - t = 0. Let d be (6/4 + p/(-8))*3. Sort 0, d, -3 in descending order.
d, 0, -3
Let a = 6849 - 6848.8. Let r = 0.1 + 2.9. Put a, -0.3, 2, r in decreasing order.
r, 2, a, -0.3
Suppose -15 = 4*a + 5*f, -3*f - 11 = -2*a - 2. Suppose -12*d + 17 - 53 = a. Let b = 1 - 0.9. Put d, b, 0.2 in increasing order.
d, b, 0.2
Let z = 3386 - 3382. Put z, -8, 110/9 in increasing order.
-8, z, 110/9
Suppose 9 = i - 6*o + 11*o, -i - 1 = -5*o. Let j = -279 - -275. Sort i, j, 85 in decreasing order.
85, i, j
Let b(d) = -d**3 + 29*d**2 + 62*d - 2. Let h = -680 - -711. Let z be b(h). Put z, -3, -5, 7 in decreasing order.
7, z, -3, -5
Let y = -49258/397503 - -32/261. Let x = y + -3040/4569. Put x, 7/2, -0.4 in decreasing order.
7/2, -0.4, x
Let p = 556 - 365. Let i = -190.9 + p. Let n = 1.15 + -1.1. Sort i, -4/3, n in decreasing order.
i, n, -4/3
Suppose 0 = -5*g + f + 8, 7*f - 7 = 2*g + 10*f. Let a = -1372 + 1377. Suppose 10 = 5*s, 5*i - 3*s - 8 = 6. Sort a, -4, g, i in ascending order.
-4, g, i, a
Let f(v) = -2*v - 4. Let x be f(-7). Let d be ((-464)/290)/((-10)/(-25)). Sort -5, x, d in decreasing order.
x, d, -5
Let p = 15220 + -15222. Put 131, 3, 4, p in descending order.
131, 4, 3, p
Let i = 0.35 + 0.05. Let r be (-8*(-76)/64 - 8) + 146/(-92). Put -4, r, i in ascending order.
-4, r, i
Let r = 0.65 + 0.2596. Sort -4, 1/6, r.
-4, 1/6, r
Let s = 0.123 + -105.123. Let u = -119 - s. Sort -4/7, u, -2/3.
u, -2/3, -4/7
Suppose -4*d - 144*h + 149*h = 157, 0 = 5*d - h + 191. Put 1, -3/5, 3, d in decreasing order.
3, 1, -3/5, d
Let g be (-4)/(-38) + 12183/(-20615). Let h = -223/315 - g. Sort h, 1/6, -1.2.
-1.2, h, 1/6
Let p(r) = 150*r - 2600. Let u be p(16). Put 0, 1, -2, u in decreasing order.
1, 0, -2, u
Let u(c) = c**3 - 8*c**2 - 292*c + 1530. Let s be u(5). Sort 88, 5, s in descending order.
88, 5, s
Let t be ((-48)/(-32))/(((-1)/2)/(-1)). Suppose i - 51 = t*v, -i + 51 = -4*v - 16. Sort -3, v, -1/9, 2/7 in decreasing order.
2/7, -1/9, -3, v
Let x be (-540)/130 + 7/(182/4). Let q = -27/4 - -6. Let p = -89 - -980/11. Sort -1/3, x, p, q in decreasing order.
p, -1/3, q, x
Let k(m) = 9*m + 214. Let i be k(-24). Let r be ((-3)/(-4))/(25/(-600)). Sort -3, r, i, 5 in decreasing order.
5, i, -3, r
Suppose 7 = -2*n - 1, -18*n - 57 = -54*h + 49*h. Suppose -2*y - 2*l + 2 = 0, -3*l + 0*l = 0. Sort y, 5, h, -7 in decreasing order.
5, y, h, -7
Let g = 3112 + -18695/6. Put -3, g, -0.05 in increasing order.
g, -3, -0.05
Suppose -26*y + 70*y + 1168 = -29*y. Sort y, -5, -1, 3, 1 in ascending order.
y, -5, -1, 1, 3
Let s(r) = 2*r**3 - 6*r**2 - 2*r + 25. Let c be s(-2). Sort -3, -8, 2, -2, c in decreasing order.
2, -2, -3, -8, c
Let b = 33.03 + -32.83. Sort -5, -4, b, 42.
-5, -4, b, 42
Suppose 3*v + 42 = 4*i, 10*v = 2*i + 12*v - 14. Suppose -i - 3 = -12*k. Sort -1, k, -4, -11 in decreasing order.
k, -1, -4, -11
Let d = 7789 + -7789. Put -2, d, -5, 