ing order.
f, -0.4, m
Suppose 15 = 5*k + 40. Suppose -3 = 5*a + 7. Put 12, a, k in ascending order.
k, a, 12
Suppose 4*l = -n - 7 + 1, -4*l - 18 = -5*n. Sort n, -0.09, -4 in descending order.
n, -0.09, -4
Let l be (12/(-10))/(12/(-40)). Sort l, 3, -1 in increasing order.
-1, 3, l
Let b = -0.097 + 2.097. Put 1/4, -3, b, 14 in increasing order.
-3, 1/4, b, 14
Let w(i) = -i**3 - 2*i**2 + 3*i - 3. Let o be w(-3). Let k = o + 2. Let d = k - 2. Put 0, -2, d in decreasing order.
0, -2, d
Let q = -128 + 127.95. Sort q, 2/19, -0.1, 4 in ascending order.
-0.1, q, 2/19, 4
Let k = -11 - -15. Let u = 4 - 2. Suppose -3*h + 2*o - 7 = 3*o, -h - 3*o - 13 = 0. Put h, u, k in ascending order.
h, u, k
Suppose 5*d - 9 = 16. Suppose 4*r - 7 = d*b, -3*r - 25 = 2*r + 5*b. Let z be (-2)/5 - r/5. Put 5, 3, z in increasing order.
z, 3, 5
Suppose 5 + 4 = 3*v. Suppose -v = n + 5*u, -4*n + 2*u = -7 - 3. Suppose a - 5*c - n = 0, -20 = 6*a - a + 5*c. Sort 4, a, -5 in decreasing order.
4, a, -5
Let z be ((-12)/10)/(63/30). Let j be 20/(-4)*(-8)/(-20). Let o = 3.97 + 0.03. Sort j, o, z in descending order.
o, z, j
Let j be -2 + (12 - -2)/2. Suppose 0 = -j*l - 5*a, 0 = -2*l - 3*l + a. Put 2, -1, l in ascending order.
-1, l, 2
Let b = 1.3 - 1.2. Put b, -2, -4 in decreasing order.
b, -2, -4
Suppose -3*l + 12 = -5*l. Let u be (-22)/l - (-4)/(-6). Let h(o) = -4*o - 3. Let s be h(-2). Sort u, -5, s in descending order.
s, u, -5
Suppose 4 = -g - 0. Sort g, -6, -3 in decreasing order.
-3, g, -6
Let d be (2 + (-12)/(-4))*1. Sort -2/7, -2/5, d in decreasing order.
d, -2/7, -2/5
Suppose 3*k + b - 20 = -b, 4*k + 3*b = 28. Let y be 4/2 + (1 - 0). Suppose -2*n = -y*n - 3. Sort k, 2, n.
n, 2, k
Suppose -4*o = -13*o - 9. Sort o, -3, 5 in decreasing order.
5, o, -3
Let a(s) = -s**2 + s. Let f be a(-1). Let g = 79 + -78. Sort f, g, 2 in ascending order.
f, g, 2
Let m = -29 + 30. Put 2, m, -3 in decreasing order.
2, m, -3
Let s = 5 - 4.9. Let b be 4/(-14) + 132/(-28). Sort s, b, -0.5.
b, -0.5, s
Suppose 5*g - 20 = -5*f, -2*f + 5*f = 2*g + 22. Let x = f + -13. Let p = -6 - x. Sort p, 5, -2 in descending order.
5, p, -2
Suppose 3*u - 6 = 2*v, 4*u - 4*v = 9 + 3. Sort u, 2, -2 in descending order.
2, u, -2
Suppose -4 = -17*a + 18*a. Let d(p) = 2*p - 7. Let f be d(5). Sort f, -3, a.
a, -3, f
Let z be (9/6)/(13/2070). Let n = 239 - z. Let h = 5 - 5.4. Sort h, 4, n in increasing order.
h, n, 4
Let r = -0.8 - 3.2. Let k = 0.2 - 1.2. Let u = -1.2 - k. Put 0.3, u, r in ascending order.
r, u, 0.3
Let q(b) = -b**2 - 7*b - 10. Let s be q(-4). Put -1, 3, -5, s in increasing order.
-5, -1, s, 3
Let j be (1/(5/3))/((-20)/(-25)). Put 2, 2/7, -5, j in descending order.
2, j, 2/7, -5
Let a = -97 - -90. Put a, -0.4, -2/19 in descending order.
-2/19, -0.4, a
Let d = -4.9 - -3.9. Put -4, -1/7, d in increasing order.
-4, d, -1/7
Suppose -3*i - 142 = 161. Let v = -706/7 - i. Sort 1, 4, v.
v, 1, 4
Let f = 0 + 6. Sort f, -2, 1.
-2, 1, f
Let u(i) = i - 7. Let a be u(7). Suppose 0 = -9*c + 4*c - 20. Put c, a, -1 in decreasing order.
a, -1, c
Let q(h) = h**2 + 8*h + 6. Let v be q(-7). Sort 5, 1, v in descending order.
5, 1, v
Let u be (-3 - 0)*(1 - 0). Let g be (-209)/133 + 6/(-14). Put 3, u, g in descending order.
3, g, u
Let b = -27 - -38. Suppose -j = 2*a + 2*a + 1, -4*j - a + b = 0. Sort -4, 4/3, j in descending order.
j, 4/3, -4
Let d = -12 + 5. Let t(s) = s + 12. Let p be t(d). Suppose f - 2*v = -4*f - 15, -4*f - 3*v + 11 = 0. Put 2, f, p in ascending order.
f, 2, p
Suppose -3*w + 6*w = -3. Let h = 14 + -10. Let z = h - 0. Put z, 1, w in ascending order.
w, 1, z
Let f be 2 - 3/((-9)/(-15)). Suppose 5*y + 8 = -2. Sort -4, f, y.
-4, f, y
Let q be 2/10*45/6. Let s = -10 - -8.8. Let f = 1 + s. Sort f, 3, q.
f, q, 3
Let n = -9 - -13. Suppose -n*q - 4*u = 0, -13 = -5*q + u + 17. Sort -1, 3, q in decreasing order.
q, 3, -1
Suppose 2*j = 5*a - 36 - 1, 3*j = 5*a - 33. Suppose 3 = 3*f - a. Sort f, 0, -3.
-3, 0, f
Let u = -0.2 - -0.3. Let x = u - -0.1. Let r = 212 - 1907/9. Sort r, 0.3, x in decreasing order.
0.3, x, r
Suppose -2*o + 6 - 2 = 0. Let g be (1/(-2))/((-2)/20). Suppose 2*x - x = -g. Sort o, -2, x in descending order.
o, -2, x
Let k = 8 + 14. Suppose 4*w = -0*w - x + k, 8 = 4*x. Let d = 2.9 + -3. Sort d, 2/7, w in ascending order.
d, 2/7, w
Let k = 3 - 2.91. Let g = 4.91 + k. Let t = -110/609 + 8/29. Put g, -0.4, t in decreasing order.
g, t, -0.4
Let w = 0 + -1. Sort 5/3, -2/15, w, -2/9.
w, -2/9, -2/15, 5/3
Let c = -0.031 + 0.431. Let z = -0.04 - -0.64. Sort 1, z, c.
c, z, 1
Suppose 12 = -13*u - 1. Sort -32, u, 0 in increasing order.
-32, u, 0
Suppose -5*z - 33 = 2. Let y = -9 - z. Suppose 0 = -3*i - 6, -2*w + 5*i + 14 = i. Put y, w, 4 in descending order.
4, w, y
Let y(n) = -2*n**2 + 5*n - 3. Let j be y(3). Sort j, 7, 4 in descending order.
7, 4, j
Suppose 2*s + 6 = -0. Let z(f) = -2*f + 4. Let i be z(3). Sort s, i, -0.1.
s, i, -0.1
Let a = -0.062 - 2.938. Sort 5, a, -0.5, -0.3 in increasing order.
a, -0.5, -0.3, 5
Let w = 17 - 17. Put -4, 7, w in increasing order.
-4, w, 7
Let j be (-2)/3 + (85/3)/5. Sort 4, j, -2 in increasing order.
-2, 4, j
Let l = -2 - -1.6. Suppose -2*o = m - 3*m + 22, 3*o - 2 = -2*m. Sort m, 3, l in descending order.
m, 3, l
Let z = 0.31 - 0.01. Let c = -3 + 2.9. Let x be ((-4)/6)/(1/6). Put c, x, z in decreasing order.
z, c, x
Suppose 0 = -t - 1 - 3. Let b = -749201/7 - -106849. Let g = b + 180. Put 4, t, g in descending order.
4, g, t
Suppose -4*b + 3*c + 4 - 18 = 0, -2*c + 8 = -2*b. Put b, 3, -5 in ascending order.
-5, b, 3
Let a = -0.64 + -3.66. Let k = 0.3 + a. Sort k, -1, 3 in increasing order.
k, -1, 3
Let n be (-1)/((-10)/(-3) + -3) + 4. Put n, -1, -5 in decreasing order.
n, -1, -5
Let i be 4/(-3)*(-3 + 0). Suppose 1 = 2*x - 1. Put x, i, 3 in descending order.
i, 3, x
Suppose 2*g + 7 = -w - 4, 0 = -w - 5*g - 23. Let d be 2 + (-2 + 0 - -1). Put w, d, 0 in decreasing order.
d, 0, w
Suppose -p + 1 + 1 = 0. Suppose 0 = 4*o - 2*i - 18, 2 = 5*o + 4*i - 14. Let f(r) = -r**3 + r**2 + 3*r - 1. Let y be f(2). Sort p, o, y in descending order.
o, p, y
Let n = 104 + -105. Sort n, 0, -52.
-52, n, 0
Let v be (3/(-30))/((24/45)/(-2)). Put -3, v, 0.5, 0 in descending order.
0.5, v, 0, -3
Let a(g) = 4*g**2. Let o be a(1). Suppose 2*z + 2 = -0*z. Sort o, z, 0 in descending order.
o, 0, z
Let g = 15.5 - 16. Sort -2, g, -0.4, 3.
-2, g, -0.4, 3
Let g = -12 + 8. Put g, 2, 4 in decreasing order.
4, 2, g
Let i(t) = -t**3 - 4*t**2 - 3*t - 1. Let w be i(-3). Let o = -9 - -12. Put 2, o, w in descending order.
o, 2, w
Let a = 0 + 1. Let x = 0.24 - 0.32. Let v = 0.38 + x. Put a, v, 1/7 in decreasing order.
a, v, 1/7
Let c = -109 - -543/5. Put 8, 5, c, -2 in decreasing order.
8, 5, c, -2
Let f(t) = t**2. Let b(j) = j**3 + 5*j**2 - 6*j + 2. Let i be b(-6). Let a be f(i). Suppose -20 = a*z - 4. Sort -3, -2, z in decreasing order.
-2, -3, z
Suppose -2*w - 26 = 40. Put -3, w, 0 in descending order.
0, -3, w
Let n(c) = c**2 + 6*c - 4. Let y = -13 + 6. Let q be n(y). Sort -2, q, 0 in descending order.
q, 0, -2
Let u(q) = q**3 + 8*q**2 - 10*q - 9. Let f be u(-9). Let m = 0.1 + -0.4. Put m, 3, f in ascending order.
m, f, 3
Let i = 2.4 - 1.4. Sort 8, i, -4 in descending order.
8, i, -4
Let n = -0.51 - -0.9. Sort 1/5, n, 4/9.
1/5, n, 4/9
Let v = 2.4 - 2.5. Put v, -1/2, -4 in ascending order.
-4, -1/2, v
Let m = -0.2 - -0.1. Let r = 97/68 + -3/17. Sort r, m, -1 in decreasing order.
r, m, -1
Suppose -2*t = v + 5, 2*t = -3*v + 4*v + 5. Sort t, 3, -4.
-4, t, 3
Let y(o) = o**2 + 8*o + 8. Let c be y(-6). Let b(n) = -n**2 + 10*n - 12. Suppose -5*z = -3*z - 18. Let j be b(z). Sort 2, c, j.
c, j, 2
Suppose -5*n = -4*n. Put 2, 7, n in decreasing order.
7, 2, n
Let w(d) = 2*d**3 - d**2 - 2*d - 3. Let n be w(3). Let j be 2/(-6) + 3/n. Let t = 3.7 - 0.7. Sort -5, t, j in ascending order.
-5, j, t
Let m(b) = b**2 - b - b**3 + b**2 - b**2 - 6*b**2. Let f be m(-5). Put 1, -2, f in increasing order.
-2, 1, f
Let r be 1/10 - -26*(-12)/(-80). Let a be (-1 + 1/1)/1. Let y = 5 + -9. Sort a, r, y in descending order.
r, a, y
Let g = 17 + -14. Put g, 3/7, 4 in descending order.
4, g, 3/7
Let b = 10 + -11. Sort -5, 0.4, -2, b in decreasing order.
0.4, b, -2, -5
Let o = -6 + 9. Suppose 0 = o*g + u - 13, 4 = -2*u + 3*u. Sort g, -5, 1.
-5, 1, g
L