order.
3, y, u
Let s be 76/40 - 3/2. Let y = -2.05 + 2. Let x = -5.05 - y. Sort s, 0.3, x.
x, 0.3, s
Let u = 34 + -376/11. Put 1/7, 4, u, 0.5 in increasing order.
u, 1/7, 0.5, 4
Suppose -2*m = -4*m + 10. Sort 9, m, -1.
-1, m, 9
Suppose z + 1 = -y, 0 = -0*z - 2*z - 4*y - 2. Put -3, z, 0 in ascending order.
-3, z, 0
Suppose -o - 19 = 4*n, 5*o = 5*n + 9*o + 21. Put n, 3, -4, 4 in decreasing order.
4, 3, -4, n
Let g = -124 - -107.9. Let i = 16 + g. Sort 5, i, -2 in descending order.
5, i, -2
Suppose -6*m = -2*m - 16. Sort 5, m, 0, -3 in increasing order.
-3, 0, m, 5
Let i(j) = -j. Let a be i(4). Let r = -1 - a. Sort r, 1, 0 in increasing order.
0, 1, r
Suppose 4*w + 3*p - 12 = p, 3*w = -p + 10. Put -2, 1, w in descending order.
w, 1, -2
Let f = 12 + -17. Put -4, -3, f in decreasing order.
-3, -4, f
Let s(f) = -f**3 + 3*f**2 - 1. Let k be s(2). Let m = -11 + 8. Sort m, -1, k in ascending order.
m, -1, k
Let w be ((-6)/(-9))/(4/(-18)). Sort w, 3, 0.
w, 0, 3
Let k = 71 - 69. Sort 1/3, 3, k in decreasing order.
3, k, 1/3
Suppose 0*r + 2*r = i + 4, -3*i + 20 = 2*r. Let m be (6/(-14))/(3/4). Put -3, m, r in descending order.
r, m, -3
Let v(u) = -3 + u**3 + 0*u + 4*u - 6*u. Let x be v(3). Suppose 0 = -5*l + x + 7. Put -4, l, 3 in descending order.
l, 3, -4
Let p(f) = -f**3 + 6*f**2 - 5*f + 4. Let s be p(5). Suppose -y + 4*v - 2 = 4*y, 4*v = -s*y - 16. Sort 5, 0, y in descending order.
5, 0, y
Let r = -0.1 - 0.1. Let o = -424.5 - -424. Put -2/13, o, r in decreasing order.
-2/13, r, o
Suppose -10 = -22*j + 17*j. Put -5, 10, j, -3 in increasing order.
-5, -3, j, 10
Let t = -13 - -13. Put 1, -4/3, t in decreasing order.
1, t, -4/3
Let q = 37/150 - 2/25. Sort -1, 3, q, 2 in decreasing order.
3, 2, q, -1
Suppose -9*v = -12*v + 15. Let c = 8 + -6. Suppose -c*l + 1 = 7. Sort l, -4, v in increasing order.
-4, l, v
Suppose 3*q + 17 = f, 0*q - 8 = -4*f - 3*q. Sort f, 1, 2 in descending order.
f, 2, 1
Suppose 4 = 2*v + 5*d, 4*d - 5 = -2*v + v. Let k = 2.4 + -2. Sort 0.5, v, k.
v, k, 0.5
Suppose 3*r + 2 = -4. Let v = r - -2. Suppose -5*k - 7 = -17. Sort 3, k, v in increasing order.
v, k, 3
Let t be 1 - ((6/(-3))/(-2))/(-1). Let p = -3 + 6. Let k = -3.1 + p. Put k, t, 5 in descending order.
5, t, k
Let w = 0.65 - 3.65. Put -1/6, w, 0.4, 0 in descending order.
0.4, 0, -1/6, w
Let s(q) = -q**2. Let f be s(1). Suppose 2*w = 7*w - 15. Put w, f, 5 in decreasing order.
5, w, f
Let z = 6 - 25. Sort z, -1, 1 in increasing order.
z, -1, 1
Let f = 2 - 5. Suppose g + 9 = 4*g. Let k = -9 + 5. Sort f, g, k.
k, f, g
Suppose -3*s - 9 = -5*r, -10 = -s - s - 2*r. Let a(h) = -h**3 - h**2 + 3*h + 2. Suppose 5*k = 2*k + z - 6, 3*k - 2*z = -6. Let n be a(k). Sort n, 4, s.
n, s, 4
Let d = 0.078 + -0.178. Put 5, -5, d in increasing order.
-5, d, 5
Let s be (25/15)/(2/(-12)). Let d be (s/(-7))/(-1) + 1. Sort d, -4/7, 5 in increasing order.
-4/7, d, 5
Let d be 18/30 + 6/(-10). Sort -1, 2, d in descending order.
2, d, -1
Suppose 0*g - 2*o - 26 = -g, 4*o + 16 = 0. Let l = 35/2 - g. Sort l, 4/7, -1.
-1, l, 4/7
Let z = -0.97 + -0.03. Sort -2, 3/4, 0, z.
-2, z, 0, 3/4
Let t = 95 + -96. Put t, 1, 2, 5 in increasing order.
t, 1, 2, 5
Let n be ((-1)/(-2))/((-2)/(-20)). Suppose -5*k + n = -0*k. Sort k, 10, -2.
-2, k, 10
Let u(x) = -x**3 + 6*x**2 - x + 6. Let g be u(6). Suppose 0 = 3*r - 64 - 2. Let t be (-2)/8 - r/8. Put -1, g, t in descending order.
g, -1, t
Let z = -0.2 + 4.2. Let m = -0.8 + -4.2. Sort z, m, 2/5 in descending order.
z, 2/5, m
Let p = -38 - -37. Suppose 0 = -6*w + w - 10. Sort w, p, -4 in decreasing order.
p, w, -4
Let y = 1.83 + -0.83. Sort y, 1/4, 2, -0.1 in increasing order.
-0.1, 1/4, y, 2
Let m = -9 - -0.4. Let q = m + -0.4. Let l = -5 - q. Put 1/3, -4, l in decreasing order.
l, 1/3, -4
Let q(b) = -6*b**2 + b**3 + b**2 + 4 + 0*b**2 - b. Let k be q(5). Put k, -4, -2 in increasing order.
-4, -2, k
Let a = -0.04 - -2.04. Let l be (8 + 1)/((-15)/(-10)). Suppose -4*i - l + 26 = 0. Put i, a, 0 in descending order.
i, a, 0
Let c = -9.4 + 15.1. Let r = c - 6. Let f = -35 - -33. Put r, 1, f in increasing order.
f, r, 1
Let v be (3/(-10))/((-30)/(-25)). Let y = 0.1 + -0.1. Let j = 5 - y. Put 0.4, v, j in decreasing order.
j, 0.4, v
Let y = 57 - 55. Put 13, y, -2 in decreasing order.
13, y, -2
Let b(g) = g**3 - 6*g**2 + 2. Let z be b(6). Suppose -1 = -x - z*p, -2 + 4 = -2*p. Suppose 20 = x*c + c. Sort c, 2, -5 in decreasing order.
c, 2, -5
Let w = 0.5 - 0.35. Let b = -0.05 - w. Let u = 0.1 - 0.6. Sort 1/7, b, u.
u, b, 1/7
Let x = 260.06 + -258. Let a = x + -0.06. Let d be 80/(-182) - (-14)/49. Put 0, d, a in ascending order.
d, 0, a
Let k = -4 - -3. Let t = k - -2. Let a = -817/9 + 91. Sort a, 0, t in decreasing order.
t, a, 0
Let s = -2 + -1. Let r = 3.5 + 0.5. Sort s, r, 2 in ascending order.
s, 2, r
Let w be 3/6*10/1. Sort w, -4, -1 in increasing order.
-4, -1, w
Suppose 11*b - 7*b - 16 = 0. Put 5, -2/21, -5, b in descending order.
5, b, -2/21, -5
Suppose 3 = -5*x - 22. Sort -1, 5, -2, x in decreasing order.
5, -1, -2, x
Suppose 3*s = 3*v + 24, 5*v - 3*s + 5*s + 5 = 0. Let o(q) = q**2 + 3*q - 5. Let y be o(-5). Let z be 1 + (8 + -4 - 7). Put y, z, v in increasing order.
v, z, y
Let d(n) = -n**3 - 17*n**2 - 3*n - 53. Let t be d(-17). Put -5, t, -4, 5 in ascending order.
-5, -4, t, 5
Let x = 3/10 - -91/30. Let d = x + -4. Sort -4, d, -1 in increasing order.
-4, -1, d
Let g be (1/((-6)/2))/(-1). Let f = 42.1 + -42. Sort f, 4, g.
f, g, 4
Let r = 22 + -25. Sort r, 3, 5, -5 in descending order.
5, 3, r, -5
Let t = 13 - 28. Let d = 11 + t. Sort -5, d, 5 in ascending order.
-5, d, 5
Let i = 5.21 - 0.21. Let o = 5 - i. Put -4, 3, o in descending order.
3, o, -4
Let m = 13 - 13.3. Let q = -10 - -14. Put q, 0.4, m in descending order.
q, 0.4, m
Let q be ((-57)/2)/(3 - 20/8). Put -4, -2, q in decreasing order.
-2, -4, q
Suppose d = -0*d + 3*t - 10, -3*d = -t + 6. Let w be 2*d*(-12)/(-8). Sort -5, 4, w in ascending order.
-5, w, 4
Suppose -2*b - 4*m = -33 + 9, -2*b - m = -9. Suppose -b*a + 4 = -2. Put 2/3, -2, a in descending order.
a, 2/3, -2
Let j = 10/3 - 17/6. Let k = 0.8 - 0.6. Put j, k, -2/9 in decreasing order.
j, k, -2/9
Suppose 4*l + 3*n + 19 = 0, -l - 4*n = -n + 7. Let i be 228/(-44) + (-2)/(-11). Sort i, l, 0.
i, l, 0
Let p be -9*(-2 + (-12)/(-9)). Let x be -3*p*4/(-12). Suppose -x*c + 4*c = n, 20 = -2*c + 4*n. Put -5, 0, c in descending order.
0, c, -5
Suppose 8*p = 4*p + 8. Sort p, 3, 5.
p, 3, 5
Let h = -295435/8 + 37036. Let s = h - 107. Let u = 0.1 + -0.1. Sort -0.2, u, s in descending order.
u, -0.2, s
Suppose 0 = 2*x + 2*x - 2*l, 4*l - 26 = -5*x. Let k = -8 + 4. Sort k, -2/3, x in decreasing order.
x, -2/3, k
Let i = 5 - 5. Sort i, -4, -6.
-6, -4, i
Let k(w) = -2*w**2 + 4*w**2 + 2 + 90*w**3 - w - 91*w**3. Let g be k(2). Sort -5, g, 2 in decreasing order.
2, g, -5
Let k = -1 + -4. Suppose -17 - 7 = -6*j. Put j, k, -3 in ascending order.
k, -3, j
Suppose 0 = j - 6*j + 290. Let q = j + -41. Suppose 5*m = -q + 2. Sort m, 1, 0 in ascending order.
m, 0, 1
Let b(i) = -2*i - 18. Let z be b(-11). Put -4, z, 0.5, 1/4 in descending order.
z, 0.5, 1/4, -4
Suppose -2*n = -n - 5. Let k = -9 - -4. Let x = 0.15 + 0.05. Put k, x, n in decreasing order.
n, x, k
Let r = 7 + -4. Let d = -2.03 - -2. Let b = d - 1.97. Sort b, 2, r in descending order.
r, 2, b
Let s(n) = 0*n**2 - n**2 - 2*n + 5 - 8*n + 0*n. Let p be s(-10). Suppose -6*a - 3 = -3*a - k, -3*a = -3*k + 3. Sort -2, a, p in increasing order.
-2, a, p
Suppose -3*m - 3*n - 18 = 0, 0*m + 4*m + 3*n + 22 = 0. Let u(t) = 4*t**2 - t. Suppose -5*s - 7 = -2. Let o be u(s). Sort m, o, -3 in decreasing order.
o, -3, m
Let o = -16 + 14. Let n be (-3 - o) + (-15)/(-10). Sort n, -5, 3/5.
-5, n, 3/5
Let y = -0.07 - 0.23. Let u = 0 + y. Sort -0.7, u, -4 in descending order.
u, -0.7, -4
Let a = -0.85 + -0.05. Let c = -1.1 + a. Sort -1/6, c, 5 in decreasing order.
5, -1/6, c
Let o = 169 - 172.04. Let q = 0.04 + o. Let f = 6 + q. Put f, -0.1, 4 in descending order.
4, f, -0.1
Let m = -0.1 - -0.5. Put 1, 0.5, 4/3, m in descending order.
4/3, 1, 0.5, m
Suppose 0 = -c - 3*p - 27, 6*p + 56 = -2*c + 2*p. Let m be (2/(-10))/((-8)/c). Sort 1, m, -0.2 in increasing order.
m, -0.2, 1
Let v be 5/(4 + -2 - 3). Sort 5, -4, v.
v, -4, 5
Let c(l) = -2*l**3 - l**2 - 2*l - 