.
v, q, p
Let g(x) = x**3 - 4*x**2 - 4*x + 13. Let z be g(4). Sort 5, 1, -1, z.
z, -1, 1, 5
Let r = 37 + -45. Sort -5, r, 5 in decreasing order.
5, -5, r
Let t(z) = z**3 - 7*z**2 - 7*z - 9. Let w be t(8). Suppose -17 = -6*k + 5*k - 5*x, -10 = k - 4*x. Let r be 5/((-5)/(-6)) - 2. Sort r, w, k in increasing order.
w, k, r
Let w = 97.2 + -96. Sort 1, w, 0.2, -0.4 in increasing order.
-0.4, 0.2, 1, w
Let z = 0.109 - 0.009. Let l = 2.93 + 0.07. Put l, z, 0 in increasing order.
0, z, l
Let x = -74 - -69. Sort -2/3, x, 4/3, -3.
x, -3, -2/3, 4/3
Suppose 0 = 5*k - 21 - 4. Let w be 68/(-20) + 6/(-10). Sort k, w, 12.
w, k, 12
Suppose 0 = 40*v - 46*v. Sort -18, v, -3 in increasing order.
-18, -3, v
Let j = 2.2 - 2. Let n = -4.8 - j. Let c be (-7)/4 + (0 - -2). Put n, 2, c in ascending order.
n, c, 2
Suppose p - 4*p = -15. Suppose -2*o - 7 = -p. Put -8, -4, o in increasing order.
-8, -4, o
Let m be (6 - 7)/(2/8). Sort -2, -8, m in descending order.
-2, m, -8
Let l = -10 + 6. Suppose -2 = -i + 3*i. Put -3/2, i, l in ascending order.
l, -3/2, i
Let a = 84/79 + -4438/11455. Let z = a + -8/29. Sort 0, z, 3 in increasing order.
0, z, 3
Let z = 15 + -11. Put 2, z, -4 in decreasing order.
z, 2, -4
Let z(i) = -5*i + 29. Let v be z(6). Put 0, -4, v, -8 in descending order.
0, v, -4, -8
Let b be ((-2)/(-5))/(22/5 - 2). Sort -2/5, b, -0.5, -1 in increasing order.
-1, -0.5, -2/5, b
Let m(l) = 12*l**2 - l + 2. Let j be m(1). Let x = j + -16. Sort -4, 0, x.
-4, x, 0
Let v(t) = -t**3 - 8*t**2 - 2. Let r be v(-8). Let l(w) = -w - 6. Let o be l(-3). Sort r, 3, o in decreasing order.
3, r, o
Let g be 2 + (-6)/((-54)/(-21)). Sort -3, -6, g in decreasing order.
g, -3, -6
Suppose -3*i + 4 + 12 = 2*l, -2*i - 11 = -3*l. Sort 1, 0, i in increasing order.
0, 1, i
Let b = 0.93 - -0.07. Let z = -6.5 - -3.1. Let i = z + 3. Sort b, i, -0.2 in descending order.
b, -0.2, i
Let j be 74/(-4) - (1 - 3). Suppose -12*q - 102 = -6*q. Let s = q - j. Sort -3, 0.4, s in descending order.
0.4, s, -3
Let r = 1.6 - 1.2. Sort r, 0.2, -0.8 in decreasing order.
r, 0.2, -0.8
Suppose -15*x = -11*x + 8. Sort 1, x, 5, -0.3 in descending order.
5, 1, -0.3, x
Let o = -10 - -10.3. Let d = -0.2 + o. Sort 7, d, 2/5 in descending order.
7, 2/5, d
Let s be (-1)/(-1) - 5 - -1. Suppose 5*k - 4 = -3*m, 0 = -m - 4*m + 3*k + 18. Sort s, m, 1 in increasing order.
s, 1, m
Suppose -2*m + 1 + 5 = 0. Sort m, -3, 1 in increasing order.
-3, 1, m
Suppose 2*g = 5*g. Suppose 0 = -t + 2*f + f + 4, -2*f = 2*t. Let o(z) = -3*z**2 + 1. Let p be o(t). Sort p, g, 2.
p, g, 2
Let r be ((-6)/(-1))/((-6)/4). Let n be (4/r)/((-2)/(-4)). Put 0, -1, n in ascending order.
n, -1, 0
Let a be 2/(-3) - (-16)/12. Put a, -2/23, -2 in ascending order.
-2, -2/23, a
Let a = 2 + 1. Let s be ((-2)/(-5))/((-6)/5). Sort -2/9, s, a in decreasing order.
a, -2/9, s
Let c(u) = 2*u**2 + 3*u - 3. Let q be c(-3). Let y be -1*q/39 - 0. Sort 0, 2, y in ascending order.
y, 0, 2
Let l be 12/8*8/6. Let o(a) = -a - 2. Let q be o(-5). Suppose 0 = l*i + 7 + q. Put 5, i, 2 in decreasing order.
5, 2, i
Let q = 0.94 - 1. Let f = q + 0.06. Let z = 0.1 + f. Sort 0.3, 0.4, z in decreasing order.
0.4, 0.3, z
Suppose -9*k + 12*k - 6 = 0. Let t(w) = -3*w + 2. Let n be t(k). Sort n, 5, 3.
n, 3, 5
Suppose -5*r - 4 = -24. Suppose 0 = -2*g - 3*j - 9, g - 4*j - 12 = 5*g. Put -4, g, r in decreasing order.
r, g, -4
Let s(l) = 4 - 2 + 3*l - 2 + 1. Let q be s(-2). Put 0, 1, q in increasing order.
q, 0, 1
Let o be 2/(10/(-4) - -3). Suppose 0*i - 3 = i. Sort o, i, 5 in descending order.
5, o, i
Let s = -1.31 + 0.11. Let f = -1.3 - s. Put 0.11, -5, f in ascending order.
-5, f, 0.11
Suppose -2*q - h = -0*q - 33, 0 = -2*q + 5*h + 39. Suppose j = -5*v + q, 0 = -j + 4*v - 6 - 13. Let c be (10/25)/((-2)/10). Sort 4, c, j in decreasing order.
4, c, j
Suppose -5*v + 4*z = 17, 0*v - 5*z = v - 14. Sort 4, v, 2 in descending order.
4, 2, v
Suppose -5*o + 0*s + 23 = -2*s, -4*o = -4*s - 16. Sort o, -1, 0.
-1, 0, o
Let t = -23 - -24. Sort 0, t, 26, -1 in increasing order.
-1, 0, t, 26
Suppose -8*c + 6*c = 2. Put 1, -3, 5, c in decreasing order.
5, 1, c, -3
Let p = -4.88 - -0.88. Sort 1, -0.1, p.
p, -0.1, 1
Let s(j) = -3*j + 1. Let o be s(1). Suppose -2*m - k + 3 = 0, 5*m + 4 = 4*k - 21. Sort 0, m, o.
o, m, 0
Let j = 2 + -4. Let q = -3 - -7. Suppose -q*s - 19 - 1 = 0. Put 4, j, s in decreasing order.
4, j, s
Let d = 39 - 26. Let w = 13.2 - d. Sort -2, w, 1/6 in decreasing order.
w, 1/6, -2
Let x be (-1)/(-2) + 14/(-20). Let h = -1.1 - -5.1. Let g = 3 - h. Put -1/4, g, x in descending order.
x, -1/4, g
Let b = 1.6 - 1.6. Let c = -3.7 - -4. Sort b, 3, c.
b, c, 3
Let v = -77 - -77.5. Put 2, 13, v in increasing order.
v, 2, 13
Let r = 3.6 + -4. Let g = r - -0.2. Let c = g - -0.2. Put c, -2/3, -4/3 in increasing order.
-4/3, -2/3, c
Let v = 34/9 - 161/45. Let q = 0.45 + 0.05. Sort -0.1, v, q.
-0.1, v, q
Let s = -0.4 - -0.6. Let g = 0.02 - 0.05. Let f = g + -2.97. Put f, s, 1 in descending order.
1, s, f
Let d be -6 + (-4)/(-2)*1. Suppose 2*z - t - 7 = 0, -t = -z + 3*t + 14. Let m be (5 - 2)*z/6. Put m, d, 4 in descending order.
4, m, d
Suppose -2*z - 79 = -3*x, -4*z - 130 = -5*x + z. Sort -5, 3/5, x in ascending order.
-5, 3/5, x
Let w = 3 - 4. Let i = 56 - 54. Sort w, i, 0 in increasing order.
w, 0, i
Let b(t) = t**3 - 2*t**2 + t - 1. Let n be b(1). Let k = n + 9/10. Sort -4/3, k, 3 in descending order.
3, k, -4/3
Let g be 5/10*8/2. Suppose -5*y = -8 - g. Let w be 4/(-3)*(-3 + 0). Sort w, -1, y in descending order.
w, y, -1
Let j = 0.8 - 0.5. Let s = j + -3.3. Put s, 0.2, -4 in descending order.
0.2, s, -4
Let p(o) = -o**3 - 2*o**2 - o - 3. Let u be p(0). Put 5, -4, u in descending order.
5, u, -4
Let o be (-12)/(-2)*(-4)/(-6). Put 3, o, -2 in decreasing order.
o, 3, -2
Let u = 3.5 - 3.9. Sort 3, u, 5 in descending order.
5, 3, u
Let a = -74 - -595/8. Put -1, 2/9, a in descending order.
a, 2/9, -1
Suppose 3*x - 4*o - 21 = 0, 0 = 3*x - 3*o - 2 - 16. Put 4, 7, x in decreasing order.
7, 4, x
Let h be (-2)/(-3) - 238/(-21). Suppose 5*u - h = 8*u. Put 2, u, -1 in descending order.
2, -1, u
Suppose 2*i - i = 0. Let v(g) = -2*g**3 - 3*g**2. Let m be v(-2). Suppose 0*k = m*k + 16. Put k, i, 3 in decreasing order.
3, i, k
Let g = -9 + 18. Suppose -g = l - 11. Sort 5, l, -3 in decreasing order.
5, l, -3
Let v = -323 - -192. Put v, -2/3, -1/4 in descending order.
-1/4, -2/3, v
Let u = 6 + 3. Let f be ((-72)/(-14) - 5)/(1/4). Put -2, f, u in ascending order.
-2, f, u
Suppose 0 = 2*o - 0*o - 4. Suppose -o*c - c = 0. Put 4, 3, c in ascending order.
c, 3, 4
Suppose 2*o - 25 = 7*o. Put -3, 3, o in decreasing order.
3, -3, o
Suppose h - 5*h + 16 = 0. Suppose -3*v - 25 = 2*t - 11, h = v + 5*t. Let x be (v/4 - -1)*1. Put -0.2, -4/7, x in increasing order.
-4/7, x, -0.2
Let u = 0.2 + -0.1. Suppose -20 = -8*r - 4. Suppose -4*g - 21 = 3*i, 2*i + 10 = -g + 1. Put u, i, r in ascending order.
i, u, r
Let a = 44 - 73. Let u = -14 - a. Suppose 0 = -5*m + u. Put m, 4, 1/4 in increasing order.
1/4, m, 4
Suppose 30 = -5*a + 5. Let i = 142 + -138. Sort a, i, 5 in increasing order.
a, i, 5
Let n be ((-1)/(10/4))/((-3)/15). Suppose c + 16 = -3*c. Suppose 0*u + 3*d = u, -1 = -u + 4*d. Sort n, c, u in decreasing order.
n, u, c
Suppose 0 = 6*q + 25 - 25. Put 4, -2, q, -5 in increasing order.
-5, -2, q, 4
Let x(c) = c**3 + 8*c**2 - 4*c - 30. Let n be x(-8). Suppose -4 - 2 = -3*i. Suppose 5*l - 2*r - 28 = l, -i*l + 30 = -5*r. Sort n, l, 2/11 in decreasing order.
l, n, 2/11
Let p = -133/1020 + -1/340. Put -0.1, -1/2, 4/3, p in decreasing order.
4/3, -0.1, p, -1/2
Let r be 30/12*(-12)/10. Sort 0, r, 12, 3 in ascending order.
r, 0, 3, 12
Let a = -9.8 + 9.4. Put a, -0.04, 1/4 in decreasing order.
1/4, -0.04, a
Let b be (2 - (0 - 0)) + 9. Suppose -5*l = -v - b, 5*v - v = -4*l + 4. Let p be -15*(28/(-12) + 2). Put p, 4, v in descending order.
p, 4, v
Let w = 1.7 - 2.7. Put w, 3, -2/7, -2 in increasing order.
-2, w, -2/7, 3
Let s(j) = 2*j**2 - 24*j + 20. Let l be s(11). Put 3, 15, l in ascending order.
l, 3, 15
Let q be ((-6)/4)/(2/4 + -2). Suppose -20 = 4*n - 4*f, -n - f - 4*f = -13. Put q, n, -3 in increasing order.
-3, n, q
Suppose -p - 2*m - 18 = 3*p, -5*m + 25 = -4*p. Let i(y) = -y**3 + 5*y**2 - 4*y - 4. Let d be i(4). Let j(x) = 2*x**2. Le