. Let i = 11 + c. Let n = i - 4. Put n, 3, 1 in ascending order.
1, n, 3
Let m = 9.6 + -5.6. Let d be 2 - 3 - 18/(-14). Put m, d, -1 in increasing order.
-1, d, m
Let s be (9/27)/((-2)/(-9)). Sort s, -3, -4 in ascending order.
-4, -3, s
Let b = 7 + -11. Put -0.3, -2, b in descending order.
-0.3, -2, b
Suppose 0 = o - 5*g + 10, -1 = 3*o - 3*g + 5. Put o, -1, -0.3 in descending order.
o, -0.3, -1
Let s be -2*(0 - 2/(-4)). Let t = -1.1 + 1. Let q = 5682/11 + -516. Sort t, q, s.
s, t, q
Let w = 0.35 - 0.05. Let i be -2*(-1 - -2) - -2. Put w, i, 0.1 in descending order.
w, 0.1, i
Let u = 16 + -17. Let q(s) = -s**2 - 2*s. Let y be q(-2). Put 4, y, u in ascending order.
u, y, 4
Let o = 3 - 6. Let n = o - -1. Let d be 21/60 + n/(-5). Sort 0, d, 3 in ascending order.
0, d, 3
Let s = 13 - 13. Sort 4, s, 1 in decreasing order.
4, 1, s
Let g be (2/(-8) - 1) + 1. Let q be (-4)/3*(-9)/6. Suppose -2*k + q = -4. Put g, k, 1/2 in ascending order.
g, 1/2, k
Let v(p) = p**3 + 12*p**2 + p + 12. Suppose 50 = -5*j - 5*g, -16 = 4*j + 3*g + 26. Let k be v(j). Let f be 1/1 + 0 - 2. Put -4, k, f in decreasing order.
k, f, -4
Let b(z) = 17*z**3 - z**2 + z - 1. Let c be b(1). Suppose c = 5*k + 2*v, 2*k - k = -3*v + 11. Suppose -7 = k*o - 3. Sort 2, -5, o in decreasing order.
2, o, -5
Let b(l) = 5*l - 1 + 7*l - 17*l. Let a be b(-1). Sort -1/3, 5, a.
-1/3, a, 5
Let m be (-189)/171 - (-1)/2*2. Sort -2/17, m, 1, 2.
-2/17, m, 1, 2
Suppose -2*s - 5*s = -0*s. Suppose 0*y = -y - 3. Sort -2, y, s in increasing order.
y, -2, s
Suppose 0 = -4*h + r - 4, 3*h - r + 16 = 3*r. Put -8, 2, h in ascending order.
-8, h, 2
Let r = -1.08 + 0.9. Let j = r + 0.08. Sort -2, -1, j in decreasing order.
j, -1, -2
Let y(t) = -6*t - 1. Suppose u - 2 = 3*u. Let q be y(u). Let g(x) = 6*x - 34. Let k be g(6). Put -2, k, q in decreasing order.
q, k, -2
Suppose k - 2*k - 4 = 0. Suppose -5*b + 0*b - 30 = 0. Let m be (-3)/9 - (-4)/b. Sort m, k, -5 in decreasing order.
m, k, -5
Let b be (-2)/9 + (-2220)/54. Let u = b - -42. Sort 1, -0.3, u in ascending order.
-0.3, u, 1
Let b be (-2 - 8/(-3))*6. Let n be -6*(b + 14/(-3)). Suppose -3*u - 3*f = 3, -16 + 5 = -u - 5*f. Sort 1, n, u in ascending order.
u, 1, n
Suppose 3*o - 19 = -5*v, 8*v + 5 = 3*v + 5*o. Sort -2, v, -3 in decreasing order.
v, -2, -3
Suppose 3 = -x + 1. Suppose b - 3*b = -4. Sort x, b, 1 in descending order.
b, 1, x
Suppose 19*w - 20*w = 5*v + 17, -3*v + 3 = 5*w. Sort 3, v, -21, 4 in decreasing order.
4, 3, v, -21
Let a(h) = h**3 - 14*h**2 + 7*h + 4. Let j be a(13). Let c be 1 - (-3 + j/(-16)). Put 0.5, -2/3, c in decreasing order.
0.5, c, -2/3
Let b(g) = -g**3 + 8*g**2 + 11*g - 17. Let z be b(9). Sort -7, z, -3 in increasing order.
-7, -3, z
Suppose -5*y = -5*a + 55, 0 = -0*a - 3*a - y + 49. Let b be (-1)/(-3)*a/10. Sort -2, b, 1/5 in descending order.
b, 1/5, -2
Let n be 2/(-5) + (-156)/(-15). Let z be (4/50)/((-2)/n). Sort -1/4, z, 5 in decreasing order.
5, -1/4, z
Let d = -9.5 + 10. Sort d, 2, -1/4 in descending order.
2, d, -1/4
Let c = 13 - 10. Suppose -5 = -5*t - 5*m - 0, 5 = t + 3*m. Suppose 5*f = -4*z, 5*f - 4 + 24 = 0. Put t, c, z in ascending order.
t, c, z
Let k(f) = -f**3 + 8*f**2 - 7*f + 4. Let i be k(7). Sort -3, i, 0, 2 in descending order.
i, 2, 0, -3
Let p = 9 + -12. Sort 1/5, p, 1 in descending order.
1, 1/5, p
Suppose 11*f = f - 40. Suppose -2*r + 25 = 3*r. Put f, 4, r in increasing order.
f, 4, r
Let q(g) = 2*g**3 - 2*g**2 - g - 1. Let d be q(2). Let f(a) = a**3 + 4*a**2 - 3*a + 5. Suppose -5*p - 16 = 9. Let o be f(p). Sort 1, o, d in decreasing order.
d, 1, o
Let u = 0.67 + -0.67. Sort -8, u, 3/5.
-8, u, 3/5
Let h be 3/(-2)*(-1 - -3). Let s(y) = -y + 2. Let g(f) = -1. Let c(l) = 5*g(l) + s(l). Let j be c(2). Sort h, -4, j in ascending order.
j, -4, h
Suppose 0 = 4*f - 4*h + 1 + 3, -4*h = f - 24. Suppose -f*x = -2*x + 6. Sort 4, -5, x in increasing order.
-5, x, 4
Let f be (-6)/28*8/(-6). Let c = -0.9 + 0.4. Sort f, -3, c in decreasing order.
f, c, -3
Suppose -2*v - 28 + 4 = 4*a, -2*a + v = 4. Sort a, -5, -1.
-5, a, -1
Let a = -104 + 101. Sort 3, a, 4, -4 in decreasing order.
4, 3, a, -4
Suppose 3*u - 1 = -16. Let w(m) = m**2 + 8*m + 3. Let g be w(-7). Sort u, -1, g in ascending order.
u, g, -1
Suppose -2*i - 3 = -i. Sort -1, 0, i in ascending order.
i, -1, 0
Let v(s) = s**2 + 2*s + 5. Let h be v(-5). Suppose 3*o - 21 = 3*i, -4*i - 13 = -5*o + h. Sort 0, o, 4 in descending order.
o, 4, 0
Let s = 0.3 - -0.1. Sort -0.3, s, 1 in ascending order.
-0.3, s, 1
Let a(z) = 13*z**2 - 14*z + 19. Let r = 7 + -18. Let h(c) = -7*c**2 + 7*c - 10. Let v(w) = r*h(w) - 6*a(w). Let s be v(6). Put 0, s, 4 in ascending order.
0, s, 4
Let p = -0.19 + 4.19. Put 2/5, p, 5 in descending order.
5, p, 2/5
Let h be 2/4 - (-42)/28. Put 0, h, -4 in decreasing order.
h, 0, -4
Suppose -5*g = -g. Suppose -2*h - 2 = g, -2*o + o + 10 = -5*h. Suppose 3*b + 8 = b. Sort b, o, 1 in increasing order.
b, 1, o
Suppose -4*z + 8 = -0*z. Suppose 0 = z*g - g - 1. Put -1, g, -3 in descending order.
g, -1, -3
Suppose 3 - 12 = -3*l. Put l, 0, -1, -4 in decreasing order.
l, 0, -1, -4
Let s = -51 - -31. Let m be (1/5)/(24/s). Put m, 5, 4 in decreasing order.
5, 4, m
Let s be ((-12)/8)/(1/(-2)). Put -4, 4, s, 12 in decreasing order.
12, 4, s, -4
Let y = -14 - -29/2. Sort -0.1, -4, y.
-4, -0.1, y
Let g(i) = 2*i + 11*i**2 - 5*i - 11 + 3*i - i**3 + i. Let h be g(11). Sort -5, h, 2.
-5, h, 2
Let h(c) = c - 5. Let i be h(8). Suppose -2*p + 7 = -3. Let v(t) = -t + 1. Let w be v(p). Sort w, i, 5 in ascending order.
w, i, 5
Let z be (4/(-5))/((-3)/(-15)). Let u = z + 4. Suppose 5*m = 5*s + 4 + 6, u = s. Sort -2, m, 4 in decreasing order.
4, m, -2
Suppose 0 = 3*z + 2*f + 2, 5*f = 4*z - z + 37. Sort -0.2, z, -5 in descending order.
-0.2, z, -5
Let x = -13 - -7. Let u = x - -6. Put u, -1, 4 in descending order.
4, u, -1
Let c be (0 + 1844/(-990))*-3. Let g = 60/11 - c. Let u = 5 + -7. Put 0.2, g, u in descending order.
0.2, g, u
Let p(u) = -3*u**2 - 1. Let w be p(1). Sort 15, -1, -2, w in decreasing order.
15, -1, -2, w
Let c = 11.8 + -13.4. Put -3, 3/2, 3, c in decreasing order.
3, 3/2, c, -3
Suppose 0*q - 14 = -5*q + g, 5*q = -g + 16. Let y(t) = -t**3 - 2*t**2 - t + 3. Let z be y(0). Suppose 3 = -0*w + z*w. Put -3, q, w in decreasing order.
q, w, -3
Let t(d) be the third derivative of -d**5/60 + 7*d**4/24 - 7*d**3/6 + d**2. Let q be t(6). Put 4, -5, q in increasing order.
-5, q, 4
Let r = -2.04 + 2. Let w = 5.43 + -5.63. Sort w, r, 3.
w, r, 3
Let z = -8 - -6. Suppose p = 3*p. Sort -1, p, z.
z, -1, p
Suppose -l + 0 = -1. Sort -5, l, -0.2, 2/9 in decreasing order.
l, 2/9, -0.2, -5
Let x = -0.1 + 0.6. Suppose 0 = i + 4 - 8. Let l be 3/8*(-5)/15. Sort x, l, i in ascending order.
l, x, i
Let y be (-2 - 8)*(-3)/30*-5. Suppose 0 = s + 5 - 1. Put s, y, -2 in descending order.
-2, s, y
Let y(p) = -p + 2. Let f be y(0). Let r(v) = -v**2 - 13*v - 12. Let g be r(-12). Put -5, g, f in descending order.
f, g, -5
Let j be 2/(3 + 0 + -1). Let n = -5 - -4.7. Sort j, 0.4, n.
n, 0.4, j
Let o(b) = 2*b + 7. Let c be o(-5). Let k be (2/(-12))/(c/6). Put -0.2, k, 4/9 in descending order.
4/9, k, -0.2
Let d = -60 + 60. Put 4, -3, d, -2 in ascending order.
-3, -2, d, 4
Let w be (2 - (-224)/(-108))*3. Sort 3, -7, w.
-7, w, 3
Let z(w) = -w**3 - 9*w**2 - 19*w - 3. Let u be z(-6). Sort u, -1, -33 in descending order.
u, -1, -33
Let c = 3/29 - 73/145. Sort 3, c, 0.5 in decreasing order.
3, 0.5, c
Suppose 0*n + n + 25 = 5*z, 0 = -2*z + 2*n + 18. Let w be z/10 + (-54)/60. Let v be -2 + (2 - (-1)/(-3)). Sort v, 3, w.
w, v, 3
Let u = -31/195 + 1/39. Let k = -4 - 0. Let c = -6 - k. Sort u, -4, c in ascending order.
-4, c, u
Let m = 0 - -0.2. Let i = -2.6 + -1.9. Let p = i - -5. Sort m, p, 2/9 in ascending order.
m, 2/9, p
Let w be 23/(-5) - (-11)/(165/(-6)). Put w, -3, 2 in ascending order.
w, -3, 2
Let a be (-1)/((-2)/2*1). Let x(c) = c**3 + 8*c**2 - 10*c - 10. Let q be x(-9). Let o = -6 - q. Sort 3, a, o.
o, a, 3
Let h = -3 + 4. Let p be (-18)/189 - 1/3. Sort -1/3, h, p in descending order.
h, -1/3, p
Let n be 4/(-10)*20/(-24). Let v = -0.4 - -0.3. Let s = v + -0.4. Put s, n, -1 in increasing order.
-1, s, n
Let l be (-2)/(-3) - 8/(-6). Suppose 3*g + 7 = 3*x - 5, 0 = -x + 2*g + 4. Sort l, x, 0 in descending orde