 -1 in decreasing order.
6, -1, a
Let m be 3 - 7/(-4)*(0 + -1). Put -1/2, m, -2/3, -1/4 in descending order.
m, -1/4, -1/2, -2/3
Let o(z) = 5*z**2 + z. Let f be o(-1). Suppose i = -f + 2. Sort -4, i, -1 in increasing order.
-4, i, -1
Suppose 1 + 4 = p. Sort p, -7, 0.4 in ascending order.
-7, 0.4, p
Let o = -6 + 9. Let b be 2 - (0 - (-8)/o). Let l be 45/(-54)*(-6)/(-20). Sort b, l, -0.5.
b, -0.5, l
Suppose v - 10 = 3*t, 22 = 6*v - v - t. Sort v, -2, 0 in decreasing order.
v, 0, -2
Let g = 636917/12954 - 2/2159. Let c = g - 49. Sort -5, c, 3 in decreasing order.
3, c, -5
Let u(d) = -d**2 + 4*d - 2. Let a be u(3). Suppose 2*q - a = 7. Suppose 4*i + q = -3*k - 0, 0 = i + 2*k + 6. Sort 0, i, 4 in descending order.
4, i, 0
Let v = 2.4 - 2.4. Sort v, -4, 4 in descending order.
4, v, -4
Let y(q) = -2*q + 3. Suppose -3 - 3 = -3*i. Let g be y(i). Put 4, g, -5 in ascending order.
-5, g, 4
Suppose d = 0, -2 + 9 = k - 5*d. Let a = 4 - k. Sort a, -4, -5 in increasing order.
-5, -4, a
Let v = 2.28 - 2. Let y = 0.02 + v. Suppose -5*n = -10*n. Sort y, -2, n in descending order.
y, n, -2
Let s = -7.4 - -7. Put 5/4, 4, s in increasing order.
s, 5/4, 4
Let o(l) = -l**3 - 2*l**2 - 3*l - 2. Let b be o(-2). Suppose 33*u = 34*u + 5. Put u, -3, b in decreasing order.
b, -3, u
Let t(c) = 5*c + 205. Let y be t(-41). Let w be ((-4)/(-10))/(2/(-10)). Sort 3, w, y in descending order.
3, y, w
Let q be (4/80)/(3/12). Put q, -5, -1/3, 0.1 in descending order.
q, 0.1, -1/3, -5
Let a be ((-12)/(-9))/(1/3). Let n be (-2)/a - (-33)/6. Suppose -o = -3*k + 8*k + 25, 2*o = k + n. Sort -2, k, -3 in ascending order.
k, -3, -2
Let q = 5 + -4. Let s = q - 0. Put -2, s, -0.2 in ascending order.
-2, -0.2, s
Let f = 0.03 + -0.63. Let n = -0.9 - f. Put 2, n, -3/2 in descending order.
2, n, -3/2
Let k = 24 - 17. Let o = -4 + k. Suppose -o*t = t. Sort t, -2, 4 in decreasing order.
4, t, -2
Let o = -0.57 - -0.77. Put -0.18, o, 5 in descending order.
5, o, -0.18
Let r(i) = -i**3 - 3*i**2 - 2. Let b be r(-3). Let y be (-5)/(-3 - b - 0). Let h = 3 - 1. Put h, 4, y in increasing order.
h, 4, y
Let b = 82 + -84. Put -0.5, -6, 0.1, b in descending order.
0.1, -0.5, b, -6
Suppose -3*t + t + 2 = 0. Suppose 10*h + 14 = -36. Sort -0.1, t, h in descending order.
t, -0.1, h
Let d(n) = n**3 + 3*n**2 - 3*n. Let r be d(-4). Put 3, r, -2 in ascending order.
r, -2, 3
Let r = -8 - -3. Let t be (0 - (-3)/6)*-2. Sort t, -4, r.
r, -4, t
Let n = 119/5 + -24. Let d = 14 + -10. Let b be 3/(-3)*1/(-4). Sort n, b, d.
n, b, d
Let t(f) = f**3 + 4*f**2 - 5*f + 4. Let w be t(-5). Let a(k) = k**3 - 5*k**2 + 3*k. Let x be a(w). Sort x, 0.4, 0.1 in descending order.
0.4, 0.1, x
Let l(n) = 2*n**3 + 3*n**2 - n - 2. Let i be l(-2). Let o = -3 - i. Put o, 5, -5 in decreasing order.
5, o, -5
Let j = -1 - -1.2. Let n = 1.17 + -1.27. Sort n, -4, j in decreasing order.
j, n, -4
Let r(o) = 4*o - 6. Let z be r(3). Let s be 4/(-10) + z/(-10). Put s, 1, 3 in decreasing order.
3, 1, s
Let x(c) = 3*c - 2. Let y be x(2). Suppose f + 5*q = -5, 7*f = 3*f + q + 1. Sort y, -3, f in ascending order.
-3, f, y
Suppose 0 = -5*g + 5*b + 800, 0 = 3*g + 2*b - 228 - 252. Suppose 2*j - 6*j = g. Let n be (-10)/(-12)*12/j. Put 4, n, 0.1 in descending order.
4, 0.1, n
Let x be (6/(-40))/(12/(-10)). Let n = -7 - -8. Sort x, 4, n in increasing order.
x, n, 4
Suppose 0 = -6*w + 9*w. Sort w, -3, -2 in descending order.
w, -2, -3
Suppose 3*w + w = 5*d - 37, -4*d = -5*w - 35. Put -5, d, 2, -7 in descending order.
d, 2, -5, -7
Suppose 4*k - 3*j + 24 = 0, -4*k - 2*j = -0*j + 4. Let v(h) = -h - 3. Let r be v(k). Sort r, -2, -6 in descending order.
r, -2, -6
Let b = -146854/1701 - -1/1701. Let d = -87 - b. Sort -0.1, -1/4, d.
d, -1/4, -0.1
Let c = -1.7 - -1. Let j = -2.7 - c. Put 2/9, -1, j in decreasing order.
2/9, -1, j
Let i be (4/10)/(1/(-20)). Put i, 0, -5 in ascending order.
i, -5, 0
Let a be (4 - -2)/(3/2). Let y = -51/301 - 5/43. Put a, y, -4 in decreasing order.
a, y, -4
Let v(c) = -c - 2. Let w be v(-2). Suppose k - 5*k - 20 = w. Let n be ((-6)/(-27))/((-2)/(-18)). Put 1, n, k in descending order.
n, 1, k
Let c be (-12)/154*(-483)/12. Let v = 18/11 - c. Sort v, 2, -0.3 in decreasing order.
2, -0.3, v
Suppose 0 = -q + 5*n + 15, -3 - 8 = -3*q - 2*n. Suppose q*l - 2*c + 399 + 118 = 0, -3*c + 106 = -l. Let w = l + 929/9. Sort w, -4, -3/2.
-4, -3/2, w
Let d = 0.2 - -0.4. Let s = d - 0.2. Let w = 10 + -5. Put 0.5, w, s in descending order.
w, 0.5, s
Suppose -3*z = -4*c + 14, 0*c - 5*z + 5 = -c. Suppose 4*t - c - 1 = 2*x, -t + 5*x = 12. Let g = 6 + -5. Sort 0, t, g in ascending order.
0, g, t
Suppose 3*w = -w - 20. Sort -1, 4, w.
w, -1, 4
Let k = -10 - -11. Put k, 0, 3 in decreasing order.
3, k, 0
Suppose 0 = 5*j - 5*g - 30, 8 = j - 3*g - 0*g. Sort -3, -1, j.
-3, -1, j
Let s = -4.95 + -0.05. Let t = s - -9. Let w = 8 - 13. Put -0.5, w, t in ascending order.
w, -0.5, t
Let f(u) = 3*u + 17. Let o = -19 - -12. Let g be f(o). Put g, -3, 3 in ascending order.
g, -3, 3
Let w = 5.4 - 5.87. Let v = w + 0.17. Let x = -5/38 + 177/190. Put x, v, 1/3 in decreasing order.
x, 1/3, v
Let u = 2.1 + -2. Let x = u - -0.1. Let v = x - 0.3. Put 3, v, -5 in ascending order.
-5, v, 3
Suppose -4*c = -8*c. Suppose 10 = 5*a + 25, 3*u = -a + 6. Sort u, -0.2, c in descending order.
u, c, -0.2
Let i = 21/4 + -5. Put i, -2/7, 0.3 in ascending order.
-2/7, i, 0.3
Let l = -3/20 + -1/60. Let m = 7 + -8. Let b = m + 1.5. Sort b, 5, l in descending order.
5, b, l
Let i = 14 - 19. Sort i, -1, -6 in descending order.
-1, i, -6
Let a be 15/(-6) + 3 - (0 + 1). Sort a, 1/4, 1/2, -3 in descending order.
1/2, 1/4, a, -3
Let x = 0.04 + -5.04. Let c = x + 5.4. Let m = 9 + -13. Put m, c, 0 in descending order.
c, 0, m
Let a = -4.5 + 5. Let h = -4/35 - 58/105. Put a, -2, h in decreasing order.
a, h, -2
Let t = 0.13 - -0.37. Let d = 0.2 + -1.2. Sort d, t, -0.5 in descending order.
t, -0.5, d
Let o(s) = s**2 + 19*s + 20. Let a be o(-18). Let f(u) = -u**2 + 8*u - 9. Let q be f(6). Let k(g) = -5*g - 1. Let y be k(-1). Sort a, y, q.
a, q, y
Let k = -0.2 - -0.3. Let q(x) = -x**3 - 3*x**2 - 5*x - 4. Let m be q(-2). Put k, -4/5, m in ascending order.
-4/5, k, m
Let q = 5 + -2. Let m(r) = r**2 - 4. Let j be m(q). Let b(n) = n - 10. Let w be b(j). Put -3, 4, w in decreasing order.
4, -3, w
Suppose -w - 2*c = 5, -3*c = 4*w - 2*c - 8. Put w, -2, 0 in descending order.
w, 0, -2
Let m(n) = n**2 - 3*n + 5. Let d be m(2). Suppose 3*k - 4*k = 4. Sort -1, k, d.
k, -1, d
Let p(h) = h + 9. Let k = -5 - 0. Let x be p(k). Sort -3, 4/7, x in increasing order.
-3, 4/7, x
Let d = 42 - 41.5. Sort d, 4, 3 in increasing order.
d, 3, 4
Let f(p) = -p**2 - 7*p - 5. Let k be f(-6). Suppose 3*y - 4 = 5. Suppose -6*m = m + 21. Put y, k, m in decreasing order.
y, k, m
Let o be (2 - 3)*(-1)/(-7). Suppose -4*r = -12*r + 32. Sort -1, r, o in decreasing order.
r, o, -1
Let k = 132 + -130. Let p = -0.3 - 0.2. Let s = -0.01 - -0.41. Put p, s, k in decreasing order.
k, s, p
Let j(w) = -w + 2. Let q be j(-2). Suppose 5*s + 0*i + q*i = -6, 2*s + 4*i = 0. Sort s, -4, 1.
-4, s, 1
Suppose 0 = 2*z + z - 3, 4*b = -z - 15. Let a be 0 - ((-45)/7 - -3). Let y = 141/35 - a. Sort b, 1/4, y in descending order.
y, 1/4, b
Suppose 20 = -5*r + r. Let p be -2*2/4 - -1. Put r, 5, p in decreasing order.
5, p, r
Let o be 6*(-2)/(-4) - -3. Suppose 6 + o = -4*b. Put 2, -5, b in increasing order.
-5, b, 2
Let q = 3 + 1. Put q, -2, 0 in decreasing order.
q, 0, -2
Let v be ((-2)/4)/((-15)/(-10))*3. Suppose -2*a + a = -5*t - 20, 5*t + 70 = 3*a. Suppose 0 = 2*l - 7*l + a. Sort v, l, 4 in increasing order.
v, 4, l
Let v = -4 - -6. Suppose -4 = -2*i - v*q - 0*q, 2*i = 2*q - 4. Let l = 1 - 4. Put l, i, 1 in increasing order.
l, i, 1
Let t be 22/(-99) + (-2)/(-9). Suppose -3 = a - 3*r, 2*a - 3 = 5*r - 9. Let s = -1 - a. Put 3, t, s in ascending order.
t, s, 3
Let z be (-12)/(-36) - 14/(-3). Put 3, 6, z in descending order.
6, z, 3
Let r(x) = -x**3 + 2*x**2 + 9*x - 4. Let w be r(4). Put 5, -2, -9, w in increasing order.
-9, -2, w, 5
Let k be ((-1 + 0)*(-2 + 2))/1. Sort -4, -3, k in descending order.
k, -3, -4
Suppose -5*h - 5*f + 35 = 0, 0 = -2*h - 5*f + 34 - 5. Let w(k) = -4*k - 3. Let c be w(-2). Suppose -y - c = -0. Put 3, h, y in descending order.
3, h, y
Let y = -60 + 