 Sort a, 0.3, m in descending order.
a, 0.3, m
Let k = -10 - -10.8. Let g = k + -0.3. Let d = 30 + -30. Sort d, -5, g in increasing order.
-5, d, g
Let p = -5/11 - -9/44. Sort p, -3, -2/11 in decreasing order.
-2/11, p, -3
Let x be 78/24 - 15/12. Sort -6, 5, x in increasing order.
-6, x, 5
Suppose -5*m = -10 - 0. Suppose m*i + 9 = 2*l - l, l = 5*i + 21. Let r be 19/(-10) + (-2)/(-5). Sort -3, r, i in decreasing order.
r, -3, i
Suppose 0 = 3*b + b. Suppose -5*u + 5*o - 25 = b, 3*u + 12 = 4*o - 4. Let r = 5 - 3. Sort -5, r, u in decreasing order.
r, u, -5
Let o(n) = -n**2 - 10*n - 20. Let m be o(-6). Sort m, 1, -1 in descending order.
m, 1, -1
Let i = 3 + -7. Let b(c) = c - 1. Let w be b(i). Suppose -2*z - 2*z = 16. Sort z, w, 2 in decreasing order.
2, z, w
Let b = -0.13 + 5.13. Let x = b + -4. Let o = -0.1 + 5.1. Sort 2, o, x in descending order.
o, 2, x
Let x(f) = f**3 - 3*f**2 - 3*f + 4. Let h be x(3). Let z(r) = -5*r - 33 + 3*r + 26 + r. Let p be z(h). Sort p, 5, 3 in decreasing order.
5, 3, p
Let q be 1118/2030 + (1 - 1). Let b = -3/145 - q. Suppose -7 = -2*c - g, 0 = -0*c - 2*c + 3*g + 19. Put 1/8, c, b in increasing order.
b, 1/8, c
Let f be -1*(2 - 2/2). Let x be (-120)/(-55) - 2/11. Suppose -x*w = -4*w. Sort w, -5, f in decreasing order.
w, f, -5
Suppose -2*f = 2*f. Let o = -1.13 - 0.17. Let x = -0.9 - o. Put -0.2, f, x in descending order.
x, f, -0.2
Let s = -1.3 - -1.4. Put 1, s, -5 in ascending order.
-5, s, 1
Let q = -19.2 - -19. Let g = 2.5 - 3. Let f = -0.38 - 0.02. Sort g, q, f.
g, f, q
Let t be 2 + (4/6)/(10/(-15)). Put 9, 5, t, 3 in descending order.
9, 5, 3, t
Suppose 3*i = 4*k + 5*i - 26, 0 = -3*i + 9. Let q be (-4)/(-6) - (-2)/(-3). Sort q, 1, k.
q, 1, k
Let b(y) = -15*y**3 + 1. Let w be b(-1). Sort -1, 0, w in decreasing order.
w, 0, -1
Suppose -5*a + 2*a - 3 = 0. Let o = 0 + 3. Sort o, -4/5, a in ascending order.
a, -4/5, o
Let y = -8.2 - -0.2. Let m(h) = -h**3 - 7*h**2 - h - 17. Let n be m(-7). Let p(x) = x**3 + 10*x**2 + x + 6. Let z be p(n). Sort 3/5, z, y in descending order.
3/5, z, y
Let p(t) = -t. Let x be p(-1). Let u(m) = -4*m**2 + m. Let i = 6 + -7. Let l be u(i). Put x, l, 5 in ascending order.
l, x, 5
Let r be 2/(-5) - 184/(-10). Suppose -5*m - 4*h + 5*h - r = 0, 3*m - 5*h + 2 = 0. Let a be (-1 - 1)*(-6)/m. Put a, 3, 1 in increasing order.
a, 1, 3
Let m = 13 + -17. Put 3, 0.3, m in descending order.
3, 0.3, m
Let l be (1/3)/(1/3). Suppose 2 = 6*c + 26. Sort c, 3, l in decreasing order.
3, l, c
Suppose -2*u - 3*a = -a - 6, u + 9 = -5*a. Let i be 0 + (u - 0) + -3. Let j = 0.1 + -0.3. Sort j, i, -1/2 in ascending order.
-1/2, j, i
Let m = 0.218 + -0.118. Put m, 1/5, 5 in descending order.
5, 1/5, m
Suppose -3*s = 0, -3*m - 2*m + 4*s = 0. Let y = m - 5. Let n = 2 - 2. Put n, 1, y in descending order.
1, n, y
Suppose 5*p + 12 - 2 = 0. Sort 5, 3, p.
p, 3, 5
Let n = -0.1 + -0.4. Let u = 32 + -31. Sort u, n, -5 in decreasing order.
u, n, -5
Let t = -4 + 1. Let s = -20 + 20.4. Put t, s, 1/3 in descending order.
s, 1/3, t
Let f be 1/(-2) - 18/(-4). Suppose -f*h + 31 = -17. Let b be 50/(-15)*h/10. Sort -5, b, 0 in decreasing order.
0, b, -5
Let p be ((-4)/(-2))/(9/(-18)). Sort -2, 4, 5, p in decreasing order.
5, 4, -2, p
Let d = 1541110305/979 - 1574168. Let o = -1/89 + d. Let c = -0.1 - 0. Sort -2/5, c, o in increasing order.
-2/5, o, c
Let v be (2/(-4))/(1/(-2)). Let t = 3 - v. Let k be (3/4)/(t/(-8)). Sort -1, k, 4 in descending order.
4, -1, k
Let q be (-1334)/(-5400) - 6/24. Let h = q - 1993/10800. Let v = -17/80 + h. Put 0.1, 0, v in decreasing order.
0.1, 0, v
Let m be (-8)/6 + 1/3. Let a = 19.6 - 20. Sort -1/3, m, a in descending order.
-1/3, a, m
Let l = -20 + 44. Let d = -49/2 + l. Sort 1, d, 0.
d, 0, 1
Let k = -0.2 + 0.1. Suppose -z - 2 = -2*d - 3, 0 = -4*z + 4*d. Sort z, 1, k in decreasing order.
1, k, z
Let t = 0.171 - -10.829. Put t, -2/5, -1, -4 in ascending order.
-4, -1, -2/5, t
Let j(n) = -5*n**2 - 5*n + 12*n**3 - 13*n**3 + 0*n**2 - 5. Let p be j(-4). Put -5, p, 1 in descending order.
1, p, -5
Let n = 425/9 + -47. Let z = -3.8 + 15. Let g = -11 + z. Sort -0.2, n, g.
-0.2, g, n
Let w(b) = b**2 + 5*b - 8. Let d(t) = t + 2. Let x be d(-9). Let y be w(x). Let v be y*(4/3 + -2). Sort v, 0, 3 in descending order.
3, 0, v
Let b = 5.12 - 0.12. Let q = 0.1 - -0.4. Sort 1, q, b.
q, 1, b
Let u = 5.88 - 6. Let i = 0.02 + u. Let q = i + -0.3. Put 0.1, 4, q in decreasing order.
4, 0.1, q
Suppose 2*h = 3*z - z, -10 = 5*z. Put -3, h, -1 in decreasing order.
-1, h, -3
Let g be 3/4 + 6/(-8). Let p be g + (-2 - -2 - 1). Put 5, 2, p in descending order.
5, 2, p
Suppose -18 = -3*k - 3*a, -16 = -5*k - 0*a + 2*a. Suppose -8 = -4*z, 0*d + 4*d - k*z = 612. Let s = 778/5 - d. Put s, -2/7, -4 in descending order.
s, -2/7, -4
Let g(q) = q - 15. Let d be g(20). Put 7, 3, 2, d in ascending order.
2, 3, d, 7
Let z(p) be the second derivative of -p**4/12 + 7*p**3/3 - 7*p**2 - 3*p. Let w be z(13). Put 1, w, -3 in ascending order.
-3, w, 1
Let r = 0.3 - 0.5. Let u = -0.53 - 1.47. Let y = -0.3 - 0.2. Put y, u, r in decreasing order.
r, y, u
Let b = 3/2 + -5/6. Put b, -3, -0.2 in decreasing order.
b, -0.2, -3
Let s = -3.4 + -0.6. Let w = s - -7. Let o = -1 + w. Put o, -2, 5 in descending order.
5, o, -2
Let d = -145 - -139. Put -3, d, 1, 2 in ascending order.
d, -3, 1, 2
Let a be -3 - (3 + (-15)/5). Sort a, -1, 0 in increasing order.
a, -1, 0
Let p = 0.2 - -1.8. Sort p, -1/4, 3.
-1/4, p, 3
Let t = 0.5 - 0.3. Let c = -2 - 3. Let q(w) = -w - 1. Let h be q(c). Put h, -0.4, t in descending order.
h, t, -0.4
Let m(d) = d**2 - 4*d + 1. Let q be m(4). Let s be -12 - -9 - (-1)/q. Put s, 4, -5 in ascending order.
-5, s, 4
Let u(n) = n**2 - 3*n. Let h be u(3). Sort h, 4, 0.2.
h, 0.2, 4
Let i = 2.1 - 10.1. Let h = 6 + i. Suppose -5*k + 3 = -22. Sort h, k, -4.
-4, h, k
Let z(l) = -l**2 + l + 1. Suppose 0 = -0*a - 3*a. Let h be z(a). Let t(i) = i**3 - 11*i**2 - 5. Let m be t(11). Sort m, 4, h in decreasing order.
4, h, m
Let l(x) = 4*x**3 + 2*x - 1. Let m be l(1). Put m, -6, 2 in ascending order.
-6, 2, m
Let g(l) = l**3 - 4*l**2 - 4*l. Let u be 2 + 2 - (0 + -1). Let j be g(u). Let v be ((-2)/5)/(2/20). Put v, j, -3 in descending order.
j, -3, v
Let k be -1*3 + -25 + 28. Sort 3, -1, k.
-1, k, 3
Let u = -5 - -6. Sort u, 3, 4 in descending order.
4, 3, u
Let f(s) = s - 7. Let o be f(4). Put -2/3, -5, o in increasing order.
-5, o, -2/3
Let v = 284/435 - -2/145. Let l(j) = j**3 - j**2 - 4*j + 3. Let q be l(2). Sort q, 3/7, v in increasing order.
q, 3/7, v
Let z = -14.3 + 13. Let j = z - -1. Let a be 16/(-6) - -1*2. Sort a, j, 3 in ascending order.
a, j, 3
Let w = 118.4 - 118. Let i be 81/15 - 2/5. Suppose 3*l - 5*k = l + 13, 0 = -3*l + i*k + 12. Sort w, l, -3 in decreasing order.
w, l, -3
Let k(t) be the second derivative of -t**3/6 + 4*t**2 - t. Let z be k(5). Sort z, 2, 4 in ascending order.
2, z, 4
Let y(j) be the first derivative of j**2/2 + 14*j - 4. Let q be y(-11). Let m be 6/4*(-4)/6. Sort q, m, 4 in increasing order.
m, q, 4
Let b(j) = j + 8. Suppose -3*v = 11 + 7. Let u be b(v). Sort 4, -4, u in descending order.
4, u, -4
Suppose 4*b = 16, 2*b - 3 = -2*v - 1. Let p = -3 - 0. Let c = p - v. Sort 2, 1, c.
c, 1, 2
Suppose -y - 2 = 2*z + 1, 4*y - 2*z = 8. Suppose i = y - 3. Put 5, -1, i in descending order.
5, -1, i
Suppose 3*r + 2*i - 3 = 9, -4*r - 1 = -3*i. Let c be (1 - r)/(-5 + 4). Sort -2, 0, c.
-2, 0, c
Let y = 53 - 51. Let b be 1/2*-1*0. Sort b, -3, y in decreasing order.
y, b, -3
Let q be -3 - -2 - (-3)/4. Sort -1/2, q, -5 in descending order.
q, -1/2, -5
Let u = -1 + 0.5. Let z = 5.12 + -0.12. Let p = z + -8. Sort p, u, -1 in increasing order.
p, -1, u
Let k = -123 + 122.9. Sort k, 0.3, -3/4, 1 in decreasing order.
1, 0.3, k, -3/4
Let z = -1.3 - 3.7. Put 2/9, z, -4, 3/7 in decreasing order.
3/7, 2/9, -4, z
Suppose n = -0*l + 3*l - 38, 4*l - 60 = -n. Suppose -5*y = -3*i + l, 2*y = i - 2*i + 1. Sort y, 3, -4 in decreasing order.
3, y, -4
Let y = 18.5 + -19. Suppose 4*o + 3*a = 11, -4*a = -12 - 8. Let g = 1 + -4. Sort o, y, g in increasing order.
g, o, y
Let j = 35 + -139/4. Let k = -1/48 - -101/240. Sort -1/3, k, j in descending order.
k, j, -1/3
Let z(k) = -20 - k + 23 + k - k. Let r be z(5). Let p = -3 + 4. Sort 4, p, r in descending or