= 4*t - 6. Sort -1, t, 4 in decreasing order.
4, t, -1
Let v be (2 - (3 + 1)) + (-2 - -9). Sort 1/4, v, -0.02.
-0.02, 1/4, v
Let j be 2 + 4/(1 - 2). Suppose -2*i + 5*i - 3 = -5*q, 0 = 3*i - q - 3. Put -1, i, j in descending order.
i, -1, j
Let a = -0.1 + 0.5. Sort a, -2, -0.3 in decreasing order.
a, -0.3, -2
Let a = -12 + 4. Let k be a/55 + 8/(-20). Put 2/17, k, -7 in ascending order.
-7, k, 2/17
Let d(g) = g**2 + 1. Let u be d(-2). Suppose -c + m + 11 = u*m, -5*c + 1 = 2*m. Suppose 8*v - 4*v + 20 = 0. Sort -4, c, v in ascending order.
v, -4, c
Let x be (-38)/(-9) - (-4 - (-38)/9). Put 2/3, -4, x in ascending order.
-4, 2/3, x
Let r(b) = -b**3 - 7*b**2 + 7*b - 9. Let n be r(-8). Sort -2, 3, n in decreasing order.
3, n, -2
Let r be (-386)/12 + 3/18. Put r, 4, -5 in descending order.
4, -5, r
Let c be (52/(-3))/((-4)/(-6)). Sort 4, 1, c, 3 in decreasing order.
4, 3, 1, c
Let r be (-4)/10*(-20)/16. Let d = -10 + 9.9. Let t be (-4)/20 - (-1)/5. Put d, t, r in descending order.
r, t, d
Let j = 9 + -6. Suppose 3*c + 0 = -6. Suppose 4*z + 5*f - 38 = -9, 0 = z + 3*f - 16. Sort j, z, c in decreasing order.
j, z, c
Let w be -1 - (-207)/201 - 0. Let d = w - 168/1139. Sort -2, d, 3/5.
-2, d, 3/5
Suppose 11 = o + 7. Suppose -g - 18 = -3*c, c + 2*g = 6*g + 17. Put c, 2, o in descending order.
c, o, 2
Suppose -3*w = 4*m - 25, -3*w - 13 = -m - 6*w. Suppose 0 = -3*n + m*n. Let c be 1/1*9/((-9)/(-2)). Sort c, n, -3 in ascending order.
-3, n, c
Let s = 1.07 + -0.07. Let f = s - -4. Sort 2, f, 2/11 in increasing order.
2/11, 2, f
Let r = 12 + -18. Let p be (1 - 0)/(r/(-24)). Put 3, -5, p in decreasing order.
p, 3, -5
Let t = -3 + 1. Let q = -0.07 - 0.02. Let x = -0.29 - q. Put x, 4, t in descending order.
4, x, t
Let j = -0.2 + -0.3. Suppose 3*h - 2 = 1, 2*x + h - 5 = 0. Put x, j, 0.2 in descending order.
x, 0.2, j
Let i = 5.1 - 4.9. Put -4/9, 2, i in descending order.
2, i, -4/9
Let u = -11 + 10. Let m = 0 - u. Sort m, 0.3, 4 in decreasing order.
4, m, 0.3
Let i = 9 + -4. Suppose -3*g - 3*j + 23 = 2*j, i*g = -j + 9. Suppose -5*z = -4*a + 1, -4*a - a = 5. Sort g, z, -5 in descending order.
g, z, -5
Suppose 5 + 4 = 3*o. Suppose 9 = 4*n - o. Suppose 2*q = n*b - 6*b + 11, -4*b - 5*q = -24. Sort -2, 3, b in increasing order.
-2, b, 3
Let m = 51 - 32. Let f = m + -24. Put 5, -3, f in ascending order.
f, -3, 5
Let o = -0.97 + 1. Sort o, -5, -1.
-5, -1, o
Let t = 18 - 16.2. Let w = t - -0.2. Put w, 6, 4 in descending order.
6, 4, w
Let u be (10/8)/((-2)/(-8)). Let n = u - 5. Let f be (-36)/(-21) + 4/14. Put n, -3, f in descending order.
f, n, -3
Suppose 0 = 3*j - 9 - 3. Sort -5, 0, j.
-5, 0, j
Let a = -9 + 17. Let k = 9 - a. Suppose -j = -6 - 1. Put -2, k, j in descending order.
j, k, -2
Let d be 8/28 - (-66)/14. Suppose -4*q = -2*n + 3*n + 5, d*q + 2 = 3*n. Sort -3, q, 5 in ascending order.
-3, q, 5
Suppose -2*m = z - 1, 0 = 5*m - 4*z - 8 - 14. Put m, -0.5, -0.4 in descending order.
m, -0.4, -0.5
Suppose -5*b = 4*s - 10, b - 5*s + 29 = -b. Let c = -2 - -1. Put b, 2, c in descending order.
2, c, b
Let i be ((-2)/(2/2))/7. Let q = 34 + -34.5. Sort 2, i, q in ascending order.
q, i, 2
Let y be -9*((-8)/6 - -1). Suppose 0*l - y*l = 21. Put -3, 1, l in decreasing order.
1, -3, l
Let o = -22 + 16.9. Let t = 16 - 11. Let y = t + o. Put 2/9, 3, y in descending order.
3, 2/9, y
Let v(b) = -b**2 + b + 1. Let i be v(3). Let d be (-2)/i + 91/35. Put 2, -2, d in descending order.
d, 2, -2
Suppose 0 = 2*c - 8 - 2. Sort 0, c, -3.
-3, 0, c
Let y(b) = b**2 + 8*b - 7. Let j be y(-9). Let t be (j - 2/1)/(-1). Suppose -3*x = 4*p - 32 + 10, 4*x = -5*p + 28. Sort 5, t, p in ascending order.
t, p, 5
Let k be 2/3 + 3 + 20/(-3). Sort 2, 13, k.
k, 2, 13
Let u = -0.46 + 0.6. Let s = -0.44 + u. Put 5, -2/13, s in decreasing order.
5, -2/13, s
Let z be (-1)/(-6) + (-4)/(-8). Sort z, 0, 1/6, -0.3 in descending order.
z, 1/6, 0, -0.3
Let b = -6 + 12. Suppose -3*f + 0*f = -3*x - b, f + 7 = -2*x. Put 13, -3, f in descending order.
13, f, -3
Let l be 3*(0 - 4/12)*-7. Suppose -2*y = 2*y + 20. Put l, y, 4 in increasing order.
y, 4, l
Let s = 71/120 - 11/24. Put s, 3, 2, -0.4 in descending order.
3, 2, s, -0.4
Let l = 39 + -41. Put 5, l, 2 in increasing order.
l, 2, 5
Let p = 49 + -95. Let d be 3/4 + p/8. Let v be -5*2*2/5. Sort 4, d, v in increasing order.
d, v, 4
Let g be 4/6*9/(-6). Suppose 7 = 3*n + 1. Let m be n + 0 + g/(-1). Sort 4, -5, m.
-5, m, 4
Let w = 37 - 40. Put w, 5, 0.4 in descending order.
5, 0.4, w
Let a(y) = y**2 - 11*y + 2. Let s be a(11). Let q(w) = w**3 + 5*w**2 - 7*w - 3. Let j be q(-6). Suppose 0 = -4*f - 14 - 2. Put s, j, f in descending order.
j, s, f
Let u = -1 + -2. Suppose 34 = 2*m - 2*r, 0 = -4*m + r + 13 + 46. Suppose -2*x + 0*x - 4*a - m = 0, -24 = -3*x + 3*a. Put -2, u, x in descending order.
x, -2, u
Let x(f) = 2*f + 9 - 5 - 5 + 2*f**3. Let s be x(1). Sort s, -4, 1 in increasing order.
-4, 1, s
Suppose -q + 2 = -0. Let z be (q/1)/((-1)/(-2)). Sort 3, z, 5 in descending order.
5, z, 3
Let c = 17 + -17.3. Put c, 0.1, 0.4 in decreasing order.
0.4, 0.1, c
Let x be 2 + -4 - 21/(-3). Sort x, -0.5, 3 in decreasing order.
x, 3, -0.5
Let t(n) = n**3 + 14*n**2 - n - 13. Let d be t(-14). Put -1/13, 2/9, d in descending order.
d, 2/9, -1/13
Suppose -4*a - 12 = -0*z + 4*z, 0 = -2*z - 5*a - 9. Suppose 3*i = -3*m + 5*i + 10, 0 = 2*m + 3*i + 2. Let c = -73/885 - 3/59. Sort z, c, m.
z, c, m
Let w = 0.5 + -1. Let h = -1.3 - -1.3. Let c = h + 0.4. Sort -0.4, w, c in descending order.
c, -0.4, w
Let w = 3959/225 + -158/9. Let t = 29/100 - w. Sort -2/19, -4, t.
-4, -2/19, t
Let s be 2/(-1) - 16/(-8). Put s, 2, -1, 3 in decreasing order.
3, 2, s, -1
Let i be (32/(-44))/(-4) - (-13)/(-11). Sort i, -5, 0, -3.
-5, -3, i, 0
Let t = 0.3 - 0.8. Let w = -22 + 17. Put w, 3, t in decreasing order.
3, t, w
Let y be ((-3)/9)/(4/228). Sort 3, y, -4 in decreasing order.
3, -4, y
Let t = -0.46 - -0.06. Let b = 0.42 + t. Let o = -0.28 - b. Sort o, -5, -0.2 in decreasing order.
-0.2, o, -5
Let j = 1 - 4. Let b = 0.03 - -1.47. Let l = b - -0.5. Sort -5, j, l in ascending order.
-5, j, l
Suppose 0 = 5*b - k - 814, 2*b + 3*k = 5*k + 332. Let s be b/(-45) + 2 + 1. Sort -1/9, -2/9, s in increasing order.
s, -2/9, -1/9
Let n = -3 + 6. Let r = n + 0. Put -1, r, -4 in ascending order.
-4, -1, r
Let w = -244 + 121. Let p be 10/1*w/(-24). Let i = p - 51. Sort -0.2, 0.1, i in descending order.
i, 0.1, -0.2
Let j = 163.4 - 163. Put j, -29, 4 in decreasing order.
4, j, -29
Suppose u = 4*u - 24. Suppose -3*x + u = -x. Let s be 2 + (2 + -2)/(-1). Put s, 1, x in decreasing order.
x, s, 1
Let c(r) = -3*r + 2. Let i be c(-3). Suppose -k - 41 = -i. Let n be 33/k + 2/(-5). Put -3, n, 1/4 in decreasing order.
1/4, n, -3
Let b = -23 - -23. Sort b, -4, -2 in ascending order.
-4, -2, b
Let l be (-1 + (-10)/(-7))*-1. Let f(g) = -g - 2. Let m be f(-6). Let c be (25 + -1)/m - 1. Sort c, l, -2 in ascending order.
-2, l, c
Let w = -5.16 - -0.16. Put 0.5, -4, w in descending order.
0.5, -4, w
Let d(l) be the second derivative of -l**3/6 + l**2/2 - l. Let w be d(-4). Put -4, w, 4 in descending order.
w, 4, -4
Let n(m) = 3*m**2 - 2*m. Let t be (4/(-6))/((-2)/6). Let l be n(t). Let x = l + -10. Sort -1, 1, x in increasing order.
x, -1, 1
Let z = 59 - 38. Let q be (-7)/z*(-9)/5. Sort 5, -3/2, q.
-3/2, q, 5
Let n = -0.1 - 0. Sort 0.2, n, 1/4 in ascending order.
n, 0.2, 1/4
Let s = 94 + -90.05. Let n = -0.05 - s. Put n, 4, -0.5 in decreasing order.
4, -0.5, n
Suppose 8 = 2*w - 4*w. Let v be (-3)/(-1) + 20 + -3. Suppose -c + v = 4*c. Sort w, 5, c.
w, c, 5
Suppose k = -0*k + 10. Let s be 1*(-3 + 26/k). Sort -0.3, 6, s in ascending order.
s, -0.3, 6
Let k = 0.1 + 0.9. Let y = k + -5. Let m = 799/8 - 100. Sort m, y, 0 in decreasing order.
0, m, y
Suppose -4*c - 35 = -3*q, -10 = -5*q + c - 4*c. Sort q, -3, -2 in increasing order.
-3, -2, q
Let j = -66 + 64. Let d be 4/(-1) - (1 - 0). Put -1/4, j, d in descending order.
-1/4, j, d
Let r be 5*-1*4/5. Let y = -5 - r. Let t be ((-5)/(-15))/(y/(-15)). Sort 3, 0, t.
0, 3, t
Let b = -1/24 - -79/168. Let c = -10 + 13. Put c, -0.01, b in descending order.
c, b, -0.01
Let r = 7.6 + -1.6. Let a = 5.6 - r. Sort -2/11, -7, a.
-7, a, -2/11
Let b = 36 + -20. Suppose -4*l + b = 5*p - 3*p, 0 = 4*l + 3*p - 20. Sup