d in decreasing order.
6, d, c, -4
Let j = -9.15 - -5.4. Let k = j - -3.15. Sort -0.1, 2, k.
k, -0.1, 2
Let i = -2071 + 2078. Sort -2, -20, -5, i, 2 in increasing order.
-20, -5, -2, 2, i
Suppose -142*m + 139*m - 2*v = -4831, 0 = -2*m - 4*v + 3210. Let n = m - 1616. Suppose -4 = h - 5*h. Put n, 5, h in descending order.
5, h, n
Let w = 740 + -253. Let h = w + -485. Sort 0.4, h, -13, -4/9 in ascending order.
-13, -4/9, 0.4, h
Suppose 173 = -307*h - 441. Let i be 2 + -5*(-1)/(-2). Sort i, h, -4.2.
-4.2, h, i
Suppose -2*f + g - 8 = 0, 4*f + 21 = -2*g - 3. Suppose -9*n = -1738 + 1756. Sort n, f, 31 in increasing order.
f, n, 31
Suppose l = -l + 4. Let x be (l + 33/(-6))*-2. Suppose 3*f = 5*m - 2 - 29, 3*m - 5 = -5*f. Put x, -5, m in increasing order.
-5, m, x
Let p(g) = -12*g**2 - 83*g + 3. Let j be p(-7). Let x be 1*(j + 3)*2/14. Sort -0.2, x, -0.4, 4 in increasing order.
-0.4, -0.2, x, 4
Let c = 1.6 - -1.4. Let g be (4/(-3))/((-28)/3 - -9). Suppose 5*p + 3*z + 74 = g*z, p - 5*z + 10 = 0. Sort p, c, -1, 1 in ascending order.
p, -1, 1, c
Let b(l) = l**3 + 7*l**2 + 4*l + 24. Let d be (17 - 3)*(-1)/2. Let q be b(d). Sort 4, q, 1 in decreasing order.
4, 1, q
Let f be ((-208)/260)/((-2)/15). Suppose 0 = 3*o - f, -4*i - 8*o = -3*o + 58. Sort -5, 5, i in descending order.
5, -5, i
Let j be 7 + 616/(-120) - (-4)/30. Suppose -n = -4, 5*q + j*n = -0*n + 28. Put 0, -1, 3, q in descending order.
q, 3, 0, -1
Let r(y) be the third derivative of -3*y**4/8 - 10*y**3 - 28*y**2 - 1. Let i be r(-6). Sort 1, i, -5, 5.
i, -5, 1, 5
Let t(i) = i**3 + 5*i**2 - 12*i - 8. Let d be t(2). Sort -22, -3, -1, 0, d.
-22, d, -3, -1, 0
Let m(g) = 2*g**3 - g**2 - 14*g + 10. Let z be m(5). Let h = z + -183. Sort -5, h, -1 in descending order.
-1, -5, h
Let c = -0.16213 - -7.36213. Sort c, 0.5, 4, -5 in descending order.
c, 4, 0.5, -5
Suppose 3*c = t - 218, -3*c + 23 = 38. Put t, -3, -1 in ascending order.
-3, -1, t
Let f be (10/8)/(((-6)/8)/3). Put -2/3, -72, f, -1 in decreasing order.
-2/3, -1, f, -72
Let w = 186 + -173. Let y(r) = r**2 - 14*r + 10. Let u be y(w). Suppose 0 = 3*j - 5*j. Sort u, j, 8 in descending order.
8, j, u
Let i = 770 - 762. Suppose 0 = 12*o - 3*o + 45. Sort o, -2, i in ascending order.
o, -2, i
Let p = 67 + -64.6. Let o = -172/205 + 18/41. Put p, 1/2, o in descending order.
p, 1/2, o
Let o = 203.14 - 230.14. Sort 0.6, o, -2, 0.3, 9 in decreasing order.
9, 0.6, 0.3, -2, o
Let d = 841 + -836. Suppose 0 = q + u + 3 + 6, -q + 3 = -2*u. Sort d, 9, q in descending order.
9, d, q
Let v be (-2 + (-13)/(-5))*520/624. Put v, 11, 1, -0.7, 3/8 in decreasing order.
11, 1, v, 3/8, -0.7
Let c = -1.0136 - -0.7136. Put 8, 1, -25, c, -1/2 in ascending order.
-25, -1/2, c, 1, 8
Suppose -103*l + 95*l + 8 = 0. Suppose 4*x + z = l - 0, 2*x - z + 1 = 0. Put x, -4, -27 in increasing order.
-27, -4, x
Let r = 1829 - 1828.9. Sort r, -1, -0.77, 2.
-1, -0.77, r, 2
Let u = 236 + -231. Sort -1/4, 2, u, -10 in decreasing order.
u, 2, -1/4, -10
Let w = -3.038 + 0.038. Let p = -0.06 + 0.1. Let g = 61 + -61. Sort g, p, w.
w, g, p
Suppose -5*p + 650 = a, 5*p - 4*a - 625 = -0*a. Let g = -121 + p. Sort -17, g, -3.
-17, -3, g
Let x = -3682 + 3682.01. Put x, 0.3, 78 in ascending order.
x, 0.3, 78
Let b(w) = w**2 + 6*w + 3. Let p be b(-5). Suppose 4*x + 0 = -4, 2*r = -3*x + 15. Put r, -3, p in ascending order.
-3, p, r
Let o be -2*((-28)/56 + 6/20). Let v = -6 + 5.5. Sort o, -2, v, 0.1 in decreasing order.
o, 0.1, v, -2
Let g = 7 + -13. Let n be (0 - (-186)/9) + (-2465)/145. Sort 1/6, g, n.
g, 1/6, n
Suppose -8*m = 8*m - 9*m. Sort -0.2, m, -38 in descending order.
m, -0.2, -38
Suppose -41*d + 534 = -575*d. Put -449, d, -5, -3 in descending order.
d, -3, -5, -449
Let t(s) = 3*s**2 - 13*s + 18. Let j be t(2). Put -13, 1, j, -1 in increasing order.
-13, -1, 1, j
Let m = -0.08 - 0.42. Let q(n) = -3*n**2 + 9. Let o be q(4). Let a = 196/5 + o. Sort -9, a, 2/3, m.
-9, m, a, 2/3
Let s = -94.8732 - -94.9132. Let r(f) = -9*f**3 - 1. Let a be r(-1). Put -0.1, -3, a, s in decreasing order.
a, s, -0.1, -3
Suppose 0 = -5*d + 9*d - 24. Let c be (40/(-45))/(-8)*d. Let u = c + -5/6. Put u, -2, -0.034 in increasing order.
-2, u, -0.034
Let k = 596 - 591. Sort 16, 8, -14, k.
-14, k, 8, 16
Suppose 45 - 14 = -31*h. Let z = 18 - 7. Let j = -1 + -4. Sort j, h, z in decreasing order.
z, h, j
Suppose 436*r - 144 = 472*r. Put -36, r, 0, -3, 1 in descending order.
1, 0, -3, r, -36
Suppose 12*v + 2*v + 4158 = 0. Let a = v - -301. Put -5, a, -2, -1 in descending order.
a, -1, -2, -5
Let d = 13739 - 13743. Sort 4, 3, d, 30, 0 in descending order.
30, 4, 3, 0, d
Let r be (-6 + 3 + 2)*13. Let t = 59.1 + -59. Sort t, -1/8, r.
r, -1/8, t
Let s = -1171 + 1153. Sort 6, 3, s in decreasing order.
6, 3, s
Suppose 93 = 3*n - 3*f, -4*n - 5*f + 191 - 31 = 0. Let p be 3/45*3 + (-182)/n. Put 5, 102, p in descending order.
102, 5, p
Suppose 39*p = 38*p + 4, -y = -5*p + 20. Sort 3, y, 44, -2 in increasing order.
-2, y, 3, 44
Let k = 406.1 - 429. Let r = k + 22.8. Sort r, -1, -0.4 in ascending order.
-1, -0.4, r
Let g be 4/(16/1033) - (2 + 2). Let v = -254 + g. Sort -0.068, v, -0.1 in descending order.
v, -0.068, -0.1
Suppose 183 = 37*o + 35. Suppose -3*l = -0*l - 6. Suppose l*j + 13 = 3. Sort o, j, -1 in ascending order.
j, -1, o
Suppose 2*j + 3*j + 51 = -p, -48 = 4*j - p. Let u(a) = -a**3 + 4*a + 12 + 8*a - 9 + 11 + 26*a**2 - 36*a**2. Let q be u(j). Put 1, -3, q in ascending order.
-3, 1, q
Suppose -726*k - 1296 = -723*k. Put k, -1, -8, -4 in increasing order.
k, -8, -4, -1
Let p be (18/8)/((-3)/8). Let w = -55839 + 55850. Sort -5, p, w, -1 in decreasing order.
w, -1, -5, p
Let l = 5556.988 - 5557. Sort 21, l, 0.5, -3.
-3, l, 0.5, 21
Suppose 15 = -3*x - 2*z, -3*x = -7*z + 2*z + 15. Sort x, -40, 5, -6 in decreasing order.
5, x, -6, -40
Let a(z) = z - 1. Let d be a(0). Suppose 2*u + 35 = 7*u. Suppose -u*o - 93 = -58. Sort d, o, 1, 4.
o, d, 1, 4
Let d = -1208 - -1207.5. Sort 2/5, d, 0.047, -2/13, -2.
-2, d, -2/13, 0.047, 2/5
Let m(i) = -2*i**3 - 128*i**2 + 7*i + 450. Let z be m(-64). Put z, -3, -2, 881 in decreasing order.
881, z, -2, -3
Let x(p) = -2*p**3 + 45*p**2 - 227*p + 26. Let u be x(15). Put u, -5, 1, 4, 7 in increasing order.
-5, u, 1, 4, 7
Let i = -7.54 - -9. Let z = i + -8.56. Let a = z + 5.1. Put a, -23, -0.2 in decreasing order.
-0.2, a, -23
Let y(c) = c**2 - 3*c - 105. Let n be y(12). Sort -4, 70, 2, n in ascending order.
-4, 2, n, 70
Let v = -1976 + 3937/2. Sort -0.07, -0.5, v, 0.3 in increasing order.
v, -0.5, -0.07, 0.3
Suppose 0 = 37*s - 506 - 121 + 109. Put 3, 31, s in increasing order.
3, s, 31
Let f(y) = 3*y - 13. Let i be f(7). Suppose -36*g + 34*g = -i. Let u be ((-4)/(-20)*g)/(4/(-30)). Put 2/7, u, 0.2 in descending order.
2/7, 0.2, u
Let c = 7/124 - 19/62. Sort c, 3/5, -1.2, 17.
-1.2, c, 3/5, 17
Suppose 5*w + h - 19 = 0, 2*w - 57 = 3*h - 46. Suppose 3*y = 4*c + 29, -5*c - 2*y - 19 = -0*y. Sort c, 0, w, 3 in decreasing order.
w, 3, 0, c
Suppose 0 = 5*b + 8 - 3, z = -5*b. Let g(p) = 15*p + 1150. Let j be g(-77). Sort z, 2, j, 0.
j, 0, 2, z
Let w = 29 - 16. Let f = -18 + w. Let o be ((198/88)/(-4*6/(-64)))/(-2). Put o, 4, f in increasing order.
f, o, 4
Let u(n) = 10*n**2 + 3*n - 8. Let o be u(5). Let m = o + -255. Sort -3, m, 13 in decreasing order.
13, m, -3
Suppose 0 = s - 6*s + 25. Let d(v) = 2*v + 30. Let h(r) = r**3 - 6*r**2 - 20*r + 19. Let g be h(8). Let p be d(g). Put p, 3, -3, s in decreasing order.
s, p, 3, -3
Let f be (-2 - 2) + (-26 + 15 - (105 + 1)). Put 3, 1, -6, f in ascending order.
f, -6, 1, 3
Suppose 363*v - 362*v = -j + 9, -5*v + 3*j = 3. Suppose -3*z = 3*f, 4*f + 2*z = -0*f + 4. Put f, 1, v, 4 in increasing order.
1, f, v, 4
Suppose 0 = -4*l + 19*l + 30. Let c be (1 - 10/9)/(l/24). Sort -1, c, -6 in descending order.
c, -1, -6
Let l = 609323/2 + -304664. Let f be (-1)/4 - (-3969)/(-12). Sort 1, l, f in descending order.
1, l, f
Let r = -502.34 - -498. Let t = r + 4.3. Let j = -17.96 + t. Sort -4/7, 2/5, j in ascending order.
j, -4/7, 2/5
Let o be (0 - 2)/(10 + -13 + 5). Let j = 41 - 34. Suppose 4*w - j = 5. Sort 5, o, 0, w in descending order.
5, w, 0, o
Let m be ((-8)/5)/(-3 + (-13)/(-5)). Let k(r) = 119*r**3 + 2*r**2 + 2*r. Let d be k(-1). Let q = d - -122. Sort q, -3, m in ascending order.
-3, q