ing order.
4, j, -3
Let b(o) = 6*o - 7*o - 17*o**2 - 16*o - 2*o**2 + 13 - o**3. Let d be b(-18). Let w be (-3 + 2)*(1 - 0). Sort 2, w, d.
d, w, 2
Let s = -2.4 - -0.4. Let w = s + 2.1. Let x = 9 + -21/2. Put w, x, 4 in decreasing order.
4, w, x
Let m = -0.36 - 0.04. Put 4, m, -5 in descending order.
4, m, -5
Let j be 4/6*(-6)/(-20). Put -0.3, 2/7, j in increasing order.
-0.3, j, 2/7
Suppose -9*r = 6*r - 60. Sort r, -9, 2 in ascending order.
-9, 2, r
Let w = -0.9 - -4.9. Let m = 3.01 + -0.01. Sort -2, m, w in decreasing order.
w, m, -2
Suppose -3*w + 4*a - 4 = 0, -5*w + 2*w = 5*a - 5. Put -3/8, w, -0.3, -4 in decreasing order.
w, -0.3, -3/8, -4
Let r(v) = -v**3 + 5*v**2 + v - 4. Let l be r(5). Suppose -4*u = 11 + 37. Let n = u - -8. Sort 4, l, n.
n, l, 4
Let y(z) = z**2 - 3. Let u be y(0). Sort u, 0, -2.
u, -2, 0
Let t = -7 - -12. Let o = t - 8. Sort o, -2/9, 3 in descending order.
3, -2/9, o
Let f = 0.58 + -0.78. Put 2, 2/13, f in decreasing order.
2, 2/13, f
Let p = 4 + 4. Let a = p - 5. Sort a, 2, -4.
-4, 2, a
Let k = 0 - -1. Let j = 5 + -9. Sort k, -3, j in decreasing order.
k, -3, j
Let j = 2.4 + -3.4. Put j, 5, -2 in descending order.
5, j, -2
Let d be (-2821)/(-21) + 2/3. Let c be 40/d*6/8. Put c, -0.1, 0.5 in descending order.
0.5, c, -0.1
Let p be 10/(-60)*2/(-1). Sort 2, p, 2/5 in descending order.
2, 2/5, p
Let d be 84/15 - 9/15. Let x be (-2)/5 - (-144)/(-40). Suppose -4*j + 0*j = 0. Put x, d, j in decreasing order.
d, j, x
Let j = -12 + 12.3. Sort 0.4, -0.8, j.
-0.8, j, 0.4
Let v(z) = -z**2 + 8*z - 8. Let q be v(6). Put 3, 2, q in ascending order.
2, 3, q
Let j = -12 - -99. Suppose j - 7 = 5*b. Suppose 0 = -5*c - b - 9. Put -1, c, 1 in increasing order.
c, -1, 1
Suppose 5*t = y + 31 + 99, 0 = 2*y. Let w = t - 23. Sort w, -4, 2.
-4, 2, w
Let j be -17 + 4 + 2 + -5. Let v = 20 + j. Sort v, -2, 1 in decreasing order.
v, 1, -2
Let s = -11.9 + 12. Let r be 1*(2 - 0) - 0. Put 0.5, s, r in decreasing order.
r, 0.5, s
Let j = -0.017 - -24.017. Let u = j + -27. Sort u, 0, 5.
u, 0, 5
Let r(c) = c**3 - c**2 - c - 1. Let y be r(0). Suppose 5 = n + 2. Let a be (-2 - -2) + -1 - n. Sort y, a, 3.
a, y, 3
Let b = 0.081 + -0.181. Sort 4, 0.13, b, -2.
-2, b, 0.13, 4
Let b be -3*1 + (25 - 22). Let z(x) = -4*x**3 + 2*x**2 - 1. Let v be z(1). Sort b, v, -2 in decreasing order.
b, -2, v
Suppose 0*s - 5*s = -k - 4, 5*s = 5. Sort -5, -1, k.
-5, -1, k
Suppose 0 = -4*t + 2*l + 2, 2*t + 2*l + 0 = -2. Sort t, -2, 5 in decreasing order.
5, t, -2
Let k = -90 + 209. Let z = k + 17. Let d be (-4)/(-18) - z/126. Put d, 1, 2/13 in decreasing order.
1, 2/13, d
Suppose -j = -2*b - 9, 5*j - 2*b = b + 66. Suppose 3*m = -m - 20, -5*c - j = 5*m. Let t be 1/1 - (-4)/c. Put t, -2/5, -4 in descending order.
t, -2/5, -4
Suppose 3*y + 3 = 0, 2*k + y - 6*y - 7 = 0. Sort 0.5, -5, -1/7, k in descending order.
k, 0.5, -1/7, -5
Let m = -2.2 + 1. Let u = m + 1.3. Sort -5, 2, u in increasing order.
-5, u, 2
Let f be (-182)/35 + 2/10. Sort 2, -3, f in ascending order.
f, -3, 2
Suppose g + 5 + 15 = -4*c, 0 = 3*c + 6. Let t be 2/(-3) + (-11)/g. Put 2/3, -0.3, t in descending order.
2/3, t, -0.3
Let k = -17/7 + 41/14. Sort -0.1, 0, k.
-0.1, 0, k
Suppose -2 - 8 = 2*a. Sort 2, -13, a in ascending order.
-13, a, 2
Suppose -3*t = -2*t - 4. Let h = -4 - -3. Sort t, 3, h in ascending order.
h, 3, t
Let d(c) = -c**2 - 8*c + 7. Let y be d(-9). Suppose 8 = -3*s + s. Put y, s, -3 in decreasing order.
y, -3, s
Let g = 0.8 + 3.2. Let m = g - 5. Put m, -4, 5 in ascending order.
-4, m, 5
Let s be ((-1)/(-2))/((-10)/8). Suppose 5*z = -0*z + 30. Let c be (56/(-21))/(z/1). Sort s, c, 2 in decreasing order.
2, s, c
Let t = -14.5 + 15. Sort 7, t, -1 in ascending order.
-1, t, 7
Suppose 0*q = q - 2. Suppose 4*d + 2 = q*d. Put d, 1, 2 in descending order.
2, 1, d
Suppose 5*x = 2*u + 8, -u + 5*u - 3*x = -2. Sort u, -3, 16/5 in increasing order.
-3, u, 16/5
Let v = 0 + -0.2. Let z = 0.8 - v. Put -5, -3, z in ascending order.
-5, -3, z
Let x be (-30)/10 - 3*-1. Suppose d - 2*w = -6 + 1, -d + 4*w - 7 = x. Sort 1, d, -4.
-4, d, 1
Suppose -37*c = -41*c + 12. Put 0.3, c, -0.3, 2/7 in descending order.
c, 0.3, 2/7, -0.3
Let z be ((-2)/4)/((-5)/(-10)). Put -4, z, 0.2 in decreasing order.
0.2, z, -4
Let d be 4/(-14) + (-17)/14. Put -1, 1/6, d in increasing order.
d, -1, 1/6
Let v = 0.4 - 0.43. Let n = v + -4.97. Let g = 4.9 + n. Sort -1/9, g, 2 in descending order.
2, g, -1/9
Let j be (-4)/((-24)/21) + (-1)/(-2). Sort 3, j, 9 in decreasing order.
9, j, 3
Let r = -9 + 13. Suppose -r = -4*o + 3*o. Suppose -25 = 5*d, -2*d - 11 = -5*y - 1. Sort y, o, 1 in descending order.
o, 1, y
Let m = 40 + -36. Suppose 2*r = -4*z - 4, -3*r + 2 = -4*r + 2*z. Sort m, 1, r in decreasing order.
m, 1, r
Let r = -1.73 - 0.27. Put r, 28, -0.3 in ascending order.
r, -0.3, 28
Let y = 18 - 13. Put -5, y, 3, -3 in descending order.
y, 3, -3, -5
Let j(x) = x + 23. Let f be j(-10). Let q be (9 - 3)*1/6. Sort q, f, 2 in decreasing order.
f, 2, q
Let v be (-12)/(-8)*-2 - 2. Let p be -3*(-1 + (-13)/3). Put p, v, 5 in ascending order.
v, 5, p
Let b = -0.7 + -1.3. Put 3, b, -3 in increasing order.
-3, b, 3
Let w(t) = t**3 + 2*t**2 - 4*t - 1. Suppose 0 = -3*l + 3, b = -0*b - 2*l - 1. Let v be w(b). Let c = 7 + -4. Sort c, -1, v in decreasing order.
c, v, -1
Let x = 263 - 258. Let a = -0.03 + -4.97. Put x, a, -2/17 in increasing order.
a, -2/17, x
Suppose 2*m = -3*m - 10. Suppose v + k - 3*k = -4, 0 = 4*v - 3*k + 1. Suppose -v*f + 7*f - 5 = 0. Sort m, f, 5.
m, f, 5
Let p = -462 + 4162/9. Let v = -14.6 + 15. Sort p, v, 4 in decreasing order.
4, p, v
Suppose -x + 0*x + 4*i = 0, x + i - 5 = 0. Suppose -5*r - 41 = -4*s, x*r + 16 = -s - 0*r. Put s, -3, -5 in ascending order.
-5, -3, s
Let h(x) = x**2 - 5*x - 12. Let y be h(9). Let n = y + -19. Suppose -2*o - 1 - 1 = 0. Sort 1, n, o in ascending order.
o, 1, n
Let v = 45 - 222/5. Put 20, v, 1/5 in increasing order.
1/5, v, 20
Let o = -117 + 469/4. Sort -3, o, 3 in decreasing order.
3, o, -3
Let i = 45.93 + -39. Let t = 0.07 + i. Let w = 12 - t. Put 4, 0.2, w in descending order.
w, 4, 0.2
Suppose u = -2*u + 57. Suppose -u*c - 4 = -15*c. Sort 0.3, 3, c in ascending order.
c, 0.3, 3
Suppose -4*p - 5 = p, 0 = 2*q + 4*p + 10. Suppose -2 = 3*s - 2*s. Sort s, q, -1.
q, s, -1
Let w = 0 + -4. Let h = 2/305 + -313/1220. Put w, h, 2 in descending order.
2, h, w
Suppose 2*p - 7 + 2 = -5*j, -2*j + 2 = -p. Let c be (-2)/(-4)*(j - 1). Suppose 2*u + 6 = -4. Put c, u, 5 in decreasing order.
5, c, u
Let w(d) = -d**3 - 6*d**2 + 7*d + 3. Let g be w(-7). Let x = -48 + 45. Sort g, 0, x in descending order.
g, 0, x
Suppose -v - 2*w + 22 = 0, -2*v - 4*w + 80 = 3*v. Suppose 2*o - 2 + v = 0. Put o, -4, -0.2 in descending order.
-0.2, -4, o
Let t be -2 - (-8*1 - -4). Suppose -4*f - 5*b = 1, t = b - 1. Sort -5, f, 1 in decreasing order.
1, f, -5
Let o = 10 + -15. Sort 0.2, -0.28, o in decreasing order.
0.2, -0.28, o
Suppose -3*o - 3*h = -5*o - 3, -3*o + h - 8 = 0. Sort 5, -20, o in decreasing order.
5, o, -20
Let b be (-3)/2*16/6. Let j(k) = k**2 + 5. Let g be j(0). Sort -1, b, g in increasing order.
b, -1, g
Let n = 2.5 - 2. Let m = 2.81 - -0.19. Sort m, 0.1, n in decreasing order.
m, n, 0.1
Let f = -0.1 + 0. Let r = 0.5 - -1.5. Let g = 1 - r. Put 2, f, g in ascending order.
g, f, 2
Let v(i) = -i + 12. Let p be v(8). Suppose 0*x = 2*x + 3*d + 20, d - p = 2*x. Sort 1, 7, x in descending order.
7, 1, x
Let p = 3.3 + -3.2. Sort 2/11, p, 0.5 in increasing order.
p, 2/11, 0.5
Let r(u) = u**2 + 12. Let f be r(0). Let b = f - 15. Put 2, b, -5 in descending order.
2, b, -5
Let h = -104.98 - -100. Let x = 5 + h. Let a = -2.02 + x. Sort a, 0, 4 in decreasing order.
4, 0, a
Let n = -37 - -42. Put 18/11, -0.5, n in increasing order.
-0.5, 18/11, n
Suppose -4*b + 0*q + 2*q = 2, -15 = 3*q. Suppose 4*f = c + 4*c - 41, 2*f + 23 = 3*c. Sort f, b, -2 in descending order.
-2, b, f
Let b(l) = -7*l - 36. Let o be b(-5). Sort -4, 1, 2/11, o in descending order.
1, 2/11, o, -4
Let x = -3 - 2. Suppose -4*q + 4 = -0. Let t be 2/(-4)*(q - 1). Sort t, x, 2 in descending order.
2, t, x
Let t = -60 + 57. Sort -4, -2/3, 5, t in ascending order.
-4, t, -2/3, 5
Let a be (5/30)/(3/(-9)). Put 2, -5/3, a in increasing order.
-5/3, a, 2
Let x = -3.4 - -3. Let n = x - 