6 = h. Put 5, -4, 1, h in descending order.
h, 5, 1, -4
Let a be 2 + -3 + 5 + -1 - 1. Suppose -4*n + 5*z + 2 = -a*n, 0 = 2*n + 4*z - 2. Let q(t) = -t - 3. Let h be q(-7). Sort h, -1, n in decreasing order.
h, n, -1
Suppose -5*g - 22 + 2 = 0. Let z(o) = -2*o**2 - 8*o - 2. Let u be z(-4). Sort u, 2, g in decreasing order.
2, u, g
Let x = -254 - -253. Sort 7, -3/2, x, -6.
-6, -3/2, x, 7
Let c(a) = a**3 + 12*a**2 + 2. Let j be c(-12). Suppose -4*o + 11 = l + 4*l, 0 = -4*l + j*o + 14. Suppose 2*d + 0*d - 4 = 0. Put d, 0, l in increasing order.
0, d, l
Let n = -28.5 - -29. Let m = n + -1.3. Let k = 0.2 - m. Sort k, 0.3, -3 in descending order.
k, 0.3, -3
Suppose 19 = -10*c - 11. Let g be ((-51)/(-221))/(c/2). Sort 2/9, g, 7 in ascending order.
g, 2/9, 7
Let m = 54 - 17. Let q = 39 - m. Sort -1, 0, q in increasing order.
-1, 0, q
Let b = 8 + -3. Suppose 0 = -0*a - 4*a - r + 7, -5*a + b*r = -40. Suppose 84 = a*j - 9*j. Put j, 2, 3 in decreasing order.
3, 2, j
Let y(s) = s**3 + 8*s**2 + 6*s - 7. Let t(o) = -o + 1. Let h be t(8). Let i be y(h). Put -1, i, -4, 4 in descending order.
4, i, -1, -4
Let l be 0*(2/(-4) + 0). Let y be ((-6)/(-5) + (-9)/45)*1. Sort l, y, -4 in decreasing order.
y, l, -4
Let d be (6/252)/(2/4)*-2. Let c be -2 + -2 + 91/26. Put 11/5, c, d in decreasing order.
11/5, d, c
Let f(y) = y**3 + 15*y**2 + y + 19. Let p be f(-15). Sort 0.3, p, -22.
-22, 0.3, p
Let k = 849 + -846. Sort 87, k, -1 in descending order.
87, k, -1
Let w = -17.1 - -18. Let i = -49/5 + 407/40. Put w, i, -0.5 in increasing order.
-0.5, i, w
Suppose -2*r - 1 + 17 = 0. Suppose 4*j = r, 4*w - 4*j = -2*j + 4. Let s be 12/(-4)*(2 + -1). Sort -5, w, s in decreasing order.
w, s, -5
Let c = 3.45 - 0.45. Put c, 27, 2/3, 0 in decreasing order.
27, c, 2/3, 0
Let o = -32 - -4.8. Let b = o - -20. Let t = 2.2 + b. Sort t, 2, -12 in descending order.
2, t, -12
Let u = -1943 + 1936. Sort 0.3, -5, u, -6.
u, -6, -5, 0.3
Let w = -0.1 + -0.1. Suppose -33*v + 59 + 106 = 0. Sort w, -12, v, 0.3 in ascending order.
-12, w, 0.3, v
Let q(p) = 2*p**3 + 6*p**2 + 4*p. Let o be q(-2). Suppose o = 5*d + 10, -2*l - 2*d = -4*d - 6. Put 0, 3, 2, l in descending order.
3, 2, l, 0
Let h(p) = p**3 - 2*p**2 - 37*p - 5. Let b be h(-5). Sort -0.2, 0, b, -7/11 in decreasing order.
b, 0, -0.2, -7/11
Suppose 0 = 4*s - k + 2 + 1, -3*s - 4*k - 7 = 0. Let r = 1868 - 1864. Put r, s, 19 in descending order.
19, r, s
Suppose -3*r = -2*r - b - 12, -b + 78 = 5*r. Suppose -4*c = m - 3*m + 6, c = -5*m + r. Let u be (-3)/5 - 46/110*-1. Put 2/13, u, c in descending order.
2/13, c, u
Suppose t + 2*l + 3 + 2 = 0, -4*t - 20 = -l. Suppose -6*z + 3*z = 0. Suppose -6*a = -z*a. Put a, t, -1 in increasing order.
t, -1, a
Let x = -4 + 8. Let t(z) = 317*z**2 + 2217*z - 5. Let u be t(-7). Sort -1, -4, x, u.
-4, -1, x, u
Let c = 71/39 + -5/3. Sort 0.04, c, -0.08 in increasing order.
-0.08, 0.04, c
Suppose 3*k + 15 = c, 0*k - 5*k - 25 = -c. Sort -29, 1, -4, c in decreasing order.
1, c, -4, -29
Let t = 0.0338 + 0.2662. Sort t, 0.9, 18 in descending order.
18, 0.9, t
Let y = 383 - 303. Put y, -1, 5 in ascending order.
-1, 5, y
Let y = -835 - -830. Sort y, -790, 0 in increasing order.
-790, y, 0
Let w = 1 - 4. Let b = -0.0122 + -4.9878. Put -2, -2/3, b, w in decreasing order.
-2/3, -2, w, b
Let o be (-338)/(-169)*2/(-4)*3. Put 31, -7, o in increasing order.
-7, o, 31
Let v = 1400 + -1401. Put 2/5, -1/6, -20, v in descending order.
2/5, -1/6, v, -20
Let g = 108 + -107. Sort 4, -0.1, g, 5 in descending order.
5, 4, g, -0.1
Let v(m) = -24*m + 581. Let g be v(24). Put 30, g, 0 in increasing order.
0, g, 30
Suppose -1 = -4*y - 4*n + 31, -3*y + 2*n + 4 = 0. Put -5, y, -8, 2 in decreasing order.
y, 2, -5, -8
Let s = 1.1 - 2.5. Let n = 1.5 + s. Sort 4/9, 0.3, n in descending order.
4/9, 0.3, n
Suppose 80 = -7*a + 94. Suppose b + 5*p + 15 = 0, -a*b = 7*p - 5*p + 14. Let d(v) = -v**3 + v**2 + v. Let i be d(2). Put b, i, 4 in ascending order.
b, i, 4
Let b = 0.01 + 1.99. Let u = 0.6 - 3.95. Let q = u - -0.35. Put q, -1/5, b in increasing order.
q, -1/5, b
Let y = -10.3 - -9.3. Sort y, 7, 26 in ascending order.
y, 7, 26
Let o = 6.19 + -6. Let z = o + -0.37. Let v = -0.68 - z. Sort -0.7, v, -1/7 in decreasing order.
-1/7, v, -0.7
Let q = -38.17 - -0.17. Let l = q - -21. Let b = 12 + l. Sort b, -0.3, -1 in descending order.
-0.3, -1, b
Let q(w) = w**3 - 6*w**2 + 5*w - 3. Let j be q(5). Let d be (-22)/(-143) - (-3 - (-5)/(10/6)). Put 4/17, d, j in descending order.
4/17, d, j
Let y(m) = 125*m**2 + m + 2. Let f be y(-1). Let p = f + -880/7. Let o = 0 + -0.5. Sort p, o, 0.
o, 0, p
Suppose 14 = q - 9. Suppose -2*i - f - q = -6*f, 0 = -5*i - 3*f - 11. Put 4, i, 3 in descending order.
4, 3, i
Let c(x) = x**3 + 8*x**2 + 10*x + 12. Let w be c(-6). Suppose -2*b + w - 22 = 0. Put 4, -1/10, 0.11, b in increasing order.
-1/10, 0.11, b, 4
Let v = -469 + 465. Sort 2, 0, v, -14 in descending order.
2, 0, v, -14
Let q be (1/10)/((-4)/10). Let z = 751/3 + -251. Sort q, z, -10 in descending order.
q, z, -10
Let v = -30.5 - -31. Let m = 0 - v. Put -2/7, m, 4 in decreasing order.
4, -2/7, m
Let w(b) = 10*b - 67. Let y be w(7). Sort 19, -3, y, 5 in decreasing order.
19, 5, y, -3
Let k(i) = i**3 + 5*i**2 + 6*i + 1. Let b be k(-4). Let p = b + 11. Let s(y) = -y**3 - 19*y**2 - 87*y + 23. Let x be s(-9). Put -5, p, x in descending order.
p, x, -5
Let z be (-2)/12 + 33/126. Suppose -5*b + 5 + 20 = 0. Suppose -2*y + 19 = -b*r, -3*r + 2*y = r + 16. Put 0, z, r in increasing order.
r, 0, z
Let a = 133.319 + 0.181. Let u = a - 134. Let f be (-6)/28*2 + 0. Sort f, u, 1/5.
u, f, 1/5
Suppose 2*c = -b + 2, -4*b - 2*c - 3*c = -8. Let z = -19 + 19.1. Sort -5, z, b.
-5, z, b
Suppose 3*v = -3*v + 72. Suppose -4*g = -0*g + v. Sort -18, g, -1 in descending order.
-1, g, -18
Let f be 9/6*(-4)/(-6). Suppose -w - w = -18. Suppose -10 = 5*g - 4*l, -4*g - w = 3*l - 1. Sort f, g, 0 in decreasing order.
f, 0, g
Let s be (-65)/(-20) - 1/4. Sort s, -0.5, 4, 5.
-0.5, s, 4, 5
Let f(z) = -z**2 - 10*z + 31. Let y be f(-12). Sort 5, -4, y, 10.
-4, 5, y, 10
Suppose 0 = -4*m + 9*m - 75. Let y = 18 - m. Put -14, y, -1 in increasing order.
-14, -1, y
Let r be ((-9)/(225/40))/(2/5). Let d = 0 + 3. Put -13, r, d in increasing order.
-13, r, d
Suppose 16*j - 19*j = -9. Let l be ((-12)/10)/(2/(-5)). Suppose 21 = 3*m - 0*x + j*x, 25 = l*m + 4*x. Put 4, 0, m in increasing order.
0, m, 4
Suppose 0 = 3*b + 3, -2*b + 4 = 23*u - 26*u. Suppose 0 = t + t + 3*g + 61, -15 = 5*g. Sort -3, u, 4, t in increasing order.
t, -3, u, 4
Let t = 6.2377 - 0.2377. Sort t, 2, -0.5, -0.4 in descending order.
t, 2, -0.4, -0.5
Suppose a = -a. Suppose -6*m + a - 18 = 0. Let d(z) = -z - 1. Let r be d(-4). Sort r, m, 0 in decreasing order.
r, 0, m
Let g = -0.2 - -2.2. Suppose 2*t + 4*c + 40 = t, -120 = 3*t + 4*c. Let r = t + 35. Sort r, g, 5 in descending order.
5, g, r
Let z be 200/(-70) + 1/7*-1. Sort 8, z, 23.
z, 8, 23
Let v(z) = 1. Let p(o) = 3*o + 18. Let a(d) = -p(d) - 4*v(d). Let y = -8 + -1. Let m be a(y). Sort -5, m, -3 in descending order.
m, -3, -5
Suppose 0 = 43*o + 286 + 15. Sort 5, 4, o, -6 in ascending order.
o, -6, 4, 5
Let f = -0.2361 + 0.0361. Let h = 4.8 - -1.2. Let z = h - 4. Sort z, 3, f in decreasing order.
3, z, f
Suppose 2*a + 6*x = x + 5, -2*a = -x + 13. Let q(w) = 2*w + 2. Let k(g) = -g**2 - g + 11. Let f be k(-4). Let j be q(f). Put 6, a, j in ascending order.
a, j, 6
Let q be (-292)/(-20) + (-2)/(-5). Suppose -2*k + 3*k + q = 5*y, 2*k = -3*y + 9. Suppose 2*d = -2*d + 8. Sort d, -2, y in descending order.
y, d, -2
Let x(h) = -194*h - 1356. Let p be x(-7). Let y be (-15)/(-12) - (-2)/(-8). Sort p, 12, y, -2 in ascending order.
-2, y, p, 12
Let h = 13.33 + -0.33. Let i = -13.04 + h. Let v = 1020/7 - 146. Put i, v, 4 in increasing order.
v, i, 4
Let p = -441/842 + 10/421. Sort p, -2, 2, -3 in decreasing order.
2, p, -2, -3
Let k be (-6)/36 - 22/12. Let v(m) = 4*m**2 + 2*m + 2. Let a be v(k). Let b = a - 14. Put 4, b, -1/5 in ascending order.
-1/5, b, 4
Let y = 614 - 614. Let i = 0.2 - 0.2. Let t = i - -7. Put t, y, -5 in ascending order.
-5, y, t
Let b = 0.033 - 2.033. Let r = 8 - 7.8. Sort r, -0.5, 2/7, b in decreasing order.
2/7, r, -0.5, b
Let t(k) = 2*k + 16. Let o be t(0). Suppose -3*g + o = -4*c, 3*g -