n decreasing order.
v, n, j
Let x be (-2 + 0)/(-1) + 1. Suppose 4*k - 6 = x*m + k, k - 4 = 3*m. Suppose o - 3*o = 10. Sort m, o, -0.5.
o, m, -0.5
Let w = 95 - 666/7. Sort -1, w, -0.2 in decreasing order.
w, -0.2, -1
Let f = 18 + -17. Let q be (30/24)/(f/(-4)). Let n be (-4)/14 - 36/21. Sort q, n, -4 in descending order.
n, -4, q
Let d(o) = o**2 + 2*o + 1. Let s be d(-3). Let f = 4 + -1. Let v = f - 2.7. Sort v, s, 0.1 in descending order.
s, v, 0.1
Let m be 2/30*62 - (-6)/(-45). Sort -5, m, -4, 5 in decreasing order.
5, m, -4, -5
Let i be (8/(-6))/((-1)/(-18)*-4). Sort 2, 3, i in decreasing order.
i, 3, 2
Suppose -3*t + 2*o - 3 = 0, -5 = 5*t + 3*o - 0. Let s = -18 - -47. Suppose 20 = 3*c - w, -w + 4 - s = -4*c. Put -3, c, t in decreasing order.
c, t, -3
Let l be (2/105)/(20/8275). Let s = l + -49/6. Let a = -204 + 2246/11. Sort a, 0.2, s in decreasing order.
0.2, a, s
Let j = -1.5 + 1. Let s = -1.928 - 0.072. Sort s, j, -0.6.
s, -0.6, j
Let k be -2 + (0 - 0) - 1. Let g = -17 + 10. Let p = g - -6. Put 3, p, k in descending order.
3, p, k
Let m be (-5*(-9)/15)/(-3). Suppose 4 + 4 = 4*w. Let p be (-15)/10*4/3. Put w, m, p in descending order.
w, m, p
Let c = -6 - -2. Let t be ((-3)/(-5))/((-5)/(-25)). Sort t, 4, c in decreasing order.
4, t, c
Let z = 60 - 58. Put -1, 0.3, -1/3, z in descending order.
z, 0.3, -1/3, -1
Suppose -2*j + 32 + 40 = 0. Let k be 359/(-10) + (-4)/8. Let z = j + k. Sort 4, z, 1/2 in increasing order.
z, 1/2, 4
Let h = -0.36 - -3.46. Let j = h + -3. Let g = -3.1 - -3. Sort j, g, -0.2 in decreasing order.
j, g, -0.2
Let r = -2.7 - -6.7. Let j = -3.2 + 0.2. Put -4, j, r in decreasing order.
r, j, -4
Let o be (-3)/(-5) + 16/40. Let p be -1 + -1 + o - -1. Put p, 4, -2 in descending order.
4, p, -2
Let d(a) = 5*a**3 + a**2 - a + 2. Suppose -o - 2*o = 6. Let c be d(o). Let y be ((-2)/5)/(c/60). Put y, -1, -3 in decreasing order.
y, -1, -3
Let k be 1/(-1)*-1 - -1. Let n(f) = -f**2 - 2*f + 3. Let i be n(k). Let r be (1/2)/((-1)/4). Put -1, i, r in descending order.
-1, r, i
Suppose -1 = 2*k - 3*k. Let j = 4 - k. Let b be 5/(-8)*j/(-15). Sort b, 2/11, -2/13 in descending order.
2/11, b, -2/13
Suppose -12 = -5*g + 3. Suppose 2*c - 7 = -5*b, -g*c - b + 3 = -c. Suppose 3*x = x - 8. Put x, c, 2 in increasing order.
x, c, 2
Let q = 10.5 + -10.9. Sort 1/3, q, 3, -3 in ascending order.
-3, q, 1/3, 3
Let a = -3.92 + 3.5. Let c = a - 0.08. Sort c, 0.2, 0 in ascending order.
c, 0, 0.2
Let s be ((-2)/(-3))/((-18)/783). Let y = 25 + s. Sort y, -8, -5 in ascending order.
-8, -5, y
Let y be (-115)/25 - (-4)/(-10). Sort y, -7, -2.
-7, y, -2
Let j be (2 - -2)*9/(-12). Let g be (-4)/(-30)*j/2. Let z = -0.36 - 0.04. Put 2/7, z, g in descending order.
2/7, g, z
Let r = -67 - -66.97. Put 2/7, r, -1 in descending order.
2/7, r, -1
Let c = -248/381 - 2/127. Put 2, c, 1/3 in descending order.
2, 1/3, c
Suppose -3*k + 6 = -0. Suppose 0 = -0*r - 5*r. Sort k, r, -5.
-5, r, k
Suppose 2*i - 12 = 3*z, -z - 43 = -8*i + 3*i. Sort 4, i, -4 in ascending order.
-4, 4, i
Let p = -5 - -10. Suppose 0*l = 4*w + 3*l - 26, -p*w = -3*l - 19. Sort 2, 2/7, w.
2/7, 2, w
Let j(q) = 3*q. Let o be j(-1). Suppose -5*u = -0*u - 4*d - 10, -3*u = 4*d - 6. Sort 5, u, o in decreasing order.
5, u, o
Let c be 7/(-2) - 2/(-4). Let g(a) = -3*a**2 - 19*a - 3. Let v be g(-6). Sort c, 4, v in ascending order.
c, v, 4
Let c = 6/25 + -1/25. Let h = -24 - -19. Put 0.4, c, h in decreasing order.
0.4, c, h
Let o = -1.1 - -1. Suppose s - 8 = -s. Suppose a - 12 = s*v - 0*v, a = -5*v - 24. Put o, 1/3, a in ascending order.
a, o, 1/3
Let j = -196.3 + 196. Let k = 102 + -99.08. Let c = -0.08 - k. Sort -0.4, c, j in descending order.
j, -0.4, c
Let c be (-26)/60 + (-4)/(-12). Let n = 229 + -226. Put n, -2, c in increasing order.
-2, c, n
Let c = -0.16 - 0.14. Sort -0.1, -0.04, c in ascending order.
c, -0.1, -0.04
Suppose 0 = g - 4 + 1, r + 4*g = 10. Put 19, r, 0 in decreasing order.
19, 0, r
Suppose 5*m + 13 = -7. Sort 3/5, m, 9 in increasing order.
m, 3/5, 9
Suppose 2*z - 2*n = 20, -4*z - 15 + 40 = -n. Let o be 7 + -2 + 0 + -2. Suppose o*g + 0*m - 17 = 5*m, 4*m + 24 = 5*g. Sort z, 1, g in increasing order.
1, g, z
Let q = 15 - 16. Sort -5, q, 0.3.
-5, q, 0.3
Let i(o) = -o**2 + 4*o - 1. Let q be i(3). Let s be (-1*1)/(17/q). Let n = 0.77 + -0.27. Sort -0.3, n, s in ascending order.
-0.3, s, n
Let y = 25 + -20. Let b(d) = -d - 4. Let w be b(-8). Suppose 0*s = -4*s + w. Put y, -2, s in descending order.
y, s, -2
Let y = 46/3 + -50/3. Suppose 0 = -g - 5, 2*d = -g - 0*g - 13. Let m be (-9)/4 - d/16. Put 3, m, y in decreasing order.
3, y, m
Suppose -l + 4 + 1 = 0. Let q = -2/3 + 0. Put -1/11, q, l in increasing order.
q, -1/11, l
Let k = 6 - 3. Suppose -3*h = 5*u - 25, k*u = 4 + 2. Suppose 1 = -4*m - 3. Sort -5, h, m in descending order.
h, m, -5
Let b be (7 + -8)*2/(2/7). Put -0.2, -3, b in decreasing order.
-0.2, -3, b
Let v = 25 - 26. Put 0.2, v, -0.4 in increasing order.
v, -0.4, 0.2
Let f be (-4)/18 + 40/18. Suppose 0 = 4*k + f - 18. Sort -3, k, 2 in decreasing order.
k, 2, -3
Let a be -4 + (-3)/(-1) - -5. Suppose -6*d = -a*d - 2. Let f = 0.4 - 0.8. Sort f, d, 1/2 in decreasing order.
d, 1/2, f
Let a(h) = 4*h**3 + h**2 - h - 2. Let z be a(-1). Put 3, z, 6 in decreasing order.
6, 3, z
Let l = -36 - -35. Suppose 2*v = v + 1. Let s(h) = -5*h**2 + 1. Let o be s(v). Put l, 3, o in ascending order.
o, l, 3
Let x = -3 - -2.8. Let n = x + 0.6. Suppose 3*q = -10 - 5. Put n, q, 3 in ascending order.
q, n, 3
Let i = 22819/7 - 3251. Let r = -60/7 + i. Let v = 39 + -39.5. Put -0.1, v, r in decreasing order.
r, -0.1, v
Let s = 0.061 - 13.061. Sort s, -5, 3, 0.4 in decreasing order.
3, 0.4, -5, s
Suppose 0 = 4*c - 28 + 24. Let s(k) = -3*k - 4. Let w be s(-3). Sort w, 0.2, c in descending order.
w, c, 0.2
Suppose -12 = -3*p - 0. Let k be 8/(-6)*5/p. Put 3, 4, k in decreasing order.
4, 3, k
Suppose -4*l + 2*t - 18 = -0*t, 0 = 3*l + 3*t. Put 4, -1, l in ascending order.
l, -1, 4
Let a(n) = -n**3 + n**2 - n + 1. Let p be a(2). Let c = -6 - -8. Sort 0, p, c in decreasing order.
c, 0, p
Let q(z) = -z + 23. Let y be q(-6). Sort y, -2, 5.
-2, 5, y
Let y = 10 - 7. Let t = 9.6 + -6. Let w = t - -0.4. Sort -2/5, w, y.
-2/5, y, w
Let z be (4 + -2)*10/(-4). Put z, -2, -6 in increasing order.
-6, z, -2
Let u = -107 - -107. Let t(s) be the second derivative of -s**5/20 + s**4/3 - s**3/6 - s**2 - s. Let v be t(3). Sort u, v, -1 in descending order.
v, u, -1
Let h = -28 + 26. Put -0.4, 0.2, h, 1/3 in increasing order.
h, -0.4, 0.2, 1/3
Let r = -8 + 11. Suppose r*h = 4 - 1. Put h, 3, 5 in ascending order.
h, 3, 5
Let d = -30/19 + 207/95. Let s be 3 - -1*(-2 + 1). Suppose 0*g = s*g. Sort g, 2/9, d in ascending order.
g, 2/9, d
Suppose -2*z - 2*p + 14 = 0, 0 = -2*z + z + p + 9. Let b = z + -5. Sort b, 2, -5.
-5, 2, b
Suppose 0 = l + 3*x + 14, -l - 4 - 4 = x. Suppose 2*c = -4*b - 32, -7*c + 2*c - 3*b = 45. Let t be (5/(-10))/(4/c). Sort t, l, -0.5 in increasing order.
l, -0.5, t
Suppose -2*l + 16 = -4*v, -2*l + 7*l = v + 4. Sort -5, l, 6 in decreasing order.
6, l, -5
Let d = -2 + 2. Let o = -5 - -4.92. Sort -3, o, d in descending order.
d, o, -3
Let b = -0.489 - -0.089. Sort 0.5, b, -5, 5 in descending order.
5, 0.5, b, -5
Let g = 40 + -57. Suppose -66 = -4*f - 18. Let d = f + g. Put d, -3, 4 in decreasing order.
4, -3, d
Let b = -175/3 + 58. Let l = 2.5 - 3. Sort l, b, -1.
-1, l, b
Let t = -0.4 + 0. Sort 0.2, -4, t in descending order.
0.2, t, -4
Let l = -1 + 0. Let o = 3 + -3. Let v be (-2 - o) + -2 + 6. Sort v, 0, l in descending order.
v, 0, l
Suppose 3*z - 4*z - 11 = 4*c, -c + 7 = -3*z. Suppose -2*j - 3*h + 8 = -9, h - 7 = -2*j. Sort j, 5, z in decreasing order.
5, j, z
Let n = -3 + 4. Let o = 1 - n. Put -0.4, o, -4 in descending order.
o, -0.4, -4
Let h(w) be the first derivative of w**2/2 + w - 1. Let r be h(-1). Put r, 5, 1 in increasing order.
r, 1, 5
Let n(d) = 8*d**3 - d**2 + 1. Let j be n(1). Suppose -3*b + b - j = 0. Sort 1, b, -0.4 in descending order.
1, -0.4, b
Suppose -5*k + 181 = 16. Let g be 6/4 - k/6. Let b(f) = f**2 - 6*f - 7. Let s be b(7). Sort g, s, -5 in decreasing order.
s, g, -5
Let m = 23 - 116/5. Let d be -5*3/(210/(-4)). Sort d, m, 0.3 in increasing order.
m, d, 0.3
Let p = 6 + -1. Let q = -6 - -1. Let k