 3
Suppose 0 = j - 0 + 4. Let t = -2 - -1. Put j, t, 6 in increasing order.
j, t, 6
Let r = 202.92 + -203. Sort -1, 3, -4, r in descending order.
3, r, -1, -4
Let b(x) = -5*x**2 + 7*x - 5. Let s be b(1). Put s, -19, 1 in increasing order.
-19, s, 1
Let l = -74 + 77. Let r be (l - 1)*(-4)/(-8). Let z = 2 + -4. Sort -5, r, z.
-5, z, r
Let h(m) = -6*m + 16. Let b be h(3). Let i be b/((-7)/(-20) - 6/8). Suppose 0 = 5*p - 5. Sort p, -7/4, i in descending order.
i, p, -7/4
Let z = -3175 + 3178. Suppose j + 19 = 3*m, 0*m + 2*j = -m - 3. Let k = 1 - m. Sort z, k, 2 in increasing order.
k, 2, z
Suppose -4*y - 36 = -2*y. Let t be (8/(-10) + y/(-27))*5. Suppose -4*f + 2 = -6. Sort f, t, -0.4 in increasing order.
t, -0.4, f
Let w = 684 + -681. Put w, 26, -4 in decreasing order.
26, w, -4
Let d = -661 - -797. Sort -2, -1, d in increasing order.
-2, -1, d
Let k be (3/(-2))/(24/(-16)). Suppose 12 = 3*o + 3*d, 2*d + 9 = 4*o - k. Let r(u) = -u**3 - 5*u**2 + 5*u - 4. Let x be r(-6). Sort x, -4, o in ascending order.
-4, x, o
Let j = 2 + -21. Let s = -48 + 44. Sort s, j, 2, 4 in decreasing order.
4, 2, s, j
Let x be 1/1*1/(-2). Let n = 17.5 + 118.5. Let p = n + -139. Sort x, p, 2/11 in descending order.
2/11, x, p
Let q = -557 + 548. Sort q, -0.2, 0.29.
q, -0.2, 0.29
Let s = 2 + -5. Let d(r) = 19*r**2 + 2*r + 1. Let p be d(-1). Let o = p - 19. Sort o, 1, s in descending order.
1, o, s
Let x = -63.6 - -63.5. Put x, 2, -2.2 in decreasing order.
2, x, -2.2
Let g be (-6)/(-15) - 8/20. Sort -6, 5, g, -3.
-6, -3, g, 5
Suppose 0 = -661*c + 665*c - 16. Sort 31, 3, c in increasing order.
3, c, 31
Let u = -23 + 11. Let c = u - -13. Sort 3, -0.03, 1/5, c in descending order.
3, c, 1/5, -0.03
Let z be ((-64)/6)/((-22)/1023). Let m be z/(-360)*3 + 4*1. Suppose -3*c + c = -8. Sort m, -1, c in decreasing order.
c, m, -1
Let v be (-1)/(-2)*(-40)/(-150). Put -2, v, -3 in ascending order.
-3, -2, v
Let g = 7 - 5. Let y be 22/(-8) - g/8. Let j be ((-24)/9 + 2)/((-2)/12). Sort -5, y, j in decreasing order.
j, y, -5
Suppose 3 + 1 = 4*q. Suppose 2*j - 3*r + q = j, -4*j - r = 17. Put 0, 2/5, j, -3/5 in decreasing order.
2/5, 0, -3/5, j
Suppose -3*i - 2*u = -354, -10*i = -6*i + 4*u - 472. Let h = i - 116. Put h, -1, -4 in ascending order.
-4, -1, h
Suppose -l + 0*h = 5*h - 14, 2*h + 16 = 5*l. Suppose 44 = -18*b + 7*b. Put b, l, -2 in ascending order.
b, -2, l
Suppose 0 = -x - 5, -10 = -5*b - 8*x + 7*x. Put 0.4, -6/11, b, 0 in descending order.
b, 0.4, 0, -6/11
Suppose -1 = 6*u + 5. Let f be u - (-20)/((-5)/(-1)). Let n(r) = -4*r**3 + 2*r - 1. Let c be n(1). Sort f, c, -4.
-4, c, f
Suppose 0 = 34*z - 29*z + 10. Suppose -5*l = -l - 28. Suppose 22 - l = -5*s. Put s, z, 4 in descending order.
4, z, s
Suppose 3*k - 69 = -4*h, 2*k + 5*h = 6*h + 46. Suppose 7 = g + 3*d + k, -g - 24 = 5*d. Sort 0, g, 1, -3 in decreasing order.
1, 0, -3, g
Let p = -47.9 - -48.1. Sort 5, -1/10, 0.3, p in ascending order.
-1/10, p, 0.3, 5
Let z(b) = -b**2 + 23*b + 247. Let c be z(31). Suppose -q - 8 = -2*r + 4*r, -r - 2 = 0. Let w = 3 + 2. Put w, c, q in decreasing order.
w, c, q
Let u = -0.03 - 1.97. Suppose -366 = 3*k - 2*j, 3*j + 610 = -4*k - k. Let g be 2/14 + k/(-28). Put g, 3, u in decreasing order.
g, 3, u
Suppose 13*v = 27 - 105. Sort -3, v, 4 in decreasing order.
4, -3, v
Let n(f) = -f**2 - 9*f - 10. Let j be n(-6). Let z = 17 + -6. Let p = j - z. Sort -2, p, 3 in ascending order.
p, -2, 3
Let i(j) = -j**3 - 38*j**2 + 38*j - 32. Let u be i(-39). Sort 2, -14, u, 1 in descending order.
u, 2, 1, -14
Let n = -0.2 + -12.8. Let y = n - -13.5. Sort -0.2, y, 3 in descending order.
3, y, -0.2
Let v be 2*2/(-4) + 0. Let m(c) = -c**3 - 10*c**2 - 2*c - 16. Suppose u - 80 = 9*u. Let g be m(u). Sort -3, g, v.
-3, v, g
Let f = 61.4 - 61. Let q = -76 - -76.2. Sort q, -0.05, f in ascending order.
-0.05, q, f
Let c be (-1)/3 - (-165)/9. Suppose -13*v - 25 = -c*v. Suppose -3*h + d + 10 = -d, -h + 15 = -3*d. Sort h, v, 4.
h, 4, v
Suppose -5*i + 24 = -i. Sort i, 2/7, -5/3 in increasing order.
-5/3, 2/7, i
Suppose 4*p - 7 = -b + 3, 4*p = 0. Suppose -b = 2*l, -5*z = -2*l + 14 - 4. Sort z, -5, 1, 0.
-5, z, 0, 1
Let z = -891 + 888. Sort z, -5, 325.
-5, z, 325
Suppose -4*d + 5*r = 7 + 10, -5*d + 3*r = 5. Suppose -t + 2 = j + 7, 5*j - 4*t - 2 = 0. Sort -3, d, 4, j in ascending order.
-3, j, d, 4
Suppose 0 = -0*n - 3*n - 27. Let v be (-43)/n + (-4)/(-18). Let t be (15/9)/(2/(-6)). Put v, t, 2 in ascending order.
t, 2, v
Let f = -2 + 3. Suppose 0 = -i, 5*i = o + 1 - 8. Sort f, 4, o in ascending order.
f, 4, o
Suppose 5*x + 15*q + 2 = 19*q, 2*q - 6 = 5*x. Put -1, x, 55 in decreasing order.
55, -1, x
Suppose -2*q + 4*q = 10. Let l be (0 + -6)/(-6) + 2. Sort 0, q, l, -4.
-4, 0, l, q
Let w = 26 - 16. Let i be 4/w + 72/20. Let a be -3 + (i/2 - -1). Put 2, 4, a in increasing order.
a, 2, 4
Let k = 763/1255 - 2/251. Let b be (-10)/4*(-24)/30. Let p be b/7*77/33. Sort p, 3, k.
k, p, 3
Let k(p) = 10*p - 36. Let f be k(12). Let m = f + -79. Let s(y) = 2*y - 5. Let g be s(4). Put m, g, -1 in decreasing order.
m, g, -1
Let a be -8 + (-45)/9 - -10. Sort a, 2, -39, 1 in decreasing order.
2, 1, a, -39
Let p be 4/6*(-4437)/24. Let h = -7409/60 - p. Let u = 1/6 - h. Put u, 4/9, 3 in descending order.
3, 4/9, u
Let o(z) = z**2 - 18*z + 7. Let u be o(18). Suppose 0 = 3*h + u - 49. Put h, -5, -2 in increasing order.
-5, -2, h
Let k(c) = -10*c - 8*c**2 - c**3 - c**2 - 2*c**2 - 2 + 0*c**3. Let a be k(-10). Let u be (-10)/(-15) - (-4)/3. Put u, a, 4 in descending order.
4, u, a
Suppose 0 = u - 2*u + 14. Suppose -2*z + 4 = -4*a - 8, -2*a + 3*z = u. Sort -3, a, 1 in ascending order.
-3, a, 1
Let h = 24.26 + -24. Let p = h + -0.03. Let b = 0.27 + p. Sort 3, b, 0.3 in decreasing order.
3, b, 0.3
Suppose 0 = 43*u - 38*u - 20. Sort -1, -5, u.
-5, -1, u
Suppose 21*a - 18*a = 6. Let v be (-2 - 10/(-4))*0. Put v, 6, a in descending order.
6, a, v
Suppose -15 = n - 3*q, -4*n + 32 - 17 = 3*q. Let g(i) = -i**3 - 5*i**2 + 6*i - 5. Let z be g(-6). Sort z, -2, n.
z, -2, n
Let h = -59.7 + 63.7. Sort 2, 5, 0.36, h in increasing order.
0.36, 2, h, 5
Let f = -9 - 23. Let u = 21 + f. Let m = -8 - u. Put -1/7, m, 4 in decreasing order.
4, m, -1/7
Let g = -51 - -51.2. Let n = 12 + -21. Let f = n + 4. Sort f, g, -2 in decreasing order.
g, -2, f
Let v(w) = 43*w + 434. Let j be v(-10). Suppose 0*y - 2 = y. Put j, 2, y in increasing order.
y, 2, j
Suppose -4*i + l + 129 = 21, 5*l - 54 = -2*i. Let w be (28/21)/((-6)/i*-3). Put w, 3, 0 in decreasing order.
3, w, 0
Let k = -5.14 - -0.14. Let a be (8/36*3)/(30/(-9)). Put k, 2, a in increasing order.
k, a, 2
Let s(o) = -o**2 - 3*o - 3. Let z be s(-2). Suppose g + 13*k - 9*k = -32, -28 = 4*k. Put g, z, -2, 7 in decreasing order.
7, z, -2, g
Suppose -3*i = -0*i + 18. Let n(w) = 2*w + 4. Let r be n(5). Suppose -3*c - 8 = -20, 0 = -2*d - 2*c + r. Sort i, 4, d in descending order.
4, d, i
Let c be 5/(-6 - (-161)/21). Sort -4, 5/3, c.
-4, 5/3, c
Let d(s) = -5*s + 10. Let i = -21 + 23. Suppose 5*z - 11 = t, 4 = -i*t + 3*z + 3. Let c be d(t). Sort 2, -3, c in descending order.
2, -3, c
Let u = -0.09 + -0.91. Let b = -1.2 - u. Let x = 27 + -27.1. Sort x, 9, b in decreasing order.
9, x, b
Let z = 2326 + -2174. Sort z, -5, 0 in descending order.
z, 0, -5
Let u(j) = -j**3 - j**2 + 4*j - 4. Let s be u(-4). Let h be (((-30)/s)/(-5))/(4/(-14)). Sort -15, 5, h in decreasing order.
5, h, -15
Let u = -275 - -274.3. Sort -5, u, -1/5 in decreasing order.
-1/5, u, -5
Let m = 2 - -2. Suppose -x + m*x + 6 = 0. Let y be -1 - (-2 - x - -4). Put 1, y, 0 in decreasing order.
1, 0, y
Let d = 0.0149 + -0.3149. Sort d, -4/47, -1.
-1, d, -4/47
Let u(k) = -16*k - 6. Let n be u(-3). Let y = n - 61. Let t = 16 + y. Put -4, t, -0.2 in descending order.
-0.2, t, -4
Let c be ((-3)/(-6))/((-174)/(-36) + -5). Sort 0.5, c, -2/7 in ascending order.
c, -2/7, 0.5
Let i be 94/(-88) + (0 - 6/33). Let q be 2/(-2)*(-1)/(-2). Let h = -51 - -257/5. Sort h, q, i.
i, q, h
Let b be (-6)/(-27) + 465/(-27). Let i(m) = -m**2 - 19*m - 39. Let u be i(b). Put -13, 4, u in descending order.
4, u, -13
Let n = 682 + -2729/4. Put -10, n, -11 in ascending order.
-11, -10, n
Let n = -11 - -2. Let s = n - -4. Let x = -91/27 + 82/27. Sort s, x, 4 in increasing order.
s, x, 4
Let n = 0.1 - -0.1. 