2 - 6*k. Let w be x(5). Let a be 2/w - (-2)/5. Put -2, p, a in descending order.
p, a, -2
Suppose 4*m - 2 = -h + 9, -h = -3*m + 17. Sort 1, h, -142 in decreasing order.
1, h, -142
Suppose -4*a - 5*f - 64 = 0, -3*a - 3*f + 2*f = 37. Suppose -c - 3*p - 29 = -p, c - 5*p + 43 = 0. Let r = -33 - c. Sort a, r, 3 in increasing order.
a, r, 3
Suppose 2*h - 8 = 0, 5*a + 0*a - 31 = -4*h. Sort 0.1, -4, a.
-4, 0.1, a
Let g(a) = 2*a**2 - 15*a - 8. Let o be g(8). Suppose b - u + 4 = 0, 3*u - 12 = b - o*b. Put b, 15, 3 in decreasing order.
15, 3, b
Let j = 82 - 82. Suppose -1 = 5*r + 4. Let y = 7 + r. Put y, j, -5 in increasing order.
-5, j, y
Let l = 15 - 6. Let m be ((-12)/l)/((-4)/12). Suppose t + 8 = m*a + 28, 20 = 2*t - 3*a. Sort t, -4, -2 in decreasing order.
t, -2, -4
Let j = -1323/5 + 1354/5. Put j, 3/7, 1 in decreasing order.
j, 1, 3/7
Let l = -21.11 - -7.02. Let k = l - -0.59. Let m = 13 + k. Sort 5/3, -2, m in ascending order.
-2, m, 5/3
Let t = -1377 - -1375. Put -3, 7, t in decreasing order.
7, t, -3
Suppose 41*m = -61 - 103. Put -6, 4, m in decreasing order.
4, m, -6
Let q be -8*((-52)/16 - -3). Let z = -1022 - -1020. Sort -15, 1/5, q, z in ascending order.
-15, z, 1/5, q
Let r = -43.45 + 38.45. Let b = -0.3 - -4.3. Sort b, -4, -1/2, r.
r, -4, -1/2, b
Let d = 1263 - 1258. Sort -0.2, d, -74 in descending order.
d, -0.2, -74
Let z = 0.59 + -1.29. Let d = z + 0.6. Sort -3/8, d, -0.2.
-3/8, -0.2, d
Suppose -29*d = 2*d - 62. Put -14, d, -3/4 in decreasing order.
d, -3/4, -14
Let l = -0.3 - -0.38. Let u = 1.68 + -1.7. Let s = l - u. Sort 5, 2, s.
s, 2, 5
Suppose 12*f = 4*f - 56. Put f, -2, 5, -4 in decreasing order.
5, -2, -4, f
Suppose 4*g + 15*z - 11*z = -4, -3*g - 24 = -4*z. Sort 4, g, 1, 0.01 in decreasing order.
4, 1, 0.01, g
Let x be (0/(-2))/(0 - -2). Let w = 261 + -255. Suppose 1 + 5 = 2*a. Put a, w, x in ascending order.
x, a, w
Let a(h) = 92*h. Let s be a(0). Sort 15, 4, s.
s, 4, 15
Let j(h) = h**3 - 2*h**2 + 2*h. Let u be j(4). Suppose 2*x - 14 = -u. Let v = x + 18. Sort 0.1, 2, v in decreasing order.
v, 2, 0.1
Let c = -129/56 - -23/8. Suppose 12 = -4*t + 2*q - 6*q, -3*q = -2*t + 19. Suppose 4 = k + t. Put c, k, -5 in ascending order.
-5, c, k
Let c = 7.4 - 5.7. Sort -2/3, c, -3 in ascending order.
-3, -2/3, c
Let k = -46 + 27. Let s = k - -18.5. Let y = 0.4 - 0.2. Put y, -2, s in ascending order.
-2, s, y
Let p = -15 - -15. Let q = -27 + 22. Sort 0.5, p, q in increasing order.
q, p, 0.5
Let k be 134/(-469) + ((-30)/14)/(-3). Sort k, 1/2, -1.
-1, k, 1/2
Let v be 4/(-18) + 50/(-18). Let y = -3 + 3. Suppose -q + 2 + 2 = y. Put 1, q, v in decreasing order.
q, 1, v
Let z be (36/21)/(1/7). Suppose -4*c = -0*c - z. Let h = c - 7. Put -7, h, -5 in descending order.
h, -5, -7
Suppose 11 = d + 14. Let l = -240 - -239.93. Sort 0.5, d, l in decreasing order.
0.5, l, d
Let r = -128 + 129. Put -4, r, 4, -2 in decreasing order.
4, r, -2, -4
Let w(o) = 0 + 0*o - o**3 + 0*o**2 - 3 + o**2 - o. Let b be w(0). Let g(y) = y**2 + y - 12. Let t be g(4). Sort b, t, 3.
b, 3, t
Let b(g) = 3*g - 38. Let r be b(13). Sort r, -10, 0 in ascending order.
-10, 0, r
Suppose 0 = 6*y - 2 + 8. Let o be y/6*3*-6. Suppose 7*w = 4*w - o. Put w, -2, 3 in decreasing order.
3, w, -2
Let f(d) = d**3 + 8*d**2 + 6*d - 6. Let k be f(-6). Let i = k - 29. Let c be 6 + (3 - 5) - i. Sort -4/3, c, 0 in descending order.
c, 0, -4/3
Let k = -19 + 15.5. Let p = 0.6 - 1.1. Let s = p - k. Put 0, 2/9, s in descending order.
s, 2/9, 0
Let r = -30.8 - -31. Let m be (-5)/(-35) - (-9)/84. Let p(a) = 2*a + 13. Let l be p(-9). Sort m, r, l in descending order.
m, r, l
Let g(r) = -r + 32. Let v be g(19). Sort 1, 10, -4, v in ascending order.
-4, 1, 10, v
Let t = -796.2 + 797.2. Let p = -4 + 3. Sort p, t, -18 in increasing order.
-18, p, t
Suppose 5*u = -2*h - 26, -h + 3*u + u + 13 = 0. Let d be ((-60)/50)/((-2)/5). Suppose -5*k + d*k = -5*x + 9, -k + 6 = x. Sort 5, x, h in descending order.
5, x, h
Let k = -3.1 + 3. Let y = -157/63 - -25/9. Put k, y, 5 in increasing order.
k, y, 5
Let j be -3*1*2/3. Let c be j/4*2/(-10). Let m = -4.03 + 0.03. Put c, 3/5, m in descending order.
3/5, c, m
Let p be (-2)/(-4)*-2 - 4/(-2). Sort 3, 25, p in descending order.
25, 3, p
Let n be (-25 + 19)*(0 + (-2)/(-4)). Put 4, 14, n, -5 in descending order.
14, 4, n, -5
Let g = 177 - 181. Put -0.3, -1, g, 0.1 in ascending order.
g, -1, -0.3, 0.1
Let a = 1 - -4. Suppose -12 = -3*r + 2*c, 5*c + 8 = -4*r + 1. Suppose r*l = 9*l - 49. Sort a, -5, l in ascending order.
-5, a, l
Let x = -1.66 + 1.36. Put 0.2, x, -4 in descending order.
0.2, x, -4
Let r = 287.66 - 291.66. Let u = 1/2 + -1/6. Sort r, -5, 3, u in ascending order.
-5, r, u, 3
Let n = 1853 - 1847. Let c = 0 + -1. Sort c, 0, n in decreasing order.
n, 0, c
Let t = 477 - 169. Suppose 0 = -11*n - 0*n + t. Sort 5, n, 4 in ascending order.
4, 5, n
Let d = -2754/2065 - -2/6195. Let x be 13*(2 + (1 - 2)). Put 4, x, d in descending order.
x, 4, d
Let n = 52 - 32. Let x = 21 - n. Sort -3, -8, x in decreasing order.
x, -3, -8
Let d = 6 - 12. Let h = -10 - d. Let y be 2*-1*(-12)/(-8). Sort 3, h, y.
h, y, 3
Suppose -1708*z + 1712*z = -4. Sort -3, z, -11, 3 in increasing order.
-11, -3, z, 3
Let t be -1 - -1 - 9/3. Suppose 0 = -4*x + 4*q - 4, -x = -4*q + 1 + 9. Suppose 5*z + x = 3*z. Sort t, -5, z in increasing order.
-5, t, z
Let f(i) = 3*i**2 - 20*i - 37. Let o be f(8). Let x = 3 - 2. Sort 3, x, o.
o, x, 3
Let f(t) = -2*t**2 + 26*t - 83. Let q be f(5). Sort 4, -88, q, 1.
-88, q, 1, 4
Let f = -0.1 - 0.4. Suppose 2*h + 3*h + 5 = 0, -3*y + 4 = 5*h. Let a be (-1)/y - (20/12 + -1). Sort a, 2, f in increasing order.
a, f, 2
Let k = -4 - -4.3. Let h = -0.1 + k. Let o be 3/(-3)*(-1 + 15/18). Put o, -0.5, h in decreasing order.
h, o, -0.5
Let r = 2.18 + -0.08. Let b = 2 - r. Sort -4, 0.4, b in increasing order.
-4, b, 0.4
Let w(z) be the first derivative of z**3 - 13*z**2 + 8*z - 11. Let b be w(8). Sort 2, -4, b.
b, -4, 2
Let r = 488 + -487. Put r, -2/9, -16/9 in decreasing order.
r, -2/9, -16/9
Let m = -2 - -6. Suppose 4*g - 6*g = -m. Suppose -4*a = -0*a + 3*j + 23, -5*a = 3*j + 28. Sort a, g, -4 in increasing order.
a, -4, g
Suppose -4*k + 2 = -3*l - 2, 4*l + 3*k + 22 = 0. Let q = -14 - 52. Let c = 61 + q. Put c, -3, l in increasing order.
c, l, -3
Let s = -996 + 1001. Sort 2/5, -1.3, s, 2/15.
-1.3, 2/15, 2/5, s
Let i(f) = -f + 9. Let r be i(9). Suppose -20 = 5*x, 8 = -r*b - b - x. Let k = -5 - -7. Sort k, -3, b in ascending order.
b, -3, k
Let b be 36/8 + (-3)/6. Suppose -h + b = h. Let m(w) = w + 3. Let u be m(-5). Put h, 3, u in descending order.
3, h, u
Let y = -14 + 34. Suppose 0 = b + 3*m - 10, -4*m = -2*b + 5*b - y. Let d(x) = 4*x**2 + 1. Let v be d(-1). Put b, 1, v in ascending order.
1, b, v
Let b be -4*1/(-24)*-6. Let g = 10 - 7. Put b, g, 15 in ascending order.
b, g, 15
Let h = 2 + -1.6. Let w = 1274 + -11470/9. Sort w, -3, h in increasing order.
-3, w, h
Suppose 692*d - 90 = 674*d. Sort -8, d, -5, 2 in increasing order.
-8, -5, 2, d
Suppose v + 0 = -4. Let t(u) = u**2 + 7*u + 5. Let p be t(-2). Suppose 5*l = 3*o, 0*l = -2*o + l. Sort p, v, o in increasing order.
p, v, o
Suppose -4*b - 16 = -2*n - 2*b, -3*n + 27 = -2*b. Let g(f) = 1 - 1 - 10 - 5 + f. Let c be g(n). Put -1, c, -5 in descending order.
-1, c, -5
Suppose 5*x + 30 + 30 = k, -4*k - 35 = 5*x. Let w(j) = j - 11. Let v be w(8). Put x, 3, v, -5 in increasing order.
x, -5, v, 3
Let i = 162 + -158. Put 0, i, -2, -3 in increasing order.
-3, -2, 0, i
Let h = -95.463 + 1.463. Put -2, h, 3 in decreasing order.
3, -2, h
Suppose 2*b = -4*c - 132, 2*b - 40 = c - b. Suppose 0*d - 3*d - 3*q = 114, 3*q = 2*d + 66. Let j = d - c. Sort 0, 4, j in ascending order.
j, 0, 4
Let n = 167/10 + -33/2. Let t = 8567/19 + -451. Sort 5, 0, t, n.
t, 0, n, 5
Suppose 0 = 8*w - 1132 + 1172. Sort 1/3, -2/13, w, -0.3 in descending order.
1/3, -2/13, -0.3, w
Let a = 1314 - 1313. Sort 4, a, -65, 3/8.
-65, 3/8, a, 4
Suppose 0*l - 3*l = -3*s, -5*s = -2*l - 9. Let n be 4/5*(-2 - s). Suppose c - 5 = -0*c. Sort -18, c, n in ascending order.
-18, n, c
Let r = -8 + 5. Suppose -329 = 4*k - 341. Let y be -10*k/(-60)*-8. Sort -2, r, y.
y, r, -2
Let s = -23.443 + -0.157. Let v = -22 - s. Let w = -1.1 + v. Sort w, -2/7, -3/8.
-3/8, -2/7, w
Let h = -3 - -17. Le