i, -1, 0 in decreasing order.
i, 0, -1
Let t be (4/21)/(30/(-35)). Let v = -0.3 + -2.7. Sort v, 4, t in ascending order.
v, t, 4
Let g = 0.7 + -1.1. Suppose -3*l - u + 1 = 0, -3 + 8 = -3*l + 5*u. Sort l, 0.3, g in descending order.
0.3, l, g
Let b(u) = -u**3 - 7*u**2 + u + 9. Let k be b(-7). Let h be ((-2)/4)/(k/20). Let y = -1 - 0. Sort h, 5, y.
h, y, 5
Let i = -0.43 - 0.07. Let l = -7 + 7. Sort i, 1, l in ascending order.
i, l, 1
Let v = -5 + 5.4. Sort -5, 1, v.
-5, v, 1
Let r be 0/5*(-3)/(-6). Let t = 2 + 2. Sort t, -13, r in decreasing order.
t, r, -13
Let o(g) = 2*g + 5. Let r be o(-8). Let p = 9 + r. Sort -4, -3, p in decreasing order.
p, -3, -4
Let o(x) = x - 1. Suppose -3*u + 0 = -3. Let d be o(u). Let f = d + -2. Sort 0, f, -5 in ascending order.
-5, f, 0
Let a be -6*(-2)/(-4) - -8. Sort 11, a, 3 in descending order.
11, a, 3
Let d = -8 + 10. Suppose -q + 4 = q. Suppose -3*c - q*x = -x, -4*c - 2*x = 0. Put d, -3, c in increasing order.
-3, c, d
Let r = 4/17 - -6/119. Put -1/2, r, 10 in descending order.
10, r, -1/2
Suppose c = 6*c - 5. Let a = c + -4. Let k be a/2*4/6. Put 0, k, -3 in ascending order.
-3, k, 0
Let a(q) = -8*q - 21. Let c be a(-3). Suppose -3*n + 4*n = -i + 5, -2*i = 5*n - 25. Sort -2, i, c in descending order.
c, i, -2
Let c = 0.6 + -0.6. Let a = 0 + -5. Put 5/2, c, a in increasing order.
a, c, 5/2
Let n = 59 + -63. Sort 8, 0.4, -2/13, n in decreasing order.
8, 0.4, -2/13, n
Let u = -199/6 - -33. Let m = -3 - -2.8. Put u, 4/9, m in descending order.
4/9, u, m
Let k = -131/4 - -2219/68. Put 0.4, 3, -1/3, k in decreasing order.
3, 0.4, k, -1/3
Let l be 2/(-4)*(-1 - 3). Let i be ((-1)/(-1) - -7) + 0. Suppose l*n + 0*n + i = -2*t, 2*t + 11 = -3*n. Sort -3, 1/3, t in increasing order.
-3, t, 1/3
Let d = 53 - 268/5. Let t = -1.4 - -0.4. Let j = 0.2 - -3.8. Sort j, t, d.
t, d, j
Let c = -36 - -19. Let x = c + 29. Suppose -g = m + m - x, 5*g + 3*m = 32. Put g, -3, 3 in decreasing order.
g, 3, -3
Suppose r - 3*q + 39 = 0, 3*r - 6*r = -5*q + 105. Let p be ((-1)/r)/(7/(-28)). Sort -3, p, 5 in ascending order.
-3, p, 5
Suppose 5*q + 3 + 7 = 0. Suppose 2*s = 8*s - 24. Sort q, 5, s in descending order.
5, s, q
Let f = 0.38 + -0.02. Let u = -0.14 - f. Put u, 5, -5 in increasing order.
-5, u, 5
Let a = -10 + 5. Let z be 3 + -3 - 3/15. Sort a, -1/2, z in decreasing order.
z, -1/2, a
Suppose -36 = -2*r + 16. Suppose -4*m + 6 = r. Sort 0, 5, m in descending order.
5, 0, m
Let o(r) = -r**2 + r + 1. Let i be o(-2). Let x be -2 + (-1 - -1) + 1. Put i, x, -2 in ascending order.
i, -2, x
Let o = 122 - 119. Let w be -2 + (1 - (-11)/7). Put 0.5, w, o in decreasing order.
o, w, 0.5
Let m = 15 - 11. Sort -5, 1, m.
-5, 1, m
Let k = 0.4 + 1.6. Let g be (-6)/(1/(-114)*-9). Let i be (-12)/g*7 - 1. Sort i, k, 0.1 in decreasing order.
k, i, 0.1
Let m(q) be the first derivative of -q**2/2 + 17*q - 3. Let b be m(13). Put 5, -1, b in descending order.
5, b, -1
Let m = 12 - 12. Let u be 2/(2/4*-1). Sort m, u, 5 in increasing order.
u, m, 5
Let p(t) be the first derivative of -t**2/2 + t + 4. Let w be p(-4). Sort 2, w, -1 in decreasing order.
w, 2, -1
Let s = 56 - 51. Put -13, s, 4, -1 in descending order.
s, 4, -1, -13
Suppose 0 = -4*v + 9 + 11, -10 = 5*h - 3*v. Suppose 0 = f + 3*u - 17, -1 + 9 = -f + 2*u. Let w(r) = -r**2 - 1. Let m be w(1). Put m, h, f in descending order.
f, h, m
Let t = 0.38 - -10.62. Put 4, -2, t in increasing order.
-2, 4, t
Suppose 0*h = h + 5. Let p = 2 - -6. Suppose 2*f - p = -3*k, 1 = 3*k - 5. Put h, f, 2 in descending order.
2, f, h
Suppose 5*v = -j + v - 25, 4*j + v + 25 = 0. Sort j, -4, 4, -2 in decreasing order.
4, -2, -4, j
Suppose -3*v - 3 = -3*b, -v = -2*v + 5*b + 11. Let h be ((-1)/v*0)/(-2). Let w = -12 + 8. Sort h, w, -0.2 in increasing order.
w, -0.2, h
Let t = -3/82 - -129/164. Let s = -0.3 + -3.7. Sort -2, s, t.
s, -2, t
Suppose -3 = 4*c + 1. Let r be 14/35 + 44/(-10). Put 0, r, c in ascending order.
r, c, 0
Let k be (-4)/(-10) - 39/(-15). Let v be (-1 - (-8)/6)*k. Sort v, -3, -5 in ascending order.
-5, -3, v
Let y(o) be the first derivative of -o**4/4 + 2*o**3 - 5*o - 1. Let d be y(6). Let u(w) = w**2 - 5*w - 4. Let b be u(6). Sort -4, d, b in ascending order.
d, -4, b
Let w(u) = -2*u. Let y be w(4). Let g = y + 4. Put 3, g, 2 in decreasing order.
3, 2, g
Suppose 0*y + 4*y - 12 = 0. Suppose -m + 8 = y*m. Suppose -25 = -m*q - 3*q. Put 2, -2, q in ascending order.
-2, 2, q
Suppose -4*p + 5*j - 12 = -37, -15 = 2*p + 3*j. Suppose -2*o - w + 6 = 0, -2 = 2*o + 4*w - w. Suppose -10 = o*f - 7*f. Sort f, p, -3.
-3, p, f
Let h = -9 + 6. Let q = 0.5 - 1. Let m = 0.3 + q. Sort m, 4, h in increasing order.
h, m, 4
Suppose -4*s + 0*s = p - 16, 5*p + 3*s - 12 = 0. Suppose -y + 3*y = 8. Suppose -3*g = -4*g - 4. Put p, g, y in increasing order.
g, p, y
Let o be -3*-2*3/(-18). Let z = 0.1 - 0.1. Let j = z - -0.2. Sort j, -4, o in decreasing order.
j, o, -4
Let k = -12 - -17. Let f(a) = a**3 + 6*a**2 + 2. Let u be f(-6). Put k, u, 4/3 in decreasing order.
k, u, 4/3
Let y = 0.01 + -9.01. Let d = y - -3. Let p = 6.4 + d. Put 5, -3, p in increasing order.
-3, p, 5
Suppose -t + 28 = 3*t. Let j = -12 + t. Suppose 2*b - 3 - 1 = 0. Sort b, j, 0 in ascending order.
j, 0, b
Suppose 4*l - 85 = -l. Put l, -4, 5, 2 in increasing order.
-4, 2, 5, l
Let w = 1.2 - 1. Let k = 2.7 + -2.3. Sort k, w, -1 in descending order.
k, w, -1
Suppose 5*u = -n + 1 - 20, -3*u = -2*n + 14. Put u, 3, 1 in increasing order.
u, 1, 3
Let w be (-3)/12 + 11/(-4). Put 4, w, 1, 2 in descending order.
4, 2, 1, w
Let z(g) = g**2 + g. Let a = -2 + 2. Let w be z(a). Put w, 2, 5 in descending order.
5, 2, w
Let q = -104 + 104. Sort -29, q, 4 in decreasing order.
4, q, -29
Let w = 20 + -18.7. Let c = -1.4 + w. Put c, -1/4, 5 in decreasing order.
5, c, -1/4
Suppose -7 = 6*h + 5. Sort 2, -4, h.
-4, h, 2
Let t(k) = k**3 - 6*k**2 + 7*k - 5. Let c(r) = r**2 + 4*r - 7. Let g be c(-6). Let q be t(g). Let x = -8/9 - -41/36. Put q, 2/7, x in increasing order.
x, 2/7, q
Let b be ((-2)/5)/(1/(-5)). Let r = 2 - 2.2. Put b, -1/4, r in descending order.
b, r, -1/4
Let v = 13 + -8. Suppose -3 = -b - 2*w - 10, 4*b + 4*w = -20. Suppose -f + 6*f = 5*r, 0 = r - 5*f - 4. Sort b, r, v.
b, r, v
Suppose -5*x = 4*b - 70, -5*x + 25 = -0*x - 5*b. Suppose 0 = 5*m - x - 15, -5*m = -2*z - 45. Let c = 6 + z. Sort -5, 1, c.
-5, c, 1
Suppose 4 = v + 2*h + 6, 3*v + 3*h = -9. Put 13, -2, v, 5 in decreasing order.
13, 5, -2, v
Suppose 4*p - 2 = 2*k, -5*k + 2*k = -3*p + 6. Let v = 78 - 392/5. Sort v, k, 2/17.
k, v, 2/17
Let q(n) = 3*n**2 - 4*n + 1. Let t be q(3). Suppose 5*r = r + t. Let u(w) = -w**3 - w. Let p be u(1). Sort p, r, 0 in decreasing order.
r, 0, p
Suppose 3*j - 12 + 1 = -5*q, 3*q = -4*j + 11. Suppose 0 = 4*v - 7*v - 36. Let r be 23/(-21) + (-8)/v. Sort 0.5, j, r in decreasing order.
j, 0.5, r
Let f(g) = -2*g**2 - 3*g. Let b be f(-2). Let k(h) = -10*h + 6*h + 3*h + 9. Let s be k(10). Sort b, s, 2 in descending order.
2, s, b
Let x = 65032/15 - 17571646/4053. Let v = x + -393163/222915. Let p = v - -26/11. Put p, -2, -0.4 in ascending order.
-2, -0.4, p
Let x be ((-8)/8)/(2/(-1)). Let a = -6 - -10. Sort x, a, 2 in descending order.
a, 2, x
Let z = 2 + 3. Sort -2, -5, z in descending order.
z, -2, -5
Let q(s) = s**2 + 4*s + 2. Let h be q(-4). Let x(d) = d - 4. Let z be x(h). Suppose -10*i = -14*i + 16. Put 3, z, i in decreasing order.
i, 3, z
Let h be 1/(-3) + 33/(-9). Sort 2, h, 1.
h, 1, 2
Let x = 140.2 - 140. Let r = 11 - 7. Let b = 5.4 - 5. Sort b, r, x in ascending order.
x, b, r
Let q = 7 - 3. Let i = -2 - -7. Sort q, i, 0.
0, q, i
Let a = -44 + 47. Sort 5, -11, a, 1.
-11, 1, a, 5
Let c = 11 + -8. Suppose y = -y. Suppose y = -3*b + 5*b - 8. Put c, -0.3, b in decreasing order.
b, c, -0.3
Let k = 8 - 5. Suppose -2*d + 3*t - 3 = 0, 5*d + k = -0*t + 3*t. Let h(b) = b - 17. Let y be h(16). Sort d, y, 3 in decreasing order.
3, d, y
Let p = -186 - -182. Let g(j) = -5*j**3 - 20*j**2 + 4*j - 9. Let k(h) = -h**3 - 5*h**2 + h - 2. Let y(n) = -2*g(n) + 9*k(n). Let m be y(5). Sort p, m, -3.
p, -3, m
Let d(r) = r**2 - 3*r - 2. Let o be d(4). Sort o, 3, -10 in decreasing order.
3, o, -10
Let d be -7 + 9 - (2 - 2). Sort 3, -2/3, d in increasing order.
-2/3, d, 3
Let f be -5 + 47/9 - (-50)/18. Put 2, -3, f in