 t, 13, 0.5 in decreasing order.
13, 2, 0.5, t, -0.4
Let l = -34806 - -34811. Sort 3, -7, 68, l.
-7, 3, l, 68
Let x be -12*(-6 - 95/(-15)). Put 652, x, 0 in descending order.
652, 0, x
Let w be 1 + (-50)/6 + (-33)/(2673/(-189)). Put 0, w, 45 in ascending order.
w, 0, 45
Let n be (0 - -2)/(2/3). Suppose -n*z + 8 = 3*a + 17, -4*a = 16. Let c = 1387/6 - 231. Sort z, c, 0.3, 2/15 in descending order.
z, 0.3, c, 2/15
Let b(x) = 0*x + 2*x - x + 6. Let w be b(-4). Let d be -2 + 80/16 + -6. Sort d, w, -5 in descending order.
w, d, -5
Suppose -517*y + 529*y + 12 = 0. Let q be (-12)/(-54) - (-25)/9. Suppose -f - 3 - q = 0. Sort y, 2, 5, f.
f, y, 2, 5
Let s = -32.7 + 40.43. Let f = s + 0.27. Let h = 52/175 - 2/175. Sort h, 3, f.
h, 3, f
Let c = 11928 - 11927. Put 0, 48, 4, -2, c in increasing order.
-2, 0, c, 4, 48
Let k = -381.3 - -42.3. Let x = -344 - k. Let h = -0.04 + -0.76. Put h, 0, 2/7, x in ascending order.
x, h, 0, 2/7
Let n = -3503 + 3503.5. Put 3/2, 2.8, 1/6, n in ascending order.
1/6, n, 3/2, 2.8
Let q = -16685 - -150164/9. Sort -3/8, 0.3, -5, q in decreasing order.
0.3, q, -3/8, -5
Let m(p) = -p**3 + 3*p**2 + 12*p - 12. Let j be m(5). Let v be (-323)/(-3) + j/(-6). Let b be v/(-26) - (-14)/91. Sort 7, 5, b, 1.
b, 1, 5, 7
Suppose -3*o + 31 = 4*h, 0*h + 33 = 5*o + 2*h. Let z(v) be the first derivative of -9*v**2/2 + 439*v + 264. Let j be z(48). Sort -2, j, o in ascending order.
-2, o, j
Suppose -4*v - 2*q = -8, -4*v + 94*q = 98*q - 20. Sort v, 15/2, -40, -1/2 in decreasing order.
15/2, -1/2, v, -40
Suppose 106*m + 39*m = -2 + 2. Sort m, -66, 9 in ascending order.
-66, m, 9
Let f be (-5997)/(-132) + -44 - (-2)/(-11). Sort -0.41, -0.9, f in decreasing order.
f, -0.41, -0.9
Let m be (0 - (-2)/(-1)) + 2. Let h = -82442 + 82438. Sort h, m, 4 in increasing order.
h, m, 4
Let k = -290 + 302. Suppose -390 = -k*s - 330. Let v = -19 + 10. Sort v, s, 2.
v, 2, s
Let i = 16.86 - 12.86. Let f = 0.8 - -0.2. Put i, f, 2/13 in increasing order.
2/13, f, i
Suppose -5*p = 2*q + 15, -2*q + p = -p - 6. Let d be 4/(-8)*3*(-8)/6. Sort -3, d, q, 5 in ascending order.
-3, q, d, 5
Let q = -1/7158 + 257765/551166. Let b = q - 2/7. Let j = 109/1038 - -79/346. Sort b, j, 1/7, -2.
-2, 1/7, b, j
Suppose -s + 12*u + 3 = 13*u, -3*s - 21 = -3*u. Suppose -59*g + 56*g - 3 = 0. Sort -4, g, s, 4 in descending order.
4, g, s, -4
Let k be ((-616)/110)/(-28)*1. Sort -4/3, 86, 2, k, -0.3 in decreasing order.
86, 2, k, -0.3, -4/3
Let k = -3 - -6. Let j = -116.5 + 116. Put -4, k, 0, j in decreasing order.
k, 0, j, -4
Let t be ((-20174)/(-1012) - 20)/(6/(-8)). Put 54, t, 0.1, -5 in decreasing order.
54, 0.1, t, -5
Let x = -20.878 + 19.878. Sort x, 2/15, 5, -0.2 in descending order.
5, 2/15, -0.2, x
Let w = 2854 + -31396/11. Let f = -10/23 - -89/46. Sort w, -1, f in decreasing order.
f, w, -1
Let q = -154.059 + 0.059. Let p = q - -39. Let u = -113 - p. Put -0.2, 0.4, u in descending order.
u, 0.4, -0.2
Let j = -68.55 + 101.58. Let f = j - 0.03. Let w = -34 + f. Sort 0, w, -2 in descending order.
0, w, -2
Let o = 0.3 - 0.7. Let f be 4 - 17/((-136)/48). Put 3, 0, f, o in descending order.
f, 3, 0, o
Suppose -3*l - 5*r - 5 - 16 = 0, 4*l + 51 = r. Put l, -4, -5, 2, 3 in decreasing order.
3, 2, -4, -5, l
Let w = 272 + -238. Suppose -31*c = -w*c + 6. Let f = -4 - -2. Sort f, 3, c, 1 in increasing order.
f, 1, c, 3
Let u = 2942 + -2942.2. Sort -14, u, 0.3, -3 in ascending order.
-14, -3, u, 0.3
Let v = 2 - 1. Let z(k) = 2*k**3 - 2*k**2 + 1. Let c be z(v). Let s be 41 + (-1 - (-1216)/(-32)). Sort c, s, -3, -1 in decreasing order.
s, c, -1, -3
Let t(c) = 15*c**2 + 104*c + 10. Let g be t(-7). Suppose 5*x - 23 = g. Sort -3, x, -4, 2 in descending order.
x, 2, -3, -4
Let t be ((-4)/(-10))/((-4)/(-8)*4). Sort 38, 0.02, t, 1 in ascending order.
0.02, t, 1, 38
Let p be 2/6 - 28/(-6). Let v = 153343 + -153347. Put 2, 18, v, p in descending order.
18, p, 2, v
Let c = 6696 - 6672. Sort 4/3, 16, c in decreasing order.
c, 16, 4/3
Suppose -29*y = -6*y. Suppose y = d - 10*f + 6*f - 11, -3*d - 3*f - 12 = 0. Put 1, d, -2/5 in descending order.
1, -2/5, d
Let f = -594 + 1019. Let t = -426 + f. Put 8, t, 1, -3 in ascending order.
-3, t, 1, 8
Let q = 2365 - 2369. Sort q, 4, -96, 0.
-96, q, 0, 4
Suppose 4*v = -3*q - 53, q - v = 15 - 21. Sort 2, 9, q.
q, 2, 9
Let k = 1316 - 1285. Sort k, 2, 5 in increasing order.
2, 5, k
Let t(q) = -6*q - 113. Let g(u) = 2*u - 1. Let p(l) = -g(l) - t(l). Let x be p(-29). Let z = -90/13 + 1556/221. Sort z, x, -2/21 in decreasing order.
z, -2/21, x
Let h be (0 - -20)/(-2) + 5*1. Suppose 0 = 4*p - 11*p + 28. Sort p, h, 8 in descending order.
8, p, h
Suppose 19*f - 125 = 8*f - 14*f. Put 45, 1/8, f in ascending order.
1/8, f, 45
Let q(z) = -101*z + 3428. Let p be q(34). Sort 9, 7, p in descending order.
9, 7, p
Let z be 69/9 + 1*(-4)/6. Let k be -2 + 5 - (-6)/2. Suppose -3*l - k = -21. Put z, l, -4 in ascending order.
-4, l, z
Let n be ((-7)/2114)/((-1)/(-1506)) + (7 - 2). Sort -0.1, n, -1/2 in decreasing order.
n, -0.1, -1/2
Let y = -1631/2 - -816. Suppose -v = -5*v + 76. Put v, 4, y in increasing order.
y, 4, v
Let n be ((-11)/2)/(8 + -6) - (-49)/28. Put n, -0.1, 1/6, -311/4 in increasing order.
-311/4, n, -0.1, 1/6
Let r = 17 - 12. Let t be 670/804*((-9)/(-15) + -1). Sort r, -1, t.
-1, t, r
Let w(k) = -169*k**2 - 1237*k - 14. Let r be w(-7). Sort -3, 4, -1, r, -4.
-4, -3, -1, 4, r
Let z(x) = x**3 + 6*x**2 + x + 1. Let a be z(-6). Let j = 4.980939 - -0.019061. Put 6/13, a, j in increasing order.
a, 6/13, j
Suppose -4*m = 2*y - 36, -2*y - 1 = -2*m - 55. Suppose -4 = 2*c - 3*l - 1, y = 5*c + 3*l. Let g be 6 + -2*1/2. Sort g, c, -3.
-3, c, g
Let c = -11 - -7. Let l be (-2)/c*4/1. Suppose -8*t + 4*t + q = 1, 0 = -3*q + 15. Put 3, l, t in decreasing order.
3, l, t
Let n = -5.7 - -0.7. Suppose -373 = -5*f - 403. Let b be 1*f/12*(0 - 0). Put -1/4, 3, n, b in descending order.
3, b, -1/4, n
Let h(g) = 2*g**2 + 83*g - 55. Let d be h(-42). Sort 1, d, 15, 4.
d, 1, 4, 15
Suppose -2*b - 245 = -5*w, 3*w - 163 + 30 = 4*b. Suppose -12*c = 15 - w. Put -5, -1, -24, c in descending order.
c, -1, -5, -24
Suppose 5*q = -0*q - 5*i, -3*q = -3*i + 6. Let m be 3/(-2 + 33/12). Let l = -9 + m. Put -3, q, l in decreasing order.
q, -3, l
Let h = -48/755 + -611/2265. Sort 0.09, h, -0.09 in decreasing order.
0.09, -0.09, h
Suppose -2*r + 2 = -r. Let x be 22071/(-60)*r/(-7). Let d = 105 - x. Sort -2, d, -0.2, -4 in decreasing order.
d, -0.2, -2, -4
Let b = 4493 - 4494. Put -54, 0.2, 0.5, b in ascending order.
-54, b, 0.2, 0.5
Suppose -5*s = 3*m + 1, 0*m + 10 = 4*m + s. Suppose -2*a + m = -7. Suppose -4*g = 5*t - a, -4*g - 6*t + 2*t = 0. Put 2, g, 3 in descending order.
3, 2, g
Let z(m) = 2*m**3 - 6*m**2 + 9*m - 47. Let x be z(4). Put -4, x, 5, 3 in decreasing order.
x, 5, 3, -4
Suppose -35*f = -40*f + 3*l - 60, -l = -2*f - 24. Put 0.3, 2/35, f in increasing order.
f, 2/35, 0.3
Let y = -2 - 0. Let a = -34.882 - -38.882. Put 7, -5, y, a in decreasing order.
7, a, y, -5
Let j = -18269 + 18295. Sort 1/7, 0, j, 0.6.
0, 1/7, 0.6, j
Suppose -24 = 9*l + 4*l - 5*l. Sort -1/3, 1/2, 9, l in descending order.
9, 1/2, -1/3, l
Suppose 299*a = 420*a + 399 + 85. Sort a, -2, 4, -102 in increasing order.
-102, a, -2, 4
Let l = 508 - 504. Suppose 0 = -5*u - 5*k - 30, 7*u - l*k - 15 = 8*u. Suppose j + 0 + 4 = 0. Sort j, u, 2 in descending order.
2, u, j
Let n = 13865 + -13865. Let v = -10.7 + 11. Sort n, v, 5/11 in ascending order.
n, v, 5/11
Suppose t - 7 + 2 = -l, -t + 4*l - 15 = 0. Suppose 18*d = 45 + 9. Sort 8, 2, t, d in ascending order.
t, 2, d, 8
Let u = 94.4 + -97. Let n = -3.6 - u. Let b = 33 + -12. Sort n, 4, b.
n, 4, b
Let o = -247 + 247.3. Let y = 113 + -561/5. Put y, o, 0.5, -0.5 in ascending order.
-0.5, o, 0.5, y
Let x(p) = p**2 + 0*p**2 - 14*p + 17 + 9 + 0. Let q be x(11). Put 5, -4, q, 3 in descending order.
5, 3, -4, q
Suppose -45*f = 123*f + 672. Sort -9, -218, 5, f.
-218, -9, f, 5
Let q = -283 + 281.8. Suppose -5*a + 31 = 2*f, 23 = 4*a - f + 6. Sort q, 7/5, a in descending order.
a, 7/5, q
Let d = -0.613 + 0.613. Let z = 18 - 19. Put z, -2, d, -1/3 in decreasing order.
d, -1/3, z, -2
Let h = 314.693 - 315. Let z = h + 13.007. Let d = 6.7 - z. Put -5/2, d, 2/13 in increasing order.
d, -5/2, 2/13
Suppose -2*r - 6*r