 = o - 0.04. Sort x, -0.1, t in ascending order.
-0.1, x, t
Suppose -9 = -3*o, 2*o + 0*o = -5*z - 4. Let v be z/(-6) + (-260)/(-39). Sort v, 5, 2 in ascending order.
2, 5, v
Suppose 0 = -2*v + 4*v + 22. Let r = v + 9. Let o = -0.3 - -0.2. Sort o, r, 0 in increasing order.
r, o, 0
Suppose -z + 3*z = 0. Suppose 0 = f - 4*o + 1, z*f - 5*f = -5*o + 20. Let m = -1 + 2. Sort 0, f, m in ascending order.
f, 0, m
Suppose 5*y = -54 + 39. Suppose 0 = 4*j - 7*j. Let b = -3 - -2.7. Sort j, y, b.
y, b, j
Suppose 2 = 2*j - 4*t + 2*t, -4*j + 14 = t. Suppose -j*d - 6 = 6. Put d, -7, 4 in decreasing order.
4, d, -7
Let x(d) = d - 3. Let u be x(3). Let t = 0.05 + 0.25. Sort -1/3, u, t in ascending order.
-1/3, u, t
Let j be 2/(-3)*63/14. Sort 2, j, 0 in descending order.
2, 0, j
Let v = -0.3 - -0.4. Sort -5, 0, v.
-5, 0, v
Let t = -6.94 + 7. Let i = 4.06 - t. Let q = i - 4. Sort q, -0.1, -5.
-5, -0.1, q
Let p = -4 + 2. Let b = -6 + 11. Put b, p, 4 in descending order.
b, 4, p
Let l(r) = r**3 - 3*r**2 - 5*r + 5. Let k be l(4). Let t = k - 3. Sort 4, 0, t in decreasing order.
4, 0, t
Let c(m) = -2*m + 4. Let t be c(3). Let s = 9/47 + -74/141. Sort s, 0.2, t in decreasing order.
0.2, s, t
Suppose 10*a - 8*a - 8 = 0. Let i(u) = u + 2. Let b be i(-6). Sort b, a, -2 in increasing order.
b, -2, a
Suppose 4*j + 15 = -1, j + 9 = 5*g. Let q be g*(0 + 1)*1. Sort q, -2, -3 in decreasing order.
q, -2, -3
Suppose 2*v = -6 + 2. Sort 2, v, -5.
-5, v, 2
Let w = 0.6 - 0.1. Sort -0.05, -4, w in decreasing order.
w, -0.05, -4
Let v = -1.77 - 0.13. Let h = 1.8 + v. Put 1, -2/11, h in ascending order.
-2/11, h, 1
Let q be 5/10*0/(-3). Suppose q = 6*n - 37 + 7. Sort -1, n, 0 in decreasing order.
n, 0, -1
Let f = -3.1 + 9.2. Let u = f - 6. Let b be (-7)/(-3) + (-1)/3. Sort b, u, -4.
-4, u, b
Let p = -2 - 2. Let n be 2/1 - (-9)/p. Let w = -2 + 2. Put 5, n, w in descending order.
5, w, n
Suppose 2*c - 5 + 2 = 5*k, -3*c + 5*k + 7 = 0. Suppose 2*z = 6, 0*p = -3*p - z - 9. Put p, -2, c in ascending order.
p, -2, c
Let q = -6.5 + 8.5. Put q, 4, 3, -7 in increasing order.
-7, q, 3, 4
Let z be (-14)/(-4)*4/7. Suppose -1 - z = -x. Sort x, 0, 1.
0, 1, x
Suppose -2*k = 2*k - 4*w - 32, k = -3*w - 12. Suppose -5*b + 2 = 7. Put -5, k, b in decreasing order.
k, b, -5
Let c be (3 + (-19)/3)/(2/3). Sort -17, c, 4.
-17, c, 4
Let c = -115/654 - -1/109. Sort c, -3, 39 in decreasing order.
39, c, -3
Suppose 13*w - 9*w - 4 = 0. Sort -3, 0, w in descending order.
w, 0, -3
Let g be -3 + (-76)/(-12) - 3. Let l be 4/10 + 26/10. Put l, g, 1 in increasing order.
g, 1, l
Let r be (0 + (-2)/4)*14 + 4. Sort r, 5, -1, -4 in decreasing order.
5, -1, r, -4
Let a = 3 - 5. Let v = -88 - -91. Sort a, v, 5 in decreasing order.
5, v, a
Let r be (-61)/6 + 3/18. Let q = r + 8. Sort 2, -5, q.
-5, q, 2
Let o be ((-3)/(-15))/((-1)/(-5)). Suppose 0 = m - o + 6. Let n be (-1)/(-3) + m/(-3). Sort n, 5, 0.
0, n, 5
Suppose -4*w - 20 = 4*n, 2*w - 2 = -0*w + n. Sort -5, -3, w in increasing order.
-5, -3, w
Let g = 1.1 - 1. Let k(n) = n**3 + 6*n**2 + 1. Suppose 4*m + 18 = m. Let j be k(m). Put g, 5, j in descending order.
5, j, g
Let l = 3853/7 - 550. Let s(a) = -a. Let p be s(-2). Suppose -p = 5*g + 8. Sort l, -7, g.
-7, g, l
Suppose 2*v - 19 + 21 = 0. Sort -3, v, 6, -2 in increasing order.
-3, -2, v, 6
Let g(w) = w**3 + 7*w**2 + 8*w + 9. Let x be g(-6). Put 3/4, x, -0.5 in descending order.
3/4, -0.5, x
Let a be 2*(-3)/2*2. Let l(x) = -2*x - 47. Let g be l(-24). Sort g, -2, a.
a, -2, g
Let h = 1.07 + -1.1. Sort 2/5, -1, h.
-1, h, 2/5
Let a be (106/(-3))/((-1)/(-15)). Let s be (5/a)/(1/2). Let g = s - 95/583. Put 4, g, 2 in decreasing order.
4, 2, g
Suppose c = 2*i + 3*i - 9, -4*c - 2 = -3*i. Sort c, 0, 5, 9.
0, c, 5, 9
Let d be -9*(-5)/(30/16). Let w be (-1)/4 - (-54)/d. Suppose 0 = -5*s + 4*k, -s + w*k = -0*s. Sort -5, 4, s.
-5, s, 4
Let k = -0.03 - 2.97. Sort -0.1, k, 0.2 in descending order.
0.2, -0.1, k
Let f = 0 + -3. Put f, 8, -1 in decreasing order.
8, -1, f
Let h(s) = 1 - s**2 - 1 + 5*s - 2. Let w be h(3). Sort -3/7, -1, w in ascending order.
-1, -3/7, w
Suppose 0 = -5*u + 8 + 62. Suppose 0 = 4*n + d + 4*d + 12, 3*n = 2*d + u. Sort n, 4, -3.
-3, n, 4
Suppose -5*n + 18 + 17 = 0. Let c be (-6)/21 + (-201)/n. Let s = 147/5 + c. Put -5, -3/7, s in decreasing order.
s, -3/7, -5
Suppose -3*a + 12 = 3. Suppose 2*y = -a*m + 36, y - 5 = 2*m - 22. Let j be (m/(-25))/((-2)/(-10)). Sort 5, j, -3.
-3, j, 5
Let z be ((-12)/8)/(5/10). Sort z, -1, -4, 1 in descending order.
1, -1, z, -4
Let b = -4 - -2. Let a = 2.4 + 0.6. Let h = -2 - a. Sort h, 3, b in descending order.
3, b, h
Suppose i - 7*i = 0. Suppose 3*r + 10 = -2*h, r + 2*r + 17 = 5*h. Sort r, i, -1.
r, -1, i
Let q = -74.7 - -71. Let i = 4 + q. Sort 1, -0.6, i in descending order.
1, i, -0.6
Let u be (1 + 1)/((-2)/(-5)). Suppose 12*j + 58 = 10. Sort u, j, -3 in ascending order.
j, -3, u
Let n be (-96)/(-20) - (-2 - 18/(-10)). Sort 0.2, 1, n in decreasing order.
n, 1, 0.2
Let l(d) = -d**3 - 2*d**2 - 3*d - 3. Let n be l(-2). Let y(w) = w**3 - 4*w**2 - 2*w + 3. Let o be y(4). Put 2, n, o in increasing order.
o, 2, n
Let t(j) = 2*j. Let i be t(1). Suppose -l - 9 = i*k, 0 = 2*l - 5*k - 11 - 7. Sort l, 5, -4 in descending order.
5, l, -4
Let n = -0.1 + 0. Let w = -0.1 + n. Let f = 0.34 - 0.04. Sort f, w, -0.5 in increasing order.
-0.5, w, f
Suppose 5 = r + 10. Let b = -4 - r. Sort -1/4, 0.1, b in increasing order.
-1/4, 0.1, b
Let g(k) = k**3 - 6*k**2 + 2*k - 9. Let h be g(6). Sort h, 0, 1 in decreasing order.
h, 1, 0
Let b = 21.9 - 23. Let l = -0.8 - b. Put l, -3/5, -0.1 in descending order.
l, -0.1, -3/5
Let u = -38 + 38.3. Let i = -3 - -3.1. Sort i, 0.5, u in ascending order.
i, u, 0.5
Let p(a) = 1 + 5*a**3 + 0*a**3 - 4*a**3 - a + a**2. Let y be p(0). Suppose d + 4 + y = 0. Sort -1, -2, d in descending order.
-1, -2, d
Let h = -10 - -10. Sort 4, 3, h in decreasing order.
4, 3, h
Let t = 2.5 - 0.5. Put -8, -1, t in descending order.
t, -1, -8
Let p be (-26)/6 + 8/24. Suppose 0*r + 2*k = -r + 3, -15 = -5*r + 2*k. Sort p, 0, r in descending order.
r, 0, p
Let w = 0.131 - 0.031. Let n = 1 - 0. Sort w, -3, n.
-3, w, n
Let y be ((-8)/12)/(10/(-105)). Put 3, -5, y, 1 in increasing order.
-5, 1, 3, y
Suppose 0 = -0*w + w - 4*g + 9, 4*g = -2*w + 6. Let k = -812/9 + 90. Put 5, w, k in increasing order.
w, k, 5
Let c = -6.1 - -6. Sort 2, 2/15, c, -2 in descending order.
2, 2/15, c, -2
Let a = 1 - 1. Suppose -2 = n - 19. Let c = 14 - n. Sort 1, a, c.
c, a, 1
Let x be (-4)/(-2) + -1 - 3. Put 6, 5, -4, x in ascending order.
-4, x, 5, 6
Suppose -5*f - 548 = -4*q, -4*f = -4*q - 280 + 720. Let r be 1/4 - f/(-48). Let a be (r/4)/((-1)/8). Sort -2, a, 6 in decreasing order.
6, a, -2
Let f be 2*((-3)/(-2))/1. Sort 1/3, f, 4 in descending order.
4, f, 1/3
Let o(z) = -z + 8. Let p be o(3). Put -3, 7, p in ascending order.
-3, p, 7
Let z be 1806/(-16) + (-6)/3. Let l = z - -115. Sort l, 0, -5 in descending order.
l, 0, -5
Let j = -1/64 - -199/448. Sort -0.4, j, 0.3 in increasing order.
-0.4, 0.3, j
Suppose -2*x - 9 = x. Put x, -4, 0.1 in descending order.
0.1, x, -4
Let v(u) = u**3 + 5*u**2 + 5*u + 7. Let h be v(-4). Suppose -3*r - 2 = -2*b, -2*b - 2*r = -h*b - 1. Put 5, -5, b in descending order.
b, 5, -5
Suppose -3*g - t - 9 = t, 3*t + 3 = -g. Let c(u) = u**2 - 7*u - 9. Let j be c(8). Put -5, g, j in ascending order.
-5, g, j
Let p(a) = -a**2 - 3*a + 13. Let w be p(-5). Let u(h) = h + 1. Let y be u(4). Suppose -v = -4 + 1, -4*z + y = w*v. Sort 5, z, -3.
-3, z, 5
Let u = 133 - 136. Let c = -1 + 0. Put -5, u, c in increasing order.
-5, u, c
Let o be (-8)/(-6)*(-6)/4. Let f be o/14 - 174/(-42). Sort 5, -2, f in decreasing order.
5, f, -2
Let j = 161 + -156. Let n = 1 + 0. Sort j, n, 3 in decreasing order.
j, 3, n
Let g = -1.5 + 2. Let i = 3.5 - g. Let m = -4 - -8. Sort m, -2, i in descending order.
m, i, -2
Let z = 0.3 - -4.5. Let u = -5 + z. Put 2, 2/15, u in ascending order.
u, 2/15, 2
Let l = 4.8 - 0.8. Let a = 2 - 2. Suppose 3*h + k - 6 = a, k - 1 = 2*h - 10. Sort 0.5, h, l in increasing order.
0.5, h, l
Let f = 1.82 - 2.4. Let o = 5.08 - 5. Let m = o + f. Sort 5, m, 1 in increasing order.
m, 1, 5
Let d = 7 + -5. Let o = 442/5 - 88. Sort o, -1, d in ascending order.
-1, o, d
Suppose 0 = -n - n - 2. Let