r be -1 - -2 - (n - 9). Sort 1, 0, r in increasing order.
r, 0, 1
Suppose 3*j = 0, 0*a = 5*a + j - 40. Suppose a*h - 4 = 4*h. Sort h, -5, 2.
-5, h, 2
Let p = 2/161 + -654/805. Sort p, -3/4, 3.
p, -3/4, 3
Let y = 18.14 - 18. Let m = y + 0.16. Put m, -1, 1/6 in decreasing order.
m, 1/6, -1
Suppose 18*j + 135 = -45. Put 3, 0, j in descending order.
3, 0, j
Let w = -2268/11 + 206. Put -0.1, w, -1, -1/5 in ascending order.
-1, -1/5, w, -0.1
Let y = 11 + -8. Suppose 120 = 14*c - 6. Sort y, -5, c in descending order.
c, y, -5
Let y be -2 + 3 + 5/(-10). Let v be (-5679)/3605 + 1 - -1. Let o = -2/515 - v. Sort y, o, 0.3 in increasing order.
o, 0.3, y
Let n(g) = g**2 + 6*g - 5. Let c be n(-7). Let s = -6 - -9. Let b be ((-3)/(-3))/(s/(-12)). Put 0, c, b in decreasing order.
c, 0, b
Let i = -147 + 153.7. Let y = 7 - i. Put y, 0.5, 1 in increasing order.
y, 0.5, 1
Suppose -3*h = 2*h. Let k = -10 + 7. Sort 5, h, k.
k, h, 5
Suppose 3*v - 18 = v + 4*b, -5*v = 2*b - 9. Put 4, 5, v in descending order.
5, 4, v
Suppose -2*b - 7 - 2 = -3*r, r + 7 = 4*b. Suppose -2*p - 9 + b = 0. Sort 0, p, 2 in increasing order.
p, 0, 2
Let b = 0.081 - -0.319. Suppose 17 - 2 = 5*a. Sort 1, b, a.
b, 1, a
Suppose 5*q = -3*k - 11 + 1, -10 = 5*q. Suppose -2*a - 8 = -5*a + 5*h, 5*a + 12 = 2*h. Put -2, a, k in decreasing order.
k, -2, a
Let h = 0.3 - -0.2. Let j = h - 0.4. Put 0.3, j, 0.5 in descending order.
0.5, 0.3, j
Let l = 3895/17 + -229. Sort -2, 0.3, l in decreasing order.
0.3, l, -2
Let c = -2.7 - -3.1. Put 8, -2/9, c in increasing order.
-2/9, c, 8
Suppose 3*x - u = -2*u + 8, 0 = -2*x - 3*u + 17. Let n be (x - (-45)/(-42))*2. Let d = -2.4 + 2. Sort n, d, 1/3 in increasing order.
d, n, 1/3
Let k = -5.36 - -5.9. Let i = 5.7 - 5.66. Let u = i - k. Put u, 0.1, -5 in decreasing order.
0.1, u, -5
Let y(q) = -4*q**3 - 2*q - 1. Let c be y(-1). Suppose -3*b = -s + 1 + 5, -4*s - b + 11 = 0. Sort -5, s, c in ascending order.
-5, s, c
Let i = 7.9 + -9. Let c = 0.7 + i. Let r = 0.08 + -0.38. Put c, r, 0 in descending order.
0, r, c
Let c = -5.4 + 0.4. Let l = 0.006 + 0.294. Put 0.4, l, c in decreasing order.
0.4, l, c
Let b(z) = 2*z**2 + 21*z - 6. Let k be b(-11). Let h be ((-8)/6)/(-1)*3. Put k, -3, h in increasing order.
-3, h, k
Let k = -362/7 - -52. Sort -3/2, -1/2, k in descending order.
k, -1/2, -3/2
Let a = -0.05 - 0.35. Let n = 5 - 8. Let c = -143/4 + 36. Sort c, a, n.
n, a, c
Suppose 0 = -0*x - 2*x - 30. Let n be x/(-9) - 3/(-9). Suppose 2*j = 6, n*f - 2 = -0*f - 2*j. Put -3, -1, f in decreasing order.
-1, f, -3
Let l = 28 - 28. Put l, -4, 5 in ascending order.
-4, l, 5
Let u(m) = m**3 - 3*m**2 - 6*m + 4. Let d be u(4). Put d, 0, 1 in increasing order.
d, 0, 1
Let r be (1/(-2))/(2/12). Let m = -3 - -6. Let d be 10/55 - 4/143. Put r, d, m in descending order.
m, d, r
Let a(c) = -c. Let n be a(-3). Suppose -2*u + 4*q - 4 = 0, -4*q + 10 - 4 = -3*u. Put n, 0, u in descending order.
n, 0, u
Let g = 9 + -13. Suppose 2*d - 4 = -3*c, -5*d - c + 23 = -0*c. Put d, -5, g in descending order.
d, g, -5
Let k(m) = 4*m**2 - 2*m - 2. Let l be k(2). Suppose -w + l = 4*w. Let x = -22 + 22. Put x, -5, w in decreasing order.
w, x, -5
Let t(p) = -p - 2. Let b be t(-4). Suppose 4*l = -4*h + 16, h = 3*l + b*l - 20. Sort -1, l, -4 in descending order.
l, -1, -4
Suppose 0*n - 2*n - 2 = 0. Let k be n*((-4 - -2) + -2). Suppose 5*a = -10, 0*b + b - 2*a = 7. Put b, 2, k in descending order.
k, b, 2
Suppose 2*j = -2*j. Let m be j + (-10)/6 + 1. Let p be (-21)/12*1 - -2. Sort p, m, -2 in ascending order.
-2, m, p
Let z = 413.1 - 413. Let i = 8 + -5. Put i, -1/3, z in increasing order.
-1/3, z, i
Suppose -2*n = g - 8, g - 4*n + 0*n + 22 = 0. Let v be (8/6)/(g/(-6)). Suppose -c - 7 = -s, 3*s - 6*s = 2*c + v. Put 3, s, -1 in descending order.
3, s, -1
Let q = 3.55 - 4. Let g = -0.05 - q. Put g, 2/15, 4 in decreasing order.
4, g, 2/15
Let f = 0.11 - 0.22. Let s = 0.11 + f. Sort 2, s, -2/7.
-2/7, s, 2
Let s = -57 + 53. Let z(i) = -i + 10. Let f be z(6). Sort f, s, 3 in increasing order.
s, 3, f
Let v = 0.394 - -0.006. Put 0.1, 2/57, v in descending order.
v, 0.1, 2/57
Let f = -0.2 + 0.4. Put 2/11, f, 3/5 in decreasing order.
3/5, f, 2/11
Let u = -5.6 - -6. Let t = u + -0.2. Suppose 2*f = -3*q, f = -q - q - 1. Sort t, -1, f.
-1, t, f
Let z = -15 - -10. Sort -3, z, -4.
z, -4, -3
Let b = 0.061 + 3.039. Let y = 7 + -4. Let l = y - b. Sort 2/11, 2, l.
l, 2/11, 2
Let q = -64 + 59. Sort 6, 0, q in descending order.
6, 0, q
Let o(c) = c**2 - 5*c + 4. Let i be o(3). Let n(g) = 2*g**3 + 41*g**2 + 22*g + 37. Let b be n(-20). Put b, 3, i in descending order.
3, i, b
Suppose u = -8*u - 45. Sort 0, 6, u, -2 in decreasing order.
6, 0, -2, u
Suppose -15 = -3*a - 0. Suppose -6*w = -2*w - 5*k - 15, -2*w + 3*k + 7 = 0. Suppose -3 - 7 = -w*u. Put u, a, 1 in decreasing order.
a, u, 1
Let i = 123 + -53. Sort 0, 5, i in descending order.
i, 5, 0
Suppose -3*i + 4*z - 2 = 0, 4*z + 50 = -5*i - z. Let t(x) = -x - 2*x - 1 + 2*x. Let q be t(i). Sort 0, q, -1 in ascending order.
-1, 0, q
Let m = 1 - 4. Put 2, m, -0.1 in ascending order.
m, -0.1, 2
Suppose 4*s + 28 = -4*v, -s - 3*v = 5 + 12. Put 4, s, 3, -51 in descending order.
4, 3, s, -51
Let q(d) = d. Let r be q(0). Sort -1, r, -5 in decreasing order.
r, -1, -5
Suppose -4*q = -6*q + 6. Suppose -6*o = -2*o - 8. Let y be ((-2)/3)/(o/q). Put 5, y, -4 in descending order.
5, y, -4
Suppose -2*n + 44 = 9*n. Sort -54, n, 5 in decreasing order.
5, n, -54
Let i = 3 - 1. Let k be 0/1 - 4/i. Put k, 1, -3 in decreasing order.
1, k, -3
Let f = -92 + 92. Sort -1, 10, 2/7, f in decreasing order.
10, 2/7, f, -1
Let k = 9.2 - 9. Let j = -1 - -1. Let i = k - j. Sort 1/7, -3, i.
-3, 1/7, i
Let k = -22 - -17. Sort 1/10, 1/3, k in descending order.
1/3, 1/10, k
Let o = 3 + -2.97. Let i = -101 - -101.53. Let p = o - i. Sort -3/7, 0.1, p.
p, -3/7, 0.1
Let i = -2.6 - 1.4. Let g = i - -4.1. Put 17, g, -0.5 in increasing order.
-0.5, g, 17
Let y = -2 + 2. Let w(g) = -g**3 - 8*g**2 - g - 13. Let d be w(-8). Put y, d, -1 in increasing order.
d, -1, y
Let y = -0.4 - -0.3. Let p = 1.1 + y. Let m = 0.2 + 0.1. Sort p, m, -1/2 in descending order.
p, m, -1/2
Let j = 0.35 + 0.05. Suppose 5*d + 1 = z + d, -4*z - 5*d = 17. Put j, 2/7, z in decreasing order.
j, 2/7, z
Let x = 84 + -89. Put -0.06, x, 2 in increasing order.
x, -0.06, 2
Let i be 1/(-3*(-1)/9). Suppose 5*q = -5*v + 20, -3 = -q - 2*v + i. Put 0, q, -2 in increasing order.
-2, 0, q
Let w = 107/5 - 22. Put 1/8, w, 4 in descending order.
4, 1/8, w
Let l be (1/(-2))/((-20)/(-16)). Sort l, 1, 4 in increasing order.
l, 1, 4
Suppose 3*y = y - 3*u + 10, -4*u = -2*y - 18. Sort y, 4, -6 in decreasing order.
4, y, -6
Let y be (0 + 5)*38/(-95). Sort -1, y, 12, 1 in decreasing order.
12, 1, -1, y
Let r(i) = 3*i + 4. Let f be r(-3). Put f, -0.2, 0.3 in decreasing order.
0.3, -0.2, f
Let w = -23 - -24. Sort w, 5, -4 in ascending order.
-4, w, 5
Let f = -0.3 + 1.3. Let y = f - 0.6. Let h = 0.05 - -0.95. Sort h, 2, y in ascending order.
y, h, 2
Let x = 22 + -20. Put 0, 5, 1, x in descending order.
5, x, 1, 0
Let q = -17 - -12. Put 1/6, -1/4, q in decreasing order.
1/6, -1/4, q
Let u = -2.3 + 0.3. Put 2, 1/9, u in ascending order.
u, 1/9, 2
Let r(h) be the first derivative of h**3/3 + h**2/2 + 3. Let f be r(0). Sort 3, -4, f in descending order.
3, f, -4
Suppose 3*y = y + 4, -1 = 3*n - 2*y. Let w be 1/1*(2 - 3). Put 0, n, w in decreasing order.
n, 0, w
Suppose w - 15 + 13 = 0. Put -1, w, 12 in decreasing order.
12, w, -1
Suppose m - 2*m - 2 = 0. Put 4, m, 0 in decreasing order.
4, 0, m
Let b be (-2)/7 + (-2)/(-7). Suppose 5*f + 4 = 2*o - 0*o, -4*f = -o + 8. Let v(i) = -i**2 - 8*i + 5. Let l be v(o). Sort l, b, -4.
-4, b, l
Let k = 8.54 - -0.46. Let b = -112/261 - -6/29. Sort -0.2, b, k in increasing order.
b, -0.2, k
Suppose 5*p + 2*z = -25, -2*z - 3 = p - 6. Let l = p - -3. Let m = 0.8 + 0.2. Put 4, m, l in decreasing order.
4, m, l
Let g = -13 - -23. Let i = g - 15. Sort 3, 4, i in descending order.
4, 3, i
Suppose -7*n = -5 + 19. Let u(o) = -o**2 + 1. Let a be u(0). Put n, -1, a in descending order.
a, -1, n
Let s = 60 - 59. Let i be (0 - -2) + (0 - -1). Put s, i, -2 in decreasing order.
i, s, -2
Let b = -7 + 3. Let t(k) = -k**3 - 7*k**2 - 6*k + 5. Let l(u) = -u**3 - 7*u**2 