t w = -24.2 - -14.2. Sort w, -12, -5, -3.
-12, w, -5, -3
Let r = -441 - -444. Put 40, r, -5, 4 in decreasing order.
40, 4, r, -5
Suppose 2*x + x - 12 = 0. Suppose 1 = 3*p + 2*c, -28 = x*p - 5*c + 9. Put -5, p, 2 in descending order.
2, p, -5
Suppose 5*j = -5*i + 30, -i + 6*i - 2*j = 16. Suppose 0 = -3*g - o + 17, -4*g + 10 = -o - i*o. Put 1, g, -1, -6 in ascending order.
-6, -1, 1, g
Let u = 411.57 + -11.57. Sort u, 1, 0.3 in ascending order.
0.3, 1, u
Suppose -4*f + 1 = -4*a + 17, 25 = 5*a. Sort f, -3, 5, 3.
-3, f, 3, 5
Suppose -9 = 3*c + 2*u, 6 = 5*c - 5*u + 21. Put 1, c, -6 in descending order.
1, c, -6
Suppose 5*k + 684*w + 6 = 688*w, 0 = -3*k - 4*w - 10. Let r be (2/(-5))/(2/190). Let j = 54 + r. Sort j, 4, k in descending order.
j, 4, k
Let n = -65 - -64.93. Put -0.5, -2/25, n in increasing order.
-0.5, -2/25, n
Let v = 2 - 2. Suppose -m = -v*m - 3. Suppose -3*p + 5*o = 20, -5 = 5*p - 3*o + 23. Sort p, 4, m in decreasing order.
4, m, p
Let x be 116/48 - 35/(-140). Sort x, -2/3, -6, -2 in descending order.
x, -2/3, -2, -6
Let q = -76.8 - -77.1. Put -3, 0.0273, q in descending order.
q, 0.0273, -3
Let r be (1 - (-13 - 0)) + (-4)/2. Let g = r - 13. Sort 0.3, -1/2, g.
g, -1/2, 0.3
Let n be ((-6)/9)/(2 - 104/51). Suppose n*y - 36 = 13*y. Suppose -1 = -2*k + 1. Sort y, -2, k in descending order.
y, k, -2
Let w be (-6 - 0) + (-13)/(143/(-99)). Suppose 4*y + 14 = -0*y + 2*s, -3*s + 14 = y. Sort w, y, -8 in decreasing order.
w, y, -8
Let a = -0.0306 - -2.0306. Sort 1/2, -6, a, -1/3 in descending order.
a, 1/2, -1/3, -6
Let x(n) = -2*n - 31. Let w be x(-13). Put w, -3, 5 in decreasing order.
5, -3, w
Let z = -6.06 - -9.06. Sort 2/7, 3/7, z, 2/9 in descending order.
z, 3/7, 2/7, 2/9
Suppose 4*z - 4*c = -0*c - 20, -15 = 4*z - 3*c. Let x be (-12)/(3 - z) - -7. Sort 5, x, 2, -7 in decreasing order.
5, x, 2, -7
Let p = -37 - -55. Suppose 0 = -5*l + 15, 0 = -3*z - 2*z + l - p. Sort -1, z, -2.
z, -2, -1
Let p = -365 + 364.2. Sort 4, p, 1/16, 0 in increasing order.
p, 0, 1/16, 4
Suppose -3*g = -6*g + 12. Suppose -o + 5 = i + 10, g*i - 20 = 4*o. Let n be ((-43)/(-86))/(1 - (-6)/(-4)). Sort i, -2, n in descending order.
i, n, -2
Suppose -u = 3*p + 4, -2*p + 5*u = p + 16. Let i be p - (-4 + 0/1). Sort 3, 1, i.
1, i, 3
Let l = -200 + 200. Sort -1, l, -0.2 in descending order.
l, -0.2, -1
Let n = 0.8847 + 0.1153. Let w = 31.8 + -35. Let d = w + 0.2. Sort d, n, 0.8.
d, 0.8, n
Let k be 134/6 + (-2)/6. Suppose -5*u + f + 10 = 0, -4*u + f - 3*f + k = 0. Suppose 3 = -3*y + 3*q, u*y - 4*q - 1 = q. Put 4, -6, y in ascending order.
-6, y, 4
Let d = 12 + -14. Let v = -624 - -628. Put 0, d, v in ascending order.
d, 0, v
Suppose 3*v + 0 = 9. Suppose -v*c + 4*c = -2*u, -5*u = -3*c. Let s = 48 + -55. Put c, s, 0.3 in decreasing order.
0.3, c, s
Let z = -2 - -7. Let m = 7.66 + -11.66. Put -0.5, 0, z, m in decreasing order.
z, 0, -0.5, m
Suppose 3*i + 20 = -3*b - i, 25 = -3*b + i. Sort b, 5, 4, -5.
b, -5, 4, 5
Let m be -1*2 + (-252)/(-105). Sort -6, m, 4/9.
-6, m, 4/9
Suppose -9*y + 111 = -6*y. Suppose -11*i = -114 + y. Sort 2, -1, 0, i.
-1, 0, 2, i
Suppose -5*x - 15 = -5*f, 8*x = 10*x - 5*f + 6. Put -5, x, -87 in descending order.
x, -5, -87
Let p be ((-18)/(-7))/((-18)/84). Let q be 32/p*3/2. Let i(b) = -b**2 - 4*b + 11. Let n be i(-6). Put q, n, -5 in decreasing order.
n, q, -5
Let j(m) = m**3 + 6*m**2 - 14*m - 63. Let q be j(-6). Sort q, 1, -5 in descending order.
q, 1, -5
Let m(g) = -g - 3 + 3 + 7. Let k be m(5). Suppose 7*t = k*t + 25. Sort -1, 1, t in ascending order.
-1, 1, t
Let h = 0.02 - 5.02. Let f = -233 + 238. Sort -1.2, h, f.
h, -1.2, f
Let a be ((-18)/(-15))/(42/(-140)). Sort 4, a, -22, 2 in descending order.
4, 2, a, -22
Suppose 21*c = 4*c. Let j be (-1)/(-2) - 51/(-2). Suppose -5*s + j = 1. Sort 2, c, s in decreasing order.
s, 2, c
Let v = -0.1 - -2.1. Let r = -4 - -1.6. Let d = v + r. Sort d, -0.1, 2/9 in increasing order.
d, -0.1, 2/9
Suppose 0 = -6*m + 309 + 915. Put 0, 2, m in descending order.
m, 2, 0
Suppose 2*r + 69 = -r. Let m = r + 19. Let v be (-2 - -2)*4/m. Sort v, -2, 4.
-2, v, 4
Let y(h) = h**2 + h - 1. Suppose 0 = 3*n + 2*j - 9, -n = -j - 2 + 4. Let g be y(n). Let c(q) = -q**2 + 3*q - 2. Let u be c(3). Put g, 3, u in descending order.
3, g, u
Let y = 107 + 3. Let k = 110 - y. Sort k, -0.4, -2/11.
-0.4, -2/11, k
Suppose 4*z + 163 = -93. Let u = -67 - z. Sort 3, u, -20.
-20, u, 3
Suppose -67 - 83 = 4*a - 2*x, -10 = -2*x. Sort 3, 5, a, 4 in descending order.
5, 4, 3, a
Let c(o) = -o**3 + 6*o**2 - 10*o + 8. Let j be c(3). Put -3, j, -4, -5 in decreasing order.
j, -3, -4, -5
Let n = -6 - -14. Suppose 2*g + u = -g + 13, -2*u = 4*g - 18. Sort n, g, -4.
-4, g, n
Let x = 170 + -166. Put -45, x, 1, -0.4 in descending order.
x, 1, -0.4, -45
Let t(l) = l**2 - 9*l + 3. Let s be t(6). Let o = s + 11. Sort 0, o, 5.
o, 0, 5
Let t = 35 - 36. Let z = -8 + 9. Let l = z - 3. Sort l, 1, t in decreasing order.
1, t, l
Let u be ((-13)/(-195))/(4/60). Sort -176, u, 0 in increasing order.
-176, 0, u
Let q be (-23)/21 + 1 + (-401)/(-21). Let n be 52/10 - 4/20. Sort q, 1, n, 3 in increasing order.
1, 3, n, q
Let p be 1 + -9*26/39. Sort p, -114, -4, 2 in descending order.
2, -4, p, -114
Let g = -1 - -3. Suppose x = 3*y + 10, 3*x + y - 179 = -199. Put x, 14, g in ascending order.
x, g, 14
Let n = 3 + 3. Let r = n + -7. Suppose 0 = -3*u + 5*u + 4*c + 4, -2*u + 17 = -3*c. Sort u, r, 2 in descending order.
u, 2, r
Let x be -102*-8*2/12 - -3. Let p = -139 + x. Sort 4, p, 1, -9 in increasing order.
-9, p, 1, 4
Let t(y) = -4*y + 8. Let f be t(7). Suppose 184 = -6*i + 40. Let r = f - i. Sort 1, -2, r in increasing order.
-2, 1, r
Let t = -9 - -14. Suppose -t*n - 3*p + 30 = 0, n - 5*p + 16 = -2*n. Put n, -3, 1 in ascending order.
-3, 1, n
Suppose -579*n - 18 = -570*n. Let v = -3.92 + -0.08. Put -3, v, n in ascending order.
v, -3, n
Suppose 2*k = -d + k + 1, -4*d = -5*k + 14. Let n be 4/(-6) + (836/12 - -6). Let w be (-3)/(n/(-10)) - 66/15. Sort d, 0, w.
w, d, 0
Suppose -12*i + 16*i - 24 = 0. Suppose a - 3*w + 6 = 0, 3*w - 3 = 6. Sort -1, a, i in ascending order.
-1, a, i
Let w = 516 + -512. Put -5, 96, w, 1 in descending order.
96, w, 1, -5
Let j = -0.0175 + -0.0825. Put -3, 2/3, j, 1/4 in ascending order.
-3, j, 1/4, 2/3
Suppose 0 = -5*q + z + 84, 4*z = -2*q + 9 + 7. Suppose -3*h = h + q. Suppose 4*m = -o - 6, -5*o + 4*o - 2*m = 2. Sort o, h, 4 in increasing order.
h, o, 4
Suppose -2*s = -3*s - 1. Let w be (s/(-4))/((-3)/6). Let u = 0.23 - 0.53. Sort w, u, -0.4 in increasing order.
w, -0.4, u
Let u = -154.4 - -154.2. Sort u, 1/6, -6, 0.2 in ascending order.
-6, u, 1/6, 0.2
Let c(g) = g**3 - 4*g**2 - 20 - 7*g**2 + g + 11. Suppose -44 = -2*y - 2*y. Let t be c(y). Sort -6, t, -3 in descending order.
t, -3, -6
Let d = 27.7 + -27.3. Sort 2/7, d, 21.4, 5.
2/7, d, 5, 21.4
Suppose a = -0*a - 4. Sort 16, a, 5 in increasing order.
a, 5, 16
Let h = 0.201 + 4.799. Sort 1/5, -4, h, 42 in ascending order.
-4, 1/5, h, 42
Suppose -v - 9 = 39. Let o be (-3)/(-6)*v/(-18). Put -4, o, 6 in increasing order.
-4, o, 6
Suppose -4*b + j + 20 = 0, 5*b - 11 - 14 = j. Let l = 2251 - 173330/77. Let m = l + 31/231. Put m, 3/7, b in increasing order.
m, 3/7, b
Let k = 598 + -4198/7. Put k, 1/4, -11/4 in decreasing order.
1/4, k, -11/4
Let h = 533 - 528. Put -4, -2/7, 1, h in decreasing order.
h, 1, -2/7, -4
Let v(c) be the second derivative of -7*c**3/6 + c**2/2 + 11*c. Let h be 3 - 0 - 2*1. Let w be v(h). Put 2, w, -5 in increasing order.
w, -5, 2
Let c(s) = -2*s**2 - s - 2. Let r be c(-2). Let k = -13 - r. Let m = -31 + 33. Sort m, k, -4 in decreasing order.
m, -4, k
Let r = -142 + 144. Let n be 13/((5 + -2)/(-3)). Let c = n + 8. Put r, -2, c in increasing order.
c, -2, r
Let v = -1.5 + -2.1. Let r = 3.1 + v. Let j = -5 - -3. Sort r, j, -2/7 in decreasing order.
-2/7, r, j
Let j = 511/6 + -85. Put j, 2/7, -3, 0.4 in decreasing order.
0.4, 2/7, j, -3
Let x = 112 - 195. Let g = -83 - x. Put g, -5, -1/16 in ascending order.
-5, -1/16, g
Let s = 10 + -5. Let y be ((-24)/(-9) - 1)*-3. Let u = -130 + 265/2. Put s, u, y in ascending order.
y, u, s
Let b = -17 - -12. Let j = 1.1 - 0.6. Sort j, 8, b in descending order.
8, j, b
Let m(p) = p**3 - 18*p**2 - 4*p + 72. Let z be m(18). Put -3, z, -8 in ascending or