 Sort c, a, 3 in decreasing order.
c, 3, a
Let d = 1/3 + -1. Sort 2, 127, d, -3 in increasing order.
-3, d, 2, 127
Suppose 23*n - 96 = -n. Put 10, -1, n in decreasing order.
10, n, -1
Suppose -3*w = c - 3, 0 = 4*w - 8*c + 3*c - 23. Suppose 4*o - w*r + 8 = 0, -5*o + 2*r = -r + 8. Sort o, -2, 0, 5 in increasing order.
o, -2, 0, 5
Let u be 4*((-15)/(-20))/(12/(-44)). Put -6/5, u, 3, 2/7 in decreasing order.
3, 2/7, -6/5, u
Suppose 0 = -2*m - 5*n - 22, 3*m + 8 = n + 9. Sort m, -53, 2, -4 in ascending order.
-53, -4, m, 2
Let d = 11.95 + -9.95. Let s = -6 - -13. Put s, 0, d in descending order.
s, d, 0
Let p(y) = -y**3 + 29*y**2 + 61*y + 34. Let j be p(31). Put j, 0, -440, -5 in descending order.
j, 0, -5, -440
Suppose 0 = 4*o - 0*o. Let g = 7 + -3. Let x be 29/((-2842)/28) - (-9)/7. Put o, g, x in ascending order.
o, x, g
Let d = 0.048 - -11.952. Let s = -13 + d. Sort 0.5, s, 5 in increasing order.
s, 0.5, 5
Let v = 32 + -27. Let z = v - -21. Let o = z + -31. Sort 6, -3, o in increasing order.
o, -3, 6
Let r(c) = -c**2 - 6*c - 1. Let y be r(-6). Let x = 0 - y. Suppose 3*a - u + 4*u = 0, 0 = -2*a - 4*u + 10. Sort a, x, 0 in descending order.
x, 0, a
Let x = -192 + 184. Sort x, -4, -2 in decreasing order.
-2, -4, x
Suppose 4*a - 2*a = -3*q + 17, -2*q + 3*a = 6. Suppose 0*b - b + 1 = 0. Let r be (-2 + b + 1)/1. Sort -5, r, q in decreasing order.
q, r, -5
Let f be (-104)/(-70) + 3/((-252)/24). Put -65, f, -0.4 in descending order.
f, -0.4, -65
Let m(w) = -2*w**2 + 37*w - 109. Let g be m(15). Let i be (30/(-25))/((-4)/10). Put i, g, 6 in descending order.
6, i, g
Let s be ((-25)/20)/(7/(-112)). Sort -2, s, -3, -0.1.
-3, -2, -0.1, s
Suppose -3*y - 60 = 2*y. Let z be 2/y - (-2)/(-4). Let s be -6*(-1)/2 - -2. Sort -1/5, s, z in decreasing order.
s, -1/5, z
Let l = -0.02 + -0.18. Let s be ((-25)/20 - -2) + -2. Sort l, -2, s in ascending order.
-2, s, l
Let x(d) = -d**2 + 4. Let z be x(3). Let f = 2.4 + -1.4. Let s = f + 4. Put s, z, -2/3 in descending order.
s, -2/3, z
Let t = 0.81 - 3.81. Put -1, t, -0.1, -0.2 in ascending order.
t, -1, -0.2, -0.1
Suppose 5*t + 10 - 35 = 0. Suppose -4*h - 3*g - 15 + 3 = 0, 0 = -3*h + 3*g - 9. Let j(c) = c**2 + 5*c + 4. Let z be j(-1). Sort h, t, z in increasing order.
h, z, t
Let u = 18.3 + -0.3. Let j be 10/(-12)*16/(-5) - 3. Put j, -0.3, u in decreasing order.
u, -0.3, j
Let r = -158.7 + 162. Sort r, -2, 2 in descending order.
r, 2, -2
Suppose 0 = 24*w - 28*w + 52. Suppose 5*p - 4*t = -0*p + 13, -t + w = 2*p. Suppose -p*b = -3*b. Sort b, -5, -1.
-5, -1, b
Let q be (-264)/(-27) + -9 + 2/9. Sort 3, q, -7.
-7, q, 3
Let a = 28 - 27. Let c = a - 4. Sort 1, -1/6, c in descending order.
1, -1/6, c
Let g = -0.2 + 15.2. Let r = -18 + g. Put r, -1, 0.3 in descending order.
0.3, -1, r
Suppose -4*u - 180 = -320. Let n be 3 + 0 - (-4 - -3). Put u, n, -1 in descending order.
u, n, -1
Let c = 6 + -5. Let h be (15/(-3) + 5)/(-4). Put -1, h, c in decreasing order.
c, h, -1
Let s = 53.51 - 53. Let i = -0.09 - s. Let r = -4.6 - i. Put -2, 0.3, r in increasing order.
r, -2, 0.3
Suppose -2 = 3*k - 4*t + 31, -3*k - 33 = -t. Sort 18, k, 1 in increasing order.
k, 1, 18
Suppose -3*h + v - 46 = 0, 0*v = -5*h - 4*v - 88. Let a be h/(-24) - (-206)/(-300). Let o = a + 109/450. Put 4, -5, o in descending order.
4, o, -5
Let m(q) = -5*q**2 - 5*q - 3. Let t be m(-3). Let s = 36 + t. Put -3, s, 5, -8 in decreasing order.
5, s, -3, -8
Let u = -6 - -8. Let n be u + 3 - -2 - 2. Let d = 7571 + -7572. Put -2, d, n in decreasing order.
n, d, -2
Let q = -1.507 + 4.507. Put -10, -2/7, 1, q in increasing order.
-10, -2/7, 1, q
Let b = 1375 - 1373. Suppose 4*w + 3*n = 4 - 2, 0 = 2*w - 4*n + 10. Put 0, w, b in ascending order.
w, 0, b
Let k = -6059.897 - -6054. Let f = k - 0.103. Put f, -1, -0.1, 0.1 in descending order.
0.1, -0.1, -1, f
Suppose -v - 108 = -2*s - 2*s, 5*s + 3*v = 135. Let k be 184/(-69)*s/(-4). Put -3, k, 3 in descending order.
k, 3, -3
Suppose 2*c + 3 - 13 = 0. Suppose 3 = -x + c. Suppose -6*d - 13 = -7. Sort 1/12, d, x.
d, 1/12, x
Suppose -12*u = -5*u - 56. Let h be (4/(-14))/(u/(-28)). Put -1, 0, 5, h in decreasing order.
5, h, 0, -1
Let z(d) = -d**2 + 3*d - 1. Let f be z(4). Let s(p) = 4*p. Let x be s(-1). Put x, 2, f in descending order.
2, x, f
Let o = -128 - -127.97. Put -2/9, 20, o, 2 in decreasing order.
20, 2, o, -2/9
Suppose -4*q + 28 = 4*c + 8, 5 = 5*q - 5*c. Sort q, 4, -3 in descending order.
4, q, -3
Let o(t) = -t + 6. Let c be o(6). Suppose 2*u - s = 12, u + 0*u + 3*s + 1 = c. Put -5, -1, u in ascending order.
-5, -1, u
Let u(l) = l + 2. Let s be u(0). Suppose 86 = 6*m - 2*v, -5*v - 4 = -4*v. Sort 3, 1, s, m in increasing order.
1, s, 3, m
Let b(r) = 3*r**2 + 14*r - 25. Let q be b(-6). Sort 1, q, 5 in descending order.
5, 1, q
Let z = -20.45 - 0.55. Sort 1/3, 0, z in increasing order.
z, 0, 1/3
Let j = 0.027 - 0.027. Let m = -11.9 - -12. Put m, -3, j in ascending order.
-3, j, m
Let d = -4.96 - -5. Let z = -4.04 + d. Sort z, 5, 4 in decreasing order.
5, 4, z
Let a be 6/(-4)*2 - 2. Let t(v) = v**3 + 3*v**2 - 5*v + 1. Let h be t(-4). Suppose h*x - b - 1 = 0, -2*x = 5*b - b - 18. Sort 4, x, a in decreasing order.
4, x, a
Let m(k) = -k - 2. Let l(b) = 2*b + 1. Let n(c) = 3*l(c) + 4*m(c). Let s be n(5). Let r be 15/20 - (-2)/8. Sort r, -1, s in decreasing order.
s, r, -1
Let b be 9/(450/220) + (-6)/(-10). Put -9, b, 0.04 in increasing order.
-9, 0.04, b
Let t be (-12)/20 + 1326/770. Let m = -6/77 - t. Sort m, -3, 4 in descending order.
4, m, -3
Let o = -82 - -78. Let q be (-1 - 0)*(-37 + -1). Let w = q + -115/3. Put w, 1/4, o in decreasing order.
1/4, w, o
Let b(v) = -v**3 - 2*v**2 + 10*v + 10. Let t be b(-4). Suppose -4*q + 3*z = 8, t*z + 8 = -0*z. Put -9, 2, 1, q in descending order.
2, 1, q, -9
Let r = -583/3 - -194. Let o = 1.3 + -1. Put -2, r, 2, o in increasing order.
-2, r, o, 2
Suppose 26 = -2*b + 92. Let k = b + -31. Put -4, k, 0 in increasing order.
-4, 0, k
Let n(d) = 2*d**2 + 29*d - 125. Let z be n(4). Sort 3, -3, 0, z in increasing order.
-3, 0, 3, z
Let i = 0.3 + -0.6. Let a be (1 - 3 - 1) + -8. Let b be 3/(4 - 1) + a/9. Sort i, 4, b in increasing order.
i, b, 4
Let x(m) = 6*m + 2. Let s(r) = r. Let c(j) = 5*s(j) - x(j). Let q be c(0). Sort -10, q, 0 in descending order.
0, q, -10
Suppose 47 = 2*y - 3*d + 18, 0 = 5*y + 5*d - 35. Let a = -268 - -265. Let k be (-3)/4 - 6/(-8). Sort k, y, a in descending order.
y, k, a
Let h(p) = 6*p**3 + 2*p**2 - 1. Let v = 1 + -2. Let o be h(v). Suppose -4*b - 1 = 7. Sort 4, b, o.
o, b, 4
Let l = 10 - 11. Suppose 10 - 70 = -4*h. Let y = h + -15. Sort l, y, 5.
l, y, 5
Let b = 175 + -191. Let x = -47 + 50. Put x, 0.3, b in decreasing order.
x, 0.3, b
Let c = 13.4 + -13. Let b = c - 0.4. Let s be 150/(-42) - 6/14. Sort b, -4/5, s in descending order.
b, -4/5, s
Let a = -0.13 + 14.13. Let b = 11 - a. Suppose 18*r = 6*r. Sort -0.4, b, r in decreasing order.
r, -0.4, b
Let s = 2.9 - 3. Let a = -1.9 + s. Let y be (9/342)/((-161)/(-28) - 6). Put y, a, 0.01 in decreasing order.
0.01, y, a
Let y be 4/(0 + 0 + 1). Suppose -y*p = -3*v - 30 + 1, -4*p + 5*v = -35. Sort -4, p, -2 in decreasing order.
p, -2, -4
Suppose 8*o = 3*o - 75. Let w be o/156*1 + (-2)/(-8). Sort -5, -2, w.
-5, -2, w
Let f be 9 + (-6 - -2) + -3. Suppose 3*b - 12 = 4*z + b, f*z + 2*b + 12 = 0. Sort 3, -14, z, -3 in ascending order.
-14, z, -3, 3
Suppose -7*d + 12*d + 265 = 0. Let o = 264/5 + d. Put 1/4, o, -5, 1/3 in decreasing order.
1/3, 1/4, o, -5
Let d = 587/15 - 118/3. Put 3, -0.07, d, -4/7 in decreasing order.
3, -0.07, d, -4/7
Suppose 0 = -2*d + 3*v - 1, 2*d + 3*d + 5*v = 60. Let n = -12 + d. Put -3, n, -6, -1 in increasing order.
-6, n, -3, -1
Let t be (-19)/((-323)/34) - (1 - 2). Put t, -13, 5 in descending order.
5, t, -13
Let n = 0.5 + 0.5. Let f = 3311 + -3311.5. Sort f, -2, 2/5, n in decreasing order.
n, 2/5, f, -2
Suppose 2*q - 2 = 4. Let o be ((-2)/(-23) - (-200)/(-2300)) + 4. Put q, 9, o, -3 in ascending order.
-3, q, o, 9
Let p(d) = -d**3 - 6*d - 5. Let w be p(-4). Suppose -4*l + w + 205 = 0. Let g be l/(-30) - 3/5. Put -4, g, 0 in decreasing order.
0, g, -4
Suppose 2*m = -3*w + 20, 5*m = 16*w - 11*w. Let h = 0.01 + 0.2. Let k = -0.09 - h. Sort k, w, 1 in decreasing order.
w, 1, k
Let z(u) = -u**3 + 8*u**2 - 8*u 