 = -t + 1. Let x be l(1). Sort x, 5, r in descending order.
5, x, r
Let v be (-18)/4 - (-9)/6. Let j = -24 - -23. Sort -4, v, j in decreasing order.
j, v, -4
Let j = 119 - 116. Suppose -j*q - 17 = 5*p - 0*q, -2*q - 6 = -2*p. Sort -4, -3, 1, p in descending order.
1, p, -3, -4
Let k be (3*(-24)/18)/(-1). Put -2, -3, 3, k in ascending order.
-3, -2, 3, k
Let k = -320/3 - -108. Let j = -46571 + 1397561/30. Let x = -91/6 + j. Put x, k, -2 in increasing order.
-2, x, k
Let y be 6 + (-48)/(-8) + -6. Let l(v) = -v**3 - 5*v**2 + 5*v - 4. Let i be l(-6). Suppose -2*z - i = -y. Put 5, -3, z in increasing order.
-3, z, 5
Let f = -3 - 1. Suppose -116 = -3*w - 5*t, w + 3*w = 5*t + 178. Suppose -2*i - 16 + w = 0. Sort f, 1, i in decreasing order.
i, 1, f
Let o = 20.53 + -20.33. Let t = 2 + 0. Sort 5, t, -5, o in decreasing order.
5, t, o, -5
Let z = -95 + 99. Let m(k) = 2*k + 1. Let c be m(-1). Let n = z + c. Put 1, -4, n in descending order.
n, 1, -4
Let t = 564 - 567. Put t, -4, 12, -1 in increasing order.
-4, t, -1, 12
Let c(s) = 4*s - 3. Suppose 3*d + 5 = 11. Suppose d*u + 0 = 2. Let a be c(u). Put 3, 4, a in descending order.
4, 3, a
Let c be (5170/(-90))/(-11) - 5. Sort 2, 28, c in decreasing order.
28, 2, c
Let j = 160.1 + -10.1. Let z = j - 149. Let l be ((-2)/4)/((-1)/10). Put 2, z, l in ascending order.
z, 2, l
Let p(g) = 9*g**2 - 188*g - 16. Let i be p(21). Sort -124, i, -5 in ascending order.
-124, -5, i
Let d be -2 + 58/22 + -1. Let j = -47/22 + d. Sort -1, j, 3/8.
j, -1, 3/8
Let i = 0.436 - 5.436. Sort -0.5, -2, i, 10 in decreasing order.
10, -0.5, -2, i
Let r = 5.05 + -0.05. Let u = 5.6 + -0.6. Let i = u - r. Put i, -0.2, -3/2 in decreasing order.
i, -0.2, -3/2
Let u = -155 - -150. Sort 11, -2, u, -1 in decreasing order.
11, -1, -2, u
Let s = 43.032 - 0.032. Let w = s - 47. Put -3, 7/2, -0.4, w in decreasing order.
7/2, -0.4, -3, w
Let y = -1.2 - -0.2. Let x = 739.9 + -740. Sort y, x, -5, -7 in increasing order.
-7, -5, y, x
Let l = 5 - 2. Suppose -21*o = -20*o. Suppose o = -z - 1 + 5. Sort l, z, -4.
-4, l, z
Let f be (-40)/(-16)*(-8)/(-10). Let a be f/14 - 1/7. Let d = -37 + 32. Put 4, d, a in ascending order.
d, a, 4
Let a be 10/(-55) + 20/(-11). Let c(q) = -q + 8. Let w be c(8). Sort a, w, -4 in descending order.
w, a, -4
Let i = -0.057 + -0.0139. Put -0.2, i, 4 in descending order.
4, i, -0.2
Suppose 3*a + 15 = 0, 2*j + a = -10 + 35. Suppose 31*l - j = 36*l. Sort 11, 4, l in descending order.
11, 4, l
Let h(v) = 2*v**3 - 9*v**2 + 13*v - 8. Let b be h(3). Sort b, -3, -16, -2 in decreasing order.
b, -2, -3, -16
Let m(l) be the first derivative of 1/2*l**2 + 0*l - 1/4*l**4 + 0*l**3 - 1. Let z be m(1). Sort z, 5, -3 in decreasing order.
5, z, -3
Let z = -6 + 5.96. Let u = z - -0.34. Let c be (-9)/(-2) - (-12)/(-4). Sort 0.2, u, c in increasing order.
0.2, u, c
Let b = -6 - -3. Let c be ((-222)/259 + (-18)/(-21))*-1. Sort 2, b, c, 1 in decreasing order.
2, 1, c, b
Let n(y) = y**3 - y**2 - 6*y - 2. Let a be n(3). Let s be (8/(-6))/(3/(7 - a)). Let t = 14 + -9. Sort -0.1, t, s.
s, -0.1, t
Let m = 0.1729 + -0.5929. Sort m, 1, -0.1.
m, -0.1, 1
Suppose -2*g + s + 98 = 0, 4*g - 13*s = -9*s + 196. Sort 0, -2, 3, g.
-2, 0, 3, g
Let c = 1055 - 1050. Sort -0.07, -1, c.
-1, -0.07, c
Suppose -6*t + 20 = -2*g - 11*t, -g + 3*t = -12. Sort -0.3, g, -64 in descending order.
g, -0.3, -64
Suppose 3*i + 3*x = -15, -137*x = -5*i - 136*x - 25. Sort 8, 2, i in ascending order.
i, 2, 8
Let n = 71 - 88. Suppose 2*j = -2*j - 68. Let f = j - n. Put -2, 5, f in increasing order.
-2, f, 5
Let m = 0.5 + -0.6. Let r = -3.9 + m. Let h = -3.4 - -3.6. Sort r, h, 2/11 in decreasing order.
h, 2/11, r
Let w(i) = 6*i + 5*i**2 - 7 + i**2 + 15 - 5*i**2. Let d = -15 + 11. Let b be w(d). Sort 2, b, -1 in increasing order.
-1, b, 2
Suppose 5*g - 10*g = -4*m - 62, -3*g - m + 27 = 0. Suppose 5*y + 15 + g = 0. Put -1/2, y, -6, -2/5 in descending order.
-2/5, -1/2, y, -6
Suppose -3*l + 0*l - 8 = 4*r, 0 = -2*r + l - 4. Sort r, -3, -12, -1/3.
-12, -3, r, -1/3
Let k = 801 + -816. Sort k, 4, -3.
k, -3, 4
Let x = 387 - 1163/3. Sort -2/27, 4/43, x in ascending order.
x, -2/27, 4/43
Let z = 16 + -21. Put 2, z, -4, 7 in increasing order.
z, -4, 2, 7
Let i = 85 + -80. Suppose -4*v + i*z + 1 - 9 = 0, -4*v = -z + 8. Let f = -4 - 1. Sort 3, f, v in descending order.
3, v, f
Let i = -186 + 185. Sort i, 5, 25 in descending order.
25, 5, i
Let s = 439 - 444. Let u(g) = -3*g**3 - g**2 - 2*g - 1. Let i be u(-1). Let v be (i/(-2))/((-3)/(-6)). Put v, -4, s in ascending order.
s, -4, v
Let b be 20/10*10/4*1. Suppose 3*y - 6*j + 7 = -2*j, 0 = b*j - 5. Sort -5, 0, 5, y.
-5, y, 0, 5
Let n be 126/(-3528) - 4/(-14). Sort 16, -1/5, -4, n.
-4, -1/5, n, 16
Suppose -2*y + 5*y = -m - 18, -2*m + 9 = -3*y. Suppose -12*a - 12 = -9*a. Sort a, m, -1 in increasing order.
a, m, -1
Suppose 130*z = 131*z + 2. Sort 3, z, -40.
-40, z, 3
Let r be (-2 + (-540)/(-272))*-4*-2. Suppose -z - 3 = -w, 5*w - 4*z + 2 = 12. Sort 0.1, -1, r, w.
w, -1, r, 0.1
Let a = 1 - 0.5. Let t = 4 + -3.93. Let o = t - 0.07. Sort 3, o, a in ascending order.
o, a, 3
Let o = -26 - -25.9. Let q = 0.2 + 0.3. Let d = q + o. Sort d, 0, 3.
0, d, 3
Let u = 9.137 - 1.027. Let r = u - 8.1. Sort r, 5, -0.5 in ascending order.
-0.5, r, 5
Suppose g + 186 = -3*w - 3*g, 3*w - 2*g + 204 = 0. Let d = -61 - w. Suppose -q = -4*q. Put d, q, -5 in decreasing order.
d, q, -5
Suppose -3*u = -9, m + 4*m = -u + 23. Let l be (-2 - (1 - m))/(-1). Sort -3, -14, 5, l in decreasing order.
5, l, -3, -14
Let c = -609.5 + 609. Put -238, c, 0.1, 0.3 in ascending order.
-238, c, 0.1, 0.3
Let o = 9 - 5. Suppose 13 = 5*g + o*t - t, 2*g - 30 = 5*t. Suppose 6*x + 4*r + 7 = 3*x, 5*x + 27 = r. Put x, 4, g in descending order.
g, 4, x
Let k(c) = c**2 + 2*c - 73. Let v be k(8). Sort v, 1, 6 in decreasing order.
v, 6, 1
Let a be (-4)/7 - (-24)/42. Let z = 14 + -13.89. Let g = z - 0.01. Sort -4, a, g in descending order.
g, a, -4
Let k = 401/111 + 2/37. Let m = -7/2 + k. Let w = -0.44 - -0.04. Sort w, 1/5, m in decreasing order.
1/5, m, w
Suppose -2*f = y - 27, f + 2*f + y - 43 = 0. Suppose -4*r = -0*r + f. Suppose -6*g - 6 = -3*g - 3*s, 4*s - 8 = 5*g. Sort 2, r, g in descending order.
2, g, r
Suppose 33*d = 42*d + 288. Sort -5, -4, -3, d in decreasing order.
-3, -4, -5, d
Let k be (-1 - (-3 - 0)) + 5. Let y(c) = -c**3 + 7*c**2 - 2*c + 8. Let r be y(k). Suppose 5*j - 6*j = -4. Sort r, j, 2.
r, 2, j
Let y = -610 + 606. Put 6, y, -10, -1 in ascending order.
-10, y, -1, 6
Suppose -27 = 4*h + 3*j, 4*j = 2*h + 3*j + 1. Let o(i) = i**2 + 8*i + 6. Let s be o(-7). Let f be (9/30)/((-1)/(-2) - s). Sort 2/9, h, f in descending order.
2/9, f, h
Suppose 17 = -n + 4*y, -3*n = -5*y + 17 + 13. Put 1, n, 3 in ascending order.
n, 1, 3
Let v = 1 - 6. Suppose -7*o = 142 + 201. Let y = -44 - o. Put 1/2, y, v in increasing order.
v, 1/2, y
Let h = 22 - 12. Let a = -42 - -30. Let l = h + a. Sort l, -0.2, 1/8.
l, -0.2, 1/8
Suppose d - 67 = 5*t, -2 = -4*t - 22. Let p = d + -38. Put -11, p, 2 in descending order.
p, 2, -11
Let p(j) = j**3 + 8*j**2 + 6*j - 2. Let v be p(-7). Let g = -108 + 109. Put v, g, -5/3 in ascending order.
-5/3, g, v
Let m = 25.11 + -25.18. Let b = -8 + 14. Put m, b, -4 in descending order.
b, m, -4
Let w = 3.08 + -1.9. Let b = w - 0.88. Put b, -1, -0.5, -7 in ascending order.
-7, -1, -0.5, b
Suppose 0 = -18*o - 2*o - 80. Put 8, o, 3, 0 in descending order.
8, 3, 0, o
Let k(n) = -n**2 + 5*n - 7. Let q be 4*(-9)/(-6) - 1. Let b be k(q). Sort -1, b, 2.
b, -1, 2
Let o = 177/28 - 27/4. Put -0.2, o, 3 in increasing order.
o, -0.2, 3
Let h = -84752/45 + 9078/5. Let l(d) = -33*d + 2. Let f be l(-2). Let v = f + h. Sort 3, 1, v.
v, 1, 3
Let x = -3 - -6. Let p = -111 - -107. Sort 4, p, -1/4, x.
p, -1/4, x, 4
Let r = -13 - -11. Let w = 7 + -5. Put 3, r, w in increasing order.
r, w, 3
Suppose 3*b + 6 = 18. Suppose -b*m = 3*v + 19, 5*m + 17 = -v + 4*v. Sort -3, 4, -5, v in descending order.
4, v, -3, -5
Suppose i + 3*i = -4. Suppose -18*u + 0*u = -18. Sort 20, u, i in decreasing order.
20, u, i
Suppose 4*z = -2 - 6, 4 = 3*b + z. Sort 1, -5, 6, b.
-5, 1, b, 6
Let n(i) = 23*i - 68. Let j be n(3). Let l(w) = -w**2 + 9*w - 6. Let f be l(7). Sort -4, f, j in ascending order.
-4, j, f
Let d(k) = k**3 + k**2 - 5*k