 in decreasing order.
d, u, -2
Suppose 2 + 0 = -2*c. Suppose -2*z = z. Sort -3, c, z in descending order.
z, c, -3
Let h be 4 - (-2 - (0 + -1)). Suppose -2*g + 5*z = -31, 0*g + 3 = -4*g - 3*z. Suppose 0 = g*t - 4*q - 24, -5*t + 2*q = 3 - 29. Sort h, 2, t.
2, t, h
Let l = -0.4 - 0. Let k = -3.2 + 3.1. Sort k, -2/3, l in increasing order.
-2/3, l, k
Let v = 10 - 7. Sort -4, 2, -5, v.
-5, -4, 2, v
Let p be (2/(-8))/((-45)/44124). Let a = 245 - p. Let f = 1/4 - -1/4. Sort 0, f, a in decreasing order.
f, 0, a
Let i(u) = -u + 4. Let d be i(-6). Let t be (d/25)/((-1)/10). Sort t, -5, 1 in ascending order.
-5, t, 1
Let o = -22 + 22. Suppose l - 6*l - 25 = o. Let m = 0.2 - 1.2. Sort 2/7, l, m in decreasing order.
2/7, m, l
Let v = -0.03 - -0.53. Sort 2/3, -2, v in descending order.
2/3, v, -2
Suppose 4*h - 6 - 2 = 0. Let p be (-4)/((-9)/3 + 2). Let a be (-6)/p*24/9. Sort -1, h, a.
a, -1, h
Let d be 18/(-10) + (3 - 2). Let g = 1.9 + -2. Let a = 0.6 + g. Put d, 0, a in descending order.
a, 0, d
Suppose 0 = -s + 3*s - 8. Suppose -1 = -5*p - 6. Sort s, 5, p in decreasing order.
5, s, p
Suppose 2 = 2*y + 2*g, -5*y + 9 = -4*g - 23. Let b = 17 - 8. Suppose -s = -4*s - b. Sort -4, s, y in descending order.
y, s, -4
Let h = -8 - -9. Let y = 4 - h. Let s = -1 + -2. Sort 0.1, y, s in decreasing order.
y, 0.1, s
Let b = -0.3 + 0.2. Let m = 14 + -15.9. Let o = m + b. Put -0.4, o, 1/6 in decreasing order.
1/6, -0.4, o
Let f = 2 - -1. Let q be 1*-6*4/(-84). Put q, f, 3/4 in ascending order.
q, 3/4, f
Let s = -64 - -63. Put 3, 10, s, 0 in ascending order.
s, 0, 3, 10
Suppose 3*i - 26 = 4*o, 9 - 3 = -2*o - 2*i. Let t(k) = -k**3 - 4*k**2 + k. Let x be t(-4). Sort 3, x, o in descending order.
3, x, o
Let k(b) be the second derivative of b**4/12 - 7*b**3/6 + b**2 + b. Let r be k(7). Suppose -r*g = -4 - 6. Put 1, -3, g in descending order.
g, 1, -3
Let h(f) = -f**3 - 6*f**2 + f + 7. Let o = 6 + -12. Let s be h(o). Sort s, 5, 4 in descending order.
5, 4, s
Let t = 3.9 - 4. Put 2, t, 0.4 in decreasing order.
2, 0.4, t
Let g = 0 - -0.1. Let u = 2.01 + -0.01. Sort -1/2, u, g in descending order.
u, g, -1/2
Let p = -29 - -205/7. Sort p, 5, -1 in ascending order.
-1, p, 5
Suppose -27 = -3*t + 3*s - s, -t + 9 = -2*s. Let u be ((-6)/t)/(4/(-3)). Sort u, 2, -5 in decreasing order.
2, u, -5
Let q = 20 - 21. Sort q, -4, -3 in ascending order.
-4, -3, q
Let d = 26 - 18. Let x = d - 8.4. Put -1, x, 2/7 in decreasing order.
2/7, x, -1
Suppose 4*a + 0 = -8. Suppose 3*j - 24 = -3*p, 10 = 2*p + 2*j - 6*j. Suppose 0 = 2*g + 2, -b - 5 = -3*g + p*g. Put a, 2, b in decreasing order.
2, b, a
Let x = 2 - 1. Let u(h) = 4*h**3 + 2*h - 1. Let b be u(x). Sort -2/9, b, -0.3 in descending order.
b, -2/9, -0.3
Suppose 2*n - 4*k = -22, 2*k = 4*k - 2. Sort n, 3, -5.
n, -5, 3
Let v = 80 - 80. Put v, -0.1, -34 in decreasing order.
v, -0.1, -34
Suppose -3*o + 20 = -7. Suppose -2*l = -1 - 1. Sort o, 2, l in decreasing order.
o, 2, l
Let i = -4/21 - -41/105. Let g be (1/(-2))/(143/44 - 5). Put 5, i, g in decreasing order.
5, g, i
Let p(a) = 4*a - 4. Let w be p(3). Let l = -6 + w. Sort l, -4, -3 in descending order.
l, -3, -4
Let b be 1*(-8)/12 - 14/(-3). Sort -12, -3, b.
-12, -3, b
Suppose 2 + 2 = q. Let w = 3 - 6. Let s = w + 0. Put -0.2, s, q in ascending order.
s, -0.2, q
Let i = 1448 - 2961/2. Let a = -32 - i. Let t = 4.7 - 5. Put a, -0.5, t in descending order.
a, t, -0.5
Let z(o) = -o**2 - 14*o - 21. Let u be z(-12). Sort 5, -2, u in decreasing order.
5, u, -2
Let n = -0.16 - 11.84. Let p = 7 + n. Let w = 11 + -6. Sort p, 1, w in decreasing order.
w, 1, p
Let a(n) = n**3 + 3*n**2 - 5*n + 2. Let x be a(-4). Suppose 2 = -c + x. Suppose -3*q = -3*w - 8*q + 9, -4*q - 3 = -w. Sort w, c, -3.
-3, w, c
Suppose 21*s = 96 - 159. Let u(x) = 4*x**3 + x + 1. Let i be u(-1). Sort -2, i, s in descending order.
-2, s, i
Let u be 10/6 - 4/6. Let j be 3 - (u + 4 + -3). Put -1, j, 5 in increasing order.
-1, j, 5
Let k(r) = r**2 - 2*r - 4. Let f be k(3). Let d be 1*(0 + f) + 0. Put d, 1, -3 in increasing order.
-3, d, 1
Suppose 0 = 2*w - 5*c - 12, 0 = w - c - 3 - 3. Let t = w + -7. Let r be (-4)/(-6)*6/(-1). Sort -5, t, r.
-5, r, t
Let u = -1 - -1. Put -6, -3/2, u in increasing order.
-6, -3/2, u
Let u = 24.87 - 25. Let m = u - 0.27. Sort 0.5, m, -1 in decreasing order.
0.5, m, -1
Suppose 0 = -z + 2*z + x - 4, 5*z - 22 = -3*x. Suppose c - 75 = -24*c. Sort c, z, -5 in decreasing order.
z, c, -5
Let r = 10 + -7. Sort -2, r, 6.
-2, r, 6
Let l = 3 + -3. Suppose 2*r - 6*r = l. Put r, 1, 2 in decreasing order.
2, 1, r
Let q = 0.25 - 0.37. Put q, 0, -4 in ascending order.
-4, q, 0
Suppose 5*r - r + 12 = 0. Let j = -13 - -13.05. Let n = 0.35 + j. Sort r, n, 0.2.
r, 0.2, n
Let w = -10 + 7. Let i be 78/18 + 1/w. Let h = 3 - i. Sort h, -3, 1 in increasing order.
-3, h, 1
Suppose -7*w + 6*w + 3 = 0. Sort 0, 13, w in ascending order.
0, w, 13
Let r be 2 - (-6 + 5 - 16/(-4)). Let q(i) = 2*i**2 + 2*i**2 - 3 - 5*i**2 + i. Let g be q(0). Sort r, g, -2 in descending order.
r, -2, g
Let b = -12.6 + 16.6. Put 0.2, 0, 3, b in ascending order.
0, 0.2, 3, b
Let y(w) = -w - 1. Let c be y(-6). Put -4, 2, c in decreasing order.
c, 2, -4
Let g = -87.9 + 88. Put g, -4/3, 4 in increasing order.
-4/3, g, 4
Suppose -5*x - 2*s + 3*s + 7 = 0, 2*x - s = 1. Suppose 0 = -x*n + 4*c - 4, -n + 4*c = -0*c. Put 3, n, -3 in decreasing order.
3, -3, n
Let o = -1 - -4. Put o, -6, 5 in descending order.
5, o, -6
Let v be 48/55*(-60)/27. Let n = v + 14/11. Put n, 1/4, -0.5 in decreasing order.
1/4, -0.5, n
Let n = 11.3 + 2.7. Let i = n - 10. Let y = 161 + -1447/9. Sort y, -3, i in descending order.
i, y, -3
Suppose -t - 6*j + 11 = -4*j, 0 = -3*t + j + 12. Put t, -5, -3 in decreasing order.
t, -3, -5
Suppose j + 5*n = -3*j + 19, 3*j + 5*n = 18. Let y = j - -1. Let u be (-2 - (-2)/y)*-2. Sort -4, u, -2 in decreasing order.
u, -2, -4
Suppose 5*l = 3 + 7. Let d be (-1 - -2)*(3 - -1). Suppose -x + 4*r + 9 = 0, d*x + 5*r = -1 + 16. Sort x, -5, l in ascending order.
-5, l, x
Let x be (-2 - 1) + (-3)/3. Let m be 6/x*208/(-6). Let c = m - 158/3. Sort 2, c, -5 in descending order.
2, c, -5
Let w(a) = 5*a**3 - a**2 + 2*a - 1. Let x be w(1). Let b(p) = p**2 - 2*p - 6. Let q be b(5). Suppose -x*d = -q - 11. Put 1, 0, d in decreasing order.
d, 1, 0
Let l = -5.03 - -5. Let f = -1.03 - l. Sort -3, f, 2/11.
-3, f, 2/11
Let x = -99 + 98.7. Sort 2/13, x, 36, -3 in increasing order.
-3, x, 2/13, 36
Suppose -y - 5 = 3*k, 4*y - 5 = 5*y. Sort 12, 2, k in descending order.
12, 2, k
Let c = -4 + 2. Let i = -2.5 - c. Put -0.3, -4, i in ascending order.
-4, i, -0.3
Let i = -2 + 1.9. Let p = i + 0.5. Let t be 4/(-3) + 1 - 6/(-18). Put p, -5, t in ascending order.
-5, t, p
Let x be (-2)/(3 - 52/20). Let k = 2/7 + -17/35. Sort k, x, -2/9 in decreasing order.
k, -2/9, x
Suppose 0*s + 2*s = 8. Suppose -s*u = -0*u. Put -5, u, 4 in descending order.
4, u, -5
Let x(g) = -g**3 + 6*g**2 + g - 1. Let q be x(6). Suppose 3*p - 2*i - 16 = -0, -10 = q*i. Sort -2, p, 0 in descending order.
p, 0, -2
Let k be -1*((-1 - 0) + -6). Suppose 5*r - i = -6*i, -r + 3*i + 20 = 0. Suppose -3*v - v - n = 15, -r*n - k = 3*v. Put -3, 4, v in increasing order.
v, -3, 4
Let h be 5 - 4 - (-9)/(-4). Let a = 24 + -22. Put 2/13, h, a in increasing order.
h, 2/13, a
Let f = -26 + 22. Sort f, 1/7, 1 in descending order.
1, 1/7, f
Suppose 4*l = 3*l - 3. Let k = 259 - 255. Sort -1, k, l.
l, -1, k
Let j be 20/75*(-10)/(-4). Let r = 0.3 - 0.4. Let s = r - 0.9. Sort j, 5, s in decreasing order.
5, j, s
Let s be 5/(-1) - (-18)/6. Sort -4, 3, s.
-4, s, 3
Let f(m) = -2*m**3 - 3*m**2 + 1. Let s be f(-2). Sort 2, -10, s in decreasing order.
s, 2, -10
Suppose 0*s + 2*s - 4 = 0. Sort -3, -2, s, 0.
-3, -2, 0, s
Let j = 2 + -3. Let k = 5 + j. Let d = k - 3.9. Put d, 2, -5 in descending order.
2, d, -5
Suppose j = -j + 32. Suppose 0*d - j = 4*d. Put d, -2, -5 in ascending order.
-5, d, -2
Let y be (-6)/(-1)*(-5)/10. Sort -1, -5, y in ascending order.
-5, y, -1
Let u = 3 - 1. Let p(a) = a + 3. Let q be p(-7). Suppose -8 = j - 3. Put u, j, q in decreasing order.
u, q, j
Let y(v) = v**3 + 3*v**2 + 2*v + 1. Let s be y(-2). Let k(a) = 3*a**3 + 2*a**2 - a. Let m be k(s). Sort -4, m, 0 in increasing order.
-4, 0, m
Let a be (3 + (-4)/(-220)*-163)*-5