Let t be m(8). Let d(v) = -39*v - 83. Let i be d(-2). Put 3, i, t in increasing order.
i, t, 3
Let l be (105/(-60))/(-7)*6. Suppose i + 5 = q - 0*i, -i + 10 = 4*q. Suppose -2*p = -3*p - q. Put p, l, -0.07, 3 in ascending order.
p, -0.07, l, 3
Let z = -29 - -227. Let j = 183 - z. Sort -1, j, -4 in descending order.
-1, -4, j
Let f = 4086.7 + -4087. Sort -3/4, f, -0.2, -2/17, -7/3 in decreasing order.
-2/17, -0.2, f, -3/4, -7/3
Let m(g) = 13*g - 1. Let z be m(3). Let y be z/84 + 5*16/(-280). Sort y, -0.5, -4 in increasing order.
-4, -0.5, y
Let i be ((-2)/24)/((-4)/(-8)). Let p = -5.53 + 5.5. Let h = 0.08 + p. Put -2/5, i, h in descending order.
h, i, -2/5
Suppose 5*v + 6 = i + 8, 4*v + i = -2. Sort v, -34, -2, -4.
-34, -4, -2, v
Let y = 0.03216 + -2.83216. Sort 25, y, -2/5 in decreasing order.
25, -2/5, y
Let b(p) = -p**2 + 2*p + 29. Let n be b(7). Let l = -0.31 + 0.41. Put 0.5, n, l in increasing order.
n, l, 0.5
Let w be (-26)/12 + 4/6. Let z = 0.22788 - -0.15212. Sort w, 1, z in descending order.
1, z, w
Let w = -358630 - -358628. Let v(g) = -g**3 + 4*g**2 + 5*g + 1. Let f be v(5). Sort w, f, 0, -4 in decreasing order.
f, 0, w, -4
Let q = -444.25 + 446. Let k = q + -1.35. Sort -3, 0.3, -1/33, k in ascending order.
-3, -1/33, 0.3, k
Let f = 29629 - 29628. Put 2, -9/115, f in descending order.
2, f, -9/115
Let d be (131 + 2)/((-4)/(-8)). Let p = d + -266. Sort -3, p, 8.
-3, p, 8
Let r = -7176 + 7176.5. Sort 3, -33/2, r in descending order.
3, r, -33/2
Let n(d) = -10*d**2 + 26*d + 4 - 10*d - 10*d + d + d**3 + 12. Let i be n(9). Sort 140, -1, i in ascending order.
i, -1, 140
Let z = 21/109 - 17/654. Put 0, 1/13, z in descending order.
z, 1/13, 0
Suppose 4*q - 10 = -q. Let m = 10639 + -10639. Let r be (-6)/(-39) - (-37)/13. Put m, 1, r, q in ascending order.
m, 1, q, r
Let w be ((-9)/51)/((-66)/3366). Sort 3, 2, -4, w in descending order.
w, 3, 2, -4
Let v(t) = -t**2 + 2*t - 1. Let g be v(3). Suppose -134*h + 298 - 432 = 0. Put g, h, 53 in ascending order.
g, h, 53
Suppose 0*a = 2*a + 14. Let b = -138 + 138. Let h = -1685 + 1680. Sort h, b, a in descending order.
b, h, a
Let f = -96 + -4. Let b = f - -123. Put 5, 0, b in decreasing order.
b, 5, 0
Let y = -9475.5 - -9476. Put 2, y, -0.0352, 5 in increasing order.
-0.0352, y, 2, 5
Let k = 1421/34 - 753/17. Let b = -6 - -3. Let m = 3.3 + b. Put 3/5, k, m, -2/15 in decreasing order.
3/5, m, -2/15, k
Let y = 1966 - 1965. Let g be (52/6)/((-1)/3). Put g, y, -4 in ascending order.
g, -4, y
Let d = -458.4 - -459.4. Let l = -116 + 76. Let q be ((-1)/(-10))/(32/l). Sort d, q, -2/7, -2/5 in ascending order.
-2/5, -2/7, q, d
Let v = -0.2 + 0. Let d = -375/1516 + -1/379. Let s = 70.2 - 70.6. Sort d, v, s, -1 in increasing order.
-1, s, d, v
Let j(u) = 849*u + 4241. Let l be j(-5). Put 2, 86, -5, l in decreasing order.
86, 2, l, -5
Suppose -42*k - 155 = -47*k. Suppose k*l = 5*l + 182. Suppose 2*f - 13 = -c, 3 = -2*c - 3*f + 25. Sort l, 1, -2, c.
-2, 1, c, l
Suppose -883 = 29*r - 3000. Let i be -4 + 2 + (2 - 3). Sort 1, i, r in descending order.
r, 1, i
Let j(r) = -r + 9. Let i be j(7). Suppose -5*l + 18*w - 19 = 16*w, -2*l = w + 4. Let g(d) = -d - 6. Let b be g(-5). Put -5, b, i, l in descending order.
i, b, l, -5
Suppose 185 = 140*b - 295*b - 125. Let r = -8.9 + -1.1. Sort b, 5, r, -0.5.
r, b, -0.5, 5
Let b = -10.914 + 11.014. Sort -1/13, 0, b, -5, -0.3 in increasing order.
-5, -0.3, -1/13, 0, b
Let n be 392/294 - (-57)/(-63). Put 1/3, -1, -0.2, 6, n in decreasing order.
6, n, 1/3, -0.2, -1
Let s = 30 - 26. Let v be 1*(4 - (s + -1)). Put 10, -2, 3, v in descending order.
10, 3, v, -2
Let v = 2 - 7. Let q be (-5464)/(-76) - (-4)/38. Suppose 0 = 15*o + 273 + q. Put v, 4, o in ascending order.
o, v, 4
Suppose 0 = 2*c - c. Suppose 5*m = -c*m. Suppose 0 = 5*x + 35, -5*x - 36 = 2*k + 5. Sort m, 22, k.
k, m, 22
Let x = -4265 - -4265. Sort -0.03, -2/27, x.
-2/27, -0.03, x
Let b = -0.057 + -5.943. Sort -1/59, b, -3, -0.5.
b, -3, -0.5, -1/59
Suppose 86*d = -1729 + 267. Put 27, d, 9 in increasing order.
d, 9, 27
Suppose 5*o - 4*q - 36 = -49, 0 = -5*o + q - 22. Sort -0.1, o, 23.5 in descending order.
23.5, -0.1, o
Let y be (-27465)/1831*((-9)/(-5) - -1). Sort 1, -5, y, -3 in descending order.
1, -3, -5, y
Suppose 5*s = -3*t + 32, s - 3*t + 11 - 3 = 0. Let j(n) = 2*n**3 - 3*n**2 - 2*n + 1. Let i be j(s). Let a = i + -70. Sort -4, 0, a.
-4, 0, a
Let m = -246 - -250. Let h be (-5)/(-3) - m/30*5. Sort 3, h, 2, -17 in decreasing order.
3, 2, h, -17
Let r be (78/195)/((-2)/25) - (15 + -3). Sort 4, -2, r, -4.
r, -4, -2, 4
Let m(g) = 92*g - 2029. Let w be m(22). Put -4, 1, -3, 3, w in ascending order.
w, -4, -3, 1, 3
Suppose 4*s - 357 = -13*s. Suppose -g - 3 = n, -s*g + 5*n = -19*g + 27. Let u(j) = -j**3 - 4*j**2 - 2*j. Let a be u(-3). Put 5, 4, a, g in ascending order.
g, a, 4, 5
Let n = -5297 - -5299. Put n, -0.2, 0, 3/5, -113/4 in descending order.
n, 3/5, 0, -0.2, -113/4
Let y = 3/2900 - 9067/3158100. Let z = -6520/7623 + y. Let w = -0.1 + 0.1. Sort w, 3/8, z in decreasing order.
3/8, w, z
Let z be ((-2)/(-6))/((3 - 10)/(-126)). Suppose z*f + 9 = 5*f. Sort -6, -0.4, f in ascending order.
f, -6, -0.4
Let d be (-5)/3*68/(-510). Suppose 0 = 5*b + 340 - 70. Let w be b/10 - 10/(-25). Sort -1/4, d, w in descending order.
d, -1/4, w
Let i(a) = -80 + 66 + a - 3*a + 56. Let j be i(19). Sort 0, 12, j, 1 in ascending order.
0, 1, j, 12
Let v = -457 + 457. Suppose -44*c + 2*c - 420 = v. Sort c, -4, -2, 1.
c, -4, -2, 1
Suppose -4*g = 4*p - 21 - 471, -3*p = -4*g - 348. Suppose -3*w = -33*w - p. Sort w, 3, 6.
w, 3, 6
Let x = 12724 + -12703. Sort 3, 8, x.
3, 8, x
Let o(c) = -2*c - 44. Suppose 0 = -16*x + 18*x + 44. Let k be o(x). Put -2, k, 4, -3 in decreasing order.
4, k, -2, -3
Let w = 1 + 0. Let j = 79 + -360. Let g = j + 278. Sort w, 0, -5, g in increasing order.
-5, g, 0, w
Let j = -10 - -6. Let a = -0.642 + -1.358. Let k = -0.4 - -0.2. Sort a, 3, k, j in descending order.
3, k, a, j
Let y = -47 + 2. Let c be (-236)/2*93/186. Let d = c - y. Sort 3, d, 4 in increasing order.
d, 3, 4
Let q be (-15)/15 + (-18)/(-6). Let t(s) = -s - 13. Let k be (10/3)/((-5)/15). Let x be t(k). Put 1, -5, q, x in descending order.
q, 1, x, -5
Let k = -246.93 + 264. Let u = k + -17. Sort 3/2, u, -21 in increasing order.
-21, u, 3/2
Suppose -5*c = -5*m - 35, 2*m + 0 + 10 = 0. Suppose -5*q + 3*o = 47 - 7, 0 = -c*o + 10. Put q, 44, -0.2 in decreasing order.
44, -0.2, q
Let a = 0.14032 - 2.14032. Put a, 3/5, -9, 8 in descending order.
8, 3/5, a, -9
Let i(x) = x**3 + 5*x**2 + 3*x + 1. Let d be i(-3). Suppose 2*l + 3*t + d = 7*t, -3*l = -2*t + 27. Let r = l + 16. Put -4, r, 2 in descending order.
r, 2, -4
Suppose 0 = -16*u - 71 - 9. Let y = 0.16 - 0.36. Sort u, y, -2, 0.4.
u, -2, y, 0.4
Let i be 79/45 + (-14)/9*(-124)/434. Sort i, 4, 101/3.
i, 4, 101/3
Let g(l) = 9*l + 24. Let s be g(-3). Put s, 2, 338 in descending order.
338, 2, s
Let d be ((-25)/(-36))/(-12 - (-61353)/5112). Let r = -82 + -312. Let x = r + d. Sort 0, 4, x.
0, x, 4
Suppose -5*o - 45 = 4*o. Let j = 9 + -8. Suppose 2*n = 5*n + 3*m, 0 = -n + 2*m. Sort n, j, o.
o, n, j
Suppose -2*k = -4*k + 4. Suppose -3*f = 5*r - k*r + 21, r - 2 = 0. Suppose 1005*g = 917*g + 352. Sort f, g, -3.
f, -3, g
Let i be (-14)/12*1098/(-126). Let m = i - 23/2. Let b = -139 + 138.6. Sort b, -1/9, m.
m, b, -1/9
Let w be ((-18)/8)/((-32)/(-128)). Sort w, 5, 262 in decreasing order.
262, 5, w
Let p = -284 + 409. Let n = p - 119. Suppose 1 = -d + n. Put -5, 0, -3, d in descending order.
d, 0, -3, -5
Let b = 6.8 - 0.8. Let v = 12 - b. Let u = 0.03716 - -0.46284. Sort 2/19, u, v.
2/19, u, v
Suppose -9*d - 45 + 23 = 5. Sort -15, d, 4, -7 in descending order.
4, d, -7, -15
Let f = 280 + -500. Let m = -5062/23 - f. Sort 5, 0.016, m in ascending order.
m, 0.016, 5
Let m(l) = 3*l + 164. Let f be m(-29). Sort 1, 5, f in ascending order.
1, 5, f
Let n = -3319.1 + 3320. Put 35, n, -4, 3/7 in ascending order.
-4, 3/7, n, 35
Let f = 494 - 500. Suppose -2*b = -3*b + 4. Let l be (3 - -9)/b - -1. Put l, -4, f in ascending order.
f, -4, l
Let u = 11 - 12. Suppose 234*d = 237*d + 12. Let r be (-232)/696 + 10/3 + -1. Sort u, r, -5, d in ascending order.
-5, d, u, r
Let b(z) = -8 + 12*z - 18*z**2 + 14*z**2 + 5*z**2. Let h be b(-13). Put 1, h