 = -15841/10 + 1579. Let n = g + 11/2. Let w(t) = -t - 10. Let o be w(-12). Sort -1/7, o, n in descending order.
o, n, -1/7
Let k(l) = 7*l**2 + 142*l + 38. Let f be k(-20). Put -1, 1/35, f, 4 in increasing order.
f, -1, 1/35, 4
Suppose 0*d + d - 1 = 0. Let q be 4 + 1 + d + -1. Suppose 0*h - 2*h + 12 = 3*s, 0 = -q*h. Sort s, 1, 0 in descending order.
s, 1, 0
Let c = -55/98 + 3/49. Sort 5, c, -5 in descending order.
5, c, -5
Let s(v) = 2*v**2 + 13*v + 0 - 3 - v**2 - 8*v. Let z be s(-6). Let r = -16 + 50/3. Put r, -4, z in increasing order.
-4, r, z
Let p = 35 - 80. Let z be (-1)/(p/10 + 4). Put -2, 4, 9, z in descending order.
9, 4, z, -2
Let t = 0.23 - -2.77. Let c = -25 - -35. Let n = -17 + c. Sort 1, n, t in decreasing order.
t, 1, n
Suppose 798 = -3*d + 2*g, 4*d = -2*g - 0*g - 1050. Let m be ((-1)/(-2))/(242/d). Let z = -3.1 + 3. Put m, -2, z in decreasing order.
z, m, -2
Let w be (-2 + (-705)/(-7))*-1*-7. Put -2, w, -5 in descending order.
w, -2, -5
Let s(a) = a + 12. Let y be s(-9). Suppose m + 40 = 5*m. Suppose -m = 3*d + 4*n, 2*d + 22 = 3*d - 5*n. Put d, y, -2 in decreasing order.
y, d, -2
Let w(p) be the second derivative of -p**5/20 - 25*p**4/12 - p**3/6 - 15*p**2 - 5*p. Let v be w(-25). Put 0.1, v, 1/6 in increasing order.
v, 0.1, 1/6
Suppose -3*f - 24 = -5*k, 38 = 5*k - 5*f + 8. Suppose 0 = k*q - 10 + 1. Suppose q*c = c. Put c, -2, 3 in descending order.
3, c, -2
Let a = 0.08 + -0.06. Sort -2/7, 2/3, 0.5, a.
-2/7, a, 0.5, 2/3
Let c(j) = -2*j**2 - 18*j - 3. Let t be c(-8). Let x be t/5 - 48/80. Put x, 5, -3 in decreasing order.
5, x, -3
Let r = 15 - -11. Let z = 29 - r. Let c = -4.5 + 4. Put c, -3, z in descending order.
z, c, -3
Suppose -3*k = l - 7 - 18, 5*k = 3*l - 61. Let p = 29 + -54. Let r = p + l. Sort -4, -2, r.
-4, r, -2
Suppose 3*y - 5*l - 144 = 0, 35 = y + 4*l + 4. Let k = -48 + y. Put 4, 5, k in decreasing order.
5, 4, k
Let j = 2 + -1. Let n(x) = x - 37*x**2 - 2 - x**3 + 94*x**2 - 57*x**2. Let q be n(j). Put q, 0, 3 in decreasing order.
3, 0, q
Let y = 7 + -4. Let g = 3 + -2. Let o be (70/(-49))/(72/210) + 4. Put o, g, y in descending order.
y, g, o
Let u = 870 + -861.3. Sort -5, u, -1 in descending order.
u, -1, -5
Let y = 10.1 - 11. Let d = 0 - y. Let b = d - 0.6. Put -4, b, 2/13 in descending order.
b, 2/13, -4
Let m = 3.6 - -1.4. Let y(k) = 4*k**2 + 4*k + 2. Let o be y(-1). Put m, 3/2, 5/2, o in descending order.
m, 5/2, o, 3/2
Let w be (81/63)/(-3)*7. Sort -219, w, 0.
-219, w, 0
Let t = 23.3 + -21.1. Sort t, -5, 8, -3.
-5, -3, t, 8
Let q = -0.5 - -0.3. Let d = -22 - -21.7. Sort -0.5, d, q in descending order.
q, d, -0.5
Let y = 135 + -136. Let z = 2.6 - 3. Sort z, -2/3, y, 2/13.
y, -2/3, z, 2/13
Suppose 17 = 3*b - 7. Suppose -5*z = -5*d - 5, -2*d - b = -2. Let j be (21/(-35))/(z/10). Put -2, 2, j in decreasing order.
j, 2, -2
Suppose 0 = 2*v + 2*v - 12. Suppose -v - 1 = -a. Let i be (10/a)/(6/(-12)). Put 4, 3, i in increasing order.
i, 3, 4
Let l(d) = -2*d**2 - 14*d - 13. Let k be l(-6). Put 0, -27, 6, k in descending order.
6, 0, k, -27
Let d = 163 - 167. Let q be ((-4)/50)/((-2)/10). Let u = -0.1 + 0.1. Put q, u, d in descending order.
q, u, d
Suppose -v = 4*c + 32, -c + 5*c + 32 = 5*v. Sort -5, c, -3 in decreasing order.
-3, -5, c
Let v = 1 + -4. Let r = -17.1 - -17.05. Sort r, v, -1 in descending order.
r, -1, v
Suppose -3*q + 43 + 29 = 0. Let h be ((-2)/q)/(30/80). Sort 1, h, -2 in descending order.
1, h, -2
Suppose -272 - 78 = 5*q. Let g be 160/q + 2/7. Suppose -2*m + 2*u = m + 11, 4*m + 5*u - 16 = 0. Sort -3, g, m in increasing order.
-3, g, m
Suppose h + 3 = -3*h - 3*y, 4*y = 12. Let m = 0 - -1. Suppose -5*v + s = -6*v - 3, -3*s = -4*v + 2. Sort h, v, m in ascending order.
h, v, m
Let i(b) = 3*b**2 + b + 416. Let v be i(0). Let o be 0 + -1 + v/16. Suppose -l = 3*l - 2*g - 6, 2*l - 3*g = 5. Put l, o, -4 in increasing order.
-4, l, o
Let w = -320 - -320. Sort -2/9, w, 45 in decreasing order.
45, w, -2/9
Let o be 21/(-56) + 229/(-8) - -2. Sort 2, 3, o in descending order.
3, 2, o
Let y be 48/170 - (-4)/(-10). Let d = -14 - -43. Let g = -30 + d. Put y, 3, g in descending order.
3, y, g
Let k = 50.93 + -0.93. Let t = -53 + k. Sort 0.2, -0.5, t, -0.4 in descending order.
0.2, -0.4, -0.5, t
Let x = 0.5 - 0.3. Let d = -56 + 72. Let v = 15.7 - d. Sort 3, v, x in increasing order.
v, x, 3
Suppose -4*x = 44*y - 43*y - 14, -4*y + 4*x = 4. Sort y, 0, 16.
0, y, 16
Let j = 384/1991 + -2/181. Suppose 54 = -3*i - 2*m, 0 = -2*i - 12*m + 10*m - 38. Sort i, 2, j in descending order.
2, j, i
Let l = -22 - -18. Let w = 1.67 - -0.33. Put 0, l, w in decreasing order.
w, 0, l
Let x = 54 + -51. Suppose -5*b = p - 28, 4 = -4*p + x*b + 1. Put p, -15, -1, 2 in descending order.
p, 2, -1, -15
Let b(v) = v**2 - 35*v + 93. Let d be b(32). Sort 4, 5, -1, d in ascending order.
d, -1, 4, 5
Let y = -1471 + 1477. Sort y, -5, 9 in descending order.
9, y, -5
Let y = -1.77 - -1.75. Sort 3/5, -81/2, -3/2, y in descending order.
3/5, y, -3/2, -81/2
Let k = -29/4 + 83/12. Let p be (((-4)/(-98))/(5/35))/(-2). Sort k, p, -0.1 in descending order.
-0.1, p, k
Let z = -75.4 + 75.49. Sort z, -2/7, 1/12.
-2/7, 1/12, z
Suppose -b - 6 = -8. Let t(r) = -128*r + 380. Let y be t(3). Sort -5, 3, b, y in descending order.
3, b, y, -5
Let d = -475/4 - -118. Suppose -6 = -g - 10. Let i be (2/(-12))/(2/(-30)). Sort g, i, d in decreasing order.
i, d, g
Let t(k) = 3*k**2 - 4*k - 2. Let y be t(-1). Sort y, -206, -4 in increasing order.
-206, -4, y
Let x = -15.12 - -15.32. Sort -16, 3, x in ascending order.
-16, x, 3
Suppose 0 = 19*g - 35 - 79. Sort g, -1, 5 in decreasing order.
g, 5, -1
Let g(k) = 12*k + 47. Let a be g(-4). Sort 2, -3, a in descending order.
2, a, -3
Let x = 1.1 - 0.9. Let m = -147 - -150.45. Let j = m + -0.45. Sort -1/5, j, x in descending order.
j, x, -1/5
Let f = 175 + -180. Sort 5, f, 19/5, 0.4 in increasing order.
f, 0.4, 19/5, 5
Let d be (14 + -13)*1/(-1). Suppose 2*j + 49 = 7*j - 2*n, 3*j - 3*n = 33. Put 2, d, j, 0 in decreasing order.
j, 2, 0, d
Suppose -543*k - 138*k = -259 + 940. Suppose 0*s - 22 = -4*o - 3*s, 2 = o - s. Suppose z = 2*i - 0 - 4, -o*i + 36 = 5*z. Put 3, k, i in descending order.
i, 3, k
Let d(l) be the first derivative of -2*l**2 + 13*l + 1. Suppose 17*u - 23*u + 24 = 0. Let a be d(u). Put -5, 0, a in increasing order.
-5, a, 0
Let g = 4 - 2. Let i(v) = -6*v - 2*v + g*v + 3 + 7*v. Let n be i(3). Sort 0, 5, n in decreasing order.
n, 5, 0
Let t = 0.1 + 0.1. Let u be 1784/(-112) + 15 - 6/(-14). Let j = -804/13 + 62. Put u, j, t in descending order.
t, j, u
Suppose -2*f + f + 104 = -t, 0 = 3*t - 5*f + 322. Let s = -98 - t. Put 11, s, -3 in descending order.
11, s, -3
Let q = -552/7 + 2753/35. Put 5, 4, q, 16 in ascending order.
q, 4, 5, 16
Let l be 2 + (-1 + -2)*2. Let h(j) = -2*j - j - 3 + 2*j. Let v be h(-4). Sort l, v, -5 in decreasing order.
v, l, -5
Let f be 20/(-110) + 2/11. Let n = f - 3. Suppose 0 = -5*y - 16 + 41. Sort y, n, -4 in decreasing order.
y, n, -4
Let l be (-28)/30*18/(-12)*-5. Put 2, -5, l in increasing order.
l, -5, 2
Let n be 0/((2 - -1)/(6/4)). Sort n, -3/10, -0.2 in ascending order.
-3/10, -0.2, n
Let b be ((-2)/2)/(1/3). Let k(i) be the third derivative of i**4/12 + i**3/3 - 8*i**2. Let c be k(b). Put c, -5, -1 in ascending order.
-5, c, -1
Let u(v) = -v**3 - 4*v**2 + 4*v. Let a be u(-5). Suppose a = -3*o - 1. Suppose -2*f = 58*i - 62*i - 8, 2*f - 4 = 3*i. Sort -1, i, o in decreasing order.
-1, o, i
Let n = 184 - 154. Sort n, -2/7, 0.07 in decreasing order.
n, 0.07, -2/7
Suppose 3*g + 28 = 5*o - 8, 0 = -o. Let r = -191 + 191. Sort g, 4, r.
g, r, 4
Let v be (3/9)/((-3)/(-405)). Let m = 44 - v. Put 5, -3, m, -4 in decreasing order.
5, m, -3, -4
Suppose -a + 6 = 3*g, -2*a - 2*g + 20 = -0*a. Let d be (0 + a)*3/6. Let h be 4/8*d - -1. Put -0.2, h, -0.4 in increasing order.
-0.4, -0.2, h
Let p be (-1)/3 - (-2 - 3/(-2)). Put -1/4, p, -4.5 in decreasing order.
p, -1/4, -4.5
Suppose -2*z = 2*z - 72. Let r = 18 - z. Suppose -4*j = -4*a, r*a + 2*a + 6 = 0. Sort 3, -5, j in ascending order.
-5, j, 3
Let v = -0.242 + 30.242. Put 0, -0.2, v, 0.2 in ascending order.
-0.2, 0, 0.2, v
Let n = -0.09 + 0.49. Let t = -1144.5 + 1145. Let b = -5 + 5.3. Put t, n, b in increasing order.
b, n, t
Let o(y) = 3*y + 17. Let u be o(-