scending order.
y, -2/5, -0.5
Let k = -242/3 + 79. Let w = 4/25 + -107/200. Put w, k, -0.3 in descending order.
-0.3, w, k
Let m(r) = r - 2. Let i be m(5). Let n be (-1 - 6/9)*3. Sort i, 5, n in increasing order.
n, i, 5
Let v = -17 + 16.5. Sort v, 28, -2.
-2, v, 28
Suppose 0 = -6*m + 104 - 14. Suppose -t = -4*t - m. Put t, 5, -2 in increasing order.
t, -2, 5
Let m(c) = c**2 - 4*c**2 - 1 - 5*c + 4*c**2 - 4. Let o be m(5). Sort o, 2, 4.
o, 2, 4
Let d be 17/4 - 7/28. Let s be (0 - 1)/((-2)/d). Let z be ((-1)/(-2))/(s/8). Sort 4, z, 1 in descending order.
4, z, 1
Let o = -6 - -4. Let z be (-3)/(-65) - (10 + (-539)/55). Put -4, o, z in descending order.
z, o, -4
Let s = -235 + 2583/11. Sort s, -2/3, -2/13 in decreasing order.
-2/13, s, -2/3
Suppose 5*o + 40 = 5*a - 2*a, -a + 4 = -4*o. Suppose a = 3*k + 5. Sort k, 4, -5 in decreasing order.
k, 4, -5
Suppose -2 = 2*c + 4*p, 0 = 3*c - p + 2 + 1. Let k be (5/(-10))/(c/6). Sort -1, -4, k.
-4, -1, k
Let o = -0.2 + 0.4. Let x = 191/3 - 63. Let u(y) = y**2 - 6*y - 1. Let l be u(6). Sort l, x, o.
l, o, x
Let o = 25 - 27.8. Let m = o + 3. Sort 1/9, 3, m in descending order.
3, m, 1/9
Let j = -2.4 + 4.4. Sort -3, 5, -0.1, j in ascending order.
-3, -0.1, j, 5
Suppose -4*x = 2*f - 5*x, 5*f + 2*x = 0. Let t = -6 - -11. Put t, f, 1 in increasing order.
f, 1, t
Let h be (-26)/(-10) + (-10)/(-25). Let w be 2/(-2) + 2/(-2). Let d = 7 + -11. Put d, w, h in decreasing order.
h, w, d
Let p = 24.89 + -25. Let b = p - -3.11. Let o = 0.02 + -2.02. Sort 1/8, o, b in increasing order.
o, 1/8, b
Suppose 6*c - 3*c - 9 = -4*u, 4*u - 3 = -c. Let r(m) = m**3 + 5*m**2 - 6*m - 5. Let k be r(-6). Put c, -2, k in decreasing order.
c, -2, k
Let i = 80 - 75.1. Let h = i + -0.9. Let k be (3/(-2))/3*10. Sort h, 2/3, k in descending order.
h, 2/3, k
Suppose 3*v = -9, 1 - 8 = -5*t - v. Suppose 18 = -18*f + 12*f. Put -1, t, f in increasing order.
f, -1, t
Let a(b) = b**2 + 7*b - 9. Let n be a(-8). Sort -8, n, 0 in increasing order.
-8, n, 0
Let n = 587.94 - 583. Let g = 0.06 + n. Let i be (2/(-8))/((-12)/8). Sort i, g, -0.1 in descending order.
g, i, -0.1
Let d = 7 - 6. Sort 5, d, 2 in decreasing order.
5, 2, d
Let o = -0.8 + -0.2. Let r = 0.8 + o. Let l be 4/8 - (-4 + 2). Put l, r, 0.2 in descending order.
l, 0.2, r
Let p be 4/56*(-28)/(-8). Let i = 0 - -2. Sort p, -0.4, i in increasing order.
-0.4, p, i
Let w = -28 - -28. Sort -4, w, 5.
-4, w, 5
Let m = -5.06 + 0.06. Let d be 1/(5*(0 - 1)). Sort 0.1, d, m in ascending order.
m, d, 0.1
Let x = 4 + -3.9. Let d = -0.4 - x. Sort -1/3, 1/4, d in decreasing order.
1/4, -1/3, d
Let g = 3.966 + 0.034. Sort g, -2, 0.7 in decreasing order.
g, 0.7, -2
Suppose -9 = -4*w + 3*w. Sort 3, -1, w.
-1, 3, w
Let r = -0.4 - 0.1. Let p = -294 - -289. Sort r, p, -3.
p, -3, r
Let h be 4/14*(-77)/55. Sort h, 0.1, 3/7, 11/2 in increasing order.
h, 0.1, 3/7, 11/2
Let u = -4.57 - -0.57. Let c = -9.13 + 7.1. Let b = 0.03 + c. Sort b, 2/9, u in increasing order.
u, b, 2/9
Let j(h) = h**2 + 4*h + 5. Let o be j(-4). Put o, 2, -4 in decreasing order.
o, 2, -4
Suppose -5 + 13 = -4*j. Let v be (-2)/(-5) - (-44)/(-10). Sort 5, j, v in ascending order.
v, j, 5
Let i = 57 - 169/3. Let p(z) = z + 1. Let g be p(-6). Sort g, 5, i in ascending order.
g, i, 5
Let s = -0.7 - 0.3. Put -4, s, -2/11 in decreasing order.
-2/11, s, -4
Suppose 3*f - 5*f - 5*r - 4 = 0, 3*f - 7 = -r. Sort -4, -1, f.
-4, -1, f
Suppose -3*n - 27 = -2*y, 5*y - 7 = 4*n + 43. Put -3, 2, -2, y in ascending order.
-3, -2, 2, y
Let o be 4/12*(40 - -1). Let r = -40/3 + o. Sort r, -3, 3/4 in descending order.
3/4, r, -3
Let x = 0.09 + 0.01. Let o = 0 + x. Sort o, -0.1, 0.01.
-0.1, 0.01, o
Let u(x) = -7*x**3 + 5*x**2 - 9*x - 11. Let n(d) = d**3 + d + 1. Let q(v) = 6*n(v) + u(v). Let r be q(4). Let g = 25 + -22. Sort r, 0, g in increasing order.
r, 0, g
Let k be 3*12/9 + 2*-1. Let x = 1 - 0. Put x, k, 3 in ascending order.
x, k, 3
Let w(q) = 2*q**3 + q**2 + q - 1. Let l(f) = -f - 1. Suppose s + 0*s + 2 = 0. Let z be l(s). Let b be w(z). Sort 5, b, -3 in descending order.
5, b, -3
Let b = 151 + -605/4. Sort 0, b, -4/5, -0.3 in descending order.
0, b, -0.3, -4/5
Let g = -0.1 - -4.1. Let k = -172 - -172. Sort 0.5, g, k.
k, 0.5, g
Suppose -3*t - 20 = t. Let o be 1/((-3)/(-9)*-3). Sort 4, t, o in descending order.
4, o, t
Let j = 0.06 - -0.34. Let m be 2 + (-22)/26 + -1. Sort m, -3, j in increasing order.
-3, m, j
Let i be -1 + 1 - (10 + -4). Let a(y) = y**3 + 7*y**2 + 6*y - 5. Let q be a(i). Suppose 4*g - 3*g + 3 = 0. Sort 4, g, q in ascending order.
q, g, 4
Suppose -2*u - 4 = 2*u. Let s = -7 + 8. Put -4, u, s in ascending order.
-4, u, s
Let h = -2 - -1.9. Let l = 130 + -134. Put l, h, 0 in descending order.
0, h, l
Suppose 10*g - 5*g - 45 = 0. Put -3, g, -0.5 in descending order.
g, -0.5, -3
Suppose -2 = 4*l + 2. Suppose 8*u - 9*u = -5. Put -4, u, l in decreasing order.
u, l, -4
Suppose 0*y + 5 = -o - 5*y, -5*o + 5*y + 35 = 0. Put 6, 0, o in decreasing order.
6, o, 0
Let q = 0.03 + -0.43. Let n = 1277 + -3727/3. Let l = n - 34. Sort 0.3, l, q in decreasing order.
l, 0.3, q
Let n = -272 - -1356/5. Put 2/13, 4, 0, n in ascending order.
n, 0, 2/13, 4
Suppose 0 = -4*g - g - 15. Let r = 3 + -3. Sort g, r, -5 in decreasing order.
r, g, -5
Let q(w) = 3*w - 89. Let n be q(28). Suppose 0*b = -2*b - 2. Sort n, 1, b in decreasing order.
1, b, n
Let g be (3/2)/((-3)/(-18)). Put -1, g, -4 in ascending order.
-4, -1, g
Let t = 0.005 - -0.065. Sort t, 5, 0.01.
0.01, t, 5
Suppose -25 + 7 = -3*m. Suppose x = -4*g - m, x + 2 + 1 = -3*g. Let k = x + -3. Sort k, -4, -1.
-4, -1, k
Let i = 1 - 1.1. Let r = i - -0.2. Sort 5, r, -2 in decreasing order.
5, r, -2
Let f be (-9)/(-6)*8/6. Suppose f*k = -1 + 9. Suppose -5*m - 4*b = 12, -k*b - 8 = -2*m + 4. Put 2, -2, m in ascending order.
-2, m, 2
Let h be ((-12)/(-9) - 1 - 0)*0. Put -5, h, -4, 1 in descending order.
1, h, -4, -5
Let o be (-1 + (2 - 1))/(-2). Let n be 6/((-12)/5) - -2. Sort o, n, -5 in decreasing order.
o, n, -5
Let j = 0.8 - -0.2. Let x = j - 0. Let i = -0.06 + -0.24. Put i, x, 0.4 in increasing order.
i, 0.4, x
Suppose 8*a + 9 - 1 = 0. Sort a, 0.2, 2 in increasing order.
a, 0.2, 2
Suppose 5 = a + 8. Let m = 3 - -1. Sort m, a, -2 in ascending order.
a, -2, m
Let s = -8 + 3. Sort -15, s, -3.
-15, s, -3
Let n(t) = -2*t - 4. Let k be n(-7). Suppose -k = 5*j - 30. Suppose 5*o + d + 10 = 0, 2*d + 7 = -3. Sort j, 3, o in increasing order.
o, 3, j
Let y = -11 - -10. Put -2, y, -11 in decreasing order.
y, -2, -11
Let d = 37/7 + -169/28. Let g be (0 - 1 - -3) + 0. Let b be 9/7 + g + -3. Put 1, d, b in ascending order.
d, b, 1
Suppose -5*q = 3*j - 140, 0 = -0*q - 3*q - 4*j + 84. Let f = q - 18. Let u be (-38)/14 - f/35. Put 4, 0, u in ascending order.
u, 0, 4
Let t(d) = -d**2 + 3*d - 1. Let v be t(3). Let u be (-284)/(-14) + 6/(-21). Suppose -4*r = -2*k + 5*k + u, 0 = -5*k. Put v, 3, r in decreasing order.
3, v, r
Let x be ((-1)/(-16))/((-14)/(-84)). Let p be ((-6)/8)/((-30)/(-20)). Sort x, p, -1/3 in descending order.
x, -1/3, p
Let o be 2/5 + (-6)/(-10). Suppose z + 2*t = 4, -5*z = 3*t + 7 + o. Sort z, 5, 1 in decreasing order.
5, 1, z
Let g = 3 - 2.5. Let b = -23 - -29. Let x = -9 + b. Sort -6, g, x in descending order.
g, x, -6
Let u be ((-1)/(45/(-6)))/((-12)/9). Let y = 4.5 - 5. Put y, -1, u in decreasing order.
u, y, -1
Let h = 10 - 10.4. Put h, -0.2, 0.1 in decreasing order.
0.1, -0.2, h
Let a = 42 + -57. Put -1, 4, a in ascending order.
a, -1, 4
Let m be ((-30)/5)/(45/30). Let n be (-2)/(-6) + 398/(-204). Let x = 2/17 + n. Sort m, 0.2, x in increasing order.
m, x, 0.2
Let x be -2 + (-8)/(-2) + -1. Suppose x = -3*o - 11. Let c = -4 - o. Sort -5, c, 0.3 in decreasing order.
0.3, c, -5
Let y be ((-2)/(-12)*2)/((-2)/24). Sort 4, y, 6, 2.
y, 2, 4, 6
Let q(i) = -i + 8. Let d be q(6). Suppose 3*p + z = 17, -p - 3*z = 2*z - 15. Suppose 5*v - 20 = -a, p*a - d*v + 13 = 32. Sort 3, a, 4 in decreasing order.
a, 4, 3
Suppose 5*c + 5*l - 3*l = -19, -4*c = -2*l + 26. Let t = -5 + 10. Sort -2, t, c.
c, -2, t
Suppose 5*u - 1 = 4*c, 3*u + 2*c + 23 = -2*u. Let f(n) = -n**3 - 5*n**2 - n. Let v be f(-5). Put -4, v, u in decreasing order.
v, u, -4
Suppose 5*y = y + 40. Suppose -q - y = 2*q + 4*i, -q + 3*i + 1 = 0. Let j be (1 - (-1 - -2))*-1. Sor