et p = 137/6 + d. Put 0.4, p, -2, -5 in decreasing order.
0.4, p, -2, -5
Let w(s) = 16*s**2 - 931*s + 178. Let g be w(58). Put -8, 15, 2, -1, g in decreasing order.
15, g, 2, -1, -8
Let m(i) = 2*i**3 - 298*i**2 - 612*i + 1211. Let f be m(151). Let b(n) = -12*n + 1. Let k be b(-2). Sort f, -3, k in decreasing order.
k, f, -3
Let z be 1/3*(-38 + 68). Let v = z + 6. Sort -5, 3, v in increasing order.
-5, 3, v
Let q be ((-44)/(-11))/((-12)/9). Suppose 0 = h - 2*h - 4. Sort h, 3, -11, q in descending order.
3, q, h, -11
Suppose 3*t - 138 = 45. Suppose 5*h + t = -54. Sort h, 5, -1 in descending order.
5, -1, h
Let s(m) = -m**3 - 4*m**2 - 3*m - 1. Let j be s(-3). Let l(w) = 99*w + 595. Let z be l(-6). Let q be z + j + (-4)/16. Put -5, q, 0 in decreasing order.
0, q, -5
Suppose -3*z + 106 = j + 4*j, -4*j - 152 = -5*z. Let x be (z/4 - 3) + -7. Let a(v) = -v**3 + 5*v**2 + 4. Let r be a(5). Put -1, r, x, 1 in increasing order.
x, -1, 1, r
Let b = 1.15 - 1.06. Let i = 2.44 - 0.44. Put 1, i, b in decreasing order.
i, 1, b
Let b = -0.21 - 0.35. Let d = -0.36 - b. Let o = 1.822 - -0.178. Put o, -2, d, -0.4 in increasing order.
-2, -0.4, d, o
Suppose -9411 = 9*t - 9456. Sort 342, t, -3, 4 in ascending order.
-3, 4, t, 342
Let r(g) = 177*g + 5309. Let a be r(-30). Sort -16, a, 76 in increasing order.
-16, a, 76
Let g = -6.58 - 65.42. Sort -5, g, -9.
g, -9, -5
Suppose 0 = -2*i - 5*c + 14, -c = 2*i - 3*i + 7. Let j be ((-2)/2)/(i/14). Let h(g) = -4*g + 20. Let v be h(4). Put 2, j, v, 3 in descending order.
v, 3, 2, j
Let a be 1/2 + 3/(-4). Let f = 308 + -312. Let r be (-4)/((-2 + 5 - 5) + f). Put a, r, 4, -1 in decreasing order.
4, r, a, -1
Let w = -43.88 + 38.88. Put -0.046, -2, w in decreasing order.
-0.046, -2, w
Let q(j) = j - 1. Let s be q(-1). Let x = -26097 + 26092. Sort s, -8, x, 0 in descending order.
0, s, x, -8
Let m = -45158 + 45138. Put m, -0.4, 2/41 in ascending order.
m, -0.4, 2/41
Suppose 0 = -2*o - 3*o + d + 99, 3*o - 77 = 5*d. Suppose 693*v - 571 = -694 - 2649. Put v, o, 6 in descending order.
o, 6, v
Let f(v) = -6*v**2 + 4*v. Let t be f(1). Suppose -3*z + 15 = -5*c, -3*z = -2*c + 6*c + 12. Sort 2, -5, z, t.
-5, t, z, 2
Let d = 7179 - 7182. Put 12, d, 5, -14, 1 in descending order.
12, 5, 1, d, -14
Let j = 7.4 + -10.37. Let x = -2.67 - j. Put 39, x, -5 in increasing order.
-5, x, 39
Suppose -74*o + 220 = -118*o. Sort -2, 0.2, 0, -1/24, o.
o, -2, -1/24, 0, 0.2
Let q = -24 - -22.9. Let g = 1 + q. Let i = 14192 + -14191.5. Sort g, i, 1 in decreasing order.
1, i, g
Let u = 235/2 + -120. Suppose 0 = 4*b + 5*l - 23, 2*b - 5*b + 15 = 3*l. Suppose -13*d + b*d + 11 = 0. Sort u, 0, d, -3.
-3, u, 0, d
Let x(m) = -m - 4. Let q be (18 - 4)*(-8)/(-28) - -3. Let a be x(q). Sort a, 5, 0, 1 in increasing order.
a, 0, 1, 5
Let d = 2 + 10. Suppose -6 = 146*q - 143*q. Let v be ((-28)/(-21))/(1/(-3)). Sort v, 0, q, d in decreasing order.
d, 0, q, v
Let u be ((1265/(-69))/11)/(10/(-12)). Put -7, u, -16 in descending order.
u, -7, -16
Let f = 4.182 + -17.182. Put f, 2, 276 in increasing order.
f, 2, 276
Let i = -5586 - -5584. Put -14, 1, 4, i in increasing order.
-14, i, 1, 4
Suppose y = 5*j - 15, -10 = -5*j + 3*y + 15. Suppose 2*k - 129 - 109 = 0. Let v be k/42 + (2 - (-33)/(-18)). Sort v, -3, j in descending order.
v, j, -3
Let h be 12/(-45)*(-25)/10. Suppose 0 = 7*l + 8 - 36. Put -0.5, l, h in decreasing order.
l, h, -0.5
Suppose 2 = -201*b + 200*b. Let x(z) = 2*z + 5. Let n be x(b). Let q be 22/4 + 6/(-4)*n. Put q, -3, -15 in increasing order.
-15, -3, q
Let a = -12330.4 + 12330. Sort -28, 5, 3/4, 0.4, a in increasing order.
-28, a, 0.4, 3/4, 5
Let h = 6.9 + -7.48. Let u = 10.58 - 11.36. Let r = u - h. Sort 0.5, 0.3, 5, r.
r, 0.3, 0.5, 5
Let c = -3226.6 - -3227. Put 1, 197, -0.1, c in descending order.
197, 1, c, -0.1
Suppose 4*d + 16 = -3*r, -632*r + 633*r + d = -3. Let n be (1*2/(-5))/2. Sort 0.1, n, r.
n, 0.1, r
Let w = 0.2336 - 9.2336. Let l be (-27)/(-12) + -2*1. Let r = -0.81 - -1.81. Sort l, 4, r, w in increasing order.
w, l, r, 4
Let l be 2/(-6)*(-6)/4 + 52/(-8). Put l, 124, 5 in ascending order.
l, 5, 124
Suppose -7*i = -2*i + 20. Let q(n) = -10*n - 5. Let c be q(-2). Suppose -13*p = -16*p - c. Sort 1, 5, p, i in increasing order.
p, i, 1, 5
Suppose 5*b + 15 = 40. Let v(x) = 4*x**2 + 2*x - 15. Let k be v(3). Suppose 9*l = k*l. Sort -1, b, 1, l in descending order.
b, 1, l, -1
Let f(m) = -8*m + 8. Let o be f(-1). Let d(z) = -86*z - 1. Let i be d(1). Let l = 88 + i. Put l, -3, o in descending order.
o, l, -3
Let u be (60/(-36) - 4/12) + 1. Let w = -1 - -1. Put 3, u, 1, w in descending order.
3, 1, w, u
Let j be 7/2 - (-2)/4. Suppose 0 = 5*h - 1 - 4. Let s be ((-6)/(-8))/(1/4)*-1. Put j, h, -2, s in descending order.
j, h, -2, s
Let d be (-1)/3 + (-16)/(-12). Let x be 14/(-119) - (-696)/136. Suppose -f + 5 = 0, 0 = 4*a - 5*f + 13 + 32. Put d, a, x in descending order.
x, d, a
Let r(j) = 2*j**2. Let u be 48/20 + (-2)/5. Let l be r(u). Let v be 4/14 + (-950)/(-350). Put -2, l, v in decreasing order.
l, v, -2
Let u(d) = d**3 + 6*d**2 - 6*d + 6. Let m be u(-7). Let c be -6 + 5/30 + 354/36. Sort 0, c, 2, m in descending order.
c, 2, 0, m
Let b = -7 - -10. Let q(y) = -y**3 + 16*y**2 - 16*y + 16. Let x be q(15). Sort b, x, 0 in decreasing order.
b, x, 0
Suppose 3*u = 3*r + 45, -2*u - 4*r = 3 - 9. Suppose 2*f = 4*f + 5*d + u, 4*f - d - 11 = 0. Put -4, f, 0 in descending order.
f, 0, -4
Let t = 1971 - 1971. Let a be ((-130)/14 - -9)/((-3)/(-7)). Put a, -3/5, t, 3 in descending order.
3, t, -3/5, a
Suppose 4*t - 2*v - 23 = -3, 3*v + 24 = 4*t. Let j(u) = -u**2 - 5*u + 11. Let q be j(-6). Let d be (-3 + 6)/(12/(-26 + 2)). Put t, q, d in increasing order.
d, t, q
Let s(r) be the third derivative of r**6/120 + r**5/30 + r**3/6 + 14*r**2. Let h be s(-2). Suppose -2*b + h = 7. Sort 3/7, b, 0.2.
b, 0.2, 3/7
Suppose -3*q - 46 = -2*o, 0 = 4*q - 0*q + 5*o + 46. Let m be (-3 + 2)/7 - (-432)/q. Put 0.3, 1, m in increasing order.
m, 0.3, 1
Let n = -15389 - -15388.8. Put 3, n, 20, 3/4 in descending order.
20, 3, 3/4, n
Let x = 189 - 188.912. Let z = x + -0.018. Sort -0.2, 0, z in ascending order.
-0.2, 0, z
Let v = 0.30055 + -0.20055. Put -4, v, 14/9, 3, 6 in increasing order.
-4, v, 14/9, 3, 6
Let s be 16 + -8 + 66/(-9). Sort -3, s, -4/7, 1, -5 in descending order.
1, s, -4/7, -3, -5
Let w = 8 + -6. Let x(d) = 27*d - 1190. Let r be x(44). Put r, w, 0, -1/6 in decreasing order.
w, 0, -1/6, r
Let j = 9.2256 - -4.7744. Sort -0.4, j, -5/4, 0.096 in increasing order.
-5/4, -0.4, 0.096, j
Let r = -20.73 + 52.27. Let v = r + -31. Let m = v + -0.54. Put 1/3, m, -5 in increasing order.
-5, m, 1/3
Suppose -426 + 176 = 351*w - 226*w. Suppose 2*f = 2*x - 270, -5*f - 348 - 307 = -x. Sort 0, f, w in ascending order.
f, w, 0
Let h = -339.87 + 339.8. Let r = 13 + -18. Put 0.1, h, r in decreasing order.
0.1, h, r
Let u = 5105 + -5104. Sort 5, u, -4, -3, -2 in increasing order.
-4, -3, -2, u, 5
Let n = 429.6 - 434.6. Sort 2/7, n, -2/29 in descending order.
2/7, -2/29, n
Suppose -15 = -2*n - 3*n. Suppose 22 = -a - 3*k - 2*k, -n*a + 4*k = 9. Let w be (315/(-28))/15*((-20)/(-6))/(-5). Sort -0.4, w, a, 3 in decreasing order.
3, w, -0.4, a
Let z = 5.6 - 0.6. Let t = -13.096 + 13.496. Put 0.5, z, -1, t in descending order.
z, 0.5, t, -1
Let r = 3/5839 + -5851/23356. Sort -3/5, r, 0.5, 10, 8 in decreasing order.
10, 8, 0.5, r, -3/5
Let t(s) = 7*s**2 + 10*s - 101. Let d be t(6). Suppose 10*g + d = 171. Let b = -4 + 6. Sort -8, b, -1, g in ascending order.
-8, g, -1, b
Let s = -2.11 - -0.11. Let n = 2.5 + s. Let b be ((-2)/(-6))/(-8 - (-387)/54). Sort b, n, -4.
-4, b, n
Suppose 87 = -108*m - 88 - 473. Put -22, 3, -10, m, -5 in increasing order.
-22, -10, m, -5, 3
Suppose 0 = -i - 1731 + 1727. Sort -1, -128, i.
-128, i, -1
Suppose v - 293*b + 295*b = -6, -4*v - 13 = -3*b. Sort 1, 0, 3, v, 2 in ascending order.
v, 0, 1, 2, 3
Let r = 2 - 3. Let b = 34269 + -34268.8. Sort b, -3, 17, r.
-3, r, b, 17
Let v = 371 + -366.84. Let x = v + -4.16. Sort 0.2, -18, x, -5 in ascending order.
-18, -5, x, 0.2
Let y = 780.72 + -781. Let p = 41/6 + -19/3. Put y, -0.1, 1/8, p in increasing order.
y, -0.1, 1/8, p
Suppose -11*n = -113 - 140. Suppose -4*r - 2*o - 5 = n, 2*r + 4*o = -26. Let b = -1.3 + 0.3. Put b, r, -1/6, 0.