 t, -2, -0.2 in descending order.
t, -0.2, -2
Let b = 0.79 - 0.7. Let x = -3.09 + b. Sort -4, -0.1, x in ascending order.
-4, x, -0.1
Let l be 3 + (2 - (-74)/(-14)). Suppose -6 = -6*k + 4*k - 4*f, 5*k - 24 = -f. Suppose 0 = -5*i + 20, 6*n - 3*n + k*i = 35. Sort n, 4, l in decreasing order.
n, 4, l
Let g = 2 + -3. Let i(p) = -7*p + 46. Let m be i(6). Sort g, 3, m in decreasing order.
m, 3, g
Let s be (2/(-14)*2)/(99/(-77)). Put s, 4, 1 in decreasing order.
4, 1, s
Let z(b) = b**3 - 6*b**2 - 9*b + 5. Let g be z(7). Sort -5, 2, g.
g, -5, 2
Let w be (-17)/2 - (9/(-6) + 0). Let v = -2 - -2.4. Sort -1/2, v, w in increasing order.
w, -1/2, v
Let w(g) = -8*g + 1. Let n be w(-1). Let s be 1/((-12)/n)*-1. Let v be (-2)/10*5/6. Sort s, -1, v in decreasing order.
s, v, -1
Let z be 2 - (-3 + 0 + 2). Let i be -2*((-12)/(-2))/(-3). Sort -4, i, z.
-4, z, i
Suppose 2*f + 3 = k, -f = -3*k - 3 + 2. Let a be (3 - -1) + 1 + k. Put -5, 1, a in increasing order.
-5, 1, a
Let w = 0.358 + 0.012. Let h = w + 0.03. Let a = 0.9 - h. Sort 3, -1/2, a in descending order.
3, a, -1/2
Let t(v) = v**3 - v**2 - v - 2. Let y be t(2). Let k be (y*(-2)/(-4))/2. Let l = -2.8 + 3. Put l, k, 0.1 in descending order.
l, 0.1, k
Let l be 0/2 - 1/4. Let d be 2 + (-1)/(18/32). Put d, l, 2 in increasing order.
l, d, 2
Let r(v) = 4*v + 11 - 105*v**2 + 12*v + 106*v**2. Let y be r(-15). Sort 1, 4, y in descending order.
4, 1, y
Let t be 5*(3 + -4)*5. Put t, -1, 0 in increasing order.
t, -1, 0
Let w = 21 + -18. Let z(t) = t**3 - 4*t**2 - 4*t - 4. Let q be z(5). Let n = 65/2 + -33. Put n, w, q in increasing order.
n, q, w
Let i(b) = -3*b + 2. Let j be i(-1). Sort j, 2, 1.
1, 2, j
Let b(n) = n**3 + n**2 + 4. Let v be b(-2). Put 3, 2, v in decreasing order.
3, 2, v
Let v = 0 + -3. Let s = 7 + v. Suppose -4*b = -3*y - 17, 0*b - 2*b + y = -7. Put -1, s, b in increasing order.
-1, b, s
Let v(p) = -p**3 + 4*p**2 + 10*p + 11. Let q be v(6). Put 1, -5, q, 2 in ascending order.
-5, q, 1, 2
Let j = 3 - 2. Suppose 5*n = 4 + j. Sort 2, n, 5.
n, 2, 5
Let r = 36 + -40. Put r, 0.2, -5 in descending order.
0.2, r, -5
Suppose 6 - 2 = 2*l. Suppose 0 = 5*m - n + 35 - 5, -4*n = -5*m - 45. Let j be 3 + -2 + 1 + -6. Sort j, m, l in increasing order.
m, j, l
Let x = 49/2 + -26. Let y = 3.4 + -1. Let b = 0.4 - y. Sort b, 4/7, x.
b, x, 4/7
Let n be (-5)/((-120)/9)*-2. Sort -3/2, -0.4, n in descending order.
-0.4, n, -3/2
Let x(c) = c**2 + c - 3. Let h be x(-3). Suppose 12 + 8 = -h*i + k, -5*i + 5*k = 50. Sort -1, i, 4 in increasing order.
i, -1, 4
Let f = -3.9 + 3.8. Sort 2/5, -2/5, -0.01, f in increasing order.
-2/5, f, -0.01, 2/5
Suppose 9*f + 10 = 4*f. Sort 3, f, 0, -3.
-3, f, 0, 3
Let v(f) = f**3 - 3*f**2 - 3*f + 4. Let b(q) = -q**2 + 10*q - 6. Let z be b(9). Let x be v(z). Let j = -0.32 - -0.02. Sort x, j, -1.
x, -1, j
Let j(h) = 7*h + 12*h - 13*h + 0*h**2 - h**2 + 6. Let r be j(7). Let c = -4/73 + 214/1241. Sort c, 3/4, r.
r, c, 3/4
Let b be 4/(-14) + (-24)/14. Let v = -3 + 7. Suppose -i = i - v. Sort i, b, -1 in decreasing order.
i, -1, b
Suppose -9*d + 6*d - 9 = 0. Let q be -3 + -1 + (-1 - 0). Let h be ((-2)/(-4))/((-1)/4). Sort h, d, q in increasing order.
q, d, h
Suppose o + o + 28 = 0. Let u = 1 + o. Let h = u + 8. Sort -3, h, -2 in ascending order.
h, -3, -2
Let r = 3 + -3. Suppose -10 = 4*f - 2. Sort f, r, -4 in ascending order.
-4, f, r
Let v = -2.7 + -1.5. Let z = 4 + v. Sort z, -1, -6 in increasing order.
-6, -1, z
Let c be -4 - -1*(2 + -3). Sort -4, c, 4 in ascending order.
c, -4, 4
Let j = -70 + 80. Sort j, 4, 2, 0 in descending order.
j, 4, 2, 0
Let y(b) = b**3 - 8*b**2 + b - 8. Let r be y(8). Let z(t) = -2*t + 28. Let g be z(15). Sort r, g, -5 in decreasing order.
r, g, -5
Let i = -0.1 - 18.9. Let w = i - -18. Sort -0.3, w, -4 in increasing order.
-4, w, -0.3
Let i be (-26)/(-20) - (4 + -6). Let d = i - 14/5. Put -0.4, d, 4/3 in decreasing order.
4/3, d, -0.4
Suppose 2*f + 5*k - 9 = 0, 0*k + 5*k + 3 = 4*f. Let j = -1.8 - -0.6. Let t = j + 0.2. Put t, f, 0.1 in increasing order.
t, 0.1, f
Let x(u) = u**3 + 5. Let r be x(0). Put -4, r, -1 in decreasing order.
r, -1, -4
Let m(j) = j**3 - 7*j - 5*j**2 - 4*j + 9 + 3*j. Let f be m(6). Let s = f - -6. Sort -1/5, -1/7, s in increasing order.
-1/5, -1/7, s
Let b = -0.09 + -4.91. Suppose 2 = 3*d - 5*d. Let n = 5/2 + d. Put n, b, -1/2 in descending order.
n, -1/2, b
Let b be (-21 + 17)*(-1)/((-4)/(-6)). Put 5, b, 2, 1 in decreasing order.
b, 5, 2, 1
Let j = -0.7 - -0.3. Let v be ((-36)/(-194))/((-20)/68). Let i = v - -3/97. Put i, 1/8, j in ascending order.
i, j, 1/8
Let k(p) be the first derivative of p**4/4 - p**2 + p - 5. Let a be k(2). Put 1, a, 0 in decreasing order.
a, 1, 0
Let a(i) = -i**3 + 5*i**2 + 7*i - 6. Let r be a(6). Sort r, -9, -3, -4.
-9, -4, -3, r
Let f be ((-8)/20)/((-2)/(-10)). Let j be f/8*6/(-9). Sort -2/5, -5, j.
-5, -2/5, j
Let a = -131 + 127. Let z = -4 - -9. Put a, 4, z in decreasing order.
z, 4, a
Let f be 0/(-2) - (1 - 0). Let y = -2 + f. Let c = -2 + 0. Sort -4, c, y.
-4, y, c
Let i = -4 - -4. Suppose c = -i*c. Let n = 137 - 1234/9. Sort -0.1, n, c in decreasing order.
c, -0.1, n
Let y = -0.3 + 0.1. Let q = 1.7 - 1.3. Let b = y + q. Sort -2/5, b, 3.
-2/5, b, 3
Let v = -47 - -43. Let g be ((-2)/6)/(2/(-10)). Sort g, 2, v.
v, g, 2
Let c be 60/9*(-3)/(-2). Suppose 3*v - 5 = c. Put -1, v, 0 in descending order.
v, 0, -1
Let j be 195/(-90) + 1*2. Put j, -2/11, 4/5 in increasing order.
-2/11, j, 4/5
Suppose -5*j + 4*a = -7, 2*j + 0*a - a = 1. Sort 0, 3, j in descending order.
3, 0, j
Suppose -31 + 13 = -3*t. Suppose t + 9 = 5*r. Suppose -r*l - 3 = -6*l. Sort 0, l, 4.
0, l, 4
Let z = -0.39 - -0.3. Let j = z + -0.11. Sort 5, -0.1, j.
j, -0.1, 5
Suppose -30 = 14*w - 4*w. Suppose 6 + 4 = 2*u. Suppose u*x - 5*v = 20, 0 = 4*v + 6 + 6. Put x, 4, w in descending order.
4, x, w
Let t be (2/5)/((-28)/70). Sort 2, t, 3, 1 in descending order.
3, 2, 1, t
Let o = -61 + 60. Let n be (-4)/(-6) + (-1)/(-3). Let h = n - o. Put -1, h, 0 in decreasing order.
h, 0, -1
Let s be 2/(-5)*(-45)/(-30). Put s, -2, -4/7 in increasing order.
-2, s, -4/7
Let p = 10 + -9. Let w = p - -3. Let a be 0/2 - -1 - 4. Sort w, a, -4 in decreasing order.
w, a, -4
Let c be 18/(-63)*(-92)/(-26). Let i = -6/7 - c. Sort 5, i, 0.2.
i, 0.2, 5
Let z = 0.34 - 0.04. Put 5, -2/9, 4, z in decreasing order.
5, 4, z, -2/9
Let l = -5 + 1. Let y = l - -3. Suppose -12 = -3*f - f. Put y, -3/5, f in decreasing order.
f, -3/5, y
Suppose 2*g - 4*j - 10 = 0, 4*g + 3 = 5*j + 14. Sort 7, g, -1/2 in increasing order.
g, -1/2, 7
Let v = 0.32 + -3.32. Sort v, 6, 0.4 in decreasing order.
6, 0.4, v
Suppose 0 = 4*k + x - 5, 0*k - k + 4*x = 20. Let p be (-9)/(-7) + 2/(-7). Put 2, p, k in descending order.
2, p, k
Let y be (-5 + 2)/(-3)*-5. Sort 2, 4, y in ascending order.
y, 2, 4
Suppose 1 = k - 3. Suppose 5*d - 8 = -4*f, 15 = 5*f + 4*d + 5. Suppose f*l - 1 = l. Put l, -4, k in increasing order.
-4, l, k
Let h = -0.27 - 8.73. Sort h, -3, 3 in decreasing order.
3, -3, h
Let v = 41 + -49. Let d = -0.02 - -0.32. Sort v, d, 1/5.
v, 1/5, d
Let z(o) = -o**2 - 19*o - 16. Let q be z(-18). Let m = 4 - 18. Let l be (-2)/8 + m/8. Sort q, 3, l.
l, q, 3
Suppose 8*l = 4*l + 100. Let m be (-2)/5*l/(-40). Let a = 0.2 + 1.8. Put -3, m, a in descending order.
a, m, -3
Suppose i = 4 - 0. Let r be (9/12)/(6/i). Let m be 4/(-6) - (-160)/105. Put r, 2/3, m in decreasing order.
m, 2/3, r
Suppose 4*k = 12, -d = -3*k + 8*k - 18. Let a(v) = v**3 + 7*v**2 + 4. Let w be a(-7). Suppose -w*z = -9*z. Sort z, d, -4 in decreasing order.
d, z, -4
Suppose 3*k = -2*w + 3, 3 = -3*w + 4*k + 16. Put -4, w, 0, -2 in ascending order.
-4, -2, 0, w
Let d = 0 - -2. Let z = d - 0. Let h be (-8)/4 - (-1 - 0). Put 5, z, h in decreasing order.
5, z, h
Suppose 3*j - 4*i + 7 = 0, -5 - 19 = -4*j - 3*i. Sort -33, -4, 4, j in descending order.
4, j, -4, -33
Suppose -24 = -2*c + 6*c. Sort 2, 5, 4/7, c in increasing order.
c, 4/7, 2, 5
Let y = -18 - -22. Sort 6, 2, y.
2, y, 6
Suppose x - 5*c + 12 = 0, 5*x + 5*c + 0*c = 0. Put -5, 27, x in ascending order.
-5, x, 27
Suppose 3*u = 6 - 0. Let q(g) = 3*g**2 - g + 1. Let a(p) = 16*p**2 - 4*p + 6. Let z(b) = -2*a(b) + 11*q(b). Let l be z(3). Put u, l, -4 in descending order.
u, l, -4
Suppose -112 = 4*v - 0*v. Let