ng order.
i, z, 1
Suppose 3*q + 20 = -25. Suppose 0 = -u - u - 12. Let j be (q/6)/((-3)/u). Sort 5, j, 3 in decreasing order.
5, 3, j
Let p(x) = x**3 - 7*x**2 - 2. Let g be p(7). Sort -1, -5, g in descending order.
-1, g, -5
Let a = -2.9 - -3.2. Sort a, -7, 1/2 in descending order.
1/2, a, -7
Let m(b) = b**2 - 14*b + 11. Let x be m(13). Sort 0, -1/3, 0.5, x.
x, -1/3, 0, 0.5
Let d = 3 - 6. Let f = 3 - 5. Put d, f, -5 in increasing order.
-5, d, f
Suppose -3*b - 3*g = 0, -4*g = 2*b + g. Suppose -n + 0*n = b. Put 2, -8, n in decreasing order.
2, n, -8
Let m = -10 - -7. Let d be (-1)/6 + (-145)/30. Let x = d - -9. Put m, 2, x in ascending order.
m, 2, x
Let a = 6 + -8. Let r be 8/(-2)*1/a. Sort -3, r, 3.
-3, r, 3
Suppose 6 = -0*g - g. Suppose 0 = 12*n - 17*n + 5. Put g, n, 2 in decreasing order.
2, n, g
Suppose -3*q + 2*q + 5 = 0, -3*q = k - 10. Suppose 16*n = 86 - 6. Sort k, 1, n in descending order.
n, 1, k
Let d = -203 - -202.5. Put -2/15, d, 0.5, 2 in increasing order.
d, -2/15, 0.5, 2
Suppose -2*k = -2*b + 14, b = -3*k - 18 + 5. Sort k, 5, 4 in decreasing order.
5, 4, k
Let k(f) = f - 8. Let s be k(7). Let d = 29 - -1. Let z be d/9 - 4/(-6). Sort -2, s, z in decreasing order.
z, s, -2
Let b(i) = -i**2 - 4*i - 3. Let z(c) = c**2 - c + 1. Let w(o) = b(o) + 2*z(o). Let u be w(5). Sort u, -3, 2 in ascending order.
u, -3, 2
Let d be (-43)/9 + 4/(-18). Let u(j) = j**2 + j + 4. Let m be u(0). Suppose 2*b = 10, -x - 4*x + m*b - 25 = 0. Put x, d, 3 in ascending order.
d, x, 3
Suppose 22*t - 29*t - 7 = 0. Suppose -5*r = -3*s - 0*s - 16, 2*s = -r + 11. Sort t, 2/5, s.
t, 2/5, s
Suppose -6*i = -4*x - i + 5, 2*x - 5*i = 15. Sort x, 0, 5 in decreasing order.
5, 0, x
Let d(u) = u + 9. Let h be d(-14). Put h, 0.3, -1/4, -2 in decreasing order.
0.3, -1/4, -2, h
Suppose y - 2*y + 8 = 2*l, -l - 5*y - 5 = 0. Suppose 0 = -n + l*n - 3*f + 3, -5*n + f - 1 = 0. Sort 1, n, 4.
n, 1, 4
Suppose 2 = 7*s - 19. Sort 14, 2, s in ascending order.
2, s, 14
Let l be (-68)/20 - (-2 - 1). Sort l, 0.1, 1.
l, 0.1, 1
Let k(r) = r + 1. Let j be k(4). Suppose 0 = -j*v - 14 + 39. Let g be (4/(-1))/(0 + -1). Put v, -5, g in ascending order.
-5, g, v
Suppose -8 = -4*t + 8. Suppose -4 = t*i - 8. Suppose -5 = m - z, -m + 5*z - 9 - 16 = 0. Sort i, -4, m.
-4, m, i
Let m be 10/5 + 17/(-7). Let z = 1.01 - 0.01. Sort m, z, 6.
m, z, 6
Let b(f) = -3 + f**2 + 4*f + 4*f - 5*f + 2*f. Suppose 2*z + 10 = -0. Let p be b(z). Sort p, 0, 5 in ascending order.
p, 0, 5
Let v(t) = t**3 - 4*t**2 - 11*t - 5. Let d be v(6). Put -4, d, 3 in decreasing order.
3, d, -4
Let y = -3.7 + 8.7. Sort -8, y, 0.2 in decreasing order.
y, 0.2, -8
Let w = -1.04 - -0.04. Let i = w - -0.92. Let t = 4.08 + i. Put t, 1, 0.4 in increasing order.
0.4, 1, t
Let b = -25 - -28. Put 2, b, -3 in decreasing order.
b, 2, -3
Suppose 0 = -3*d + 12. Suppose -5*w = -7 + 27, 2*w = -3*s + d. Suppose -2*q = -4*m - 6, s*m + q = 2*q - 11. Sort 2, 1, m in decreasing order.
2, 1, m
Suppose -3*x - 414 = 3*a, -x + 6*x = 10. Let v = a - -702/5. Sort -4, v, -0.3 in descending order.
v, -0.3, -4
Let x = -16.5 + 17. Let w = -3.2 - -0.2. Sort x, -5, w in decreasing order.
x, w, -5
Let a be (-44)/6*(-21)/14. Suppose -b - 4 + a = 0. Suppose 4*f = -2*d + b + 3, -2*f = 4*d - 2. Put -5, -3, f in ascending order.
-5, -3, f
Suppose 0 = 3*a + 2*a - o - 22, -5*a - 2*o + 16 = 0. Let t(h) = -h**2 + h + 3. Let q be t(3). Sort q, -1, a in ascending order.
q, -1, a
Let l = 2.6 + -4.6. Put 0.5, l, -3/4 in descending order.
0.5, -3/4, l
Suppose -5*f - 15 = 5*i, -2*f + 5*i + 3 = -f. Let d(m) = -2*m + 23. Let r be d(11). Put 3, f, r in decreasing order.
3, r, f
Suppose 3*i + 21 = -2*u + 1, 4*u + 16 = 0. Put 5, -2, 4, i in decreasing order.
5, 4, -2, i
Suppose 12 = i - 4*v, 2*i = v + v + 12. Suppose -i*p - 11 - 1 = 0. Put 2, p, -1 in descending order.
2, -1, p
Let c(p) = p**3 + 10*p**2 + 8*p - 11. Let d be c(-9). Put 3, d, -4 in descending order.
3, d, -4
Let d = 11 - 15. Put 5, 0, d in descending order.
5, 0, d
Suppose -w = 5*f - 29, 0 = f - 3*w + 12 - 5. Suppose -3*i = 2*i. Let n be f/4*(-4 + i). Sort -1, 0, n.
n, -1, 0
Let q be (-20)/(-8) + (-2)/4. Suppose q*u - 2 = -6. Let d be 4 + (-1 - (-3 + 2)). Put d, 2, u in decreasing order.
d, 2, u
Let h(c) = -2 + 4*c**3 - 2*c**3 + 5*c**2 - c**3. Let p be h(-5). Let a = 7 + p. Sort 1, -1, a.
-1, 1, a
Suppose 3*s - 6*s + 15 = 0. Suppose z = -c + 8 - 1, -25 = -5*z. Put s, c, 7 in decreasing order.
7, s, c
Suppose -5 = -3*s - 2*r - 2, -4*s + 4*r = -24. Let x be s*(-2)/(-12)*-2. Let i = -1 - x. Put -1/4, 0.1, i in descending order.
0.1, i, -1/4
Suppose 6*v = v. Put v, -1, 5 in increasing order.
-1, v, 5
Let x = -3 - -2. Suppose -3*d = -3*i + 9, 2*d - 22 = -4*i - i. Suppose 10 = i*r - 2*n, 3*n - n + 10 = -4*r. Put r, 5, x in increasing order.
x, r, 5
Let r be (4/6)/((-4)/(-96)). Let n be (-4 - -1)*r/(-24). Put n, -10, -1 in descending order.
n, -1, -10
Let p(y) = 3*y**2 + y + 2. Let o be p(-1). Suppose -3*c - 9 = -0*c. Suppose 9 = -4*v + 5*a, -a - 2*a = 3*v. Put c, v, o in descending order.
o, v, c
Let c = -6/35 + 1/35. Sort 0.5, c, -1 in increasing order.
-1, c, 0.5
Let g = 19 + -20. Put 5, g, 0 in ascending order.
g, 0, 5
Suppose 0 = -5*a - 2*u - 3, 6*a - 24 = 2*a + 5*u. Suppose -4*o + v - 7 = 0, -3*o + 5*v - 12 = -6*o. Let h be o*(-1 + 0)*0. Sort a, 4, h in decreasing order.
4, a, h
Let a = 6 - 5.6. Let w(z) = z - 6. Let n(k) = k**3 + 7*k**2 + 4*k - 2. Let j be n(-6). Let t be w(j). Sort 2, t, a.
a, 2, t
Let g = 2.5 + -3. Let s = 0 + g. Sort s, -4/7, -0.1 in increasing order.
-4/7, s, -0.1
Let i be 2 + -2 - (-1 + -1). Sort -3, i, -13 in ascending order.
-13, -3, i
Let u be 0/(-1) + 10/(-2). Put -1, u, -0.1 in descending order.
-0.1, -1, u
Suppose 135 = 4*c + 5*x, -5*c + 126 = -5*x - 54. Put c, -0.4, 0.1 in ascending order.
-0.4, 0.1, c
Let t = 6 + -6.5. Let p = -1 - -0.8. Sort t, p, 0.4 in ascending order.
t, p, 0.4
Suppose y - 2*y = -3. Let z be 20/(-30)*(-3)/2. Sort -2, z, y.
-2, z, y
Let t = -6 + 4. Let p = -3 - t. Let f = -4 + p. Sort -1, f, 4 in ascending order.
f, -1, 4
Let y = 0.58 - 5.88. Let w = 5 + y. Sort -4/5, w, 3 in ascending order.
-4/5, w, 3
Let o(b) = b**2 - 4. Let k be o(4). Suppose -5*n + 10*n = 0. Suppose -i - 3*i - k = n. Sort 2, i, 3.
i, 2, 3
Let m = -1.8 - -1.8. Put m, -0.5, 2/9 in increasing order.
-0.5, m, 2/9
Let n(c) = -c**3 + 5*c**2 - 2*c + 6. Let w be n(5). Let r = -18 + 13. Let o = 3 + -4. Put r, o, w in increasing order.
r, w, o
Let z = -6 + 5.7. Let a = 0.46 - 0.06. Let r = z + a. Sort -4, r, -0.1.
-4, -0.1, r
Let j = 13/12 + -55/84. Sort -2, 6/11, 1/6, j.
-2, 1/6, j, 6/11
Let s = 9 + -5. Suppose 11 = -c + s. Let j(f) = f + 2. Let p be j(c). Put 4, 1, p in decreasing order.
4, 1, p
Let z = -19110016 - -30671574727/1605. Let b = z - 2/321. Let i(o) = o**3 + o**2 + o - 5. Let w be i(0). Put w, b, -0.1 in ascending order.
w, b, -0.1
Let a be ((-21)/(-14))/(1/14). Suppose -3*n + 4*s = -29, 2*s + s = 2*n - a. Sort 2, n, 2/3 in increasing order.
2/3, 2, n
Let x = -4 - -6. Suppose -5*g + x = 12. Sort g, -1, 2.
g, -1, 2
Let x = -7/106 - 65/2226. Suppose 9 = c - 2*c. Put c, 0, x in descending order.
0, x, c
Let w = 24 + -24.17. Put w, -0.4, -4, -3 in increasing order.
-4, -3, -0.4, w
Let a = 1 - -1. Let s = -14 - -13. Put s, 4, a in decreasing order.
4, a, s
Let f = 0.54 + -0.14. Put 3, f, 1/12 in descending order.
3, f, 1/12
Let o = 131 - 131.5. Put 4, 2/11, 1.1, o in descending order.
4, 1.1, 2/11, o
Let d = 51 + -47. Put -2/11, 1/11, d, -0.3 in decreasing order.
d, 1/11, -2/11, -0.3
Suppose -3*z + 9 = 3*u, -4*z + 18 = -2*u - 0*u. Sort z, -19, 0, 2 in increasing order.
-19, 0, 2, z
Let w = 192 + -1730/9. Put 0.04, w, -3, 4 in descending order.
4, 0.04, w, -3
Let h(a) = a**3 + a**2 + a + 3. Let c be h(0). Let y = c - -2. Put 3, 0, y in decreasing order.
y, 3, 0
Let y = 1952/7 + -278. Let k = -3/28 - -17/28. Put k, y, 5 in ascending order.
k, y, 5
Suppose 0 = -4*g - 1 - 15. Put 4, -2, g in decreasing order.
4, -2, g
Let j be 17/(-102) + 19/6. Put j, -43, -2 in decreasing order.
j, -2, -43
Let j = 85 + -88. Let o be 4/6*-3 - -4. Suppose -b = -o*s - 10, -b - 2 = s + 3. Put b, -2, j in ascending order.
j, -2, b
Let q = 0.03 + -4.03. Let s be (-3 - -4)/((-21)/(-9) + -4). Sort -0.1, q, s in descending order.
