 l = -4.29 - -8.98. Let x = 4.39 - l. Put 3/59, x, 1 in descending order.
1, 3/59, x
Suppose 3*c - 2*v = -0*v, 0 = 4*c - 4*v - 4. Sort c, 36, -1, 32 in descending order.
36, 32, -1, c
Let x = 3792 - 3795. Let u be (-5)/(-20) + 19/4. Put x, u, 1 in decreasing order.
u, 1, x
Suppose 15 = 5*z - 5, 12 = 5*q + 3*z. Let j be -3 - 6/(-2)*(-40)/6. Let b = j + 21. Put b, q, -0.1 in increasing order.
b, -0.1, q
Suppose y - 8 = 2*s, -4*s - s = -y + 20. Suppose y = g + 3. Suppose -3*b - 10 = 5*m, 2 = -260*b + 265*b - m. Put 3, b, -5, g in descending order.
3, b, g, -5
Suppose 0 = -12*b - 57 + 81. Put b, 3, -1, 957 in decreasing order.
957, 3, b, -1
Let q = 0.9 - 0.9. Let k = 57620 + -57620.118. Put q, k, -2/9 in ascending order.
-2/9, k, q
Suppose 0 = 8*g - 75 + 35. Suppose -63*t + g = -62*t. Let o be -2*1 - 4/2. Sort o, 4, t, -1 in decreasing order.
t, 4, -1, o
Let i(q) = q**2 - 11*q - 249. Let d be i(23). Suppose -4*y - 20 = -4*k, 3*y + 3*k = -0*k - d. Suppose 3*h - 6*h = 0. Put y, h, -4 in ascending order.
y, -4, h
Let j = -13 + 13.09. Let p = -69 + 64.1. Let y = -4.5 - p. Put y, j, 0 in increasing order.
0, j, y
Suppose 0 = -53*b - 5 - 313. Sort 5, 10, b, 2 in descending order.
10, 5, 2, b
Let c be ((-642)/10)/(57/285). Let f = c - -343. Put f, 0, 9 in descending order.
f, 9, 0
Suppose -2*t + 2*o + 6 = 0, -4*o - 131 = -4*t + 17*o. Sort t, 5, 1060, 3, 0 in decreasing order.
1060, 5, 3, 0, t
Let s = 7161 + -7181. Sort s, -77, 5, -5, 3.
-77, s, -5, 3, 5
Let c = -15 - 178. Let b = c - -188. Put 24, b, -4 in increasing order.
b, -4, 24
Let v = -194 + 203.9. Let z = -10 + v. Let i = 2/71 - 290/213. Put -0.2, i, z in descending order.
z, -0.2, i
Let f = 25502 - 25513. Sort 0, f, -159 in decreasing order.
0, f, -159
Let x be (-7 + (22 - 18)/(4/6))*1. Put x, -9, 0.04, 9/7 in decreasing order.
9/7, 0.04, x, -9
Let r be 3/(-24)*2 - (-606)/(-8). Suppose -q + 217 = 3*f, -2*q = -5*f - q + 351. Let k = f + r. Sort 3, 20, k.
k, 3, 20
Let z(p) = 62*p**2 - p - 3. Let k be z(-1). Suppose -5*i + 0*a + 2*a = 289, -3*i - a = 180. Let u = k + i. Sort u, 7, 3, 4 in descending order.
7, 4, 3, u
Let b be (-2 - -7)/((-2)/(-8)*(7 - 11)). Sort -2, 1, 3, b, 18.
b, -2, 1, 3, 18
Let x = 6799 - 6808. Sort 25, x, 1.
x, 1, 25
Let o = 120 + -119.9. Let n = 597 - 596. Sort n, 3, o, -7/5 in decreasing order.
3, n, o, -7/5
Suppose -3*m + 21 = -5*v, -174*m + 173*m + 5 = -v. Let l be 5*(-1 - 14/(-10)). Sort 4, l, 1, v.
v, 1, l, 4
Let s(i) = i**2 + 7*i - 368. Let q be s(-23). Sort 5, 383, q in descending order.
383, 5, q
Let d = 0.5134 + 11.4866. Sort 0.3, -4, 3, d in descending order.
d, 3, 0.3, -4
Let z be (-5)/(-6) + (-2)/4. Let l(s) = -s**2 - 329*s + 4094. Let n be l(12). Sort z, -16, n in descending order.
n, z, -16
Let s(m) = -m**2 - 3*m + 1. Let d be s(-4). Let v = 0.010003 - 0.000003. Sort d, 0.02, v in descending order.
0.02, v, d
Suppose -135 - 250 = -323*f + 584. Let k = 0 + -8. Sort f, 15, k in descending order.
15, f, k
Let a = -3137.53 - -3138. Put -5, 0.05, a in descending order.
a, 0.05, -5
Let i = 0.842 - -0.158. Let t = -3 + i. Let n be 9/2*(-4)/(-24). Sort -0.4, n, t in descending order.
n, -0.4, t
Let x = -137 + 137. Let l = 2 + -2.3. Let f(n) = n**2 + 5*n - 5. Let q be f(-6). Put q, l, 0.5, x in descending order.
q, 0.5, x, l
Let i = 25.9882 + -3.9882. Sort 5, -2, 4, 8, i.
-2, 4, 5, 8, i
Let a = -2132/3189 - -2/1063. Let y = 16 - -4. Sort a, -1/4, y in descending order.
y, -1/4, a
Let f(d) = d**3 + 22*d**2 - 157*d - 1827. Let n be f(-12). Put n, -3, -5 in descending order.
n, -3, -5
Let q = 0.706 - -3.264. Let z = q - -0.03. Let m = 3310.511 + -3310.311. Put 3, 0.1, z, m in ascending order.
0.1, m, 3, z
Let d = -4341 + 4343. Sort 10, d, 0, 33.
0, d, 10, 33
Let w(z) = 3*z - 41. Let a(b) = -b. Let i(o) = 2*a(o) - w(o). Let l be i(10). Let t = 38 + -37. Put l, t, -0.4 in decreasing order.
t, -0.4, l
Let a = -2181 - -2185. Suppose -4*p + d = -0*p + 67, 2*p = -4*d - 20. Put -5, a, -1, p in decreasing order.
a, -1, -5, p
Suppose 55*v + 34*v - 900 = -91*v. Sort -2/7, 2, v, -51 in decreasing order.
v, 2, -2/7, -51
Suppose l - 7*a - 6 = -6*a, 2*l + a = 21. Let s be ((-10)/(-15))/((-38)/l - -4). Put -4, -2, s in decreasing order.
-2, s, -4
Suppose 0 = 2*x - 2*h + 12, -5*x - h - 33 = -5*h. Let c(v) = 24*v + 278. Let o be c(x). Put 2, o, 4 in descending order.
o, 4, 2
Let l = -0.25 + 1.25. Let b = -5.4 + 4.6. Let x = l + b. Sort 1/7, x, 1/6 in ascending order.
1/7, 1/6, x
Suppose 0 = -11*l + 9*l + 5*n, 0 = -3*l - 4*n - 23. Sort -0.05, l, 0.3 in increasing order.
l, -0.05, 0.3
Let i = 1 - 0.7. Let w = -42.03 - -18.03. Put 1/9, w, i in decreasing order.
i, 1/9, w
Let a be 2/7 - 10/875*60. Let w = -47 + 47. Sort a, -0.5, w in decreasing order.
w, a, -0.5
Suppose -4*s - 4*b + 2 + 6 = 0, 4*s = 5*b + 35. Let m be (-15)/12 + (-7)/(-28) + 1. Put -45, m, 4, s in descending order.
s, 4, m, -45
Suppose 0 = -413*y - 50*y - 926. Suppose 32 = 5*g + 7. Put 4, -86, y, g in ascending order.
-86, y, 4, g
Let r = 17249 + -17249. Sort -0.5, r, -5, -439/3 in descending order.
r, -0.5, -5, -439/3
Let q(t) = -2*t**3 + 17*t**2 - 7*t - 16. Let f be q(8). Let y(x) = 2*x**2 + 25*x + 60. Let z be y(f). Put z, 4, 1 in increasing order.
z, 1, 4
Suppose -5*d - 4*y = 61, 16 = -19*y + 15*y. Let g = 5 - d. Sort 1, g, 3, -1 in descending order.
g, 3, 1, -1
Let s(i) = -2*i**3 - 8*i**2 - 29*i - 113. Let j be s(-4). Put 5, -2, j, -3, 15 in ascending order.
-3, -2, j, 5, 15
Let p be 12/105 + (-2)/(-7). Let t = -620 - -239. Let x = t + 1523/4. Put x, 2/3, -1/2, p in ascending order.
-1/2, x, p, 2/3
Suppose -7*o - 17848 = 4*f - 9*o, 2*f - 2*o + 8922 = 0. Sort -1/5, f, -3 in ascending order.
f, -3, -1/5
Let t = 175.6 - 175.8. Put 5, 4, 1/5, t, -1/25 in ascending order.
t, -1/25, 1/5, 4, 5
Let l = 3995 - 3994. Sort -7/2, l, 0.2, -0.2, -1.
-7/2, -1, -0.2, 0.2, l
Let y = -528 + 520.3. Let k = y - -8.2. Let r = -1.99 - 0.01. Sort r, -2.2, k.
-2.2, r, k
Let x(f) = f**3 - 6*f**2 - f + 4. Let j(m) = -1. Let d(p) = 4*j(p) - x(p). Let u be d(6). Suppose -2*g + 16 = -2*y, 0 = g + 2*g - 15. Sort -5, u, y.
-5, y, u
Let z(v) = v**2 - 17*v + 40. Let o be z(14). Put 91, o, -1, -3 in increasing order.
-3, o, -1, 91
Suppose -164*t + 29*t - 540 = 0. Sort 7, t, 5 in descending order.
7, 5, t
Suppose 5*t = 3*f + t + 22, 2*f - t = -3. Sort 5, f, -1013 in increasing order.
-1013, f, 5
Let z(g) = g**2 + 11*g + 2. Let p be z(-11). Suppose -1039 = 8*h - 3903. Let o = h + -354. Put -1, o, 5, p in decreasing order.
5, o, p, -1
Let z = 13235 + -13242. Sort -27, -3, z, 2.
-27, z, -3, 2
Let y = -54 - -56. Suppose -3*w + g + 245 = 0, -4*w - 5*g + 331 = -y*g. Let v be w/20 + -5 - -1. Put 3/2, 0.2, v, -0.25 in ascending order.
-0.25, v, 0.2, 3/2
Let a = 293 + -294. Let y = -40 + 43. Put 1, y, 5, a in decreasing order.
5, y, 1, a
Let k(g) be the first derivative of 3*g**2/2 + 12*g - 22. Let s be k(9). Let w = s - 37. Sort -1, -20, w in increasing order.
-20, -1, w
Let v = 4128 - 2929. Suppose -18*w + 353 = v. Sort 1, 5, w in ascending order.
w, 1, 5
Suppose -267 + 303 = -12*o. Sort o, 0.1, -4, 1, -10.
-10, -4, o, 0.1, 1
Let p = 4096 + -4103. Sort 1, p, 3.7 in descending order.
3.7, 1, p
Let n = -591/5 - -118. Let f = 42.4 + -43. Let t = 2.6 + f. Put t, 0, n, 1 in decreasing order.
t, 1, 0, n
Let c be (-1 + (-14)/(-28))*12. Suppose 2*k = 36 - 6. Sort c, k, -2, 5 in decreasing order.
k, 5, -2, c
Suppose 4*g = g. Let s be ((-45)/84 - (-6)/21)*-8. Suppose p - 2*l + 1 = 0, 0 = 3*p + 3*l + s*l - 30. Put g, -2, p, 2 in ascending order.
-2, g, 2, p
Let n(x) = 6*x. Let q be n(1). Suppose -q*w = -w - 55. Let g = 4155 + -4153. Sort w, -5, g.
-5, g, w
Suppose 0 = y - 2*u + 8, 13 = -0*y + y + 5*u. Let c = -4.72 - -4.6524. Let i = -0.3676 - c. Put 5, i, y in descending order.
5, i, y
Let z be 3/(-1) + (-3 - (3 - 3)). Let f be 13 - (1 - z) - (3 - -1). Put 0.3, -4, -0.3, f in decreasing order.
f, 0.3, -0.3, -4
Let o(l) = 4*l**3 + 168*l**2 - 351*l + 41. Let m be o(-44). Suppose 4*g + 8 = 3*g. Let x = g - -13. Put 1, x, m in decreasing order.
x, 1, m
Let t be -1 + 35 + (-2 - (-5 + 8)). Suppose -t = 5*f + j, 5*j - 10*j = 2*f + 30. Sort 6, f, -2, -3 in decreasing order.
6, -2, -3, f
Let d = 282 + -278. Suppose 5*g + 220 = 5*c, -132 = -3*c - 0*c - 4*g. Put d, c, 0 in ascend