32). Sort 3, k, s in decreasing order.
3, s, k
Let m be (-32)/(-40) + 12/10. Let v be ((-4)/3)/(1/3). Put v, m, 4 in increasing order.
v, m, 4
Suppose 1 = -4*u - 3. Suppose -135*k + 136*k = 5. Sort -2, k, u.
-2, u, k
Suppose 0 = 16*o - 17*o + 2. Sort -1, 5, o in decreasing order.
5, o, -1
Let v = 26 - 21. Sort 2, v, 7.
2, v, 7
Let v = -33 - -41. Put 2/13, v, 2, 0 in descending order.
v, 2, 2/13, 0
Suppose 0 = 3*j - 6*j. Sort 4, j, -4 in decreasing order.
4, j, -4
Let n = 9 + -8.99. Let i = n + -2.01. Sort -3, i, -0.3 in descending order.
-0.3, i, -3
Let l be (-4)/(-8) + 11/2. Let z(k) = -k**3 + 6*k**2 + k - 5. Let h be z(l). Sort -4, 4, h.
-4, h, 4
Let x be 14/4 + -3 - (-1)/(-2). Put -7, x, -3 in increasing order.
-7, -3, x
Let p be 34/(-4) + 3/(-2). Let f = -2 - p. Put -5, f, 3 in ascending order.
-5, 3, f
Suppose h + 93 = 6*h + 2*j, 3*h + 2*j - 55 = 0. Suppose 4*t + 11 = n, -t - 4*n = -n + h. Let r = 2.2 - 0.2. Sort 4, t, r in descending order.
4, r, t
Let g be (-27)/6*(3 - (-7)/(-3)). Put 0, -17, g in decreasing order.
0, g, -17
Let t be 26/(-7) - 4/14. Suppose 4*h = -4, -3 = 2*y - y + h. Sort y, t, 0 in descending order.
0, y, t
Let x be (-8)/(-3) - (-1 + 3). Let z = 0.4 - 0. Let o = 3 + -3.5. Put z, x, o in decreasing order.
x, z, o
Let o = -2.68 + -0.32. Suppose 4*p + 21 = 3*p + 2*g, -2*p = -5*g + 47. Let j be 1/5*p + 2. Put 2, j, o in decreasing order.
2, j, o
Suppose 0 = 4*v + 12, 9 = x + 2*x - 5*v. Let y be ((-4)/(-8))/(x/16). Sort 5, -0.5, y in decreasing order.
5, -0.5, y
Let z = -81 + 80.98. Put 1, 2, z in ascending order.
z, 1, 2
Let a(o) = 2*o**3 - o - 2. Let b be a(-1). Sort 4, b, 5 in decreasing order.
5, 4, b
Let y(d) = -d**2 - 5*d + 5. Let x be y(-5). Suppose -10 + 25 = 5*b. Sort 4, b, x.
b, 4, x
Let q(k) = k**3 + 4*k**2 - 7*k - 4. Let i be q(-5). Suppose 5*r + 4*c = 40, 2*r - i*c + c = -17. Sort r, -1, 3 in decreasing order.
r, 3, -1
Let s be 2/4*2 + -5. Let r = 0.43 + -0.23. Sort s, r, -0.3.
s, -0.3, r
Let w(g) be the second derivative of 0 + 1/20*g**5 - 2*g**2 + 3/4*g**4 + 7/6*g**3 + 2*g. Let f be w(-8). Sort -5, -2, f in descending order.
f, -2, -5
Suppose -2*b = 43 - 37. Sort b, 3, -2, 8 in ascending order.
b, -2, 3, 8
Suppose 2*c = -c - 6. Let y = 2 + c. Put y, 2, 5 in increasing order.
y, 2, 5
Let a = 61 + -61.4. Put 0.2, 2/11, a, 1 in descending order.
1, 0.2, 2/11, a
Let c be ((-10)/(-15))/(71/3). Let v = -67/142 - c. Put 3, 0.3, v in decreasing order.
3, 0.3, v
Let x = -14.9 + 14. Let f = -4.1 + x. Put f, 0, 0.4 in decreasing order.
0.4, 0, f
Let q = -8 - -5. Let w(x) = -x**2 - 7*x - 7. Let z be w(-6). Let j = 2 - z. Sort j, q, 1 in descending order.
j, 1, q
Let w = 19/7 + -88/35. Let d be (0 - 1)*(-12)/(-42). Sort d, -0.2, w in descending order.
w, -0.2, d
Let g be 4 - 17/(-6)*-2. Sort g, 3, -4/7 in descending order.
3, -4/7, g
Let m = -0.7 + 1. Let l = 1.7 + m. Sort l, 8, -0.1 in increasing order.
-0.1, l, 8
Suppose -4*g - 32 = 9*h - 4*h, 2 = h - 2*g. Let d = 23 + -15. Let p be 63/(-12) - (-2)/d. Put h, 0, p in descending order.
0, h, p
Let l = -19 - -22. Sort -3, l, 1 in increasing order.
-3, 1, l
Let v = -284 - -282.17. Let j = -0.17 + v. Suppose -3*l - 12 = -4*l - 5*k, 4*k = 12. Sort -1, l, j in increasing order.
l, j, -1
Suppose 18*z - 25*z + 14 = 0. Sort -3, -2, z, 0 in decreasing order.
z, 0, -2, -3
Let m(j) = 3*j + j - 6 - 3*j. Suppose -4*f + 0*f + 28 = 0. Let d be m(f). Put d, -2, 3 in descending order.
3, d, -2
Let w = 0.3 + 3.7. Let n = -5 + w. Sort 2, n, -1/2 in descending order.
2, -1/2, n
Let n = 5.6 - 3.3. Let a = 18.3 - n. Sort -0.5, a, -2/3 in descending order.
a, -0.5, -2/3
Let x = 52 - 56. Put x, -1/24, -0.3 in ascending order.
x, -0.3, -1/24
Suppose -2*y - y + x - 48 = 0, -15 = 5*x. Let k = y - -20. Sort 0, k, -2 in ascending order.
-2, 0, k
Let a = 5 - 4.6. Let g be (-14)/(2*(-2 + 1)). Let r = 12 - g. Sort -4/7, a, r in increasing order.
-4/7, a, r
Let w = -1 - 0. Put 1/5, w, -8 in ascending order.
-8, w, 1/5
Let v = -98 + 101. Let i(j) = j + 5. Let b be i(-6). Put b, v, -5 in decreasing order.
v, b, -5
Let z be 3/135 + (-10)/45. Put 3/4, -1/6, 1/6, z in descending order.
3/4, 1/6, -1/6, z
Let l be (72/9 - 7) + (1 - 2). Let u be (-4 + 1)/(15/20). Put u, l, -1 in increasing order.
u, -1, l
Let q = -0.3 + 0.3. Let a = q + 0.4. Let f = -0.5 + a. Sort 0.3, -0.5, f in ascending order.
-0.5, f, 0.3
Let r = 27 + -30. Let g = -0.5 - -0.4. Let z = -4 - -7. Sort z, r, g.
r, g, z
Let p = -6 + 10. Suppose 17 - 5 = p*x. Sort 1, 5, x in increasing order.
1, x, 5
Let h = -31/4 + 8. Let p = 0.57 + 0.03. Let u = p + 0.4. Put -2/3, h, u in decreasing order.
u, h, -2/3
Let d = 58 + -56. Put -4, 3, d, 9 in increasing order.
-4, d, 3, 9
Suppose 0 = -3*g + 3 + 21. Let v = g - 11. Put -1, v, -4 in increasing order.
-4, v, -1
Let c = -1404/7 - -201. Let v = -0.4 + 0.2. Sort v, c, 1/4 in ascending order.
v, 1/4, c
Let g = 54 - 375/7. Let j be (62/10)/(2/26). Let p = -81 + j. Sort -2, p, g in decreasing order.
g, p, -2
Suppose -3*n = -5*a - 3, -3*n - 10 = -a - 1. Let z = -7 + 4. Let m be (1*z)/((-33)/(-2)). Put n, m, -5/4 in increasing order.
n, -5/4, m
Let g = 9 - 4. Suppose -5*j + 3*w = -25, -5*j + 15 = g*w - 6*w. Sort j, -2/3, -2 in ascending order.
-2, -2/3, j
Let k be (-2)/(-10) - (-104)/80. Let t = 0.37 + 0.03. Put -5, t, k in decreasing order.
k, t, -5
Let l = -12 + 24. Let p be 2 + (-1 + l - -1). Let z be 40/(-91) + 4/p. Sort 1/4, z, 3 in descending order.
3, 1/4, z
Let o = 0.39 + -3.39. Sort -2/7, 1/9, -5, o.
-5, o, -2/7, 1/9
Let o = 18 - 17.8. Sort 2, o, 0.1.
0.1, o, 2
Let c be -1*(-1 - -9)/(-1). Suppose -5*q = 4*n - 0*q - 1, 4*q + c = -n. Sort 5, 2, n in increasing order.
2, n, 5
Let y = -16 - -22. Let o = 2.2 + -7.7. Let z = y + o. Sort 0.2, -4, z in increasing order.
-4, 0.2, z
Let d = 4 - 6. Let u = 1398 - 43334/31. Let r = u + 34/217. Sort -5, d, r in descending order.
r, d, -5
Let k be 3/(-45)*(4 - 4 - 2). Let p = -7 + 15. Let b = p - 7.7. Sort -1/8, b, k in descending order.
b, k, -1/8
Let l = -1 + 1. Let v = l + 4. Let i = 20 + -21. Put v, -5, i in decreasing order.
v, i, -5
Let i be (-3)/(-6) + 6/(-4). Suppose 2*u - 3*u = 4. Put u, 4, i in decreasing order.
4, i, u
Let g = -0.58 + 0.58. Sort -0.4, -12, g in descending order.
g, -0.4, -12
Let l = -77 - -130. Suppose 4*k - f = -15, -5*f + 3 = 5*k + l. Put k, -2, -1 in descending order.
-1, -2, k
Suppose -16 = -4*v + 4*n - 4, -3*v = -n + 1. Let m(l) = -l + 2. Let q be m(3). Sort v, 4, q in descending order.
4, q, v
Let k = 46.1 - 46. Sort k, 0, -0.03 in descending order.
k, 0, -0.03
Suppose 4*o = y - 11, -5*y = o + 3*o + 41. Let x be (-8)/6 + 160/30. Let n be 13/x - 6/(-8). Put 2, o, n in increasing order.
o, 2, n
Suppose 0 = s - 5*s + 8. Suppose -2*r + s - 10 = 3*f, 0 = 5*f + 2*r + 16. Sort 4, f, 0.5 in descending order.
4, 0.5, f
Let s = -0.162 - 0.238. Sort 6/7, -4, s, 0.4.
-4, s, 0.4, 6/7
Let r = 109 - 105. Let z = -1 + 0.8. Sort r, z, 9 in decreasing order.
9, r, z
Let s = -29/2 - -141/10. Put -4, s, 3/5 in increasing order.
-4, s, 3/5
Let v = -142 + 144. Put 8, v, 3 in decreasing order.
8, 3, v
Let o(y) = -8*y**3. Let t be o(-1). Suppose -5*h + 12 = -t. Suppose i = x + 2, h*i - 1 = -5*x + 7. Sort 5, x, 2 in decreasing order.
5, 2, x
Let i = -18 + 27. Let v = 15 - i. Sort 0.1, -0.3, v.
-0.3, 0.1, v
Let r(j) = j**3 + 2*j**2 - 5*j - 3. Let z be r(-3). Put 0, z, 14, 5 in decreasing order.
14, 5, z, 0
Let i be (-2)/2 + 8/10. Suppose -w + 4*w = 9, 0 = -4*c - 2*w - 14. Sort c, i, -0.5 in decreasing order.
i, -0.5, c
Let j(g) = -g - 12. Let i(w) = 1. Let b(y) = -6*i(y) - j(y). Let r be b(-4). Sort r, 5, 8.
r, 5, 8
Let f = -25 - -26. Suppose -3*l - r + 146 = -2*r, 3*l + 4*r = 166. Let u be (-5)/(-2)*(-8)/l. Put -2, f, u in descending order.
f, u, -2
Let b = 75 - 73. Sort -2, 1, -5, b in decreasing order.
b, 1, -2, -5
Let x = 30 + -31. Put x, 1, -5 in increasing order.
-5, x, 1
Let d(a) = a**2 + 6*a + 7. Let c be d(-4). Suppose -4*x + 12 = -0. Let l = x - 5. Put 2, c, l in increasing order.
l, c, 2
Let x be (-3 - (-16)/6)*15. Let u be 0/(-4 + 3) + 3. Put u, 13, x in increasing order.
x, u, 13
Let m = -507 - -504. Let x = 37 + -112/3. Sort x, 3/2, m in descending order.
3/2, x, m
Suppose 5*z + 38 + 32 = 0. Let i be 0 - (z/(-12))/7. Sort -3, 2, i.
-3, i, 