.1
Let d be ((-25)/15)/(-5)*6. Sort 0, -13, 4, d in decreasing order.
4, d, 0, -13
Suppose 0*d - 2*c = 5*d - 102, -5*c = -d + 15. Sort 0, 4, d.
0, 4, d
Let v = -345 - -343. Sort v, -3, -0.06, 2/7 in decreasing order.
2/7, -0.06, v, -3
Let j = -20403/4 + 5101. Let w = 1/3 - 1. Put j, w, -0.1 in decreasing order.
j, -0.1, w
Suppose 4*l + 5*y - 7 = 0, 0 = 2*l - 5*y - 61 + 20. Suppose -2*f + 4*c + 2 = l, c = 5*f + 15. Put -7, 0, f in decreasing order.
0, f, -7
Let n be 1*(3 + -4)*-9. Suppose -5 = 2*u + n. Let s(i) = 4*i**3 + 2*i**2 - 3*i. Let y be s(1). Sort -5, u, y.
u, -5, y
Suppose 0 = 4*b + 3*q + 23, -2*b + 5*q - 5 = -0*b. Suppose 8*i + 32 = 16*i. Suppose 4*l - 3*y - 17 = -4*y, -4*l - 5*y = -5. Sort l, i, b in decreasing order.
l, i, b
Suppose -3*c = -5*s + 38, c + 150 = 5*s + 114. Suppose 3*o - u - 3 = 2*u, 5*u - 10 = 0. Sort c, 5, 4, o.
c, o, 4, 5
Suppose 61 = -5*k + 611. Let i be (14/(-6))/((-2)/30). Let m be (-4)/(-22) + i/k. Sort 2/5, -1/4, m in descending order.
m, 2/5, -1/4
Let q be 0/(-114)*(-3)/(-9). Suppose 3*b + b + 16 = 0. Put 1, b, -1, q in increasing order.
b, -1, q, 1
Let p = -0.437 + 1.637. Let u = 4.187 - -0.013. Let x = p - u. Sort 4, -3/4, x.
x, -3/4, 4
Let i = -231 - -236. Put -2, 3, i, -3 in ascending order.
-3, -2, 3, i
Let m be 3/(-60)*5 + (-14)/8. Sort 5, 4, m, -4 in descending order.
5, 4, m, -4
Let i = -4.3 - -4.1. Put i, 8/7, 1/4, 17 in descending order.
17, 8/7, 1/4, i
Let j = -3.04 + 2.04. Sort -2/3, j, 5/2 in ascending order.
j, -2/3, 5/2
Suppose r - 5*s = 1, 2*s = -5 + 3. Sort r, 7, -7 in descending order.
7, r, -7
Let o be (-1)/3 - 50/(-15). Let k be (2/(-3))/((-18)/(-189)). Let h be 3/4 + (-3)/(-12). Put h, o, k in increasing order.
k, h, o
Let i be (2/(-22)*-11)/(-3). Let u be (-2)/(-24) + 4/(-12). Sort i, -2, u, 3 in decreasing order.
3, u, i, -2
Let g be ((-110)/(-1155))/((-4)/18 + 0). Put 2/13, 1/4, 6/17, g in ascending order.
g, 2/13, 1/4, 6/17
Let q = 290 - 369. Sort q, -0.3, 2/5.
q, -0.3, 2/5
Let y be (44/(-38))/2 - (0 - -1). Let r = y + 177/76. Sort 0, r, 0.3 in decreasing order.
r, 0.3, 0
Suppose 3*x + 1 + 8 = 0. Let v(r) = -4*r**2. Let w(n) = 5*n**2 - n + 1. Let g(l) = x*w(l) - 4*v(l). Let q be g(-3). Sort -4, 2, q in decreasing order.
2, q, -4
Let h be (-154)/(-44) - 2/(-4). Suppose 5*l = -h*j - 19 + 64, 15 = -2*l + 5*j. Sort 0, l, 1 in descending order.
l, 1, 0
Suppose -660*o - 16 = -656*o. Sort 1, o, 5, -3.
o, -3, 1, 5
Suppose -2*k + 4 = -3*k. Let q = 766 - 764. Let n = -2 + 3. Put q, k, n in descending order.
q, n, k
Suppose -72*u - 27*u = 792. Put -13, u, -3 in descending order.
-3, u, -13
Let s be (-6)/(-4)*(-6)/(-45)*-5. Sort s, 0, 2, -3 in descending order.
2, 0, s, -3
Let k be 10/25 + (-3)/(-5). Let l = 1.8 - 8.8. Let h = l + 6.94. Sort -3, h, k in decreasing order.
k, h, -3
Suppose 0 = i - 3*i - 6. Let p = -65.56 - -60.56. Put i, 4, -2/31, p in ascending order.
p, i, -2/31, 4
Let p(b) = b**2 - b - 4. Let y be p(0). Let j(x) = -19*x + 154. Let s be j(8). Put s, y, -3, -1 in ascending order.
y, -3, -1, s
Let w(h) = h**2 - 19. Let y be w(0). Let f = -15 - y. Let a = -8 + 13. Sort f, a, -5 in increasing order.
-5, f, a
Let k = -506 - -504. Sort k, -2/13, 1.6 in increasing order.
k, -2/13, 1.6
Let d(i) = -i**2 + 62*i + 129. Let c be d(-2). Suppose 6*x - 2*x + 20 = 0. Put c, x, 5 in decreasing order.
5, c, x
Let f = 2063/10 + -804/5. Let j = -45 + f. Sort -2, j, 2/11 in descending order.
j, 2/11, -2
Let y = 2.2 - 18.2. Let w = 15.7 + y. Sort 4, -5, w.
-5, w, 4
Suppose 3*r + 620 = 608. Put r, -39, -5 in descending order.
r, -5, -39
Let r = -103.17 + -0.83. Let d = 104.5 + r. Put -3, 2, -1, d in ascending order.
-3, -1, d, 2
Suppose 4*l = 4*i - 56, -21 - 41 = 5*l - 3*i. Put 2, 0, l in descending order.
2, 0, l
Let k = 5.8 + -14.8. Let a = 5 + k. Put -7, -2/7, a, 5 in ascending order.
-7, a, -2/7, 5
Let d be 638/(-696) - (2 + -1)*-1. Put -1/5, d, -1/6, 0 in descending order.
d, 0, -1/6, -1/5
Let o = 409.9257 + 0.0743. Let v = o + -412.87. Let g = -0.13 + v. Put g, -4/3, 0.3 in descending order.
0.3, -4/3, g
Let u = 44 + -52.4. Let j = -8 - u. Sort 0.5, j, -1/3.
-1/3, j, 0.5
Let b be (2*1/2)/((-220)/(-20)). Put -0.5, b, 0.5, 2/9 in descending order.
0.5, 2/9, b, -0.5
Let g = 0.772 + -0.872. Sort 2/95, g, -1 in decreasing order.
2/95, g, -1
Let q(t) = -t - 2. Let s(y) = 2*y - 3. Let b be s(0). Let j be q(b). Put 2, j, -4/3 in decreasing order.
2, j, -4/3
Let j = -158.8 - -160. Put j, 0.1, 0.3, -1 in descending order.
j, 0.3, 0.1, -1
Let x = 31 + -15. Let d be ((-4)/(-6))/(x/6). Suppose 6*c = -5*c + 33. Sort 0.2, c, d in decreasing order.
c, d, 0.2
Let q(a) = 4*a + 2. Let c be q(2). Let y = c + -16. Let u be 1 + y + 1 + 0. Put -2, u, -1 in decreasing order.
-1, -2, u
Let x(j) = -15*j + 327. Let k be x(22). Put 3, k, -4, -1 in descending order.
3, -1, k, -4
Let d be (-3 - -3)*(2 + -1). Sort -10, 2, d, 1 in descending order.
2, 1, d, -10
Let g(s) = s**2 - 9*s - 17. Let i be g(10). Let l = i - -5. Let v = 0.1 + 0.1. Sort v, 3/7, l in increasing order.
l, v, 3/7
Suppose 5 = -2*n - 3*n. Suppose 30 = 21*z - 6*z. Sort z, 5, n, -4 in ascending order.
-4, n, z, 5
Let p = 36.2 + -37.1. Put p, 2, 0.03 in decreasing order.
2, 0.03, p
Let b = -36 + 36. Let o(n) = -n**2 + n + 3. Let x be o(-3). Let m be (4/54)/((-3)/x). Sort m, b, 1.
b, m, 1
Let s = -403 - -401. Sort 5, s, -3, -1 in increasing order.
-3, s, -1, 5
Let s be (-3 - -6)/((-6)/8). Let n = -16 + 23. Suppose -5*j - 5 = 0, 5*j + 15 = -n*l + 2*l. Sort -3, s, l in ascending order.
s, -3, l
Let i be 23*10/(-354) - 0. Let b = -1/59 + i. Let w = -0.3 + 0.1. Put b, w, 0.2 in increasing order.
b, w, 0.2
Let r(w) = -2*w**3 + 3*w**2 + 3*w - 2. Let m be r(0). Sort m, -3, 13, -1 in ascending order.
-3, m, -1, 13
Suppose 65*p + 134 = -126. Let w(s) = -s**2 - 6*s - 2. Let r be w(-6). Put -5, r, 0, p in increasing order.
-5, p, r, 0
Let k be (-2)/((-6)/(-3)) + -1. Let j be ((4 - -3)*-1)/(-1). Let m = j + -3. Sort k, m, 1 in decreasing order.
m, 1, k
Let i(a) = 3*a - 22. Let h be i(9). Suppose 20 = 5*t - 5*f, t - 18 = 4*f - h. Suppose -c = 3*c - 12. Put -4, t, c in increasing order.
-4, t, c
Let b = 2.17 + -1.8. Let k = -0.17 + b. Let u be (-1)/4 - 13/(-4). Put u, k, -3 in increasing order.
-3, k, u
Let i be 2/(-9) + 85/180. Let a = -181/415 - -3/83. Suppose -6*c - 12 = -2*c. Sort a, c, i.
c, a, i
Suppose 2*f = -0*f + 10. Let s(l) = -l**3 - 2*l**2 - l + 2. Let a be s(-2). Suppose -4*v + 6*v + a = 0. Put f, v, -9 in descending order.
f, v, -9
Suppose -70*x + 73*x - 390 = 0. Suppose -x = w - 14*w. Put 7, 0, w in increasing order.
0, 7, w
Suppose 52 = 2*h - h + 4*x, 0 = 3*x. Suppose -b - h = 5*u, -u + 2*u = -3. Put -5, b, 2 in increasing order.
b, -5, 2
Let t be 3/117*510/50. Let w = t + -6/13. Put 1, 0.2, w in descending order.
1, 0.2, w
Let a = 2.5 - -12.5. Let q = a + -16. Let t = -3 - 2. Put -5/4, q, t in ascending order.
t, -5/4, q
Suppose 0 = -3*q - 3*l + 2*l + 23, 37 = 4*q - 5*l. Sort 0, q, -11 in decreasing order.
q, 0, -11
Let q = -716 - -709. Put -2/9, -0.1, q, -2 in increasing order.
q, -2, -2/9, -0.1
Let k = -14.34 - -11.34. Sort k, -240, -0.5, 1 in decreasing order.
1, -0.5, k, -240
Suppose c + 2*p - 12 + 4 = 0, 4*c + 7 = 5*p. Suppose 2 = -4*s - 2*m - m, -c*m - 9 = -5*s. Suppose -g - 7 = -2*r - 2*g, 0 = -r - 5*g - s. Sort r, 3, -5.
-5, 3, r
Let x = -55 - -77. Let p = -22 + x. Sort 4, 2, p in descending order.
4, 2, p
Suppose -52 + 58 = 6*d. Put 45, d, 2 in increasing order.
d, 2, 45
Let j = 30.995 + 0.005. Let r = -34.3 + j. Put 0.3, 0, r in decreasing order.
0.3, 0, r
Suppose -8*i + 18 = -17*i. Let d be 28*4/8 - -2. Sort d, i, -4, 4 in descending order.
d, 4, i, -4
Let u = -64 + 39. Let n = u - -25.4. Put -7, n, -0.5, 0 in ascending order.
-7, -0.5, 0, n
Let v = 14 - 13.83. Let z = -0.57 + v. Sort z, 1, 0.2.
z, 0.2, 1
Let u be 6/(-8)*(-10 - -7 - 1). Sort -5, 49, 4, u in increasing order.
-5, u, 4, 49
Let y(w) = w**3 - w**2 + 3*w - 5. Let d be y(0). Let l(n) = n**2 + 2*n + 2. Let a be l(-2). Let f = a + -6. Sort -3, f, d in increasing order.
d, f, -3
Let c = -36 - -31. Let i(u) = 6*u - 213. Let k be i(36). Sort c, k, 4, -3 in increasing order.
c, -3, k, 4
Let b be 2/(-9) - (-2516)/(-666). Sort b, 2, 13, 1 in descending order.
13, 2, 1, b
Suppose -186*k = -187