ppose 2*c - 3 = -2*j + 5, -4*c = -3*j - 16. Let g = -0.5 - -0.4. Put g, c, -0.5 in descending order.
c, g, -0.5
Let u(l) = -l**3 + l**2 + l + 2. Let r be u(0). Let n(b) = b**3 + 3*b**2 - 4*b + 3. Let o be n(-4). Sort o, -3, r in decreasing order.
o, r, -3
Let d(p) = -p - 6. Let o be d(-8). Suppose -3*s = o*s - 35. Let u = s + -4. Put u, -3, 0 in increasing order.
-3, 0, u
Let o = -3 + 2.8. Let t = -24.86 + -0.14. Let x = t - -25.3. Sort o, -0.4, x.
-0.4, o, x
Suppose p + g + 14 = 4*p, 0 = 4*p - 3*g - 17. Put 1, 3, p, -2 in ascending order.
-2, 1, 3, p
Let x(t) = -t + 7. Let y be x(5). Suppose -y - 6 = 4*s. Suppose 3*z - d + 3*d = -7, -2*d + 14 = -4*z. Sort s, 3, z in descending order.
3, s, z
Suppose 7 = 4*i - 1. Suppose -i*l - 6 = w - l, -w - 6 = -l. Sort -3, -4, w in descending order.
-3, -4, w
Let c = -186 + 83. Let h = c - -513/5. Sort 0.3, 0.4, h.
h, 0.3, 0.4
Let h = 0.02 - 2.02. Let m = h + -1. Sort -2/9, m, 0.1 in decreasing order.
0.1, -2/9, m
Suppose -1 = 3*o + k - 0, 0 = 2*k - 4. Let b = -4 - -6. Put 2/5, b, o in decreasing order.
b, 2/5, o
Let b(v) = -v**2 + 10*v + 5. Let h be b(11). Let r be 4/6 + (-20)/h. Put -5, -1, r in decreasing order.
r, -1, -5
Let n = 12 - 9.2. Let k = n + -3. Let l = 0.1 - k. Put l, 3/4, 2/5 in ascending order.
l, 2/5, 3/4
Let t = 8 + -8. Let b = 1 + 0. Let v = 1.5 - b. Put 1, v, t in decreasing order.
1, v, t
Let p = 7.8 + -4.8. Sort 1, p, 1/17 in ascending order.
1/17, 1, p
Let z = -14 - -17. Let q = 0.05 - 0.45. Sort 1/3, q, z in decreasing order.
z, 1/3, q
Let c = 9 + -9. Put c, -5, -1 in increasing order.
-5, -1, c
Let z be (-5 - -7) + (-2)/(-1). Suppose -z = -r - 1. Put 5, 0, r in descending order.
5, r, 0
Let b be ((-525)/(-27))/(-5) + 4. Sort 0.3, b, -1/5 in decreasing order.
0.3, b, -1/5
Let h = 7.24 - 7. Let n = h - 0.04. Let j = 3 + -2.9. Put -3, n, j in increasing order.
-3, j, n
Let h be (4/10)/(4/15). Let z = 1 + 3. Let s = -75 - -70. Put s, z, h in ascending order.
s, h, z
Suppose 2*d = -2*u - 6, 6*d + 3*u + 5 = 5*d. Let j = -2.6 + 3. Let p = 2.9 + -3.4. Put j, p, d in increasing order.
d, p, j
Let q = 553 - 552. Let l = 139/30 + -29/6. Sort q, l, -5.
-5, l, q
Let g = -10 + 10.4. Let o be (-2)/124*-8 - 0. Let f = -74/93 + o. Sort f, g, 0.
f, 0, g
Let w = 5.5 - 1.5. Put w, 1/2, 0.4 in descending order.
w, 1/2, 0.4
Let n be -1*1 + 8/16. Let c = -3.6 - -4. Put 3, c, n in ascending order.
n, c, 3
Let o = -30 + 19. Let k = 7 + o. Put -2, -0.2, k in increasing order.
k, -2, -0.2
Let m = -6.4 - -6. Suppose -3*d - 14 + 5 = -5*s, -4*s + 20 = 4*d. Let q = -3 - d. Sort m, -1/2, q.
q, -1/2, m
Let u = 53/14 - 30/7. Sort 0.05, 0, u, -0.2 in decreasing order.
0.05, 0, -0.2, u
Let a be (3/4)/(4/16). Suppose 2*y = -3*n + 4, -5*n - a*y + 2*y + 2 = 0. Let v = 3 - 3.3. Sort n, 2/5, v.
v, n, 2/5
Let m = 1/114 + 223/570. Let z = 0.01 + -5.01. Sort -0.5, z, m.
z, -0.5, m
Suppose 4*u + 4*g = -12, -u - 3*u = 5*g + 15. Let w be 6 - 1 - u/(-2). Suppose -4*n = -w*n. Put -4, n, 3 in descending order.
3, n, -4
Let n be 0 - (-6)/(-72)*-4. Let w = -7.62 + 0.72. Let r = -0.9 - w. Put -1, n, r in descending order.
r, n, -1
Let a(n) = -n**3 - n**2 - 2. Let j be a(0). Let y(c) = -4*c**2 - 24*c - 5. Let r be y(-6). Sort -4, r, j in ascending order.
r, -4, j
Suppose -5*r = -8*r + 5*n - 40, r - 5*n = -10. Put r, -6, 4 in increasing order.
r, -6, 4
Let w be 4 + -2 + -11 + 0. Let b be (-2 - (-15)/9)*w. Sort b, -1, -3 in decreasing order.
b, -1, -3
Suppose g + 8 = 2*j, -4*j = 4*g - 2 - 2. Let q be 7/(-2) + 3/6. Sort -2, q, j in ascending order.
q, -2, j
Let u = 11 - 13. Let l = 2 + u. Suppose 0 = 3*b + 9 + 3. Sort -1, b, l in decreasing order.
l, -1, b
Suppose 4*u = -0*u + 20. Suppose -5*y - 32 = -4*h, 5*h - 3*y = -6*y + 3. Suppose 3 = -h*i + j + j, -4*i - 4*j = 24. Sort i, -1, u in ascending order.
i, -1, u
Let q(b) = -4*b**3 + 7*b**2 - 5*b + 2. Let c(f) = -5*f**3 + 8*f**2 - 6*f + 2. Let h(z) = 5*c(z) - 6*q(z). Let p be h(-2). Put 4, 1, p in descending order.
4, 1, p
Let x = 3 + -3. Let n = x + 3. Suppose 3*w + 0*p = -4*p - 7, -2*w = -n*p + 16. Sort w, -1/8, -0.1 in descending order.
-0.1, -1/8, w
Suppose 4*a + 12 = 4*c, -4*c + 0*a + 10 = -2*a. Let f = 12 - 7. Sort c, 1, f.
1, c, f
Suppose 28 - 7 = -7*j. Sort j, 4, -0.4 in ascending order.
j, -0.4, 4
Let g = 6 - 6.3. Let v = 106720 - 4802197/45. Let z = v - 46/9. Put g, z, -2 in increasing order.
-2, z, g
Let p(x) = x - 1. Let k be p(3). Let v(l) = l - 1 - 2 + 5 + 3. Let m be v(-8). Sort k, 1, m.
m, 1, k
Let c = 16 + -13. Suppose -v = -3*y + 6, v + 0*v = -2*y + 4. Put c, -1, v in decreasing order.
c, v, -1
Suppose -4*q + 3*p + 2*p = 2, 5*q = 5*p. Suppose 0 = 2*s - 4*w + w + 13, 2*s - w + 11 = 0. Sort s, q, 3.
s, q, 3
Let w = 0.5 + -0.98. Let f = -0.08 - w. Sort 1, -5/2, f in ascending order.
-5/2, f, 1
Let p be (1 - (2 + -4)) + 2. Put 0, -1, p in increasing order.
-1, 0, p
Let d(n) = n - 1. Let w be (-8 - -10)*(0 - 1). Let f = 2 + w. Let a be d(f). Put -3, 5, a in increasing order.
-3, a, 5
Let x(t) = -9*t - 51. Let w be x(-6). Put 2, 1, w in decreasing order.
w, 2, 1
Let w = -6 - -8. Let l(u) = -3*u + 11. Let h be l(4). Sort -2, w, h in ascending order.
-2, h, w
Suppose 0 = d + 3*d - 5*j - 32, -3*j - 12 = 0. Put 2, d, -2, 4 in decreasing order.
4, d, 2, -2
Suppose 0 = -4*c - 3 - 5. Suppose -2*u - 3 = -11. Put -4, c, u in descending order.
u, c, -4
Let y(h) = h**3 - 9*h**2 + 8*h - 14. Let t be y(8). Put -1, t, 3, 2 in decreasing order.
3, 2, -1, t
Let j be (-66)/14 + 2/(-7). Put -0.5, -0.3, j in descending order.
-0.3, -0.5, j
Let p = -289/6 + 48. Put -0.1, p, 0 in ascending order.
p, -0.1, 0
Suppose 3 = n + 2*n. Suppose 3*o + 13 = -3*l + 7*l, -4*l + 2*o + 14 = 0. Put n, -4, l in decreasing order.
l, n, -4
Let f = 0 - -0.3. Let k = f - 7.3. Let n = k + 4. Sort -0.1, 1, n in decreasing order.
1, -0.1, n
Let q = 0.3 + -0.1. Let r = q + 0. Let j = 128 - 132. Put r, j, -3 in increasing order.
j, -3, r
Let v be (-2)/4 - (-225)/(-50). Sort -9, v, -1, -4.
-9, v, -4, -1
Let g = -15 - -14.64. Let i = -0.03 + 0.09. Let c = i + g. Put 1, c, -3 in increasing order.
-3, c, 1
Let w(m) = -m**3 + 4*m**2 - 3*m + 4. Let r be w(3). Let q(l) = 4 + 2 + 2*l - 4 - l. Let j be q(0). Sort r, -2, j in decreasing order.
r, j, -2
Suppose -4*r = -0*r + 8. Sort -1, -3, r in descending order.
-1, r, -3
Suppose 0 = -3*i + 2*t - 1, 0 = -i - 3*t + 3 - 7. Sort 4, -2, i in decreasing order.
4, i, -2
Let u = -51.5 - -51. Sort 2, -3, u in descending order.
2, u, -3
Let w(f) = -3*f - 22. Let h be w(-6). Let x = 6.2 + -6. Sort h, x, -0.1 in descending order.
x, -0.1, h
Suppose 4*d - 2*l = -5 + 21, 0 = 2*d + l. Sort d, 0, 3.
0, d, 3
Let g = -0.09 + -4.41. Let k = 4 + g. Sort -0.4, 4, k.
k, -0.4, 4
Let c = -14 - -14.8. Let g = c + 0.2. Put g, 5, -1 in descending order.
5, g, -1
Let l = -176 + 171. Sort 3, l, 2 in descending order.
3, 2, l
Let s = -5/21 + 4/7. Let i = -30 + 31. Put i, s, -2/19 in decreasing order.
i, s, -2/19
Suppose 0 = 3*c + 2*c + 25, 2*n - 17 = 3*c. Let r = -7 - -4. Sort r, n, -4 in increasing order.
-4, r, n
Let k be 2/(-4) + 11/30. Let r = 5 + -4.5. Let z = -0.1 + r. Put -3/4, k, z in descending order.
z, k, -3/4
Suppose 2*v - 52 = -2*v. Suppose -v = 2*u - 9. Suppose 2*b = -0*b. Sort -4, u, b.
-4, u, b
Suppose 2*k = 9 - 7. Suppose 5*n = 4*a - 17, 4 = 2*n - 0*n + 2*a. Suppose 0*x - 3*x - 14 = 5*u, x - u = 6. Sort x, n, k in descending order.
x, k, n
Let l = -0.8 - -1. Let z = -28.5 - -29. Sort 0.1, z, l in increasing order.
0.1, l, z
Let d = -1.1 - 0.9. Let u = -0.5 - -1. Let n = 1 - u. Sort -3/2, d, n.
d, -3/2, n
Let v = 0.6 - 0.2. Let c(l) = -30*l**3 + l**2 + 2*l + 3. Let i be c(-2). Let s be 3*3/i*6. Sort s, -2, v in increasing order.
-2, s, v
Let f = -2 - 3. Sort -2, f, 1 in decreasing order.
1, -2, f
Let q = 39 + -35. Put 3, 3/7, q in decreasing order.
q, 3, 3/7
Let d be 35/15 + 2/(-6). Let c be d + -3*21/45. Sort 0.5, 2, c in decreasing order.
2, c, 0.5
Let m = -1.35 + 1.35. Put -2, -3, -2/15, m in ascending order.
-3, -2, -2/15, m
Let y = 60 + -59.5. Sort y, -0.2, 0.06 in increasing order.
-0.2, 0.06, y
Let c(n) = 2*n**3 - 41*n**2 - 21*n + 3. Let x be c(21). Suppose -u + 50 = -6*u. Let j = -15 - u. Sort -3, x, j in ascending order.
j, -3, x
Let h = -0.8 - -0.3. Suppose 2*u + 4*l - 140 = 0, u 