 = -w, 0 = -x*w + 3*v. Put f, w, -5 in increasing order.
-5, f, w
Let y = 141 - 142. Let o be 3/((-6)/4) + -1. Sort 0, o, y in increasing order.
o, y, 0
Let f = 3 + -3. Let s be 0/(2 - (1 - f)). Suppose -w - 3 + 6 = s. Put w, 0.5, 4/7 in decreasing order.
w, 4/7, 0.5
Let a = -4.11 + 0.11. Let d = -0.1 + -1.9. Let b be (6/(-20))/(36/(-30)). Sort d, a, b in descending order.
b, d, a
Let g = 43/5 + -39/5. Put g, 5, 4 in descending order.
5, 4, g
Let d be 0 + (0/(-3) - -3). Let g = 1 - d. Let j be -1*9/6*g. Put 4, -3, j in increasing order.
-3, j, 4
Let f be 16 + 3/(6/(-2)). Suppose 0 = r - 6*r + f. Sort r, -1, 0 in increasing order.
-1, 0, r
Let g = 44.4 - 44. Put -2/17, 1, g in decreasing order.
1, g, -2/17
Let i be (8/(-4) - -1)*1. Let k = 3 + 2. Suppose p = 2*g + 3*g - 17, -k*p + 5*g = 25. Put 5, i, p in descending order.
5, i, p
Let o = -20 - -35. Suppose o = 5*v - 10*v. Put 5, v, -5 in descending order.
5, v, -5
Let m(p) = 5*p - 16. Let q be m(-3). Sort 0, -3, q, 5.
q, -3, 0, 5
Let h be (-9)/((-9)/(-4)) - 1. Sort 5, h, -2, -1.
h, -2, -1, 5
Let f(w) = -w**3 + 3*w**2 + 2*w + 1. Let z be f(4). Let k(x) = -x**2 - 8*x - 5. Let d be k(z). Suppose 0*y + 10 = d*y. Put y, -3, 4 in decreasing order.
y, 4, -3
Let b(u) = u**2 + 4*u - 5. Let a be b(-5). Put a, -1/2, 3/2 in descending order.
3/2, a, -1/2
Let d = 27 + -11. Suppose 2*u - d = -2*u. Let x = -65 + 66. Sort u, 2, x.
x, 2, u
Let i = 10/3 - 3. Let x(g) = -g + 5. Let n be x(9). Let r be 2/10*10/n. Sort 0, i, r in ascending order.
r, 0, i
Let h = 95.2 - 18.2. Let o = h - 76.61. Let y = o + 0.01. Sort 0.1, -2, y in descending order.
y, 0.1, -2
Let n(f) = -f**2 + 2*f**2 + 5*f + 2*f - 1. Let d(k) = -6*k**2 - k. Let w be d(1). Let v be n(w). Sort v, 2, 1 in decreasing order.
2, 1, v
Let t be 4 - ((-96)/(-14) + -3). Let u = 0.4 + -3. Let l = 0.4 - u. Put l, 0.5, t in ascending order.
t, 0.5, l
Let d be (-14 + 1/(-1))*1. Let h be (12/d)/(2/(-5)). Suppose -6*n - 20 = -2*n. Put h, -3, n in ascending order.
n, -3, h
Let z = 2 + -1.8. Let s = z - 0.1. Let i = -13 - -11. Sort i, -2/3, s in increasing order.
i, -2/3, s
Suppose 5*p - 2*g - 2*g = 28, -10 = -4*p - 3*g. Suppose -9 + 29 = -4*m. Put -1, p, m in decreasing order.
p, -1, m
Let l(a) = -a + 13. Let s be l(18). Sort 0, s, 4, -3 in increasing order.
s, -3, 0, 4
Let v(t) = -5 + 7*t - 2*t**2 + t**2 - 1 + 0*t. Let u be v(6). Sort -0.3, -0.5, u in descending order.
u, -0.3, -0.5
Let q = -20 + 24. Let m be (-156)/15 + 2/5. Let r be ((-2)/4)/(1/m). Put r, q, -5 in increasing order.
-5, q, r
Let i = -8 - -11. Sort 0, -1, i in increasing order.
-1, 0, i
Let o = 151 + -155. Let r be (-2)/(-3)*(-21)/(-2). Suppose 5*z + 4*k + 26 + r = 0, -3*k + 9 = -3*z. Put o, z, -2 in ascending order.
z, o, -2
Let k = 979 + -983.03. Let w = k + 0.03. Sort 5, 3, w.
w, 3, 5
Let j(h) = h + 1. Let x be j(4). Suppose 0 = x*o + c - 25, c + 0*c = 0. Let q(p) = -2*p - 1. Let y be q(2). Put y, 4, o in increasing order.
y, 4, o
Let c = -13.1 + 13. Let s = c - -0.5. Put 3, 2/21, s in decreasing order.
3, s, 2/21
Let f = -0.87 + 0.07. Let z = f + 0.3. Let t = -5 + 5. Sort -2/17, z, t in increasing order.
z, -2/17, t
Let q = 44 + -45. Put 2/29, -2, q in decreasing order.
2/29, q, -2
Let s(z) = -2*z**2 - z - 3. Suppose 2*a + 5*o + 6 = 0, 3*o = 2*a + 1 + 5. Let y be s(a). Let j be 8/36 - (-76)/y. Sort 5, j, 0 in decreasing order.
5, 0, j
Let s = 6.79 - -0.21. Sort s, -3/5, 0.3.
-3/5, 0.3, s
Let y = -6.4 - -6. Let b = 0 - 0.5. Sort y, b, 2/5 in descending order.
2/5, y, b
Let f = 1 + -0.9. Let d = 87/35 - 23/7. Let s = -3.4 - -3. Put f, s, d in increasing order.
d, s, f
Let x be 2/(-4) + (-5)/(-10). Let a(t) = 3*t**2 + 4*t + 2. Let j be a(-2). Let y = 8 - j. Sort y, -2, x in descending order.
y, x, -2
Let i = 4 + 0. Let p be (-2)/(((-8)/3)/i). Let x be 1 - (0 - (-8)/4). Sort p, 0.4, x in ascending order.
x, 0.4, p
Suppose 3*g - 6*g = 12. Let z = g - 0. Sort -5, -2, z in descending order.
-2, z, -5
Let g = -1231 - -1236.03. Let h = -0.03 + g. Sort 0.3, 3/4, h.
0.3, 3/4, h
Let g be 3 + -1*(-1)/1. Let k be 0/(-5 + 2 - 0). Sort k, g, 5.
k, g, 5
Let g(x) = x**2 + 8*x + 5. Let i be g(-8). Put 1, i, 4 in decreasing order.
i, 4, 1
Let t = -0.3 - -0.2. Let a = -0.216 - -0.016. Suppose 3*p - 2*p = 5*s - 13, 5*s = -2*p + 4. Put s, a, t in increasing order.
a, t, s
Let w = 63 - 66. Sort 0.1, -5, -2, w in decreasing order.
0.1, -2, w, -5
Let x be 12/(-6)*(-2)/4. Let l be x/14 - (-2)/(-4). Sort l, 3, -2 in decreasing order.
3, l, -2
Suppose -2*y = -1 + 5. Let c be ((-1)/((-1)/(-5)))/1. Put 4, c, y in descending order.
4, y, c
Let z be (-128)/220 - 4/(-10). Let p = -8 + 23/3. Put z, p, 0.1 in ascending order.
p, z, 0.1
Let p = -70/17 + 664/153. Put p, -0.5, 0.2, 5 in increasing order.
-0.5, 0.2, p, 5
Let k = 31249 + -2937355/94. Let u = -2/47 + k. Let t = -3 + -1. Sort -0.2, t, u.
t, -0.2, u
Let g be (12/10)/(9/30). Sort 0.5, g, 1/5 in descending order.
g, 0.5, 1/5
Suppose -3*k = -6*k - 6. Let u be (1 - k)*(-8 - -9). Put 1/7, u, -0.2 in decreasing order.
u, 1/7, -0.2
Let o = 1 + -9/7. Let q = 4.87 - -0.13. Put -1, q, o in increasing order.
-1, o, q
Let q(y) = -3*y + 23. Let d be q(6). Sort 1, 6, d.
1, d, 6
Let x be 17/3 + 3/9. Suppose 2*p = 5*p - x. Sort 0, p, -2 in descending order.
p, 0, -2
Let s be -1 + 4/(-1*1). Suppose 0 = 5*k + 7 - 27. Sort k, s, -4 in ascending order.
s, -4, k
Let d be -2 + 41 + ((-6)/(-3) - 1). Put -5, d, 4 in decreasing order.
d, 4, -5
Let i = -1 + 1. Suppose -4*o + z + 22 = -z, z = -5*o + 24. Sort i, 3/2, o.
i, 3/2, o
Let m = 9.5 + -9. Sort m, -4, -2 in descending order.
m, -2, -4
Let a(v) = -2*v**2 + 2*v - 1. Let u be a(1). Let i be (u - 0)/(2/(-4)). Suppose -i*x - 11 = 3*z, 4*x = -z + x - 13. Put z, -2/5, -5 in ascending order.
-5, z, -2/5
Suppose 3 = 4*f - 17. Suppose 14 - 23 = -3*c. Sort -4, c, f.
-4, c, f
Let k = 54 + -61. Sort -1, -3, k.
k, -3, -1
Let s(t) = t**3 + 8*t**2 + 6*t - 8. Suppose -3*l = 5*o - 4, 3*o = -l + 5*o - 17. Let h be s(l). Sort -2, 5, h in decreasing order.
5, h, -2
Let s(t) = -t**2 - 5*t - 1. Let i be s(-4). Let c = 153/257 + 22228/26985. Let m = -3/35 + c. Sort i, m, 4 in decreasing order.
4, i, m
Let d be (-15)/(-10)*(-3)/(-9). Put -2/3, 3, d in descending order.
3, d, -2/3
Let a = 20 - 20.3. Sort -0.9, a, 2.
-0.9, a, 2
Suppose 0 = -s - 0*a - 2*a - 7, 0 = s + 3*a + 8. Suppose -16*g + 13 + 19 = 0. Put 1, s, g in descending order.
g, 1, s
Let j(q) = -q. Let o(h) = -8*h - 23. Let v(r) = 6*j(r) - o(r). Let t be v(-10). Sort -6, t, 0 in decreasing order.
t, 0, -6
Let l = -0.63 - -0.11. Let w = l + 0.02. Sort -3, w, 0.2.
-3, w, 0.2
Suppose 5*f + 2*w - 36 = 0, 0*w = -3*f + 5*w + 3. Let r be f/4*(-64)/24. Put 2, r, -5 in increasing order.
-5, r, 2
Let u be (-4 + 2)/(12/(-18)). Let m = -11 - -12. Sort -1, u, m in increasing order.
-1, m, u
Suppose 2*h - 6 = f, 0 = -4*f + 5*h - 3 - 6. Suppose -4*y = -3*y - f. Let o = 0.1 + -0.4. Sort -4, y, o.
-4, o, y
Suppose 2*r - 7 = 3*j, -j - 2 = 4*r + 5. Let i = -19 + 56/3. Put j, 0, i in decreasing order.
0, i, j
Suppose 32*z = 2*z + 60. Let m = -2 - -4. Suppose -b + 4*v = -1, -6*v - m = -4*v. Put -1, z, b in increasing order.
b, -1, z
Let a = -0.8 - -1. Let r = 1.2 + -1.1. Let s be 54/21 + -2 + 0. Sort r, a, s.
r, a, s
Let j(q) = 2*q - 2. Let k be j(-4). Let t = k + 4. Let u = t - -9. Put u, 4, -4 in ascending order.
-4, u, 4
Suppose u + 4*n = 14, -5*u = -8*u - 3*n + 24. Put 2, 5, u, -2 in descending order.
u, 5, 2, -2
Let q be 6/(-33) - ((-188)/(-154))/(-2). Sort -3/5, 0.2, q in descending order.
q, 0.2, -3/5
Let k = 10 - 6. Put -3, -1, k in descending order.
k, -1, -3
Let u = 5 + -2. Suppose -u*o + o = 8, -2*o = 5*p + 33. Let q(z) = -5*z**3 - z**2 + z + 1. Let k be q(-1). Sort k, -2, p.
p, -2, k
Let w(t) = -t**2 - 4*t + 4. Let p be w(-4). Suppose -p = q, 2*b + 4*q + 19 = -b. Let f = -2 + 2.3. Sort f, 3, b.
b, f, 3
Let z = 0.32 + -3.32. Sort z, 1/4, -7 in decreasing order.
1/4, z, -7
Suppose 3*j = 3*x - 9, -5*x + 3*j + 11 = -0*j. Let o = -0.5 + 0.8. Let f = -1.3 + o. Sort x, f, -5 in descending order.
x, f, -5
Suppose -3*o = -4*o - 5. Suppose -k = -4*k. Sort k, 1, o.
o, k, 1
Let k = 1 - -2. Suppose -k = n - 0. Sort n, -1/4, 0.4.
n, -1/4, 0.4
Let s(t) = -t**3 + 6*t**2 + 5*t + 10. Let z be s(7). Let r(i) = i**3 + 5*i**2 - 