/(-24)*(-1 - 2). Sort z, a, -5 in descending order.
a, z, -5
Let b = -2.6 - -1.5. Let c = 1 + b. Put 4/7, 3, c in increasing order.
c, 4/7, 3
Let a(m) = 7*m - 8*m - 2*m. Let w be a(-1). Sort w, -4, -1.
-4, -1, w
Let y = -136 + 950/7. Let j = -0.8 - 2.2. Sort j, y, -1/4 in descending order.
-1/4, y, j
Let p(o) = -o**3 + 9*o**2 - 2*o + 12. Let v be p(9). Let w be ((-30)/25)/(v/100). Suppose g - 5*g = -w. Put -4, g, 0 in descending order.
g, 0, -4
Let m = -16 + 14. Sort m, -7, -1 in decreasing order.
-1, m, -7
Suppose -8 = -7*r + 5*r. Put -5, r, -1 in decreasing order.
r, -1, -5
Let w be (-21)/(-7) - (1 + -2 - -9). Put w, 2, -1 in ascending order.
w, -1, 2
Suppose 2 = -2*m - 8*i + 4*i, 0 = -3*m - 2*i + 1. Sort m, 6, 5.
m, 5, 6
Let w be ((-1)/2)/((-1)/(-4)). Let m = 2/1229 + -7388/8603. Let c = -12 - -7. Put m, c, w in descending order.
m, w, c
Let b be 6/(-4) - (-10)/(-20). Sort b, 15, -4, 1.
-4, b, 1, 15
Let o = -4 - 2. Let s = 6.2 + o. Put s, 5, -1 in descending order.
5, s, -1
Let q be 25/(-63) - (-10)/(-35)*-1. Put q, -2, -3/4 in descending order.
q, -3/4, -2
Let j = 30471/1150 - -2/575. Let i = -26 + j. Sort i, 2/5, -0.3 in increasing order.
-0.3, 2/5, i
Suppose 3*u - 4 = -28. Let j = -0.6 + 0.9. Sort u, 1/9, j in descending order.
j, 1/9, u
Let m be 13/3 - (14 - 9). Let y be (-28300)/(-102) - (-2)/3. Let c = -278 + y. Put c, -4, m in increasing order.
-4, m, c
Suppose 0 = -3*f - 20 - 7. Let o = -12 - f. Sort o, 2, -5 in increasing order.
-5, o, 2
Let s = 0.07 + -3.07. Sort -2/17, s, -6/11 in ascending order.
s, -6/11, -2/17
Let i = -80.92 + 77. Let n = -0.08 + i. Put 0.6, n, -5 in decreasing order.
0.6, n, -5
Let j = -1.16 - -9.16. Sort 2/9, -1/7, j.
-1/7, 2/9, j
Let m = 1 + -1. Suppose -f + m = -2. Let z = 2 - f. Sort 2, z, -2 in descending order.
2, z, -2
Let l = -5 - -8. Suppose l*y = y + 10. Put -4, 0.5, y in increasing order.
-4, 0.5, y
Let f(x) = -x + 10. Let z = -6 - -4. Let u = 10 + z. Let b be f(u). Put b, -4, -1 in descending order.
b, -1, -4
Let y be (-2 + (-9)/(-6))*0. Sort 1, -4, y in decreasing order.
1, y, -4
Let q = -1 - -10. Let w = q - -2. Let b = w - 6. Sort 2, 1/4, b in descending order.
b, 2, 1/4
Let n = 1211/8 - 151. Suppose m - 2*m = 5*m. Sort -0.4, m, n in descending order.
n, m, -0.4
Let y = 1.35 + -1.3. Let u = 0.35 + y. Sort -3, -0.04, u.
-3, -0.04, u
Suppose -5*h + 3*n = 2, -5*h + 0*n = -5*n. Let a(o) = o + 5. Let w be a(-7). Let k = h + w. Sort -2, k, 0 in increasing order.
k, -2, 0
Let x = -0.024 + -0.076. Sort 1/2, 2/5, x, -1.
-1, x, 2/5, 1/2
Let l be (16/72 + 31/(-18))/(-3). Sort -4, -2, -3, l.
-4, -3, -2, l
Suppose a = 2*a - 3. Suppose -4 = i, -2*i - 4 = 4*h + a*i. Let r be ((-42)/(-28))/((-2)/(-4)). Sort h, -3, r.
-3, r, h
Let x = -3.3 + 1.3. Let h = -4.4 + 0.4. Sort h, -0.2, x in descending order.
-0.2, x, h
Let u(s) = s**2 + 5*s + 5. Let x be u(-4). Sort 4, x, -3.
-3, x, 4
Let h be -4*(-6)/(-4)*1. Let i(b) = -b**2 - 5*b + 7. Let q be i(h). Let u be (3/(-27))/(2/3). Sort 0.1, u, q in descending order.
q, 0.1, u
Let q be -2 - -6 - (-3 + 2). Let x be 52/(-8) - 1/2. Let d(r) = r + 5. Let k be d(x). Sort k, q, -4 in descending order.
q, k, -4
Let s(o) = o**2 + 11*o - 6. Let v be s(-12). Sort -2/17, 3, v.
-2/17, 3, v
Suppose 2*w + 3*w = 5*z + 25, -5*w = 3*z + 7. Let q(v) = -v**2 + 13*v - 1. Let j be q(13). Put w, j, -3 in ascending order.
-3, j, w
Let z(b) = 2*b. Let x be z(1). Put 0, x, 4, 6 in descending order.
6, 4, x, 0
Suppose 3*q = -3*q + 18. Sort 2, -5, -1, q in ascending order.
-5, -1, 2, q
Let v = -8 + 9. Sort 2/23, -2/11, v in decreasing order.
v, 2/23, -2/11
Let q be ((-4)/6)/((-2)/3). Let s be (0 - -1)*1/q. Put -2, s, 3 in decreasing order.
3, s, -2
Let t = 0 + -0.4. Let b = 12/89 - -22/1157. Let q = 1955/9 + -217. Put b, t, q in ascending order.
t, b, q
Let a(w) = w + 2. Let z be a(-2). Suppose 0 = 5*d - 4*d + 2. Put 2, z, d in increasing order.
d, z, 2
Suppose -10*t = -12*t + 12. Sort -1/9, 0, t, 1/2 in descending order.
t, 1/2, 0, -1/9
Suppose -4*u + 40 = 5*t - 5*u, 2*t + 7 = 5*u. Let y = -14 + t. Sort y, -3, -2.
y, -3, -2
Let f be (30/25)/(6/(-20)). Let w = f + 14/5. Let a = 6.7 + -7. Put 2/5, a, w in ascending order.
w, a, 2/5
Let q(s) = 4*s + 22. Let v be q(-5). Put 0.3, v, 1 in descending order.
v, 1, 0.3
Suppose 13 = -5*r - 7. Put 1, 5, r in increasing order.
r, 1, 5
Let o be -1 - (1 + (-56 - -2)). Suppose -5*r - 34 = -3*t - 6, -5*r = 3*t + o. Sort r, -1, -2.
r, -2, -1
Let j be (-2)/4 - 15/(-30). Put 2, 4, j in descending order.
4, 2, j
Let o(n) = -n + 2. Let w be o(2). Suppose w = 5*j + 4*s + 30, 5*j + 5*s + 35 = -0*s. Let g = -35 + 30. Put 2, g, j in decreasing order.
2, j, g
Let a = -17 - -12. Suppose -4*t - 3 = -3*t. Sort a, t, 2 in ascending order.
a, t, 2
Let c = 32 + -48. Sort 0.3, c, -3/8.
c, -3/8, 0.3
Let n = 1 - 1. Let g = -13.75 + -0.25. Let d = 10 + g. Put 0.4, d, n in decreasing order.
0.4, n, d
Let n = 5 - 4.7. Let d = 4282/17 - 252. Let b = 2.4 - 2.2. Sort n, d, b.
d, b, n
Let l(x) = x**2 + 3*x - 2. Let j be l(-3). Suppose -7*s + 9*s + z - 11 = 0, -z + 3 = 0. Sort -3, j, s in increasing order.
-3, j, s
Let n = 7 - 7.03. Let h = 3.042 + 0.928. Let v = h - n. Put -0.1, 0.5, v in increasing order.
-0.1, 0.5, v
Suppose -d - c + 5 = -2, -c + 1 = -d. Let z = -471/4 + 8955/76. Let y = z + -47/114. Put d, y, 2 in descending order.
d, 2, y
Let t = 7.4 + -7.7. Put 0.3, -5/4, -2, t in increasing order.
-2, -5/4, t, 0.3
Suppose -2 = 3*s - 11. Sort 1, -0.3, s, 2/15 in decreasing order.
s, 1, 2/15, -0.3
Let d = 0 + -5. Sort -1, -3.1, d in descending order.
-1, -3.1, d
Let v = 6.7 + -7. Let z be (-1 - 2)*(-1 + (-2)/(-1)). Sort 0.5, v, z.
z, v, 0.5
Let t be ((-1)/1)/(-3 + 4). Let w be 1 - ((-1)/t - 0). Let v be 3 - 4 - (w + 2). Sort 1, v, -1.
v, -1, 1
Let g = 5 + -5.2. Let j = 3.2 + -0.2. Sort g, j, 0.2.
g, 0.2, j
Suppose 4*s + 12 = -5*y, 0 = -s - 3*y - y - 14. Let t be -1*10*2/(-4). Sort t, 4, s in decreasing order.
t, 4, s
Let i(o) = -2 + o - o + 2*o - o. Let b be i(3). Sort 2/5, b, -3.
-3, 2/5, b
Let p be (-6 + -2)*1/14. Sort 2, -1/2, p in descending order.
2, -1/2, p
Suppose -3*z + 4*h + 1 = 0, z + 2*z + 1 = 5*h. Sort 4, z, 7.
z, 4, 7
Suppose -2*s - k - 6 = 0, 3*s + 4*k + 32 - 13 = 0. Sort s, -2, 1 in ascending order.
-2, s, 1
Let z(w) = w + 2. Let m be z(-5). Put 4, -2, m in ascending order.
m, -2, 4
Let x = -9 - -23. Let w = 11 - 2. Let t = x - w. Sort -0.2, t, 4/3 in descending order.
t, 4/3, -0.2
Suppose 0 = -4*x - 6*r + 2*r, 0 = 3*x + 5*r - 4. Sort x, -2/11, -0.1 in increasing order.
x, -2/11, -0.1
Suppose 2 = -3*t - 1. Let g = 76/11 + -347/55. Put g, -2/9, t in ascending order.
t, -2/9, g
Let o(l) = -2*l**2 - 5*l - 3. Let q be o(-2). Suppose 0*p + 2*p + 11 = 5*y, 4*p = 5*y - 7. Put -2, q, p in ascending order.
-2, q, p
Suppose 3*b + 3 = -15. Let c = b - -11. Sort -1, 3/4, c in increasing order.
-1, 3/4, c
Suppose 0 = 2*y - 3*q - 47, 0 = -2*y - 0*q - 2*q + 22. Suppose 4*l - y = -0*l. Suppose -6*n = 86 - 56. Sort l, n, 0 in descending order.
l, 0, n
Suppose 0 = 5*u - 4*j + 13, 2*u - 3*j - 5 = 2*j. Put u, -6, 3 in decreasing order.
3, u, -6
Let j = 0.08 - 0. Let g = -0.48 + j. Put -5, 0.1, g in decreasing order.
0.1, g, -5
Let z = -11 + 3. Let c(q) = -q**2 - 9*q - 7. Let p be c(z). Suppose 0*y - 2*y = 0. Sort p, -1, y in descending order.
p, y, -1
Let z = -134 + 134. Put z, -2/7, 2 in ascending order.
-2/7, z, 2
Let b be 5/(-4)*44/(-11). Put 4, b, -2 in increasing order.
-2, 4, b
Let p = -7 + 7.1. Let s = -0.4 + p. Sort -4, -5, s in descending order.
s, -4, -5
Let y = -28 + 360/13. Let z = 5/26 - y. Put z, -2/13, 4 in decreasing order.
4, z, -2/13
Suppose 4 = 4*s - 4*n + 20, 20 = -5*s - 4*n. Put 3, s, -3 in descending order.
3, -3, s
Let x be -1*(1*-4 - -1). Sort 1, -5, x.
-5, 1, x
Let p(a) = -3*a - 15. Let f be p(-6). Suppose 2*r = -2*g + g + 5, -3*r + 3 = f*g. Sort 0, 8, g in decreasing order.
8, 0, g
Let n(b) = b + 10. Let x be n(-13). Let q be (5 - -1) + -5 + 4. Let c(o) = o**3 - 3*o**2 - 1. Let d be c(3). Put d, x, q in increasing order.
x, d, q
Let o be 24/(-9)*(-3)/(-2). Let i = o - -7. Sort -5, -1, i in decreasing order.
i, -1, -5
Let g(m) = m - 7. Let l be g(7). Suppose l = -0*u + 2*u - 3*y - 28, 5*u - 3*y = 61. Sort -3, u, 3 in descending order.
u, 3, -3
Suppose 0 = -5*t