-3)/(-2)*(5 - 3). Put u, 4, n in decreasing order.
4, n, u
Let v be -20*2/16*-2. Sort 4, 0, v in decreasing order.
v, 4, 0
Let c = 7 + -4. Suppose -3*y - 4*u - 4 = 0, -9 = 2*y - 2*u + c. Let k be (4 + -2)*y/(-8). Sort k, -4, 2.
-4, k, 2
Suppose 0 = -5*q + 8 + 2. Put -0.1, 0, q in increasing order.
-0.1, 0, q
Let a be (-2)/(-8) + (-104)/32. Put 0, a, 1 in increasing order.
a, 0, 1
Let s be (70/21)/(2/3). Suppose -n + t = -1, 0*n - 2*t + 1 = n. Put -4, n, s in ascending order.
-4, n, s
Let v = 3.8 + -3.8. Let d = 2/387 + -788/2709. Put v, d, 0.1 in descending order.
0.1, v, d
Let c = -12 - -15. Let k(m) = m**2 + 7*m + 7. Let w be k(-5). Let n(g) = -g**2 + g. Let d be n(-1). Sort w, c, d.
w, d, c
Let i = -0.26 - -0.46. Put i, 0.3, -3/4 in ascending order.
-3/4, i, 0.3
Let j(n) = n**2 + 2*n - 4. Let b be j(-4). Suppose -4*p + 3 = 23. Let t(z) = z**3 + z**2 + z - 4. Let d be t(0). Put b, d, p in decreasing order.
b, d, p
Let u = -23 - -14. Let x = 14 + u. Sort -11, x, 3 in decreasing order.
x, 3, -11
Let x(q) be the first derivative of -q**3/3 - 2*q**2 + 3*q + 1. Let c be x(-5). Put 5, -3, c in descending order.
5, c, -3
Suppose -6*o + 2*s = -o - 22, 3*o + 4*s - 8 = 0. Suppose -4*w - 20 = 3*k, 0 = 2*k + 6*w - w + 25. Let p be -2 - 3*(-1 - k). Sort 2, p, o in increasing order.
p, 2, o
Let h = -9 + 14. Sort 3, 2, h in ascending order.
2, 3, h
Let h = 5 - 9. Let f be (3/(-30)*-12)/2. Sort 0, h, f.
h, 0, f
Let c = 0.41 + -0.01. Suppose 2*d + 5*r - 15 = 3*d, -4*r + 18 = -2*d. Let u = d + 7. Put -0.3, c, u in ascending order.
-0.3, c, u
Suppose -3*t - 9 = -3. Sort -1, 4, t in decreasing order.
4, -1, t
Suppose 8*a - 16 = 6*a. Suppose -a = -u - u. Put u, -1, 1 in descending order.
u, 1, -1
Let f = 210 - 208. Let x(n) = -4*n**3 + n**2 - 1. Let i be x(-1). Suppose -t - 3*h + 16 = 0, 4*h - 23 = -3. Sort i, f, t in decreasing order.
i, f, t
Suppose -3*w = -b - 5, -3*b = -6*w + 7*w - 5. Let r = -11 + 1. Let x be r*(7/5 - 1). Put x, 3, b in decreasing order.
3, b, x
Let c = -3 + 3.3. Let g = -0.27 - 4.73. Sort g, c, -1/3 in increasing order.
g, -1/3, c
Suppose s - 5*s - 25 = 3*t, -2*t - 18 = 3*s. Sort -11, -5, t in descending order.
t, -5, -11
Let n(h) = h**2 - 5*h + 1. Let d be n(5). Sort 3, 0, d, -1 in ascending order.
-1, 0, d, 3
Let r be (4/((-24)/2))/1. Sort -4, r, 2.
-4, r, 2
Let r(n) = 3*n + 35. Let o be r(-11). Let k = 5 - 7. Let u be (-3)/(46/8 + k). Sort -6/7, o, u in descending order.
o, u, -6/7
Let n = -6/17 + 76/119. Let o = 105 - 523/5. Put 2, n, o in ascending order.
n, o, 2
Suppose 0 = 4*x - 2*v + 58, 4*x + 68 = 3*v + 13. Let a = x - -18. Let z = 1 + 4. Put z, 1, a in ascending order.
1, a, z
Let y = 32 - 35.7. Let x = 3.9 - -0.1. Let g = x + y. Sort 1, g, -0.5 in increasing order.
-0.5, g, 1
Let i = 3.5 + -3. Let m = -0.5 + 0.1. Suppose -4*o - 5*y + 14 = -2*o, 5*y = -3*o + 11. Sort i, m, o in ascending order.
o, m, i
Let b = 23 - 26. Put -2, -1, b in decreasing order.
-1, -2, b
Let u be 0/2 - -1 - 1. Suppose 3*s + 0*s + 3*t + 3 = u, s + 6 = -2*t. Suppose -2*x - 4 = -x, -s = -2*p - x. Put 5, p, -4 in ascending order.
-4, p, 5
Suppose -s - 3 = 0, 0 = -3*y + s + 11 - 17. Sort y, 5, -17.
-17, y, 5
Let w be 5*((6 - 3) + -2). Put -1/4, w, 2/35 in decreasing order.
w, 2/35, -1/4
Let y = 5 - -7. Let q be (y - 10) + (-2)/1. Sort -3, q, 2.
-3, q, 2
Let y = 6 - 0. Suppose -2*x + 15 = 3*q - 2, 2*q = y. Sort -5, 1, x in decreasing order.
x, 1, -5
Let n = 15.6 - 15.5. Let p = 1 - 0.99. Put p, n, 1 in decreasing order.
1, n, p
Let s be 10 + -7 + (-11)/7. Sort 5, -0.2, s in decreasing order.
5, s, -0.2
Let h be 114/27 + 4/(-18). Let u = 3 - h. Sort u, -3, 5 in increasing order.
-3, u, 5
Suppose 7*c - 12 = 3*c. Put c, -4, 1, 0 in ascending order.
-4, 0, 1, c
Suppose -2*b = -2*c - 8, -5*c + 0*b - 8 = b. Let a = -5 + 4. Let d = -5 + 2. Put c, d, a in descending order.
a, c, d
Suppose 0 = 4*m - 3*s - 16, 3*m + 2*s = 3*s + 12. Let b = -0.1 - 0.2. Let c = b - -0.5. Put c, -3, m in increasing order.
-3, c, m
Let g = 8 + -8. Let m = 2 - -1.1. Let q = m - 3. Sort 2, g, q in ascending order.
g, q, 2
Let x be 7/(-14) + (-7)/(-6). Put 0, 1, x in decreasing order.
1, x, 0
Suppose -5*m + 8 = -2. Suppose 0 = -2*o - 0*o + m. Let j = -255 - -258. Put o, -0.3, j in descending order.
j, o, -0.3
Let g(i) = i**3 - 9*i**2 + 9. Suppose -5*s + 45 = -0*s. Let y be g(s). Let h be 58/(-18) - (-2)/y. Put -4, 4, h in decreasing order.
4, h, -4
Let m be (-21)/(-9) + (-1)/3. Let d be 24/(-9)*3/m. Let u = 13 + -9. Sort d, 3, u.
d, 3, u
Let b(y) = 2*y**2 + 35*y + 20. Let h(o) = -o**2 - 17*o - 10. Let v(f) = -6*b(f) - 13*h(f). Let q be v(-10). Sort -1, q, -4.
-4, -1, q
Let f be 75/(-11) - (-4)/(-22). Put f, -1, 1 in increasing order.
f, -1, 1
Let i(a) = -a**2 - 4*a + 4. Suppose 3*y - 4*y = -q - 9, 3*y - 2*q - 27 = 0. Let u be y/3 + 0 - 8. Let x be i(u). Sort 2, 0, x in ascending order.
x, 0, 2
Let t = 8 + -5. Suppose -t*n + 0 = -3. Sort n, 3, -4 in descending order.
3, n, -4
Let l = -1/3 - -1. Sort 0.3, -6, l.
-6, 0.3, l
Suppose 2*f + f = -2*q, 5*f - 3*q = 0. Let h = -271/4 + 67. Sort f, h, -3.
-3, h, f
Suppose -5*p = -2*d + 3, 4*p - 3*d = -3 + 2. Let x be (15/(-20))/((-3)/8). Suppose 3*r + 2*f = 23 - 10, -5*r + x*f = -27. Sort p, 1, r in decreasing order.
r, 1, p
Let p be 2 - (-2 + 1 + 0). Suppose 16 = -4*g, 5*g = p*v + 2 - 28. Let r(b) = b**3 - 5*b**2 + 3*b + 5. Let j be r(4). Put v, 4, j in descending order.
4, v, j
Let r = -89 - -100. Sort r, 1, 0.5.
0.5, 1, r
Let u = 0 + 0. Suppose 0 = v - 5*l - 26, l = 3*v + 2*v - 34. Let n be ((-4)/6)/(v/(-45)). Sort u, 0.3, n in increasing order.
u, 0.3, n
Let r(d) = d + 24. Let n be r(-25). Sort n, 3, 2, 0.
n, 0, 2, 3
Let a = 11 - 6. Let h be (a + 1)/3*2. Let t = 0.33 - 0.03. Sort h, t, 2/5 in increasing order.
t, 2/5, h
Let w(n) = -n - 2. Let d be w(-6). Let o = -20 + 18. Put d, o, -0.1 in descending order.
d, -0.1, o
Let u = 118 - 121. Put 20, u, 4 in descending order.
20, 4, u
Suppose 5*u = -2*b - 15, 4*b + 7*u + 12 = 3*u. Suppose -4 = 11*k - 37. Sort k, b, -5 in ascending order.
-5, b, k
Let b = 73/35 - 9/5. Put -5, -3/8, b in descending order.
b, -3/8, -5
Let l be (-4 - -1)*1 + 0. Let i be (-1)/3*-3 + 1. Suppose 5*f - i*f = -3*n - 6, 14 = 3*f - n. Put l, 5, f in ascending order.
l, f, 5
Let g = -5.04 + 0.04. Let z = 9.62 - 49.92. Let w = z + 40. Sort w, g, -2 in descending order.
w, -2, g
Let l be 1/(3/(-12))*-1. Let y = l + 1. Let r(p) = p**3 - 5*p**2 + 3*p + 4. Let d be r(3). Sort d, 0, y in decreasing order.
y, 0, d
Let p(x) = x**2 - 13*x + 20. Let q be p(11). Sort q, 4, -3, 10 in increasing order.
-3, q, 4, 10
Let s(z) = -2*z - 3. Let d be s(-4). Suppose a - 1 = -5, 0 = 5*p - d*a. Put 1, 2, p in descending order.
2, 1, p
Let q = 3.92 + 0.08. Sort q, -9, 2/11.
-9, 2/11, q
Let p(c) = 3*c - 5. Let h(y) = -8*y + 14. Let s(l) = -4*h(l) - 11*p(l). Let f be s(3). Sort -3, f, 2 in ascending order.
f, -3, 2
Let i = 4 - 6. Let w = -7 - -4. Let m = -1 - w. Put i, m, 3 in increasing order.
i, m, 3
Let w = -5 + 3. Let q be (0/21)/(0 + -1). Put w, -4, q in decreasing order.
q, w, -4
Let m = -3.5 + 0.5. Let j be 6/(-9)*(-3)/(-8). Let g = -0.9 + -3.1. Put j, m, g in descending order.
j, m, g
Let v(a) = -a**3 - a**2 + 2. Let m be v(0). Let w(t) = t**2. Let k be w(m). Put 5, -1, k in descending order.
5, k, -1
Let q be ((-6)/5)/((-4)/10). Let h be 0/(-2) + (-3 - -1). Sort 5, h, q in decreasing order.
5, q, h
Suppose -2*v + 16 = 2*v. Sort 27, -3, v, 3 in increasing order.
-3, 3, v, 27
Let s be (-8)/((-2 + 0 + 3)*1). Suppose 6*z - 10 = z. Put z, s, -1 in increasing order.
s, -1, z
Let c be (1 + 1 - 2)/(-3). Let t be 15/13 + (-1 - 0). Let k = -28 - -27. Sort t, k, c in decreasing order.
t, c, k
Let s be (1/3)/((-8)/(-12)). Sort 0.02, s, -3 in increasing order.
-3, 0.02, s
Suppose -5*r + 3*k - 30 = -0*k, 14 = 2*r + 4*k. Suppose 0 = -4*v + 2*v + 6. Put -4, r, v in increasing order.
-4, r, v
Suppose -2*o - 5*i + 6 = 0, 2*o - 4*o = 3*i - 2. Suppose 0 = -4*n - 20. Sort o, 5, n in decreasing order.
5, o, n
Let k = -39.9 - -40. Sort k, 46, 0.
0, k, 46
Let v(w) = -2*w + 50. Let r be v(23). Let n = 10 + -6. Suppose -3*o - 1 + 11 = 4*j, -n*j = -4. Put r, 0, o in decreasing order.
r, o, 0
Let b = -53 - -52. Let m = 1019/8 + -127. Put -3/5, b, m in decreasing order.
m, 