. Let c = 118 + -115.6. Let y = -6.4 + c. Sort -4/7, y, u in decreasing order.
u, -4/7, y
Let w be (-2)/(-21) + (-512)/84 - -5. Sort 5, -8, w.
-8, w, 5
Let y(r) = -r**3 - 2*r**2 + 2. Let q be y(-2). Suppose 127*g - 6 = 129*g. Sort 0, q, g, 5 in decreasing order.
5, q, 0, g
Let b(c) = c**2 + 10*c - 8. Let p be b(-11). Suppose n + p*t + 21 = 0, n + 3*n - 4*t = -4. Put n, 2, -4 in decreasing order.
2, -4, n
Suppose 4*r - 5*h = 29 - 0, -7 = -2*r + h. Let m be 2/10 - (-45)/25. Put m, -5, r, -3 in ascending order.
-5, -3, r, m
Let s be -7*((-2)/12 - 100/120). Put 0, -6, s in descending order.
s, 0, -6
Let q = -155 + 156. Put q, -5, -9 in descending order.
q, -5, -9
Let f = -32 + 42. Suppose 10*c = f - 0. Put 0, 2, c in decreasing order.
2, c, 0
Let w = 1108 + -1108.4. Let b = -112 - -159. Put w, b, -5 in decreasing order.
b, w, -5
Let r = 436 - 435. Let s be (-56)/190 - (-4)/10. Sort r, -3/2, s, -2 in descending order.
r, s, -3/2, -2
Suppose -4*f = 5*x - 0*f - 19, 3*x + 4*f - 5 = 0. Suppose x*c = 11*c + 16. Sort c, -1, 1, 4.
c, -1, 1, 4
Let c = 23/9 + -8/3. Sort -20, c, -2, -0.2.
-20, -2, -0.2, c
Let n = 6 + -5.8. Let c be (-21)/28*-1 + (-1)/1. Put -5, c, -0.2, n in ascending order.
-5, c, -0.2, n
Let b = 14 + -13.5. Suppose -9 = -o - 6. Let d be (o - (-3 - -3)) + -1. Put -5, b, d in decreasing order.
d, b, -5
Let w be (48/96)/(2/30*1). Put w, -4/9, -0.1 in decreasing order.
w, -0.1, -4/9
Let s(a) = -a**2 + 29*a + 74. Let q be s(30). Put 3, -3, q in decreasing order.
q, 3, -3
Suppose -5*m - 4 = -2*t, -6*t = -2*t - 8. Suppose -4*f + 30 = -5*d, -2*d = -m*f - f + 12. Sort 3, -1, 2, d in increasing order.
d, -1, 2, 3
Let c = -0.04 + 0.84. Let o = c - -1.2. Let x = o + -1.6. Sort -0.3, 4, x.
-0.3, x, 4
Let b(k) = k**2 - 54*k + 250. Let j be b(5). Sort 108, j, -1 in increasing order.
-1, j, 108
Let g be (-9 + 1)*(-4)/(-2). Let h be (3/(-6))/((-2)/g). Let s = 583 - 582. Put -2, s, h in increasing order.
h, -2, s
Let k(g) = g**3 - 5*g**2 - g + 2. Let s be k(5). Suppose 5*q - 18 = -y, -3*y - 3 = 3. Suppose -2*r = -2 - q. Put s, 6, r in increasing order.
s, r, 6
Let s(d) = d**3 - 14*d + 7. Let z be s(3). Sort 5, -5, z in decreasing order.
5, -5, z
Let y = -117 + 117. Suppose -a = -2*p + 11, 0*p - 3*a = -2*p + 17. Sort -2, p, -4, y in decreasing order.
p, y, -2, -4
Let c = -87 + 96. Suppose -3*a - 4*k + 0 = -c, 5*a = 4*k + 15. Sort 0.3, 0, a, -2 in decreasing order.
a, 0.3, 0, -2
Let l(s) = s**2 - 2*s + 2. Let o be l(1). Suppose g + 1 = 3*g + 3*b, 0 = 2*g + 5*b + o. Put -1, -4, g in increasing order.
-4, -1, g
Let j be -1 + 54/(-16) - 183/(-488). Put 5, j, 27 in increasing order.
j, 5, 27
Let k = -0.8 + 0.3. Let z = -272.85 - -274.85. Suppose 5*r - 2*r = 9. Put k, r, z in descending order.
r, z, k
Let f = -3976/13 - -306. Suppose 0 = -q - 1 - 1. Sort 2, f, q.
q, f, 2
Suppose d = t - 4*t - 14, -5*t = -4*d + 29. Let q be 0/d - (2 - 0). Let a(i) = -i**3 + 3*i**2 + i - 1. Let c be a(2). Put q, -4, c in ascending order.
-4, q, c
Let y(t) = t - 3. Let o(g) = 2*g. Let b be o(1). Suppose -2*x + 0*d + 9 = d, -4*d = b*x - 12. Let r be y(x). Sort r, -6, -4 in increasing order.
-6, -4, r
Let c = -2.9 + 0.3. Let k = c - -3. Let r = 12 + -11. Sort 2, k, r.
k, r, 2
Let r = -158 + 156. Sort r, -3, 1, -16 in descending order.
1, r, -3, -16
Suppose 0 = -14*l - 90 - 8. Suppose 2*b + 3*z + 3 = 0, -4*b + b + 24 = -5*z. Let p be 2/(0 - 4/10). Put b, l, p in descending order.
b, p, l
Suppose y - 3 - 2 = 3*a, -5*a = 2*y - 21. Suppose 3*f + y = f. Let i = 2922 - 2923. Sort i, f, 2 in descending order.
2, i, f
Suppose -6 = -9*k + 102. Suppose 31*l - 114 = k*l. Suppose 3 = h + 2. Sort l, 2, h.
h, 2, l
Let x = 20 + -20.1. Let v = 6 - 6.2. Suppose 12 = 2*s + 4. Sort s, x, v in decreasing order.
s, x, v
Let g = 14.53 + -14.73. Let a(o) be the first derivative of -o**3/3 - o**2 - 2*o - 1. Let d be a(-3). Sort g, -2/7, d.
d, -2/7, g
Let x = -15 + 10. Let n = -24 + 24. Sort -2, x, n.
x, -2, n
Let n be 6/(-15) + (-216)/135. Suppose -4*k = -13 - 7. Let t = -3 - k. Sort n, -4, t in descending order.
n, -4, t
Let t = 10 + -6. Let s = -4.42 - 0.08. Let o = s + 4. Put 0.1, o, t in ascending order.
o, 0.1, t
Let x(f) = -f**3 - 8*f**2 + 7*f - 20. Suppose t = m + 4 + 9, 2*m = -3*t - 6. Let z be x(m). Let j be (-1)/z + (-170)/220. Put -3, j, 2 in decreasing order.
2, j, -3
Let z = 22 + -21. Let p be (-24)/(-5) - (-5)/25. Suppose 0 = 5*j - 2*c + 7*c, 0 = -2*j + 3*c - p. Sort -4, j, z in descending order.
z, j, -4
Let a = 58.3 - 64. Let n = a - -5.7. Put n, 11, -0.3 in descending order.
11, n, -0.3
Let d be (-1533)/(-308) + (5 - 10). Sort d, 2/15, -2, 3/8 in descending order.
3/8, 2/15, d, -2
Let f = 5 + -4. Let z = 0 + f. Let t = -1210.81 - -1211. Put z, t, 3 in decreasing order.
3, z, t
Let g be (9/(-6))/((-1)/4). Let y(u) = u**2 - 6*u - 2. Let x be y(g). Let z(s) = s**3 + 2*s**2. Let k be z(x). Sort 1, 5, k in increasing order.
k, 1, 5
Suppose 0 = -2*d + j, d + j + j + 10 = 0. Suppose -43*g + 50*g = 21. Suppose r = -b - 2 - 1, g*b = 5*r + 31. Sort r, 5, d.
r, d, 5
Let k = 37.056 + -37. Let n = -1.056 + k. Put n, -1/3, 0.5, -3 in ascending order.
-3, n, -1/3, 0.5
Suppose -5*s - 15 = -8*s. Suppose -i - 138 = s*i. Sort i, 1, -5 in ascending order.
i, -5, 1
Let a = -24 - -14. Let h = a - -6. Let u = 3 + 1. Sort u, h, 8.
h, u, 8
Let n = 79 + -75. Let g = 0.78 + -13.78. Sort g, -1/3, n in decreasing order.
n, -1/3, g
Let t = -672 - -671. Put 2/11, t, 32 in decreasing order.
32, 2/11, t
Let v = 7.33 + -6.33. Put v, -2, 3 in increasing order.
-2, v, 3
Suppose -3*p = 761 - 755. Sort 5, 2, -13, p.
-13, p, 2, 5
Let w(y) = -y**2 + 4*y + 8. Let g be w(5). Suppose -5 = g*q + 13. Sort q, 5, -5 in descending order.
5, -5, q
Suppose 2*c = -2*c. Let h = c + 2. Suppose 0 = -n - 7 + 3, 4*n = -3*y - 7. Sort h, 0, y.
0, h, y
Let a(k) = -3*k - 6*k**2 - k**2 + 5*k**2 - 2 + 0*k**2. Let n be a(-2). Let b = 9.1 - 1.1. Sort 0.2, b, n in decreasing order.
b, 0.2, n
Suppose -z + k + 0*k = -2, -5*z + 11 = -4*k. Let p = 196 - 194. Sort p, 1, z, -5.
-5, 1, p, z
Suppose -2*u - a = -1 - 9, -5*a = 4*u - 14. Put -1, -6, -4, u in ascending order.
-6, -4, -1, u
Let y = 103 + -37. Sort -4, y, -2.
-4, -2, y
Let y(z) = -4*z - 5. Let s be y(-11). Suppose 0 = -2*f - 5*o + 10, 0 = 3*f + o - 5 + 3. Put f, -2, s in descending order.
s, f, -2
Let x(g) = g**3 + 12*g**2 + 5. Let p be x(-12). Suppose -3 = 2*r - p. Suppose -3*s = -9, -m + 4*s - 7*s + 4 = 0. Sort m, r, 5.
m, r, 5
Let o be 8/(-2) + (-12)/6. Let k be (-27)/3*2/o. Put k, 1, 4 in descending order.
4, k, 1
Let i = -3.1 + 3. Let l be ((-14)/28)/((-1)/(-6) - -1). Sort 5, i, l.
l, i, 5
Let a be (-7 - -5)*3/(-2). Let w be (2 - 2)/(-1) - 5. Put -2, w, a in decreasing order.
a, -2, w
Suppose -44*r - 255 = 7*r. Sort 3, r, 1, 0 in descending order.
3, 1, 0, r
Let y = 0.1 - 0. Let v = y - 0.6. Let u = -0.74 - -0.54. Put 0.1, v, u in decreasing order.
0.1, u, v
Let t = -3 - 1. Let q = -202109/12 - -16856. Let w = -37/3 + q. Put 5, w, t in ascending order.
t, w, 5
Let s = 2203 + -2207. Put 4, -1, s, -3 in descending order.
4, -1, -3, s
Let j = 997/18 - 179/3. Let f = j + 9/2. Let u = -30 + 35. Sort f, 4/5, u in decreasing order.
u, 4/5, f
Let d be (2/(-3))/((-8)/(-12)). Suppose 630*n = 631*n. Put 8, 5, d, n in decreasing order.
8, 5, n, d
Let h = -48.987 - 0.013. Let v = -49.33 - h. Let d = v - 0.07. Sort 0, 3, d in ascending order.
d, 0, 3
Let z = 1027 - 967. Put 3, 1/8, z in decreasing order.
z, 3, 1/8
Let k(f) = f**2 - 10*f + 3. Let l be k(10). Suppose -3*h + 19 = -0*z - 2*z, -15 = -l*h. Let j(i) = i**3 - i + 2. Let b be j(0). Put z, b, -3 in ascending order.
-3, z, b
Let w be (-9)/15*(-5)/(-2). Let n = -29.01 + 29.61. Put n, 2/13, w in descending order.
n, 2/13, w
Let p = -11 - -9. Put -1, p, -0.5, -3 in descending order.
-0.5, -1, p, -3
Let c = -1170 + 1169.8. Let x = 5.1 + -1.1. Sort -2, c, x, 11/3 in descending order.
x, 11/3, c, -2
Let j = -2715 - -2718. Let l = 0.02 - -0.28. Let q = -0.9 + -0.1. Put q, j, l in decreasing order.
j, l, q
Suppose -44*b = -45*b. Let s be 2 + b*4/(-1*8). Sort -3, -0.2, -4, s in ascending order.
-4, -3, -0.2, s
Let o = 1606 + -1682. Sort -5, -0.3, o, 2 in decreasing order.
2, -0.3, -5, o
Let s = 2 - -2. Let q = s - 1. Let l = -3/55 - -36/55. Put l, 5, q in incr