 - 10*l**2 + 5. Let a be t(10). Put w, 0, a in decreasing order.
a, 0, w
Let c = -4.37 + -0.83. Let f = c + 2.2. Suppose 3*o + 3 = -0. Put o, 1/4, f in increasing order.
f, o, 1/4
Let u = 1.28 + -0.18. Let x = u + -0.9. Put -1/4, -2, x in ascending order.
-2, -1/4, x
Let m = 0.23 - 0.53. Let l = -4.32 + 4. Let c = l - -5.32. Sort 0.5, m, c in decreasing order.
c, 0.5, m
Let p = 2 - -2. Let c be (-8 + 54/9)/11. Let l = 9 - 13. Sort c, p, l in ascending order.
l, c, p
Let h = 1231 - 1233. Put -8, 36, h, -5 in decreasing order.
36, h, -5, -8
Let a be 8/(-56) - 8/(-7). Let p = 160 - 95. Let f = 257/4 - p. Sort 0.5, a, f in decreasing order.
a, 0.5, f
Let o = 3 + 10.6. Let g = 14 - o. Let n = -0.6 + g. Sort n, -1/3, 4.
-1/3, n, 4
Let a = -34.8 + 33.8. Put 0.4, a, -0.1, 4 in descending order.
4, 0.4, -0.1, a
Let o = 29 - 17. Let z be 1/(-3)*(-9)/o. Sort 3, z, 0.4 in ascending order.
z, 0.4, 3
Let o(p) = -p**2 - 13*p + 43. Let w be o(-16). Sort w, 2, 0 in decreasing order.
2, 0, w
Let o(n) = n**2 + 6*n + 6. Let y be o(-4). Let j(k) = 4*k - 1. Let x be j(7). Let i be (-3)/(x/21) + 1. Sort -3, i, y.
-3, y, i
Suppose -3*i - 2*y + 14 = 0, i + 3*i + 4*y - 24 = 0. Suppose i*f = -f + 3. Let b = f + -2. Put b, -4, 2 in increasing order.
-4, b, 2
Let c = -2155 - -2157. Put 0.0606, c, 0.3 in increasing order.
0.0606, 0.3, c
Let a be 2/(-5) - 120/(-50). Suppose 3*t = -t - 5*k + 33, -t - a*k = -12. Suppose d + 4*w - 12 = 0, d - 5*w = -3*d - 36. Sort 8, d, t in decreasing order.
8, t, d
Let i = 0.53 + -0.13. Sort -0.08, i, 1/2, 3/4.
-0.08, i, 1/2, 3/4
Suppose 0 = 2*a - 3*m - 9, -2*m + 5 = 2*a - m. Put -1, -74, a, 1 in decreasing order.
a, 1, -1, -74
Let p = -312 + 311.93. Put 0.5, -3/7, p, 0.4 in ascending order.
-3/7, p, 0.4, 0.5
Let g be 2*(-1 + -1)/(-2) + 0. Sort -3, g, -5, -25 in descending order.
g, -3, -5, -25
Let w = -1 + -2. Let p be 102/(-170)*20/(-3). Sort -4, p, w, 3 in descending order.
p, 3, w, -4
Let k(w) = w**2 + 17*w - 22. Let x be k(-18). Put 2, x, -50, 5 in decreasing order.
5, 2, x, -50
Let v = -3 - -7. Let k be (-1)/(((-14)/v)/(-1)). Let q = -0.541 - -0.541. Put k, q, 3 in decreasing order.
3, q, k
Let v be 2/(-5) + (-17)/(-5). Suppose -8*q - 3*w = -4*q - 19, 2*w - 15 = -5*q. Let z be (2 + v + 0)*q. Sort z, 0, 6 in decreasing order.
6, z, 0
Suppose 18 = 2*s + 4*l, -18*s + 21 = -13*s + 4*l. Sort -2, s, 136 in descending order.
136, s, -2
Let k(s) = -s - 9. Let i(p) be the first derivative of 5*p**2 + 2*p - 5. Let c be i(-1). Let w be k(c). Sort 4, w, -4 in decreasing order.
4, w, -4
Let u = 22 - 10. Let t be (-4*u/8)/(-2). Sort t, 1, 23.
1, t, 23
Suppose 5*r + 5*p = -10, p = -2*r - 4*p - 16. Suppose -9 = -7*m - r. Let k = 12 - 7. Put -2, k, m in increasing order.
-2, m, k
Let g = 1/26 - -5/39. Put g, 0, 0.5 in increasing order.
0, g, 0.5
Let b = 19 + -8.4. Let u = b + 3.4. Let x = u - 9. Sort x, 8, 3.
3, x, 8
Suppose i + 8 = -3*i. Let b = 24 + -25. Sort i, b, 0.
i, b, 0
Suppose 0 = -4*u - k - 2*k + 73, 5*k = -3*u + 63. Let g be u/12 + 1 - (0 - -3). Put 0, 0.2, g, -3 in increasing order.
-3, g, 0, 0.2
Let i = -253/7 - -36. Let t = -5.29 + 6. Let o = t - 0.81. Sort o, -5, i in ascending order.
-5, i, o
Let z be 6/(-8) + 111/(-12). Let o be (-15)/6*16/z. Suppose 2*u - 3*u - o = 0. Put 3, u, 2 in descending order.
3, 2, u
Let t = 0.15 - 0.85. Let f = t - -1.5. Sort 0.4, f, -4 in increasing order.
-4, 0.4, f
Let p = 0.42 + -1.28. Let d = 0.86 + p. Sort 5, -1, d, -20 in increasing order.
-20, -1, d, 5
Let b be 42/10 - 2/10. Let f be (-2)/13 + 256/988. Let a = -25/57 + f. Put b, a, -2/7 in decreasing order.
b, -2/7, a
Suppose -3*u = 2*y - 0*y - 4, 2*y - 2*u + 16 = 0. Sort 11, 5, -2, y in ascending order.
y, -2, 5, 11
Suppose -5*x - 43 = -2*s, -4*x - s - 16 = 2*s. Suppose -46*q = -51*q - 2*n + 11, 0 = q + 6*n + 9. Sort 2, -4, x, q in ascending order.
x, -4, 2, q
Let b be 4 + (-2*2)/2. Let f = -47.56 - -48. Let y = f + -0.54. Put b, y, -3 in descending order.
b, y, -3
Let p = 11.56 + -6.56. Let c = 10 + -18. Let l be (1/(-2))/(2/4). Sort l, c, p in decreasing order.
p, l, c
Let x be 3 + -4 + 33/2. Let l = x + -16. Let b = 11/3 - 41/12. Sort l, b, 0.3 in descending order.
0.3, b, l
Let v = 106 + -111. Put -1, 0, v, -32 in descending order.
0, -1, v, -32
Let b(c) = -4*c - 4. Let m be b(-5). Let n be m/80 - 48/(-10). Put 0, n, 4 in decreasing order.
n, 4, 0
Let h = 2 - 5. Let a(b) = -b - 2. Let n be a(h). Suppose 4*x - 18 = -2*k, -7*x + 2*k + 12 = -5*x. Put x, 4, n in decreasing order.
x, 4, n
Let x(b) = -b**2 + 3*b - 1. Let s be x(2). Sort 0.5, 4, s in decreasing order.
4, s, 0.5
Let o be (-25)/(-1131 - -6)*10/4. Put o, -1, -2, -5/6 in ascending order.
-2, -1, -5/6, o
Suppose 0 = -10*l + 317 + 313. Suppose 0 = 6*j + l - 39. Sort 0, j, -57, -3 in increasing order.
-57, j, -3, 0
Suppose 0 = 10*n + 5*n + 60. Sort 3, n, -12, 4 in descending order.
4, 3, n, -12
Let h(p) = p**3 - 17*p**2 + 30*p + 4. Let x be h(15). Let a(n) = -6*n + 7. Let s be a(2). Sort -3, s, 5, x.
s, -3, x, 5
Let y = 55.9 + -51.9. Sort y, 5, -1, 5/4 in descending order.
5, y, 5/4, -1
Let h be 6 - (-3)/(-7)*7. Suppose -5*s - 1 = -6. Suppose -4*t - 35 = 5. Put t, h, s in descending order.
h, s, t
Suppose -5*w - l = 8, 4*w - l = w - 8. Sort 1, 3, w, -6 in descending order.
3, 1, w, -6
Suppose -7 = -18*d + 11*d. Suppose -5*i - 5*j - 1 = 9, -i - 2*j = 2. Let c = i - d. Put -7, 1, c in decreasing order.
1, c, -7
Let t = 0.2072 + 0.0928. Sort 2/9, 5, 1/8, t.
1/8, 2/9, t, 5
Let m = 68 - 47. Let u = 21.1 - m. Put 3, u, -0.3 in ascending order.
-0.3, u, 3
Let q be 1088/(-192) - (-14)/2. Sort q, -0.05, 15 in decreasing order.
15, q, -0.05
Let x(s) = -s**3 - s**2 + 5*s + 9. Let v be x(-4). Let j = -37 + v. Put j, 1, -4 in increasing order.
-4, j, 1
Let n be ((-25)/(-6))/5 - (-111 - -112). Put -2/3, 4, n in ascending order.
-2/3, n, 4
Suppose -14*w - 19 = 5*b - 15*w, 4*b = w - 16. Let l be 0/3 - -2 - -8. Put b, l, 5, 0.4 in descending order.
l, 5, 0.4, b
Let l = -305 + 303.9. Sort l, -2/7, 1, -0.3.
l, -0.3, -2/7, 1
Suppose 45*q + 1 = 1. Sort -151, q, -1 in increasing order.
-151, -1, q
Suppose -13*w + 27 = -90. Put -3/11, 0.1, w, 0.3 in increasing order.
-3/11, 0.1, 0.3, w
Suppose 35 = 4*b - 5*r, -5*b + r + 90 = 4*r. Suppose 3*y - b = 0, 2*y + y - 30 = -5*m. Sort m, 7, -5, -1 in decreasing order.
7, m, -1, -5
Let n = 103.2 - 103.4. Sort 1, -0.7, n, 2/9 in ascending order.
-0.7, n, 2/9, 1
Let f = 1.2 + -1.23. Let s = -0.1 - f. Let n = -4.07 - s. Sort n, -2, 0.2 in ascending order.
n, -2, 0.2
Let l(n) = n**3 + 6*n**2 + 5*n - 2. Let b be l(-4). Let c(j) = -2*j**2 - 27*j - 11. Let i be c(-13). Sort -2, b, i, -5 in decreasing order.
b, i, -2, -5
Let z be 4 + (-7)/(14/4). Suppose -4*c + 10 = z. Suppose c*h + 0*h = 6. Sort -1, -4, h in ascending order.
-4, -1, h
Suppose -5*f + 2*x + 17 = 0, 3*f - 4*x - x + 5 = 0. Suppose -15 = f*r - 0*r. Suppose 0 = -2*s - 2*s. Sort s, r, 1 in descending order.
1, s, r
Let x = -3 + -1. Let m be (2 + (2 - 7))*14/(-105). Put m, x, 2/9 in decreasing order.
m, 2/9, x
Let u = -276 + 309. Sort 1/3, -3, u in decreasing order.
u, 1/3, -3
Let q = -728/3 + 243. Put 0.4, 3/8, -2, q in increasing order.
-2, q, 3/8, 0.4
Let k = -517 + 515. Put 2, 5, 10, k in increasing order.
k, 2, 5, 10
Let w be (4/12)/((-1)/(-6)). Suppose -3*q - 4*b - 28 = 2*q, -2*b - 20 = 4*q. Put w, q, -12 in increasing order.
-12, q, w
Let z = 0.798 + -0.798. Suppose 20 = 3*s + 2*s. Sort s, -3/5, z, -3 in descending order.
s, z, -3/5, -3
Let w be (-2)/7 + (-660)/(-693). Let a = -0.2 + 0.1. Let u = a + 2.1. Sort w, u, 3/2.
w, 3/2, u
Suppose -z - 31 + 0 = 0. Let q = z - -26. Put 0, q, -1, -2 in descending order.
0, -1, -2, q
Let j(a) = -2*a**3 - 24*a**2 - 21*a + 10. Let y be j(-11). Sort 1, y, -6.
-6, y, 1
Suppose -3*i + 15 = -3*n, -3*n + 3*i - 1 = -2*n. Let r(h) = 2*h**3 + 14*h**2 - h - 9. Let o be r(n). Sort -5, 1, -4, o.
-5, -4, o, 1
Let y(p) = 2*p**2 + 8*p - 10. Let j be y(-5). Let v(w) = 3*w - 11. Let x be v(8). Let d = x + -11. Sort 4, j, d in decreasing order.
4, d, j
Let m = 109.07 + -109. Put -1, m, 4 in descending order.
4, m, -1
Let a(b) = 2*b**2 - b + 1. Let r be a(1). Let t = 89/606 - -2/101. Let y = 0.2 + -0.3. Sort r, t, y in descending order.
r, t, y
Let u = -0.08 + -0.22. Let y = 52 - 80. Let b be 