ng order.
4, s, -6
Let l = -39.29 + -0.71. Let b = l + 40.2. Sort b, 0.1, 4, -2/3 in decreasing order.
4, b, 0.1, -2/3
Let t = 1842 - 1837. Sort 18, -2, t in decreasing order.
18, t, -2
Let y = -9 - -4. Let f(s) = s**2 - 8*s - 5. Let j = 0 - -9. Let q be f(j). Put y, -4, q in ascending order.
y, -4, q
Suppose 3*r = 40 - 181. Let a = r - -43. Sort 4, -3, a.
a, -3, 4
Let u = 1.92 + -2.12. Sort u, -2, -1/20, 2.
-2, u, -1/20, 2
Let d = 0.4 - 2.4. Let x = 13 - 12.85. Let y = -2.85 - x. Sort -0.4, y, d in descending order.
-0.4, d, y
Suppose c - 163 = 3*w, 2*w - 3*c = -69 - 35. Sort 4/3, 4, w, -5 in descending order.
4, 4/3, -5, w
Let k = 48 + -47.75. Let h = k + -0.35. Let d = 163 - 1307/8. Put h, -2, d in decreasing order.
h, d, -2
Let d = -6 + 2.9. Let n = d - -2.9. Put -5, n, 4 in increasing order.
-5, n, 4
Let m be (-15)/(-6) - (-1)/(-2). Suppose 56 = 3*r - 46. Suppose -5*l - r = v - 13, -5*l + 5*v = 15. Sort m, l, 0 in descending order.
m, 0, l
Let i = -14.7 - -15. Let b(k) = -k**3 - 6*k**2 + 6*k - 3. Let v be b(-7). Let n be 52/14 - v/(-14). Put -3/4, n, i in descending order.
n, i, -3/4
Let r = 0.04 + -2.04. Let v = -896/39 + 3545/156. Sort v, r, 0.41 in ascending order.
r, v, 0.41
Let r(k) = -k - 1. Let q(l) = l - 9. Let x be q(7). Let j(c) = -2*c**2 - c + 2. Let d(o) = x*r(o) - j(o). Let f be d(-2). Put -4, f, -1 in increasing order.
-4, -1, f
Suppose -3*u + 17 = 4*k + 3, 3*k - 2*u = 2. Put 1, k, -4, 3 in ascending order.
-4, 1, k, 3
Suppose 0 = -12*a + 9 + 15. Sort -2, -2/3, a, -9 in increasing order.
-9, -2, -2/3, a
Let d = -91 - -96. Sort d, -16, 3, -4.
-16, -4, 3, d
Let n = 0.5 - 0. Let v be -9 + 9 + 8/18. Put 1/8, n, 13, v in descending order.
13, n, v, 1/8
Suppose -3*l - i = 12, 3*i = -4*l + i - 16. Let q = -2612 + 2615. Put l, 1/5, q, 0.3 in ascending order.
l, 1/5, 0.3, q
Let a be ((-1075)/(-7))/5 + (-2)/(-7). Sort -1, 1, a in ascending order.
-1, 1, a
Let g = 11 - 9. Suppose -25 + 5 = 4*f. Let s = 28.4 + -28.1. Put g, s, f in ascending order.
f, s, g
Let i = 49.08 - 50.08. Let l = 231/5 - 1637/35. Sort l, i, -0.01.
i, l, -0.01
Let z = -0.083 - -112.083. Let l = 111.7 - z. Put l, 5, -0.1 in increasing order.
l, -0.1, 5
Let o(z) = -z**3 - 8*z**2 - 13*z - 3. Suppose 6*r = 4*g + 4*r + 18, -30 = 4*g + 2*r. Let f be o(g). Sort 5, 1, f, 2 in descending order.
5, f, 2, 1
Let w = -0.0865 - -0.0565. Sort w, 1.3, -1/4.
-1/4, w, 1.3
Let t be 18/(-5) + 2 + 2. Let h = 63 - 60. Sort h, t, -2 in increasing order.
-2, t, h
Suppose 3*c - 1 = 2*c. Suppose -1 - c = -2*a. Let m be ((-2)/28)/(a/(-4)). Put 0.1, -2/3, m in descending order.
m, 0.1, -2/3
Let q be 1884/(-15) - 2/5 - -4. Let i = q + 118. Suppose -3*y - 21 = -5*m - 2, -9 = -2*y - m. Put -5, y, i in decreasing order.
y, i, -5
Let j = -12210 - -12208. Let t = 13 + -8. Let c = t + 0. Sort c, j, -1/7 in decreasing order.
c, -1/7, j
Suppose 0 = 47*g + 52*g + 99. Sort g, -4, -151.
-151, -4, g
Suppose -3*s = 3*q - 93, -5*s + 48 + 23 = 2*q. Suppose 3*c = -z - 7, -2*z = -6*z + 2*c - q. Let r be (1/2)/(z/70). Sort r, 3, 5.
r, 3, 5
Let w be (-167)/(-5) - (-6)/(-15). Let h be ((-2)/(-5))/(w/55). Let i be ((-48)/50 - -1)/((-4)/10). Sort i, h, 8.
i, h, 8
Let u = 0 - 5. Let j be ((-6)/8 - 9/4) + 23. Suppose r - 6*o = -o - 16, 2*r = -3*o + j. Sort u, r, 0.2 in decreasing order.
r, 0.2, u
Let n = -487 + 440. Sort n, 1, -1.
n, -1, 1
Let n = 16 + -4. Suppose -37 + n = 5*r. Let b = 0 - 0. Put b, r, -0.4 in increasing order.
r, -0.4, b
Let a = -131 + 151. Suppose 4*p = a*p - 16. Sort p, -3, 10, 2.
-3, p, 2, 10
Let c(o) be the second derivative of o**5/20 - 5*o**4/6 + 4*o**3/3 + 5*o**2 - 3*o. Let q be c(9). Let p = 142 + -147. Sort q, p, -3 in descending order.
q, -3, p
Let i = -288 + 293. Sort -1, i, 4, -3.
-3, -1, 4, i
Let h = 83 - 165/2. Suppose 0 = 4*y - 11 - 1. Put h, 3/8, y in increasing order.
3/8, h, y
Let h = -0.37 + 0.19. Let v be (-2)/12 - 14/24. Put 1, h, v in descending order.
1, h, v
Suppose 0 = -0*z - 8*z + 8. Put -1, z, -3, -4 in descending order.
z, -1, -3, -4
Let w = 1 - 29. Suppose 0 = 5*t + q + 137, -3*t + t - 3*q = 60. Let k = t - w. Sort k, 2, -3 in ascending order.
-3, k, 2
Let u be (8/2 + 3)*(-1 - -3). Suppose 0*o = 4*o - 2*a + u, a = -o - 5. Suppose 0*p = 2*z + p - 7, -p - 23 = -4*z. Sort o, z, -2.
o, -2, z
Suppose -5*y - 3*q = 333, -6 = 4*q - 2. Let o = -66 - y. Sort -5, o, 1 in ascending order.
-5, o, 1
Let w be -2 + 1 - (1 + 2). Let j be 4 - (-3)/9 - (-3)/(-9). Sort w, j, 12 in descending order.
12, j, w
Let j = 115 + -111. Sort -3, j, 0.6, 1.
-3, 0.6, 1, j
Let i be 14/10 - (-8)/(-20). Let p be (-20)/(-15)*i/4. Let l be (6/(-9))/((-24)/18). Sort 0.4, l, p.
p, 0.4, l
Let r = -3 - -3.3. Let q = -161 + 163. Sort q, r, 5.
r, q, 5
Let x = -1184 + 1175. Put -0.5, -0.2, x, 1/7 in descending order.
1/7, -0.2, -0.5, x
Let q = 65 + -62. Let y = -9 + 4. Put q, -22, 0, y in descending order.
q, 0, y, -22
Let d = 1377 - 1382. Sort 5, 6, 4, d in decreasing order.
6, 5, 4, d
Suppose -3*o + 5*o + 2 = 0, -5*o - 45 = -5*t. Suppose -3*q + t*q = 5. Sort -2/7, q, -2, 0.3 in descending order.
q, 0.3, -2/7, -2
Let m be (20/24)/((-4)/(-132))*-2. Let i = m - -52. Put 4, 2, -1, i in decreasing order.
4, 2, -1, i
Let n = 756 + -751. Sort -301, n, -4 in decreasing order.
n, -4, -301
Let h = -43 + 38. Suppose 0 = -11*q + 12*q + 3. Let i be -2*4*(-2)/(-4). Sort q, i, h in decreasing order.
q, i, h
Suppose 99*i - 127*i = 252. Sort 1, 5, i in increasing order.
i, 1, 5
Let l = -20.8 - -20.3. Sort -3, l, -0.03, -0.2 in ascending order.
-3, l, -0.2, -0.03
Let i be (-4)/(-6) - (-64)/(-78). Let o = 0.316 + -4.316. Sort i, -5, o in descending order.
i, o, -5
Let f = -3.72 + 4.2. Let l = f - 0.18. Sort -3, l, -0.4 in decreasing order.
l, -0.4, -3
Suppose -3*a = 0, -o - 3*o + 16 = -4*a. Sort o, -2, -33 in descending order.
o, -2, -33
Let o = 9/10 - 7/5. Let x = 6.03 + -6. Let p = x - 5.03. Put 4, p, o in descending order.
4, o, p
Let i = 355 + -357. Sort i, 2, 6, 3 in descending order.
6, 3, 2, i
Let y = 0.4 + -0.9. Let d = -0.006 - 0.052. Let g = -0.118 - d. Put g, 3/4, y in decreasing order.
3/4, g, y
Suppose -21*x + 7*x + 70 = 0. Sort -3, x, 105 in increasing order.
-3, x, 105
Let l(p) = 9*p - 32. Let w be l(4). Suppose w*a + 35 = 19. Put 4, a, -1, 5 in decreasing order.
5, 4, -1, a
Let m = -40 + 58. Let x = 0.1 - 19.1. Let c = m + x. Sort c, 2/5, 0.1 in decreasing order.
2/5, 0.1, c
Suppose -4 = -2*p - 2. Let b(f) = -2*f - 25. Let t be b(-12). Sort p, t, -4 in increasing order.
-4, t, p
Let w(x) = -45*x - 50. Let r be w(-2). Sort -1/3, r, 4.
-1/3, 4, r
Suppose -25 + 10 = -5*w. Suppose 0 = -5*y + 5*m - 5, w*m - 15 = y - 2*y. Sort -4, -5, y.
-5, -4, y
Let v be ((-6)/(-9)*3)/(3 + -5). Let u = 11 - 7. Put 2, 1, v, u in ascending order.
v, 1, 2, u
Let t = 19 - -1. Let x = t + -23. Sort 0.1, x, -5.
-5, x, 0.1
Suppose -5*g - 5*j - 9 = -3*g, -5*j - 6 = 3*g. Suppose 0*i - 9 = g*i. Let t = -41 - -37. Sort i, -1, t.
t, i, -1
Let g = 14 + -20. Suppose 0 = 3*f + 12. Let j = f + 6. Sort -1, g, j in decreasing order.
j, -1, g
Let t(h) = 5*h + 57. Let y be t(-12). Sort y, 3, -7, 0 in ascending order.
-7, y, 0, 3
Let y(n) = -n**3 - 5*n**2 - n + 1. Let r(d) = d**2 - d + 1. Let s(u) = r(u) + y(u). Let o = 0 + -3. Let b be s(o). Sort 1, -1/7, b in decreasing order.
1, -1/7, b
Let l = 181 - 176. Sort -2, 7, l, 3 in ascending order.
-2, 3, l, 7
Let w = -1 - -2. Suppose 2*i + 4*f = 2, -2*i - 30*f + 31*f + 12 = 0. Suppose -6*v = -v. Sort w, v, i.
v, w, i
Let y = -0.3 + 0.4. Let v(w) = -3*w**3 + 88*w**2 - 60*w + 898. Let n be v(29). Sort y, -0.08, 4, n in ascending order.
n, -0.08, y, 4
Suppose x - 5*j = -7, 0*x - 2*x - 3*j - 14 = 0. Let f be (0 - 26) + 4 + 1. Let l = f + 25. Put -4, x, l in increasing order.
x, -4, l
Suppose 2*h + 8 = -2*q, -4*h + 3*h - 1 = -2*q. Put -3, q, 1, 27 in descending order.
27, 1, q, -3
Suppose 2*k + 5*o - 2 = 2, -5*o + 2 = k. Let d be (-5)/3*3/k. Let g = -0.26325 + -0.23675. Put 0, g, d in increasing order.
d, g, 0
Let s(p) = -p. Let t be s(5). Suppose 182*h = 215*h. Put 3, t, 1, h in descending order.
3, 1, h, t
Let v be (-6)/(-6) + (-1 - -2)/(-1). Suppose 3*k - 1 = 2*k. Sort v, k, 5 in decreasing order.
5, k, v
Let v = -13/4 - -57/20. Let x be (3/(-68))/((-2)/21256). Let c = -469 + x. Sort 5, c, v.
v, c, 5
Let