1901 + -1875. Put 4, -1.5, l in increasing order.
-1.5, 4, l
Let u = 1.82 + -1.77. Put u, -2/5, 1/2 in increasing order.
-2/5, u, 1/2
Suppose -3*o - 2*o - 15 = 0. Let r = -11 + 6. Sort o, 5, 0, r in ascending order.
r, o, 0, 5
Let m = 2.78 - -1.22. Sort -1/6, -1, -2.9, m in decreasing order.
m, -1/6, -1, -2.9
Let u = -14 - -9. Let g(w) = 6*w**2 - 4. Let j be g(-1). Let x = 0.3 + -0.4. Sort u, x, j.
u, x, j
Let n = -21 + 24. Put 12, n, -3/7 in descending order.
12, n, -3/7
Suppose -4*i + 50 = 6*i. Suppose -2*j = -2, 0 = 3*n - 5*j + 10 + 4. Let h be 4/(-1)*-1 + n. Put i, h, 4 in increasing order.
h, 4, i
Let b = -3 - -3.3. Let o = -18.3 - -20.3. Sort -3, b, o in descending order.
o, b, -3
Let g = -0.475 - -0.275. Sort g, -11, 1.3 in descending order.
1.3, g, -11
Let u = -0.01 + -0.39. Let v = 73 + -89.8. Let d = v + 17. Sort d, u, 2 in decreasing order.
2, d, u
Let p = -2936 + 2933. Put -5, p, 16 in decreasing order.
16, p, -5
Let c = 8505/152 - 451/8. Sort -4, -2/17, c in decreasing order.
-2/17, c, -4
Let a be ((-1)/1)/((-2)/4). Suppose -a*k + 3*k = -5*t - 13, 34 = -2*k - 2*t. Let b = -13 - k. Sort b, 2, 3 in descending order.
b, 3, 2
Let y = -0.76 + 1.26. Let x = -3.27 + -0.73. Suppose 0 = -5*q + k + 10, k = -k. Sort y, q, x in descending order.
q, y, x
Let c be 6/(-99)*3 + 112/132. Put -5/6, c, 0.1 in descending order.
c, 0.1, -5/6
Suppose y - 7 = m, -5 = -2*y - m + 6. Suppose f = -3, 0 = j - 0*j - 4*f - 23. Suppose j*o = y*o. Sort -3, 7, o.
-3, o, 7
Let l be 3 + 1 - (2 - 0). Let q(y) = -2*y**2 + 27*y + 1148. Let s be q(-18). Sort 0, l, s, 3.
0, l, 3, s
Suppose -x = -5*h + 2*x + 3, -x = -5*h + 1. Suppose h = -3*z + 5*o - 7 - 14, 0 = -4*o. Let d = z + 2. Sort -2, -1, d in increasing order.
d, -2, -1
Suppose -q = 2*q + 3*c - 18, 0 = 5*q + 2*c - 24. Suppose 0 = 47*k - 43*k + q. Sort -4, -3, k, 3.
-4, -3, k, 3
Let x = 39 - 41. Suppose 5*m - 25 = -5*r, 11*r = 12*r + 2*m - 7. Put x, 1, r in ascending order.
x, 1, r
Suppose -17*a - 203 = 35. Put a, 1, 2 in ascending order.
a, 1, 2
Let b(c) = c**2 - 8*c - 64. Let k be b(14). Put 1, k, -1, -5 in increasing order.
-5, -1, 1, k
Let y be ((-8)/(-5))/((-16)/(-60)). Put 2, y, 0, -1 in descending order.
y, 2, 0, -1
Let d be -1 - (-4 - -6)/1. Let z = 6 - 15. Put z, d, 0, -4 in increasing order.
z, -4, d, 0
Suppose 3*t + 21 = 3*m, 2 + 29 = 4*m - 5*t. Suppose -j + 3*a = -a - 18, 0 = 4*j - m*a - 12. Put j, 5, -3, 4 in descending order.
5, 4, j, -3
Let h be (-150)/(-4) - (-3)/(-6). Let f = 26 - h. Sort 5, f, 1.
f, 1, 5
Let s = 0.031 - -2.969. Let y = 3.5 - s. Let j = 3031/13 + -233. Put j, y, -2/9 in descending order.
y, j, -2/9
Let p be (4/(-10))/(7 - 621/90). Sort 4, p, 5, -8 in ascending order.
-8, p, 4, 5
Suppose 8*b + 18 = 66. Suppose 0 = -2*k - 4*w + b, 7*k + 4*w = 2*k - 9. Let d be (1 + -11)*2/(-4). Sort k, d, -3.
k, -3, d
Let i = -71 + 69. Put -2/5, i, 2, -0.1 in descending order.
2, -0.1, -2/5, i
Let c = 104 - 103. Let w be -1*(3 + 16/(-5)). Put c, w, 3, -4/5 in increasing order.
-4/5, w, c, 3
Let z(r) = 3*r**2 + 3*r - 2. Let t be z(1). Let l be -9 + 9 + t + -1. Suppose -l*k = 5*n - 0*k - 18, -11 = -2*n - 5*k. Sort 1/2, n, -1 in descending order.
n, 1/2, -1
Let f(u) be the third derivative of -u**4/24 - u**3/3 - 5*u**2. Let k be f(-3). Let a(z) = z**3 - 3*z**2 + z. Let b be a(k). Sort b, 3, 5 in ascending order.
b, 3, 5
Let n be (-4)/22 - 78/(-66). Suppose 0 = -10*t + 7*t. Suppose 2*v + 5*b - 1 = t, -b = 2*b + 3. Put v, n, -2 in descending order.
v, n, -2
Let n = -35.938 + -0.062. Let j = n + 32. Sort -2/3, j, -1/4 in ascending order.
j, -2/3, -1/4
Let c(u) = 2*u**3 - 8*u**2 - 7*u - 19. Let p be c(5). Let x = -3.1 - -3. Put 3, x, p in ascending order.
p, x, 3
Let h = 147 + -2207/15. Let q = -19.31 + 19. Let m = 0.31 + q. Sort -3, h, m.
-3, h, m
Let m = -228 - -233. Sort -1/2, -8, -3, m in increasing order.
-8, -3, -1/2, m
Suppose 0 = -5*m + v - 2, 6 = -2*m - 0*v + 3*v. Suppose -11*r + 6 + 5 = m. Sort 2, 4, r, -3.
-3, r, 2, 4
Let x = 4.78 - 10.78. Sort x, -3.5, -0.3 in decreasing order.
-0.3, -3.5, x
Let z = 32.535 - -0.265. Let n = 33 - z. Sort n, 3/2, 0.09 in ascending order.
0.09, n, 3/2
Let y(c) = 4*c + 9. Let s be y(5). Let r = -33 + s. Sort -0.5, r, 0.4 in descending order.
0.4, -0.5, r
Suppose 0 = -2*n - 8, -n - 8 = -5*h + 11. Suppose r = -0*r - 2*t - 6, r - 3*t + 1 = 0. Put r, 2, h in increasing order.
r, 2, h
Let f(a) = -2*a**2 + 79*a - 35. Let i be f(39). Sort i, 26, -3, 5 in descending order.
26, 5, i, -3
Let v be (-102)/18 + 2/3. Put v, 0, -22 in descending order.
0, v, -22
Suppose 4*b = -4*f - 12, -5*f - 7*b - 13 = -3*b. Put f, 5, 4, -4 in descending order.
5, 4, f, -4
Suppose -18 = 3*k - 6*k. Let g(q) = 8*q**3 + 2*q**2 - 4*q + 3. Let p be g(1). Suppose -z = -5*c - 2 + 5, -5*c = 3*z + p. Sort k, z, 4 in ascending order.
z, 4, k
Let w(o) = -o**3 - 13*o**2 - 8*o + 74. Let q be w(-12). Sort -2, -4, -1, q in increasing order.
-4, -2, -1, q
Let w = 615.3 - 615. Let s(n) = -n + 6. Let g be s(-4). Sort w, 1/3, g.
w, 1/3, g
Suppose 3*k + 2*r - 5 = 18, k + 15 = 5*r. Suppose k = 4*t - 15. Sort t, -14, 0 in decreasing order.
t, 0, -14
Let j be 5*4/(40/6). Suppose 5*k + 10 = -2*n, k - 2*n - 1 + j = 0. Let l(f) = f**2 - 8*f + 9. Let p be l(7). Sort k, 5, p in decreasing order.
5, p, k
Let o = -1/184 - 547/920. Let u = 5790 + -5792. Sort 3, u, -4, o.
-4, u, o, 3
Let s = 772 + -795. Put 5, s, 3 in descending order.
5, 3, s
Let w(a) = 4*a**2 - a + 14. Let j be w(0). Sort j, 0.2, 2/13, 2 in decreasing order.
j, 2, 0.2, 2/13
Let b be (265/(-11))/(-5) + 10/55. Sort -2, -8, b in increasing order.
-8, -2, b
Suppose 7*l = 5*l. Suppose -44 = 5*p + 3*s, -p - 6 = -l*s + 2*s. Let k be (-32)/(-20) + p/(-25). Put 1, -4, k in decreasing order.
k, 1, -4
Let y = 417909/20965 + 228/599. Let o = y + -103/5. Let h = 173 + -176. Put o, h, 5 in descending order.
5, o, h
Let y(s) = s**3 - 12*s**2 + s - 9. Let c be y(12). Suppose c = 5*m - 8*m. Let z be m - 1*(-15)/21. Sort -0.4, z, -3/7.
-3/7, -0.4, z
Let s = -0.0695 - -3.0695. Sort -0.11, s, -3/2, 0 in increasing order.
-3/2, -0.11, 0, s
Let u = 0.0941 + 0.4059. Let c be 3/1 + (-114)/42. Let n = 0.04 - 0.28. Sort n, c, u.
n, c, u
Let c(y) = y**3 + 8*y**2 - 12*y - 28. Let i be c(-9). Put -3, 0, -5, i in increasing order.
-5, -3, i, 0
Let c = 0.8 + 3.2. Let v = -5.49 + 1.49. Put c, -1, v, -2 in increasing order.
v, -2, -1, c
Let y(s) = -s**3 + 7*s**2 + 2*s - 10. Suppose d - 6 = -p - 3, -2*p + 27 = 5*d. Let h be y(d). Put 3, -8, h in descending order.
h, 3, -8
Let p = -0.14 - -0.2. Suppose s + 2 = -0*s - 3*j, 0 = -5*s - 3*j + 14. Put p, 2, s in decreasing order.
s, 2, p
Let x = 615 + -613. Sort -2, x, -49 in increasing order.
-49, -2, x
Let v = 2047 + -2042. Sort -1/4, v, 2/15.
-1/4, 2/15, v
Let r = -2 + -2. Suppose -2*t + 3 = -3. Let f = -0.25 - 0.05. Sort t, f, r in ascending order.
r, f, t
Suppose -r - 5*i = 12, r - 2 = -0*r + 2*i. Suppose 6 = 3*j - w, 3*w - w = -5*j + 21. Suppose 0 = 4*m, 0 = 2*u - j*u - 3*m + 8. Sort r, u, 1 in ascending order.
r, 1, u
Suppose 5*x - 3*x = 5*j + 19, -5*x = -j - 13. Suppose 2*u - 58 = -2*u - 2*c, -4*u + 2*c + 70 = 0. Suppose u*r + 15 = 13*r. Sort r, -2, j in decreasing order.
-2, j, r
Let d = -321 - -641/2. Put d, 0.11, 0.4, -5 in decreasing order.
0.4, 0.11, d, -5
Suppose 4*k = 14*k + 890. Put -4, 1, k in increasing order.
k, -4, 1
Suppose j + 4*j - 10 = 0. Let d be 3/1 + j/(-1). Put 3, 0, -3, d in ascending order.
-3, 0, d, 3
Let g = -790 - -794. Put -3, 2, -20, g in decreasing order.
g, 2, -3, -20
Let z = 0.0069 - -0.4931. Sort -4, 0.3, z, -0.1 in descending order.
z, 0.3, -0.1, -4
Let q = 14 + -29/2. Suppose -3*y + 5*j - 8 = 0, -5*y + j + 3*j - 9 = 0. Let b be 6/24 + (-34)/8 + y. Sort -3/4, q, b in descending order.
q, -3/4, b
Let d be (32/(-20) - -1)/(9/6). Sort 5/3, d, 6 in ascending order.
d, 5/3, 6
Suppose -1786*z = -1779*z - 21. Sort -1, -3, 0, z.
-3, -1, 0, z
Let m = 39 + -29. Let t = m - 9. Put t, -0.5, -2, -2/7 in ascending order.
-2, -0.5, -2/7, t
Let o = -70 + 69. Sort 13, o, -3, -7 in increasing order.
-7, -3, o, 13
Let d = -17.6 - -1.6. Let o = -23 - d. Sort 2, -4, o in decreasing order.
2, -4, o
Suppose -9 = 99*f - 102*f. Suppose -2*a - 9 = -3. Let o(l) = -l**2 - 3*l - 2. Let s be o(-3). Sort a, s, f in increasing order.