.
f, 1, -4
Let p be 1/4 - (-2635)/20. Let h = 126 - p. Put h, 4, -1 in decreasing order.
4, -1, h
Suppose 0 = 3*q + 2*k - 10, -3*q - 3*k = 16 - 28. Put 0, 3, -2, q in increasing order.
-2, 0, q, 3
Let w = 4.249 - 0.249. Let b be 8/(-6) - 3/(-3). Put w, b, 1 in increasing order.
b, 1, w
Let m = -174 + 130. Put 16, -5, m in ascending order.
m, -5, 16
Suppose 0 = -7*b + 6*b + 4, -3*o = 5*b - 32. Sort -3, -4, o, 3 in decreasing order.
o, 3, -3, -4
Let d = 97 - 102. Let c = -31 - -36. Sort d, c, 8, 0.
d, 0, c, 8
Let i be 12*(-7)/(-42) - 24/14. Sort 1/2, -3/4, -23, i.
-23, -3/4, i, 1/2
Let o be (-97)/28 - -3 - 2/7. Let n = -1.27 - -0.97. Sort o, 4, n in increasing order.
o, n, 4
Suppose 0 = 2*k + 6, -5*k = -3*v + 4*v + 14. Let j = -142 + 137. Let s(l) = -l**2 + 3*l + 2. Let d be s(4). Put v, d, j in descending order.
v, d, j
Let i = -0.45 + 0.24. Let p = 14.21 + i. Let o = p + -13.6. Sort o, 1, 2 in decreasing order.
2, 1, o
Let f be (-7 + 7)/(-2 - -6). Suppose f*i - 7*i - 14 = 0. Put -7, 2, i in descending order.
2, i, -7
Let l = 145 + -291. Let d = l + 147. Let b = -81 - -241/3. Sort b, d, 0 in decreasing order.
d, 0, b
Let s = -1.1 + 0.1. Let q = 2217/2 - 1033. Let l = q - 74. Sort s, l, 2/9 in descending order.
l, 2/9, s
Let m = 886 + -887. Sort 2/11, m, -3/2, -0.4 in descending order.
2/11, -0.4, m, -3/2
Suppose 12*x = 3*z - 108, 24*z = 2*x + 29*z + 18. Suppose 4*w + 36 = 5*c - 0*c, 2*w - 4*c = -24. Put 4, x, -3, w in decreasing order.
4, -3, w, x
Let b = 9.2889 - 0.2889. Sort -1, 7, b, 1/7.
-1, 1/7, 7, b
Let h = 404 + -387. Put 3, -21, h in decreasing order.
h, 3, -21
Suppose -9 = 2*r - 0*r - q, -8 = 2*r - 2*q. Put -3, r, -1, 1 in decreasing order.
1, -1, -3, r
Let w be 0 + -2 - 80/(-5). Let c be 0 + (-9)/21 + 20/w. Let h(a) = -a - 8. Let x be h(-5). Sort x, -1, c.
x, -1, c
Let b = 0.06 - 3.06. Let y = -85 + 104. Let s = -18.5 + y. Put s, b, 2/15 in descending order.
s, 2/15, b
Let p be 4950/(-1287) - 4/26. Put p, 351, -5 in ascending order.
-5, p, 351
Let a(f) = f**3 - 12*f**2 - 28*f + 333. Let w be a(12). Let o = -13 + 9. Sort w, 21, 4, o in increasing order.
o, w, 4, 21
Let z be 8*-2*2/4. Let j(s) = s**3 + 7*s**2 - 9*s - 5. Let i be j(z). Suppose 0*v + v + i = 0. Sort 5, 7, v in increasing order.
v, 5, 7
Let i(f) = -f**2 + 3*f + 5. Let t be i(4). Suppose 5*z + 25 = -r + 3*z, -2*r = 2*z + 40. Let p = r + 13. Put p, 9, t in ascending order.
p, t, 9
Let u = -779 + 3876/5. Let h be 18/(-45) + 47/10. Let y = h + u. Sort y, 4/3, -0.23 in increasing order.
-0.23, y, 4/3
Suppose 0 = y + 3*i - 8*i + 22, -2*y + 31 = 5*i. Let p = 11 - 13. Sort -4, y, p.
-4, p, y
Let g be (-4)/(0 + 6/(-21)). Let t be -3*(g/6 - 2). Suppose 0*u + h = -3*u - 12, 0 = h + 3. Put t, 2, u in decreasing order.
2, t, u
Suppose 3*o - 9*o = 384. Let i = o - -61. Suppose -w + 33 = -5*w + 5*n, 0 = -2*w + n - 9. Sort w, i, -6 in increasing order.
-6, i, w
Let p = 3 - 2.7. Let v = p - 0.1. Let i = -1.149 + 1.149. Put v, i, 4/5 in decreasing order.
4/5, v, i
Let q = 75 + -70. Suppose 2*g - 17 = m, m + 1 = -q*g + 19. Sort -4, -1, m, -2.
m, -4, -2, -1
Suppose 0*o + 4*o = -3*n - 4, 0 = -5*o - 3*n - 2. Suppose 3*a = 5*a - 8. Suppose -5*t = a*h - 5, -2*t = -2*h - 3*h + 31. Sort o, -1, t.
t, -1, o
Let g = 0.53 - 0.68. Let m = 13.35 - 13. Let z = m + g. Sort -2, 3, z in descending order.
3, z, -2
Suppose -15*d = -23*d - 128. Let f(m) = m**2 + 4*m - 3. Let x be f(-4). Sort 2, 5, d, x in descending order.
5, 2, x, d
Let v = -8 + 12. Let d = -3.18 - -2.78. Sort v, d, 5 in decreasing order.
5, v, d
Let j be (4 + (-14)/(-4))*(-4)/6. Let q = -6 + 2. Let k = -9 + 6. Sort k, q, j in increasing order.
j, q, k
Suppose -z - 20 = -2*z. Let j be (z/(-8) + 1)*-6. Suppose -2*w + 13 = 3*y, -y - j = 2*w - 4*w. Sort -5, w, -3.
-5, -3, w
Let b(u) = u**2 + 12*u - 3. Let s be b(-13). Let n be (16/(-10))/(s/(-25)). Suppose 4*m = -n*z + 2*z - 10, 4*z = -m - 20. Sort 0, -3, z in increasing order.
z, -3, 0
Let i be 12*((-1)/6 + 244/(-183)). Sort i, -10, -5 in ascending order.
i, -10, -5
Let y(c) = c**2 - 19*c + 4. Let m be y(12). Let z = -239/3 - m. Sort z, 3, -2, -0.4 in descending order.
3, z, -0.4, -2
Let k = -2 + 3. Let t = -6 + k. Let b = -14 - -15. Sort -2/19, t, b.
t, -2/19, b
Let m = -2 + 7. Let d be 0 - (3 - (-81)/(-24)*1). Sort d, 4, m in decreasing order.
m, 4, d
Suppose 55*h - 230 = -725. Sort -0.4, 2, h, -0.5 in ascending order.
h, -0.5, -0.4, 2
Let s = 2.31 + -2.71. Sort -0.03, s, 5.
s, -0.03, 5
Let a = -11 + 4. Let r = -2.82 - 0.18. Sort r, a, -2/3.
a, r, -2/3
Suppose -v - 2*i + 22 = 2*v, 3*v = 5*i - 13. Suppose 0 = v*f - 0*f - 20. Let j = 1 - f. Put -0.4, j, -2 in decreasing order.
-0.4, -2, j
Let n = 0.31 + 1.66. Let k = n + 0.03. Let t = 948 + -947.9. Sort k, -1/4, t in ascending order.
-1/4, t, k
Suppose 3*w - 5*a + 8 = 0, -w - 15 = -2*a - 11. Put -2, 3, w in descending order.
w, 3, -2
Let h = -825/26 - -4047/130. Let z = -0.1 - 0.5. Let d = z - -0.1. Sort h, -0.1, d in increasing order.
h, d, -0.1
Let p(r) = -2*r + 6. Suppose 5*c - 3*c - 6 = 0. Let f be p(c). Suppose 2 = -0*u + 4*u - l, f = -5*u + 3*l + 6. Sort u, -2/9, -1 in ascending order.
-1, -2/9, u
Suppose -4*r = -g - 4, 0 = 2*r + r + 3*g - 18. Let c(n) = -8*n**2 - 5*n - 8 + n**3 - 2*n - n. Let o be c(9). Sort o, r, -4 in descending order.
r, o, -4
Let a = 309 + -290. Let o be 5/(-25) + 9/(-5). Put o, a, -5, 5 in descending order.
a, 5, o, -5
Let x be (1 + 2)*(-1 + 0). Let b = x + -1. Let m(i) = 33*i - 62. Let z be m(2). Sort b, 1, z in decreasing order.
z, 1, b
Let c = -11.7 + -40.3. Let j = c + 47. Put 2/25, j, -2, 5 in decreasing order.
5, 2/25, -2, j
Let m = -0.099 + 2.074. Let l = -0.025 - m. Let x = 87/4 + -21. Sort -5, l, x in descending order.
x, l, -5
Let h = -7.2 - -7. Let w(x) = x**3 - 22*x**2 - 20*x - 73. Let i be w(23). Sort h, 0.1, i.
i, h, 0.1
Let s = 1342 - 1341. Sort s, -1/54, 1/3.
-1/54, 1/3, s
Suppose 4*j + 2*n = -32, n = -0*j + 4*j + 20. Let s be -8*(-2)/4*-2. Let a = j - s. Sort 3, a, 0.
0, a, 3
Suppose -y + 1 = 3*a, 10*y - 20 = -5*a + 12*y. Sort -3, 3, -1, a in descending order.
3, a, -1, -3
Suppose 8 - 24 = -4*i. Suppose 11 = i*o + 19. Put o, 11, -1, 1 in increasing order.
o, -1, 1, 11
Suppose -8*k - 11*k = -17*k. Suppose 1 = 5*p + 26. Put k, p, 2, 1 in decreasing order.
2, 1, k, p
Let w = -988 + 983. Put 5, w, 0, 1 in decreasing order.
5, 1, 0, w
Suppose 0 = 208*y - 206*y + 5*z - 93, -5*y + 150 = -4*z. Sort 8, -4, -5, y.
-5, -4, 8, y
Let h = -379 - -378.8. Sort 0.08, h, -2 in increasing order.
-2, h, 0.08
Let b = -50.8 - -42.8. Put -0.2, b, 1/6, 2/9 in increasing order.
b, -0.2, 1/6, 2/9
Let z be (2/6)/((-3)/(-9)). Suppose -5*s - k - 2*k = 3, 2*s - 3*k = 3. Put 5, s, z in ascending order.
s, z, 5
Let l(c) = 9*c - 59. Let d be l(8). Let u be (72/(-60))/(9/(-30)). Sort d, 2, u in ascending order.
2, u, d
Let t be 2/(-4*8/96). Sort 4, 1, t, -5.
t, -5, 1, 4
Suppose r + 48 = -5*d - 212, 0 = 5*d + 3*r + 250. Sort -2, 0, d in increasing order.
d, -2, 0
Suppose -5*b + 7*b = 4. Suppose 5 = 4*a - 7. Suppose o + 2 = a. Put b, 4, o in increasing order.
o, b, 4
Let w be (-2*1)/((-2)/(-4)). Let u(d) = 1 - 17*d + d**3 - d**2 - 14*d**2 + 8 + 6. Let b be u(16). Sort b, -5, w in descending order.
b, w, -5
Let b = 277 + -273. Put 2/5, b, 3, 2/3 in ascending order.
2/5, 2/3, 3, b
Let b = -914 + 914. Put b, -0.2, 2/15, 105 in descending order.
105, 2/15, b, -0.2
Suppose -3*c + c = 0. Let b be -1 + (-207)/72 - (-3)/(-24). Put 4, b, 16, c in descending order.
16, 4, c, b
Let f = -3/64 - 107/448. Let k = 5 + -8. Let m be 1 - k/15*-1. Put m, 3, f in decreasing order.
3, m, f
Let m = -2 - 3. Let y = -284.7 + 323. Let s = y + -38. Sort -9, m, s.
-9, m, s
Let z = -7 - 4. Let w be (-16)/1 - (8/(-2) + 3). Let p = w - z. Put p, -6, -1 in descending order.
-1, p, -6
Let o = 0.229 + -0.729. Sort 1/3, o, 5, 4/3 in ascending order.
o, 1/3, 4/3, 5
Let s be (-2*1)/2 - -21. Suppose 0 = 6*k - k + s. Suppose 0 = -n - 7, 5*n = -4*c - 3 - 12. Sort 4, k, c in increasing order.
k, 4, c
Suppose 0 = 4*p - q + 20, -2*p + q = 3*q + 10. Let y = 3.97 + 0.03. Suppose 0 = 28*u - 26*u + 2. Sort p, u, y in descending order.
y, u, p
Suppose -4*x + x = 0. Let b = 2.5 - 1.1. Let s = b + 3.6. Put x, -4, s in descending order.
s, x, -4
Let k = -120 + 202. Suppose 0*y - 