 4
Let f be (2/(-2))/((-3)/18). Let j = f + -2. Let d(w) = 14*w + 11. Let g be d(-1). Sort j, g, 2.
g, 2, j
Suppose 0 = -3*a - 1963 + 1966. Let x = -0.2 - -0.3. Put a, x, -2 in ascending order.
-2, x, a
Let s be (-6)/(-4)*(-19)/((-399)/(-28)). Let f = 4 + -9. Sort f, s, -4 in ascending order.
f, -4, s
Let j be 2686/(-553) + (-6)/(-7). Put 6, j, 9, 5 in ascending order.
j, 5, 6, 9
Let d(n) = 2*n**3 - 44*n**2 + 2*n - 46. Let v be d(22). Sort 0, v, 28.
v, 0, 28
Let p(v) = 33*v - 346. Let f be p(11). Put 0, f, -3, 15 in descending order.
f, 15, 0, -3
Suppose -u = -5 + 3. Let i(h) = h**2 - 4*h + 2. Let w be i(4). Suppose -w*o + 25 = 3*o. Put o, u, -5 in descending order.
o, u, -5
Let d(a) = a**3 - 4*a**2 + 53*a - 5. Let x be d(0). Let y = 0.1 - 0.3. Put 4/11, x, y in descending order.
4/11, y, x
Let u = 57 + -52. Sort -2, -14, u in decreasing order.
u, -2, -14
Suppose n = 4*l - 12, 3*n + 5*l - 12 = 5*n. Sort n, 5, 0, 2 in decreasing order.
5, n, 2, 0
Suppose -17 = -4*s - 33. Suppose 26*v = 32*v - 24. Put 2/7, v, -1, s in increasing order.
s, -1, 2/7, v
Let g(r) = r**2 + 166*r + 956. Let i be g(-160). Let d = 0.1 - -0.1. Put -0.02, d, 5, i in descending order.
5, d, -0.02, i
Suppose 0*r = 5*r + 10. Let c = r + 6. Let x(b) = -77*b - 388. Let j be x(-5). Sort 9, c, j in decreasing order.
9, c, j
Suppose 5 = -u - 0*u. Suppose 115*q - 135*q = -80. Sort u, q, 2 in increasing order.
u, 2, q
Suppose -5*w + 21 - 1 = 0. Let x be 2/(-28)*-66 + (-4)/(-14). Suppose 0 = 2*r - 4*c - 10, -3*r = -2*r + x*c - 5. Put w, r, -1 in descending order.
r, w, -1
Let m(c) = 6*c - 86. Let d be m(15). Sort 3, d, -4, 14 in ascending order.
-4, 3, d, 14
Let l(q) = -10*q - 109. Let v be l(0). Sort v, -1, -4.
v, -4, -1
Suppose -43*q = -50*q - 7. Sort -4, q, 2, 14.
-4, q, 2, 14
Let s(x) = x - 28. Let j be s(15). Let h(d) = -2*d**2 - 25*d + 13. Let q be h(j). Let i = -8 + 12. Sort -1, i, q in decreasing order.
i, q, -1
Suppose -4 - 18 = -22*g. Put g, 2/23, 4 in descending order.
4, g, 2/23
Let k = -1/6 + -1/3. Let t = 20.461 + -21.461. Sort t, 4, k in descending order.
4, k, t
Let y = -998 - -895. Put y, 2, 5 in descending order.
5, 2, y
Let f be (4/(-12))/(2/6). Sort 4, f, -4.
-4, f, 4
Suppose -26*p + 459 = 121. Sort -5, -3, p, -1 in increasing order.
-5, -3, -1, p
Let g be 2 - -3 - 62/12. Sort 0, 2/7, g, 1 in decreasing order.
1, 2/7, 0, g
Let u be (-1)/(-2) - (-9)/(-10). Let j = 230 + -231.09. Let k = j + -3.91. Put u, -2/7, k in ascending order.
k, u, -2/7
Let d = 1248 + -31202/25. Sort 0.1, d, 3/2 in descending order.
3/2, 0.1, d
Let b be 20/8*(-24)/(-15). Suppose 0 = -b*g + 30 + 2. Suppose 2*r + 4 = 3*p, -11 = -2*r - 3. Sort -1, g, p in ascending order.
-1, p, g
Suppose -43*q + 24*q = 76. Sort -2/31, q, 0.
q, -2/31, 0
Suppose 2*c - 3*l = -c, 24 = 3*c + 3*l. Put c, -72, -2/7 in descending order.
c, -2/7, -72
Let a(w) = 1. Let o(z) = -z**2 - 7. Let q(k) = a(k) - o(k). Let y be q(0). Let p(c) = c**3 - 7*c**2 - 8*c. Let s be p(y). Sort 2, s, -4 in decreasing order.
2, s, -4
Let p = -21 - -23. Suppose 0 = -2*d + 3*d + p. Suppose 0 = 3*z - 2*r - 6, -4*z - 3*r - 5 = -13. Sort 7, z, d.
d, z, 7
Suppose 3*y - 2 - 1 = 3*l, -3*l = -y + 1. Let z be 1 + -5 + (0 - 1) + -3. Sort -3, y, z in ascending order.
z, -3, y
Suppose 0 = -7*a + 3*a - 20. Let w be -4 - (6/4 - 1). Let c = -18.5 - -17.5. Put a, c, w in decreasing order.
c, w, a
Let t = -52.9 - -56.9. Put 0.4, -10, t, -2/3 in descending order.
t, 0.4, -2/3, -10
Let g be 14/175 + 76/300. Let l = 2 - 1. Sort -3, 0.8, l, g.
-3, g, 0.8, l
Let z = -33.3 - -33.9. Sort -9, -2/3, z in decreasing order.
z, -2/3, -9
Let o = 27 + -7. Suppose 0 = -3*n - k + 25 - 10, k = 4*n - o. Sort 11, -1, n in increasing order.
-1, n, 11
Suppose -2595*o + 2590*o - 95 = 0. Put o, -2, 0.5 in ascending order.
o, -2, 0.5
Let o be (5 - 80/8)/(-5). Sort o, 5, 19, -4 in descending order.
19, 5, o, -4
Let m = -3.58 - -3.78. Sort 0.1, 1/3, m.
0.1, m, 1/3
Suppose 7*z + 2*l = 4*z - 5, 4*z = l + 8. Sort z, -17, 4, -3 in decreasing order.
4, z, -3, -17
Let c be 14/(-2) + (-9 - 4) + 25. Let o = 0 - 0. Sort o, -5, 2, c in ascending order.
-5, o, 2, c
Let o be 4/(-1) - 19 - (-4 - -3). Sort 3, o, -4 in descending order.
3, -4, o
Let b be 11/3 - (-2)/6. Suppose 3*a = o - 13, 5*o - 3*a = a + 32. Let h be 0/3 + o + -4. Put 1, h, b in decreasing order.
b, 1, h
Let s = 6541/6 + -91907/84. Let y be -2 + 4 - 40/7. Let j = s - y. Sort 1, -1/5, j in increasing order.
j, -1/5, 1
Let m be 1 - (-4)/((-2)/(-2)). Suppose 3*j + 6 = 0, 2*o - 7 = m*j - 3. Suppose 2*z - 12 = 5*z. Sort z, 1, o in ascending order.
z, o, 1
Let c(i) = -i**3 + i**2 + 3. Let p be c(0). Let a be (-30)/(-5)*1/3. Suppose 5 + a = -2*u - 3*s, -4*u - 15 = 5*s. Put u, p, 7 in descending order.
7, p, u
Let y(l) = l**3 - l + 1. Let w(q) = -3*q**3 + 10*q**2 - 46. Let c(d) = w(d) + 4*y(d). Let z be c(-10). Put 6, z, 0 in increasing order.
z, 0, 6
Let h(j) = 7*j - 2 - 11*j + 6*j + 13. Let f be h(-8). Let y = -2.8 - 0.2. Sort -9, f, y in descending order.
y, f, -9
Let d = 174269/40530 + 1/4053. Let x = 2065/458 + -2/229. Let l = d - x. Sort 4, l, -2.
-2, l, 4
Let o = -21.998 + -0.002. Let m = -19 - o. Let y = 3 - m. Sort y, -1/4, 5.
-1/4, y, 5
Suppose -2*g - 19 = 4*w + w, -g = 5*w + 17. Let n(y) = -2*y**3 + 31*y**2 - 43*y + 15. Let j be n(14). Sort j, w, -1, 5 in decreasing order.
5, j, -1, w
Let d(y) = -y**3 - y**2 - y - 9. Let p be d(0). Let o = p - -14. Suppose x = i + 5, o*i + 0*x + 25 = 2*x. Sort -3, i, -1.
i, -3, -1
Suppose -5*h + 26 = -3*h. Let f = -10 + h. Suppose f = 2*x + 7. Sort 3, x, -6 in ascending order.
-6, x, 3
Let s = -6.079 - -0.079. Let y = -5.9 - s. Sort 6, -4, y in decreasing order.
6, y, -4
Suppose 0 = 3*q + n + 11, 0*q + 10 = -2*q - 2*n. Let z = 297 + -294. Let o be ((-2)/(-3))/((-4)/(-6)). Sort o, z, q in decreasing order.
z, o, q
Let g be ((-555)/1628)/((-12)/32). Put -0.4, -15, 1, g in descending order.
1, g, -0.4, -15
Let r be (3/2)/((798/56)/19). Sort r, 1, -44 in descending order.
r, 1, -44
Let b be 3 + 5 - (5 + -1). Let c(h) = h**3 - 4*h**2 + h - 2. Let z be c(4). Put -6, b, z, -3 in ascending order.
-6, -3, z, b
Let a = 1801.7 - 1802. Put a, 7, 2/13 in descending order.
7, 2/13, a
Let x be (11/(165/(-10)))/((-6)/(-27)). Sort 0.1, 5, 1.5, x in descending order.
5, 1.5, 0.1, x
Let t = -202 + 198. Sort 2, t, 4, 26 in decreasing order.
26, 4, 2, t
Suppose 20 = 5*m - 5*i, -5*i - 23 = -0*m - 2*m. Put -13, 2, m, -2 in decreasing order.
2, m, -2, -13
Let g = 116 + -140.5. Let w = 25 + g. Let y = 3 - 2. Put -0.05, y, w in descending order.
y, w, -0.05
Let j = 17 - 12. Suppose d - l + 4 = -0*d, -8 = -d + 4*l. Let g(s) = s**2 + 9*s + 10. Let p be g(d). Put j, 4, p in increasing order.
p, 4, j
Let s be (-2)/(-4)*(-26)/(5 + -6). Sort 3, s, -2, -3.
-3, -2, 3, s
Let a be 0/(-2)*7/14. Let f = 61 - 243/4. Let g = -4 + 4.4. Sort a, f, g in decreasing order.
g, f, a
Suppose 0 = -4*s + 2*m + 17 + 1, 4*m + 12 = 0. Suppose 5*t = -s - 7. Suppose 16 = -6*q + 2*q. Put 1, t, q in descending order.
1, t, q
Let t = 14/13 + -44/65. Let p = -8 - -11. Let r be (1 + 7/(-3))/(-2). Sort r, p, t in ascending order.
t, r, p
Let q = -5.4 - -5. Let x = -10145 - -10141. Sort q, x, 0.1, -2/9 in increasing order.
x, q, -2/9, 0.1
Let k = -0.72 - -1.42. Let u = -0.4 + k. Put 3, 2/3, u, 5 in descending order.
5, 3, 2/3, u
Let v = 0.09 - 0.39. Let q be -1*(-10)/(-6)*-3. Put 0.1, q, 6, v in descending order.
6, q, 0.1, v
Let n = -634 - -702. Sort 1/2, n, 3, 1 in descending order.
n, 3, 1, 1/2
Let o = 0.16 + -14.16. Let m = o - -14.3. Let n = -0.2 - -0.4. Sort m, n, 1.2.
n, m, 1.2
Let u be (-24)/((-3)/(-2) + 0). Suppose 0 = 6*s - 0*s. Suppose 5*y - 15 = -w + 6*w, s = y - 5. Sort u, w, -1 in ascending order.
u, -1, w
Let h = -48 - -241/5. Let k = 373/7 + -53. Sort 2/5, h, k, 2/15 in decreasing order.
2/5, k, h, 2/15
Let i = 635 + -632. Suppose -5*g - 3*f + 7 = -2, -5 = -5*g - 5*f. Let m = i - g. Sort 1, 4, m in decreasing order.
4, 1, m
Let v = -427.64 - -422. Put v, -2, 4, 0.5 in descending order.
4, 0.5, -2, v
Suppose 5*n + 128 = 13*n. Let q be (-14)/21*(-6)/n. Let g = -568/861 + -2/287. Sort q, -0.4, g.
g, -0.4, q
Let u = 161 + -162. Sort -1/3, -0.18, u, -0.4.
u, -0.4, -1/3, -0.18
Let j(m) = -2*m + 30. Let f be j(6). Suppose 0 = 5*l + 68 - f. 