2)/(-2). Put n, s, -0.4 in ascending order.
n, -0.4, s
Let v = 2 - 0. Let x = 4 - v. Put 2/9, x, -0.2 in decreasing order.
x, 2/9, -0.2
Let a = 1/24 + 41/168. Sort 3, 0.3, a in decreasing order.
3, 0.3, a
Suppose -4 = c - 3*c. Suppose -k = -4*a - 6, c*a = k + 2 - 4. Let b be a - ((-9)/5 - 1). Put -0.3, b, 1 in descending order.
1, b, -0.3
Let j = -0.11 + 4.11. Let x = 0.08 - -4.92. Let v = j - x. Sort 5, 1, v in descending order.
5, 1, v
Let t = 7.8 - 2.8. Sort 1, -2/3, t in decreasing order.
t, 1, -2/3
Let b be (-24)/330*(-5)/2. Put -9/4, b, -4 in ascending order.
-4, -9/4, b
Suppose m + 6 - 17 = -4*h, -5*h + 4*m = 2. Let q be 0/(2 + -4) + 9. Suppose 0 - q = -3*b. Put 5, h, b in increasing order.
h, b, 5
Let x = 0.4 - 0.2. Let o = -59.92 - -63. Let v = o + -0.08. Put 0.3, v, x in increasing order.
x, 0.3, v
Let y = -20.61 - 0.39. Put y, 2/7, 5 in increasing order.
y, 2/7, 5
Let x = -4 + 6. Suppose 0 = -4*m + 5*r + x, -m - r + 11 = 2*m. Sort -4, m, -3 in increasing order.
-4, -3, m
Suppose 0 = 3*u - 1 - 2, -2*d + 5*u = 11. Let q be (-4 - -5) + 1*d. Let p be ((-6)/(-9))/(q/(-12)). Sort p, 2, 3 in descending order.
p, 3, 2
Let q be (45/20)/((-3)/(-32)). Suppose -q = -3*d - d. Let a(j) = -j**2 + 5*j + 4. Let b be a(d). Sort 2/9, b, 0.1.
b, 0.1, 2/9
Let d = -0.2 - -0.2. Let p = -1.4 + 1.7. Let r = p - d. Sort 0.5, 1/7, r in descending order.
0.5, r, 1/7
Let d = -3 - -8. Sort 2, d, -4.
-4, 2, d
Let k be 2*((-70)/(-4))/(-7). Let i be (-3)/(-9) + 2/12. Put -2, k, i in ascending order.
k, -2, i
Suppose -27*s = -32*s - 20. Put 1, s, 4, 0 in decreasing order.
4, 1, 0, s
Let c = -5.6 - -6. Let q = -2075455/55132 + 11681/308. Let j = -1/179 - q. Put -3, j, c in descending order.
c, j, -3
Suppose -4*t - 10*p = -12*p, 4*p + 13 = -5*t. Suppose -3*j = 5*a - 10, 4*j - 2*a + 31 - 1 = 0. Put t, j, -2 in decreasing order.
t, -2, j
Let m = -26 + 28. Let x be (2/3)/((-4)/(-6)). Sort -2, m, x in descending order.
m, x, -2
Let g(u) = 2*u + 2*u - 3*u - 7. Let t be g(6). Let o be t/(-2 - (-9)/4). Put -0.5, o, -0.4 in decreasing order.
-0.4, -0.5, o
Let c = -5 - -9. Let s = c + -4.5. Sort -2, 0.4, s in descending order.
0.4, s, -2
Suppose 4*u - 3*u - 13 = 0. Suppose 0 = 5*h + 4*s - u, 21 = 3*h - 5*s - 9. Put h, 2/3, -4 in ascending order.
-4, 2/3, h
Let q = -9 + 5. Let l be 1/(-4)*1*-2. Sort 0, q, l in decreasing order.
l, 0, q
Let i = -4 - -9. Suppose 4*b = -16, 2*b + 0*b + i = -c. Let j = -3 + 1. Put -3, j, c in ascending order.
-3, j, c
Let z(t) = 2*t - 5. Let q be z(6). Suppose -q*w + 4*w = 0. Sort w, 2, -2 in descending order.
2, w, -2
Let l = -260 - -264. Let a be (-10)/(-14)*(-4)/(-10). Sort a, -0.4, l in increasing order.
-0.4, a, l
Let w be ((-6)/9)/((-2)/24). Suppose u - 2*u + l = -4, -u + 5*l = -w. Suppose -u*s = -8*s + 20. Sort -2, s, -1.
-2, -1, s
Let s(l) = l - 6. Let n be 3/(-6)*(1 - -11). Let u be s(n). Let f = -17 - u. Sort -3, f, -2.
f, -3, -2
Let c = 0 - -2. Sort c, 3, -3.
-3, c, 3
Suppose -2*p = 8 - 0. Sort -5, p, -2 in descending order.
-2, p, -5
Let c = -3 + 3.2. Let p = 0.4 - c. Let t = 38 + -38.3. Put 1, t, p in decreasing order.
1, p, t
Let v = -2.068 - -0.068. Sort v, 1/4, -4 in descending order.
1/4, v, -4
Suppose -5*p = 0, 6*p - 12 = 4*x + p. Suppose -4*d = 2*a - 14, -3*d + 3 = -3*a + 6. Sort 3, d, x in ascending order.
x, d, 3
Suppose 15 = 5*v - 10. Suppose 0*r - 8 = 2*r. Put r, v, -3 in increasing order.
r, -3, v
Let u = -1 - -5. Sort 6, -1, u, 1 in decreasing order.
6, u, 1, -1
Suppose 5*z = 3*i + 16, z - i + 8 = 2*z. Put 4, z, 0 in descending order.
z, 4, 0
Let n = -18 - -18. Sort n, -0.4, 0.5, 0.4 in decreasing order.
0.5, 0.4, n, -0.4
Let g = 7 + -11. Let c = -1.3 - 3.7. Put c, -1/11, g in ascending order.
c, g, -1/11
Let t = 1.85 - 0.85. Sort 0.3, 5/9, t.
0.3, 5/9, t
Let u = -7 + 5. Suppose -2*r + 5*r + 9 = 0. Suppose 4*i = 6*i - 10. Sort u, i, r in increasing order.
r, u, i
Let z be (4 + -2 - 1) + -5. Let m be (-7)/(-3) - 4/12. Suppose 0 = -3*t - h + 8 - 1, 2*t - 2*h - m = 0. Sort t, 3, z in descending order.
3, t, z
Let t be (6/(-3))/((-2)/51). Let a = 73 - t. Suppose -2*c = -4*q + a - 0, -4*c - 4 = 2*q. Put -2, -4, c in descending order.
-2, c, -4
Let t be ((-30)/(-15))/(-3*4/(-6)). Put -3, 5, t in decreasing order.
5, t, -3
Let f(b) = -b**3 - 6*b**2 - 4. Let h be f(-6). Sort 1, 5, h in descending order.
5, 1, h
Let o = -5147/15 + 343. Sort 0.3, o, 9.
o, 0.3, 9
Let a(y) = -4*y - 3. Let w be a(-2). Let s = -3 + w. Put -5, 7, s in decreasing order.
7, s, -5
Let o = -15 + 14.9. Put 1, 9, o in ascending order.
o, 1, 9
Suppose 0 = -2*c - 4, c = 4*n + 2*c + 18. Suppose -14 = -4*v + 2*j, 5*j = 3*v + 2*j - 15. Sort -1, n, v in descending order.
v, -1, n
Let u = -208 - -212. Let p(q) = -q**2 - 2*q + 1. Let o be p(-3). Put -3, o, u in descending order.
u, o, -3
Let k = 4 + -8. Let o(l) = -4*l + 3. Let x(c) = 3*c - 3. Let b(m) = -4*o(m) - 5*x(m). Let j be b(-4). Put j, 5, k in descending order.
5, j, k
Let k be (-416)/(-72) + (-4)/(-18). Let c = k + -5. Put -3, c, 3 in increasing order.
-3, c, 3
Let j = 0 - -4. Suppose -3*a + 11 = -5*l, a - 3*a = -j*l - 10. Sort 3, a, 1 in descending order.
3, 1, a
Let r(b) = b**3 + 7*b**2 - b - 10. Let x be r(-7). Put 0, 5, x in descending order.
5, 0, x
Let a = 8 + -8.3. Let m = -201/35 + 43/7. Put m, a, -5 in increasing order.
-5, a, m
Suppose j = 3*j + 5*v - 3, 4*j + v - 15 = 0. Let z = -9 + j. Sort -3, -1, z in increasing order.
z, -3, -1
Let i(f) = f**3 + 6*f**2 + 5*f + 4. Suppose -10 = 2*s + 5*k, 3*s + 3*k = 5*k - 15. Let n be i(s). Let u be 2/3*2/(-6). Put u, 2/7, n in decreasing order.
n, 2/7, u
Suppose -4*d = -d - 6. Put -2/5, d, 0.5 in decreasing order.
d, 0.5, -2/5
Suppose -2*z = 4*j - 0*z - 26, 3*j - 5*z = 13. Sort -1, 4, 5, j in decreasing order.
j, 5, 4, -1
Let x be (6/(-8))/(1/(-4)). Let c = 7.7 + -2.7. Put -0.3, c, x in ascending order.
-0.3, x, c
Let p be (-1)/(-2)*((-18)/(-2))/(-3). Sort p, 12, 4, -1/3 in descending order.
12, 4, -1/3, p
Let d(y) = y**2 - 2*y - 3. Let l be d(4). Suppose w = -l + 1. Sort w, 0.2, -1/9.
w, -1/9, 0.2
Let a = 6 + -2. Let g(d) = 2*d - 11. Let u be g(7). Suppose -u*m = 2 + 7. Sort a, m, 3 in ascending order.
m, 3, a
Let a = -6.9 - -7.2. Sort a, -1, -3/4, 0.1 in increasing order.
-1, -3/4, 0.1, a
Let n = -2 + 5. Suppose -4*c - 3*o = 2*o + 16, 0 = -n*c - 4*o - 12. Let p be (-1*1)/(3/15). Sort -1, c, p in descending order.
-1, c, p
Let y(d) = d**2 - 16*d + 1. Let l be y(16). Let c be (-6)/(-21) - l - -1. Sort -5, c, -0.5.
-5, -0.5, c
Suppose v + o = -0*o + 14, 0 = 5*o - 10. Let r = 2 - 2. Sort -4, v, r in ascending order.
-4, r, v
Suppose 4*b = 18 - 58. Let p = 6 + b. Let i be (1 + -9)*11/(-22). Sort p, i, 1 in descending order.
i, 1, p
Suppose -6 + 21 = 3*j. Let f = 1 + -4. Put -1, f, j in decreasing order.
j, -1, f
Let b = -52 - -50. Sort -0.2, b, 5 in decreasing order.
5, -0.2, b
Let h be (-195)/(-75)*10/2. Sort h, -4, 2/21 in decreasing order.
h, 2/21, -4
Let l be (4 - 2)/(1 - 0). Let a(s) = 3*s - 1. Let x be a(l). Suppose 0 = 2*y - x*z, -6*y + 2*y = 5*z + 30. Put 3, y, -3 in descending order.
3, -3, y
Let g be 8/2 - (-3 - -4). Suppose 3*d + 2*v + g = 5, -d - 4*v - 6 = 0. Let y = -19 + 17. Sort y, -3, d in increasing order.
-3, y, d
Let n be (-90)/(-36)*(-8)/10. Let y = -3 - -2. Let v be (-6)/(-4) - y/2. Sort n, 1, v.
n, 1, v
Let a = 0.36 - -0.54. Put 0, a, 5 in descending order.
5, a, 0
Let d = 0.5 + -5.5. Sort 11, d, -1/2 in decreasing order.
11, -1/2, d
Let z be ((0 - 0) + 1)*-3. Suppose 5*n = -i + 15, 14 = 2*n + 5*i - 15. Sort n, -2, z in descending order.
n, -2, z
Suppose 0 = -2*m - 0*m - 2*s + 2, 0 = 2*m + s - 7. Let r = -1 + m. Sort -3, r, -2.
-3, -2, r
Let a(t) = -t + 1. Let f be a(-3). Suppose 3*z - c = -4*c + 3, -3*c = -f*z - 24. Sort z, -3/2, -1/3 in increasing order.
z, -3/2, -1/3
Let o = -0.7 - -0.1. Let b = -5.6 - o. Let h = 5 + -9. Sort -1/5, b, h in decreasing order.
-1/5, h, b
Let t = -34 - -54. Let w be (-8)/t + 66/15. Put w, 5, -11 in ascending order.
-11, w, 5
Let w(m) = -m**2 - 6*m + 4. Let x be w(-6). Sort 3, -4, x in descending order.
x, 3, -4
Suppose -o - 3*l + 7 = 0, 0 = o + 2*l - 2 - 3. Put -3, 4, o in descending order.
4, o, -3
Suppose -3*x + 16 = 2*d, 3*x - 3*d + 5 = -4. Let t(b) = -b**3 - b**2 + b + 1. Let n be t(-1). Let c be (1 