 t in descending order.
t, z, -4
Let j = -52 + 51. Sort 7, j, 0 in increasing order.
j, 0, 7
Let j(b) = -b - 1. Let s be j(-1). Let y(a) = a - 1. Let g be y(s). Sort 7, g, 1 in increasing order.
g, 1, 7
Let n be 2/(-4)*-3 - 1. Let v = 143/40 - 27/8. Let a = -10 + 14. Put n, v, a in decreasing order.
a, n, v
Let q = 180.15 - 180. Put -5, 0, 1, q in increasing order.
-5, 0, q, 1
Let u = -56.8 - -57. Let z be 2/1 - 14/6. Put z, -5, u in decreasing order.
u, z, -5
Suppose 2 + 4 = -3*x. Let w be 2*1/(x/2). Let c = 6 - 10. Sort c, 3, w.
c, w, 3
Let u(j) = -j**2 - 2*j + 11. Let w be u(-5). Let z be w/(-4) + -1 - 5. Sort z, 2, 0 in increasing order.
z, 0, 2
Suppose j - 2 = -4. Sort -3, -4, j in descending order.
j, -3, -4
Let m = -20 - -19.6. Put -2, m, -3 in decreasing order.
m, -2, -3
Suppose 5*f = -0*f - 120. Let g = f + 25. Let n = -4 + 3. Sort -4, g, n in decreasing order.
g, n, -4
Let q = 71 + -76. Put 1, -4, q, 4 in descending order.
4, 1, -4, q
Let m = -11 - -8. Sort 0.1, m, 1 in descending order.
1, 0.1, m
Suppose 5 = -3*p + 20. Let x = 9 + -5. Suppose 11 = s + x*s - t, -5*s - 3*t + 7 = 0. Put s, p, 0 in ascending order.
0, s, p
Let t be 34/(-24)*2 + 3. Let a = 27 + -51/2. Sort t, a, -0.4.
-0.4, t, a
Suppose -3*z = 6*z - 9. Suppose 0 = -4*n + 9*n + 20. Let j(f) = f**2 + 4*f - 4. Let h be j(n). Sort z, h, -1 in ascending order.
h, -1, z
Let z = 9 - 9.1. Let w = z - 0.2. Put 4, w, 0 in descending order.
4, 0, w
Suppose 6 = -h + 4*h. Sort h, 6, 3 in descending order.
6, 3, h
Let v(m) = m**3 - 6*m**2 + 2*m - 8. Let g be v(6). Sort -24, -2, g in decreasing order.
g, -2, -24
Let x(b) = -b - 1. Let w be x(3). Sort -1, -2, w.
w, -2, -1
Let c = 5.06 + -5. Let t = c - 0.56. Put 0.5, 1/8, t in decreasing order.
0.5, 1/8, t
Let t be (-1)/(-3) + 84/18. Let y = 5 - 2. Let u = 2 - 6. Sort t, y, u.
u, y, t
Suppose 2 = 2*c + 3*c + 3*b, 0 = 4*c + 2*b - 2. Suppose -4*k - 1 + 10 = h, 3*h + c = 2*k. Suppose l - 3 = k. Sort l, -5, 2.
-5, 2, l
Suppose 4*u - 2 - 2 = 0. Suppose -4*r - 7 - 5 = 0. Let a(s) = -s + 1. Let j be a(-2). Sort u, j, r in decreasing order.
j, u, r
Let p = 26 + -28. Put p, 2, 0.4 in decreasing order.
2, 0.4, p
Let i = 0.1 - 0.1. Let y = 2/11 + 0. Sort y, -0.4, i in descending order.
y, i, -0.4
Let l be ((-9)/20)/(54/45). Let b be (-6)/(-2) + (-30)/9. Sort b, -4, l in increasing order.
-4, l, b
Let j = -2550/13 + 196. Let g = -209.7 - -210. Sort g, j, -0.1 in ascending order.
j, -0.1, g
Let c(d) = 3*d**3 + 2*d**2 - d. Let y be c(1). Let m be (y/(-5))/(2/(-5)). Let t = 4 - m. Sort t, -2, -4 in decreasing order.
t, -2, -4
Suppose 4*s = -5 - 7. Suppose -36 = -4*y - 5*q, -7*y - 2*q + 16 = -5*y. Sort s, 1, y.
s, 1, y
Let z = 0.44 - 0.3. Sort z, -4, -2/3, -1/6.
-4, -2/3, -1/6, z
Let f(j) = j - 4. Let a be f(10). Let r be -2*a/4 + 30. Suppose -2*l = 2*l + 5*p + r, -3*p = 9. Put 1, -5, l in decreasing order.
1, l, -5
Let k(a) = a**3 - 6*a**2 - 7*a - 2. Let m be k(7). Let x = m + -1. Suppose 5*q - 26 = 3*c, c - 4*q + 26 = -4*c. Put 4, x, c in descending order.
4, c, x
Suppose -u + s + 4 = 0, -3*u - u - s + 21 = 0. Let k(p) = p**2 + 16*p - 5. Let i be k(-16). Sort -2, u, i in decreasing order.
u, -2, i
Let q = -104 + 103. Sort -2, q, 5, 9 in decreasing order.
9, 5, q, -2
Let t = -42 - -42. Let y = 2.1 + -2. Sort -1/2, y, t in ascending order.
-1/2, t, y
Suppose 0 = -i - 0*i - 5. Let c(n) = -n - 5. Let y be c(-5). Let r = y - 0. Sort 2, r, i in ascending order.
i, r, 2
Let y = -10 + 6. Let o = -4 - y. Suppose o = -0*q + q + 1. Sort 4, -2, q in descending order.
4, q, -2
Let x = -3.8 - -3.4. Let z = -7 + 22/3. Put -1, z, x in decreasing order.
z, x, -1
Let c(i) = i**3 - 9*i**2 + 2*i - 10. Let d be c(9). Suppose 0 = 2*u + d. Suppose 7*t - 4*t = -b - 5, 0 = -5*t. Put b, 0, u in descending order.
0, u, b
Let v(q) = q**3 + 5*q**2 + q + 7. Let r be v(-5). Suppose -4*j + 6 = -2*j. Suppose j*h = 2*h. Sort -3, r, h in increasing order.
-3, h, r
Let g be (-8 + -2 + 1)*14/21. Sort g, -1, 1, -5.
g, -5, -1, 1
Let b = -16 - -18. Put b, -8, -4 in descending order.
b, -4, -8
Let z = 7.09 + -0.09. Let q = -3 + z. Sort q, -1, -4/3 in increasing order.
-4/3, -1, q
Let z = -455 - -1849/4. Put z, -5/3, 5, -0.1 in descending order.
z, 5, -0.1, -5/3
Suppose 0*o = -o - 2, 2*k = -5*o - 12. Put 1, k, -6 in increasing order.
-6, k, 1
Suppose -3*x - 2 = 2*l + 14, 2*x = -3*l - 14. Let k(b) = b**3 + 4*b**2 - 2*b - 4. Let m be k(x). Let r = -3 + 11/3. Sort 5, r, m.
r, m, 5
Let p = 0 + -5. Let u(g) = -g - 7. Let j be u(0). Let f be (16/j)/(-1) + -2. Sort f, -0.3, p.
p, -0.3, f
Let z = -7.9 - 0.1. Let q = z - -7.6. Let i = 53/4 - 367/28. Sort i, 2, q.
q, i, 2
Let r = 10 - 6. Suppose 11 = 3*s - 4*g, g = 5*s + r*g - 28. Sort -4, 1, s in increasing order.
-4, 1, s
Let g(c) = 5*c + 3. Let o be g(-2). Let h = o + 7. Put h, 4, 1 in ascending order.
h, 1, 4
Let n = -3 + 2.5. Let u = 1/987 + -9322/329. Let m = 27 + u. Sort -5, n, m.
-5, m, n
Let w(t) = t**3 - 4*t**2 - 6*t + 7. Let n be (-2)/6*(-23 - -8). Let o be w(n). Let p be (4/12)/(o/(-6)). Put 0, p, 2 in descending order.
2, 0, p
Let x = -16 + 16. Sort -3, x, 2 in decreasing order.
2, x, -3
Let h = -3 - 0. Let u = 6 + h. Let m = -0.053 - 0.247. Sort m, -3/5, u in descending order.
u, m, -3/5
Suppose 2*s - 13 = -3*g, -3*s - 6 + 20 = -g. Put g, 0, -4 in decreasing order.
g, 0, -4
Suppose 0 = -p + 4*n, 0*n - 3 = -p + n. Put -1/5, -0.3, p, 6 in decreasing order.
6, p, -1/5, -0.3
Let i = 46 + -412/9. Suppose 0 = -4*l - 4*g + 24, 3*g + 14 + 10 = 4*l. Put l, 0.5, i in increasing order.
i, 0.5, l
Let y = 0.025 - -0.275. Suppose -4*f = -3*h + 1, -5*f + 4 + 3 = -h. Put 1, y, h in descending order.
h, 1, y
Let o(n) = 3*n + 1. Let z be o(-1). Let p be 3/z*20/6. Put p, -2, 4 in decreasing order.
4, -2, p
Let n = -1.5 - -1. Put n, 0.5, 1 in decreasing order.
1, 0.5, n
Let w be (-10)/25 + 9/10. Sort w, 5, -1/4 in increasing order.
-1/4, w, 5
Let g = -0.4 + -0.6. Let f = -5 + 1. Sort g, f, 1/2 in descending order.
1/2, g, f
Let h be -2 + (-3)/(6/(-4)). Sort h, -1, -5 in ascending order.
-5, -1, h
Let s be 35/(-21) + (1 - 4/12). Let p = -2.5 + 5. Let n = -3 + p. Put -1/4, s, n in increasing order.
s, n, -1/4
Let d = -24 + 28. Put d, -2/15, -0.1 in decreasing order.
d, -0.1, -2/15
Suppose 0 = 4*k + k - 5. Let a(y) = -y**3 + 3*y - 3. Suppose 0 = 2*s - 3 - 1. Let q be a(s). Put q, 2, k in decreasing order.
2, k, q
Let b(o) = -o + 9. Let y be b(0). Let g = y - 9. Suppose 3*f + 2*d - 16 = 0, 0 = f - 0*f - 3*d + 13. Put g, f, 5 in increasing order.
g, f, 5
Let u = -11 + 10. Sort -9, u, -3 in decreasing order.
u, -3, -9
Let d(j) = -2*j**2 + j + 1. Let i be d(-2). Let n = i - -14. Let m = 0 + 3. Put m, 4, n in descending order.
n, 4, m
Let b(v) = -v**2 - 4*v + 3. Let r = 2 - 6. Let f be b(r). Sort 4, f, 5 in increasing order.
f, 4, 5
Let y = -1 - -6. Let f = 1.2 + 2.8. Let x = f - 3.9. Sort y, x, 1/3 in ascending order.
x, 1/3, y
Suppose 3*y - 16 = -y. Let p be y + (1 - 4) - 2. Let a be -1*((-1 - p) + -1). Sort 5, -4, a.
-4, a, 5
Let w = 3.783 - -0.217. Let i = 1.3 + -0.3. Sort w, 2, i.
i, 2, w
Suppose -3*k = 2*v - 2 + 23, 4*k + 5 = 5*v. Let c = 4 + -7. Sort 5, c, k.
k, c, 5
Suppose 4 - 16 = -3*x. Let q be (1 - -3)/(-12)*3. Put 2, q, x in ascending order.
q, 2, x
Let q be (-29)/116 + 0 + 22/(-8). Put 3, q, -5 in descending order.
3, q, -5
Let t = 6 + -4. Suppose 0 = -c + 2*c - 2. Suppose c*v = 3*v - 4. Sort t, -5, v.
-5, t, v
Let r = -6 - -3. Let b = r + 8. Put -5, b, -4 in descending order.
b, -4, -5
Let n = 3 + -3. Let a(o) be the first derivative of o**4/4 - o**3/3 + o**2/2 - 2*o + 1. Let u be a(0). Sort -1, u, n.
u, -1, n
Suppose -n - 4*w = 17, -2*w = 5*n - 0*w - 5. Sort 5, -3, n, -2 in increasing order.
-3, -2, n, 5
Suppose -5*v = -0*v. Suppose -3 = -c - v*c. Suppose 0 = -2*t - 3 + 13. Put t, -5, c in decreasing order.
t, c, -5
Let s = 0.02 - 0.04. Let b = s + -0.98. Let y = b + 1. Sort -2/15, 4, y in descending order.
4, y, -2/15
Let l = -17 - -15. Put l, -5, 3 in ascending order.
-5, l, 3
Let s(l) = 2*l + 1. Let i = 2 + 0. Let q be s(i). Put 4, 2, q in descending order.
q, 4, 2
Let b = 35/44 + -6/11. Let f = -1 - -2. Let r = -0.03 - -0.13. Put f, r, b in decreasing order.
f, b, r
Suppose -5*f - 14 = -r, -5*f - 33 = 3*r + 5. Let v be r/(-4)*(-8)/12. Sort 