 in ascending order.
-2, x, s
Let k = 0.37 - 0.4. Let l = -0.0369 + 0.1369. Sort k, 3, l in decreasing order.
3, l, k
Suppose 0 = -0*w + 4*w - 4. Let r be 4/((-4)/(w - 3)). Put r, 3, -2 in decreasing order.
3, r, -2
Suppose -s - 1 = 2. Let v = -0.39 + -0.11. Sort s, 5, v.
s, v, 5
Let n = 31 + -19. Suppose -5*v = 5*r - 35, -v - r - r = -n. Sort -1, v, 3.
-1, v, 3
Suppose -f - 25 = 4*f. Sort f, 0.3, 4 in decreasing order.
4, 0.3, f
Let w = -0.07 - -0.17. Let b be 14/8 - (7 - 6). Sort w, 1/2, b in decreasing order.
b, 1/2, w
Suppose 0*d - 5*d - 10 = 0. Let y be 1*(-2 - (5 - 6)). Suppose 4 = 2*r - 0. Sort y, d, r in ascending order.
d, y, r
Let p = 2 + -2. Suppose -2*i + 5*i - 2*l + 9 = 0, 0 = -5*l + 15. Let c be p + -2 + (-2 - i). Sort 2, c, -5 in ascending order.
-5, c, 2
Suppose -2*o - 6 = 0, -w + 4*w + 3*o - 3 = 0. Suppose -q + 0 = -w. Put -1, q, 3 in ascending order.
-1, 3, q
Suppose -2*s - 10 = -3*x, -2*x + 10 = 2*s - 0*s. Put 4, -2, 0, s in descending order.
4, s, 0, -2
Suppose 0 = 2*n + 4*s + 28, -s = 4*n + 26 - 5. Let p = 195 + -193. Put -1, n, p in ascending order.
n, -1, p
Let t = 2/29 - 72/203. Sort -1, t, -6, 1/2 in ascending order.
-6, -1, t, 1/2
Let b = 2 - 4. Let y(z) = z**2 + z - 4. Let c be y(2). Put b, 3, c in descending order.
3, c, b
Let v = 5 + -1. Let o = 2.9 + 2.1. Sort o, v, -2 in decreasing order.
o, v, -2
Suppose -2*a + 2 - 6 = 0. Let c(p) = -p + 8. Let q be c(4). Put a, -1, q in increasing order.
a, -1, q
Suppose 3*j = -q + 10, 4*q - 5*j + 30 = -3*j. Suppose -2*y = -46 - 16. Suppose 5*i = 2*k - 12 + y, -5*k = 2*i - 25. Sort i, q, -1 in descending order.
i, -1, q
Let j(h) = -h**3 + 7*h**2 - 7*h + 8. Let c be j(6). Let m(l) = l**2 - 3*l + 3. Let n be m(2). Sort n, c, -4.
-4, n, c
Let v = 2032/9 - 226. Put 1, v, 0.2 in decreasing order.
1, 0.2, v
Let u(x) = x**2 - 24. Let d be u(0). Let f = d - -47/2. Let s = -2.5 + -0.5. Sort s, 3, f in decreasing order.
3, f, s
Let i = 78 + -80. Let s = 4 + -1. Put i, 2, s in ascending order.
i, 2, s
Let q = 1/23 + -26/69. Sort -4/3, q, -2 in descending order.
q, -4/3, -2
Let a = 40 + -56. Let l = -22 - a. Sort 0.2, l, 4 in descending order.
4, 0.2, l
Let x = 4.93 - -0.07. Let a = 6 + -6.2. Sort x, a, 2.
a, 2, x
Let b be 3/(1 - 14/8). Let j = b + 4. Let d(r) = -2*r - 3. Let v be d(-4). Sort -2, j, v in ascending order.
-2, j, v
Let n be 1*(0 + (8/14)/(-2)). Put -0.4, 5, n, 0.1 in ascending order.
-0.4, n, 0.1, 5
Let j = 0.08 + -0.01. Let t = j - 2.07. Sort t, 0.3, -0.3 in decreasing order.
0.3, -0.3, t
Let o be (-30)/(-4)*(-2)/(-3). Put -4, o, 0 in descending order.
o, 0, -4
Let p = 8 + -7. Let l = -2 - -3. Let q(m) = m**2 - 1. Let c be q(l). Put p, -2, c in ascending order.
-2, c, p
Suppose 0 = -0*r + 5*r + 35. Let m = r + 11. Suppose -2*p = -3 - 3, 3*q + p = 3. Sort q, m, -4 in increasing order.
-4, q, m
Let g = 421/8 - 105/2. Put g, 3/2, -4 in descending order.
3/2, g, -4
Let v = 22 - 19. Sort 1, -3, v in descending order.
v, 1, -3
Let t = -6 - -9. Suppose 0*m - t = -m. Let c(y) = y - 2. Let l be c(4). Put -3, l, m in increasing order.
-3, l, m
Suppose -3*v - 6 + 39 = 0. Let t = -10 + v. Suppose -2*z = -0*z + 2. Sort t, 0, z in ascending order.
z, 0, t
Suppose -6*s = -s - 60. Suppose j + 8 = s. Sort -0.3, -2, j in increasing order.
-2, -0.3, j
Let q be (-3)/(-2) + 0/3. Let n be ((-8)/(-3))/(20/18). Sort n, q, -0.5 in decreasing order.
n, q, -0.5
Let j(g) = -g**3 + 2*g**2 + 6*g - 7. Let z be j(3). Sort z, 0, -1 in descending order.
z, 0, -1
Let s = -27 + 66. Sort -1, 0, s in ascending order.
-1, 0, s
Let a = 1.5 + -2. Let b be 2/(-2)*(-8)/(-28). Put a, b, -5 in descending order.
b, a, -5
Let i = -1.3 + 1.5. Put i, 2/7, 0 in increasing order.
0, i, 2/7
Let d = 45 - 41. Put d, 1, -3, 5 in increasing order.
-3, 1, d, 5
Let h = -3/25 - 41/75. Let l = -0.019 + -3.281. Let k = -3.4 - l. Put -1/5, h, k in descending order.
k, -1/5, h
Let h be ((-2)/(-4))/(7/224). Suppose w + 3*w + h = 0. Sort w, 0, -3 in descending order.
0, -3, w
Let d(r) = r**3 - 3*r**2 - 3*r + 4. Let k be d(4). Suppose k = l + p, -3 = 3*l + 5*p - 37. Put -1, l, 5 in decreasing order.
5, l, -1
Let n be 184/24 - (-1)/3. Let l be 2/(-6)*(n + 1). Put 5, l, 2 in decreasing order.
5, 2, l
Let s(c) = 2*c - 5. Let l be s(4). Suppose -h + 2 + l = 2*y, -3*y = 3*h. Let d = 2 + -1. Put h, -3, d in ascending order.
h, -3, d
Suppose -s - s = -6. Sort -3, s, -1 in increasing order.
-3, -1, s
Suppose 17 = -5*c - 8. Suppose -3*g - 2*q = 3*q + 18, -3*g = 4*q + 15. Sort c, g, 1.
c, g, 1
Suppose -10*j = 5*t - 13*j - 5, 0 = 5*j. Put 3, -2, t, 0 in ascending order.
-2, 0, t, 3
Let n(l) = -l**2 + 4*l + 17. Let a be n(6). Sort a, -1, -4 in increasing order.
-4, -1, a
Let q = 51 + -77. Let u = q + 31. Put -0.2, 1/6, u in decreasing order.
u, 1/6, -0.2
Suppose -2*l = l + 60. Let x be (l/6 - -2) + 2. Let u(t) = 2*t - 9. Let f be u(4). Sort f, x, -0.5 in descending order.
x, -0.5, f
Let i(q) = -3*q + 7. Let m be i(4). Suppose -10 + 46 = 4*u + 5*s, -20 = -5*s. Sort u, -2, m.
m, -2, u
Let d be 1/2 - 4/24. Let h = 16 + -15.6. Put 3, d, h in descending order.
3, h, d
Let k = 38 - 41. Put -0.5, -23, k, 4 in increasing order.
-23, k, -0.5, 4
Suppose 0 = -4*t + 5*w - 13, -3*w - 4 + 7 = 0. Put 7, t, -3 in increasing order.
-3, t, 7
Suppose -4*o + 4*x + 21 = o, 20 = 3*o + 5*x. Let u be (1 + -1)/(4 - o). Suppose u*w = w. Sort -5, 4, w in descending order.
4, w, -5
Suppose -5*x + 2*x = 0. Suppose 3*g + 25 = -2*g - 3*l, -3*l = x. Sort 1, g, 7 in increasing order.
g, 1, 7
Suppose z - 3*u - 16 = 0, 0*u - 15 = 3*u. Suppose 0 = -5*k + i + 7, 5*k - z = 2*i + i. Sort 3, k, 1 in ascending order.
1, k, 3
Let j(c) = -c**3 + 8*c**2 - 7*c. Let y(b) = -b + 13. Let z be y(6). Let w be j(z). Let g = -1 - w. Sort 1, -2, g in decreasing order.
1, g, -2
Let b = 82.98 - 86. Let r = 0.02 + b. Suppose 0 = -d - 0 + 4. Put 0.3, d, r in decreasing order.
d, 0.3, r
Suppose 5*t - 21 = -4*m, 0*m - 2 = -m + 2*t. Suppose -18 = -m*z + 2. Let b = 0 + 0.1. Sort b, z, -4.
-4, b, z
Let m(p) = 3*p - 3 + 3*p**2 - 9*p + p**3 + p**2 + 0*p**2. Let n be m(-5). Let j be 2/6*(-3)/(-4). Sort n, j, -4 in ascending order.
-4, j, n
Let a = -2277/1828 + -2/457. Sort -2/9, -3/8, a.
a, -3/8, -2/9
Suppose 0 = 3*k - 1 - 2. Put 5, k, -5 in decreasing order.
5, k, -5
Suppose -y = w - 3*w + 6, -5*w - 4*y = -15. Put -6, 0, w in descending order.
w, 0, -6
Suppose 3*v - 3 = 3*k, -2*v + 3*k = 2*k - 5. Let r be (1 + 20/(-18))/(2/6). Sort r, v, -3.
-3, r, v
Let b be 1 - (-1*2 - -8). Let s be 4/(-6)*(-3)/b. Let r = 3.1 + 0.9. Put s, -0.1, r in decreasing order.
r, -0.1, s
Let r = -0.17 - 3.83. Let t = -2 - -3. Sort 4, r, t in descending order.
4, t, r
Suppose -6*i + 2 = -7*i. Put i, -1, 9 in increasing order.
i, -1, 9
Let l = 363/5 - 73. Sort l, 1/5, -2/21.
l, -2/21, 1/5
Let h = 0.06 + 0.04. Let w = -6.4 + 6. Let p = 0.1 + w. Sort 4, p, h.
p, h, 4
Let m be (-711)/(-81) + 2/9. Suppose -2*c = c + m. Put 3/8, -4/7, c in increasing order.
c, -4/7, 3/8
Let s = -7 + 3. Let a = 1 + 1. Let r = 5.2 - 8.2. Sort r, a, s.
s, r, a
Suppose 5*v + 15 + 0 = 0. Sort 1, v, -5 in decreasing order.
1, v, -5
Let r = 30 + -33. Sort r, 5, 4.
r, 4, 5
Let y = 8 - 0. Let x = y - 4. Sort -2, x, 3.
-2, 3, x
Suppose -j - 4*j = 0. Suppose -2 = 4*h + 3*q + 3, -2*q - 7 = -h. Put -4, h, j in increasing order.
-4, j, h
Let r(n) = 0*n**2 - 33*n + 33*n - 6*n**2. Let l be r(-1). Let p be (-12)/(-15)*15/l. Put -3, p, 1 in decreasing order.
1, p, -3
Suppose -6 - 6 = 4*n. Let m be 12/56*(-8)/(-3). Put m, -3/8, n in decreasing order.
m, -3/8, n
Let a be ((-16)/10)/(4/(-10)). Suppose 2*y - a = 4*y. Let d be 1/y - 3/(-12). Sort -2/3, 3, d.
-2/3, d, 3
Let k = -1/4 + -1/4. Let v = -49/2 - -26. Put k, -2, v in ascending order.
-2, k, v
Let u = -6 - -4. Sort -2/7, -5, u.
-5, u, -2/7
Suppose q - 2 = -6. Sort 3, 6, q in decreasing order.
6, 3, q
Let x = -4.6 + 5. Let q = -11 - -13. Sort q, -5, x in ascending order.
-5, x, q
Let j = -2 + 1. Let d(a) = 0*a + 0*a - 2*a**2 + 0*a. Let z be d(j). Sort z, -5, 2 in ascending order.
-5, z, 2
Let j = 26 - 53/2. Let h be 10/34*(-42)/35. Let a = 5/34 - h. Sort -2, a, j in decreasing order.
a, j, -2
Let s = 193.97 - 196. Let l = 0.03 + s. Sort 4, l, -1/2 in descending order.
4, -1/2, l
Suppose 11*o - 6*o = 0. Let p be (-4)/(-1)