= 17 - 13. Let x(r) = r**3 + r**2 + r + 3. Let c be x(0). Sort g, c, 1.
1, c, g
Let c be (-4)/6 - 13/(-15). Let v = 16 + -18. Let k = 129 - 128. Put k, c, v in descending order.
k, c, v
Let m(c) = 16*c - 32. Let i be m(3). Let q = 15 - i. Sort q, -4, -9 in decreasing order.
q, -4, -9
Let s(o) = -2*o**3 + 3 + 7*o**2 - 10*o**2 + o**3 + 12*o**2 + 9*o. Let i be s(10). Let p(x) = -x**2 - 6*x + 7. Let b be p(i). Sort 4, b, 2 in ascending order.
b, 2, 4
Suppose 10 = h - 5*q, q + 8 = 3*h - 8. Put -5/3, -5, h, 3/8 in decreasing order.
h, 3/8, -5/3, -5
Let v = 0.3 - 1.3. Let m = v - -2. Let z = m - 1.1. Put 3, z, 0.2 in ascending order.
z, 0.2, 3
Suppose p = 2*q - 11, -8*p = -3*p + 3*q - 10. Put 5, -2, p in ascending order.
-2, p, 5
Let n be 3 + 35/(-11) - (-512)/(-88). Sort 31, n, -5 in descending order.
31, -5, n
Let h(g) = 3*g + 35. Let d be h(-13). Let s be (-5)/d*(-8)/(-20). Sort -5, s, -5/4 in descending order.
s, -5/4, -5
Let w(y) = -2*y - 1. Let m be w(-2). Let h be m/(-9) + (-8)/(-6). Let z be 1*(-3)/5*h. Put -3, z, -1 in decreasing order.
z, -1, -3
Let b be (-6)/(-4)*1896/(-36). Let p = b + 80. Put 2, -5, 3, p in decreasing order.
3, 2, p, -5
Suppose -19*v + 17*v + 192 = 0. Let j = v - 91. Sort -1, 4, 1/6, j in descending order.
j, 4, 1/6, -1
Suppose -9 = 2*h - 3*s, h - 5*h + 3*s = 27. Let o(l) = 8*l + 67. Let c be o(h). Sort c, -2/3, -2/19, -1/6 in decreasing order.
-2/19, -1/6, -2/3, c
Suppose 4 = 3*j - 38. Suppose 4*d + 2 - j = 0. Sort 16, 2, d.
2, d, 16
Let y = -246 - -245.9. Sort 1/4, y, 0 in decreasing order.
1/4, 0, y
Let r = 3 - 2.5. Let o = 458.91 - 458.9. Sort r, o, -5.
-5, o, r
Let m(a) = -63*a + 64. Let q be m(1). Suppose 4*s = s - 3. Sort 8, q, s in decreasing order.
8, q, s
Let l = -0.1572 + -0.0528. Sort -1/6, l, -1, -3 in ascending order.
-3, -1, l, -1/6
Suppose 5*x - 2*g - 840 = 0, -3*g = -5*x - 6*g + 840. Let d be (-8)/x + (2 - 10/6). Let m = -0.1 - -0.1. Sort d, m, -0.02.
-0.02, m, d
Let p = 201 - 197. Sort 3, -1, p, 2.
-1, 2, 3, p
Let d = 26/3 - 8. Let k = -71 + 66. Sort d, 6, -0.5, k in increasing order.
k, -0.5, d, 6
Let r = -0.608 - -2.608. Sort 1, r, -4, 97 in decreasing order.
97, r, 1, -4
Let c = -165 - -170. Sort c, 2, 0, 3.
0, 2, 3, c
Suppose 0*t + 7*t = 0. Suppose 5*y + 4 = 2*p + p, 2*p - 6 = t. Sort 3, y, -4 in decreasing order.
3, y, -4
Suppose -4*q - 20 = -9*q. Suppose -3*k - 23 = 2*c - 0*c, 0 = -c + 3*k + 11. Sort 0, q, c in descending order.
q, 0, c
Let j(z) = 4*z**2 - 2*z + 1. Let u be j(-2). Suppose -4*p = -u + 1. Suppose 0 = p*y + 10, d + 4*y = 6*d - 28. Put -5, d, -1 in descending order.
d, -1, -5
Let c(w) = -w**2 - 9*w - 12. Let l be c(-6). Suppose 4*t + 6 + 9 = j, 3*j = -t + l. Let x be j/18 + (-13)/6. Sort -1, x, 3 in decreasing order.
3, -1, x
Suppose 40*r = 36*r + 12. Let k be -3 - (-3)/(r + 0). Let a be 14/(-4) + (-3)/(-6). Sort k, a, 5.
a, k, 5
Let t = 114 + -33. Let k = t - 84. Put k, 1, -7 in decreasing order.
1, k, -7
Let o be -2 + 176/36 + 10/(-45). Sort 2, -0.2, -0.3, o in decreasing order.
o, 2, -0.2, -0.3
Suppose 3*s + p = -94, 3*p = -s - 0*s - 34. Put -4, -1, 0, s in descending order.
0, -1, -4, s
Let r be 5 + (1 + -1 - 0). Let k(j) = -6*j + 29. Let v(o) = -o**2 - 9*o - 15. Let z be v(-4). Let s be k(z). Sort s, r, 2.
s, 2, r
Let z = 0.7 + 24.3. Let m = z + -24.7. Sort -1, m, 1/4 in ascending order.
-1, 1/4, m
Suppose -24*b + 13 = 37. Suppose -3*y - 2*x = 19, 5*x + 9 + 13 = y. Let h be ((-6)/(-9)*y)/(-3). Sort h, b, -2 in decreasing order.
h, b, -2
Let d = -24 - -26. Suppose -z + 3*j + 6 = z, -2*z = -j - 2. Suppose 4*n - 2*u + 26 = z, 4*n + u + 23 - 6 = 0. Sort d, n, 0.3 in decreasing order.
d, 0.3, n
Let m = -170 + 170.8. Sort 4, m, -4, 5 in descending order.
5, 4, m, -4
Let z(n) = -n + 8. Let c be z(5). Let r = 13 - 12. Let f be r + -4 - 13/13. Sort c, -5, f in descending order.
c, f, -5
Suppose 2*q + 3*v - 8 = -2*q, 0 = 5*v. Suppose o = -4*l - 7, -q*l - 16 = -o - o. Let u = l - 2. Sort 2, u, -7 in increasing order.
-7, u, 2
Let g = 1.363 + -1.4. Sort -3, -2, -5, g in ascending order.
-5, -3, -2, g
Suppose 3*q = t - 1, -q = 3*t - 6 + 3. Put 4, -38, q in descending order.
4, q, -38
Suppose -364 = -2*s + 202. Let m = 1421/5 - s. Put 1/3, m, -1/5 in increasing order.
-1/5, 1/3, m
Let g be (-190)/76*1/(5/(-2)). Sort -2, 0.07, g in increasing order.
-2, 0.07, g
Suppose -5*l - 14338 = -2*q, -5*q - 2*l + 35799 = -3*l. Let g be q/(-21) - (1 - 0). Let u = -342 - g. Sort 0.2, -0.4, u in decreasing order.
0.2, u, -0.4
Suppose r - 4*r - 4*x = 4, -x + 2 = 0. Suppose -f + 4 = f. Suppose 2*m - 4 = 4*j - 0*m, 3*j = -f*m - 3. Sort j, 2, r.
r, j, 2
Let m = -183 + 181. Sort 4, m, 21.
m, 4, 21
Let d be (1 + -10)*(-18)/27. Let x = -32 - -31. Put d, -4, 2, x in increasing order.
-4, x, 2, d
Suppose -z + 11 = q, -4*z + 48 = -2*q - 14. Suppose 2*k + 5 = -1. Put 2, 1, k, z in descending order.
z, 2, 1, k
Let s = -73 - -4. Let f = s - -73. Sort f, 8, 4/7, -4/5 in ascending order.
-4/5, 4/7, f, 8
Suppose 0 = -2*q - 0*n - 4*n + 320, n = 4*q - 595. Suppose -i + 4*o = 171, 2*i + 3*o + q = i. Let t be (4 - i/(-27)) + 2. Put t, -10, -5 in decreasing order.
t, -5, -10
Suppose -4*b - 6*l - 18 = -l, 6 = -b - 2*l. Put 0, -1, b in decreasing order.
0, -1, b
Let h(k) = -k**3 + 14*k**2 + 16*k + 9. Suppose 4*i = 3*i + 15. Let p be h(i). Let u = p - 21. Put 4, u, 0 in increasing order.
0, u, 4
Suppose 4*t + 166 = 506. Let c = -80 + t. Sort -4, -5, 5/4, c in decreasing order.
c, 5/4, -4, -5
Let y(j) = -j**3 - j**2 - j + 1. Let a be y(0). Let w be (-1 + 2 + 1)*a. Let g be 210/42 - (7 - (3 - 2)). Sort 5, g, w in descending order.
5, w, g
Suppose -5*k - 3*s - 16 = -11, 0 = 5*k + s - 5. Sort 3, k, -2, -16 in descending order.
3, k, -2, -16
Let l = 18.2 + 2.8. Let q = -19 + l. Let m be 3/5 + 2/(-5). Put 0, q, m in ascending order.
0, m, q
Let u = 8 + -50. Let m = 45 + u. Sort 0.5, -0.1, m in descending order.
m, 0.5, -0.1
Let s be ((-6 + 7)/(-5))/((-2)/10). Sort -5, 9, s, 2 in descending order.
9, 2, s, -5
Let u = -8.5 + 7. Let y = 0.5 + u. Let z = 3.3 - 2.8. Put y, 1/3, z in increasing order.
y, 1/3, z
Suppose 0 = -5*p - f - 2*f + 13, 0 = -2*p - 3*f - 2. Let q = 554 + -559. Put -4, p, q in decreasing order.
p, -4, q
Let i be (0 - (-3)/(-3))*-2. Let f be 10/25 + 176/10. Let o = f + -15. Sort i, 1, o in descending order.
o, i, 1
Let p(o) = -o**3 - 2*o**2 + 13*o - 12. Let u(c) = -9*c - 5. Let r be u(0). Let z be p(r). Sort -6, 2, z in increasing order.
-6, z, 2
Suppose 3*g + 5 = -16. Let y = g + 10. Suppose 3*x + y = 6. Sort -2, -3, x in descending order.
x, -2, -3
Suppose 0 = -2*r + 2. Suppose w - 3 = -r. Let u be (1 - -8) + (3 - -2 - 8). Put u, w, 0 in increasing order.
0, w, u
Let g = 14.76 - 15. Let h = g - -2.29. Let j = -0.05 + h. Sort 0.5, j, -3/5 in descending order.
j, 0.5, -3/5
Suppose -106 = -z - 107. Put 4, 12, z in descending order.
12, 4, z
Let w = -15.6 - -15.7. Sort w, -1, -0.3 in decreasing order.
w, -0.3, -1
Let q be (-20)/150 - ((-388)/(-15) + 4). Sort -5, q, -4.
q, -5, -4
Let j(u) = 5*u + 6 - u - u + 0*u. Let r be j(-2). Suppose 2*k - 7 = s, -k - 3*k = 2*s - 18. Sort r, k, 1 in decreasing order.
k, 1, r
Suppose -2*l = -0*l - 38. Suppose 8*q - 13 = l. Suppose -q*t - 3 = -t. Sort 2, t, 5 in ascending order.
t, 2, 5
Suppose 4*h = -5*n - 4, 15*n + 4*h = 11*n - 4. Put 4, 8, 6, n in decreasing order.
8, 6, 4, n
Let t = 50 + -14. Let j = t - 34. Let x be 3/1 + -5 - 3. Sort j, -2, x.
x, -2, j
Let r be -2*((-4)/5)/(10/25). Let j be (-2)/6 + 4/(-6). Sort j, 2, -3, r in descending order.
r, 2, j, -3
Let u(r) = r**2 + 30*r - 5. Let z be u(-30). Sort -2, z, 18, 1.
z, -2, 1, 18
Let r = -21.566 + 0.066. Let u = -21 - r. Sort -8, -3, u, 0.3 in decreasing order.
u, 0.3, -3, -8
Suppose 4*n + 2*f = 48, -5*f + 8 = 5*n - 57. Put -2, n, 5, 2 in increasing order.
-2, 2, 5, n
Suppose -3*w = 4*y - 20, -12 = -4*w - y + 3*y. Suppose l + 14 - 20 = 2*g, -6 = 3*l. Sort g, 1, w in increasing order.
g, 1, w
Suppose 3 = j - 5*h, 2*j + 4*h = -j + 9. Let w(p) = -189*p + 749. Let z be w(4). Put -1, z, j in increasing order.
z, -1, j
Let q = -27 + 32. Sort -1, 2/11, q, 0.4 in decreasing order.
q, 0.4, 2/11, -1
Let z(l) = l**3 + 5*l**2 + 2*l - 5. Let p be z(-4). Let a be (30/(-9)*p)/(-2). Sort -4, -1, a in descending order.
a, -1, -4
Let t = 36 + -32