ing order.
2, t, -43/3
Let s = -878 - -879. Sort 17, s, 5, -1.
-1, s, 5, 17
Let b be ((-14)/(-70))/((-2)/(-10)). Let m = 3 + b. Suppose -m*i - v = 3 - 0, -3*v + 17 = -i. Sort -4, i, 0 in ascending order.
-4, i, 0
Suppose 0 = -s + 6*s. Suppose -3*o - 12 = o + 3*j, j + 4 = o. Suppose o*t = 2*r + t + 9, 0 = -r - 4*t - 8. Put s, 5, r in ascending order.
r, s, 5
Let t(w) = -w**3 - 4*w**2 - 4*w - 3. Let d be t(-2). Let i = 11 - 16. Let z = -39 - -42. Sort d, i, z in ascending order.
i, d, z
Let u be -2 + 3 + (-85)/175. Let v = 5/7 - u. Let n = -3.6 + 4. Put n, 3/7, v in decreasing order.
3/7, n, v
Suppose 0*i = 3*i - 5*h - 12, 5*i = -4*h + 20. Suppose -5*a - 6 = -t, -5*t + a + i*a = -30. Sort t, 2, 3 in descending order.
t, 3, 2
Let i be ((-3)/(-9))/(1/(-2)). Let m = 0.051 - -0.369. Let y = m + -0.42. Put 0.09, i, y in descending order.
0.09, y, i
Suppose -30 + 23 = 7*r. Sort -5, r, -13, -4.
-13, -5, -4, r
Let y = 153 + -153. Let m = -2 - 0. Let h = m + 6. Sort h, y, -2 in descending order.
h, y, -2
Suppose -3*n + 148 - 76 = 0. Suppose 5*w = 5*y - 45, -2*y + 4 + 2 = w. Let p(b) = b**3 + 2*b**2 + 4. Let z be p(-3). Sort n, z, w in ascending order.
z, w, n
Let c be (-1)/2 + 1644/24. Let f be c/(-16) - (-3 - 1). Sort -1/7, 4/3, f in increasing order.
f, -1/7, 4/3
Suppose -2*t + 2*y + 16 = 0, 4*t + y + 3 = -2*y. Let q = -1693 - -1691. Sort t, q, 1, 6 in decreasing order.
6, t, 1, q
Let l = 2 + -1. Let y = -1.69 - -3.19. Let c = l - y. Sort c, -0.2, 0.07 in ascending order.
c, -0.2, 0.07
Suppose -2 = 4*l + 150. Let x be l/(-66) - (-6)/(-9). Sort 1/3, x, -4/7.
-4/7, x, 1/3
Let k = 3646 + -3620.93. Let p = 25 - k. Put -1, p, 0.4 in increasing order.
-1, p, 0.4
Let l = 7297/20 + -1813/5. Let i be ((-2)/6 - 0) + 0. Sort 3, i, l.
i, l, 3
Let c(q) = q**3 - 8*q**2 - 9*q - 3. Let d be ((1 - 0) + 0)/(10/90). Let b be c(d). Sort -4, -1, b.
-4, b, -1
Let w = -10.65 - -10.6. Sort -2, 4/5, w, -1/2 in descending order.
4/5, w, -1/2, -2
Suppose 13*d - 4 = 17*d. Let g be (d - -5) + -12 + 10. Suppose g*x - 1 = -3. Put 2, 0, x in descending order.
2, 0, x
Let c = 0.07 + 1.43. Let d = c - 1.6. Let f = -6 - -2. Sort d, 1, f in decreasing order.
1, d, f
Let b = -0.124 - -0.085. Let y = -0.239 - b. Put y, 9, -0.1 in decreasing order.
9, -0.1, y
Let l be 18*(1/(-2) + 1). Let h(s) = 3*s - 3*s - 6 + s + 0*s - 4. Let z be h(l). Put 2, -5, z in increasing order.
-5, z, 2
Let u = 7 + -2. Suppose 16 = 47*z - 42 + 11. Put u, -1, z in decreasing order.
u, z, -1
Suppose 3*u + 2*u - 20 = 0. Suppose -4*v + y + 12 = 0, 3*v - 1 - 8 = -5*y. Sort v, 1, u.
1, v, u
Let v = 4671/4 + -73133/60. Let g = -151/3 - v. Sort -3, -0.1, -5, g.
-5, -3, -0.1, g
Let m be 3*2/(18/129). Let k = 43 - m. Sort 5, -2, k in decreasing order.
5, k, -2
Let w be 4/(68/20945) - 2. Let c = w + -1231. Let r = c + 61/119. Put 2, r, 2/19 in decreasing order.
2, 2/19, r
Let z = -54.4 + 55.8. Let p = 5.6 + -5. Let j = p + z. Sort 1, -5, j.
-5, 1, j
Let i = -1.828 + 10.758. Let f = 0 - 9. Let t = i + f. Put t, -3, 0.3 in decreasing order.
0.3, t, -3
Let o be (717/(-2))/(-1 - -7). Let t = o - -60. Let i = -3 - -3. Put t, -5, i in increasing order.
-5, i, t
Let c = 55.98 - 56. Suppose 0 = -3*a - 0*a - 4*q - 14, 4*a - 23 = 3*q. Put c, a, -1/5 in descending order.
a, c, -1/5
Let w be 172/(-36) - (-8)/(-36). Suppose -11 = -5*u + 3*n, 2*u - 9 = -u + n. Put 3, u, w in ascending order.
w, 3, u
Let x be (0/(-3))/((-1)/(-3)*6). Suppose 24 = -5*d + b, x*b - 2*b + 13 = -3*d. Let n = 13 - 8. Put d, n, -4 in ascending order.
d, -4, n
Let b = -45 - -29. Let q(l) = -2*l - 26. Let t be q(b). Sort -4, t, 4 in decreasing order.
t, 4, -4
Let n(x) = 10*x - 35. Let y be n(3). Sort 2, 5, -6, y.
-6, y, 2, 5
Let y = -22.05 - -24. Let x = y + 0.05. Suppose -2*u + 3*u = 4. Put u, x, 3 in increasing order.
x, 3, u
Let d(r) = 2*r**2 + 30*r - 2. Let w(z) = 0*z**2 + 53*z + z**2 - 61*z. Let f be w(5). Let o be d(f). Put 1, o, 11 in decreasing order.
11, 1, o
Suppose 0 = -5*g - 4*k - 3 + 14, 0 = -3*k + 12. Let c be 16/(-6)*g/(-6). Let m = c - -17/18. Put m, 4, 1/10 in decreasing order.
4, m, 1/10
Let v = -1635/8 - -204. Let o be 8/(-20) + (-16)/(-15). Let g = -1 + o. Sort -0.07, v, g.
v, g, -0.07
Let m be 368/(-728) + 15/35. Let y = -0.03 + 3.03. Put m, 0, y in increasing order.
m, 0, y
Let q = -49 - -49.32. Let y = -0.22 + q. Put y, 3, 1/4 in decreasing order.
3, 1/4, y
Suppose -6*o + 7*o + 3 = 0, b - 3*o - 36 = 0. Sort -3, 3, b in descending order.
b, 3, -3
Let w = -44 - -26. Let q = 15 + w. Let g(a) = -a + 1. Let n be g(0). Sort 2, n, q in ascending order.
q, n, 2
Let u = 0.98 + 12.02. Sort 0.4, u, -5, -2/7 in decreasing order.
u, 0.4, -2/7, -5
Let b be (-2)/(-10)*5/(-2). Sort 4/3, -0.3, b, -0.1.
b, -0.3, -0.1, 4/3
Let t(w) = w**3 - 5*w - 5. Let r be t(-2). Sort 5, r, 4 in decreasing order.
5, 4, r
Let y = -62 - -44. Sort y, 7, -0.1 in descending order.
7, -0.1, y
Let f(c) = c**3 + 4*c**2 + 2*c - 4. Let t(o) = o**3 + 5*o**2 + 3*o - 5. Let j(m) = 3*f(m) - 4*t(m). Let g be j(-7). Put -4, g, -3, -2 in decreasing order.
g, -2, -3, -4
Let c(f) = -f**3 + 9*f**2 - 3*f - 15. Let k be c(8). Let o be (k/(-20))/((-2)/8). Suppose 3*x - 4*l + 5*l - o = 0, -5*l - 15 = -5*x. Sort 4, -2, x.
-2, x, 4
Let l = 158 + -108. Let v be ((-6)/(-4))/(15/l). Suppose -2*i - 5*y + 2 - 17 = 0, -4*y = 3*i + v. Sort 7, i, 0 in descending order.
7, i, 0
Let y = -117 + 117.5. Sort y, 0.14, 2 in descending order.
2, y, 0.14
Let p be (-1 - -3)/(-2) + (3 - 1). Suppose 0 = -s - s. Put s, p, 3 in decreasing order.
3, p, s
Let m be (-102)/(-663) + 24/182. Sort -1/3, m, -3 in descending order.
m, -1/3, -3
Let r = -151 - -150.9. Put r, 3, 2, -4 in descending order.
3, 2, r, -4
Let j = -15.6 - -9.5. Let w = -16.9 - -18. Let x = w + j. Sort -0.4, 4/7, x in ascending order.
x, -0.4, 4/7
Let n = -6856 + 6856. Suppose -5*o - 4*i = -10, -4*o - 2*i = -7*i - 8. Suppose 11 = -o*y - 1. Put 4, n, y in increasing order.
y, n, 4
Let g = 3.8 - 1.8. Put g, -3, 8.6 in ascending order.
-3, g, 8.6
Let o = -3/16 - -9/16. Let m = -240.88 + 246. Let c = m - 0.12. Sort c, o, 2 in ascending order.
o, 2, c
Suppose n + 58 = -3*x, -19 - 43 = 3*x + 2*n. Let p be (-24)/12*46/(-4). Let z = x + p. Sort 1, z, 3 in increasing order.
1, 3, z
Let f = 2.895 + 0.105. Sort -10, f, 1/2, 1/4 in increasing order.
-10, 1/4, 1/2, f
Suppose -15*w + 62 = -238. Suppose 5 = -3*b - 2*s, -3*b = s + 3 + 4. Sort b, w, 5 in increasing order.
b, 5, w
Suppose o = -3*o. Suppose o = x - 2*x - 1. Suppose -3*j - 6 = 3*h, j = -j + 4*h - 4. Sort 5, x, j.
j, x, 5
Let s be (-1 + -3)/(-1 + 6). Let x = 64007/6 - 10668. Sort x, 30/7, s.
s, x, 30/7
Let z = 0.38 - 11.38. Let n = 14 - 25. Let a = n - z. Put 3, 0.5, a in ascending order.
a, 0.5, 3
Let v(s) = 5*s**3 - 4*s**2 + 3*s - 3. Let w(o) = o**3 + o. Let c(b) = -v(b) + 6*w(b). Let h be c(-3). Let j be 8/(-6) + 1/h. Put 5, j, 2 in decreasing order.
5, 2, j
Let x = 525 + -1342. Sort 5, x, -5 in ascending order.
x, -5, 5
Let s be 56/(-6)*2/(-16). Let b = s + -2/3. Let q = -5.28 - -5.28. Sort 2/3, q, b.
q, b, 2/3
Let d be (-1426)/(-2024) + (-6)/(-11). Put -2, d, -26 in ascending order.
-26, -2, d
Suppose 5*y + 26 = 21. Sort 1, y, 3 in descending order.
3, 1, y
Let d(k) = -5*k - 140. Let l be d(-36). Sort 3, 1, l, -4 in descending order.
l, 3, 1, -4
Let i = -255 + 384. Sort i, -3, -1.
-3, -1, i
Let q(f) = f**2 + 16*f - 60. Let n be q(-19). Sort 0.2, 3, n, 1/2 in decreasing order.
3, 1/2, 0.2, n
Suppose 4*b - b = 84. Let m be -1*(-3 - b/(-4)). Let f(d) = -3*d + 11. Let q be f(3). Put q, -3, m in descending order.
q, -3, m
Suppose v - 12 = -3*v. Let p = 17 + -14. Suppose 1 = b - p*s - 1, 0 = -2*b + 3*s - 2. Sort -5, v, b.
-5, b, v
Let u(l) = -7*l - 1. Let i be u(1). Let q = -7 - i. Let r(n) = n + 12. Let m be r(-10). Sort q, 3, m.
q, m, 3
Let j = -4410 + 30872/7. Let i = -0.1 + -0.4. Sort -0.6, j, i in decreasing order.
j, i, -0.6
Let r be (-206)/(-412) - 6/(-20). Let d = 5/9 + 7/9. Put d, r, -0.3 in decreasing order.
d, r, -0.3
Let r = 948 - 947. Sort r, -3/7, -4, 2 in descending order.
2, r, -3/7, -4
Suppose 18 + 0 = -4*d + t, -2*d = 3*t + 2. Let y = -282 + 285. Put d, -1, y, -26 in decreasing order.
y, -1, d, -26
Let y = 8 + -5. Let t be 15 + -7 + 368/(-48). Sort -4, 0.4, y, t in increasing order.
-4, t, 