be 4/(-30) - (-4599)/(-945). Sort 6, j, 3 in descending order.
6, 3, j
Let j = -0.1 + 0.6. Let h = -34.5 - -6.5. Let c = h + 31. Put c, 0.2, j in increasing order.
0.2, j, c
Suppose -29*h + 40 = -21*h. Sort -2, -48, h.
-48, -2, h
Suppose -4*m - 4*k = -8*m + 28, 0 = -2*m - 5*k - 21. Let a = 13 + -15. Sort a, -1, m, 3 in ascending order.
a, -1, m, 3
Let r = 45.3 + -43. Let l = 2.6 - r. Sort -0.07, l, -2/7 in descending order.
l, -0.07, -2/7
Let s = -0.01 + -0.08. Let q = s - 0. Let a = q - -11.09. Sort a, -4, 3/8.
-4, 3/8, a
Let l = 8/105 - 52/21. Sort l, 4, 1/3, 0.3 in decreasing order.
4, 1/3, 0.3, l
Suppose 2*j + 11 = 3*p + 1, -4*j - 4*p = -20. Let i(y) = -y**3 + 14*y**2 + 13*y + 29. Suppose -u + 25 = 10. Let v be i(u). Put 12, v, j in decreasing order.
12, j, v
Suppose -4 = -2*m + 2. Let g = 3.41 + -3.91. Sort m, -2, g in decreasing order.
m, g, -2
Suppose 29*k + 20 = 34*k. Suppose 0 = -4*r + 4 + 4. Put k, -6, 1, r in increasing order.
-6, 1, r, k
Suppose 5*s + 7 = -7*c + 9*c, -90 = -5*c - 2*s. Sort 3, c, 1 in descending order.
c, 3, 1
Let n be (0 - (-1 - 2)) + -2. Suppose 0 = -5*s - t + 20, -2*s = 2*t - t - 8. Suppose 2 = -s*p - 18. Put p, n, -4 in decreasing order.
n, -4, p
Let y(a) be the first derivative of 3*a**2/2 - 3*a - 1. Let n be y(3). Let g(z) = z**2 - 56*z + 4. Let f be g(56). Put f, n, 1 in ascending order.
1, f, n
Let f(a) = 2*a + 57. Let q be f(-11). Suppose 2*y + 15 = -3*y. Put 3, y, q in decreasing order.
q, 3, y
Let z be 3/12 + 7*9/(-12). Let m(u) = -u**2 - 9*u - 11. Let h be m(z). Sort -4, 0, 4, h in descending order.
h, 4, 0, -4
Let v = 808 - 814. Put -1, v, -4, -3 in ascending order.
v, -4, -3, -1
Let i(m) = -3*m + 4. Let l be i(3). Suppose 0 = -r + 6*r + 10. Let d(k) = k**2 - 6*k - 16. Let n be d(r). Put 2, l, n in ascending order.
l, n, 2
Let y = -1059 + 1052. Sort -2, -4, y.
y, -4, -2
Let t = 126 - 179. Let q be t/(-11) - (-6)/33. Suppose -2*z + 8 = 5*f, -f - 1 = f + q*z. Put 3, 3/2, f in ascending order.
3/2, f, 3
Let c(s) = 51*s - 207. Let p be c(4). Sort -5, 5, p, 6 in ascending order.
-5, p, 5, 6
Suppose -3*d = 2*i + 2 + 5, 5*i + 3*d + 22 = 0. Let q = -1.8 + 1.72. Let c = q + 0.28. Put 1/4, c, i in descending order.
1/4, c, i
Suppose 29 = 15*q - 14*q. Let s = 32 - q. Suppose u + s = 2. Sort 5, -3, u in descending order.
5, u, -3
Let a be 10/(-24) + (-1)/(-16)*-4. Sort -4, a, -0.4, 15 in ascending order.
-4, a, -0.4, 15
Suppose v = -0*v + 1. Let q(o) = o**3 - 10*o**2 + 41*o - 140. Let z be q(7). Sort z, -3, -5, v in decreasing order.
v, z, -3, -5
Let j(d) = -d**2 + 8*d + 8. Let r be j(8). Let l be 5/(-15) + 1 + r/6. Sort -4, -1, l.
-4, -1, l
Suppose 6*i - 50 + 20 = 0. Suppose -c - 3*c = -5*q + 28, 0 = -i*q - 2*c + 16. Put 1, -1, -7, q in increasing order.
-7, -1, 1, q
Let l = 209 - 214. Let q be (-6)/(1 + 1)*1. Put q, 0, l in ascending order.
l, q, 0
Let w(r) = -r**3 - 4*r**2 + 5*r + 2. Let v be w(-5). Let t = 5.86 + 0.14. Let q = 9 - t. Sort v, -4, q in descending order.
q, v, -4
Let a = 61 + -60.977. Let w = 0.423 - a. Put -0.2, 0.02, w, -2/3 in decreasing order.
w, 0.02, -0.2, -2/3
Let i = 141 + -183. Put 1/6, 4, i, -4 in decreasing order.
4, 1/6, -4, i
Let u be (-2)/5 + 32/1280. Let g(q) = -q**2 - 6*q + 12. Let j be g(-8). Sort u, -3, j, 2/9 in decreasing order.
2/9, u, -3, j
Let i = 45 + -199. Sort -3, i, 5 in increasing order.
i, -3, 5
Suppose x = 4*x + 12. Let n(c) = c**2 + 2*c - 8. Let t be n(x). Suppose 3*w + 2*q + 2 = w, t = -4*w + q + 11. Sort w, -3, -1.
-3, -1, w
Let i be 2 - 5*14/10. Sort 9, i, 10.
i, 9, 10
Let s = 8 + -23. Let i = 17.6 + s. Let y = 2.9 - i. Put -5, y, -4 in decreasing order.
y, -4, -5
Suppose -h + 30 = 4*h. Suppose 4*l + 4*u = 36, 0 = 3*u - 0 + h. Sort 5, l, -2.
-2, 5, l
Let s = -0.3 - 2.7. Let o = 1 - s. Let k be (33/12 + -2)*(-8)/33. Put k, o, 3 in descending order.
o, 3, k
Let u = 52 + -103/2. Put -5, 1.9, u in descending order.
1.9, u, -5
Let i = 16.3 - 0.3. Let o = -22 + i. Let t = -6 - o. Put 5, -1, t in descending order.
5, t, -1
Suppose -12*h + 4*h = -32. Let m(f) = f**2 + f. Let c be m(0). Sort h, c, -3 in descending order.
h, c, -3
Suppose -3*n - 3*t + 69 = 2*t, -n + 3 = -5*t. Let f = -15 + 11. Sort n, f, 1 in decreasing order.
n, 1, f
Let o = 4 - 9. Suppose 4 = 3*a - 5. Suppose a*n + 5*i + 8 = 0, -2*n - n - 4*i - 4 = 0. Sort n, o, 0 in descending order.
n, 0, o
Suppose 0 = 5*z + 3*j + 19, 2*j = 15*z - 14*z - 4. Sort z, 4, -5 in increasing order.
-5, z, 4
Let p = -4/843 + 3424/10959. Sort -6, p, 2, -4 in ascending order.
-6, -4, p, 2
Suppose 11 = 4*q + 47. Sort 4, q, -5 in descending order.
4, -5, q
Let d be (-3630)/1540 - 3/(-2). Let s = -10/57 + -3/19. Sort 3, d, 0.7, s in decreasing order.
3, 0.7, s, d
Suppose -m = 4*m - 20. Suppose 2*b + 16 = j, 4*j + 6*b - 2*b - 4 = 0. Sort j, m, -2 in descending order.
j, m, -2
Let j = -154435/91 - -12165/7. Let i = 41 - j. Sort -4, i, -0.1.
-4, -0.1, i
Let p be (-16)/10*(11 + -1). Suppose 0 = 12*h - 5*h - 84. Let q = p + h. Sort -0.5, 0.5, q.
q, -0.5, 0.5
Let w = 68 - 65.9. Let z = 10.8 + -10.9. Sort z, w, -3, 2/11 in descending order.
w, 2/11, z, -3
Let h be 1/(-4) + 65/4. Let l be (h/48)/((-1)/12). Suppose -5*n - 3*a - 10 = 0, 3*n + a = 5*a - 6. Sort 1, n, l in decreasing order.
1, n, l
Let g = -211 + 223. Let u(s) = s. Let r be u(-3). Put g, r, 0.5 in decreasing order.
g, 0.5, r
Let d = -6 + 8. Let l = -613.4 - -612.9. Put d, l, -1/6, -0.1 in ascending order.
l, -1/6, -0.1, d
Let f be (-11 + -25)*(-1)/(-2). Let p = f - -19. Sort p, 3, -2.
-2, p, 3
Let f = 0.13 - 0.26. Let b be (-35)/(-14)*(-4)/25. Sort f, b, -0.2, 2/13 in ascending order.
b, -0.2, f, 2/13
Let i(f) = -f**3 + 3*f**2 - f + 1. Let q be i(2). Suppose 19*s - 38 = -44 - 51. Let y(a) = a - 2. Let t be y(1). Sort q, s, t in increasing order.
s, t, q
Let a(t) = -t**2 - 4*t + 8. Let n be a(-6). Let j = -81.67 + 81.57. Put j, n, 2/9, -0.3 in descending order.
2/9, j, -0.3, n
Let d = 0.982 + 0.018. Put 2/21, -5, 0.2, d in descending order.
d, 0.2, 2/21, -5
Let z = 36 - -36. Let l = z - 215/3. Put -1/3, 0, l in descending order.
l, 0, -1/3
Let v = 2246 - 2249. Put -0.4, -3/13, 4/3, v in increasing order.
v, -0.4, -3/13, 4/3
Let u = 466 + -1865/4. Sort 0.3, u, 1 in decreasing order.
1, 0.3, u
Suppose -2*r + 5*u - 10 = -5*r, -23 = -5*r - 2*u. Sort r, -1, -44 in decreasing order.
r, -1, -44
Let b(t) = t**3 - 5*t**2 - t + 6. Let k be b(5). Suppose 6 = 3*p + 2*d + d, -12 = 4*p - d. Let l = -3025 + 3030. Sort l, k, p in ascending order.
p, k, l
Let d = 998/3 - 334. Put -2/3, d, 1/5, -0.1 in ascending order.
d, -2/3, -0.1, 1/5
Let o = 10 + -6. Let z(u) = -4*u**3 + 1. Let s be z(-1). Suppose 2*r + p = -s, -3*r + 7*r - 3*p + 35 = 0. Put o, r, 0 in increasing order.
r, 0, o
Let a(z) = -2*z**3 + 2*z**2 + 4*z + 2. Let r be a(-1). Suppose 16 = 4*v - r*y, -3*y = -v + 5*v + 4. Sort v, -3, -4 in descending order.
v, -3, -4
Let p = -2 + 14. Let t be (-4)/2 - (p - -6). Let z be (-8)/t*(-5)/6. Sort z, -0.5, 2 in increasing order.
-0.5, z, 2
Suppose 2*t + 2*p = -p, -4*p = 0. Let z = 0.19 + -2.99. Let f = z + 3. Sort t, f, 5/6 in increasing order.
t, f, 5/6
Suppose -30*g = -26*g + 8. Suppose -2*f - 3*t - 22 = 0, 0 = 3*f - 2*f + t + 9. Sort -1, f, g in increasing order.
f, g, -1
Let f = 2394/5 - 479. Let i = -0.7 - 4.3. Put i, -0.07, f in ascending order.
i, f, -0.07
Let a = 4.5 + -7.5. Sort 0.2, -4, 0.1, a in ascending order.
-4, a, 0.1, 0.2
Let f = 318 + -319. Put -0.2, 0.23, f in ascending order.
f, -0.2, 0.23
Let u = 329 + -325. Sort 35, -5, u in descending order.
35, u, -5
Let y(w) = -w**2 + 8*w + 6. Let d be y(8). Suppose 0 = d*t - t - 5. Let m = t - -1. Put 1, 0, m in decreasing order.
m, 1, 0
Let m be (-15)/20*(-3)/(-6). Let d = 1.59 - 0.59. Put m, 0, d in decreasing order.
d, 0, m
Let t be (-16)/(-7 + 3) + -5. Suppose -2*k = -1 - 5. Sort -4, k, t in decreasing order.
k, t, -4
Suppose 8 = -12*i + 16*i. Suppose -3*t = -i*t - 5. Put 1, 6, t in descending order.
6, t, 1
Let s(o) = o + 7. Let g be s(-4). Let u be (4/5)/((-30)/75). Sort -7, u, g in decreasing order.
g, u, -7
Let j = 565 - 567. Put j, -6, -5, 5 in descending order.
5, j, -5, -6
Let x = 5 + 0. Let u be 1 - (-4)/((-8)/266). Let r be (-1)/(-5) - (u/(-140))/(-1). Put x, r, -0.1 in decreasing order.
x, r, -0.1
Let t(f) = -2*f - 15.