se -5 = v - p, -3*v - 3*p = -2*p + 7. Let n be s(v). Sort -13, 5, 4, n in ascending order.
-13, n, 4, 5
Let c be -4 - (3 + 0 + -2). Let o be ((-24)/28)/3 - 278/7. Sort 1, c, o in ascending order.
o, c, 1
Suppose 5*d - 2*g = -5 - 3, -2*g = 5*d + 12. Suppose 3*r + 35 = 5*i, i - 28 + 9 = 3*r. Let v be ((-1)/(-5))/(i/5). Put v, -0.01, d in decreasing order.
v, -0.01, d
Let q(s) = 4*s + 73. Let t be q(-18). Sort -3, 4, 5, t.
-3, t, 4, 5
Suppose -3*d - 8*d + 22 = 0. Suppose -d*a - 6*a = 16. Let t(m) = m**3 + 7*m**2 + 2*m + 10. Let i be t(-7). Put a, 4, i in descending order.
4, a, i
Let z be 24/(-32)*(2 + -6). Let f be (z - (-3 - -7))*1. Let x be -2*((-1 - -2) + 0). Sort x, f, 5 in decreasing order.
5, f, x
Let j = -21.3 + 11.6. Let r = j - -9.5. Put -5, -0.6, r in decreasing order.
r, -0.6, -5
Let s = 2873 + -2862. Put 0, s, 1 in descending order.
s, 1, 0
Let u be 4*(1 - (-9)/(-6)) - 2. Put -3, 3, u, 1 in increasing order.
u, -3, 1, 3
Suppose -c = b - 2, c - 2*b = -5*b + 10. Let o(i) = -i**2 + 5*i - 2. Let q be o(4). Suppose -q*p + 9 = 3. Sort c, p, -4 in ascending order.
-4, c, p
Let j be (-4)/(-32)*-2 - 22/8. Let x be (5/(-10))/(3/(-6)). Put -2, x, j in increasing order.
j, -2, x
Suppose 0 = -3*t + 26 - 17. Sort 0, t, 50 in increasing order.
0, t, 50
Let g = 38 - 24. Let m = g - 10. Sort m, 2, 3 in decreasing order.
m, 3, 2
Let m be (2 + 6)/4*-10. Suppose 0 = 4*i - 45 - 47. Let t = i + m. Put -5, t, -2 in decreasing order.
t, -2, -5
Suppose -46 = 3*i - 49. Let n(g) = 5*g. Let o be n(i). Sort o, 1, -3 in decreasing order.
o, 1, -3
Let l(i) = i**3 + 22*i**2 - 49*i - 27. Let m be l(-24). Put -0.5, m, -2/15, -3/7 in descending order.
-2/15, -3/7, -0.5, m
Suppose -3*n - 3*j + 26 = -67, -1 = j. Suppose f = -3*r - 0 + 5, 0 = -5*f + 4*r - n. Put 0, 1, f in increasing order.
f, 0, 1
Let b = -1805 + 1805. Sort -4, -2, -6, b in increasing order.
-6, -4, -2, b
Let h = -2.5 + 2.58. Let a = -16.6 + 1.6. Let w = a + 16. Sort w, 1/3, h.
h, 1/3, w
Let h = -1/172 + -337/1204. Put 5, 2, h, 0.2 in ascending order.
h, 0.2, 2, 5
Let g = 1.4 + 0.6. Let x = 4.1 + -3.7. Sort 1, x, g in descending order.
g, 1, x
Let h(t) = -t + 20. Let d be h(18). Put -0.1, -1, d in increasing order.
-1, -0.1, d
Let k be (-21)/(-49) + (780/(-35))/3. Let l be 3/6*8/(-1). Put l, 1, -2, k in ascending order.
k, l, -2, 1
Let t = -394 - -394.4. Put 136, 2, t in ascending order.
t, 2, 136
Let q be 1/36 + 4/18. Let l = 2615/3 + -873. Put -3/5, l, -0.7, q in decreasing order.
q, -3/5, -0.7, l
Let s be 30/24*6/5. Let g = 58 + -57.5. Sort s, 3, g in descending order.
3, s, g
Let n = -1722 + 1726. Suppose -d + 5 = -0*d. Put n, 2, -0.05, d in decreasing order.
d, n, 2, -0.05
Let w = -18.1 - -16. Let p = 2.5 + w. Sort 1/5, 4, p.
1/5, p, 4
Let m be -1 + (9/6)/(21/6). Let s = -41.5 - -42. Put s, 2/11, m in increasing order.
m, 2/11, s
Suppose -5*m + 3*q = -40, 0 = -4*q + 5*q + 5. Let a be (-9)/(-5)*95/57. Suppose 0 = r - 3, -5*r = 3*t - 3*r - 18. Put a, m, t in descending order.
m, t, a
Let z be (-18)/171 + 55/(-19). Sort z, 2, -4.
-4, z, 2
Let i be -9*1*(-2)/(-3). Let x = 6 - i. Let b = -11 + x. Put 0, b, 4 in decreasing order.
4, b, 0
Let q = 60 + -60. Suppose -6 = 3*k - s - 2, q = -2*k + 4*s - 16. Let n(f) = f**2 - 7*f + 4. Let a be n(6). Sort k, -4, a in decreasing order.
k, a, -4
Let a be -24*(9/(-6) - -1). Sort -4, -1, a.
-4, -1, a
Let o = -0.1 - -0.3. Let n = -1203 + 1203.03. Sort n, o, 0.1 in descending order.
o, 0.1, n
Let i = -3.928 - -3.9. Let a = -0.072 + i. Let d be 8/6*9/42. Sort d, 3/2, a.
a, d, 3/2
Let i = 168 - 168. Put i, -1, -2, -5 in decreasing order.
i, -1, -2, -5
Suppose 0 = 2*b - 5*b + 84. Let d = b + -21. Let z(a) = a**2 - 6*a - 6. Let l be z(d). Sort -4, 3, l.
-4, l, 3
Suppose -145*b + 9 = -142*b. Put b, -3, -4, 1/5 in descending order.
b, 1/5, -3, -4
Let y = -0.02 + 3.02. Let s = -26.2 - -50.8. Let h = s - 24. Sort y, h, 5 in decreasing order.
5, y, h
Suppose 48 = -8*b + 40. Let t(i) = i + 2. Let a be t(6). Suppose -p + 14 = -5*q + p, -a = 5*q + p. Put 1, q, b in decreasing order.
1, b, q
Suppose 0 = -3*z + 69 + 39. Let r = z + -73/2. Put -21, r, 5 in ascending order.
-21, r, 5
Let b(k) = -k**3 + 7*k**2 - 6*k - 4. Let q be b(6). Let w = -271 - -275. Put q, 3, 2, w in ascending order.
q, 2, 3, w
Let j be 840/(-28) + (-1 - 12). Put j, 2, 4 in increasing order.
j, 2, 4
Let i(a) = -a**2 - 2*a + 1. Let b be i(-2). Suppose 0 = 5*o - 5, -4*o - 18 = -5*k - 2*o. Suppose -2*u - 12 = k. Put u, b, 0 in increasing order.
u, 0, b
Let s = -31 + 97/3. Let g = s + -2/3. Sort g, -11/8, 1 in ascending order.
-11/8, g, 1
Let n = 0.067 + 1.013. Let q = -0.88 + n. Sort -5, 1/2, q, -1 in descending order.
1/2, q, -1, -5
Suppose 0 = -4*q + b - 17, 18*q = 16*q + b - 9. Sort 2, q, 306 in descending order.
306, 2, q
Let c = 617 + -3084/5. Sort c, 2/11, -2/13 in decreasing order.
c, 2/11, -2/13
Let t(b) = 3*b**3 - 2*b**3 - 22 + 18*b**2 + 137*b - 121*b. Let d be t(-17). Sort 1, -3, 0, d in decreasing order.
1, 0, -3, d
Let x = 26.623 + 0.177. Let q = 24 - x. Let z = q + 2.86. Sort -3, z, -2 in descending order.
z, -2, -3
Suppose -4*y - 2*o + 0*o = -2, -5*y + 5*o + 10 = 0. Suppose 5*c = 3*f - 28 - 12, 4*f + 3*c - 5 = 0. Sort 3, y, -6, f in decreasing order.
f, 3, y, -6
Suppose 2*r = -3*w, 7 = 8*w - 10*w + r. Sort w, -230, -5 in decreasing order.
w, -5, -230
Let r = -32.55 - -32. Let q = r + 0.15. Sort 2, q, -16 in increasing order.
-16, q, 2
Suppose 253 - 223 = -10*f. Put -172, 1, f in increasing order.
-172, f, 1
Let h = -179 - -174.31. Let f = -0.31 + h. Let z = 0 + 0. Put 0.2, z, f in decreasing order.
0.2, z, f
Suppose 4*v + o = 17, 9 - 5 = 2*v - 4*o. Suppose h = -h - 2. Let l be (3 - 1)/(h/2). Sort v, l, -5 in descending order.
v, l, -5
Let b = -3.874 + -0.126. Let g = -7 - -4. Put b, g, 2/3 in increasing order.
b, g, 2/3
Let o = -0.228 + 31.828. Let h = o + -32. Sort 1/7, 0.3, h.
h, 1/7, 0.3
Let m be (-44 + 11)/(-11) + (-26)/8. Put m, -26, 1.4 in descending order.
1.4, m, -26
Let k be (-1)/(-1) + 1540/420. Sort k, -5, -4, 6.
-5, -4, k, 6
Let v = 788 - 788. Sort v, -2/5, -4, -1.
-4, -1, -2/5, v
Let c = -4 + 0. Let x be (-1 + -5)/((-4)/6). Suppose -6*f + x + 9 = 0. Sort c, 2, f in increasing order.
c, 2, f
Let d be 0/(-4) + 1*5. Let l = 93 - 89. Suppose 2*z - l*c = 0, -2*z + 36 = -d*z - 3*c. Sort z, -0.4, -4/3 in descending order.
-0.4, -4/3, z
Let f = -140 + 171. Sort -4, 6, f in descending order.
f, 6, -4
Let o be ((-4)/8)/((-1)/6). Let f(v) = -v**3 - 6*v**2 - 6*v - 5. Let x be f(-5). Sort -4, o, x in decreasing order.
o, x, -4
Suppose 6*b - 60 = b. Let d = -217 - -216.6. Sort 0.2, b, d.
d, 0.2, b
Let x = -51/35 - -13/7. Suppose 9*z - 10 = 4*z. Suppose 5*s + 8 = -q + z*q, 3*q - 14 = 5*s. Sort -0.4, x, s in increasing order.
s, -0.4, x
Let d = -675.6 + 676. Sort d, -2/7, 1/4, -1/4 in decreasing order.
d, 1/4, -1/4, -2/7
Suppose -49 = -2*o - 47. Sort o, 0, -4.
-4, 0, o
Let d = 7.07 + -8.27. Put d, 2, 0, -0.5 in descending order.
2, 0, -0.5, d
Let f be 4/(-1) + (-3)/(-6 + 9). Put f, 12, 2 in ascending order.
f, 2, 12
Let b = -46/75 - -1/75. Put 11, 0, -0.5, b in descending order.
11, 0, -0.5, b
Let w = 352 + -355. Put 5, 1, 0, w in decreasing order.
5, 1, 0, w
Let q be 133/171 - 1 - 191/(-9). Put -7, q, 2 in increasing order.
-7, 2, q
Let v = -7 - -2. Let q = -2 - v. Let h = -292 + 292.4. Sort -1, q, h in increasing order.
-1, h, q
Let s be (-90)/(-6)*2/(-6). Let f = 88 + -89. Put 5, f, s in decreasing order.
5, f, s
Let m(w) = -5*w**2 - 16*w - 7. Let p(v) = 14*v**2 + 49*v + 20. Let f(q) = 17*m(q) + 6*p(q). Let x be f(22). Sort -8, x, 2 in increasing order.
-8, x, 2
Let h = -0.261 + 0.031. Let n = h + 18.23. Let f = n - 17. Put 0.05, 0, f in descending order.
f, 0.05, 0
Suppose -4*s + 1 = -3*u + 3, 4*s + 4 = 2*u. Sort 1, 9, s.
s, 1, 9
Let d be -1 + 3 + 24/(-14). Let l = -0.471 - 3.529. Sort 5, l, d in decreasing order.
5, d, l
Let d = -16/9 + 13/9. Suppose -z - 1 = k, -6 = 2*z - 3*k + 1. Put z, 0.1, 1, d in descending order.
1, 0.1, d, z
Let s be ((-112698)/(-21) + -4)/(-26). Let o = 1437/13 + s. Let j = 96 + o. Sort j, 0, -0.2 in descending order.
j, 0, -0.2
Let c(y) = -y**2 - 25*y - 26. Let n be c(-24). Let h be -7 + 7 - (n + 5). Put -9, 1, h, -1 in ascending order.
-9, h, -1, 1
Let f = 87.5 - 90.