x = n + -61. Let y be 3 - (-1 - x/10). Put -3, 5, y in ascending order.
-3, y, 5
Let g be 1*1/2*-6. Put -10, 2, g in increasing order.
-10, g, 2
Let f = -57 - -57.4. Sort 6, f, -3/2 in descending order.
6, f, -3/2
Let z = -24 + 27. Sort -3, -5, 0, z in ascending order.
-5, -3, 0, z
Suppose 4 - 27 = -q. Let d = 28 - q. Put d, 8, 4 in increasing order.
4, d, 8
Let r be -2 + (-1 - 2 - -1). Let u be 4/r*8/2. Sort -2, 2, u in increasing order.
u, -2, 2
Let d = 126 - 136. Sort -1, d, 3 in decreasing order.
3, -1, d
Let r be ((-9)/(-15))/((-4)/5). Let m = -11 - -2. Let k be 6/14*(-6)/m. Sort k, r, 0.4 in decreasing order.
0.4, k, r
Let q = 0.09 - -0.81. Sort q, 5, 3, 1/4 in ascending order.
1/4, q, 3, 5
Let b = -2388/13 + 184. Let n = b + -25/39. Put -1/2, -3/2, n in descending order.
n, -1/2, -3/2
Let i be (-7)/84 - (-1)/3. Put -1, i, 0.03 in increasing order.
-1, 0.03, i
Let c = 56.96 + -57. Put 3, -2/17, c in ascending order.
-2/17, c, 3
Let t = -0.7 + 0.71. Let k = 0.31 - t. Let l = 64/3 - 21. Sort k, -1/2, l in descending order.
l, k, -1/2
Suppose 2*b = 3*b. Let u(c) = -5*c - 21. Let s be u(-5). Sort s, b, 1 in ascending order.
b, 1, s
Let v(f) = 3*f - 2 - 4 + 3*f**2 + 2*f - 4*f**2. Let w be v(4). Suppose 4*q - 15 = q. Sort q, -4, w.
-4, w, q
Let k be (-57)/2*(-26)/(-21). Let d = -35 - k. Let b = -0.35 - -0.65. Sort b, -0.1, d in descending order.
b, d, -0.1
Let q = 34 - 33.7. Put -1, 3, q in ascending order.
-1, q, 3
Let f = -211/28 + 29/4. Let s be (3/5)/((-2)/10). Let u = 0 - -2. Sort f, s, u in descending order.
u, f, s
Let a = -1 - 2. Let f = -6 - a. Let c = 2.1 - 6.1. Sort c, f, 2 in decreasing order.
2, f, c
Suppose 0*p = 4*p + 16. Sort -0.04, p, 0.5.
p, -0.04, 0.5
Let c(a) = -a**3 + 5*a**2 + 8*a - 14. Let h be c(6). Suppose 7 - 19 = 3*s. Put 3, s, h in descending order.
3, h, s
Let b = 0.04 + -0.04. Sort 3/2, b, 0.09 in ascending order.
b, 0.09, 3/2
Let g = 8.17 - 0.17. Let q = g + -7.5. Put 2, q, -2 in ascending order.
-2, q, 2
Suppose 0 = 10*d - 10 - 10. Put d, -3, 5, 14 in ascending order.
-3, d, 5, 14
Suppose 3*x = -x + 8. Sort -2, -1, x in increasing order.
-2, -1, x
Suppose -4*l - 12 = 0, 3*j + j = -4*l - 32. Sort 14, 3, j in decreasing order.
14, 3, j
Let o be -1 - 1*1*-2. Let v be 30/(-18) + (-10)/(-15). Let n be (-3 - 1)/(2/(-2)). Sort v, n, o in decreasing order.
n, o, v
Let x be (-3)/6*8/18. Let a = 18 - 15. Sort a, x, -0.07.
x, -0.07, a
Let b = -1 + 1. Suppose -12*x = -7*x - 25. Sort x, b, -1 in descending order.
x, b, -1
Let y = -4 - -2. Let b be -1*2/(-8)*y. Sort -2, 0, b in descending order.
0, b, -2
Let m(n) = -n**3 + 2*n**2 + n - 1. Let g be m(0). Sort 3, g, 2 in ascending order.
g, 2, 3
Let r = 6.1 + -6.5. Sort 4, -3, r.
-3, r, 4
Let b = -0.01 - 5.99. Let z = 5.8 + b. Let m = -3 - 0. Put 0.4, z, m in decreasing order.
0.4, z, m
Let o be (2*1)/((-4)/8). Let n be 12/10 - ((-27)/(-5) - 5). Put o, 0.07, n in ascending order.
o, 0.07, n
Suppose -4 = -4*n + 8. Let u(s) = -s + 9. Let f be u(9). Sort n, -4, f in ascending order.
-4, f, n
Let q = -20 + 37. Let l = q + -16. Put -4, 4, l in descending order.
4, l, -4
Let f = 0 + 0. Suppose 5*b + 2*g - 64 = 0, 4*b - 15 = -2*g + 35. Suppose 16 = n + 5*s, 2*n + 5*s = 3*n + b. Sort f, n, -2.
-2, f, n
Suppose 0 = -5*b + 4*z + 46, 2*z - 52 = -4*b - b. Suppose 0 = -5*q + b + 60. Suppose 3*x + 2 = -k, 5*k = -2*x - x + q. Sort 0, 5, x in ascending order.
x, 0, 5
Let j = -8 + 3. Let p = 30 + -29.5. Sort 0, j, p in ascending order.
j, 0, p
Suppose 2 = -j + 3. Sort j, -4, 3 in decreasing order.
3, j, -4
Suppose -b = 3*b - 5*o + 38, 64 = -5*b - 2*o. Let l be (8/3)/((-8)/b). Sort 2, l, -2.
-2, 2, l
Suppose -5*u - u + 18 = 0. Suppose 3*q - 25 = -4*y, -18 = -3*y - 0*q - 3*q. Put y, u, -2 in decreasing order.
y, u, -2
Let d(n) = n**3 + 5*n**2 - 5*n + 6. Let a be d(-6). Sort 5, -5, a.
-5, a, 5
Suppose -15 = 3*q - 6*q. Suppose -4 = -q*h + h. Sort 0, h, -5.
-5, 0, h
Suppose 3*g - 3 - 3 = 0. Suppose -g*p = -p. Suppose 0*o - 3*o = -6. Sort o, -5, p.
-5, p, o
Suppose -3*o = -7*o + 12. Suppose -3 = -4*a + 5*y + 3, -4 = -2*a + 2*y. Suppose -3*j = -5*q - 9 - 0, -a*j = -q + 5. Put 5, o, q in increasing order.
q, o, 5
Let l = 0.4 + 0.1. Let p = 2 + -2.3. Put l, p, 0.3 in decreasing order.
l, 0.3, p
Let l = -11 + 8. Sort 1/5, 5, l.
l, 1/5, 5
Let w = 13 + -12. Sort w, -2, -4 in decreasing order.
w, -2, -4
Let z(d) = d**3 - 5*d**2 + 2*d - 1. Let n be z(3). Let g = n - -17. Let l(k) = -k**3 + 5*k**2 - 3*k - 5. Let u be l(4). Sort 5, g, u in decreasing order.
5, g, u
Suppose 0 = -4*k + 2*k + 4. Suppose 4*l + 4*v = -20, -4*l - 5 - 5 = -v. Sort k, l, -1 in descending order.
k, -1, l
Let j(w) = w**3 - 19*w**2 - 43*w + 39. Let y be j(21). Put 2, y, -4, 3 in decreasing order.
y, 3, 2, -4
Let m be -2 - (4/4 - 3). Let b be m + -3 + 80/24. Put 0.1, 5, b in decreasing order.
5, b, 0.1
Suppose 9 = -4*z + 3*y, -5*z + 3*z - 4 = -2*y. Sort z, 5, 2 in descending order.
5, 2, z
Suppose -3*f - g = -5, f - 2*f - 2*g = 5. Suppose -f*r = -0*r. Put -5, r, 2 in decreasing order.
2, r, -5
Suppose 4*v = 5 - 17. Suppose 4 = 4*c + 12. Sort 5, c, v.
v, c, 5
Let p(i) = i**3 + 8*i**2 - 9*i + 3. Let y be p(-9). Let q be 16/(-12)*(-30)/(-4). Let z be (-3)/5*q/4. Sort z, y, -2/7.
-2/7, z, y
Suppose -4*q + 6*q = 0. Suppose -4 = -q*n + 4*n. Sort n, -5, 4.
-5, n, 4
Let o = -199/3 - -67. Let b(i) = -i**2 + 2*i + 4. Let l be b(4). Sort -0.3, l, o in increasing order.
l, -0.3, o
Let f = -27 + 38. Let h be f/33 - (-8)/(-15). Sort h, -1/4, 5.
-1/4, h, 5
Suppose -4 = 4*k + 2*y, 5*y + 1 - 3 = -4*k. Let a be (-1)/k*(1 - 3). Put 1, a, -0.2 in descending order.
1, -0.2, a
Let t = -0.4 + 0.3. Let v = 363/4 - 3359/36. Let l = v + 317/117. Sort -2, l, t in descending order.
l, t, -2
Let m = -9 + 4. Let o = -2.12 - -2. Let z = 3.88 - o. Put z, m, -4/3 in decreasing order.
z, -4/3, m
Let b = 15 - 14.9. Put b, 1, -1/7 in increasing order.
-1/7, b, 1
Let d = 8 - 14. Let r = -3 - d. Let u = -30.1 - -30. Sort r, 0.2, u in ascending order.
u, 0.2, r
Suppose -192*l - 12 = -190*l. Put l, -2/17, 0, -0.2 in decreasing order.
0, -2/17, -0.2, l
Let u(b) = 22*b - 128. Let x be u(6). Let j be 86/(-18) + 2/(-9). Suppose 0 = -2*z - 2*n - 2, -2*n = z - 6*n - 19. Put j, z, x in increasing order.
j, z, x
Let f be (-10)/30*6/(-4). Let a = -2 - -5. Suppose a = t - 2. Put t, f, 2/7 in descending order.
t, f, 2/7
Let z = -25 + 15. Let g = z + 12. Sort g, 5/3, -5.
-5, 5/3, g
Suppose 3*g - 4 = 2. Let b(v) = -v**3 + 4*v**2 - 3*v + 1. Let u be b(g). Suppose 0 = -u*f - 3*t - 4 + 1, f = -5*t - 1. Put -2, f, -5 in descending order.
f, -2, -5
Suppose 4*u + 12 = 4*q, 0*q + 6 = -2*u - 4*q. Let b be (1 - 0 - -1) + u. Sort b, 4, -4 in increasing order.
-4, b, 4
Suppose 3*t - 3 - 12 = 0. Suppose -h - 3*y = -11, 13 = -t*h + 2*y - 0*y. Suppose -4*z + 4 = x, 5*x - 7 + 2 = -5*z. Put z, -4, h in descending order.
z, h, -4
Let b = -57 + 113. Let p = b - 39. Suppose 2*i - p = 5*f - 3, 0 = -2*f - 3*i + 2. Put f, -3, -1 in descending order.
-1, f, -3
Suppose -3*b = -7 - 5. Suppose -h = -2*h - b. Put h, 3, -3 in increasing order.
h, -3, 3
Let h be (-3 + (-104)/(-36))*-6. Let v = -0.01 + 3.01. Sort -0.3, h, v in ascending order.
-0.3, h, v
Let u = -19/2 - -10. Let l be 2/3 - (-2)/(-30). Put u, l, -2 in descending order.
l, u, -2
Let w(c) = c**2 + 4*c - 10. Suppose 24 = -2*m - 2*m. Let v be w(m). Sort -2, v, -4 in ascending order.
-4, -2, v
Let s = 99 - 102. Put 1/6, 4, -6/7, s in ascending order.
s, -6/7, 1/6, 4
Let j = 4 - 9.3. Let d = 0.3 + j. Put 4, -3/2, d in ascending order.
d, -3/2, 4
Let r be ((-3)/(-21))/(12/42). Put -0.3, r, 1/4, -2 in descending order.
r, 1/4, -0.3, -2
Let b = -5 - -5.2. Sort b, 3/7, 1 in descending order.
1, 3/7, b
Let n be 3/(-356)*(-4)/(-10). Let y = n - -25831/6230. Let g = y + -27/7. Sort g, 0.2, 2/15 in decreasing order.
g, 0.2, 2/15
Suppose -31 = 5*h + s + 3, 40 = -4*h - 4*s. Let y be (9/h)/(1/2). Let f = 4 - 9. Sort y, -4, f in increasing order.
f, -4, y
Suppose 0 = -5*k + 3*j - 26, 3*k + 15 = -3*j - 15. Suppose 4*b + 0*f = -5*f - 12, -2*b - 4*f = 0. Let z = b - k. Sort -0.4, z, 3 in ascending order.
z, -0.4, 3
Let d(u) be the first derivative of -u**3/3 + 9*u**2/2 - 3*u - 3. Let a be d(8). Suppose -4*h + 6 = -h. Put h, 3, a in increasing order.
h, 3, a
Let d be 4*((