-4
Let x = 5 + -9. Let j = -8 - -14. Sort 1, j, x.
x, 1, j
Let m = -3.073 - 0.027. Let i = m + 3. Sort 5, i, -5.
-5, i, 5
Let y = 54 - 48. Put y, -12, 4 in descending order.
y, 4, -12
Suppose 2*g = 5*g + w + 10, 2*g + w = -7. Sort -5, g, 16.
-5, g, 16
Suppose 5*p = 3*j + 15, 3*j + 0*p = -2*p + 6. Put -5, 2/9, -4, j in descending order.
2/9, j, -4, -5
Let j be (28/7 + (-13)/3)*-3. Sort -6, 5, j in descending order.
5, j, -6
Let t = -17 + 14. Let q be (1 + t)/(2 - (-24)/(-9)). Put -3, q, -6 in ascending order.
-6, -3, q
Let o = 0.9121 - -0.0879. Let k = -12 + 8. Sort -1, -2/5, k, o in decreasing order.
o, -2/5, -1, k
Let d = 0.103 - 0.293. Let i = -0.49 - d. Sort 1/3, 1, 5, i in decreasing order.
5, 1, 1/3, i
Suppose -2*v = -v - 3. Suppose -3*m + n - 1 = -2*m, -2*m - 27 = v*n. Let t be (-1)/6*-3*m. Sort t, 0, -2 in ascending order.
t, -2, 0
Let n = -61 - -19. Sort 5, n, -4.
n, -4, 5
Suppose 4*c - 4*z = 24, 5*z = -c - 0*c - 6. Suppose -c*s + 35 = s. Suppose 2*g + i - s = 0, 0 = g + 2*i - 8. Sort g, 11, -5 in ascending order.
-5, g, 11
Let b = 347 - 345. Sort 84, -4, b, 4 in decreasing order.
84, 4, b, -4
Let h = -158.11 - -158. Sort h, -16, 0.1 in descending order.
0.1, h, -16
Suppose -21 = 45*z + 24. Put z, 5, 3, 2 in descending order.
5, 3, 2, z
Let y be 4/(-14) + (-2)/(-14). Let n = -531 + 1595/3. Sort n, y, -3 in ascending order.
-3, y, n
Suppose 28*d = 40*d + 60. Sort 4, d, 3, -55 in ascending order.
-55, d, 3, 4
Let q(g) = -6*g**2 + 26*g - 5. Let n be q(4). Suppose 0 = -0*l + l. Let z be l - (-4 + 2) - 0. Sort z, 0, n in ascending order.
0, z, n
Let l(g) = g**3 + 5*g**2 - 3*g - 7. Let d be l(-5). Let o(i) = 5 + d*i - 3*i - i. Let c be o(-2). Put -0.1, -0.5, c in decreasing order.
-0.1, -0.5, c
Let u = -15 - -43. Let v = -31 + u. Sort v, 56, -1 in ascending order.
v, -1, 56
Let q = -12 - -16. Suppose j - q*b = 25, -3*j - 3*b - 10 = 2*b. Suppose 0 = -2*r - 6. Put j, r, -4 in ascending order.
-4, r, j
Let o = -797 + 802. Sort o, -4, 19/2, -0.5 in increasing order.
-4, -0.5, o, 19/2
Let j be 484/77 + ((-12)/(-2))/(-1). Let c = 26 - 51/2. Put -2, c, j in decreasing order.
c, j, -2
Let q(c) = 7*c**3 + 7*c**2 + 4*c - 2. Let y be q(-1). Let d be (-2 + 1 + 0)*-3. Sort y, 0, -1, d in decreasing order.
d, 0, -1, y
Let a(c) = -c**2 - 8*c - 4. Let z be a(-8). Suppose -4*g + 3*o + 3 = 0, -4*g + g + 3*o = 0. Sort 0, g, -1, z in increasing order.
z, -1, 0, g
Let z = -0.335 + 0.135. Sort -1/4, z, -3, -1 in decreasing order.
z, -1/4, -1, -3
Let p = 1180 - 1185. Sort -3, p, 13, -1.
p, -3, -1, 13
Suppose 4 = 3*z - 11. Suppose -9 = z*v + 11. Let g(n) = -n**3 + 63*n**2 + 225*n - 1780. Let b be g(66). Sort b, -0.2, v in descending order.
b, -0.2, v
Suppose 2*s = 2*y + 4, s = -y + 4 + 4. Suppose -4 = -3*r + s. Suppose 40 - 4 = -4*b. Sort b, 4, r.
b, r, 4
Let t be 4/(-16) + 42/8. Let y be 4 + (-1 - 1 - t). Sort 5, y, 3 in decreasing order.
5, 3, y
Let v(y) = y - 25. Let i be v(20). Sort 3, 1, -2, i in increasing order.
i, -2, 1, 3
Let x be (-1)/(((-10)/(-14))/(-5)). Suppose x = -2*a + 1. Put 4, a, 0 in ascending order.
a, 0, 4
Suppose -10 - 125 - 85 = -55*t. Let g be ((-6)/(-4))/(6/(-8)). Sort -8, t, g, 5 in decreasing order.
5, t, g, -8
Suppose 2*i = -b - 12, 0 = -3*i - 5*b - 1 - 3. Let d = -5 - i. Let f = 0.6 - 0.1. Sort -2/11, f, d.
-2/11, f, d
Suppose 2*y = 5*i - 10*i, 2*y = i + 12. Sort -2, -3, -1, y in increasing order.
-3, -2, -1, y
Let v(g) = -3*g + 20. Let i be v(8). Let d = -37 + 40. Sort -9, d, i in ascending order.
-9, i, d
Suppose -s + 3*s = 0. Let m(o) = o**3 - 2*o**2 - 5*o + 4. Let r be m(4). Suppose l + 3*l = -r. Sort l, s, -5 in increasing order.
-5, l, s
Let m = 1.78 - 2.18. Sort -2, 1, -4, m in decreasing order.
1, m, -2, -4
Suppose -2*k = 9 - 1. Let t be -2*1/4*k. Suppose -3*f + 3 = -t*f. Sort 0, f, -7 in ascending order.
-7, 0, f
Let k be (-1924)/518 + 4/(-14). Put -2, 7, k in descending order.
7, -2, k
Let p = 25 + -46. Let v = -32 - p. Let t = -7 - v. Sort t, -1, -0.1 in descending order.
t, -0.1, -1
Let t = -382042/33 - -11576. Let j = t - -15/11. Sort 0.3, -1/6, j in increasing order.
-1/6, 0.3, j
Let c(v) be the first derivative of v**3/3 - v**2/2 - 3*v - 26. Let u be 0*(-1)/(2 - 3). Let d be c(u). Put 5, d, -0.3 in increasing order.
d, -0.3, 5
Let m = -534 + 534. Let v(x) = x**2 + 2*x - 3. Let r be v(-4). Sort m, -3, r in descending order.
r, m, -3
Let l = 1719 + -1716. Let z = -0.3 + 0.2. Sort l, -0.4, z, -2/9 in decreasing order.
l, z, -2/9, -0.4
Suppose 3*y = 2*y. Let g(x) = -2*x**2 - 13*x - 5. Let i be g(-6). Suppose 3*l + 6 - 1 = -z, -3*l = -z + 1. Put l, y, i in descending order.
i, y, l
Let y = -1 + -4. Let d be 3/9 + (-7)/3. Let r(f) = -3*f - 4. Let i be r(-2). Sort d, i, y in descending order.
i, d, y
Let q = 0.2 + -5.2. Let x be (-8)/24*18 - (-17)/2. Put 2/19, q, x in ascending order.
q, 2/19, x
Let c = 24 - 2. Let r = c - 372/17. Sort 2/9, 2, r in descending order.
2, 2/9, r
Let t = 14 - 10. Suppose -2*z + t = 14. Suppose 8*a - 3*a = 3*w - 12, 4*a - w + 11 = 0. Put 3, z, a in ascending order.
z, a, 3
Let y = 72.4 - 44.4. Put -0.04, y, -0.3 in ascending order.
-0.3, -0.04, y
Let r(k) = -k + 2. Let p be r(6). Suppose -16*j = -0*j. Let q = 35 - 141/4. Sort j, q, p in ascending order.
p, q, j
Suppose 0*r - 12 = -2*r. Let i = 1883 + -1883. Sort 5, r, i in descending order.
r, 5, i
Let n(m) = -m**3 + 5*m**2 + 7*m - 3. Let y be n(5). Suppose -7*r = 4 - y. Sort 2, -5, r in descending order.
r, 2, -5
Suppose 20*d + 45 = 5*d. Put -5, 1, d, -16 in descending order.
1, d, -5, -16
Suppose -2*d = 4*u - 26, d - 2*u + 0 = 1. Let m = d + -12. Sort 3, -4, m in ascending order.
m, -4, 3
Suppose -6*g = -403 + 73. Let l = 39 - g. Put l, -2, -1 in descending order.
-1, -2, l
Let q(a) = 9*a**2 - a - 1. Let m = 40 - 41. Let n be q(m). Put 2, 4, n in increasing order.
2, 4, n
Let u(d) = d**3 - 7*d**2 + 5. Let f be u(7). Suppose -5*z + 12 = -z. Let a be -2 + (1 - (z - 2)). Sort -5, a, f in decreasing order.
f, a, -5
Let c = -45.44 + 0.44. Let r = -43.8 - c. Put 0, 1, r in ascending order.
0, 1, r
Suppose -84*m - 12 - 408 = 0. Put -68, 3, m in ascending order.
-68, m, 3
Let o = 1.23 + -0.01. Let z = o - -0.18. Let d = 1 - z. Sort d, -0.1, 1/3 in decreasing order.
1/3, -0.1, d
Let y = -300 - -300. Sort -1/4, -3, y, -0.1 in decreasing order.
y, -0.1, -1/4, -3
Suppose 19 = -3*l - 29. Let y = 34 + l. Let u = 15 - y. Put u, -1, 4 in descending order.
4, -1, u
Let a(g) = -g - 6. Let w be a(-9). Suppose -4*c + 6 = 2*u, 2*c - w*c + 3*u = 16. Sort 5, c, 4, 1 in descending order.
5, 4, 1, c
Let g = 13 - 12.39. Let j = g - 0.21. Let z be (-3 - -8 - 2) + 0. Sort -2, j, z in descending order.
z, j, -2
Let x = 0.58 - 0.08. Suppose 10 = -5*c + 4*n - 10, 0 = 4*c - 5*n + 16. Sort -5/3, c, x, 4 in ascending order.
c, -5/3, x, 4
Let m = -0.724 + 1.724. Let y = 1 + -2. Put 0, y, m, -0.2 in descending order.
m, 0, -0.2, y
Suppose -6*d - 16 = -4. Let u(x) = -x**2 + 3*x + 1. Let f be u(d). Let r = f + 5. Sort -1, r, -1/2 in increasing order.
r, -1, -1/2
Let q = -1 + -1. Suppose -9 + 201 = -35*z + 17. Sort -1/2, q, 0.3, z in decreasing order.
0.3, -1/2, q, z
Let l be 4/(-3)*27/(-6). Suppose -14*v + 95 - 123 = 0. Sort 1, v, l in ascending order.
v, 1, l
Let y = 21 - 20.6. Suppose 53 = 4*z - 47. Let m = 103/4 - z. Put -0.5, m, y in increasing order.
-0.5, y, m
Let k be 0 + 2 + -4 + 1. Let i be -1*6*((-24)/9 + 3). Sort k, 6, 4, i in descending order.
6, 4, k, i
Let o = 28 - 26. Let h(s) = s**3 - 5*s**2 + 2*s + 3. Let v be h(4). Put o, 5, v, 1 in decreasing order.
5, o, 1, v
Let k be (-4)/10*-5*2. Let w be 8/1 + (-36 - -27). Put 5, k, w in decreasing order.
5, k, w
Let z(k) = -k**2 - 8*k + 312. Let a be z(-22). Sort 0, a, 122, -4 in increasing order.
-4, 0, a, 122
Let y = -2 + 4. Let j = -4084/10235 - 2/2047. Sort 0.1, j, y, -4 in decreasing order.
y, 0.1, j, -4
Let n = 4.08 + -0.08. Let h = 63/4 - 29/4. Let p = 7 - h. Put n, p, 5 in descending order.
5, n, p
Let i = -0.808 - -0.78. Let q = -0.072 + i. Sort 1, 0, 0.1, q.
q, 0, 0.1, 1
Let z = -21 - -20.7. Let v be ((-9)/(-12))/(9/(252/(-77))). Sort -5, v, z in descending order.
v, z, -5
Let w = -3.088 - 0.012. Let d = 3 + w. Let q = -9 - -14. Put -3/8, d, q in descending order.
q, d, -3/8
Let a = -29/2 - -15. Let d = -458 - -32