 descending order.
4, w, -3
Let b = -131 - -136.9. Let o = 6.37 - b. Let a = o + -0.07. Put -3/4, a, 0 in decreasing order.
a, 0, -3/4
Let g = 54.4 - 54. Put 3, 1/2, g in decreasing order.
3, 1/2, g
Suppose -5*a - 5*x - 25 = 0, 0 = 3*a - 2*x + 16 + 19. Let q be 3/(-6)*(a + -1). Put 4, q, -1 in decreasing order.
q, 4, -1
Suppose -2*d + n + 6 = 0, -5*d - n + 5 = -3. Suppose -4 = -d*h + 28. Let x be (-4)/h + 63/12. Put -3, -3/2, x in descending order.
x, -3/2, -3
Suppose l = 0, -5*v + 3*l = -v + 12. Sort -4, 8, v, -2.
-4, v, -2, 8
Let x = -4.98 - 0.02. Let r = x - -9. Let b = -1.5 - -1. Sort 2/7, r, b in ascending order.
b, 2/7, r
Suppose d + 12 = -3*d. Let k be 1 - 9/(9/d). Suppose 5 = -k*c + 1. Sort 2, 3, c.
c, 2, 3
Let w = 1 + 1. Suppose -b = x + 4, w*b = -x - 0*b - 6. Sort -7, x, 3.
-7, x, 3
Let w be 4/(-3)*(-5)/20. Sort w, -4, -5/6 in descending order.
w, -5/6, -4
Let x = 0.35 + -0.55. Sort x, 2/5, -0.4 in descending order.
2/5, x, -0.4
Let y = -21 + 24. Sort -1/8, -1, y in descending order.
y, -1/8, -1
Suppose 0*d + 5*d - 20 = 0. Put -15, -5, d in descending order.
d, -5, -15
Suppose 10 = 2*i, -2*i - 3*i + 24 = -z. Let u be 1/z + -2 + -3. Put u, -5, 3 in descending order.
3, u, -5
Let t = 6.5 + 0.5. Let q = t - 6. Suppose -3 = -4*r + 3*r. Put 1/4, r, q in increasing order.
1/4, q, r
Let m = -2/45 + 44/315. Suppose 0 = -4*f + 2*k - 4*k + 16, -12 = 4*f - 5*k. Put m, -0.2, f in decreasing order.
f, m, -0.2
Let h = -2 - -3. Let m = -1.5 - -2.4. Let w = h - m. Sort w, 1, 1/8 in decreasing order.
1, 1/8, w
Let u = 7 + -4. Let y be (27/(-36))/((-30)/(-16)). Let g = -2/57 + 124/285. Sort g, y, u.
y, g, u
Let y = 14 + -24. Put 2/3, y, 0.5 in descending order.
2/3, 0.5, y
Let h = -45 - -48. Put -1, 0, h, 4 in ascending order.
-1, 0, h, 4
Let s(g) be the second derivative of g**5/20 - 5*g**4/6 + g**3/6 - 4*g**2 - 4*g. Let k be s(10). Suppose -3*r = -4*r + 5. Put k, r, -4 in decreasing order.
r, k, -4
Suppose -5*o = -54 + 34. Sort 1, -10, o, -3.
-10, -3, 1, o
Let h = 0.4 - 1.4. Suppose -5*w = 2 + 23. Sort w, 0.3, h.
w, h, 0.3
Let i = 279 - 283.72. Let v = 0.28 - i. Sort v, -0.4, 0.5 in increasing order.
-0.4, 0.5, v
Let z be 5/3 - (-2)/(-3). Let x = 1529/6 - 254. Sort -1/10, x, z.
-1/10, x, z
Let q = -3 + 3. Let a = -0.69 + 0.19. Put 2/9, q, a in increasing order.
a, q, 2/9
Suppose -3*v + 0*v - 6 = 0. Let a be (-6)/4*v/9. Put a, -2/21, 0.5 in decreasing order.
0.5, a, -2/21
Let m(l) = -l**2 + 7*l - 4. Let a be (6/(-2))/(2/(-4)). Let q be m(a). Suppose 2*t + q*t = 20. Sort -3, -5, t in decreasing order.
t, -3, -5
Let k be 9/68 + 2/(-8). Let s be 4*(2/3)/(20/(-15)). Put s, -1, k in ascending order.
s, -1, k
Let l be 1 - 1070/286 - -3. Let b = l + -1/13. Put b, 0.1, 1 in descending order.
1, b, 0.1
Let m = 0.007 + -4.987. Let l = -0.02 + m. Let x = -70 + 70. Sort l, 2/3, x in descending order.
2/3, x, l
Let m be (4/6)/(3/18). Let o be (15/10)/3*4. Sort m, o, -5 in decreasing order.
m, o, -5
Suppose 3 = 5*w - 3*z - 2, -4*z = 0. Suppose -4 = -u + w. Put u, 4, 2 in ascending order.
2, 4, u
Let d(l) = 2*l - 7. Let g be d(6). Suppose -4*j = -g*j + 2. Let v = j - 4. Sort v, 4, -1 in ascending order.
v, -1, 4
Let g = 45 - 40. Let t = 0 + -3. Sort t, 4, g in decreasing order.
g, 4, t
Suppose 0 = -23*h + 19*h + 4. Let c be 21/(-12) - 2/8. Sort h, c, 5.
c, h, 5
Let c(l) = l**2 - l - 5. Let w be c(0). Sort w, -4, -2 in descending order.
-2, -4, w
Suppose -5*a + 4*f - 30 = f, a - 17 = -4*f. Let t = a + 6. Let o(g) = -g. Let h be o(5). Sort h, 5, t.
h, t, 5
Let o = -0.3 - 0.5. Sort 3, -2, o in ascending order.
-2, o, 3
Let t = 5 + -4. Suppose 0 = r + 3*r. Suppose g + 2*n + 0*n = 12, -5*g = -5*n. Sort r, g, t in ascending order.
r, t, g
Suppose 6*l - 12 = 2*l. Suppose -2*b = -2*m, -4*b + b - 2*m = 25. Sort b, l, 4 in decreasing order.
4, l, b
Let g = -16255/7 + 174969/77. Let a = 50 + g. Sort -1/6, 5, a in ascending order.
-1/6, a, 5
Let v be -4 + -3 + 66/9. Sort 0.5, v, 0 in decreasing order.
0.5, v, 0
Let a = -0.9 - -0.87. Let h = -0.97 + a. Put -2, 1, h in decreasing order.
1, h, -2
Let h = -26 + 26.2. Sort h, -1, 13 in decreasing order.
13, h, -1
Let m be 3*(-2)/9*-1. Suppose 2*s - 7*s = -25. Suppose -5*k - 25 = 7*r - 2*r, -15 = s*k. Put m, -2/7, r in descending order.
m, -2/7, r
Let d = 0 + -2. Sort 4, 0.5, d.
d, 0.5, 4
Let q be (-93)/(-9) - -3*2/9. Sort 4, 3, -2, q.
-2, 3, 4, q
Let y = -11/21 - -20/21. Let b = 1 + -1.1. Put y, 3/2, b in decreasing order.
3/2, y, b
Let h(l) = -l**3 + l + 14. Let x be h(0). Suppose x = 2*a + 22. Sort a, 3, -2 in descending order.
3, -2, a
Let c = -217.3 - -229. Let j = -12 + c. Sort 0.2, -3, j in descending order.
0.2, j, -3
Let q(g) = g**2 + 3*g + 5. Let o be q(0). Let t(h) = h**3 - 6*h**2 + 2*h - 9. Let d be t(6). Sort d, o, -2 in ascending order.
-2, d, o
Suppose 3 = -3*o + 9. Put -3, -1, o in decreasing order.
o, -1, -3
Let p = 1550/9 + -172. Let o(k) = k**2 + 7*k + 6. Let x be o(-6). Sort p, -5, x.
-5, x, p
Let b = -211 - -206. Put -7, b, 0 in ascending order.
-7, b, 0
Let q = 9 + -7. Suppose 4*j + 0 = -q*t + 12, -j + 1 = t. Let c = -8 - -11. Sort c, -5, j in decreasing order.
j, c, -5
Let j be -1 - (-156)/27 - (-4)/18. Put -3, 4, j, 1 in decreasing order.
j, 4, 1, -3
Let z(t) = -1 + t - 3*t + 0 - 5. Let v be z(-5). Suppose 20 = -3*r - 2*r. Put r, v, 1 in decreasing order.
v, 1, r
Suppose 0 = -11*i - 2 + 57. Put i, -2, 11 in descending order.
11, i, -2
Let r be (-1)/3 - (-336)/36. Let v be r/(-21) - 72/(-21). Put v, 2, -3 in descending order.
v, 2, -3
Let n be 6/4*(-16)/(-12). Suppose f - 3*l = n*l + 2, -5*f + 10 = l. Let p be 4/(-10) - (-34)/10. Put -3, f, p in increasing order.
-3, f, p
Let y = -17 + 8. Let n be (-2)/(-4)*(1 - y). Let l be 4 + (-2)/2 + -2. Sort l, n, 3 in increasing order.
l, 3, n
Suppose 8 = -2*l + 2*m - 8, -20 = -4*m. Put -5, l, 1, 2 in decreasing order.
2, 1, l, -5
Let q(s) = 3*s + 3. Let k be q(-5). Let m = -10 - -7. Sort m, -5, k in decreasing order.
m, -5, k
Suppose -15 = -2*a - 3*a. Let d be (1/2)/(2/20). Sort a, d, 0.
0, a, d
Let m(p) = p**2 - 6*p + 13. Let z be m(4). Sort 10, z, 1, -3 in increasing order.
-3, 1, z, 10
Let r = -3 + 3. Suppose -u - 8 = 3*n, 2*n + 7 = -r*u + u. Suppose 20 = -10*j + 6*j. Put j, n, 3 in descending order.
3, n, j
Let f = -28 - -32. Sort 1, 0, f.
0, 1, f
Let z = -75 + 64. Put 1, -2, z, 0 in descending order.
1, 0, -2, z
Let y be 8/(-6)*(-57)/494. Put -0.5, 3, y in ascending order.
-0.5, y, 3
Let f = -166.6 - -167. Let x = 6 - 10. Sort x, f, 1/6 in descending order.
f, 1/6, x
Let d = 129 + -1162/9. Let g = -0.007 + -1.033. Let b = -0.04 - g. Sort d, b, 4 in descending order.
4, b, d
Let u = 1.6 + -1.5. Sort -1/2, -5, u in decreasing order.
u, -1/2, -5
Let i(h) = h**3 - 3*h**2 - h + 3. Let v be i(3). Let k(n) = n**3 - n**2 - 1. Let l be k(0). Put l, v, -3 in increasing order.
-3, l, v
Let z = 118.1 - 118. Sort 0, z, -1, 2 in descending order.
2, z, 0, -1
Let w be 7/9 - 1 - 0. Sort w, 0.08, 4/5 in increasing order.
w, 0.08, 4/5
Suppose 5*u - 5 = 5*o, -2*u + 2 - 3 = -o. Suppose 2*y + 0 = f + 4, 3*f + 2 = y. Sort 5, y, u in ascending order.
u, y, 5
Let x = -4.3 - 0.7. Sort 2/11, -0.2, -2/9, x in decreasing order.
2/11, -0.2, -2/9, x
Let x = 28 - 23. Put -2/17, -0.3, x in descending order.
x, -2/17, -0.3
Let c be 3 + -2 + 2/2. Let j = -35 + 31. Put c, -3, j in increasing order.
j, -3, c
Let f(v) = -v + 16. Let t be f(17). Let s(j) = -6*j + 1. Let n be s(-1). Suppose 18 = 5*r - n. Sort r, 0, t in increasing order.
t, 0, r
Let t be 1/((2 - 1)/(-1)). Suppose -3 + 1 = -z. Suppose 0 = -3*p - z*p - 25. Sort p, 0, t in decreasing order.
0, t, p
Let o be (0/(2/(-2)))/2. Suppose o = 4*p + p + 20. Sort -1, 1, p in descending order.
1, -1, p
Suppose -4*l - 4*w = -8, -4*l - 3*w - 1 = -6. Let p be (-7)/l - -1 - 3. Sort p, -2, 3 in ascending order.
-2, 3, p
Let p = 0.04 + -0.24. Let w = 0.2 - 0.2. Let i = w + 4. Sort i, 0.3, p in increasing order.
p, 0.3, i
Let w(h) = 3*h**2 - 4*h. Let g(i) = -i**2 + 1. Let p(c) = -4*g(c) - w(c). Let z = -1 + -4. Let d be p(z). Sort -2, -5, d in decreasing order.
d, -2, -5
Suppose 0 = -2*u + 29 + 7. Suppose -6 = -3*r - u. Sort 2, 5, r in ascending order.
r, 2, 5
Let q be ((24/4)/12)/((-7)/6). Put -1, q, 6 in descending order.
6, q, -1
Let u = 0 - 0.2. Le