n ascending order.
-1, i, 2
Let p be 0 + (6/2)/3. Let a be p + (-9)/(6/(-2)). Put -4, 2, a in ascending order.
-4, 2, a
Let y = -55 + 443/8. Let d be (6/(-22))/(6/4). Put d, 3/7, y in descending order.
3/7, y, d
Let s(n) = -1595*n + 1. Let t be s(-3). Let x be t/42 + 4/(-6). Let v = x + -113. Sort v, -1, 2.
-1, v, 2
Suppose -7*g + 10*g = 0. Suppose 0 = -4*o + 3*d + 11, -2*o + 6*o - 4*d - 16 = g. Sort -2, -4, o in decreasing order.
o, -2, -4
Let d = 14 + -10. Let u = -0.9 - 3.1. Put d, -2, u in increasing order.
u, -2, d
Let x be 108/90*10/4. Put x, 0.2, 7/3 in increasing order.
0.2, 7/3, x
Let d(b) = b + 14. Let q(k) = -2*k - 29. Let g(p) = 5*d(p) + 2*q(p). Let t be g(-14). Sort t, -5, -3 in increasing order.
-5, -3, t
Suppose -2*v + 3*v - 4 = 0. Put v, 5, 0 in decreasing order.
5, v, 0
Suppose 3 + 1 = -2*s. Suppose m = -m + 4. Suppose -4*a + 6 = -3*k, -m*a = 2*a - 4*k - 4. Sort 2, a, s.
s, 2, a
Suppose f - 5 = -3*y, -3*f = -0*y - 4*y + 11. Put 4, 0, -5, y in decreasing order.
4, y, 0, -5
Suppose 0 = 4*t - 5*g - 22, 3*t + 2*g + 2*g = 1. Let v be (-8)/6 - -1 - 0. Put v, 2/7, t in decreasing order.
t, 2/7, v
Let l = 0.05 - 2.05. Let j = l + 2.4. Let f be (-10)/(-4)*-1*(-1)/(-1). Sort j, f, -2 in decreasing order.
j, -2, f
Let y = 19 - 16. Let l = 4 + -8. Let b be l/6 + 14/3. Sort b, y, -1.
-1, y, b
Let n be (-2)/(-6) - 17/6. Let t = 0.3 + 0.7. Sort t, n, 0.1 in ascending order.
n, 0.1, t
Let s be 1 + 1 - (1 - 0). Suppose 0 = -91*w + 95*w - 32. Sort s, -2, w in increasing order.
-2, s, w
Let g be (-4 + 2)/(28/8). Sort 5, 0.1, g in increasing order.
g, 0.1, 5
Suppose 2*j - 4 = 0, -2 - 6 = -q - 2*j. Sort 0, q, -4 in descending order.
q, 0, -4
Let c be (42/(-49))/(2/(-14)). Suppose 0 = 5*u - 26 + c. Put 2, -1, u in increasing order.
-1, 2, u
Let q = -69 + 69.2. Put q, 1/8, -3/7, -1/4 in increasing order.
-3/7, -1/4, 1/8, q
Suppose -5*k + 4 = -3*u, 0 = -5*u + 2*k - 13. Put u, -4, 0 in descending order.
0, u, -4
Suppose -3 - 3 = -2*x. Let p be ((-12)/(-9) - -2)/2. Put p, 0, x in decreasing order.
x, p, 0
Let y = 1191910103/573 + -2080123. Let n = y + -2/191. Let v be -1*(-3 + (-26)/(-10)). Put n, v, 5 in ascending order.
n, v, 5
Suppose -3*k = -5*o + 31, -o + 26 = -3*k + 3*o. Sort 2, k, -2/15 in descending order.
2, -2/15, k
Let b = 4 - -2. Let k = -2.5 + 2.3. Sort b, k, 5 in descending order.
b, 5, k
Let s = 4/111 - -62/333. Let r = 2 - 4. Sort 3, r, s in descending order.
3, s, r
Let k = 1 - 6. Let n = -15 - -11. Let q = n + 0. Sort 0.2, k, q in decreasing order.
0.2, q, k
Let b = 6 + -1. Let s = 2.2 + -2. Let r = -0.5 + s. Sort b, 1/4, r in decreasing order.
b, 1/4, r
Suppose 5*t - 55 = 10. Suppose -4*g + t = 5*i, 4 = 2*i - 3*g - 15. Put i, 4, 0 in descending order.
i, 4, 0
Let z = 4.2 - 3.7. Put -5, -3, z in descending order.
z, -3, -5
Let n be (-8)/(-6)*5/(-70). Let y = -245/4 - -61. Sort n, 1, y in descending order.
1, n, y
Let z = 8 - 5. Let i(s) = 6*s**2 - s. Let k be i(1). Let d be 1 - (-2 + k)*-1. Put d, -2, z in decreasing order.
d, z, -2
Let n = 40/13 - 95/52. Let z = -6.1 + 2.7. Let k = z + 3.5. Put -0.2, k, n in decreasing order.
n, k, -0.2
Let r = 7 - 6.5. Let c = 6 - 11. Put c, -0.4, r in decreasing order.
r, -0.4, c
Suppose o - 40 = -3*o. Let z(c) = -c**2 + 11*c - 12. Let q be z(o). Sort -6, 5, q in descending order.
5, q, -6
Suppose 0*v - 2*v - 6 = 0. Let k = 18.5 + -18. Put k, v, -0.1 in increasing order.
v, -0.1, k
Let i be 12/(-42) + 23/56. Sort -2, i, 0.2 in increasing order.
-2, i, 0.2
Suppose 7*h = 3*h - 12. Let j be (12/(-10))/(9/(-30)). Sort h, j, -2 in increasing order.
h, -2, j
Let a = 61 + -61.02. Let r = -12/17 + 128/85. Sort a, 3/5, r.
a, 3/5, r
Let n = -0.95 + -1.05. Sort 1, -0.4, -2/27, n.
n, -0.4, -2/27, 1
Let q = -0.01 + -0.39. Let v = q - -0.9. Sort -5, v, 0.3.
-5, 0.3, v
Let k(a) = -a**2 + 8*a + 5. Let z = -16 + 24. Let q be k(z). Suppose 0 = q*h - 4*h - 2. Sort h, -3, 3 in descending order.
3, h, -3
Let t = -27.6 - -28. Let h = -2.3 + 2.1. Sort 5, t, h in descending order.
5, t, h
Suppose -2*t - 864 = -18*t. Sort -4, t, 2 in increasing order.
-4, 2, t
Let l = 46 + -44. Sort -2, l, -10, 1 in decreasing order.
l, 1, -2, -10
Let r(g) = -g**2 + 2*g. Let b be r(3). Let x = -4 - -5. Let n be -1 + -1 + x - -6. Sort b, n, 2.
b, 2, n
Let a = -18 - -21. Put -5/3, a, -3 in increasing order.
-3, -5/3, a
Suppose 4*r = -3*f - 23, -r + 3*f - 5*f - 7 = 0. Put -1, -4, -2, r in descending order.
-1, -2, -4, r
Suppose 4*y + 3*c = 2*y - 14, y - c = 3. Let v(g) = g. Suppose 0 = -2*l - 3*l. Let t be v(l). Put t, 5, y in descending order.
5, t, y
Let h be (-3)/(-6) - 1/2. Suppose 3 = -3*t + 18. Suppose 5*g - 26 = 3*q, 0 = -g - q + 2. Sort h, t, g in increasing order.
h, g, t
Let a be (-1)/5*(-1)/(-1). Suppose -2*v + 5 + 1 = 0. Suppose -3 - 6 = v*c. Sort c, a, -6 in descending order.
a, c, -6
Let m be (-3)/(4/((-8)/(-3))). Let o(w) = -w**3 - 4*w**2 - 3*w. Let g be o(m). Put g, 1, -4 in decreasing order.
1, g, -4
Let t = 61 - 66. Put t, -2, -4/5 in ascending order.
t, -2, -4/5
Let v(u) = -2*u + 30. Let f be v(17). Sort 2, 0, f, 1 in descending order.
2, 1, 0, f
Suppose -3*n - 2*n = 0. Put -2, n, 5 in decreasing order.
5, n, -2
Suppose 3*r - j = -0*j - 10, -18 = 5*r - 3*j. Suppose f + 2 = 2*f. Sort 3, r, f in decreasing order.
3, f, r
Let i = 10 - 10.1. Let b = -4 - -6. Let t = 2.95 + 0.05. Sort t, i, b in ascending order.
i, b, t
Let n = -140/219 + -2/73. Let d(a) be the first derivative of a**4/4 - a**3/3 - a**2/2 - a - 2. Let k be d(0). Put 2/13, k, n in decreasing order.
2/13, n, k
Let f = 12 - 17. Put 6, f, 5 in descending order.
6, 5, f
Let s = -3.53 - -0.13. Let k = -3 - s. Sort -1, k, -0.5 in decreasing order.
k, -0.5, -1
Let k = 81 + -83. Suppose -o - 8 = 5*q, 2*o - q + 16 = -0*o. Sort k, o, 0.3 in ascending order.
o, k, 0.3
Suppose -5*w = 4*j - 23 - 7, -5*j = -w - 23. Suppose 0 = -j*m + 6 + 9. Let y = 0.9 - 2.9. Sort m, y, 3/5.
y, 3/5, m
Let x be (-47)/9 - (-6)/27. Sort 4, x, -0.5 in descending order.
4, -0.5, x
Let t = -2.4 - -2. Put -4, 2/3, t in ascending order.
-4, t, 2/3
Suppose q - 20 = 5*q. Let w(m) = m**2 + m. Let s(y) = 5*y**2 + 9*y - 6. Let d(j) = s(j) - 4*w(j). Let b be d(-6). Sort b, 2, q in decreasing order.
2, b, q
Let u(t) = t**2 + 6*t - 1. Let p be u(-7). Sort -2, -4, p in ascending order.
-4, -2, p
Let a = 6 - 5. Let v be (3/5)/(4 - 5). Sort v, a, 0 in decreasing order.
a, 0, v
Let z = -0.3 - -0.1. Suppose 0 = 101*h - 100*h - 4. Put 0.01, h, z in decreasing order.
h, 0.01, z
Suppose -d - 12 + 3 = 2*s, -5*d = -5*s - 15. Put d, 23, -5 in descending order.
23, d, -5
Let j be -3 + (-3 - (-2)/2). Let s = 37 - 32. Sort j, 2, s in decreasing order.
s, 2, j
Let h = 0.19 - 3.19. Sort 1/6, -2/5, h in increasing order.
h, -2/5, 1/6
Let b = 2 + -6. Let u(v) = -v + 1. Let k be u(-2). Suppose 5*j - 24 = -k*w, -3*j + 0*w = -4*w + 3. Put -1, b, j in descending order.
j, -1, b
Let p = 5.8 - 6.2. Let o = 0.2 - 0.3. Sort 2, o, p in increasing order.
p, o, 2
Suppose 0 = 4*b + 5*c + 52, -2*b = 2*c + 21 + 3. Put b, -4, -2 in increasing order.
b, -4, -2
Let l be -4 + 2 + (-4)/2. Let q = -2 + 4. Suppose 3*f + q*x - 5*x - 15 = 0, -f + 11 = -4*x. Sort l, -3, f in ascending order.
l, -3, f
Suppose 3*p + t - 5 = -4, 4*t + 9 = p. Suppose 0*b + 5*b = 0. Sort -5, p, b in descending order.
p, b, -5
Suppose -2*v = -v + 4. Let j be 1/(-2)*(-2 + v). Suppose -5*c - 2 = -j*c. Sort c, -5, -4.
-5, -4, c
Suppose -j + 4 = -2*j. Put j, 3, 4 in descending order.
4, 3, j
Let g(w) = w**3 + 7*w**2 - w - 1. Let p be g(-7). Suppose 0 = -y - 2*y - 9. Let m = y + p. Sort 3/5, m, 0.1 in increasing order.
0.1, 3/5, m
Let v = 29 - 29.1. Put -0.2, v, 1/2 in ascending order.
-0.2, v, 1/2
Suppose -4*y + y = 36. Let j(z) = z**3 + 11*z**2 - 13*z - 12. Let c be j(y). Put 0.1, c, 1/3 in decreasing order.
1/3, 0.1, c
Let k = -22 - -32. Suppose 6*n - n = k. Suppose 2*a = 4*a + 10. Sort 3, a, n in decreasing order.
3, n, a
Let g = 34 - 34. Put -17, 3, 5, g in increasing order.
-17, g, 3, 5
Let m = -101 + 58. Let o = 216/5 + m. Let z be (-21)/(-35) - (-7)/5. Sort 1/3, o, z in descending order.
z, 1/3, o
Let s(z) = -z**2 + 2*z - 1. Let n(k) = k. Let u be n(0). Let w be s(u). Sort 2, -1/3, w in decreasing order.
2, -1/3, w
Let a(z) = 6*z**2 + 2*z + 1. Let v be a(-1). Suppo