ing order.
s, -1/5, f
Let f = -67 - -72. Sort 13, 0, 2/15, f.
0, 2/15, f, 13
Suppose 0 = y + 4*y. Let p = -5 + 10. Suppose 3*z + 34 = -5*l, 2*z - z = -3. Sort p, y, l in descending order.
p, y, l
Suppose -k = 12 - 15. Suppose 2*v = f + 4, -2*v - 2*v = -f - 10. Suppose 2*g = 4*p - 6, 0 = 5*p - v*p. Put g, k, -2 in increasing order.
g, -2, k
Let j = -8 - -11. Let r = 1 - -7. Let t = j - r. Put t, 0.4, 3 in ascending order.
t, 0.4, 3
Suppose -5*x + 4 = 9. Sort 5, x, 1 in increasing order.
x, 1, 5
Let z(t) = -t - 1 + 14 - 3. Let o be z(7). Suppose -b + 5 = o*q + 4*b, 0 = 3*q - 2*b + 2. Sort -4, -0.1, q in descending order.
q, -0.1, -4
Let y be ((4/3)/(-2))/(4/6). Let n(m) = m**3 + 7*m**2 - m. Let a be n(-7). Sort 1, y, a.
y, 1, a
Let n = -1.8 - -1.6. Let v = -3.97 - 0.03. Let j = v - -9. Put j, -1, n in decreasing order.
j, n, -1
Let l = -32.05 + 32. Sort -3/7, l, -2 in decreasing order.
l, -3/7, -2
Let x be 2 + 0 + (-2)/1. Suppose -3*f = 3 - x. Put -2, f, 0 in ascending order.
-2, f, 0
Suppose 2*f + 7 = 3*b, 4*f + 2*b + 24 = -2*b. Sort f, -1, -2 in increasing order.
f, -2, -1
Suppose 5*x = 3*x. Let y be (4/10)/((-2)/(-20)). Let c(o) = -o + 6. Let l be c(y). Put x, l, -4 in decreasing order.
l, x, -4
Let j(p) = -4*p - 24. Let f be j(-6). Let w(l) = -2*l + 4. Suppose 3*q = -6*n + n + 17, 5*n = -4*q + 21. Let i be w(q). Sort i, f, 3 in ascending order.
i, f, 3
Let r be -2 + ((-1)/1)/(-1). Suppose -4*w = -2*b + 14, 0 = 2*w + b + 2*b + 27. Let x be (w/8)/(1 - -2). Sort x, r, -5.
-5, r, x
Let x(j) = 5*j**3 + 2*j**2 + j. Let u be x(-1). Put u, 0.3, 12 in decreasing order.
12, 0.3, u
Let g = 23 - 15. Suppose 5*o + 0 = 30. Let v be 6/(-4)*g/o. Sort 2, 4, v in ascending order.
v, 2, 4
Suppose -4*m + 5*m = -5*r + 4, r = -3*m + 12. Sort 5, m, 0.2, -0.3.
-0.3, 0.2, m, 5
Suppose 2 = 3*i + 14. Let z be 14*1/(i/(-2)). Sort 0, z, 4.
0, 4, z
Suppose 2*z + 3 = 6*z + 5*s, z + 2*s - 3 = 0. Let d = -9 - -18. Let c = d + -9. Put z, -1, c in ascending order.
z, -1, c
Let h = -3.1 - -1.1. Put h, 1/2, -2/11 in increasing order.
h, -2/11, 1/2
Let s be ((-4)/6)/((-1)/(-6)). Sort 5, 4, s, 3.
s, 3, 4, 5
Let x = -6/7 - -1. Let f = 8.9 + -9. Sort -1/2, x, f in decreasing order.
x, f, -1/2
Suppose 3*m + 5*w + 1 + 8 = 0, -3*w = 0. Sort -6, m, 5 in decreasing order.
5, m, -6
Let k be ((-4)/10)/(4/14*7). Sort 17, k, -3 in descending order.
17, k, -3
Let c = -9 - -5. Suppose 3*b + 2*b = -15. Put c, -9, b in increasing order.
-9, c, b
Suppose 0 = -0*t + 5*t. Suppose -5*m - 4*w = -0*m - 5, -4*m + w = -25. Suppose 0 = -d - 3*k - 2 + 5, m*k = 0. Sort t, -5, d in decreasing order.
d, t, -5
Suppose 3*z + 0*z + 24 = 0. Let n = 13 + z. Sort -1, -5, n in descending order.
n, -1, -5
Let c = 2 + 0. Suppose 0 = c*s + 2*d + 12, -5*s = 3*d - 5*d + 9. Let m be (s/(-18 - 3))/(-1). Sort m, -3, -0.5 in increasing order.
-3, -0.5, m
Let q = 0 - -0.3. Let o = -13/57 - 2/19. Sort -0.1, q, o.
o, -0.1, q
Let t = -177 - -176. Put -2/11, 12, t, -0.1 in decreasing order.
12, -0.1, -2/11, t
Let j = -8 - -13. Put j, -3, -4 in increasing order.
-4, -3, j
Suppose -g = g - n - 2, -3*g = -5*n - 3. Sort 5, 6, g in ascending order.
g, 5, 6
Let c = 3 + -10. Let m = 9 + c. Sort 0.3, m, 0.2 in descending order.
m, 0.3, 0.2
Let w = 1 + -1. Suppose 0 = 5*f + d - 16, -4*f + 2*d = 2 - 12. Suppose -3*a - f - 3 = w. Sort a, -4, 1 in decreasing order.
1, a, -4
Let m = -69689 + 32842. Let v = -296091/8 - m. Let t = v + 164. Sort -2/15, t, -2/11 in descending order.
-2/15, -2/11, t
Suppose -3*k = k + 16. Sort 18, 0, k in decreasing order.
18, 0, k
Suppose -5*f + f + 64 = 0. Let l = f + -9. Let t = 5 - l. Sort 4, -5, t.
-5, t, 4
Let p be (-2)/8*303/(-126). Let l = 10/21 - p. Let g = 1 + -3. Sort l, g, 4.
g, l, 4
Let u(n) = 8*n**2 + 2*n + 1. Let j be u(-1). Suppose 3*w = j - 1. Suppose 3*k = x + 19, w*k - 13 = 2*x + 5. Put 1, k, 2 in decreasing order.
k, 2, 1
Let h = -7.3 - -7. Sort -2, h, 2/3.
-2, h, 2/3
Let z = -0.8 - 12.5. Let d = z - -13. Put d, 1, -1/8 in descending order.
1, -1/8, d
Suppose 4*g - g = 6. Suppose -g*d = 3*c - 6*d - 20, -3*c - d = 5. Sort c, -2, -5 in ascending order.
-5, -2, c
Suppose -5*g = -3*h - 0*h - 37, -3*g + 4*h = -31. Sort g, 1, 10 in decreasing order.
10, g, 1
Suppose -2*x + 3*v + 22 = v, 0 = 2*x - 5*v - 25. Let m be (x/8)/(1/4). Let d be 4 + (0 + 1)*-1. Sort -6, m, d.
-6, d, m
Let m be (2 + (-1)/2)*4/(-3). Put m, -3, -9 in decreasing order.
m, -3, -9
Let c = 18.89 + -19. Let u = -0.19 + c. Sort 1, -3, u in descending order.
1, u, -3
Suppose 5*j + 5*m = 3*j + 16, 0 = -5*j + 5*m - 30. Let w(d) = d**2 + 7*d - 2. Let o be w(-7). Let s be (3/o)/((-2)/(-4)). Put j, s, 2 in ascending order.
s, j, 2
Let z be -1 + (-1 - -3) + -3. Let m be -2 + (-2*1 - -2). Let v be (m/(-6))/(1/(-3)). Sort v, z, 1 in increasing order.
z, v, 1
Suppose 0 = 5*r + 11 - 6. Sort 15, r, 0, -2 in ascending order.
-2, r, 0, 15
Suppose -7*l = 34 - 41. Suppose 4*d - 4 = -4*b, 3*d - 3*b + 3 = -0*d. Suppose 0 = 5*t - d*t + 10. Put 5, t, l in ascending order.
t, l, 5
Let c be (-5)/((-30)/9) + (-28)/(-8). Sort c, -4, 0 in decreasing order.
c, 0, -4
Let q = -6 + 5.95. Let v = -0.05 + q. Let p = -0.2 + v. Sort p, -5, -4.
-5, -4, p
Let m be (4/(-5) - 0)*-5. Suppose h - m*g = -3*g - 9, -5*g + 5 = 3*h. Let s(n) = -3*n - 1. Let k be s(1). Put k, h, 3 in descending order.
3, k, h
Let l = -6 - -2. Let i be -12*((-4)/3)/2. Let g = i + l. Sort -3, 3, g in ascending order.
-3, 3, g
Let a = 1.1 + -1.6. Sort 2/5, a, 1 in decreasing order.
1, 2/5, a
Let t = 0.1 - 0.19. Put t, 1, -0.2 in ascending order.
-0.2, t, 1
Suppose 4*c - 2*z - 30 = 0, 30 = -0*c + 5*c + 5*z. Sort -3, 4, c.
-3, 4, c
Let z = -6.5 + 7. Sort 0.07, z, -2/13 in decreasing order.
z, 0.07, -2/13
Let f = 19 + -10. Let x = 0.04 + -4.04. Let r = x + f. Put 4, -1/4, r in increasing order.
-1/4, 4, r
Let w = -4 + 7. Suppose -5*c - 5 = n - 3*n, 2*c - n + w = 0. Suppose 12 = -2*h + 2. Put c, 0, h in descending order.
c, 0, h
Suppose 3*y = -y - 3*o - 27, -5*y - 5*o - 40 = 0. Let i(k) = k + 1. Let h be i(-6). Sort y, 5, h in descending order.
5, y, h
Let w(t) = t**2 + 2*t - 21. Let g be w(-6). Sort 0, g, -7, 2 in increasing order.
-7, 0, 2, g
Let l = 0 - -2. Suppose 5*q + 1 = -z, 2*q - q - 4*z = 4. Put -1, l, q in descending order.
l, q, -1
Let w = 1234/7 - 176. Let o = 5 - 11. Let f = -2 - o. Put w, -5, f in ascending order.
-5, w, f
Let l(m) = -m**2 + 13*m - 17. Let b be l(12). Sort b, -7, -1 in descending order.
-1, b, -7
Let s be (-4)/3*399/38. Put s, 5, -3 in descending order.
5, -3, s
Let v = 12 + -6. Suppose -m = -v*m - 85. Put 1, 2, m in descending order.
2, 1, m
Suppose 18 = 4*l - 2. Suppose -l*o - m = -73, -5*m - 6 = 4. Let x be 1 - 1 - 3/o. Sort x, -4, 4.
-4, x, 4
Let d = 2 + -5. Let f be 106/(-8) + 2/8. Let g = -12 - f. Put g, -4, d in ascending order.
-4, d, g
Suppose 2*d = 8, -2*u - 9 = 4*d - 25. Put 2, u, -5 in increasing order.
-5, u, 2
Let f = 0.018 - -0.282. Let k = 0 + -0.1. Sort k, -1/3, f.
-1/3, k, f
Let c = 0.12 + -0.12. Put c, -4, -2/13 in decreasing order.
c, -2/13, -4
Let y(x) = -x**3 - 4*x**2 + 7*x + 11. Let t be y(-5). Suppose 7 = -4*i - t. Let o be (2 - 1)*3/1. Sort i, o, 0 in decreasing order.
o, 0, i
Let q = -5 + 14. Let y = q - 6. Let r be 26/(-8)*1 + y. Sort r, -0.7, -3.
-3, -0.7, r
Let x = -20 - -21. Sort 4, -3, x.
-3, x, 4
Suppose -5*q + 1 - 6 = 0. Let r = 0.43 - 0.23. Put q, 0.3, r in descending order.
0.3, r, q
Let n(p) = p + 0 - 3*p**2 + 2*p**2 - p**3 - 1. Let t be n(-2). Let d = 12 + -10. Sort 4, t, d in ascending order.
t, d, 4
Let a = 13 + -12. Let g(u) = u + 9. Let b be g(-6). Sort b, -5, a in decreasing order.
b, a, -5
Let f = -1776245/825594 + -1/25018. Let r = f + 7/3. Let v be (36/(-8))/9 + (-18)/(-28). Sort v, r, -3 in ascending order.
-3, v, r
Let c be (14/42)/((-1)/9). Sort -11, 2, -5, c.
-11, -5, c, 2
Let q = -45 + 46. Put 0.04, q, -1 in descending order.
q, 0.04, -1
Let u(z) = 3*z + 17. Let x be u(-7). Sort -2, -5, x in decreasing order.
-2, x, -5
Let o = -42 - -32. Put -5, o, 2 in decreasing order.
2, -5, o
Let z(p) = -p + 2. Let d be z(2). Let b be 1/(1/(d - 1)). Let m be 0 - (7 + (b - 1)). Put 0.3, -1, m in increasing order.
m, -1, 0.3
Let y(w) = 2*w - 14. Let v be y(7). Suppose 5*q - 7 + 1 = -3*l, 0 = q + l. Let z(a) = a + 1. Let h be z(q).