t g be (8/20)/((-7)/5). Sort -4, g, 2 in descending order.
2, g, -4
Let c = 4.7 + -5. Let v = 5 - 3. Let g = -2.7 + 2.2. Sort v, g, c in decreasing order.
v, c, g
Let c be (-3 - 0) + (9 - 1). Suppose c*s = 2*s + 3*n - 18, -2*s - 4*n = 0. Sort 5, -3, s in descending order.
5, -3, s
Let v be (-24)/16 - (-3)/(12/14). Sort -0.2, -0.4, v.
-0.4, -0.2, v
Suppose 0 = -0*x + 2*x - 5*k + 10, 0 = x + 3*k + 5. Sort -3, -13, x in descending order.
-3, x, -13
Suppose 2*m = -4*q + 26, -3*q + 6 = m - 12. Put q, 9, 4 in increasing order.
4, q, 9
Let c = 17 - 14. Put c, 0.3, -0.5 in decreasing order.
c, 0.3, -0.5
Let m = -0.6 - 4.4. Sort -2/9, 1, m in ascending order.
m, -2/9, 1
Let r be 3/((27/(-12))/(-3)). Suppose -3*s = -4*s - r. Put s, 1, 2 in increasing order.
s, 1, 2
Suppose 6 - 2 = -2*q. Let k be 1 + -1 + 1 - q. Suppose -k*x = -0*x + 15. Sort 0, -3, x.
x, -3, 0
Let x = -15 - -17. Sort -1, x, -2.
-2, -1, x
Let h be (-2186)/(-3060) + 2/(-4). Let o = -2/255 - h. Put -0.4, 4, o in decreasing order.
4, o, -0.4
Suppose -45 = -3*y + 2*a, -57 - 18 = -5*y + a. Suppose 0 = -4*v + y - 3. Let x = 3 + -2. Put v, x, 0 in ascending order.
0, x, v
Let n = -242.3 + 242. Let c(t) = t**3 - 5*t**2 + 6*t - 6. Let f be c(4). Let x be 2 - (124/30 - 2). Sort x, f, n.
n, x, f
Let z = -4.2 + 4. Let r = -0.3 - -0.6. Let u = 1 + -5. Put u, r, z in descending order.
r, z, u
Suppose -3 + 2 = -h - 2*t, 3*t - 3 = -3*h. Let y be 10/(-2)*(-8)/10. Suppose -y*i = -i. Sort 4, h, i.
i, h, 4
Let v = 104/15 - 22/3. Let g be 1/((2/(-2))/5). Let t = g - -10. Put -2/7, v, t in decreasing order.
t, -2/7, v
Let f = 2 + -1. Let v = -0.4 + 0. Put v, 0.4, f in descending order.
f, 0.4, v
Let t = -9 + 13. Suppose 0 = -t*r - 0*r + 20. Put -2, 2/5, r in descending order.
r, 2/5, -2
Let s(p) = -p**2 + 9*p - 2. Let l be s(9). Sort 3, -5, l in decreasing order.
3, l, -5
Suppose -64 = -2*u - 3*a, -4*u + 2*a + 96 = -0*u. Let h be u/(-12) - 2/(-12). Sort 3, 2, h.
h, 2, 3
Let q = 129/2 - 63. Put q, 0.2, -1/2 in descending order.
q, 0.2, -1/2
Let w = -0.02 - -3.02. Let x = w - 3.2. Sort -3/4, 1/3, x in descending order.
1/3, x, -3/4
Let q = 20 + -35. Let m = -10 - q. Put -1, m, 3 in decreasing order.
m, 3, -1
Let p be (2/3)/(4/18). Suppose -2*i - 2*l - p*l = -9, 7 = 4*i - l. Let o = -3 + 7. Put i, o, -5 in ascending order.
-5, i, o
Let y = -6.4 - -1.4. Put y, -2, -2/7 in ascending order.
y, -2, -2/7
Let g be -1 + -2 - (-38)/12. Let b = -0.2 - 0. Let a = -0.1 - b. Sort a, 3, g.
a, g, 3
Let k = -31/92 - -2/23. Sort -0.1, k, -17/5 in ascending order.
-17/5, k, -0.1
Let u = -106 - -111. Suppose 16 = -3*l - l. Sort l, u, 2.
l, 2, u
Let g = -9 - -6. Let q be (5 - -1)/(12/6). Suppose 0 = -2*n - 2*t - q + 1, -5*n + 4*t - 5 = 0. Sort n, 4, g in descending order.
4, n, g
Suppose 10 = 2*a - 7*a. Let h = a + -3. Let w(g) = g + 1. Let b be w(2). Sort h, 4, b in increasing order.
h, b, 4
Suppose 3*o - 2*o = -4. Let h = -10 + 12. Sort o, 1, h.
o, 1, h
Let w = -60 + 63. Sort 5, w, 4, -4 in decreasing order.
5, 4, w, -4
Let m = -0.04 + -4.96. Let b be -1 + (-375)/(-55) + -6. Sort -2/5, m, b in ascending order.
m, -2/5, b
Suppose 10*q = 16 + 14. Put q, -3, 1, 2 in increasing order.
-3, 1, 2, q
Let m = -74 - -74.3. Put m, 3, -10 in descending order.
3, m, -10
Let a = -193286/65457 - -17/1039. Let r = -29/9 - a. Let k = -4 - -1. Put r, 5, k in ascending order.
k, r, 5
Suppose 2*u - 7*u + 10 = 0. Let b(y) = y**3 - 2*y**2 + 2. Let f be b(u). Let m be (-37)/7 + (-16)/(-56). Put f, m, 5 in increasing order.
m, f, 5
Let s(d) be the first derivative of d**3/3 - d**2 - 4*d - 3. Let w be s(4). Suppose -w*n + 13 = 3*g, -4*n - g = -7 - 0. Sort 3, n, -4 in increasing order.
-4, n, 3
Let j(w) = 11*w**2 - 3*w**3 - 7 + 2*w - 8 + 2*w**3. Let s be j(11). Let k = s - 7. Sort k, -5, 2 in decreasing order.
2, k, -5
Let s = -14 + 10. Let q = s + 1. Sort q, 0.2, 1/4 in ascending order.
q, 0.2, 1/4
Let g be (-32)/(-78) - (-8)/12. Let i = g - 153/130. Let q be (-1)/(-1)*4/16. Sort q, -0.5, i in descending order.
q, i, -0.5
Let v = 52 + -154/3. Put 3, -0.02, v in decreasing order.
3, v, -0.02
Suppose 5 + 3 = 4*g. Let a(z) = z**3 - 5*z**2 + 2*z - 7. Let d be a(5). Let x be (15/(-6))/((-1)/2). Sort d, g, x in ascending order.
g, d, x
Let p = 0.2 - 0.6. Let o(c) = c**3 - c**2 - 2*c + 1. Let d be o(3). Let b = -13 + d. Sort -0.3, b, p in ascending order.
p, -0.3, b
Suppose 0 = 3*p + i - 17, -3*p = p + i - 21. Put p, -3, 5 in decreasing order.
5, p, -3
Let h = -7 - -3. Let s(w) = -2*w**2 + 34*w + 4. Let k be s(17). Sort 1, h, k.
h, 1, k
Suppose 2*x = 5*x + 15. Sort -3, 8, x in descending order.
8, -3, x
Let m be (55/(-22))/((-3)/6). Sort m, -2, 12, 2.
-2, 2, m, 12
Let q(v) = -v**2 - v - 1. Let c be q(-2). Let w be 24/2*(-77)/(-33). Let h = -30 + w. Sort h, c, 2 in descending order.
2, h, c
Let n = 1 + -1. Let g = -4.088 + 0.158. Let p = 0.07 - g. Sort p, 0.2, n.
n, 0.2, p
Suppose 3*i = -4*h - 1, -3 = -2*i - h + 3. Let u(x) = -x**2 - 6*x + 4. Let v be u(-6). Sort -5, v, i in increasing order.
-5, v, i
Let a = 0.01 + 0.09. Sort a, 4, -1/7, -0.06 in increasing order.
-1/7, -0.06, a, 4
Suppose 0 = 3*p + m + 1, -2*p + 0*m - 9 = -m. Suppose -11*h - 105 = 10*h. Suppose y + 4*q + 10 + 13 = 0, 0 = y + 2*q + 13. Put y, h, p in decreasing order.
p, y, h
Let x = -12 + 12.3. Let o be (-3)/(-10) + 9/45. Put x, -1, o in decreasing order.
o, x, -1
Let h = 22.5 - 4.2. Let p = 18 - h. Put -4, p, 0.3 in descending order.
0.3, p, -4
Let c(h) = h**2 - 6*h - 9. Let l be c(7). Let n be l*2/(-16) + 0. Sort n, -2, -0.2 in ascending order.
-2, -0.2, n
Suppose -4*x - 5*t = -2*t - 15, -5*t = -5. Let w = 56 + -59. Sort 5, w, x in ascending order.
w, x, 5
Let n = 319/6 + -4897/90. Let m = n + 13/10. Let w = -7/36 - m. Sort 0.3, w, 1.
w, 0.3, 1
Let g = 38.4 - 38. Let m = 0.4 - 0.6. Sort g, m, 5/3 in decreasing order.
5/3, g, m
Suppose 0 = -z - 2*i - 3, 2*z + 0*i + i = -3. Put 7, z, -2 in ascending order.
-2, z, 7
Let b = -3 - -3.4. Suppose c = 2*i + 14, 2*i - 5*i - 27 = -3*c. Let p = -0.1 - 0.3. Sort c, b, p in decreasing order.
c, b, p
Let b(s) = s**3 - 12*s**2 - s + 9. Let x = -16 - -28. Let k be b(x). Sort 1/8, -0.4, k in descending order.
1/8, -0.4, k
Suppose 2*z = -2*z + 48. Suppose 3*y = -y + z. Sort y, 1, -5 in descending order.
y, 1, -5
Let u = 149/14 - 21/2. Put u, -1, 7 in descending order.
7, u, -1
Let i = 5.4 + -5. Sort 4, i, -0.1.
-0.1, i, 4
Let g = 2.4 + -4.4. Sort 3/4, 3, g, -3.
-3, g, 3/4, 3
Suppose 0 = 4*n - 5 - 7, -1665 = -4*q + 5*n. Let b be (-4)/(-14) + (-15)/q. Put b, 0, -2/11 in decreasing order.
b, 0, -2/11
Let r(p) = -p**2 + 4. Let y be r(3). Let c = 8 - 6. Suppose -5 + 4 = -v. Put y, c, v in descending order.
c, v, y
Let h = 13 + -9. Suppose -2*d - h = -0*d. Let k be -3*(24/(-9) - d). Put -0.1, -1/4, k in decreasing order.
k, -0.1, -1/4
Let r be -2*1 + (-24)/((-16)/4). Suppose 3*c - 4 = 4*j - c, -3*c = -9. Suppose -j*f - 1 = -0*f + 5*g, -3*f + 7 = -g. Put 3, f, r in descending order.
r, 3, f
Let h = -5 - -10. Sort 9, -3, h in increasing order.
-3, h, 9
Let k = 27.4 - 0.4. Let t = -28 + k. Sort -2/15, -1.2, t in decreasing order.
-2/15, t, -1.2
Let z be 1/1 - (3 - (-5 + 3)). Let w = 0 + 0. Suppose -2*v + w*v = -10. Sort v, z, -3 in descending order.
v, -3, z
Let m = -0.4 + 0. Suppose 2*d + 141 = -d. Let x = -142/3 - d. Put m, -0.3, x in descending order.
-0.3, x, m
Suppose 2*y + 5 = 2*g - g, 3*y + g = 0. Let z be (-52)/16 + 4/16. Put z, -2, y in descending order.
y, -2, z
Let i(p) = p**2 + 3*p - 1. Let g be i(-4). Suppose 2 = -g*d + 2*d. Sort -0.1, 3/7, d in increasing order.
d, -0.1, 3/7
Let l(n) = 4*n + 1. Let r be l(1). Suppose -2 = -2*q - m, -3*m - 3 - 5 = -q. Suppose 4 = -2*c, 4 = -q*x - 7*c + 2*c. Put x, r, -2 in decreasing order.
r, x, -2
Suppose 1 = -2*p + 7. Suppose -z + 3*v = -3*z + 12, -3*z = -2*v + 8. Suppose -3*n = b - 3*b, 3*n + 2*b = -12. Sort p, n, z.
n, z, p
Let m be 6/(-1)*1/(-6). Sort 4, m, 0, 5 in decreasing order.
5, 4, m, 0
Let u(f) = -f**3 + 4*f**2 - 3*f. Let j be u(3). Let q = -18 - -15. Put 1, j, q in decreasing order.
1, j, q
Let w = 4 + -2. Suppose 0 = 4*x - w - 10, -27 = -2*z - 3*x. Let b be (-2)/(-6)*(0 + z). Sort b, 0.4, 3/4.
0.4, 3/4, b
Let v(s) = s**3 + 7*s**2 + 5*s - 7. Let j be v(-6). Put 0, 3, j in descending order.
3, 0, j
Let