der.
-3.2, j, 2/7
Let k = 286 + -287. Put 1/3, -6/7, k in ascending order.
k, -6/7, 1/3
Let m(z) = z**3 + 5*z**2 + z - 9. Let n be m(-4). Suppose -6 = -2*q - 2*h, 8*q - 9 = 3*q - n*h. Put q, -17, 1 in decreasing order.
1, q, -17
Let z = 1022 + -1023. Sort -18/13, z, 2/3 in ascending order.
-18/13, z, 2/3
Let i = 1133 + -1143. Put -1, -5, i in increasing order.
i, -5, -1
Let t = 50 + -47. Suppose 0*r + 3 = -5*n + r, n + r = -t. Sort -1/3, -2, 0.1, n in decreasing order.
0.1, -1/3, n, -2
Let b = -6383 - -6378. Let l = 0 - 1. Let h be -1 - (-1 - -1 - 1). Sort l, h, b in ascending order.
b, l, h
Let y(o) = 190*o - 382. Let j be y(2). Suppose 0 = -d + 2 - 6. Sort -5, d, j.
-5, d, j
Let x = -746 - -748. Let d be 0*-2*(-1)/(-6). Put x, d, -3 in descending order.
x, d, -3
Let l = -228377/34692 - 1/2891. Let f = l + 21/4. Sort f, -1, 10, -0.2 in increasing order.
f, -1, -0.2, 10
Let g be ((-147)/9)/(-7) + 6/(-3). Put -3/2, g, 0.1, -13 in ascending order.
-13, -3/2, 0.1, g
Let w = -22 - -49. Suppose -18 + w = 3*k. Put 9, k, 0 in decreasing order.
9, k, 0
Let z(f) = -f**3 - f**2 - f - 2. Let v be z(-2). Let t(n) = 28*n**2 - 215*n - 72. Let j be t(8). Put -3, 5, v, j in ascending order.
-3, j, v, 5
Let q = 0 - 1. Suppose -4*o + 6 = 2*s, 3*o + 21*s = 16*s - 6. Sort -5, o, q in ascending order.
-5, q, o
Let i = 27.438 - 19.47. Let y = i - -0.032. Put -0.1, y, -4 in descending order.
y, -0.1, -4
Let l = 238 - 715/3. Put 81, -0.4, l in increasing order.
-0.4, l, 81
Suppose 2*p + 2*u - 15 = -3*p, 3*u + 12 = 4*p. Let y be 42/(-5) + (-2)/(-5). Sort y, p, -4, -3 in decreasing order.
p, -3, -4, y
Let b = -1 - -6. Let v(x) = x**3 - 59*x**2 - 184*x - 107. Let y be v(62). Put y, 1/7, -3, b in ascending order.
-3, 1/7, b, y
Let w(q) = 4*q. Let u be w(6). Suppose -4*k = 3*p - 23, u = -4*k + 5*p + 7. Let y(j) = -6*j**3 - 2*j**2 + 1. Let a be y(-1). Sort k, -2, a in ascending order.
-2, k, a
Suppose 4*v - 1 = 2*j + 51, 4*j = -3*v + 17. Let c be (-3)/4 + v/4. Let u(m) = 3*m - 112. Let i be u(37). Sort 3, c, i in increasing order.
i, c, 3
Let g = 125 - 124. Sort 5, 0.4, 5/3, g.
0.4, g, 5/3, 5
Let w = -21 - -19. Let u = 0.2 - 0.1. Let h = -0.15 + 0.05. Put u, h, w in increasing order.
w, h, u
Let b = 12 + -10. Let k = -224 - -224. Put -0.3, b, k in decreasing order.
b, k, -0.3
Let v be ((-12)/(-16) - 124/144)/(1/(-2)). Let a be (4/(-3))/(21/(-9)). Sort v, 3, a, -2 in descending order.
3, a, v, -2
Let c(x) = -x**3 + 6*x**2 - 4*x + 1. Let j be c(5). Suppose -4*y = -j*y - 2. Let m(l) = -l - 1. Let z be m(-1). Put 2, y, z in increasing order.
y, z, 2
Let a be (-2)/4*4/(-22). Let y = 37/129 - -2/43. Let n = -3381 + 3371. Sort n, y, a in descending order.
y, a, n
Suppose -3*v + 16 + 0 = 5*d, -5*v = -5*d + 40. Let w be (-4)/(-6)*(0 - d/(-10)). Sort 5, w, 1/5, 1/6.
1/6, 1/5, w, 5
Let n = 320 + -325. Sort 5, -6, n.
-6, n, 5
Let m = -729 - -727. Sort -3, m, -5, 2.
-5, -3, m, 2
Let v(r) = -3*r**2 - 40*r + 186. Let f be v(-17). Let p = -2 - 1. Put p, f, -5, 0 in decreasing order.
0, f, p, -5
Let d = 359 + -359.036. Let t = 20 + -17. Put d, t, 2/13 in descending order.
t, 2/13, d
Let j be (-6)/(-18) - 87/(-9). Suppose 0 = 3*o - 2*o - j. Put o, -5, -4 in decreasing order.
o, -4, -5
Let i = 345.5 - 345. Sort i, 2, -4, 3 in increasing order.
-4, i, 2, 3
Suppose -73*v + 74*v = 3. Sort v, 2, -42.
-42, 2, v
Let v be (1 - (-7)/(-4))*(-4)/(-6). Sort v, 0.05, -3 in increasing order.
-3, v, 0.05
Let u = -7.54 - -7.54. Put u, -12, 4 in ascending order.
-12, u, 4
Let q = 0.4 - -0.1. Let o = 0.3 - q. Suppose -2*m - 21 = 5*m. Sort o, m, 5 in descending order.
5, o, m
Suppose 3*p - 2*c - 5 = 0, 2*p + c - 10 = -2. Suppose -7*y - 5 = -33. Put p, y, -3, 11 in decreasing order.
11, y, p, -3
Let t = 135 + -123.2. Let d = t - -2.2. Let z = d - 13. Sort z, -0.6, 4 in increasing order.
-0.6, z, 4
Let t be (-3 - -1)/(217/(-62)). Let m = 0.08 - 3.08. Let u = 2.5 + m. Sort -2/7, u, t in ascending order.
u, -2/7, t
Let v = 1688 - 1885. Sort 1, v, 0.
v, 0, 1
Suppose -148 + 40 = 6*g. Let m = -15 - g. Sort -1, m, 2, 4 in descending order.
4, m, 2, -1
Suppose 3*c = -f - 0*f, -2*f = 2*c. Suppose c*d - 21 = 4*d - 5*m, -3*d - 5*m + 28 = 0. Let p be (-1*d)/(-6 - 1). Sort -2/3, 1/2, p in decreasing order.
1/2, p, -2/3
Suppose 2*j + 12 = 2*h, -3*j - 2*h = 12 - 14. Sort j, -5, 11, 2.
-5, j, 2, 11
Let p = -1478 - -1471. Sort 0.1, -1/25, p in ascending order.
p, -1/25, 0.1
Suppose -3*h = -3*z + 18, 6*z = 3*h + 10*z + 11. Sort 0.08, -0.4, -2, h in decreasing order.
0.08, -0.4, -2, h
Suppose 7*h - 33 = -47. Sort -15, -4, h.
-15, -4, h
Let j = -2543 + 2543. Let h be 2*1 - 48/18. Sort j, h, 16 in descending order.
16, j, h
Suppose 9*o + 3*z = 7*o + 21, 3*o = -4*z + 30. Sort 1, o, -8 in decreasing order.
o, 1, -8
Let n be (2/(-8))/(165/(-264)). Put n, 0.5, -2/11 in ascending order.
-2/11, n, 0.5
Suppose 5*c + 0*c - 20 = 0. Let k(f) = f**3 - 9*f**2 + 14*f - 4. Let u be k(7). Put 3/2, -1/9, c, u in decreasing order.
c, 3/2, -1/9, u
Suppose -30*y = -2*z - 32*y + 8, -1 = -y. Let k(j) = 2*j + 7. Let q be k(-6). Let h = 3 + q. Sort 1, z, h in descending order.
z, 1, h
Suppose 16*t - 20 = 36*t. Let f = -6 - -4. Suppose -2 + 22 = 5*s. Sort t, f, s in increasing order.
f, t, s
Let j(k) = -27*k + 52. Let a be j(2). Sort -9, a, -27, -3 in increasing order.
-27, -9, -3, a
Let x = 27.8 - 28.3. Put -32, 4, x in decreasing order.
4, x, -32
Let a be 5/(-30) + (-935)/6. Let s be (-15)/13 - 24/a. Sort 2, s, 3 in ascending order.
s, 2, 3
Suppose -2*x + 4*z + 8 = -0, -3*x - 4*z = 18. Put x, -10, 5 in descending order.
5, x, -10
Suppose -45 + 0 = -a - 3*v, 0 = a - v - 25. Let j be 105/a + 1*-4. Let r be (3*12/(-9))/1. Sort r, 1/6, j in decreasing order.
1/6, j, r
Let c(x) = -30*x + 7. Let j(t) = 45*t - 11. Let q(d) = -8*c(d) - 5*j(d). Let s be q(-3). Let r be s/11 - (-2)/11. Sort -3, r, -5 in descending order.
-3, r, -5
Let x = 83.8 + -43.7. Let d = x - 40. Put -1, d, 1, -3 in descending order.
1, d, -1, -3
Let p be 0 - (-3)/(0 + -3). Let x be p/(-3) + 2/6. Let j = -766 - -771. Put x, j, -1 in ascending order.
-1, x, j
Suppose v = 302 - 375. Let c(r) = r**2 - r - 2. Let l be c(0). Put 2, l, v, -3 in ascending order.
v, -3, l, 2
Let t be (-282)/(-54) + 0 + (-4 - 1). Put t, -41, -1/5 in decreasing order.
t, -1/5, -41
Suppose 0 = 7*o + 140 - 133. Suppose 18 = k + 5*v, -v + 8 = v. Sort o, 2/7, k in increasing order.
k, o, 2/7
Let p = -1632 + 1634. Let s = -2.98 + -0.02. Sort -4, -2/7, p, s.
-4, s, -2/7, p
Let n = -8.2 + 18.5. Let j = 10 - n. Suppose -10 = -3*q + 5*q. Sort 1/2, q, j in ascending order.
q, j, 1/2
Let n(t) = -14*t**3 - 1. Let x be n(-1). Suppose -x = -13*j - 0. Suppose -2*h - 4 = -0. Put h, 4, j in decreasing order.
4, j, h
Suppose 2*f = 2*s - 4, 2*s - 6 = -2*f + 10. Sort -0.13, s, -1/4.
-1/4, -0.13, s
Suppose 4*g - 1 = -s, 2*g - 2 + 9 = s. Suppose 2*q + s = -3*q. Put 5, q, 2 in ascending order.
q, 2, 5
Let p be 1*(2 + -4)*-2. Suppose 3*t + 20 = -3*w + t, 24 = -p*w - 2*t. Let a = 9 + w. Sort -5, a, 3.
-5, 3, a
Suppose 0 = -66*w - 20*w - 86. Put w, 1, -40 in decreasing order.
1, w, -40
Let k = -0.124 - 79.876. Let g = k + 76. Let x = -0.3 + 0.4. Sort 3, x, g in descending order.
3, x, g
Let l = -18.1 - -21. Let s = l - 2.9. Put -2, s, -0.2 in descending order.
s, -0.2, -2
Let t = 38 - 265/7. Let x = -3 + 4. Let b = 0 + x. Sort b, t, -1/4 in descending order.
b, t, -1/4
Let a = -11 - -16. Let f = 5.4 - a. Let g = 2214.7 - 2215. Sort g, 0, f in ascending order.
g, 0, f
Let j(z) = 16*z**2 + 8 + 60*z**3 - 9*z - 61*z**3 - 7*z**2. Let k be j(8). Let g(v) = 16*v + 1. Let q be g(1). Put k, q, 2 in decreasing order.
q, 2, k
Let i be -6*(-3)/18*3. Suppose i*a + 61 = t, -2*t + 2 + 20 = -a. Sort a, 5, -3.
a, -3, 5
Let n(k) = -k**3 - 13*k**2 - 7*k + 65. Let v be n(-12). Put -14, v, -3 in ascending order.
-14, -3, v
Let y = 0.69 + 40.31. Let n = -40.7 + y. Put -1/5, 2/11, n, 3/5 in increasing order.
-1/5, 2/11, n, 3/5
Let s = -207 - -208. Put -4, -30, s in decreasing order.
s, -4, -30
Let j = -0.2 + 0.2. Let t = j - -0.3. Let o = -66 - -395/6. Sort 3, o, t in descending order.
3, t, o
Let s = 0.04 - -2.96. Let i = -3 + s. Let d = 0.07 + 3.93. Put d, i, 5 in decreasing order.
5, d, i
Suppose -17*z = -45 + 147. Sort -23, z, -2, 5 in decreasing order.
5,