5 in descending order.
5, 4, 1, b
Let l be (-16)/(-40)*(-30)/42. Put -3, 2/69, l, -0.12 in decreasing order.
2/69, -0.12, l, -3
Let b = 0.02 + -0.42. Let f = -11269/5 - -2254. Sort b, 0.4, f, 4 in increasing order.
b, f, 0.4, 4
Let d = -4 - -6. Let o be (-2)/5 - 1*47/(-5). Let f be 5*(o/3)/3. Put f, -5, d in ascending order.
-5, d, f
Suppose -28 = -3*k - 43. Suppose 24*q = 31*q + 7. Put -2, q, k in decreasing order.
q, -2, k
Let o be (-22)/24 + (-1)/(-4). Let f = 29 - -17. Let d = f - 46.2. Put 5/2, d, o in descending order.
5/2, d, o
Let m = -7 + 24. Suppose -4*j = 21 - m. Put j, -4, 5 in decreasing order.
5, j, -4
Suppose 175 = 27*a - 100 - 22. Let f(l) = -6*l**3 - 2*l**2 + 1. Suppose -2*z = 2 - 0. Let k be f(z). Put 2, a, k in ascending order.
2, k, a
Suppose -2*h = 3*b - 4*h - 13, -3*b + 5*h + 1 = 0. Suppose -4*c = 21 + b. Let y = c + 4. Put -1, y, 2 in ascending order.
y, -1, 2
Let y = -17 + 24. Let b = -3.87 + 4.4. Let z = b + -0.13. Sort y, z, 4 in descending order.
y, 4, z
Let t be 2/5 + 36/10. Let c be ((-108)/8)/9*2. Suppose 2*i + x = -4*x + 16, -3*i + x = 10. Put i, c, t in ascending order.
c, i, t
Let w = 2 + -7. Let m = -8.96 + 9.26. Put m, w, 0.7 in ascending order.
w, m, 0.7
Suppose -v + 3*s = -s - 21, -3*s = 3*v - 3. Let g = 151.5 + -151. Let a be 42/24 + (-1)/(-4). Sort v, a, g.
g, a, v
Let d = 5 + 23. Suppose -2*y - 3*h = -13, 3*y - h = 4*h - d. Let a be 1*(15/4 - (-6)/(-8)). Sort y, 0, a in descending order.
a, 0, y
Suppose m + 2*z = 0, 5*z - 2*z = m. Sort 3, -45, -3, m.
-45, -3, m, 3
Suppose 4*u - 3*s = -30, 2*u + 8 = -0*u - 2*s. Let q be (-20)/(-8)*u/(-5). Put -2, q, 0 in descending order.
q, 0, -2
Let i = 131 + -144.2. Let y = -13 - i. Put -1/5, y, 1 in decreasing order.
1, y, -1/5
Suppose -11 = i + 4*g, -39 = -5*i + 5*g + 6. Sort i, 585, -2 in descending order.
585, i, -2
Let j = 79 + -82. Put j, -140, 1 in ascending order.
-140, j, 1
Let r be (11 - 5)*3/(-12). Let u = r + 5/4. Sort u, -3/8, 2/3 in descending order.
2/3, u, -3/8
Let b be (-224)/20 - (-36)/3. Let l be ((-6)/(-20))/(9/12). Sort 2, 3, l, b.
l, b, 2, 3
Suppose 0 = -0*o - 2*o + 54. Let z = 20 - o. Let h be (20/(-6))/(-2) + -2. Sort z, -3, h.
z, -3, h
Suppose 0*m = -3*m + 12. Suppose 0 = -4*n - 2*k + 10, -4*n + 68 - 23 = -5*k. Put n, -2, m in decreasing order.
n, m, -2
Suppose -23 = -n - 21. Suppose 3*j - 9 = -n*b + 3, j + b = 3. Sort -1, 3, j in ascending order.
-1, 3, j
Let g = 11 + -8.4. Let y = g - 2.1. Put -0.1, 2, y in increasing order.
-0.1, y, 2
Suppose -5*d = -44 - 211. Suppose d = -3*j + 66. Put 3, 4, j, 0 in ascending order.
0, 3, 4, j
Let u(n) = -n**3 - 8*n**2 + 3. Let l be u(-8). Let k = 134 + -136. Sort 2, 5, k, l in descending order.
5, l, 2, k
Let v(x) = x + 15. Let s be v(-12). Let q = 6 - s. Suppose -q = 4*r - 23. Sort r, 0.4, -2/3 in decreasing order.
r, 0.4, -2/3
Let j = -12 + 13.2. Let i = -0.1 - -0.3. Let u = j - i. Sort -5, u, -2/23.
-5, -2/23, u
Suppose 3*f = 2*p - 14, 0 = f - 3*p + 10 - 3. Suppose 4*o - 2*u + 14 = 8*o, -2*o + 4*u = 8. Put f, o, -2 in ascending order.
f, -2, o
Let t be 10/4 - 85/(-34). Suppose -5 = -2*d + 1, -t*b = -d + 23. Sort 1, b, 5 in decreasing order.
5, 1, b
Suppose -2*t - 293 = -293. Sort 12, 14, t, -2 in decreasing order.
14, 12, t, -2
Suppose 245 = -0*i - 5*i. Let g be ((-18)/(-28))/(42/i). Put 1/5, 2, g in descending order.
2, 1/5, g
Suppose 10*c - 12*c = 3*v + 3, 2*v - 4*c = -2. Sort -8, v, 0.
-8, v, 0
Let t = 569 + -571. Put 0.4, -0.6, -1, t in descending order.
0.4, -0.6, -1, t
Suppose 0 = 9*p - 12*p + 9. Suppose -2*y - p*o = 2*o - 16, -2*y = -o + 8. Suppose 3*q + 2 = -3*j - 25, -4*j + 3*q - 1 = 0. Sort y, j, 0.
j, y, 0
Let n(r) = -r**2 + 2*r + 28. Let t be n(-4). Sort 86, 0, -1, t.
-1, 0, t, 86
Let i = -16 - -40. Suppose 0 = 38*y - 42*y + i. Put -1, y, -5 in descending order.
y, -1, -5
Let v be (4 - 3)/((-12)/(-4)). Let j = -25/56 + -3/56. Sort j, -0.12, v, -1/5 in decreasing order.
v, -0.12, -1/5, j
Suppose -4*q = -y - 0*q + 1, 0 = -3*y + 4*q + 3. Put -2, -20, y in increasing order.
-20, -2, y
Let f be 1/(666/(-76)) + 0. Let k = f - 4/37. Let d = 5.62 - 6.02. Put d, k, -2 in decreasing order.
k, d, -2
Let u = -456 + 455. Sort 2/7, 0.5, 0.4, u in descending order.
0.5, 0.4, 2/7, u
Suppose 4*k - 2*m + 6 = -0*k, 0 = -5*k + 3*m - 10. Suppose -3*r = -2*i - 107, -i + 0*r = r + 61. Let z = i + 56. Put 4, k, z in increasing order.
z, k, 4
Let m = 33 + -59. Let l = m + 31. Suppose 0 = 5*t - 0 + 5. Put l, -4, t in descending order.
l, t, -4
Let f = 78 - 105. Let b = f + 26.4. Let l be 3/4 - (1 + 0). Sort b, -5, l.
-5, b, l
Let q = -21 - -31. Suppose 0 = -o + 6*o + q. Let u(j) = -j**2 + 5*j + 2. Let f be u(5). Sort -6, o, f in decreasing order.
f, o, -6
Let i be 6/5*(-90)/(-27). Let o be (-15)/(-6) - (-2)/4. Suppose b - o*b = 6. Put i, 5, b in decreasing order.
5, i, b
Let k = 185/22 - 98/11. Sort k, -0.02, 5 in descending order.
5, -0.02, k
Let i(p) = -p**2 - 39*p + 172. Let q be i(-44). Put q, -2/5, -0.3 in increasing order.
q, -2/5, -0.3
Let v(y) = 1 + 5 - 169*y**2 + 164*y**2 + 15*y - y**3. Let c be v(-7). Let l be (-4)/(-6) + 26/6. Put -2, c, l in decreasing order.
l, c, -2
Suppose -15 + 3 = 4*w, -x = w - 2. Let d(m) = m**3 + 3*m**2 - 3*m + 4. Let p be d(-4). Sort -2, 3, p, x.
-2, p, 3, x
Let i = -218 + 222. Let u = 2 - 2. Let y = u - 0. Sort y, i, 1 in descending order.
i, 1, y
Let v be (-33)/(-12) + (0 - (-2)/8). Let s be (0 - 4/v)/((-8)/120). Sort s, 3, 0.
0, 3, s
Suppose 0 = -r + 1 - 5. Let g = 11 + 8. Suppose -5*q - 34 = -g. Sort r, -5, q.
-5, r, q
Let j = 2268 - 2274. Sort -2, j, -18 in ascending order.
-18, j, -2
Let u = -20.2 - -22. Let w = 0.28 + -1.58. Let p = u + w. Sort 5, 0.4, p.
0.4, p, 5
Suppose -10 = b + 5*s, -4*b + s - 88 = 5*s. Let l = b + 28. Put 6, -3, l in ascending order.
-3, l, 6
Suppose -5*g + 4*y - 21 = -103, 2*g - y - 31 = 0. Suppose 2*l + g = -3*v + 4*v, -2*v = 3*l + 7. Sort v, 1, -2/15, 31 in decreasing order.
31, v, 1, -2/15
Suppose -5 = 3*l + 7. Let o be 1*(-3*5)/3. Sort l, o, -3, 0 in descending order.
0, -3, l, o
Let z = 19 + -46. Let p = -30 - z. Let s = -1/25 - -6/25. Sort s, p, 2.
p, s, 2
Suppose 2*a = 3*a, a + 4 = h. Let u be ((-1)/1)/(h*6/(-48)). Sort -1, -2, -4, u in increasing order.
-4, -2, -1, u
Let b = 107 - 78. Suppose -3*d - 20 = -b. Put d, 1/7, 0.4 in ascending order.
1/7, 0.4, d
Suppose 0 = -3*t + 2*t + 2. Suppose -t*d + 1 = 5. Sort d, -12, 2/15 in descending order.
2/15, d, -12
Let u(y) = -y**2 - 4 + 4*y - 5 + 3. Let n be u(3). Suppose -13 - 2 = 3*l. Sort n, l, 1.
l, n, 1
Let h = -45 + 42. Put 120, 4, h, -4 in ascending order.
-4, h, 4, 120
Suppose c - 1 = -4*n + n, -2*n - 1 = -c. Let a(h) = -h**3 + 14*h**2 + 2. Suppose 2*i + 16 = 4*i + 4*m, -4*i - m + 53 = 0. Let q be a(i). Sort 3, n, q.
n, q, 3
Suppose -7*l + 20 = 3*l. Sort l, -4, 3 in decreasing order.
3, l, -4
Let z be (-72)/162 + 98/18. Put -2/9, z, -5/2, -1/3 in descending order.
z, -2/9, -1/3, -5/2
Let y = -5 - -4.5. Let m = -458 - -456. Sort -2/11, -0.8, m, y in decreasing order.
-2/11, y, -0.8, m
Let c = -40 + 36.9. Let g = 3.05 + c. Let u = 0.15 - g. Put 0.5, 5, u in increasing order.
u, 0.5, 5
Let v = 1113.63 - 1114. Sort -0.02, 1, v in descending order.
1, -0.02, v
Let q = 0 - 0.5. Let z be 1*3 - 143/198. Let t = z - 7/9. Sort q, t, 1 in descending order.
t, 1, q
Let r(y) = 2*y - 15. Let f be r(9). Suppose 3*m + 11 = -2*m - 2*x, -2*m - 2*x = 8. Suppose 4*a + a + 25 = 0. Put a, m, f in descending order.
f, m, a
Let v = 15 - 18. Let r = 0.5 + -0.9. Let p = -1.3 + 6.3. Put r, v, p in increasing order.
v, r, p
Let o be 4/10 - (-24)/15. Suppose 275*y - 281*y = 18. Put -4, y, o, -5 in descending order.
o, y, -4, -5
Let k(s) = s**3 + 2*s - 1. Let u be k(0). Let b be u + 1 + (-10 - -8). Let g be ((-12)/60)/(b/(-2)). Sort g, 2/9, -0.4 in descending order.
2/9, g, -0.4
Let c = -11 + 15. Suppose -3*z - c = -4*m, 0 = 2*m - 5*m + 3. Suppose 3*u - 14 = -q + 6*u, z = -q - u - 2. Put q, -0.4, -0.3 in decreasing order.
q, -0.3, -0.4
Suppose 0 = -w + 2*k + 3*k - 20, -3*w = -4*k + 16. Suppose 10*q = -17 + 47. Sort -5, w, q.
-5, w, q
Let q = -1837/4 - -979/2. Let h = -31 + q. Sort 11, -4, 4, h in ascending order.
-4, h, 4, 11
Let y be ((-11)/99*3)/(1/3). Sort y, -4, -2, -10 in descending order.
y, -2, -4, -10
Let d = 