 1, f in decreasing order.
f, 2, 1
Let y be (-145)/48 + 18/6. Let j = y + 13/48. Sort j, -0.1, 0 in descending order.
j, 0, -0.1
Let t = -4.99 + 0.99. Let z be -2 + 61/14 - 2. Let d = z - -1/7. Sort 3, d, t in descending order.
3, d, t
Let k = 321 - 321.05. Sort 2, -5, k in increasing order.
-5, k, 2
Let c = 260 + -256. Sort -3, 0.46, 0.2, c in descending order.
c, 0.46, 0.2, -3
Let r = 39.4 + 78.69. Let i = -118 + r. Put -5, i, 1/3 in ascending order.
-5, i, 1/3
Let t = -174 - -84. Let s = t + 95. Put 3/8, -0.1, s, -2/9 in descending order.
s, 3/8, -0.1, -2/9
Let b = 18 + -13. Put 1, -2/9, b, -40 in descending order.
b, 1, -2/9, -40
Suppose -3*w - 40 = -8*w. Suppose -w*q = -5*q + 15. Suppose -17*f + 16*f = 4. Sort f, 4, q in descending order.
4, f, q
Let x(j) = j**3 + j**2. Let i(y) = y**2 + 8*y + 8. Let z be i(-7). Let l be x(z). Suppose 4*s - l = 3*b + 5, b = -5*s - 15. Sort 0.3, -1, b in descending order.
0.3, -1, b
Let f(i) = i**3 - 18*i**2 + 3*i - 58. Let o be f(18). Sort 20, o, -1 in descending order.
20, -1, o
Suppose 31*f + 135 = -206. Sort 0, -8, f in decreasing order.
0, -8, f
Let h = 1903/4326 - 7/618. Let d = -1 - 0. Let q = d - 0. Put -3, q, h in increasing order.
-3, q, h
Let f = -31.25 - -31.55. Let n = -0.05 - 6.95. Put 0.4, n, f, -3 in decreasing order.
0.4, f, -3, n
Let b = -76/7 - -11. Put 4, 10, -4, b in descending order.
10, 4, b, -4
Let t be (1 + 0)*(-26)/(-104). Put 5, 2/33, t, 4 in ascending order.
2/33, t, 4, 5
Let g be (-38)/1 + (-7 - -2). Let m = 2439719/56958 - 3/9493. Let y = g + m. Sort -3, -3/2, y in decreasing order.
y, -3/2, -3
Let r(u) = 8*u**2 - 1. Let j be r(-1). Sort -4, 0, -5, j.
-5, -4, 0, j
Let s = 25 - 108. Let j = s - -80. Suppose 3*p - 2 = 1. Put j, -4, p in increasing order.
-4, j, p
Suppose -10 = -3*n + 8*n, 3*x + 2*n + 28 = 0. Let u be (27 - 1)/2 + 4. Suppose -8*l + u = -15. Sort x, l, 5 in increasing order.
x, l, 5
Let w(x) = 8*x - 13. Let v be w(5). Let s be 11/9 - 3/v*2. Sort 2, 11, s in decreasing order.
11, 2, s
Let z = -33 + 38. Suppose -6*y = 1 + z. Put y, 3, 4 in descending order.
4, 3, y
Let c = 107 - 107.2. Let b be ((-12)/75)/((-2)/10). Put b, c, -2/11 in decreasing order.
b, -2/11, c
Let t(a) = -a**2 - 6*a - 2. Let m be t(-5). Suppose -4*x - 15 = -2*p - 3, -3*x - 6 = -3*p. Sort p, m, 6, 2 in decreasing order.
6, m, 2, p
Let m = -1 - 30. Let v = m + 29. Put -0.3, 1/3, v in descending order.
1/3, -0.3, v
Let x(w) = -w**3 + w**2 - 3. Let n be x(0). Suppose 0 = 59*r - 61*r. Suppose 2*m - 3*o - 7 = 0, m - 4*o = 15 - 4. Sort n, r, m in increasing order.
n, m, r
Let f be 2*(200/140 - (-9)/(-21)). Suppose c + 3*c = 52. Sort -1, c, f in descending order.
c, f, -1
Suppose -37*o = -40*o - 4*n, 0 = -2*o - 2*o - 5*n. Let w be 1 - (1 - 3/(-5)). Put 0.5, -2, w, o in descending order.
0.5, o, w, -2
Let m(i) = 2*i - 11. Let j be m(8). Suppose 2*y - j*y = -9. Sort -5, -2/3, y in decreasing order.
y, -2/3, -5
Let m(d) = 37*d - 819. Let t be m(22). Let b be (4/(-3))/2*-3. Put 3, b, t in descending order.
3, b, t
Let n = 17 + -17.1. Let a be 30/(-4) + 4/(-8). Let d be (-2 - -1)*12/a. Sort d, -4, n in descending order.
d, n, -4
Let g = 1459 - 1426. Sort 1, g, 0 in decreasing order.
g, 1, 0
Let l = -11.98 + 12. Let s = -0.08 - l. Put 1, 0.5, s in decreasing order.
1, 0.5, s
Let q(b) be the first derivative of b**4/4 + 8*b**3/3 + b**2/2 + 9. Let l be q(-8). Let m be l*(0 - 2/8). Sort -4, 4, m in ascending order.
-4, m, 4
Suppose -4 - 1 = l. Suppose 0 = -13*s + 661 - 544. Sort s, 2, l in descending order.
s, 2, l
Let q = 0.2 + -0.3. Let w = -118 - -66. Let k = w + 51.97. Sort 0, k, q in descending order.
0, k, q
Let i be (40/50)/(0 - 2/(-10)). Suppose -5*j - 34 + 11 = a, 4 = -i*j + 4*a. Put j, 0, 8 in ascending order.
j, 0, 8
Let p = 1.5 + -0.5. Let y = 5 - p. Let q = -1 - 1. Sort 0, y, q in ascending order.
q, 0, y
Let l = 1/27 + 5/27. Sort l, -2, 2/3, 0.2 in decreasing order.
2/3, l, 0.2, -2
Let j = 7.55 - -1.35. Let z = j + -9. Let q(s) = -s**2 + 16*s + 17. Let n be q(17). Sort z, n, 4 in ascending order.
z, n, 4
Let c be (-20)/30 + 28/6. Suppose -c*t + 0*t = 8. Let o be (t + 6)/(-4) + 4. Sort 10, 0, o in descending order.
10, o, 0
Suppose 5*a - q - 3*q - 25 = 0, 2*a + 2*q - 10 = 0. Suppose 16*k - 3*n + 7 = 11*k, -a*n = 5. Sort k, 0, 3, 5 in decreasing order.
5, 3, 0, k
Let s(x) = 4*x**2. Let p be s(1). Let h = 0.342 - 0.142. Sort 3, h, p, -1/3 in decreasing order.
p, 3, h, -1/3
Suppose -3*x = -6*x + 5*j - 236, x - 2*j + 80 = 0. Let h = x + 214/3. Put -0.05, -5, -0.3, h in descending order.
-0.05, -0.3, h, -5
Let q = -247.09 + 247. Sort 2/15, 13, q in ascending order.
q, 2/15, 13
Let u = 0.5 + -0.4. Sort 1/31, u, 2/7 in descending order.
2/7, u, 1/31
Suppose 3*w + 2*t + 23 + 23 = 0, -5*t = -2*w - 18. Let z = -2 + 7. Sort w, z, -1, 4 in ascending order.
w, -1, 4, z
Let u = -676/345 - -42/23. Sort 0, 0.4, 0.1, u.
u, 0, 0.1, 0.4
Let h be (6/8)/(2/8). Put h, -2, -4 in decreasing order.
h, -2, -4
Let s = 418 + -422. Let b(p) = p**2. Let u be b(1). Let w be u - 1 - 6/(-2). Sort s, w, 1.
s, 1, w
Let u be (3/2 - 1)/(686/(-294)). Put 0.2, -5, u, -0.1 in decreasing order.
0.2, -0.1, u, -5
Suppose -48*w + 39*w = -27. Sort -1, -4, w, -2 in decreasing order.
w, -1, -2, -4
Let y(w) = 3*w - 5. Let o be y(2). Let f be o/(-5)*(-10)/(-4). Sort -4, 2/15, 4, f in descending order.
4, 2/15, f, -4
Let z = -0.211 - -1.211. Put z, -10, 5/2 in descending order.
5/2, z, -10
Let l be 1*-4 + (6 - -3). Let j(n) = -n + 11. Let v be j(7). Sort v, 0, l in descending order.
l, v, 0
Let i be 2247/84 - (6/8 + 0). Let y = i - 25. Let b be -2 + (0 - (-4 + 3)). Sort b, 2, y in increasing order.
b, y, 2
Let o be ((0 + 3)*-1)/(-8). Let r = -5477 + 5479. Sort -1, r, -5, o in ascending order.
-5, -1, o, r
Let x = 75777/7 + -10709. Let o = 116 - x. Sort 0, 1, o in ascending order.
o, 0, 1
Let l = 18.4 + -18. Put -0.2, -94, l in descending order.
l, -0.2, -94
Suppose -26 - 49 = -5*b. Suppose -b = -2*f - 7. Let w be (-6)/24 + (-15)/f. Put w, -2, -2/3 in descending order.
-2/3, -2, w
Let t(b) = b + 12. Let o be t(-7). Let y(x) = x**2 - 27*x + 157. Let k be y(9). Sort k, o, 0, 0.5.
k, 0, 0.5, o
Let z = 4376/9 - 486. Sort z, -3/2, 10.
-3/2, z, 10
Let k be 124/102 + -1 - 2. Let p = k + 2/17. Let g be (-2)/7 - (-30)/56. Sort p, g, -2/3 in descending order.
g, -2/3, p
Let y = -356 - -357. Put y, 1/8, 7/3 in increasing order.
1/8, y, 7/3
Suppose -4*y + 58 = -5*d, -3*d + 60 = 4*y - 7*d. Sort y, 2, -2, 7.
-2, 2, 7, y
Let p(u) = -5*u**2 + 61*u - 15. Let k be p(12). Sort 2, k, -4, 18.
-4, k, 2, 18
Let i(s) = 3*s + 16. Let z be i(-11). Let m be z/(-5) - (-8)/(-20). Let f be (-4)/(-6) - m/(-9). Sort 0, f, -4 in descending order.
f, 0, -4
Let g = 138 + -140. Put 5, 26, 0, g in ascending order.
g, 0, 5, 26
Let l = 1.3 - 6.3. Suppose -36*m + 36 = 36. Put 0.2, m, 5, l in descending order.
5, 0.2, m, l
Let l = -194/5 + 39. Let b(v) = 2*v**2 + 6*v - 11. Let d be b(-4). Let n be ((-8)/10)/(4/20). Put l, n, d in descending order.
l, d, n
Let o = -2 - -1. Let x = o + 4. Let g(l) = -l**2 + 6*l - 7. Let m be g(2). Sort x, m, 2/9.
2/9, m, x
Let p = 4/557 - 1134/2785. Put 5, p, -10 in decreasing order.
5, p, -10
Let n = -0.2348 + 0.0348. Sort -10, -0.6, n.
-10, -0.6, n
Let q be -11 + -4 + 0 + 6. Sort -0.3, q, -0.6, 0 in decreasing order.
0, -0.3, -0.6, q
Let p = -1588/77 + 152/7. Sort p, 3, -0.2 in decreasing order.
3, p, -0.2
Let m = 311.2 - 341. Let p = 116 + -146. Let f = p - m. Put -0.5, f, 3/4 in descending order.
3/4, f, -0.5
Suppose -4*s = 4*w - 36, s = 2*w + 2*s - 15. Sort 0, 4, 3, w.
0, 3, 4, w
Suppose -5*v + 5 = t + 2*t, 3*t = 0. Let s be (69/15 - v) + 4/10. Put s, -5, 5 in descending order.
5, s, -5
Let k(g) = 2*g**3 + 2*g**2 - 4*g + 1. Let v be k(-2). Let o be (2 + 58/(-4))*-2. Suppose -4*a + o = 9. Put v, a, 3 in decreasing order.
a, 3, v
Let o = -1.21 + 0.71. Sort 0.07, -1, o in increasing order.
-1, o, 0.07
Let k(q) = 35*q**2 - 5*q + 5. Let s be k(1). Suppose -5*o + 35 = -3*u + 6*u, 3*u = 2*o - s. Suppose -4*r + 1 = 5. Sort r, -2, o in descending order.
o, r, -2
Let m = -35.3 + 6.3. Let q = m - -25. Sort 0.3, q, -2/3 in ascending order.
q, -2/3, 0.3
Suppose 23 = 3*g + 26. Sort g, -1/28, -0.4.
g, -0.4, -1/28
Let u(t) = 4*t - 7. Let h be u(3). Suppose l + h -