n ascending order.
a, -1, 83
Let r = 277 - 277.13. Sort r, 0.2, -1 in decreasing order.
0.2, r, -1
Let v(r) be the third derivative of r**5/30 - 3*r**4/8 + 8*r**3/3 - 7*r**2. Let h be v(2). Sort 4, h, -2, 2 in descending order.
h, 4, 2, -2
Suppose 0 = 14*j + 388 + 172. Put 1/4, j, 3 in increasing order.
j, 1/4, 3
Suppose -5*i - 5*d + 5 = 0, -i + 5*d = 4*d + 5. Put i, 198, 0 in ascending order.
i, 0, 198
Let s be 3*4*1/(-6) - 18. Put s, -4, -2, -3 in decreasing order.
-2, -3, -4, s
Suppose -3*b + 8 = 20. Let q be b/(-8)*(-4)/(-3). Let m = -3.32 - -0.32. Sort m, q, 4.
m, q, 4
Let u = -8.5 - -5.2. Let i = 0.5 + -0.2. Let l = u + i. Sort 0.1, l, 3 in descending order.
3, 0.1, l
Suppose -2*k + 10 = -3*j, -4*k = 5*j - k - 15. Suppose -3*f - f - 16 = j. Sort 1.4, f, 2/9 in descending order.
1.4, 2/9, f
Let w = -8.1 + 8. Let p be 3 - (0 + (-8)/(-3)). Suppose -3*u - 10 = -5*h, 10*u = 5*u + h - 2. Sort u, p, w.
w, u, p
Let q = -0.0188 - 0.1512. Sort 1, q, -3, 0.5 in ascending order.
-3, q, 0.5, 1
Let b = -8 + 8.3. Let f = -67 - -66.5. Sort f, -0.3, b in increasing order.
f, -0.3, b
Let r be 9/(-12)*(-4)/3. Suppose 4*o + r = 2*l + 3*o, -3*l - 5*o + 8 = 0. Let g be (-4)/(-14) - 46/14. Put l, -1, g in increasing order.
g, -1, l
Let c = 133.8 + -138.8. Let r = -0.1 + 4.6. Let n = r + -0.5. Sort -1/5, n, c in decreasing order.
n, -1/5, c
Let u = -0.8 + 1.8. Let y = 0.09 + -0.23. Let x = y - 0.86. Put u, 4, x in decreasing order.
4, u, x
Let p = -0.336 - -3.336. Put 16, p, -3 in descending order.
16, p, -3
Let p be (-6 + -6)*(-1)/4. Let k(m) = -9*m**2 - 6*m + 9. Let s be k(p). Let o be 6*(-3)/(s/5). Put o, 0.2, 4 in decreasing order.
4, o, 0.2
Let f = 165/7 - 24. Put 2/65, 2, -4, f in descending order.
2, 2/65, f, -4
Let s = 0.0726 + -0.4726. Let o = -1.4 - -0.7. Sort s, 3/5, o in increasing order.
o, s, 3/5
Let q = 0.205 - 0.205. Sort -45, 0.4, q in increasing order.
-45, q, 0.4
Let o = -660 - -669. Sort 3, -4, 6, o in descending order.
o, 6, 3, -4
Let x = -13 - -18. Suppose 589 = 10*s + 569. Put -4, s, x in ascending order.
-4, s, x
Suppose -15 = 8*g + 169. Let w = g - -18. Sort 1, -4, w in increasing order.
w, -4, 1
Let u = 12 + -4. Suppose -u*l + 3*l = 4*k + 44, -l + 3*k = 5. Let f = l + 10. Put f, -5, -3/4 in decreasing order.
f, -3/4, -5
Let h(m) = -m**3 - 12*m**2 - 2*m - 23. Let f be h(-12). Suppose -9 = 4*x - x. Put f, 5, x in decreasing order.
5, f, x
Let z be ((-185)/650)/((-1)/(-2)). Let b = -2/65 + z. Suppose w + 4 = 3*w. Put -0.1, b, w in descending order.
w, -0.1, b
Let d(c) = c**3 - 20*c**2 + 54*c - 55. Let r be d(17). Suppose 4*p + 3 + 17 = 0. Put p, r, -1, 3 in decreasing order.
3, -1, r, p
Let n(k) be the second derivative of k**4/12 - 7*k**3/6 - 3*k**2 - 15*k. Let i be n(8). Put i, 1, 3, -1 in decreasing order.
3, i, 1, -1
Suppose -11 = -10*i + 19. Put i, 10, 7 in decreasing order.
10, 7, i
Suppose 4*n - 298*c = -302*c - 24, 0 = -5*c - 10. Put -3, 2, n, -108 in descending order.
2, -3, n, -108
Let x(m) = 5*m**2 + 1. Let b be x(1). Suppose c = -7 + b. Let d be 3 + -3 + 0 + 4. Put c, d, -4 in decreasing order.
d, c, -4
Let l = 25 + -21. Let y = 4.1 - l. Let h = 0.1 + 0.1. Put y, h, 5 in decreasing order.
5, h, y
Suppose 0 = -3*j - 2*p + 7, 4*j - p + 1 - 25 = 0. Let k be 2/(-10)*-5 + 0 + 1. Suppose 4*a + v = 18, -3*a - 7*v + 4*v + 18 = 0. Sort j, k, a.
k, a, j
Let z(r) = -r**2 + 6*r - 2. Let g be z(4). Let y be (4/(-6))/(g/(-9)). Suppose 4*k - 9 = -y. Put -2, 4, k in increasing order.
-2, k, 4
Let f = -0.0339 + 0.0339. Put -5, 69, f in descending order.
69, f, -5
Suppose 5*x - 40 = -4*p, 4*x - 9 - 27 = -4*p. Suppose d = 3*d - 10. Let l be 3 + d*-2 + 3. Put 2, l, p in descending order.
p, 2, l
Suppose 12 = -4*m, 5*v + 26 = -4*m - 1. Let j be -4 + 26/182 + (-1)/7. Suppose -3*f + 0*f - 3 = 0. Put v, j, f in descending order.
f, v, j
Suppose 0 = 2*n + n + 111. Let t = n + 33. Put 1, 2, -5, t in increasing order.
-5, t, 1, 2
Let f = -13.12 - -2.12. Put -0.5, f, 0.03 in increasing order.
f, -0.5, 0.03
Suppose -b + 5*n + 28 = 0, -12*n + 14*n + 7 = -b. Let v = -5 + 2. Let c = -6 - v. Put 2, c, b in decreasing order.
b, 2, c
Let w = 105 - 101. Let c(u) = u**2 - u - 12. Let k be c(w). Put k, 8, 3 in ascending order.
k, 3, 8
Let b = -36.17 + 36. Let u = -9.83 + b. Let v = u + 5. Sort 2/23, 0.3, v in ascending order.
v, 2/23, 0.3
Suppose 3*i + u = 2*i + 4, 12 = -3*u. Suppose a - 2 = 2*a. Let l be (-8)/(-28) + 0 + (-78)/(-21). Put l, a, i in decreasing order.
i, l, a
Let i be (4/28)/((-4)/14). Sort i, -2/13, 5, 10.
i, -2/13, 5, 10
Suppose 0 = 2*l + 10. Suppose -3*o = -16 - 17. Let h = o + -14. Put h, l, 2 in ascending order.
l, h, 2
Let r = -230 - -216. Sort -3, 3, -0.4, r.
r, -3, -0.4, 3
Suppose j - 20 = -h, 2*h - j + 5*j = 36. Put h, 1, 3, 2 in ascending order.
1, 2, 3, h
Let k = -1950 + 1939. Sort 2, 4, k in increasing order.
k, 2, 4
Let w = -0.1 - -0.6. Let a be ((-3)/2)/(0 - (-165)/20). Sort a, -2, w in descending order.
w, a, -2
Let n = 0.07 + 0.23. Let j be (10/(-8))/((-7)/(-28)) + 4. Put j, 0, n in ascending order.
j, 0, n
Suppose 0 = -11*j - 25 - 30. Sort -8, -4, j, 1.
-8, j, -4, 1
Suppose -2*j = -s + 7, -2*s + 14 = 4*j - 8. Let r be ((-6)/36)/(1/s). Sort r, 1/2, -1/3, -0.03 in decreasing order.
1/2, -0.03, -1/3, r
Let l be 20/6*(5 + (-4 - -5)). Let m be 2/(-5) + (16/l)/2. Sort -3, m, 4 in ascending order.
-3, m, 4
Let x(t) = t**2 + 10*t + 19. Let b be x(-8). Suppose -1 = -z + b. Put 3, z, 0 in descending order.
z, 3, 0
Let o be ((-135)/(-42))/((-7)/147*-18). Put o, -5, 1, 5 in descending order.
5, o, 1, -5
Let l = -643 - -649. Suppose -2*b = 1 + 5. Sort b, l, 2 in decreasing order.
l, 2, b
Let u be 1/4 - 34/8. Suppose 0 = 3*c + y + 48, 2*c - y - y = -32. Let z = c + 19. Put z, 0, u in descending order.
z, 0, u
Let w(c) = c**3 + 10*c**2 + 21*c - 4. Let i be w(-7). Put i, 5, 2, -1 in ascending order.
i, -1, 2, 5
Let a = 0.1 + 0.2. Let v = -67/18315 + 2/1665. Let p = v + 1637/3663. Sort p, 1/6, a in descending order.
p, a, 1/6
Let w be (0 - (-3 - -9))*1/3. Put 5, -201, w in descending order.
5, w, -201
Let j(s) = 21*s - 149. Let l be j(7). Put 21, 1, l in ascending order.
l, 1, 21
Let y(d) = -3*d + 2. Let b be y(-21). Suppose -b = 5*v - 15. Sort 0, -5, v in decreasing order.
0, -5, v
Let s(r) = r**2 - 4*r. Let b be s(5). Let k(g) = -g**3 - 6*g**2 + 1. Let c be k(-6). Let l = -16 + 12. Sort l, b, c in ascending order.
l, c, b
Let z = -0.28 - -31.28. Let a = z - 31.08. Let m = -0.26 + -0.14. Put m, 1, a in decreasing order.
1, a, m
Let l = -99188/7 - -14205. Let c = 35 - l. Let x = 0.6 - 0.2. Sort 1, c, x in ascending order.
c, x, 1
Suppose -4*f + 0*c = 3*c - 13, c - 19 = -5*f. Suppose -3*k + k + 17 = -5*q, -k - 24 = f*q. Let o = k - 0. Put 3, o, 1 in descending order.
3, 1, o
Let j = -573 + 573.3. Put 1, j, 52 in increasing order.
j, 1, 52
Let j be (-9 + 39)*(-2)/(-4). Suppose j*s + 4 = 11*s. Suppose -20 = 2*h + 2*h. Put s, 5, h in decreasing order.
5, s, h
Let z = 256 - 176. Let o = z + -76. Sort 5, o, 1, 2 in descending order.
5, o, 2, 1
Suppose 7 + 20 = -3*d. Let q be (-2)/d - (-12)/(-54). Sort -3, -1, q, 3 in descending order.
3, q, -1, -3
Let c = 1527 + -1519. Sort c, -3, 4 in descending order.
c, 4, -3
Let z = -22 + 18. Let h be 14/(-6) + z/6. Put h, 4, -1 in descending order.
4, -1, h
Let j = 66 - 129/2. Sort -1/6, j, 0.4, 8/3 in descending order.
8/3, j, 0.4, -1/6
Let i be 3*(-2)/6*-1. Suppose 5*x = 4*j + 23, -j - 5*x = -5 - 8. Let m be (4 - 12/8)*j. Sort 5, i, m in descending order.
5, i, m
Let j = -23.6 + 1.5. Let l = j - 0.9. Let n = -19 - l. Put 0, n, 3 in increasing order.
0, 3, n
Let n be 10/(-3)*(-198)/55. Sort n, 3, -2 in ascending order.
-2, 3, n
Let g = 43.4 + -53. Let p = g + 10. Let x(v) = -v + 11. Let c be x(12). Put 3, p, c in decreasing order.
3, p, c
Let v be ((-9)/6)/((-1)/2). Let z be (-2)/(-14) - 288/56. Let u be (0 - -2)*(-5)/(-2). Put u, v, z in decreasing order.
u, v, z
Let i = -1032/5 + 207. Sort 3, 6/13, 2/5, i.
2/5, 6/13, i, 3
Suppose -2*o = 8 - 22. Suppose -2*h + o + 41 = 0. Let c = h + -25. Sort -2, c, -4 in descending order.
c, -2, -4
Suppose -6 = -79*h + 82*h. Put h, -3, 11 in descending order.
11, h, -3
Let r = 34/94575 + -1/291. Put 4/7, -0.2, r in descending order.
4/7, r, -0.2
Let j = 1.29 + -1.69. Put -0