 t = 2778 + -2773. Put y, 3, t in decreasing order.
t, 3, y
Let q be 2*(-9)/(-42)*1. Let a = 20 + -18.2. Let k = a + -1.6. Put q, -2, k in decreasing order.
q, k, -2
Let h = -266 + 264. Sort -5, 16, h, -0.5 in descending order.
16, -0.5, h, -5
Let g(z) = z**2 - 16 - 7*z - 7*z + 15. Let j be g(14). Let p be j*36/28 - -1. Sort 0.1, 5/6, p in descending order.
5/6, 0.1, p
Let k be (12 - 13)/((-2)/(-1) - 5). Sort -5, k, -115 in ascending order.
-115, -5, k
Suppose 4*k - 70 = 2*d, -4*k + 5*d = -7*k + 85. Let b be k/70 + (-1)/(-21). Put b, -2/17, 0.5 in decreasing order.
0.5, b, -2/17
Suppose 87 = 35*r - 6*r. Sort 30, r, 1 in descending order.
30, r, 1
Let l(i) = -i**3 - 5*i**2 - 2*i + 3. Let g be l(-4). Let r be 46/g + 4/20. Let s be 3*(-2 + (-16)/(-6)). Put 0, r, s in increasing order.
r, 0, s
Let c = 24 + -21. Suppose 12 = -4*p + t, -4*t + 0*t - 28 = c*p. Put 2, -3, p in descending order.
2, -3, p
Let g(q) = -7*q**3 - q**2 + q. Let i be g(1). Suppose -6*l + 7*l - 3 = 0. Suppose -2*x = -l*x + 2. Put x, 4, i in descending order.
4, x, i
Let i be (4/2)/((-8)/12). Suppose 0 = 9*f - 15*f + 30. Sort f, i, 2 in decreasing order.
f, 2, i
Let w = -0.3 - 0.1. Let p be 6 + -1 - 192/34. Let f = p + -29/34. Put w, f, 5 in increasing order.
f, w, 5
Suppose 2*i - 14 = -4*j, -3*j + 2 = -i - 2*j. Suppose -3*p = 0, -k = -p + 5 - i. Sort -0.9, 3/5, 0.2, k.
k, -0.9, 0.2, 3/5
Let i = -8 + 7.9. Let n = 0.1 + i. Let r = -1 + 4. Sort r, n, -5 in ascending order.
-5, n, r
Let w = 136 - 133. Suppose w*y - 9*y + 18 = 0. Sort -7, -2, y, -4 in decreasing order.
y, -2, -4, -7
Let i = -1446 - -7232/5. Sort -4/341, -0.4, i in increasing order.
-0.4, -4/341, i
Let v = 4 + 8. Let m = 17 - v. Let q(u) = 2*u + 1. Let j be q(1). Put j, m, -3 in decreasing order.
m, j, -3
Let w = -7 - -6.7. Let b = 0.284 + 0.126. Let n = b + -0.91. Sort 0.3, n, w in increasing order.
n, w, 0.3
Let g = 8/11 - 6/11. Put -4, g, -8 in ascending order.
-8, -4, g
Let b = -10 + 15. Let t = 5 - b. Sort t, 4, -1 in decreasing order.
4, t, -1
Let f = -7 + 7.1. Suppose -2*d + 12 = 3*m, -3*m = 2*m. Suppose 5*o = d*o + 1. Sort -0.2, o, f in descending order.
f, -0.2, o
Suppose 5*p + 5 = -0*p. Let y = 0.41 - 0.83. Let i = y - 0.08. Put 1, i, p in increasing order.
p, i, 1
Suppose -10*l = -4*l - 528. Sort 0, -3, 1, l.
-3, 0, 1, l
Suppose 0 = 2*p - 0*x - 3*x - 59, -x = -p + 28. Let a = p - 28. Sort a, 5, -5 in decreasing order.
5, a, -5
Let f be (-4368)/52 - (-1 + 4/2). Let w = -97 - f. Sort w, 3, 0.2.
w, 0.2, 3
Let u = -433 + 437. Put u, 2, -3 in decreasing order.
u, 2, -3
Let u(n) = -n**2 + 12*n + 10. Let m be u(13). Let c be -1 + m - -7 - -29. Let t = -36 + c. Sort 4, -2, t in descending order.
4, -2, t
Suppose -2*n + 6 = 0, -s + n + 16 = 24. Put 4, -103, s in increasing order.
-103, s, 4
Let l = -1093 - -1096. Let z be ((-3)/2)/((-24)/224). Sort l, -0.3, z.
-0.3, l, z
Let p be (12 + -2)*(-5 + 8)/6. Let d(t) = -t**3 + 5*t**2 - 2*t - 5. Let k be d(4). Suppose 5*a + 42 = k*r + 11, 5*r = -a + 5. Put a, p, -4 in decreasing order.
p, -4, a
Let k be (5/2 + (-20)/40)*-13. Put -4, k, -1 in ascending order.
k, -4, -1
Let m = -1706 - -1709. Suppose -5*w + 0 = 5. Let o = 0 + 0.2. Sort o, m, w in decreasing order.
m, o, w
Suppose 4*i + 28 = 8*i. Let f = -146 + 142. Sort f, i, 2 in decreasing order.
i, 2, f
Let c = 0.8 + 3.2. Let g(w) = 2*w + 22. Let f be g(-12). Let d be (-6)/f + (-40)/14. Sort -4, d, c in ascending order.
-4, d, c
Suppose 2*v = 6 - 0. Suppose -3*i + 24 = 5*i. Let o be (3/(-9))/(i/(-45)). Sort 4, v, o in increasing order.
v, 4, o
Let a = -307 + 113. Let k = a - -196. Let v(m) = -m**2 - 6*m + 5. Let j be v(-5). Put -0.4, j, k in ascending order.
-0.4, k, j
Suppose -2*p - 42*b + 16 = -44*b, 2*p - 5*b - 31 = 0. Put 5, 15, p, 2 in ascending order.
2, p, 5, 15
Let g = -215 - -138. Let c be 8/g + (-36)/198. Sort c, -1, 1/22 in ascending order.
-1, c, 1/22
Suppose 0 = -f - 0 - 2. Let i = -1356 - -1357. Let n = -2/189 - 356/2079. Put n, f, i in descending order.
i, n, f
Let q = 13.7 + 0.3. Let p = -13.93 + q. Put p, 5, 2/9 in descending order.
5, 2/9, p
Let u be (-2 - -1)/(0 - 1). Let x = 13.5 + -13. Sort 5, u, x.
x, u, 5
Suppose -277*j + 278*j + 1 = 0. Suppose 0 = 5*i - 4*h + 15, -2*i - 4*h = 3*i - 25. Sort -7, 4, i, j in ascending order.
-7, j, i, 4
Suppose -5*w + 4*i = 40, -2*w + 0*i = -3*i + 23. Sort w, 4, 0, 2.
w, 0, 2, 4
Let l = -0.0312 - -1.0312. Let c = 4 - -1. Sort l, 6/7, c in descending order.
c, l, 6/7
Let o be 4/(-8)*(-2)/(-5). Let d = -722 - -722.2. Sort d, 3, o, -2.
-2, o, d, 3
Let t(m) = -m**2 + 5*m + 7. Let p be t(6). Let o be (-7)/(14/(-48))*p. Let u be o/(-15)*(-5)/2. Sort -2, -1, u.
-2, -1, u
Let t = 1026 - 1031. Sort -1, t, -0.083, 0 in increasing order.
t, -1, -0.083, 0
Suppose 0 = 14*w - 131 + 61. Put 15, -1, w in descending order.
15, w, -1
Suppose -7*v + 6*v - 2 = -3*h, -4*v - 8 = -3*h. Put 3, v, 16, 9 in increasing order.
v, 3, 9, 16
Let c = -69 - -70. Suppose -3*w - 3*s + 3 = 0, -5*s = -4*w + c - 33. Sort w, 2, 1, 3 in descending order.
3, 2, 1, w
Suppose 0 = 10*l - 11*l + 7. Sort 6, 3, -4, l.
-4, 3, 6, l
Suppose 4*h - 7 = -w - 0*w, -3*h + w + 7 = 0. Let a be ((-1)/2*-4)/h. Put 0, 2, a, -5 in decreasing order.
2, a, 0, -5
Let k = -9511/9 - -1057. Let i = 0.1 - 0.2. Put i, k, 2, -2 in descending order.
2, k, i, -2
Suppose -7*f - 15 = -2*f. Suppose 2*g - g = z + 5, 3*g + 9 = -3*z. Sort f, -9, g in increasing order.
-9, f, g
Let w be 2/(-8) + (-172)/16. Let f be 17/6*1 + (-60)/72. Put f, w, 5 in descending order.
5, f, w
Let k = 2.093 - 0.093. Let u = -14 - -20. Put u, k, -3, -4/7 in descending order.
u, k, -4/7, -3
Suppose 7 = 5*i + 32. Let y be -1*2 - 0/3. Let h be (0 - 26/30) + 4/(-30). Put i, y, h in increasing order.
i, y, h
Let p be ((-2)/(-12))/(32/7488). Put p, 3/5, -1/2, -1/5 in descending order.
p, 3/5, -1/5, -1/2
Let u = -19 + 29. Let d = u - 15. Suppose 21*n - 19*n = -8. Sort n, d, 5.
d, n, 5
Suppose 0 = -10*z - 17 + 7. Put z, 1, 25 in descending order.
25, 1, z
Let p = 446/7 - 64. Let y = -649 - -648.9. Put 3, p, y in descending order.
3, y, p
Let y = 94 + -753/8. Let w = 17.9 + 6.1. Let b = -23 + w. Sort y, b, 3/5 in decreasing order.
b, 3/5, y
Let i be ((-20)/64*-2)/(1/8). Let n be (8/(-10))/(2/(-45)). Suppose 0 = 3*t - 4*d + n, -d + 5*d - 12 = 0. Sort t, 4, i in decreasing order.
i, 4, t
Let a be -1 - (0 - (-2 + 13)). Suppose 13 = t - a. Suppose 2*g - t = -21. Put -4, g, 2/9 in increasing order.
-4, 2/9, g
Suppose 6*s - 3 = 3*s. Suppose -f + s + 1 = 0. Let h = 0 - f. Sort h, 4, -10.
-10, h, 4
Suppose -15*r + 17*r = 0. Put 2, -3, -2, r in descending order.
2, r, -2, -3
Suppose -1 = d - 11. Suppose 17*k = -42 + 25. Sort -4, k, d in decreasing order.
d, k, -4
Let l = -177 - -169. Sort 5, l, 0.1 in descending order.
5, 0.1, l
Let f = 257 + -254. Let i(p) = 2*p + 5. Let j be i(-3). Put f, -29, -4, j in descending order.
f, j, -4, -29
Let u = 163/4 + -40. Put u, -2/11, -2, -1 in decreasing order.
u, -2/11, -1, -2
Let l = -2 + 3. Suppose -2*m = -5*j - 16, -3*m + 7*j + 17 = 3*j. Suppose 2*x + 4*f + 22 = 4, -m*f - 12 = 0. Sort -11, x, l.
-11, x, l
Let a = 122 + -853/7. Sort a, -2/23, -1/11, 3/7.
-1/11, -2/23, a, 3/7
Let s = -11.149 + 11.1. Let d = s + 5.049. Put 1, -0.03, 3/7, d in increasing order.
-0.03, 3/7, 1, d
Let g = -110 + 113. Put 11, g, 4/7 in decreasing order.
11, g, 4/7
Suppose -n = -2*n + 4*o - 4, 5*n + 20 = 2*o. Let p = -6 + 4. Let v = p + 3. Sort n, 0, v in decreasing order.
v, 0, n
Let a = -0.1 + 1. Let x = 0.1 + a. Let t = 937.2 + -937. Sort x, t, 2 in increasing order.
t, x, 2
Let l be (12/(-30))/(3/45). Let v be -1 + 12/8 + (-2)/l. Sort v, 0, 0.05 in decreasing order.
v, 0.05, 0
Let w be (7 - 2)*54/(-54). Sort -1, 17, w, 4 in decreasing order.
17, 4, -1, w
Let b = -38 - -57. Let l = -7 + b. Let r = 15 - l. Sort 4/7, r, 4 in increasing order.
4/7, r, 4
Suppose -7 = -2*o - 3. Suppose -44*g + 41*g = -12. Put -3, g, o, 3 in descending order.
g, 3, o, -3
Let v be -1 - 1/((-6)/16). Let p = -118.04 + 118.14. Put -2/7, v, p, -5 in ascending order.
-5, -2/7, p, v
Let r = -0.175 - 0.025. Let a = 0.21 - 12.21. Put 5, r, a in descending order.
5, r, a
Let y(g) = 3*g**3 - 4*g - 3. Let p = 116 - 117. Let w be y(p). Sort 1, -9, w in increasing order.
-9, w, 1
Let a = 63 - -15.