2, j in descending order.
2, j, -4
Let v = 0 + 3. Let q = 8 - v. Sort 0.2, q, 0.
0, 0.2, q
Let u(k) = 5*k**3 + k**2 - 1. Let y be u(1). Let l be (-1)/(-5)*17 - 4/10. Sort y, -4, l in decreasing order.
y, l, -4
Let s = -66 + 397/6. Sort 1, s, -17/3 in ascending order.
-17/3, s, 1
Let r = 47.2 - 47. Let u = -1/55 - 2/11. Let i = -119/6 - -41/2. Put u, r, i in descending order.
i, r, u
Let o be 3/(-6)*1*0. Suppose o = i + i + 44. Let d be 4/6 - i/(-6). Sort 1, d, 0 in descending order.
1, 0, d
Let j be 1 + -15 - (-5)/40*-8. Sort 2, j, 4, -3.
j, -3, 2, 4
Let x = 29 - 28. Suppose 4*q - 5*r + 18 = 0, -14 = 5*q - 5*r + 3*r. Sort q, -1, x in increasing order.
q, -1, x
Let q(p) = 3*p**3 + 2*p**2 + 3*p + 3. Let x(a) = a**3 + 1. Let s(c) = -q(c) + 2*x(c). Let l be s(-2). Sort 2, l, 0 in descending order.
l, 2, 0
Suppose 5*x + 18 = 13. Suppose 0 = -3*v + 5 - 14. Sort 2, x, v.
v, x, 2
Let f be (13 - 17)*9/12. Let q(s) = -s**2 - 5*s - 2. Let n be q(-3). Suppose k = -k + n. Sort k, f, 5.
f, k, 5
Let s = -7 - -5. Suppose 0 = -6*o + o. Sort s, o, 4.
s, o, 4
Suppose -t + 3 = 1. Let o = -8 + 7. Put o, t, 5 in decreasing order.
5, t, o
Suppose -3*g - 2*y + 3*y - 12 = 0, 5*y = 2*g + 8. Let l be (-6)/g*-1*2. Put 2, l, 0 in ascending order.
l, 0, 2
Let n = 8 - 4. Suppose 1 = 3*d - k - 0, n*k = 2*d + 16. Sort -5, d, 3 in descending order.
3, d, -5
Suppose 4*t - 10 = 5*i, i + 0*i + 23 = 5*t. Suppose -t*v = -4*q + 29, -18 = -3*q - 0*v + 3*v. Put 2, q, 5 in ascending order.
q, 2, 5
Let o be 115/200 - 1/5. Let c = 27 - 137/5. Sort -1/6, o, c in descending order.
o, -1/6, c
Let t be 1 - (1 + 52/(-3)). Let m = -18 + t. Sort 3/7, 3/5, m in increasing order.
m, 3/7, 3/5
Let w(t) = -t**3 + 5*t**2 + 6*t + 3. Let z be w(6). Suppose 0 = -z*h + 5*q - 3, 2*h - 1 = h + q. Sort 2, 5, h in decreasing order.
5, h, 2
Let g = -2 - 0. Let p(o) = o - 13. Let n be p(16). Put n, 4, g in ascending order.
g, n, 4
Let r be (1 - -1)*(-5 - -3). Suppose 0 = -2*q - 3*v + 5, 0 = -4*q - 3*v + 10 + 3. Put 1, q, r in ascending order.
r, 1, q
Suppose 2*r + 2*r - 88 = 5*f, -2*f = -3*r + 31. Let c be (-4)/(-2)*(-10)/f. Sort 0, 0.4, c.
0, 0.4, c
Let h(m) = m**2 + 20*m + 7. Let z be h(-20). Sort -3, z, 0 in descending order.
z, 0, -3
Suppose 0 = 2*q + 5*g + 7, -5*q - 3*g + 2*g - 6 = 0. Sort -4, 5, 0, q in ascending order.
-4, q, 0, 5
Let z = 0.21 - 0.41. Let l = 5 - 8. Put z, l, 1/6 in decreasing order.
1/6, z, l
Let t = -3 - -5. Put t, 0.3, -0.1 in increasing order.
-0.1, 0.3, t
Let l be 4/(-2) + 4 + 1. Sort l, -0.1, -16 in decreasing order.
l, -0.1, -16
Let d be (-6)/(-10)*2/(-3). Let t = 6 - 5.6. Let f = 0.47 - 0.17. Sort f, d, t in decreasing order.
t, f, d
Suppose 0 = 2*i - 5*i + 12. Let b(m) = -m**2 + 7*m + 3. Let a be b(7). Sort i, a, -1 in descending order.
i, a, -1
Suppose -j = y - 1, 2*y + 5*j + 3 = -4. Sort 7, -1, y in increasing order.
-1, y, 7
Let p(d) = d - 7. Let b(t) = t**2 + t - 2. Let v be b(-3). Suppose -5*w + 40 = 5*f, v*w - 38 = 2*f - 4*f. Let z be p(w). Sort 2/17, -4, z.
-4, 2/17, z
Let f be -1 - 1 - 10/(-2). Let i(u) = 2*u**2 - 4*u + 2. Let h be (-2)/3 - 16/(-6). Let g be i(h). Put f, g, 5 in increasing order.
g, f, 5
Suppose -8 = -3*h - 5*q, 3*q + 0*q - 5 = -2*h. Suppose -6*j = -4*j + 8. Sort j, -1, h.
j, -1, h
Let h = 12.3 - 14. Let q = h - 1.3. Let f be ((-6)/(-4))/(21/(-8)). Sort q, -0.2, f in decreasing order.
-0.2, f, q
Let c(m) = -2*m**2 - 2*m + 10. Let l be c(-3). Put l, 0, 5 in ascending order.
l, 0, 5
Suppose -v + 4*o - o = -7, 2*v + o + 14 = 0. Let l = -3 - -5. Suppose 4 = 4*r + 4*n, l*n + 4 = 4*r - 0*n. Sort -2, r, v.
v, -2, r
Let b = 130 + -126. Sort 6, 2/5, b, 0.1 in increasing order.
0.1, 2/5, b, 6
Suppose 0 = 2*x - 5*x + 12. Suppose 0 = -v - 2*k - 0 + x, 0 = 2*v - 2*k + 4. Sort -4, v, 2 in descending order.
2, v, -4
Let x = -18 - -12. Sort 5, 0, x in descending order.
5, 0, x
Let z(q) = q**3 - 10*q**2 + 8*q + 7. Let g be z(9). Sort g, 2, -18 in decreasing order.
2, g, -18
Let l = -1.3 + 6.3. Let r = -1 + 7. Let f = l - r. Sort 4/9, f, 4 in descending order.
4, 4/9, f
Let i be 16/3 - 8/24. Suppose i*y + 24 = -y. Sort -6, y, -3 in increasing order.
-6, y, -3
Let u = 110 - 44. Suppose -u + 6 = -5*p. Suppose -3*i + 3 - p = 0. Sort 2, i, 0.
i, 0, 2
Let y = 21 + -12. Suppose 2*d = 5*p - 7, 4*p + 3*d - y = 15. Let c = -3 - -7. Sort p, c, -2 in ascending order.
-2, p, c
Let g = 12.1 - 12.6. Put -1, -3/5, -4, g in ascending order.
-4, -1, -3/5, g
Let i = 0 + 4. Sort -5, i, 5.
-5, i, 5
Suppose -a + 6*a - 5 = 0. Let v(t) = -t**3 - 9*t**2 + 10*t - 10. Let r be v(-10). Let f be 1 - 4 - r/10. Put f, 2, a in ascending order.
f, a, 2
Suppose -5*z = -12 - 8. Suppose 3 = 3*r - 4*r. Sort -6, z, r in descending order.
z, r, -6
Let y be 8*-1*1/(-6). Let l = 2 - -7. Put -0.1, l, y in descending order.
l, y, -0.1
Let y = -0.09 + -11.61. Let u = -12 - y. Sort 0.5, u, 0 in descending order.
0.5, 0, u
Let o(k) = -k**2 - 2. Let a be o(0). Let h(y) = y**3 - 2*y**2 + 9*y - 13. Let u be h(2). Let n be (-2 - -3)*(1 + 1). Put n, a, u in descending order.
u, n, a
Let w = -0.3 - -0.1. Let r = w - 0. Let u = -0.8 + 0.8. Put r, 3, u in decreasing order.
3, u, r
Let h(x) = x**3 - 8*x**2 - 6*x - 26. Let j be h(9). Put 0.5, 0, j, -1/26 in decreasing order.
j, 0.5, 0, -1/26
Let b = 0 - -2. Let y = 85/99 - 7/11. Sort b, y, 1/2 in decreasing order.
b, 1/2, y
Suppose 3*f = -7*f + 20. Put f, -1, -2/17, 12 in increasing order.
-1, -2/17, f, 12
Let q = 41 + -43. Sort q, 5, -0.4, -2/9.
q, -0.4, -2/9, 5
Let j = 511/6 + -85. Let i(b) = -b**2 + 5*b. Let o be i(5). Suppose -x + 0*x - 2*y = 2, o = 4*x + 4*y. Sort j, x, -4.
-4, j, x
Suppose j + j = 0. Let n be j - (0 - -1 - -2). Put n, 2, -5 in descending order.
2, n, -5
Let x = -1 - -1.4. Let z = 3.9 - 5.9. Sort x, 1, z in decreasing order.
1, x, z
Let x(f) = -f**2 - 3*f - 1. Let g be x(-2). Let w be 21/(-9) + (-8)/12. Put g, w, 3 in descending order.
3, g, w
Let o = 315 - 306.09. Let h = 0.09 + o. Sort h, 1/2, -0.2 in increasing order.
-0.2, 1/2, h
Let l = -6.4 - -4.4. Put l, 0, -4, 1 in increasing order.
-4, l, 0, 1
Let y = 429/1208 + 3/151. Let q = 11 - 11.2. Put y, -0.3, q in descending order.
y, q, -0.3
Suppose -2*a - 2*a - 2*c = -6, 0 = 2*a + 5*c + 17. Put -17, a, 1 in descending order.
a, 1, -17
Let j = 1 - -1. Let f = j + -2. Let i be 1*(-4)/(-2) + (-3)/9. Put -0.3, f, i in descending order.
i, f, -0.3
Suppose 6 = 3*a + 3*p, a + 2 + 8 = -4*p. Suppose 4*r - 14 = a. Suppose 4*w - 2*w = -5*i + 14, w = -3*i + 9. Sort i, 1, r.
1, i, r
Let g = -57 + 38. Let d = g + 18.06. Let a = d - 0.06. Sort a, -1/10, 5.
a, -1/10, 5
Let m = 4.9 + -5. Sort 2, -13, 2/11, m in descending order.
2, 2/11, m, -13
Suppose 0 = -4*t + 200 + 24. Let l be (t/(-21))/(4/(-6)). Sort 1, l, -3 in ascending order.
-3, 1, l
Let n be (0 + 0)/(1/1). Let j be 0 + 2 + (-1 - 0). Suppose 5*f - 2*d + 19 = 0, f + 1 = d - j. Put -2, n, f in increasing order.
f, -2, n
Let v = 3 - 2. Let p = -2 - v. Let s = p - -2.8. Sort -3, s, -4.
-4, -3, s
Suppose 0 = -2*p - 5*u + 28, 0*u = u - 4. Let k be (-1 - 0)/(4/p). Put 4, 7, k in descending order.
7, 4, k
Let w = -9.9 + 10.5. Put -5/6, 3, 2/7, w in ascending order.
-5/6, 2/7, w, 3
Let q = -0.034 + -0.296. Let t = q + 0.13. Sort 0.5, t, -1/2.
-1/2, t, 0.5
Let p = -0.045 + 0.045. Let u = 142 - 138.96. Let b = u + -0.04. Put p, b, -1/3 in descending order.
b, p, -1/3
Let u(r) = -r**2 - 6*r - 9. Let q be u(-6). Let w be 3/q - 21/(-9). Let z be 1*(2 + w)*1. Sort 3, z, 0.
0, 3, z
Suppose 4*q - 4*l + 8 = 0, 0 = 4*l - 6 - 14. Let k be (-12)/(-3) + (-2 - 0). Sort q, k, -4 in decreasing order.
q, k, -4
Let a = -3 - -5. Sort a, 2/5, 0.1, 1/7.
0.1, 1/7, 2/5, a
Let n be -2 + 1 - (1 - 0). Suppose -j = 2*k + 3*j - 14, -2*j + 8 = 0. Put n, 1, k in increasing order.
n, k, 1
Let y = 86 + -84. Sort -2, -3, y, -5 in ascending order.
-5, -3, -2, y
Let b be (2/24)/((-1)/(-3)). Sort b, -0.5, 5.
-0.5, b, 5
Let f = 1 - 1. Suppose 0 = -f*g - g. Suppose 4*c = -g + 8. Sort -3, -5, c in descending order.
c, -3, -5
Let b(q) = -2*q - 2. Let i be b(-9). Suppose -4 = 4*x - i. Let f be 4/(-6) - (-8)/3. Sort f, 0, x in descending order.
x, f, 0
Suppose -6 - 2 = -4*u. Suppose 6*w + 4*z = w - 45, -u*w = -z + 5. Put 5, w, 2 in descending order.
5, 2, w
Let y = 24 - 27. Suppose -2*x + 1 = 5. Put y, 