 4 in decreasing order.
21, 4, t
Let l = 266 + -5584/21. Let g = 6 - 2. Let y = -287 + 284. Sort l, g, y.
y, l, g
Let p = -3 - -9. Let c = -6.3 + p. Put c, -0.4, -0.5, 3 in ascending order.
-0.5, -0.4, c, 3
Let p be -1*2/2 + 0. Let h = -1 - p. Let t(z) = -z**2 + 30*z + 254. Let b be t(37). Sort b, -4, h.
b, -4, h
Suppose 4*g = -7*c + 3*c - 8, 4*c + 12 = -5*g. Suppose 0 = -2*x + 3*x - c. Suppose 4*p - 22 = 2*s, 5*s - 6*p + 2*p + 37 = 0. Sort x, -2, s in increasing order.
s, -2, x
Let y(x) = -2*x + 13. Let c be y(6). Sort 4, c, -9, -2 in descending order.
4, c, -2, -9
Let t be (-8 - -29)/7 + (0 - 1). Suppose -3*a + 6*a - 5*l = -10, 5*a + 29 = -4*l. Sort a, -1, t, 24 in ascending order.
a, -1, t, 24
Let g = 0.1318 - 1.1318. Sort 0.4, 0.06, -3, g in ascending order.
-3, g, 0.06, 0.4
Let x = -14.25 + 0.25. Let w = -0.06 + -8.94. Let c = x - w. Put -0.1, c, 0 in descending order.
0, -0.1, c
Let t = -0.1247 + -0.8753. Sort t, 2, -0.03, 0.1 in ascending order.
t, -0.03, 0.1, 2
Suppose -p - 3 = 0, 0*p + p - 27 = -3*u. Let v = u + -13. Suppose -4*f - 3 = 5*o - 20, -3*o = -15. Sort f, 0, v in increasing order.
v, f, 0
Suppose -12 = 5*s - 7, d = -5*s - 10. Let q = -74.7 - -71. Let f = 0.3 - q. Sort d, -3/4, f in decreasing order.
f, -3/4, d
Suppose -5*v + 44 = -q, -6*v - 149 = 3*q - 4*v. Put -4, q, -1 in increasing order.
q, -4, -1
Suppose 21 = 7*b - 0. Suppose -15*n = b + 27. Sort 3, 2, 5, n in decreasing order.
5, 3, 2, n
Let w be (-5 - (0 - 16/3))*15. Let i be -18 - (3 + (-10)/2). Sort w, 4, i.
i, 4, w
Let p = -0.1577 + 0.1477. Let c = 16/3 + -14/3. Let u = 123 - 1105/9. Sort u, p, c in descending order.
c, u, p
Let v = 12143/5 - 2429. Sort v, -13, -2, 5 in descending order.
5, v, -2, -13
Suppose 4*x - 18 = 2*s, 4*x = -4*s - 0*x + 12. Sort -5, -12, s, -3 in descending order.
s, -3, -5, -12
Let t(q) = -q**3 - 2*q**2 + 2*q - 4. Suppose 3*a = 2*x + 51, -74 = -0*x + 3*x - 2*a. Let k = x - -21. Let y be t(k). Put -5, -2, y in descending order.
y, -2, -5
Suppose -5*o + i = -13, -4*o + 17 = -3*i - 0*i. Suppose -4*w = 2*d - 10, o*d - 10 = -0*d. Sort 5, 1, 4, w in increasing order.
w, 1, 4, 5
Let p(o) = -o**2 - 24*o + 256. Let s be p(-32). Put s, -158, -1 in descending order.
s, -1, -158
Let f = -10.5 + 2.5. Let z = -10 - f. Sort z, 1/2, 0 in decreasing order.
1/2, 0, z
Let y(x) = -x**2 - 17*x + 2. Let a be y(-17). Let r be (-14 + 0)/(a + -4). Sort 5, r, -3 in increasing order.
-3, 5, r
Suppose -g + 0*o = o - 1, 4 = -2*g - 4*o. Let i(c) = 2*c**2 - 23*c - 164. Let f be i(-5). Sort 5, f, g in increasing order.
f, g, 5
Let c = -86 - -89. Let h be (c/7)/(-3) + (-110)/(-35). Sort h, 0, -24 in increasing order.
-24, 0, h
Let b = -183 - -184.87. Let y = b - -0.13. Let t = 4 - 6. Sort 1, y, t in decreasing order.
y, 1, t
Suppose 0*t - 2*t + 6 = 0. Let y(g) = -g**3 + 3*g**2 + 2*g - 3. Let d be y(t). Suppose -5 = -2*q + d. Sort -3/4, -3, q in descending order.
q, -3/4, -3
Suppose 4*q + 6 = -18. Let w be q/4*32/(-12). Sort w, 9, -0.1.
-0.1, w, 9
Let b(a) = a**3 + 8*a**2 + a + 5. Let u be b(-8). Sort 0, 5, -4, u.
-4, u, 0, 5
Let k(l) = l**2 + 3*l + 1. Let z be k(-4). Suppose 34 + 12 = -n + 5*t, 2*t + 70 = -3*n. Sort 4, n, -5, z in descending order.
z, 4, -5, n
Let w = -3.64 + -0.56. Put -2, 2/13, w in ascending order.
w, -2, 2/13
Let z = 102 - 105. Sort z, 3, 9 in descending order.
9, 3, z
Let u(w) = -w + 8. Let r be u(12). Let t be (r + 8)*15/(-160). Sort 5, t, 6 in descending order.
6, 5, t
Let o = -5 - -5. Suppose -5*a - 2*b = -29, -3*a - 3*b + 21 = -o*b. Let d = -0.0206 + -5.9794. Put -0.3, d, a in descending order.
a, -0.3, d
Let y(q) = 9*q + 17. Let b be y(-2). Put 12, b, -0.2 in increasing order.
b, -0.2, 12
Let m = -4.93 - 0.07. Let y be 5 - (-106)/(-22) - (-101)/(-11). Let c be (-54)/y - (-214)/(-36). Sort m, -0.4, c in ascending order.
m, -0.4, c
Suppose 14*p - 15*p = 3*g + 2, 0 = 4*p + 5*g - 6. Sort 1, 135, -5, p in descending order.
135, p, 1, -5
Let s = 8.7 - 11.7. Sort -5, 2, 0, s.
-5, s, 0, 2
Suppose -4*j + 28 = 16. Sort 4, j, 43, -4 in descending order.
43, 4, j, -4
Let h be -4*(4 + 11/(-4)). Let x(s) = -2*s**2 - 13*s - 10. Let b be x(h). Put b, -1, 3 in decreasing order.
b, 3, -1
Let b = -6 + 11. Let i = -144 - -146. Sort i, -1, -4, b.
-4, -1, i, b
Let r = 33/2 + -557/34. Let i = -27 + 30. Sort i, r, 0.5 in descending order.
i, 0.5, r
Suppose 238*t = 235*t + 66. Sort 4, 5, t, 3 in increasing order.
3, 4, 5, t
Let t = 56 - 508/9. Let z = 0.538 - 0.038. Let m be 9/(-18) - (-1 + 2). Put z, t, m in increasing order.
m, t, z
Suppose -3*l - 4 = -4*l - 5*p, -l + 1 = 4*p. Let o(a) = -a**2 - 11*a - 2. Let b be o(l). Sort b, 5, -1.1 in decreasing order.
5, -1.1, b
Let w = 0.4 + -0.4. Let n = w - 0.02. Sort 0, n, -0.2.
-0.2, n, 0
Let w be (3 + (-21)/6)/(2/(-20)). Sort -7, w, 1 in increasing order.
-7, 1, w
Let k = -3723/20 - -745/4. Let p = 73 - 801/11. Sort -0.5, k, p, 3 in increasing order.
-0.5, k, p, 3
Suppose 5*r + 3 = r - 3*w, 3 = -3*w. Let b be (-3 - -4) + r + 3. Sort 2, -4, b in decreasing order.
b, 2, -4
Suppose 320 = -4*x - 3*o, -11*o + 138 = -2*x - 7*o. Put -1/3, 1/4, 1/7, x in ascending order.
x, -1/3, 1/7, 1/4
Let x be (-7)/(-18) + (-6)/36. Let t(k) = -k**2 + 12*k - 19. Let p be t(2). Put 18, x, p in decreasing order.
18, p, x
Let o be (40/(-25))/4 - (-24)/40. Sort -0.2, -5, 4, o in ascending order.
-5, -0.2, o, 4
Let p = 190 + -191. Let l = 1.4 - 9.4. Let b = 0.01 + -5.01. Sort p, l, b in decreasing order.
p, b, l
Suppose 0 = -18*c + 2639 + 1123. Sort 4, c, 5 in decreasing order.
c, 5, 4
Let f(s) = s**3 - s**2 + s. Suppose -7 = n - 2*o, -15 = -n - 3*o - 2. Let x be f(n). Let m be (9/108)/(x/2). Sort -1/4, m, 1/9 in increasing order.
-1/4, 1/9, m
Suppose 5*p - k + 8 = k, k + 7 = -3*p. Let s(z) = -7*z + 7 - 21 + 6*z + 3*z. Let j be s(5). Sort j, 0, p in descending order.
0, p, j
Let f = 11 + -7. Let x = -90 + 93. Sort f, x, -2 in decreasing order.
f, x, -2
Let d = -17 + 11. Let u = -7 + -18. Let g = u + 24. Put d, g, 1/5 in decreasing order.
1/5, g, d
Let m = -0.3 + 0.2. Let d = 3.2 + -3.5. Let w = d - m. Put w, 1/5, -3 in increasing order.
-3, w, 1/5
Let b be (-1)/(-30)*(-1 - (-3609)/174). Let a = 1/116 + b. Sort a, 1/5, -1/6, 2/7 in decreasing order.
a, 2/7, 1/5, -1/6
Let t be (24/6)/(-1 - 0). Let b(y) = y**3 - 21*y**2 - 23*y + 17. Let a be b(22). Put t, 0, a in increasing order.
a, t, 0
Suppose 4*z = -7*f + 3*f + 544, -2*z + 276 = 3*f. Suppose 0 = -z*a + 128*a - 8. Put a, -1, -4 in ascending order.
-4, a, -1
Let p = -0.4 + 0.2. Let n = p + -0.2. Let g = -523 - -6797/13. Sort n, g, -1.
-1, n, g
Suppose -8*q = 6 - 222. Let f = 21 - q. Put -2, 3, f in increasing order.
f, -2, 3
Let q(o) = o**2 + 6. Let d be q(0). Let t = 17/3 - d. Let h = 11 + -9. Put t, h, -2/3 in decreasing order.
h, t, -2/3
Let j = -19 + 31. Let b be j/9 + (-2)/6. Let h = -5 + b. Sort -5, -3, h.
-5, h, -3
Let c = 333 - 332.6. Sort -1, -1/3, 2/115, c in decreasing order.
c, 2/115, -1/3, -1
Suppose -91*v + 81*v = -60. Let f(n) = n**3 - 3*n**2 + n. Let a be f(3). Sort -3, v, a.
-3, a, v
Let u be (-32)/(-5) + 12/(-30). Suppose z - 2*p + u = -1, -16 = 2*z - 5*p. Sort 4, -2, z, 2.
z, -2, 2, 4
Suppose 4*g = 3*u + 3, -u + 3*u + 19 = -3*g. Sort -20, g, 0.3, 0.5.
-20, g, 0.3, 0.5
Let n(y) = -6*y - 6*y**2 - 2*y + 2*y - 1 - y**3. Let o be n(-4). Let u be ((-6)/(-15))/(100/(-750)). Sort u, -1, o.
o, u, -1
Let u = 0 + -1. Let x = u + 0. Let j = -0.721 + 0.721. Put x, j, -2 in descending order.
j, x, -2
Let t be 0/151 - (6/10 - 0). Let p = 14.4 + -9.7. Let v = 0.7 - p. Put t, 3, v in descending order.
3, t, v
Suppose -4*s + 60 = 5*k, 3*s - 14 = 1. Suppose -23*u + 40 = -3*u. Sort u, k, -5 in descending order.
k, u, -5
Let c = 777 + -782. Suppose -a + 3*m = 12, -a - 4*m = -5 - 11. Suppose 2*q - 4*q - 2 = a. Put c, 5, q in decreasing order.
5, q, c
Let v be 0 + 2/(11 + -10). Sort -26, 1, v, 5.
-26, 1, v, 5
Let x = -0.828 + 0.828. Put 4/5, 4, x, 3 in decreasing order.
4, 3, 4/5, x
Suppose -2*b + 22 = -12. Suppose -b - 1 = w. Let q be ((-2)/w)/(25/(-30)). Sort -4, 0.4, q in ascending order.
-4, q, 0.4
Let a(f) = -f**3 - 2*f**2 + f. Let v be a(-2). Put -10, -4, v, 4 in increasing order.
-10, -4, v, 4
Let b = 0 - 0. Let v(x) = -x**3 + 11*x**2 - 10*x - 5. Let i be v(10). Put -0.3, b, i, -4 in descending