 = -1 - -5. Put -4/3, z, d in increasing order.
z, -4/3, d
Let m = 18.3 - 17. Let g = -0.2 + m. Let n = g - 1. Sort 5, n, -0.2 in descending order.
5, n, -0.2
Let p = -0.5 - -0.1. Let n = -1 + 6. Let j = -1 + n. Put j, p, -1/4 in decreasing order.
j, -1/4, p
Let s(w) = -w**3 + 3*w**2 - w. Let l be s(3). Let r be l*(-15)/18*-2. Sort r, 1, 4 in ascending order.
r, 1, 4
Let k = 60 + -60. Sort 5, 26, k in decreasing order.
26, 5, k
Let b = 424.03 - 426. Let c = -0.73 - -0.7. Let a = b + c. Put a, 2/5, -3/2 in decreasing order.
2/5, -3/2, a
Let m be (2/4)/(3/170). Let p = m + -586/21. Sort -4, -0.1, p in ascending order.
-4, -0.1, p
Suppose y = v + 10, 2*y = v + 4*v + 35. Put y, 1, 2 in descending order.
y, 2, 1
Let x = -15 + 11. Suppose -2*y = v + 4, -v + 4 = y + 5. Let a be v/(-4)*(-2 - x). Put -2/5, a, 2/5 in increasing order.
a, -2/5, 2/5
Let b(x) = -x**2 - 7*x - 3. Let l = -4 - 0. Let p be b(l). Let d be (p/(-21))/(3/(-2)). Put d, -1/3, -0.5 in ascending order.
-0.5, -1/3, d
Let c(a) = 2*a**2 + 24*a - 26. Let n be c(-13). Sort -7, -4, n in descending order.
n, -4, -7
Let v(j) be the first derivative of -j**4/4 - 5*j**3/3 - 5*j**2/2 + 1. Let z be v(-4). Sort -1, -2, z in ascending order.
-2, -1, z
Let d = 3 + 2. Let b = -6 + d. Let t = b + 5. Sort t, -0.2, 0.3.
-0.2, 0.3, t
Suppose -7*i + 14 = -21*i. Suppose -6*u + 11*u - 2*p + 11 = 0, 4*u + p = -14. Sort -5, i, u in descending order.
i, u, -5
Let z = 0.03 - 0.13. Let w(b) = 5*b**3 + 2*b**2 - 1. Let y be w(-1). Put y, 1/4, z in decreasing order.
1/4, z, y
Let u = 6 - 12. Let h be (-15)/(-6)*u/(-5). Suppose -4*y = -h*y. Put y, -1, -5 in ascending order.
-5, -1, y
Let l(u) = u**3 + 9*u**2 + 11*u + 19. Let d be l(-8). Let k = -7 + 12. Put k, 1, d in ascending order.
d, 1, k
Let v = 0 + 0.4. Let y = -0.1 - v. Let c = y - -0.4. Sort 1, c, -3/5 in decreasing order.
1, c, -3/5
Let t = 3 + -3. Suppose t + 2 = u. Put -2, u, 1 in descending order.
u, 1, -2
Let d be 12*12/28 - 5. Put 4, 3, d in descending order.
4, 3, d
Let v = 6 - 6.03. Let p = -0.103 - 0.067. Let n = p + v. Put n, -0.1, 0.03 in descending order.
0.03, -0.1, n
Let g = -4 + 3. Sort g, -5, -4 in decreasing order.
g, -4, -5
Let k be ((-30)/(-20) + (-2)/1)*-4. Put 4, -1, k in decreasing order.
4, k, -1
Let q(v) = 4*v + 1. Let u be q(1). Suppose -s + u*s = 4. Sort -1, s, -5 in descending order.
s, -1, -5
Suppose -10*b - 10*b + 60 = 0. Sort b, -4, -31, -2.
-31, -4, -2, b
Let j be -2 - 2/(-50)*53. Put -5, 0.2, 3, j in ascending order.
-5, j, 0.2, 3
Let c = -0.2 + 0.24. Let h = c + 0.36. Let g be 3/(-63)*-3*-1. Sort h, g, 2.
g, h, 2
Suppose 6*n - 3 - 15 = 0. Suppose -8 + 2 = 3*i + 3*d, 3*d = 5*i + 2. Sort -4, n, i in descending order.
n, i, -4
Suppose 0 = -0*a + a. Suppose a = -2*y + 3*i - 5, 3*y = -2*y - i + 30. Suppose -2*q + 3*q = -b + y, 0 = 2*b - 2. Put -2, q, -3 in descending order.
q, -2, -3
Suppose -5*b + 2*b = -i + 2, 0 = -2*i + 4. Let j = -15 + 7. Let w be j/(-20) + (-24)/10. Sort w, b, 1 in ascending order.
w, b, 1
Let p(u) = 6*u**2 + 10*u. Let y be p(-2). Put y, -5, 3, -11 in increasing order.
-11, -5, 3, y
Suppose -2*r = 5 + 1, -3*m + 5*r = -30. Suppose -4*j + 8 = 0, -4*o + 12 = -5*o + m*j. Put o, -3, -4 in descending order.
o, -3, -4
Suppose -2*q = z + 7, 10 = -3*q + 3*z - 5*z. Suppose -2*w = 3*r - w + 4, 4*r + w = -5. Put r, 6, q in descending order.
6, r, q
Let r(n) = -2*n + 2. Suppose 0*i = -4*c - i + 16, 3*i - 6 = 2*c. Let z be r(c). Suppose 0 = -d + 3*d. Put d, 5, z in descending order.
5, d, z
Let b be (-1 - -4)/(3/2). Suppose 4*c - 9 = -25. Put -1, c, b in increasing order.
c, -1, b
Let t = 90 + -87. Sort 2, 0, t in increasing order.
0, 2, t
Let t = -4.4 + -0.6. Let d = 18 - 21. Sort t, -1, d in decreasing order.
-1, d, t
Suppose 2 + 3 = 5*h. Suppose 5*o - 3 - 1 = -3*v, -2*o - 4*v = 4. Suppose -o*d + 4*d + 8 = 0. Put 4, d, h in ascending order.
d, h, 4
Suppose -f - 5*t + 2 - 11 = 0, -f - 4*t = 8. Let h be (3*(-2)/3)/2. Sort h, -5, f in decreasing order.
h, f, -5
Let u(y) = -2*y**3 - 4*y**2 - y + 2. Let s be u(-2). Let c(r) = r - 4. Let f be c(s). Sort f, -5, -3.
-5, -3, f
Let g(z) = -z**2 + 8*z - 4. Let j(l) = 1. Let a(x) = g(x) - 5*j(x). Let n = -9 + 16. Let s be a(n). Put 3/7, s, -0.2 in descending order.
3/7, -0.2, s
Let p be (12/10)/(2/5). Suppose -5*h - 5*w - 15 = 0, -4*h + p*w = -0*w - 23. Let a be 1 + 2 + -3 + 1. Sort h, a, -2 in decreasing order.
h, a, -2
Suppose -3*x = 4*q - 2*x - 18, -q + 4*x - 4 = 0. Let l be -1*2 - 2 - -1. Sort l, 8, q in decreasing order.
8, q, l
Let q(p) = p**3 + 14*p**2 + p + 19. Let l be q(-14). Put 3, l, 2, -4 in ascending order.
-4, 2, 3, l
Let b be ((-125)/(-70))/25 + (-2)/12. Let q be (-1)/(-3)*(-6)/(-4). Put 1, b, q in decreasing order.
1, q, b
Let v = 1 + 1. Let m = v + -4. Let n = 2.5 + m. Sort -5, -5/3, n in descending order.
n, -5/3, -5
Suppose 2 = 4*t - 34. Let p be ((-15)/t)/(6/(-18)). Put -1/3, p, 0.02 in decreasing order.
p, 0.02, -1/3
Let n be -14 - -11 - (-3 + 1). Let v(b) = b - 5. Let q be v(0). Suppose -2*g + 2 = 4*f + f, 5*g = 5*f - 30. Sort q, n, g in descending order.
n, g, q
Suppose 5*q + 4*w = -17, 1 + 12 = -3*q - w. Let m(h) = -h**3 - 6*h**2 - 5*h + 2. Let i be m(-5). Let f be i + (-3 - -1 - -2). Put f, q, -1 in descending order.
f, -1, q
Let w = -34 + 22. Let i be w/(-54) - 25/(-9). Let l(j) = -j**3 + 2*j**2 + 3*j. Let q be l(3). Sort -2, i, q in ascending order.
-2, q, i
Let f = -7 + 11. Sort 1, f, 2/5 in decreasing order.
f, 1, 2/5
Let k(q) = 5*q - 9*q + 3 + 0*q**2 + q**2 + 8*q. Let t be k(-4). Put 4, -2, t in ascending order.
-2, t, 4
Let d be (((-3)/6)/(-1))/(2/(-4)). Sort 0, 4, d, -2 in increasing order.
-2, d, 0, 4
Let d be (-7)/((-28)/(-12)) + (3 - 5). Put d, 2, 5, -2 in descending order.
5, 2, -2, d
Suppose 0 = -2*i - i - 5*j + 28, -3*i - 2*j = -13. Suppose -y = i - 2. Sort -5, 0.1, y in decreasing order.
y, 0.1, -5
Suppose 9 = -5*w - 21. Sort 4, 0, w in decreasing order.
4, 0, w
Suppose i = 10*i. Sort -39, i, 1, -1 in ascending order.
-39, -1, i, 1
Suppose 5*q = -0 - 5. Sort 4, 0, q in increasing order.
q, 0, 4
Let j = 36 + -36.1. Put 0.4, j, -3 in ascending order.
-3, j, 0.4
Let f(h) = -h**2 - 6*h - 4. Let a be f(-4). Suppose -3*l = -2*b + 10, -5*l + 8*l - 5*b + 7 = 0. Put a, -3, l in ascending order.
l, -3, a
Suppose 0 = y, 0 = -4*k - k - 4*y + 20. Let n = 1 + -3. Sort -1/7, k, n in descending order.
k, -1/7, n
Let h = 3 - 0. Sort h, -0.1, 0 in ascending order.
-0.1, 0, h
Let x be -3*2*(-4)/6. Sort -2, -1, x.
-2, -1, x
Suppose 2*d + 1 - 7 = 0. Sort 4, d, -3 in descending order.
4, d, -3
Suppose 5*n + 10 = 35. Suppose -4*a + 7 = k + 2*k, n*a = -5*k + 5. Suppose -7 = 2*o - 5. Sort a, -5, o in descending order.
a, o, -5
Suppose 4*n - 10 = -n. Let x = 26 + -103/4. Sort 3, n, x in descending order.
3, n, x
Suppose -5 = -0*c - c. Let v = -70.2 + 70. Sort c, v, 3/4.
v, 3/4, c
Let n = 17 - 19. Sort 5, n, -0.7 in descending order.
5, -0.7, n
Let s be 4 + -4 + 1 - 0. Sort -2, 2, 6, s.
-2, s, 2, 6
Let o = 0.071 - -1.929. Sort -2/3, 0, o in descending order.
o, 0, -2/3
Let j = -1 - -4. Let n = 28.1 + -18. Let v = -10 + n. Sort 1/2, v, j.
v, 1/2, j
Let h = 12 + -11.5. Sort h, 5, -3 in ascending order.
-3, h, 5
Let m be 3/(-12) + (-6)/(-56). Let k = 16.8 + -17. Let q = k + -1.8. Sort q, -3, m in ascending order.
-3, q, m
Let p be (-76)/66 + 2 - 18/27. Sort -5, 4, p in descending order.
4, p, -5
Let i be 1 - (0 + 12)*(-20)/(-272). Put -4, 3/2, 0, i in ascending order.
-4, 0, i, 3/2
Let y be -2 - ((-3)/(-1) - 4). Sort y, 1, 0 in decreasing order.
1, 0, y
Let d be (5/(100/(-4)))/1. Let r = 19 - 11. Put r, d, -1/3 in descending order.
r, d, -1/3
Let k(g) = g - 7. Let h be k(6). Sort -2, -3, h in ascending order.
-3, -2, h
Let s(c) = c - 14. Let p be s(18). Put -3, p, 5, 2 in descending order.
5, p, 2, -3
Let l be 2 - (0 - 9/(-5)). Suppose 2*o = 129 - 7. Let v = -245/4 + o. Sort l, v, 0 in increasing order.
v, 0, l
Let h = -48.92 - -49. Put 4, 0.1, h in descending order.
4, 0.1, h
Let z(y) = -y**3 - 8*y**2 - 2*y - 11. Let a be z(-8). Suppose 2*x + 6 = t + 3*t, 0 = 2*t + a*x + 15. Put t, 1, 3 in decreasing order.
3, 1, t
Suppose -z - 4*z + 15 = 0. Suppose 36 = z*d - 5*k, k - 18 = -4*d + d. Let p(v) = -v**3 + 6*v**2 + 6*v + 10. Let y be p(d). Put y, -4, 4 in ascending order