 v - 2. Put m, n, 0 in descending order.
m, 0, n
Let o = -35 + 39. Suppose 4*w + 3*c - 15 = -0*c, -o*w - 2*c + 14 = 0. Suppose 0*u + 11 = 4*b + u, -25 = -5*b - 5*u. Put w, b, 1 in descending order.
w, b, 1
Let z = -28 - -23. Let k = -7753 - -7735. Sort -1/2, 1, z, k in ascending order.
k, z, -1/2, 1
Let i = 121 + -126. Let s be 19/4 + (i - (-4 + 4)). Put s, -3/5, 5 in increasing order.
-3/5, s, 5
Let k(j) = -j**2 + 66. Let n be k(-8). Put n, -5, 37, -29 in descending order.
37, n, -5, -29
Let f = -1/50 + 14/75. Suppose 72*o + 163 = 91. Sort 1/3, 4, o, f in decreasing order.
4, 1/3, f, o
Let r = -1.12 - -0.98. Let h = -0.16 + r. Let k = 0 + 0. Sort k, -3, h.
-3, h, k
Let x = -247/526 + -8/263. Suppose 5*l + 137 = -63. Let o = 161/4 + l. Sort x, o, 11 in descending order.
11, o, x
Let p(l) = l**2 + 135*l + 889. Let q be p(-7). Sort q, 5, -3, 3 in descending order.
5, 3, -3, q
Let z = -6927 + 6918. Sort 52, 0, z in descending order.
52, 0, z
Let w = 0.49 + -0.59. Let l = 1696/3 - 566. Sort -5, l, w, -1.
-5, -1, l, w
Let x = -11.4 + 11.3. Sort -2/127, -2/19, x, 0.1, 2/3 in decreasing order.
2/3, 0.1, -2/127, x, -2/19
Suppose 188*l = 39*l - 745. Let r = -0.24 + -0.06. Put l, -43, r in descending order.
r, l, -43
Suppose 49 = 2*m + 7. Let i = 3626 + -3630. Put m, i, 5 in descending order.
m, 5, i
Suppose 2*s - 4*s + 62 = -t, -4 = -2*t. Suppose 49*g - s*g - 119 = 0. Sort 0, -2, g, -3.
-3, -2, 0, g
Let n = -60 - 8. Let c = -7.9 + -57.1. Let r = n - c. Put 0, -0.3, r in increasing order.
r, -0.3, 0
Suppose -t - 13 + 29 = -2*m, -m = -5*t + 35. Put -2, -3, 2, m, 816 in decreasing order.
816, 2, -2, -3, m
Let w = -238 - -140. Let p = -97 - w. Put -5/2, p, 2/9, -31 in increasing order.
-31, -5/2, 2/9, p
Let z = 26138 + -26090. Sort 4, z, 39 in increasing order.
4, 39, z
Suppose 92*o - 199*o - 22 = -96*o. Sort 4, 29, -1, 5, o in increasing order.
o, -1, 4, 5, 29
Let a(j) = 2*j**2 + 8*j. Let m be a(-4). Put -6, m, 1, -2 in increasing order.
-6, -2, m, 1
Let b(k) = k + 6. Let i be b(-6). Let q = 122 + -349. Let t = 225 + q. Sort i, -6, t in decreasing order.
i, t, -6
Let v = -1.1 - -0.1. Let u = 6 - 2. Let a = 47275 + -47275.1. Put v, a, u in decreasing order.
u, a, v
Let s(y) = -5*y**2 + 42*y + 10. Let o be s(8). Suppose 3*a + 4*n = 5*n - 14, 0 = -2*a + 4*n - o. Sort a, -4, -1 in ascending order.
-4, a, -1
Let g(a) = -a**3 - a**2. Let o(k) = -4*k**3 - 28*k**2 + 24*k - 5. Let m(d) = -6*g(d) + o(d). Let h be m(10). Put 0, h, 1 in ascending order.
0, 1, h
Suppose -42 = 2*i + 2*p, -4*i = -5*p + 71 + 49. Let a = -20 - i. Suppose -5*j = 2*v + 23, 0*j - 5*j = -v + 26. Put 2, v, a in descending order.
a, 2, v
Let b = -160 - -164. Suppose -2*c = -5*n - 25, 2*c = 4*n + 5*c + 20. Sort 5, n, b.
n, b, 5
Suppose 0 = -7*i - 5*p - 60, p - 2 = -7. Let a = -0.016 + -61.984. Sort -3, 0.2, i, a.
a, i, -3, 0.2
Let g = 247 + -245. Suppose -2*k = -g + 8. Put 0.2, k, 4 in ascending order.
k, 0.2, 4
Let i = 62 - 60. Let g = 10 + -20. Let j = 5 + g. Sort i, 5, 3, j in decreasing order.
5, 3, i, j
Suppose -5*v + 3*k = -9, 164*v = 167*v - 2*k - 5. Sort 5126, 4, v.
v, 4, 5126
Let a be 2/7*7/9. Let g = 2156.9 + -2250. Let l = g - -93. Put a, l, 0.1, 3 in increasing order.
l, 0.1, a, 3
Suppose 91 = 15*d - 2*d. Suppose 0 = 3*o - 9, d*g - 2*o = 3*g + 378. Let j = 94 - g. Sort j, -10, 1 in ascending order.
-10, j, 1
Let h = 4.7 - 2.37. Let m = h - -1.67. Sort 0.3, m, -1, 0.6 in decreasing order.
m, 0.6, 0.3, -1
Let h = 2.8 + 0.2. Let i = 139274 - 139222. Sort 0, h, i.
0, h, i
Let v(j) = -5*j**2 + 323*j - 205. Let m be v(64). Put m, 0, 23, 7 in ascending order.
m, 0, 7, 23
Let s = -3125 + 3120. Sort s, 0, -323 in ascending order.
-323, s, 0
Suppose -2*b + 8 = 0, -6 = -2*f - 2*b + 3*b. Suppose v = f*g + 10, -5*v - 10 = 5*g - 10*v. Suppose 0*d + 4*d - 16 = 0. Sort g, 1, -1, d in descending order.
d, 1, -1, g
Let v be (-211 + 205)*(-2 - 32/(-12)). Let x = 11 + -7. Put 8, v, x in increasing order.
v, x, 8
Let y = 2 - -1. Let n = -408 - -407.9. Put -2, n, y, -2/7 in descending order.
y, n, -2/7, -2
Let s = 60.03 - -0.97. Let v = s + -63. Suppose 118 - 124 = -3*y. Sort y, -3, v in increasing order.
-3, v, y
Let d be (-26)/(-65) + 52/20. Sort -16, -13, d, 5 in ascending order.
-16, -13, d, 5
Let t = 54/103 - -201/206. Let y = -17/9 - -14/9. Put y, t, -0.2 in decreasing order.
t, -0.2, y
Let y = 1505.3 + -1505.2. Let x be (-2)/(-10) + (-31)/5. Let t be (x/9)/(22/(-6)). Put -1/2, y, 4/9, t in increasing order.
-1/2, y, t, 4/9
Let z(q) be the second derivative of q**4/6 + q**3/3 - 5*q**2 - 7*q. Let w be z(0). Let a = w + 12. Put -0.5, a, 4 in descending order.
4, a, -0.5
Let h = 390 - 443.75. Let y = 1.85 + h. Let m = y + 52. Put 4, m, -2, -3/8 in ascending order.
-2, -3/8, m, 4
Let n = -3321786/5 - -664358. Let r(f) = 8*f - 2*f - 1 + f**2 - 2*f. Let c be r(-5). Put -0.4, -0.5, n, c in ascending order.
-0.5, -0.4, n, c
Suppose 0 = -23*b - 9*b + 8*b. Let w = 0 + 20. Suppose 3*x - w = -11. Sort x, b, 5, -5 in ascending order.
-5, b, x, 5
Let f = -8 - -5. Let c be ((-24)/10)/(1 + 20/(-25)). Let g be 84/(-18)*c/14. Sort g, f, 31 in decreasing order.
31, g, f
Let h be 2*(24/(-9))/(-4). Let n = -4120 - -4125. Sort -0.03, n, 0.2, h.
-0.03, 0.2, h, n
Let v = 1153 - 1156. Sort v, 2, -373.
-373, v, 2
Suppose w + 1 = -p, 23 = -5*w + 2*p - 3. Suppose 4*z - 16 + 9 = -s, z - s = 3. Put w, 23, z in ascending order.
w, z, 23
Let j = -0.1 - 0. Let q = 63/6325 - 3858/6325. Let t = -2270/9 - -252. Sort q, j, t, 1.
q, t, j, 1
Let r = 3746 - 3756. Sort 4, 1, r, -28 in descending order.
4, 1, r, -28
Let y = -2869 - -2912. Sort -3, -1.9, y in increasing order.
-3, -1.9, y
Suppose 12*n - 11*n - 16 = 0. Let h = -10 - n. Let q = h - -27. Sort q, 0, -3 in decreasing order.
q, 0, -3
Let c = 3703 - 3708. Let n = 8.1 - 8. Sort c, n, -2, 7/18 in descending order.
7/18, n, -2, c
Let k be ((-1)/3)/1*60/10. Let t be 1/(-2)*-14 - 4. Sort t, 5, 1, k.
k, 1, t, 5
Let p = 7651 + -7634. Sort p, -0.4, 22 in ascending order.
-0.4, p, 22
Let a be (-117)/52*(44/24 - (-6)/(-12)). Put 1937, a, 2, -4 in ascending order.
-4, a, 2, 1937
Suppose -2*h - 2 + 1 = a, -4*h + 2*a + 2 = 0. Put -4, -5, 8, -3, h in increasing order.
-5, -4, -3, h, 8
Let q = -323.15 + 321. Let w = 4.15 + q. Put w, 14, 3 in decreasing order.
14, 3, w
Let s = -1906 + 1910. Let u = 3.2 - 2.7. Put -9/2, s, u in increasing order.
-9/2, u, s
Let i(r) = r**2 - 14*r + 23. Let d be i(10). Let z = d - -139/8. Sort z, 2, -2/7 in increasing order.
-2/7, z, 2
Let w = -121 + 80. Let l = w + 124/3. Sort -0.2, -5, -3, l in decreasing order.
l, -0.2, -3, -5
Let v = -48 + 44. Let q(y) = y - 3. Let c be q(-3). Let l be c/4 - 66/(-4). Sort -1, v, l in decreasing order.
l, -1, v
Suppose -5*z + 1048 = 5*g + 138, -5*g - 4*z + 913 = 0. Let a = g - 173. Sort -3, -2, 3, a.
-3, -2, 3, a
Suppose 0 = -2*s - 5*a - 113, 4*s = -5*a - 218 - 13. Suppose 0*r + 4*r + 236 = 0. Let i = s - r. Put i, -1, 2, -10 in increasing order.
-10, -1, i, 2
Let y(n) = -2*n**3 + 8*n**2 + 118*n - 564. Let i be y(6). Suppose 3*k - 4*k = 6. Put i, k, 1, 3 in decreasing order.
3, 1, i, k
Let p = -6174 + 811. Let n = -5322.97 - p. Let q = n + -40. Sort q, 3, 4/7, -0.3.
-0.3, q, 4/7, 3
Let n = 2.16 - 2.21. Let l = 111 + -113. Put n, l, -5 in descending order.
n, l, -5
Let v be -5 + -3*(-110)/(-33). Sort 1, 4, 7, v in descending order.
7, 4, 1, v
Suppose 2*x - 3 = 1. Let l = 3.36 - 135.36. Let q = 130 + l. Put x, q, -1.7 in descending order.
x, -1.7, q
Let w(f) = -3*f**2 - 17*f + 492. Let b be w(-16). Put 76, -16, b in increasing order.
-16, b, 76
Suppose -53 - 109 = -176*f + 203*f. Sort 0, -1, 178, f in increasing order.
f, -1, 0, 178
Let z = 2.2 + -2.68. Let l = 19627 + -19628. Sort 5, z, l, 0.4 in decreasing order.
5, 0.4, z, l
Suppose 42*y = -2*n + 45*y + 15, n = 3*y. Suppose -4*u + 2*u + 111 = x, -x = -3*u + 164. Let z be u/22 + (-2)/(-4). Sort z, 0, n in ascending order.
0, z, n
Let m be (-2)/(4*(-3)/(-42)). Let p be 3 - (-3)/m*(-60)/(-9). Let j = -24.3 - -23.3. Sort j, p, 0.4 in descending order.
0.4, p, j
Let l = 0.7091 + -0.3091. Let i(p) = -3*p**2 - 4*p - 5. Let y be i(-2). Let r = -16 + 11. Sort y, r, l, -2/5.
y, r, -2/5, l
Let y = 235 - 203. Suppose q + y = 34. Sort q, 26, -2 in decreasing order.
26, q, -2
Let z = -192