 decreasing order.
x, f, c
Let u = -0.03 - 0.47. Let a = -1353 + 1352.6. Put a, 0.4, u, -3 in increasing order.
-3, u, a, 0.4
Let n = -74 + 76. Let v(b) = 5*b + 2*b + 0*b - 4*b. Let g be v(-1). Put n, -0.2, g in ascending order.
g, -0.2, n
Suppose 0*v = -5*v + 50. Let y be 2756/234 - 4/(-18). Suppose 7*u - v*u = -y. Sort 3, -4, u in decreasing order.
u, 3, -4
Suppose -4*b + 0*b = -2*v + 2, 5*v - 80 = -5*b. Suppose -v*r + 15 = -6*r. Sort 2, r, 1 in descending order.
r, 2, 1
Let t = -234 - -238. Sort -3, t, 5 in increasing order.
-3, t, 5
Let j = -128.9 + 135. Let z = -2.1 + j. Put 2/13, -0.2, z in ascending order.
-0.2, 2/13, z
Let l be 0 + (-2366)/35 + 4/(-10). Put l, 2, -1 in decreasing order.
2, -1, l
Let r = -1 + 1.6. Let i = r + -0.1. Let h = 4243/12 + -1415/4. Put i, -1/3, h in decreasing order.
i, h, -1/3
Let t be ((-3)/(-1))/((-6)/10). Put 0, 2, t, -0.4 in ascending order.
t, -0.4, 0, 2
Let h = -144 + 128. Let g = 24 - 40. Let j = g - h. Sort j, -1, 4 in descending order.
4, j, -1
Let h be 20/25*((-10)/(-4) - 0). Suppose -h*c = 9 - 15. Sort 30, c, -3 in descending order.
30, c, -3
Let y = 824.025 - 824. Sort 4, y, -0.4 in descending order.
4, y, -0.4
Let m = 1/72 + 137/504. Sort m, -15, 2.
-15, m, 2
Let n = 8.5 - 9. Sort -5, n, -0.2, 3 in decreasing order.
3, -0.2, n, -5
Let d be (-1 - 24/(-5 - -11))*1. Sort 4, 2, d in increasing order.
d, 2, 4
Let n(t) = -t**3 + 3*t**2 + 4*t + 2. Let r be n(4). Suppose r*x = -3*x + 30. Suppose 8*z + 15 = 5*d + 3*z, -x = 3*d + 2*z. Put -4, -5, d in decreasing order.
d, -4, -5
Suppose 0 = 3*a - 15, -4*j + 1 = 4*a - 3. Let o be (j/6)/((-16)/(-120)). Suppose -155 = -10*w - 21*w. Sort o, 2, w.
o, 2, w
Suppose 5*v - 16 = v. Suppose 0 = v*g - 4*j - 8, -7 = 5*g + 4*j + 19. Sort 1, 9, g in decreasing order.
9, 1, g
Suppose 0 = q - 80 + 75. Suppose -q*s + v = -24, -5*s + 5*v - 13 = -53. Sort 2, s, -1/3, -4.
-4, -1/3, 2, s
Let g be (7 - 11) + 96/(-150)*-5. Put 1/7, -2, -4, g in descending order.
1/7, g, -2, -4
Suppose 177*n - 183*n + 6 = 0. Let y = -0.06 + -0.14. Let r = -0.5 + 0.1. Put r, n, y in ascending order.
r, y, n
Let v(c) = -2*c - 10. Let r be v(-7). Let s be (-119)/42 - (-1)/(-6). Let q(o) = -o**2 - 3*o + 35. Let f be q(-8). Put f, r, s in decreasing order.
r, s, f
Let f = 65 - 86. Put 1/8, f, 0.1, -1 in decreasing order.
1/8, 0.1, -1, f
Let g be (0 - -1)*0/(-71). Sort 4, -3, g, 3 in descending order.
4, 3, g, -3
Let m be 0/(165/(-66) - 6/(-4)). Let c(y) = -y**2 - 3*y. Let p be c(-3). Suppose -2*k + m + 2 = p. Sort k, -2, 3.
-2, k, 3
Let i = 0.222 - 0.212. Put 2, -2/13, i, -3/2 in ascending order.
-3/2, -2/13, i, 2
Suppose 16 = 2*a - j, 3*a - 5*j - 30 = -2*a. Let p be (6/15)/(6/15). Put -2, -5, a, p in decreasing order.
a, p, -2, -5
Suppose -4*k - 3 = -3*k. Suppose 3*c - 16 = -z, 18 + 2 = 4*c. Sort -1, k, z.
k, -1, z
Let z = -3.1 + -68.9. Sort -2/5, z, 0 in descending order.
0, -2/5, z
Suppose 0*x - x = -2*j + 99, -5*x + 3*j = 502. Suppose -11*y + 12*y - 3 = 0. Sort x, 5, y.
x, y, 5
Let w(c) = c - 8. Let u be w(5). Suppose 4 = 4*a - 0*a, 5*x - 4*a = 6. Suppose -4*m + x*q = -0*m - 2, -3 = -q. Sort m, 1, u.
u, 1, m
Let r = 8.21 - 0.21. Suppose 11*d = 12*d - 20. Let a = d + -17. Put a, r, -5 in descending order.
r, a, -5
Let o(f) = -3*f + 39. Let g be o(12). Sort -4, -119, g.
-119, -4, g
Let l = -101.8 + 15.8. Let i = l + 85.7. Sort 3, -2/7, i, 7 in increasing order.
i, -2/7, 3, 7
Let o be -1*(1 + 0 - -2). Suppose 22 = 5*r - 14*m + 13*m, 2*r - 3*m - 14 = 0. Sort o, r, 1, -5.
-5, o, 1, r
Suppose 4*n = -6*u + 9*u - 20, -3*n - 5*u = 15. Let c be (6/10)/(10/(-50)). Sort c, -2, -4, n.
n, -4, c, -2
Let g = 284 + -284.53. Put 0.5, g, -0.3 in ascending order.
g, -0.3, 0.5
Let o = -0.682 - -0.982. Put 2, 4.47, -3/8, o in decreasing order.
4.47, 2, o, -3/8
Let t = 1308 - 1309. Let v = -41/407 + -3/37. Put v, t, 1/3 in descending order.
1/3, v, t
Let c = -875089/270312 + -777/1609. Let y = 29/8 + c. Put 1, y, -0.2 in decreasing order.
1, y, -0.2
Let i = 4857/1772 - -4/443. Let g be (-2 + 2 + 4)/(-48 + 98). Put i, 0.1, g in descending order.
i, 0.1, g
Let s = -21 + 24. Suppose 4 = -4*c - s*w - 0*w, 3*c - 18 = 3*w. Put 4, 3, c in decreasing order.
4, 3, c
Let x = 14 + -20. Let s(o) = o**2 + 8*o + 4. Let i be s(-6). Let y be (-1)/6*(-36)/i. Put x, -0.5, y in descending order.
-0.5, y, x
Let j = 733/5 + -146. Let q be ((-30)/(-14) - 2)*3. Sort -3, 0.3, j, q in decreasing order.
j, q, 0.3, -3
Suppose 5*q + 2*o + 16 = 0, 4*q - 8*o - 7 = -3*o. Suppose 2*m + c = 2*c + 26, -4*m + 52 = -c. Sort 5, q, m in descending order.
m, 5, q
Let v(m) = m**2 + 7*m + 7. Let h be (-9)/(6/(-8)*-2). Let b be v(h). Put -1, b, 2 in descending order.
2, b, -1
Suppose -3*h + 0*h + 4*h = 0. Let p be 6/(-6) + (h - 5). Let y(t) = t + 2. Let a be y(-3). Put a, -2, p in descending order.
a, -2, p
Let u = 117.87 - -3.13. Put -4/3, 3, u in decreasing order.
u, 3, -4/3
Let s be 1/3 - 20/(-3). Let u(x) = x**2 - 10*x - 230. Let z be u(-11). Sort 4, z, s in decreasing order.
s, 4, z
Let s = 0.2 - -0.1. Let x = 15.2 - 15.15. Let h = -4 + 1. Sort x, s, h in descending order.
s, x, h
Let r = 320 + -315. Put 16, r, -4 in descending order.
16, r, -4
Suppose 4*y = -0*z - z + 7, 0 = 4*z - y + 6. Let p = -495 + 491. Sort p, 3, -3, z in ascending order.
p, -3, z, 3
Let f = 58 + 38. Let n = 92 - f. Sort 2/3, n, 3, 2.
n, 2/3, 2, 3
Let w = 1460 - 7298/5. Put -3, w, 3/7, -4 in ascending order.
-4, -3, w, 3/7
Let z(u) = -5*u. Let h be z(-1). Let s = -1/3 - 1. Put 5/2, s, h in increasing order.
s, 5/2, h
Let l = 1.61 - 1.71. Sort 5, -15, l in decreasing order.
5, l, -15
Let c be 51/(-99) + 2/6. Suppose -17*x + 12 = 80. Put x, c, -1 in ascending order.
x, -1, c
Let h = -260.02 - -264. Let k = 0.02 + h. Put 0.2, -0.04, k in descending order.
k, 0.2, -0.04
Let k = 72 - 69. Sort k, -2/7, -0.04.
-2/7, -0.04, k
Let f = -17.1 - -17.3. Let d = -1/28 + 2/7. Sort d, f, 3 in decreasing order.
3, d, f
Suppose 0 = 2*m + 2*j + 26, 3*m - 7*m = j + 52. Let d = -1647 + 1651. Sort d, 3, m in decreasing order.
d, 3, m
Let a = 216 - 215. Let j = -12 + 9.2. Let m = 3 + j. Put -1, m, a in descending order.
a, m, -1
Let m be (((-40)/16)/5)/1. Let x = -0.3 - 0.2. Let p = 1 + x. Put 2, m, p in descending order.
2, p, m
Suppose 2*g - 3*r = 2*r - 3, 5*g = -4*r + 9. Let z be ((-20)/(-50))/((-12)/10). Put g, 5, z in decreasing order.
5, g, z
Suppose 16 = -29*i - 42. Suppose -4*u - 20 = -5*o + 3*o, 2*o - 3*u = 15. Put i, -4, o in descending order.
o, i, -4
Let z = -11 + 12. Let d(b) = b**3 - 26*b**2 - 25*b - 49. Let n be d(27). Sort z, n, -5.
-5, z, n
Let o be (18 - (4 - 0)) + 0. Suppose -7*u - o = 21. Sort 2, 0, u in decreasing order.
2, 0, u
Let x = 2 + 0. Suppose -n - 2*b + 2 = 4, 5*b - 13 = x*n. Let s(u) = u**2 + 6*u - 15. Let d be s(-8). Put n, 8, d in decreasing order.
8, d, n
Let x = -6 - -3. Let m = 3.3 + x. Let p = 10/19 - 125/57. Sort p, 3, m in ascending order.
p, m, 3
Let s(w) = 8*w + 21. Let u(d) = -3*d - 7. Let f(n) = 4*s(n) + 11*u(n). Let h be f(4). Put 27, h, -4 in descending order.
27, h, -4
Let t be (1 - 13/2)*-2. Suppose -5*d + t = -4. Suppose -12 = -d*l + 3. Put 0, l, -1 in descending order.
l, 0, -1
Let h = -1180 - -1158.28. Let j = h - -22. Let x = j - -0.02. Sort x, 2/7, 5 in descending order.
5, x, 2/7
Let k = -95.03 + 95. Let u = 3.1 - 0.1. Sort 1, k, -3, u in descending order.
u, 1, k, -3
Suppose -m + 2*m + 4*w = -17, w = 4*m. Let y(o) = 2*o**2 + 13*o + 8. Let z be y(-6). Sort 0, z, m in decreasing order.
z, 0, m
Let o = -0.19 + 0.39. Let y = 0.5 - 0.4. Sort y, o, 2 in descending order.
2, o, y
Suppose b - 5 + 1 = 0. Let x(k) = 2*k**2 + 5*k - 2. Let a be x(-3). Suppose -v = -3*i - 17, 2*i + 14 = 2*v - 0. Sort b, v, a in decreasing order.
b, v, a
Suppose 0 = t - 4*t + 2*w, 2*w = -3*t. Suppose o - 4 = 0, t*h - 5*o + 30 = 2*h. Put h, -4, 12 in decreasing order.
12, h, -4
Let c be 39/35*(53 - 58). Sort 3, c, -2/9.
c, -2/9, 3
Let l(a) = 4*a + 6. Let w(f) = -f - 1. Let p(d) = l(d) + 3*w(d). Let c be p(-6). Put 7, -5, c in decreasing order.
7, c, -5
Let y be 2/3*2/4. Let o = -3.2 - -0.2. Let v = 154/9 - 1072/63. Put v, y, o in increasing order.
o, v, y
Suppose 5*g - 8 = 2. Suppose 0*x - 25 = -3*x - g*f, 3*f + 10 = 5*x. Sort x, -5, 4.
-5, 4, x
Let a = 90 - 91. Sort a, 5, -120.
-