ort c, -3, j.
-3, c, j
Suppose -5*x + 65 = -2*n, -4*x + 59 = -2*n - n. Suppose -x = -t - 6. Sort -4, -2, t in decreasing order.
t, -2, -4
Let v be 74/(-126) + 2/14. Sort 2/23, v, -3 in decreasing order.
2/23, v, -3
Let f = -145/12 + 37/3. Sort 5, f, 0.9 in increasing order.
f, 0.9, 5
Let i = 16 + -5. Suppose 3*b = 2*h - i, -4*h = -5*h - 2. Sort b, -3, 0 in increasing order.
b, -3, 0
Let p be (-52)/5*(-15)/6. Suppose -4*c + 2*o = -0 - p, 5*o = -c + 23. Suppose 4*d = c*d + 16. Sort -5, -2, d in descending order.
-2, d, -5
Let d = -10 + 6. Let z(k) = -k**2 - 2*k + 5. Let l be z(d). Suppose 0 = -2*h + 14 - 4. Sort l, h, -5 in decreasing order.
h, l, -5
Let y = -1089/7 - -156. Let q = -0.191 + 0.491. Sort q, -3/7, y.
-3/7, q, y
Let g be 45/(-12) - (-4)/(-16). Sort 1/9, 4, g, -1 in ascending order.
g, -1, 1/9, 4
Suppose -3*w - 2*w - 15 = -a, -w = 2*a + 3. Suppose a = -0*o - o - 6. Let u be (-29)/6 - o/(-36). Sort u, 4, 3 in ascending order.
u, 3, 4
Let c = -17 + 20. Put c, -0.2, 5 in decreasing order.
5, c, -0.2
Let j = 0.5 + -1. Sort -4/5, j, -0.2.
-4/5, j, -0.2
Let a = 39/4 + -10. Suppose -3*j = -2*u + 3*u + 8, -u + 2*j + 2 = 0. Put 8, a, u in descending order.
8, a, u
Let h = -8/17 - -15/68. Let a = -18 - -17.5. Sort h, a, -0.1.
a, h, -0.1
Let j(f) = 9 + 4*f**2 - 13*f + f**3 - 2*f**2 - 13*f**2. Let o be j(12). Sort o, 0, 5.
o, 0, 5
Let w = 2 - 2.03. Let f = 0.23 + w. Put 4/5, 2/5, f in ascending order.
f, 2/5, 4/5
Suppose -6*i + 8 = -10. Put i, -2/9, -1/11 in descending order.
i, -1/11, -2/9
Suppose 3*b + 1 + 5 = 0. Let w be -2*(0 - (-1)/2). Let f be (6 - 4) + (-1)/w. Sort f, 4, b in decreasing order.
4, f, b
Let n be 5/(-2) - 4/(-8). Sort -21, n, -5 in descending order.
n, -5, -21
Let n = 0 + 5. Sort -4, n, -7/5.
-4, -7/5, n
Let q = 5 + -1. Suppose 2*r - 4*s = -r + 4, -2*r + q*s = -8. Let f = -2 + 4. Sort r, f, 5 in increasing order.
r, f, 5
Let h = -5 - -4.9. Let x = -0.1 - h. Put x, -3, 0.1 in decreasing order.
0.1, x, -3
Suppose 7 = -c + 12. Let k = -7 + 5. Let r be 2/(-4)*k + 3. Sort c, -2, r.
-2, r, c
Let h = -2.8 + 3.1. Let n = -2 - -1.7. Sort h, n, 0.4 in ascending order.
n, h, 0.4
Let w(k) be the first derivative of k**4/4 - 4*k**3/3 - 2*k**2 - 6*k + 1. Let r be w(5). Suppose 2*i = 4*u - 26, -6 = -u - 1. Sort -5, i, r.
-5, i, r
Let z(j) = -j**3 + j**2 - 5. Let v be z(0). Sort 4, 1, v in decreasing order.
4, 1, v
Let n be (-9)/(-6)*2 + -2. Let d be (-6)/(4 - n) - -6. Put -1, d, -3 in descending order.
d, -1, -3
Let v = 153 + -149.05. Let f = v + 0.05. Sort -0.4, 0.3, f in increasing order.
-0.4, 0.3, f
Let j = 139/4 - 36. Suppose 0*k = -5*k + 180. Let u be (-6)/4*(-48)/k. Sort u, j, -3.
-3, j, u
Suppose -3*u = -5*u - 3*s + 8, -4*u - 4*s = -8. Let q be 20/(-16) + u + 3. Put -0.4, 1, q in decreasing order.
1, q, -0.4
Let x = 0.236 + -0.036. Put x, 1/3, -0.5, -1 in descending order.
1/3, x, -0.5, -1
Suppose -2*d = -6 + 4. Let q be ((-8)/6)/(8/36). Let w(h) = h + 8. Let i be w(q). Sort i, d, -2 in descending order.
i, d, -2
Let z = -67 + 66.6. Put -0.01, -2/7, z, -2 in increasing order.
-2, z, -2/7, -0.01
Let b = -40 - -35. Sort -2, -8, b, 0 in decreasing order.
0, -2, b, -8
Suppose 5*y - 8 = -2*m, -5*m + 23 - 3 = 2*y. Sort 6, y, 1, -4 in increasing order.
-4, y, 1, 6
Suppose 11*t + 23*t = -238. Let h be (-1)/(1*2/10). Put -1, t, h in descending order.
-1, h, t
Let l be 1/(2 - -3 - 4). Sort l, -3, -1 in descending order.
l, -1, -3
Let q = 269/4 - 68. Put 2/7, -5, q in ascending order.
-5, q, 2/7
Let h = -0.77 + -0.32. Let y = 0.19 + h. Sort 1, y, 2/9.
y, 2/9, 1
Let n(s) = -6*s + 43. Let d be n(7). Put 2/3, d, -2 in descending order.
d, 2/3, -2
Suppose 0 = 11*o - 10*o - 5. Let s be -1 - (-1)/((-1)/(-3)). Let a = 0 - 0. Sort a, o, s in decreasing order.
o, s, a
Suppose 0 = 5*d - 7*d + 36. Let a(s) = -s**2 + 19*s - 22. Let c be a(d). Put -2, 2, c in increasing order.
c, -2, 2
Let m(n) = -n**3 - 2*n**2 + 3*n - 4. Let p be m(-4). Suppose 2*t - p = -2*t. Suppose 7 = 2*w + 11. Put w, t, 0 in descending order.
t, 0, w
Suppose 9 = -2*m + 13. Sort -2, m, -6, -3/4 in descending order.
m, -3/4, -2, -6
Let s = -11.9 + 11. Let f = -1.1 - s. Put 1, 3, f in ascending order.
f, 1, 3
Let j be 2*(-15)/(-12)*-2. Sort j, 3, -4 in descending order.
3, -4, j
Let z = 0.068 - 0.368. Let j = 2493/5 + -531019/1065. Let h = 197/1704 - j. Sort h, z, -5 in decreasing order.
h, z, -5
Let r = -0.2 + 0.1. Let l = -0.1 + r. Let y = l - -0.4. Sort 1/10, -4, y.
-4, 1/10, y
Let i be 9/(-6)*28/(-21). Let p(z) = 10*z**2 + 6*z - 19. Let y(k) = 7*k**2 + 4*k - 13. Let l(a) = -5*p(a) + 7*y(a). Let h be l(-3). Sort i, 5, h.
h, i, 5
Let j be ((-3)/2)/(4/(-8)). Let s(p) = -p**3 + 10*p**2 + 12*p - 6. Let g be s(11). Put g, -4, j in descending order.
g, j, -4
Let r = 0.592 - 0.292. Let j = 3 - 2.9. Sort r, -2/21, j in increasing order.
-2/21, j, r
Let c be (27/(-72))/(2/24). Put c, 3, -0.1, -0.4 in decreasing order.
3, -0.1, -0.4, c
Let c(x) = -x**2 + 8*x - 12. Let b be c(6). Let d(l) = 2*l + 1. Let w be d(4). Sort w, 2, b.
b, 2, w
Suppose -26 = 4*v - 14. Sort 1, -5, v in descending order.
1, v, -5
Suppose -5*x + 9 = -11. Suppose -6 = -y + x*m - 3*m, -7 = -2*y - 3*m. Suppose y*h = 20, h = 4*l + 2*h - 24. Put 1, l, 2 in ascending order.
1, 2, l
Let v = 75 - 80. Let y be (-1)/(-2)*4 + -2. Sort y, v, 4 in decreasing order.
4, y, v
Let r = 249/4 + -62. Put r, 5, -0.4 in ascending order.
-0.4, r, 5
Let m be ((-9)/(-15))/((-2)/5). Put -2/7, -0.4, m in increasing order.
m, -0.4, -2/7
Suppose 0*x = 5*x - 25. Let w = 7 + -4. Let j = -168 - -1850/11. Sort j, w, x.
j, w, x
Let t = -32.82 + 33. Put 4, t, 5 in decreasing order.
5, 4, t
Let x = 13 + -10. Let y be 15/(-6)*(-5 + 1). Let z be -2*(0 - y/4). Sort z, x, -0.1 in descending order.
z, x, -0.1
Suppose 3*o = 7*o + 16. Suppose -3*a + 18 = 2*r, 0*a - 7 = -4*a + 3*r. Put o, -5, a in ascending order.
-5, o, a
Let i = -0.126 - -5.126. Let b = 0.42 + -0.02. Put -5, i, b in ascending order.
-5, b, i
Let n = 2/105 + 11/35. Let p = 8 + -11. Sort n, 1, p in ascending order.
p, n, 1
Let l be 1/2 - (-11)/(-66). Let u = 6 - 11. Sort -0.3, u, l in increasing order.
u, -0.3, l
Let t be 6/(-15) - (-36)/(-10). Let s be 26/(-42) - t/14. Put s, 1/2, -1 in increasing order.
-1, s, 1/2
Let x be (-14)/(-4)*8/(-14). Sort 2, 1, x, -3 in ascending order.
-3, x, 1, 2
Suppose -10 = -3*g + w, -2*g = g + 4*w - 20. Sort -2, -1, g in decreasing order.
g, -1, -2
Suppose 5*l + 4*j - 7 = 2*l, 0 = 3*l - 3*j. Let b(q) be the first derivative of -q**3/3 + 3*q**2 + 5*q - 3. Let r be b(6). Put r, 4, l in ascending order.
l, 4, r
Let o = 0.2 + 3.8. Put 0.5, o, 0.05 in ascending order.
0.05, 0.5, o
Let z = 2 + -1. Sort z, 3, -6.
-6, z, 3
Let z be 2/(4/2 + -4). Let m(n) = -n**3 + 7*n**2 - 12*n + 6. Let a be m(4). Sort -5, z, a in increasing order.
-5, z, a
Let i be (-82)/26 + 3/1. Sort i, 3, -0.2.
-0.2, i, 3
Let k be 2 + ((-15)/(-10))/(6/(-8)). Put k, 2, -2, -3 in ascending order.
-3, -2, k, 2
Let c(i) = -i**3 + 14*i**2 - 14. Let n be c(14). Let v = n - -14. Let o = -4 + 1. Sort 4, o, v.
o, v, 4
Suppose 4*f = -3*i - 15 - 6, -15 = f + 4*i. Put f, 5, 9, 1 in decreasing order.
9, 5, 1, f
Let r = 1 - -9. Suppose -5*f + r = -15. Suppose -3*t - 2*t = -4*g - 20, 2*g + 3*t - 12 = 0. Sort g, 2, f in ascending order.
g, 2, f
Suppose 3*u = x - u - 14, 2*x + 11 = -5*u. Let c = -59 - -60. Sort x, 4, c.
c, x, 4
Let o = -8779/2440 - 1/488. Let v = o + 4. Sort 0.2, v, -0.3 in decreasing order.
v, 0.2, -0.3
Let s = -138.5 + 138. Sort 2/9, 0.05, s, -5 in increasing order.
-5, s, 0.05, 2/9
Let t(n) = n**3 + 5*n**2 - 7*n - 5. Let v be t(-6). Sort 3, 0, v, 4 in descending order.
4, 3, v, 0
Let n be 16/(-10)*(2 + 21/(-12)). Put n, -0.3, -4, -1/3 in decreasing order.
-0.3, -1/3, n, -4
Let b = 5 + -1. Let w = 1.8 + -6.8. Sort b, 4/7, w.
w, 4/7, b
Let v = -0.023 - 0.077. Put v, -1, 1 in increasing order.
-1, v, 1
Let f be (-7)/12 + 3/9. Sort 4, f, 5.
f, 4, 5
Let z = 4.2 + -4. Let s = 7/8 + -41/24. Let d = s - -4/3. Put d, -2/7, z in increasing order.
-2/7, z, d
Let o be (-1)/(-2 - (2 + -3)). Let g = -79 - -76. Sort 5, g, o in decreasing order.
5, o, g
Let h = -57 - -55. Suppose 0 = d + d - 4. Sort d, 5, h.
h, d, 5
Let j be (40/(-50))/((-4)/(-30)). Let d be 2/(-3)*j/16. Sort -2/9, -5, d.
-5, -2/9, d
Let u = 5