0 = -i*x + 2*h - 12. Put x, c, 3 in increasing order.
x, 3, c
Let v(g) = -2*g**2 - 125*g - 414. Let o be v(-59). Suppose -2*b + 3*b - 3 = 0. Sort 1, -5, o, b in decreasing order.
b, 1, o, -5
Let u = -91773 - -91770. Suppose 0 = 4*c - 0*c. Put u, -5, c, 7 in descending order.
7, c, u, -5
Suppose -q = -14 + 19. Suppose 7*f = -18 + 4. Sort 5, f, q, 3.
q, f, 3, 5
Let r = -190 - -366. Let m = 181 - r. Put -2.2, m, -3 in decreasing order.
m, -2.2, -3
Suppose 1 = -z - 1. Let t = 27985 + -27988. Sort t, -0.5, z, 0.07 in decreasing order.
0.07, -0.5, z, t
Let i = -69 + 104. Suppose 7*k = -0*k - i. Sort 30, k, -4 in decreasing order.
30, -4, k
Let c be (-3)/(-6)*(-11 - -7). Sort c, -44, 9 in decreasing order.
9, c, -44
Let n = 4138.04 - 4138. Sort 2/3, 5, -0.1, n in descending order.
5, 2/3, n, -0.1
Let g = -141.5 - -10. Let m = 132 + g. Let v = -10/11 + 72/55. Put 4, v, 2, m in descending order.
4, 2, m, v
Let h be 6 - 5/15*-3. Suppose 7*l = -h*l - 9*l. Sort 29, l, -4.
-4, l, 29
Let x be ((-26)/(-5))/(32/(-1200)*-15). Sort 4, -4, x, -1, 3 in decreasing order.
x, 4, 3, -1, -4
Let p be (6/(-4))/(102/8). Let w(r) = 3*r**2 + 46*r - 311. Let s be w(5). Let x = 0.05 + -3.05. Put x, s, p in decreasing order.
p, x, s
Let o be 2*(-2 - ((-2)/4)/((-37)/(-777))). Put -11, o, 3 in decreasing order.
o, 3, -11
Suppose 2*y + 16 = 3*r, 188 - 176 = 3*r. Let v(h) = -3*h + 12. Let o be v(10). Sort o, y, 3 in increasing order.
o, y, 3
Suppose 0 = -v - 2, 3*v + 6 = -q - 4*q. Suppose -5*t + 5 = p - 23, 2*t = -4*p + 22. Suppose -7*y - 8 = -t*y. Sort y, 3, q in decreasing order.
3, q, y
Suppose -4*h + 13 = -y + 2, -2*h - 12 = -4*y. Sort y, -3, 210, -5, 0.
-5, -3, 0, y, 210
Let m = -677 - -673. Let b = 16 + -21. Put 4, b, 1, m in ascending order.
b, m, 1, 4
Let w be -3 - -2 - (12/(-2) - -3). Suppose -2969 = 192*v + 103. Sort 3, w, -5, v in increasing order.
v, -5, w, 3
Let p = -167 + 185. Suppose 4*i - p = 2*v, -7*v + 3*v + 29 = 5*i. Sort -3, v, -2, 24 in decreasing order.
24, v, -2, -3
Let a = 18281 + -17921. Put -0.3, a, -5 in ascending order.
-5, -0.3, a
Let j = -7271 + 7276. Sort j, -2, -3, 4, -5.
-5, -3, -2, 4, j
Suppose 104 = -147*w + 155*w. Suppose -g + 3*b = -2, -4*b - 9 + w = 0. Sort g, 3, 1 in decreasing order.
g, 3, 1
Let o(c) = 2*c**3 + 2*c**2 - c. Let l be o(1). Suppose -261*v - 30 = 5*m - 264*v, 3*m = -4*v + 11. Sort m, 12, l in decreasing order.
12, l, m
Let b = 36792 + -36787. Let j = 0.8 - 3.8. Sort -2, 4, b, j in increasing order.
j, -2, 4, b
Let m = 463 - 466. Let f = -8 + 13. Sort m, 2, 13, f in ascending order.
m, 2, f, 13
Let g be (-1245)/(-332)*(-20)/(-15). Sort -2/9, -0.39, g in descending order.
g, -2/9, -0.39
Let t = 11 + -7. Let k = 12653/6 - 2108. Sort 0.1, 3/4, k, t in decreasing order.
t, k, 3/4, 0.1
Let p be (-16)/(-144)*-2*(2 - (1 + -2)). Sort 3, p, -4, 2/3, 35 in decreasing order.
35, 3, 2/3, p, -4
Let a(z) = 4*z**2 + 34*z - 366. Let i be a(7). Sort i, -5, 5, 3 in increasing order.
-5, 3, 5, i
Let j be (8/3)/((-2468)/1851). Sort -80, 9, j.
-80, j, 9
Suppose d - 5*s = 29, 4*s = 4 - 0. Sort -5, 1, d, 9, -1.
-5, -1, 1, 9, d
Let m(o) = -2*o**3 - 34*o**2 + 34*o - 31. Let i be m(-18). Suppose -5*d - 4*j = 17 + 1, 4*d + 3*j + 14 = 0. Put d, i, -55 in ascending order.
-55, d, i
Let t = -174 - -184. Let j = -15 + t. Put 0.15, -4, j in increasing order.
j, -4, 0.15
Let s = 84 + -74. Let t be 96/(-216) - 16/(-36). Sort t, -4, s in decreasing order.
s, t, -4
Let v = 885 + -567. Let u = -214 + v. Let c = -109 + u. Sort c, 7, 1, -0.5 in increasing order.
c, -0.5, 1, 7
Let w = -283 + 2267/8. Let d = 123.91 - -1.09. Let k = d - 121. Put -1/2, k, w in decreasing order.
k, w, -1/2
Let z(p) = 19965*p - 179685. Let g be z(9). Suppose -i + 0*i = 9. Sort -5, i, g in descending order.
g, -5, i
Let u(w) = -w**3 - 12*w**2 - 2*w - 14. Let h be u(-12). Suppose 26*i + 36 - h = 0. Sort 7/5, i, -1.6 in increasing order.
-1.6, i, 7/5
Let r = -6.74 + 4.74. Let v = -452 + 476.7. Let c = v - 25. Sort -0.5, 0.3, c, r.
r, -0.5, c, 0.3
Let p = 124.1 + -124. Let q = 4 - 4.3. Let b = -23/10 + -11/5. Sort -3, b, q, p in ascending order.
b, -3, q, p
Let w(z) = z**2 - 2*z. Let v be w(1). Let d(u) = u**3 + 2963*u**2 - 23761*u - 56. Let g be d(8). Put g, v, 5, 9 in increasing order.
v, g, 5, 9
Suppose -15*x + 18 + 4 = -23. Sort 2401, x, -1.
-1, x, 2401
Let r = -56 - -154. Let x = r + -137. Let b = 38.96 + x. Sort b, -0.1, -2, 4 in descending order.
4, b, -0.1, -2
Suppose -3*c + 25 = 2*c. Suppose 2*y = 2*q - 0*y - 20, 4*y + 35 = 3*q. Suppose -h = u + q, 0 = 4*h + 3*u - 2*u + 14. Put c, h, 6 in increasing order.
h, c, 6
Suppose -4*y - 2*d + 20 = 0, -4*y + 3*d - 6*d + 22 = 0. Suppose 4*q - 38 = -5*s, -5*s + 61 - 37 = 2*q. Put y, s, -4, -1 in decreasing order.
y, s, -1, -4
Suppose -5*t - 30 = -32*x + 29*x, 4*t + 24 = 2*x. Put -331, 0.4, x in decreasing order.
0.4, x, -331
Suppose 5*v = 34*v + 377. Let u be (4/12)/((-2)/12). Put v, -3, 2, u in ascending order.
v, -3, u, 2
Let u = 99/1190 - -2/119. Let q = 0.2298 + -0.2298. Put q, -0.1, u in descending order.
u, q, -0.1
Let n be 36/10*(-10)/(-6). Suppose -n*p - 8*p + 56 = 0. Put p, 0, 1/4, -1/11 in descending order.
p, 1/4, 0, -1/11
Let x be ((-177)/14)/((-438)/(-144) - 3). Let n = x + 303. Let z = 0.02 - -0.01. Put n, z, -0.3, -4 in descending order.
z, -0.3, n, -4
Let v = -21105.5 + 21106. Sort v, 1, 3/7 in descending order.
1, v, 3/7
Let x = 19976 - 19974. Sort 55, -2, 4, x in decreasing order.
55, 4, x, -2
Let o = 1143 + -1139. Let z = -7 - -7.78. Let g = z - -0.22. Sort o, g, -10 in decreasing order.
o, g, -10
Let p = -21352 + 21351. Sort 4, 79, p in increasing order.
p, 4, 79
Let h = -36097 + 36090. Let t = 3 + 1. Put t, -0.2, h, -1/3 in descending order.
t, -0.2, -1/3, h
Let p(f) = f**2 - 5*f + 8. Let n be p(4). Suppose -3*a - 2 = -8. Suppose m + m = -u - 6, -3*m = 5*u + a. Sort m, 2, n in descending order.
n, 2, m
Let m = 3490/39 - 171/13. Let g = 32 + 44. Let d = m - g. Put d, 2, -4, 2/7 in increasing order.
-4, 2/7, d, 2
Suppose 0 = 2*w + 7*x - 3*x + 18, 0 = 2*w - 5*x. Sort -0.2, w, -0.05, -2, -33 in increasing order.
-33, w, -2, -0.2, -0.05
Let b be (-12)/(-174) + (-234)/870 + 1428/15. Put 3, 1, b, 4 in increasing order.
1, 3, 4, b
Let g be -1*((-540)/105)/18. Let o = -2 - -2.2. Sort g, o, 1 in increasing order.
o, g, 1
Let k(p) = 61*p - 545. Let g be k(9). Put g, -1/6, 29 in descending order.
29, g, -1/6
Let a(n) = -n**3 - 9*n**2 + 6*n + 5. Let b be a(-10). Let w be ((-72)/b)/((-7)/5 - -1). Put 38, w, 9 in decreasing order.
38, 9, w
Let o = -0.02 - -2.02. Let q(i) = -38262*i + 114783. Let r be q(3). Sort r, -8, o, 0.5.
-8, r, 0.5, o
Suppose 4*l - 120 = -4*j, -150 = -2*l - 3*l + 4*j. Suppose -g - 34 = -l. Let z = -7 - -12. Sort 4, g, z in ascending order.
g, 4, z
Let j = 19.16 + -19. Let p = -0.0124 - -0.3124. Sort j, -5, p.
-5, j, p
Let v be 18/((-360)/70) + (-20)/(-8). Sort v, -5, 3, 12, -4 in increasing order.
-5, -4, v, 3, 12
Let b = -50 - -427. Let t = b - 382. Sort -2, t, 2, 0 in decreasing order.
2, 0, -2, t
Let s = 43 + -218/5. Let f(y) = 2*y + 19. Let h be f(-8). Let p be h + -1 + -6 + (-60)/(-14). Put s, 5, -2/5, p in descending order.
5, p, -2/5, s
Let m = -2.0155 + 0.0155. Sort m, 1.3, 4/3, -1.
m, -1, 1.3, 4/3
Let g = 0.01 + 0.39. Let c = 123958.9 - 123959. Put g, c, -0.2, -0.3 in descending order.
g, c, -0.2, -0.3
Let b = 344 + -4470/13. Suppose 927*m + 323*m = -1084*m - 11670. Put b, m, -4/17 in increasing order.
m, -4/17, b
Let g be (0 + -1 + 0)*(-105)/(24 - 3). Suppose 0 + 2 = t. Let s be -3 + g/20 - (-1 - t). Sort s, -5, 0.2, -0.5 in decreasing order.
s, 0.2, -0.5, -5
Let d(z) = -z**3 - 4*z**2 - 3*z - 3. Let v be d(-3). Suppose -52*g + 175*g = 246. Put v, -1, 27, g in decreasing order.
27, g, -1, v
Suppose -89 - 109 = 18*f. Let v(l) = l**2 - 128. Let r be v(f). Put 2/5, -1, 2/11, r in descending order.
2/5, 2/11, -1, r
Suppose 3*y = 4*w - 3*w + 7, 2*y = 3*w. Let c be w + (2 - (4 - 2)). Suppose -z + 4*f - 14 = 0, 4*z - f = 2*f - 17. Sort -3, z, -4, c in ascending order.
-4, -3, z, c
Let g = 41.4 - 41.3538. Let k = g + 0.4538. Sort 1/4, -8, k in descending order.
k, 1/4, -8
Let o = -7.4 + 6.883. Let w = -0.117 - o. Let b = -1.92 - 0.08. Put w, b, -3/2 in increasing order.
b, -3/2, w
Let p be 3 + -3 - (-8)/18. Let 