- 17. Sort g, 1, -4 in decreasing order.
1, g, -4
Let h = -2 + 12. Suppose 2*a - 4*i - h = 0, 0*a - 2*i + 15 = 3*a. Let z be (4/(-6))/(6/9). Put 0, a, z in increasing order.
z, 0, a
Let d = -5 - -8. Sort 0.6, -5, 1, d in ascending order.
-5, 0.6, 1, d
Let h = 71 + -68. Let w = -2.1 - -2. Sort h, w, 1.
w, 1, h
Let p = -0.7 - -0.4. Suppose 0 = 5*g - 37 - 3. Suppose 0 = 4*y - 0*y - g. Put 0.4, y, p in descending order.
y, 0.4, p
Let u = 72 + -75. Put u, 0.2, -1/3, 11 in descending order.
11, 0.2, -1/3, u
Let b(a) = a**2 + 11*a + 11. Let t be b(-9). Sort -4, t, -5.
t, -5, -4
Let x be (-72)/45*(-1)/2. Put x, -0.5, -4 in decreasing order.
x, -0.5, -4
Suppose -i - 2*r = -6, 3*r + 12 = i + 31. Let m be 8/(-1)*2/(-4). Let n = 6 - m. Put i, n, 1 in increasing order.
i, 1, n
Let p = 1.7 + 2.3. Let u be (3/1)/((-60)/(-16)). Let j = -232/5 - -46. Sort j, u, p in increasing order.
j, u, p
Let i be 30/7 + 6/(-21). Put 0, 3, i in descending order.
i, 3, 0
Let d be 8/(-5)*15/6. Let v = -10 - -5. Sort -1, v, d in increasing order.
v, d, -1
Let o = -0.5 - 4.5. Let s = -20.8 - -21. Sort s, 2, o in decreasing order.
2, s, o
Let u(x) = -3*x**3 + x**2 + x + 1. Let f be u(-1). Suppose -2*b = 1 + 7. Suppose -a + 4*a + 4*l = -23, 4*a + 14 = -2*l. Put f, b, a in descending order.
f, a, b
Suppose 3 = y - 2*y. Sort -4, y, 0, -5 in increasing order.
-5, -4, y, 0
Let v = 13 + -12. Let o(w) = w**3 + w + 1. Let b be o(-1). Sort -3, b, v in decreasing order.
v, b, -3
Let c = 258/5 - 52. Put -0.3, c, 1 in increasing order.
c, -0.3, 1
Let b be (6/21)/((-2)/(-4)). Let j = 43 + -43.4. Put j, -0.5, b in decreasing order.
b, j, -0.5
Let s = -0.4 - 0. Let f = 4711/5 - 942. Sort f, s, -0.3 in descending order.
f, -0.3, s
Suppose -4*t - 5 = t. Put t, -5, 1 in decreasing order.
1, t, -5
Let t(h) = 2*h + 6. Let c(d) = d + 6. Let a(z) = 3*c(z) - 2*t(z). Let v be (-3)/(22/(-8) - -2). Let i be a(v). Sort i, 2/9, 2/7 in descending order.
i, 2/7, 2/9
Let r(w) = -w - 1. Suppose -2*m - 6 = 6. Let g be r(m). Let a be (-3 + 1)*g/10. Put a, -2, 5 in increasing order.
-2, a, 5
Let p = 2 - -1. Sort 2/11, -2, p in increasing order.
-2, 2/11, p
Suppose -2*n = -5*x - 15, -n + 4 = 5*x + 34. Let k be -2 + 2 - (-1 + 0). Let m be k - 15/6 - -1. Sort -1/5, m, x.
x, m, -1/5
Let h(q) = 5*q**2 - 1. Let g be h(-1). Let f = -222 - -227. Sort g, f, -2.
-2, g, f
Suppose 1 = 2*h + 3. Let x be 10*(8/(-5))/4. Put h, 5, x in increasing order.
x, h, 5
Suppose -5*d + 8*d = 6. Let f be (-10)/(-15) - (-42)/(-9). Put -3, d, f in increasing order.
f, -3, d
Let a = -59 - -59. Sort 5, a, -4, -5 in decreasing order.
5, a, -4, -5
Let v(t) = -2*t + 10. Let z be v(5). Sort -2, z, -4 in increasing order.
-4, -2, z
Let z be -2 - (1 + 1 - 5). Suppose z = -2*y - 3. Sort 2, 0, y in decreasing order.
2, 0, y
Let w = -1 - 1. Let v be ((-20)/(-28))/((-40)/(-16)). Sort w, 3/8, v.
w, v, 3/8
Let a = 24 - 14. Suppose 7*k - 2*w - 36 = 2*k, 5*w + 15 = 0. Suppose k*l + a = l. Sort -3, 1, l in increasing order.
-3, l, 1
Let w = 7.8 + -10. Let u = w + 0.2. Sort u, -3, 4 in decreasing order.
4, u, -3
Let l be 18/(-15)*15/6. Suppose -2 = -6*m - 14. Let j(n) = n + 5. Let o be j(-4). Put l, o, m in descending order.
o, m, l
Let x be ((-2)/4)/((-9)/18). Sort -4, x, 3.
-4, x, 3
Let z = 0.08 - -0.12. Sort z, 43, -5, -2 in descending order.
43, z, -2, -5
Let b(m) = m + 10. Let a be b(-7). Let x be 15/(-28) - a/12. Let y = x + 9/7. Sort -0.2, y, -4 in decreasing order.
y, -0.2, -4
Let z = -2.4 - -0.4. Sort -0.7, 0, z in decreasing order.
0, -0.7, z
Let i = 20 - 21. Let d be -1 + 93 + (-2 - -1). Let q = d - 458/5. Put i, q, -0.4 in decreasing order.
-0.4, q, i
Let t = 27 - 28. Sort -10, 2/3, t in descending order.
2/3, t, -10
Let r be 0/2 - 3/(-3). Let y(o) = 4*o**2 + o. Let j be y(r). Suppose -5*p + 10 = -0*p - 2*s, -5*s = 0. Sort 0, p, j in descending order.
j, p, 0
Let f be ((-9)/(-6))/((-2)/(-12)). Suppose -5*d + f*d = 0. Put d, 3, -2 in decreasing order.
3, d, -2
Let a = 0 - -1. Suppose -2*l - 5 = -7*l. Suppose -2*p + a = -l. Put -1, 4, p in increasing order.
-1, p, 4
Let i = -7.9 - -6.9. Put 0.5, i, -3, 0.4 in increasing order.
-3, i, 0.4, 0.5
Suppose -3*w + 2 = -2*w. Suppose -w*t = -7*t - 5*l, -4*l = 20. Sort t, 2, 1.
1, 2, t
Suppose 4*h + 3*j - 1 = -20, -j = h + 6. Let s be 5*2/(h + -1). Let t = -5 + 3. Put -1, s, t in descending order.
-1, t, s
Let o be ((-4)/(-18))/(-2 + 1). Let r = -1.11 - -0.11. Put -3, r, o in descending order.
o, r, -3
Let b be (-2)/14 + ((-25)/35 - -1). Put -3, -3/2, b in decreasing order.
b, -3/2, -3
Let y = -16 - -21. Put -1, -5, y in increasing order.
-5, -1, y
Let q be -5 - (-1)/((-1)/(-1)). Suppose -2*c = -4*c. Put q, c, 4 in decreasing order.
4, c, q
Let x be 1/(-1) - (3 + -11). Let h be (-6)/4 + x/14. Sort h, -4, 11 in descending order.
11, h, -4
Let r be ((-1)/2 - 0)*8. Let j be 74/14 - (-44)/(-154). Sort j, r, -5.
-5, r, j
Let t = 1.04 + -0.04. Let h(w) = w**2 + 6*w + 2. Let q be h(-5). Let p be 1 - (5 + q)/(-6). Sort 0.1, t, p in increasing order.
0.1, t, p
Let r be 15/21 - (-2)/7. Let q = -5 + r. Sort 3, q, -1 in decreasing order.
3, -1, q
Let i be (-2)/9 - (-602)/(-126). Put -22, i, -3 in decreasing order.
-3, i, -22
Let r = 6 - 4. Suppose r*d - 8 = -2*f, -2*d - 27 = -5*f - 0*d. Put -3, 1, f in ascending order.
-3, 1, f
Suppose 0*n + 15 = 3*n. Let q(t) = -3*t - t - 2 + n. Let w be q(2). Sort w, 1, 2 in descending order.
2, 1, w
Suppose 6 = -3*v + 3*j, 5*j - 19 = -4. Let m(c) = -5*c**3 + 2*c**2 - 2*c + 1. Let x be m(v). Let t = 3 + 2. Put t, -3, x in ascending order.
x, -3, t
Let b = 19 + -24. Let s = 27/8 - 143/40. Put -4, b, s in ascending order.
b, -4, s
Suppose 0 = -3*v - v + 732. Let p = v - 1277/7. Put 4, -3, p in decreasing order.
4, p, -3
Let d = -0.1 - -0.1. Let y = -0.1 - d. Let k = 9 - 12. Sort y, k, 5 in decreasing order.
5, y, k
Suppose 19*g + 13 = 6*g. Put -4, -3, g, 4 in descending order.
4, g, -3, -4
Let w = 119 - 121. Sort 0, w, 2, -5 in ascending order.
-5, w, 0, 2
Let m = 0.03 - -0.97. Let n = -0.3 + 0.4. Put 3, n, m in decreasing order.
3, m, n
Let q = 0 + -0.4. Let p = 30.46 - 30. Let l = p - -0.04. Sort q, 2, l.
q, l, 2
Let x be (-4)/12*3 - -1. Let h(s) = 2*s - 5. Let t be h(4). Suppose -3 = r - 2. Put r, x, t in decreasing order.
t, x, r
Let l = -15 - -6. Sort -3, -4, l.
l, -4, -3
Let g be (-4)/6 - 234/(-27). Let s be (-6)/g + (-4)/(-4). Sort -0.2, s, -0.3 in ascending order.
-0.3, -0.2, s
Let d be 51/(-15) + 12/(-20). Let o be ((-4)/(-6))/(6/27). Let r(n) = -n**2 + 7*n - 8. Let k be r(6). Put o, d, k in descending order.
o, k, d
Let c = 2 - 3. Let w = 8.7 + -8.8. Put c, w, -1/2 in decreasing order.
w, -1/2, c
Let l be ((-27)/(-30))/(42/(-70)). Let f be ((-3)/(-2))/((-3)/(-18)). Let p be ((-1)/(-6))/(6/f). Put l, p, 3/4 in decreasing order.
3/4, p, l
Let l be 1 + (-1)/(1*2). Let r = 134/195 + -4/195. Let s = 3.01 - 0.01. Sort r, s, l.
l, r, s
Let d(n) = 2*n**2 - 2*n - 1. Let h be d(2). Let s = h - 8. Let r be (2/s)/(32/(-20)). Sort r, -0.4, -0.5 in decreasing order.
r, -0.4, -0.5
Let w(z) = -z**3 - 5*z**2 - 3*z. Suppose h + 5*s + 24 = 0, h + s = 6*s + 16. Let c be w(h). Put -3, -5, c in decreasing order.
-3, c, -5
Let l(i) = i + 2. Let m be l(-2). Suppose 0 = -m*r + r. Suppose 0 = -2*q - r*q - 8. Sort q, 3, -5 in descending order.
3, q, -5
Suppose 0 = 2*v - 5*k - 24, -2 + 14 = -2*v - 4*k. Put -5, v, -2 in descending order.
v, -2, -5
Let l = 90/13 + -502/65. Let b = 127/2 + -61. Put b, l, -0.4 in descending order.
b, -0.4, l
Let g be 3/((-2)/4 - -2). Suppose 2*p = -0*p - g. Let w be (p/(-8))/(4/(-8)). Sort -2/7, w, -1 in increasing order.
-1, -2/7, w
Suppose 2*s + 0 - 26 = 0. Suppose -5*a - 2*q + 9 = 0, a - 5*q + s = 4. Put -4, a, -1 in ascending order.
-4, -1, a
Let y = -0.3 - 0.7. Let c = -1 - y. Let u be ((-28)/49)/((-4)/(-14)). Put c, u, 1/2 in descending order.
1/2, c, u
Let b = -10 - -16. Let u be (b/3)/((-4)/(-2)). Sort u, 0, 2/9 in ascending order.
0, 2/9, u
Let c be (-12)/20*2/(-3). Let i = -165/8 + 17/8. Let n = -18 - i. Sort 0.3, c, n in descending order.
n, c, 0.3
Suppose y + 8 - 1 = 3*h, 2*h + 18 = -5*y. Let k = h + 8. Suppose -4*s + 26 = -5*v, -3*v - 9 = -3*s + k. Put -2, s, 5 in ascending order.
-2, s, 5
Let u = -2 - -2.1. Let x = 0.61 - 0.16. Let h = -0.05 + x. Put u, h, 