se 0 = -y + 2*y + 2. Put y, -4, v in ascending order.
-4, y, v
Suppose 0 = -0*y - 2*y - 4. Sort 1, y, 0.
y, 0, 1
Let b be 261/51 + (-4)/34. Sort -5, b, 9 in decreasing order.
9, b, -5
Let w be -5 + (-4 - -6) - -2. Put 11, w, 1 in decreasing order.
11, 1, w
Let z = 8 - 7.6. Put z, -0.6, -5 in ascending order.
-5, -0.6, z
Let s = 1 + -5. Sort 0, s, 0.2.
s, 0, 0.2
Suppose -2*w = 4*h + h + 8, -5*h = 10. Let m = 0 - -2. Suppose 35 = -3*n + 3*a + 2*a, m*a - 8 = 0. Put w, -2, n in ascending order.
n, -2, w
Let w be 21/6 + -3 - (-3)/(-6). Put w, 5, 3 in decreasing order.
5, 3, w
Let w = -105 + 109. Put w, -6, 0 in descending order.
w, 0, -6
Let k = 4 - 5. Let x = -1.2 - k. Let s(b) = b. Let t be s(3). Put x, t, 0.4 in descending order.
t, 0.4, x
Let t = 16 + -31/2. Sort 1, t, -2.
-2, t, 1
Suppose 6*r + 19 - 1 = 0. Put r, 0.2, -9 in descending order.
0.2, r, -9
Let w(y) = 3*y**2 + 1. Let m be w(-1). Suppose -2*d - m*a = -16, 5*a - a = 20. Let x = 1.9 + -2. Put x, 0, d in ascending order.
d, x, 0
Let f = -0.68 + 0.28. Sort -2/9, f, -1/32, -0.2.
f, -2/9, -0.2, -1/32
Let c(r) = r**2 - 8*r + 6. Let i be c(6). Let a(q) = q**3 + 7*q**2 + 5*q - 2. Let y be a(i). Let h = 0 - 0. Sort 1, h, y in decreasing order.
y, 1, h
Let s(d) = 0 + d + 7 - 2 + 3*d. Let h be s(-2). Let f = -1 + 0. Sort 2, h, f.
h, f, 2
Suppose -2*c + 2*k - k = -3, 0 = -2*c - 2*k. Put 5, c, -3 in decreasing order.
5, c, -3
Let k be 2*-3*2/4. Sort k, 5, 1, -1 in descending order.
5, 1, -1, k
Let o be 3/3 + 5 + -5. Put 2, -5, o in descending order.
2, o, -5
Suppose -20 + 120 = 2*i. Let w be (8/i)/(6/15). Sort w, -1, -5.
-5, -1, w
Suppose 0 = -3*y - 4 + 13. Sort 2, y, -3.
-3, 2, y
Let a = -2.6 - -4.6. Sort -4, a, -0.3 in descending order.
a, -0.3, -4
Let k = -43.7 + 41. Let d = 0.7 + k. Put -3, d, -0.3 in decreasing order.
-0.3, d, -3
Let j = 0.31 - 0.01. Let a = 2.6 - 0.6. Let t = 1.6 - a. Sort j, 2/7, t in ascending order.
t, 2/7, j
Let c = -15 + 15.4. Sort -1, -4, c in decreasing order.
c, -1, -4
Suppose 8*z = 3*z - 3*o - 11, -z - 2*o - 5 = 0. Let h(q) = -q**3 + 5*q**2 + 2*q - 7. Let g be h(5). Let s = -5 + 1. Put s, z, g in descending order.
g, z, s
Suppose 4*g = -4*s + 12, -2*s + 6 = -3*g - 0*g. Put 4, 2, 1, s in increasing order.
1, 2, s, 4
Let w be (-1 - (-6)/(-3)) + (-23)/(-7). Sort -2.3, w, -5.
-5, -2.3, w
Suppose -4*a + 0*a = 0. Let w = -43 - -43.5. Put w, 1/10, a in descending order.
w, 1/10, a
Suppose 15 = -4*j - j. Sort 0, 3, j.
j, 0, 3
Suppose 0 = 2*k + k - 15. Let a = -5 + k. Sort -4, 5, a in descending order.
5, a, -4
Let a = -13 + 22. Suppose -a*h - 10 = -4*h. Sort -0.5, -1, h in descending order.
-0.5, -1, h
Suppose 2*f + 3 = 3*m - 2*m, 5 = -3*m - f. Suppose -3 = -j - 0. Sort m, 1, j in ascending order.
m, 1, j
Let s(v) = v - 8. Let d be s(8). Suppose -5*n + 2 + 13 = d. Suppose -5*t + n = y - 5, -4*t + 4*y - 8 = 0. Put 3, -5, t in decreasing order.
3, t, -5
Suppose b - 8 = -3*b. Suppose -b*l + 12 = -4*m, m + 0*m = -2*l - 13. Put l, 4, -0.4 in descending order.
4, -0.4, l
Suppose 0*w = -5*w. Let x = -5.3 - -0.3. Put x, 5, w in descending order.
5, w, x
Suppose q + q = -2*j - 4, 0 = -2*j - 4*q - 14. Let x be -2 + 0 - -3 - (-15 - -14). Sort j, -4, x in ascending order.
-4, x, j
Let t = 0.105 + -0.005. Sort 5, t, 4.
t, 4, 5
Let k = 0 + -1. Let g = -289/9 - -97/3. Put -0.3, k, g in ascending order.
k, -0.3, g
Let o = -0.179 - 92.821. Let r = -93.37 - o. Let a = r + -0.03. Sort -1, a, -2/9 in descending order.
-2/9, a, -1
Let p(h) = -2*h + 2. Let d be p(1). Put -6, -3, d, 2 in descending order.
2, d, -3, -6
Let y be 0 + 2 - (-6)/2. Let z(b) = 2*b + 8. Let a be z(-6). Let f(c) = -c**3 - 4*c**2 + 4*c - 7. Let t be f(-5). Sort y, a, t in ascending order.
a, t, y
Suppose -5*t - 3 = 2. Let j be 2*(7/(-2))/(-7). Sort t, j, -3 in increasing order.
-3, t, j
Let b = -59.05 - -62. Let p = b - -0.05. Put p, 0, -2 in increasing order.
-2, 0, p
Let m = 2 - 2.5. Let b(v) = -4*v**2 - 26*v - 11. Let x be b(-6). Sort x, 0.5, m in increasing order.
m, 0.5, x
Let d = 0.3 - -0.1. Let b = -0.04 + 0.03. Let h = b + -0.59. Sort -0.5, d, h in increasing order.
h, -0.5, d
Suppose -3*a + 4*r + 7 = 0, 5*a + 3*r + 2*r + 35 = 0. Suppose -2*h - 1 = 1. Sort 3, h, a in descending order.
3, h, a
Let a = -0.4 - 2.6. Let l be -1 + 61/105 - (-68)/238. Sort 1/2, l, a in decreasing order.
1/2, l, a
Let w = 4 - 8. Put 1, w, -5 in decreasing order.
1, w, -5
Let x be (7 + -7)*(5/(-2) + 2). Put 3, 19, x in decreasing order.
19, 3, x
Let l(y) = y + 7. Let g be l(-4). Suppose 3*h + 6 = 3*m, 6*m + g*h = 2*m - 13. Put m, 2, 5 in ascending order.
m, 2, 5
Let s(o) = -o**3 - 8*o**2 - 2*o - 11. Let f be s(-8). Sort -4, -9, f in descending order.
f, -4, -9
Let c(p) = p + 1. Let g(f) = -f - 2. Let z be g(-5). Let a be c(z). Suppose -3 = a*n + 13. Sort 5, -1, n in decreasing order.
5, -1, n
Let b = -18 + 17.6. Put b, -2, -3 in increasing order.
-3, -2, b
Let o be (-2)/6 - 33/9. Sort o, -3, 5 in decreasing order.
5, -3, o
Let k(j) = -3*j - 3. Let n be k(-6). Suppose -4*o - n = o. Sort 4, -4, o in increasing order.
-4, o, 4
Let h be ((-1)/4)/((-1)/4). Suppose 4*t = -5 + h. Let x = t - -5. Sort x, -4, 1 in increasing order.
-4, 1, x
Let c = 16 + -16.3. Suppose -4*s - n - 5 = 0, 0 = 2*s + 5*n - 0 + 7. Sort c, 1/5, s in descending order.
1/5, c, s
Suppose 0 = 4*a + 4*y - 16, -4*a = 2*y - 2 - 14. Sort a, -4, -3 in ascending order.
-4, -3, a
Let s(g) = -g**3 - 2*g**2 + g + 1. Let w be s(-2). Suppose f + 4*f = 0, -8 = -2*x - f. Sort w, x, -5 in increasing order.
-5, w, x
Let h(o) = o**2 + 4*o - 6. Let q be h(-6). Suppose -4*x = -3*f - 0*f + q, 5*x + 5 = 5*f. Sort x, 5, 4 in descending order.
5, 4, x
Let a be 1*-4 + (5 - -4). Put 3, a, -5 in decreasing order.
a, 3, -5
Let o(d) = d**2 - 9*d - 21. Let k be o(11). Sort 5, -5, k, -24 in descending order.
5, k, -5, -24
Suppose 12 = -2*v + b, 22 = -5*v + v + b. Suppose -h + 4 = 0, 4*s - 5*h = 64 - 24. Suppose 0 = 4*p - p + 3*t - 3, -s = -5*t. Sort p, v, 2 in decreasing order.
2, p, v
Let l = 20 + -14. Suppose 5*a - l = 14. Put 0, a, 2 in decreasing order.
a, 2, 0
Suppose 0 = -5*z + z + 16. Let b(v) = 3*v + 3. Let x be b(z). Suppose 0*j = -5*j - x. Put 3, 2/3, j in descending order.
3, 2/3, j
Suppose 14*y + 3 = 13*y. Put 0, 10, y, 3 in decreasing order.
10, 3, 0, y
Let o be 1/(0 - 1) + -2. Let i = 8 + -6. Sort -1, i, o in decreasing order.
i, -1, o
Let w be (4 - (0 + 4)) + 0. Sort w, 4, -3 in decreasing order.
4, w, -3
Let z(l) = 2*l + 3. Let u be z(-2). Sort u, 1, 4.
u, 1, 4
Suppose 11*l = -3*u + 6*l + 17, 2*u - 2*l = 22. Suppose k = 2*k + 2. Sort -5, u, k.
-5, k, u
Let u = 781091/8 + -97483. Let z = u - 153. Let p = -8 - -5. Put 1/4, z, p in ascending order.
p, 1/4, z
Let d = -0.4 + 0.3. Let r = 0.46 + -0.06. Put 0.2, r, d in increasing order.
d, 0.2, r
Let g = -0.071 - -0.071. Sort 0.4, -1, -0.7, g in descending order.
0.4, g, -0.7, -1
Suppose 0 = 3*m - 3*x, x - 6*x = -4*m - 3. Put -2, 2, m in decreasing order.
m, 2, -2
Suppose 4*r = -l - 6, 0 = -0*l - 5*l - 5*r - 15. Sort l, 4, -4, 0.
-4, l, 0, 4
Let a = -2.4 - -2.2. Let w = -7 + 2. Put a, w, -1 in descending order.
a, -1, w
Suppose -3*m = -2*g - 2 - 2, -5*g - 10 = -3*m. Let w = -2.8 + 3.2. Sort w, -0.5, g in decreasing order.
w, -0.5, g
Let f = -1/6 + 5/12. Sort 1, -0.9, f in decreasing order.
1, f, -0.9
Suppose -31 = b - 4*s - 13, 0 = -5*b + 4*s - 10. Let x be 1 + (-2 - 2) + b. Let l = 5/52 + 29/780. Sort x, -0.3, l in increasing order.
x, -0.3, l
Suppose -5*u + 4*f = -3 - 5, -4*u + 5*f + 10 = 0. Suppose 1 = 5*w - 4. Let m be w/2*2*-5. Sort u, m, 1 in descending order.
1, u, m
Suppose -6 = -2*s - s. Suppose 2*d + s = 3*d. Suppose d*k = 5*g + 10, -3*g + 3 = -3*k + 18. Put -2, -5, g in decreasing order.
g, -2, -5
Let w = 2.3 + -2.4. Let g = 0.3 - 0.5. Sort g, 5, w in descending order.
5, w, g
Suppose 25 = 5*a - 0*a. Put -2/15, -4, a in increasing order.
-4, -2/15, a
Let k = -205/3 - -69. Put 0.2, 2, -3, k in descending order.
2, k, 0.2, -3
Suppose 2*m = 5*w + 4*m - 6, -2*m = -3*w - 6. Let t = 0 - -2. Let c be 3 - (1 - (-1 + t)). Put w, c, -2 in decreasing order.
c, w, -2
Let z be 2/(-4)*0/((-25)/(-5)). Sort 3, -5, z, -12 in ascending order.
-12, -5, z, 3
Let s(p) = 41*p. Let t be s(-1). Let f = 289/7 + t. Let c be (1 - 3)*(-1)/2. Sort c, 0, f 