 + 3*j, 3*t = 5*j - 25. Sort t, -4, -1.
t, -4, -1
Let s = 13.991 + 0.009. Let k = s + -9. Let c = 0.3 + -0.2. Sort -4, k, c in decreasing order.
k, c, -4
Let p = -1 + -1. Let o = -107.6 - -119.6. Sort -0.2, o, p in decreasing order.
o, -0.2, p
Suppose -7 = f - 2*w, 0*w - 22 = 4*f - 2*w. Suppose -3*i - 6 = 3. Let a be (-1 + 1)/(0 - 1). Put a, f, i in ascending order.
f, i, a
Suppose -g - 15 = 4*c + 8, 0 = 2*c + 5*g + 7. Let h be (15/6)/(c/(-12)). Put -5, -2, 2, h in decreasing order.
h, 2, -2, -5
Let i = 820 - 809. Sort 2, -1/3, -8, i in increasing order.
-8, -1/3, 2, i
Suppose -4*o + 26 = 18. Let k = 101.06 - 104. Let h = 0.06 - k. Sort o, h, -1 in ascending order.
-1, o, h
Let u = -25/21 - -16/21. Let w = -20 + 14. Put u, w, 2/9 in descending order.
2/9, u, w
Suppose -5*h - 51 + 21 = 0. Let l = 1 + h. Put -1, l, 0, -3 in descending order.
0, -1, -3, l
Suppose -5*q - 3*i = -24, -5*i - 17 = -2*q + 5. Let t(k) = 5*k**2 + 4*k**3 + 10 - 5*k**3 + 0*k**3 + 5*k. Let x be t(q). Sort x, 2, 0 in ascending order.
0, 2, x
Let m be (16/(-10))/((-5)/25). Suppose 0 = -5*g + 9*g - m. Let h = -24 + 23.7. Sort g, 4, h in descending order.
4, g, h
Let w = 0.088 - -0.012. Sort -0.3, w, -1/3, 2.
-1/3, -0.3, w, 2
Let f = -20 - -14. Let l be (7 + f)*(-2 + 7). Suppose 0 = h - l + 21. Sort 4, h, 1 in ascending order.
h, 1, 4
Let j be 1/(((-100)/32)/(-25)). Sort -1, j, -3, 2/3 in descending order.
j, 2/3, -1, -3
Let z = -7 + 7.2. Let n = 174 + -176. Put n, -1/5, z in decreasing order.
z, -1/5, n
Let d(f) = -2*f**3 - 4*f**2 - 5*f - 6. Let h be d(-2). Sort h, -31, -3.
-31, -3, h
Let n = 17.4 - 18. Let h = -896/3 - -297. Put h, -2, n in ascending order.
-2, h, n
Let m be 8/(-116) - (-800)/3190. Sort 7, -0.4, m in ascending order.
-0.4, m, 7
Let j(b) = -b**3 + 10*b**2 - 10*b + 9. Let q be j(9). Let f be (0 - (-3)/5) + q. Let w = 25 + -29. Put f, 0.2, w in increasing order.
w, 0.2, f
Let o = -401 - -401.3. Put 0.5, 142, o in decreasing order.
142, 0.5, o
Let d = -0.1 - -2.1. Suppose 0 = 6*i + 30 - 192. Let c = -83/3 + i. Sort c, -1/2, d in descending order.
d, -1/2, c
Let v(i) = i**3 + 4*i**2 - 6*i + 6. Let g(j) = -5*j**3 - 20*j**2 + 31*j - 30. Let w(t) = -2*g(t) - 11*v(t). Let f be w(-5). Put 4, f, -2 in descending order.
4, f, -2
Let f be 16/6*9/(-6). Let b be (-11)/(44/8) - -3. Put b, 5, 4, f in decreasing order.
5, 4, b, f
Let n = 726 - 726. Sort n, -5, 20, -1.
-5, -1, n, 20
Let c(i) = i**3 - i**2 + i - 3. Let h be c(0). Suppose 0 = -8*f - 116 + 12. Sort 1, f, h, 0 in decreasing order.
1, 0, h, f
Let z = 3 + -5. Suppose -11 = -5*m - 72*g + 76*g, -5*m = g + 9. Let w = 0 + 1. Sort z, w, m in increasing order.
z, m, w
Suppose -3*o = 2*o + 4*g, -5*g - 25 = 0. Suppose 2*z + 9 = -4*x + x, -z = o*x + 12. Let k be 0/(x/(9/6)). Put k, -3, 0.5 in decreasing order.
0.5, k, -3
Let c be (876/(-365))/(8/(-10)). Sort c, -2, -9 in descending order.
c, -2, -9
Let h = 71457/5 + -14159. Let s = -132 + h. Let t = -65 - -326/5. Sort s, t, 3 in increasing order.
t, s, 3
Let a = 11 - 6. Suppose -5*i = 3*p + 7, a*p + 2*i + 3 = -2*i. Let o = 2838 + -2826. Put o, p, 2 in ascending order.
p, 2, o
Let a = -5.591 - -1.021. Let v = -1.57 - a. Let b be 2*(-2)/8*2. Sort v, b, 1 in descending order.
v, 1, b
Let c = 7.711 - 7.111. Let v = 7 + -6.7. Sort c, -0.4, -2/9, v.
-0.4, -2/9, v, c
Let l(h) = h**2 - 12*h. Let y be l(12). Suppose 3*i + 6 = -y. Put 1/4, i, 1, 0.5 in descending order.
1, 0.5, 1/4, i
Suppose 5*h - 4*h = 0. Let j be (-1)/((-3)/(21 - 6)). Put h, j, -1 in decreasing order.
j, h, -1
Suppose 3*n + g - 14 = 0, -n - 2*g = g - 10. Let u be (8/(-6))/((-3)/(-9)). Suppose 7 = -a + 6. Put u, a, n in decreasing order.
n, a, u
Suppose -3*j + 140 = j. Let f be ((-21)/j)/(2/(-10)). Suppose 3*i = 3*k + f, 0*k + 3*i - 7 = k. Sort k, 4/5, 5 in decreasing order.
5, k, 4/5
Let n(l) = -3*l + 4. Let j be n(3). Suppose 15*f - 8*f + 14 = 0. Sort f, 0, 6, j in increasing order.
j, f, 0, 6
Suppose 18*s + 3*u + 3 = 17*s, -2*u = -s + 7. Suppose 0 = 2*n + k + 14, -2*n = -6*n + 2*k - 12. Let y be 27/15 + (-1)/n. Sort y, s, 4 in decreasing order.
4, s, y
Let f = -20 + 24. Suppose -3*s = f*t + 3, -3*t + 15 + 19 = -5*s. Sort -5/3, s, -1/2 in decreasing order.
-1/2, -5/3, s
Suppose -m = -2*m + 126. Let z = m + -507/4. Let h = -4.74 + 2.74. Put z, 1, h in decreasing order.
1, z, h
Let c be 7/(126/12) + 146/(-3). Let a = -50 - c. Let f be -3 + (-2)/(-2) - -5. Sort a, f, -3 in decreasing order.
f, a, -3
Let g(n) = -n**2 + n - 2. Let c be g(0). Let k = 1340.5 - 1341. Sort c, 5/7, k in ascending order.
c, k, 5/7
Let o be 7/21*(3 - 3). Suppose 5*d + 4*g = 2*d + 4, -3*d - 3*g = -3. Suppose d = -0*q - q - 2. Sort 1, o, q in descending order.
1, o, q
Suppose 3*z - 170 = 2*v, -4*z - 5*v = -10*v - 229. Let f be (-23)/z - 4/(-32). Sort f, -31, 0 in ascending order.
-31, f, 0
Let h = -229 + 224. Let c = 1.14 + 0.06. Put -0.5, c, h in decreasing order.
c, -0.5, h
Let w(j) = j**3 - 5*j**2 + 3. Let r be w(5). Suppose r*z + 0*z = 6. Let u be z + -1 + 1 + -5. Put -2, 6, u in decreasing order.
6, -2, u
Let v = -0.06 + 4.06. Let t = 7 - v. Let x(m) = -2*m + 6. Let r be x(4). Sort 1, t, r.
r, 1, t
Let f = -179 - -288. Sort f, 1, -2, 0 in decreasing order.
f, 1, 0, -2
Let l = 86 + -41. Let t = l - 48. Sort -1, -2, t, 4.
t, -2, -1, 4
Let b = 0 + 1. Let p = -0.358 - 3.642. Sort -1/7, p, b in descending order.
b, -1/7, p
Let u = -1203 + 1206. Put u, 2/3, 6/11, -2 in decreasing order.
u, 2/3, 6/11, -2
Suppose d - 4 = 3. Let w = -8 - -13. Put -2, d, w in descending order.
d, w, -2
Let r be 2/(-7) + (-6)/(-21). Let i(j) = j**3 - 3*j**2 - 2*j. Let x be i(3). Let w = 5 + x. Put -4, r, w in descending order.
r, w, -4
Let t(x) = -4*x**2 + 15*x**3 - 2 - 14*x**3 - 2 - 4*x. Let h be t(5). Let a be (0 - -1)/(0 - 1). Sort a, 0, h in increasing order.
a, 0, h
Suppose 0 = -5*t + 3*g + 9, 16*t = 12*t + 3*g + 9. Put -0.5, -0.2, t in ascending order.
-0.5, -0.2, t
Let s(z) = z**2 + 33*z + 60. Let p be s(-2). Sort 3, -5, p, -11 in decreasing order.
3, p, -5, -11
Let u = -28 - -19. Let f = 0 - u. Let t = f - 11. Sort t, 5, 1.
t, 1, 5
Suppose -2*p - 7 + 3 = 0. Suppose b - 5*l = 10, -3*l + l - 2 = 0. Suppose -z = -3*c - 3*z - 23, -b*c + z = 21. Sort p, c, -1 in ascending order.
c, p, -1
Let d(y) = y**3 + 3*y**2 + y + 8. Let n(k) = 3*k**3 + 9*k**2 + 3*k + 23. Let z(v) = 17*d(v) - 6*n(v). Let t be z(-3). Sort -5, t, -4 in descending order.
t, -4, -5
Let k = -0.098 - 19.902. Let v = k - -19.6. Put 0, v, -2, 0.4 in decreasing order.
0.4, 0, v, -2
Let x(r) = 5*r**2 + 19*r. Let c(u) = u**2. Let y(l) = -6*c(l) + x(l). Let w be y(18). Let a = w + -20. Sort a, 5, -1 in increasing order.
a, -1, 5
Let u = -28/3 - -115/12. Let o = -2/767 - -1544/3835. Sort u, o, -2/17.
-2/17, u, o
Let w = 477/2 - 239. Sort 0.2, w, -0.18, -2 in decreasing order.
0.2, -0.18, w, -2
Let c be 18/(-16)*((-64)/12)/8. Sort -2/5, c, -0.32, -0.2 in descending order.
c, -0.2, -0.32, -2/5
Let v = -0.23 + -0.08. Let p = -0.61 - v. Sort 1, p, -5 in ascending order.
-5, p, 1
Suppose -19*q + 16*q = 0. Suppose q = 5*n - 6 - 9. Sort 4, n, -2.
-2, n, 4
Let n = -980.52 - -960. Let m = n + 9.45. Let c = -11 - m. Sort 3, c, 0.4 in ascending order.
c, 0.4, 3
Let p = 355/734 + 6/367. Let q = 15/4 + -3. Sort -4/5, q, 0.6, p in ascending order.
-4/5, p, 0.6, q
Let g = 0.4093 - 0.2093. Put -31, -1, g in decreasing order.
g, -1, -31
Let r(y) = -y**3 + 5*y**2 - 5*y - 4. Let u = -5 + 10. Let o be r(u). Let w = o - -34. Put -3, 0, w in decreasing order.
w, 0, -3
Let i be (9/12)/(2/(-8)). Let m be -3 + 7 - 9/(-12)*(-12)/9. Sort 0, m, i in increasing order.
i, 0, m
Let y be (-96)/(-288) + (-62)/6. Suppose 0 = 4*o + 4. Sort 3, y, o in increasing order.
y, o, 3
Let o = 21.973 + 0.027. Let h = -48 - -26. Let t = h + o. Sort -0.6, 0.3, t.
-0.6, t, 0.3
Let c = 104.1 - 100.1. Put 0.05, 5, c in decreasing order.
5, c, 0.05
Let s = -21/4 + 19/4. Put 0, s, -2, -0.1 in ascending order.
-2, s, -0.1, 0
Let q = 1/2 - 9/10. Sort q, -9, 0.5.
-9, q, 0.5
Let s(v) = -v**2 + v + 1. Let g(d) = 2*d**2 - 9*d - 1. Let w(q) = -g(q) - 3*s(q). Let x be w(-6). Let y = -18 - -23. Sort y, -5, x.
-5, x, y
Suppose -m + 13 = 1. Let q be 8/m*6 + -1. Suppose u = 2*u + 5. Put q, 1, u in descending order.
q, 1, u
Let a be 48/9 + 2/(-6). Suppose 3*i + 9 = 