20 = -145*a + 169*a. Suppose 3*c + 15 = 0, 6 - 20 = -2*r + 2*c. Suppose -r*t = -6*t - 2*u - 12, -2*t + 4*u - 16 = 0. Sort 2, t, a.
a, t, 2
Let j = -10.2 + 1.2. Let c = 44.5 + -53. Let z = j - c. Sort z, 4, 2/5 in increasing order.
z, 2/5, 4
Let d be (6/(-15))/((-4)/1626). Suppose -1115 = -5*o - 305. Let l = o - d. Sort -2, l, -5 in increasing order.
-5, -2, l
Let h(j) be the first derivative of j**3/6 - 4*j**2 + j - 6. Let i(m) be the first derivative of h(m). Let l be i(6). Sort l, 0.2, 0.3.
l, 0.2, 0.3
Let x be (642/20 - 4/(-10))*2. Let b = x - 69. Put 5, -1, b, 1 in ascending order.
b, -1, 1, 5
Let h = -136 + 134. Let f be 7 + (0 - (-1 + 2)). Let n = f - 9. Sort n, h, -5.
-5, n, h
Let y = 194.95 - 195. Put -1/11, -5/17, y, 5 in ascending order.
-5/17, -1/11, y, 5
Suppose 13*w - 8*w = -145. Let m = w - -33. Sort -3, -7, m in ascending order.
-7, -3, m
Let m(g) = 3*g - 1. Let s be m(2). Let l = 6 - 19/3. Let t be (-2)/4*-2 + 0. Put s, t, l in increasing order.
l, t, s
Suppose -4*m - 12 = -8*m. Suppose -6 = -m*g + n + 3*n, 0 = -g - 2*n + 2. Put 0, -5, g, -2 in descending order.
g, 0, -2, -5
Let n(t) = -t**3 - 16*t**2 + 21*t + 6. Let a be n(-17). Let g = a - -64. Put -3, -4, 6, g in descending order.
6, g, -3, -4
Let y = -184 + 182. Put 3, y, -1 in descending order.
3, -1, y
Let a(z) = -z**3 + 3*z**2 - 3*z + 2. Let x be a(2). Let m be (5 - 3) + -3 + 4. Suppose -n - m*n - 20 = 0. Sort n, x, -3 in descending order.
x, -3, n
Let r = -95 - -93. Sort r, 3, -40 in ascending order.
-40, r, 3
Let n(t) = -8*t - 5. Let h be n(-1). Suppose h*g - 6 = 9. Put g, -1, -4, -5 in decreasing order.
g, -1, -4, -5
Suppose -5*l + 4 = -l, l - 21 = -5*x. Put 2, 0, x, -5 in increasing order.
-5, 0, 2, x
Let p = 125 + -124. Sort -1, p, -3.
-3, -1, p
Let v be 9/(-12)*8/(-3). Suppose -2*k = 3*r - 4*r - 4, -3*r - 3*k - 3 = 0. Put r, v, 0, 5 in ascending order.
r, 0, v, 5
Suppose 4*h - v = -1, v - 20 = -5*h - 2*v. Suppose h = -2*t + 2*m - 7, -4*m - 4 = t. Suppose -l = -5*l + 16. Put t, 5, l in descending order.
5, l, t
Let i = 3.88 + -4.58. Put i, -0.2, 2/9, -3 in ascending order.
-3, i, -0.2, 2/9
Let x(q) = -q**3 + 16*q**2 - 15*q + 4. Let z be x(15). Put z, 2, -5 in descending order.
z, 2, -5
Let l(h) = h**3 + 10*h**2 + 25*h + 11. Let n be l(-6). Sort -1, n, 2, -7 in descending order.
n, 2, -1, -7
Suppose -3*u - 3 = -r + 4, -3*u + 5*r = 23. Sort u, 2, 1, 3 in ascending order.
u, 1, 2, 3
Let n = -1 - -2. Let g(d) = -32*d - 542. Let t be g(-17). Sort n, t, 0, 3.
0, n, t, 3
Let c = 697 - 693. Put -0.07, c, -5 in descending order.
c, -0.07, -5
Suppose -3*o = 3*d - 33 - 0, -43 = -4*o - 3*d. Sort 0, o, 2.
0, 2, o
Let x = -5 - -1. Let w = 94 - 97. Sort x, w, -1 in decreasing order.
-1, w, x
Suppose 4*u + 8 = -8, -4*j + 20 = -2*u. Suppose 2*g + 6*x = x - 21, 5*x = 4*g - 33. Put 0, g, j in descending order.
j, g, 0
Let i = 46.3 + -46.3. Put -2, -2/7, i, -4/3 in ascending order.
-2, -4/3, -2/7, i
Let s = 1609 - 1606. Let h = 2 + -1. Let t be (-1)/(-2 + 1/h). Put -2, s, t in descending order.
s, t, -2
Let z(y) = 5*y**2 - y + 1. Let r be z(1). Suppose -3*l + 4 + 20 = -3*c, r*c + l = -22. Put c, 0.4, -0.2, 1/4 in descending order.
0.4, 1/4, -0.2, c
Let o be 24/(-20)*5*(-2)/6. Sort 3, o, -15.
-15, o, 3
Suppose -1720 + 540 = -10*v. Let q = v - 118. Sort q, 1/10, 0.2 in descending order.
0.2, 1/10, q
Let t = -1139 - -1137. Put -27, -1, -8, t in descending order.
-1, t, -8, -27
Let j = -20 + -40. Sort 3, -5, -3/4, j.
j, -5, -3/4, 3
Let h = -30 - -31. Let c(v) = -v**3 - 1. Let j be c(h). Sort -5, j, 6 in ascending order.
-5, j, 6
Let t = 1.26 - 18.56. Let h = t + 3.3. Let k = h - -16. Sort 0, k, -5 in decreasing order.
k, 0, -5
Let r = -101 + 101.11. Let l = 882.11 + -877. Let i = l - r. Put -0.5, -5, i in descending order.
i, -0.5, -5
Let z = -1025/6 + 170. Sort -4, z, 2/9, 1 in ascending order.
-4, z, 2/9, 1
Let a = 2 + -7. Let c = a + 4.5. Let d = -20 - -20.8. Sort d, 0.3, c in descending order.
d, 0.3, c
Let o = 3 + -1. Let n = 88 + -138. Let j be 260/n - (-1)/5. Put 6, o, j in increasing order.
j, o, 6
Let u(t) = 8 + t - 2*t - 9 - 11. Let f be u(-5). Let k = -4 - f. Sort k, -3, 4 in decreasing order.
4, k, -3
Let x be 3/(-9) - 0/1. Let z = -5.35 + 5.38. Sort -5, z, 0, x in increasing order.
-5, x, 0, z
Let g = -1544 - -1543.85. Sort -0.6, g, 0.
-0.6, g, 0
Let u be (30/(-45))/((-1)/(-3)). Let p(q) = 8*q + 4. Let m be p(-1). Put 0, 6, u, m in decreasing order.
6, 0, u, m
Let w be -1*1/(6/(-24)*1). Put -10, 1, w, 1/4 in decreasing order.
w, 1, 1/4, -10
Suppose 0 = 3*y + 1 + 2. Let b be (-231 - -217) + 1*10. Put 1, 0.03, y, b in decreasing order.
1, 0.03, y, b
Suppose 10 = 10*u - 5*u, -3*x - 4*u = 10. Put x, 0, -3, 2 in decreasing order.
2, 0, -3, x
Suppose -120 - 145 = -5*l. Let r = l + -46. Put 5, -2, r in increasing order.
-2, 5, r
Let x be ((30/8)/5)/(32/128). Put 31, x, 1 in ascending order.
1, x, 31
Let w = 1165 - 1160. Sort 3, -2/603, w in ascending order.
-2/603, 3, w
Let v(m) = m**3 - 8*m**2 + 7*m - 5. Let j be v(7). Let i be 9/2*4/6. Let w(n) = -6*n + 18. Let f be w(3). Sort j, f, i in decreasing order.
i, f, j
Suppose 4*s - 10*s = 192. Let f be (-17)/(-3) - (s/(-12) + -2). Sort -3, f, -4, 4 in descending order.
f, 4, -3, -4
Let y(n) = -2*n**2 - 9*n - 35. Let j(q) = -q**2 - 5*q - 18. Let d(c) = 5*j(c) - 3*y(c). Let z be d(0). Sort 4, -1, z in decreasing order.
z, 4, -1
Let x(t) = -3*t**3 - 5*t**2 + 6*t - 2. Let i be x(1). Sort 2/3, 0.1, i.
i, 0.1, 2/3
Let a = 6 + 3. Let j = -2 - -2.17. Let o = j - 0.37. Sort o, a, 0.4 in descending order.
a, 0.4, o
Let r be 3/(-6) + 78/4. Let p be 30/18 - ((-4)/12 + 0). Sort r, 4, p in increasing order.
p, 4, r
Let j = 3.9 + 1.1. Sort j, -1/11, -42.
-42, -1/11, j
Let o = 16 + -16. Sort -0.31, -2/7, o, 5 in ascending order.
-0.31, -2/7, o, 5
Let m = 9.9456 + 0.0544. Sort -5/7, m, 1/3 in decreasing order.
m, 1/3, -5/7
Let b = 124 - 128. Sort b, -8, -2.
-8, b, -2
Let s(i) = i**2 + 7*i - 2. Let o be s(-8). Let l = o + -4. Let u be ((-7)/14)/(-1*(-5)/25). Put l, -6, u in descending order.
l, u, -6
Let y be 6/(-12)*54 - 0/1. Sort y, 5, -1 in increasing order.
y, -1, 5
Let w be (-165)/(-25) - 4/(-10) - -57. Put 0, w, -1, 5 in decreasing order.
w, 5, 0, -1
Let l be (2/(-36))/((-24)/(-72)). Sort l, 1, 0.8, -1 in descending order.
1, 0.8, l, -1
Let i = -0.031 + 34.531. Let d = 35 - i. Sort -0.04, -2/3, 4, d.
-2/3, -0.04, d, 4
Let t = -473 - -472. Sort t, 9.9, 3/5.
t, 3/5, 9.9
Let f = 434 + -434. Sort 180, f, -1 in increasing order.
-1, f, 180
Let t = 193 + -190. Let l = 1.3 - 1. Sort -3, t, l.
-3, l, t
Let p = -13.2 + 17.2. Put -16, 0.3, p in decreasing order.
p, 0.3, -16
Let d be (7/(-112)*4)/(-1). Sort -16, -5, d.
-16, -5, d
Let h = 18.9 - 27. Let f = h + 8. Let q be (0 - 1)/(9/(-81)*-15). Put f, 3, q in descending order.
3, f, q
Let t = 14 + -15. Let n = -1.8 - t. Let a = 1 + n. Put a, -4, 1 in ascending order.
-4, a, 1
Suppose 4 = -2*m - p, -19 + 6 = 3*m + 5*p. Suppose 2*g = -2*g. Put g, m, 1 in descending order.
1, g, m
Let b be ((-300)/(-18))/((-4)/6). Let w = -17 - b. Let f = -37/4 + w. Sort -2, f, 4 in increasing order.
-2, f, 4
Suppose -4*v + 20 = -5*o, 0 = -57*v + 60*v + 5*o + 20. Sort v, -2, -3 in decreasing order.
v, -2, -3
Let o be (4 + 265/(-65))/((-2)/4). Suppose -5*g = 4*b - 35, -4*g + 28 = -3*b - 31. Sort 0, o, g in descending order.
g, o, 0
Suppose 0 = 10*y - 6*y - 12. Suppose 25 = 24*c - 19*c. Put 0, 2, c, y in decreasing order.
c, y, 2, 0
Let o be (-20)/50 + 19/60. Sort o, 3, -2.
-2, o, 3
Suppose -15*n + 6 = 156. Sort -1, n, 0 in increasing order.
n, -1, 0
Let u = -41 + 46. Suppose 4*z + 3*c + 7 = 0, -5*c = 5*z - 1 + 16. Put -8, u, z in descending order.
u, z, -8
Let n be (-10)/60 - (-1382)/6996. Let r = 8/53 + n. Put 0, -0.3, r, -2 in ascending order.
-2, -0.3, 0, r
Let t = -20 + 19. Suppose 3*i + i = 8. Let z be (-4)/(1/(i + t)). Sort 0, z, 5.
z, 0, 5
Suppose 4*r - 16 = -2*w, w = 1 - 5. Suppose -r*y - 11 = -41. Let q be (-1)/(2 + -3)*-3. Sort y, q, 3.
q, 3, y
Suppose 5*c = d - 11, 3*d + d = -c - 19. Let o be ((-5)/15)/1 + (-10)/(-3). Sort -5, o, c, 5 in increasing order.
-5, c, o, 5
Suppose -y = -3*f - 123, 5*f + 213 = y - 2*y. Let o = 47 + f. Let k be (-20)/8*(-12)/(-10). Sort o, k, 4 in increasing order.
k, 4, o
Let h = -510 - 