et y be (-4 - -2)/(24/(-36)). Sort c, y, -2.
-2, c, y
Let r = -178.7 - -158. Let x = -21 - r. Sort x, 0.06, 2 in decreasing order.
2, 0.06, x
Let j(z) = -z**3 + z - 7. Let h be j(0). Let u = 3 + h. Let k be (-2)/((-3)/(6/4)). Put u, k, 4 in descending order.
4, k, u
Let k(t) = t**3 - 4*t**2 + 4*t + 1. Let s be k(3). Let d = s - 6. Suppose 0 = 2*f - y - 8, 0 = f + f - 2*y - 6. Sort d, f, 1.
d, 1, f
Let t(j) = -j**3 + 4*j**2 + 2*j - 5. Let z be 5/1*8/10. Let l be t(z). Suppose y - 4 = l*y + 3*n, 2*y - 10 = 4*n. Put 2, 3, y in increasing order.
y, 2, 3
Let n be 6/60 - 4/8. Put n, -0.5, 2 in increasing order.
-0.5, n, 2
Let z = 1 - 0. Let k be (-22)/(-12) - z/(-6). Let o be 5/(-2)*k/(-30). Sort o, 0.1, 2/9 in descending order.
2/9, o, 0.1
Let s = 1 + 1. Put s, 1/3, 2/3 in decreasing order.
s, 2/3, 1/3
Let l = 7 + -5. Let b = -37/2 + 19. Put l, 0.1, b in descending order.
l, b, 0.1
Suppose 0 = -19*o + 6*o + 39. Suppose 0 = -4*k + 5*p + 39, 5*p + 11 = 3*k - 22. Let b = 2 - k. Sort 0, o, b.
b, 0, o
Suppose -9 = -g - 2*g. Suppose 2*l - 1 = g. Put 5, l, 4 in increasing order.
l, 4, 5
Let l(a) = 2*a - 2. Let x be l(2). Sort x, 1/3, 0 in descending order.
x, 1/3, 0
Suppose 2*o = 5*o + 15. Put -7, -3, o in ascending order.
-7, o, -3
Let p = 91 + -89. Sort -5, 94, p in decreasing order.
94, p, -5
Let r = 0.01 + 2.49. Let b = 0.6 + 2.4. Let p = r - b. Sort p, 5, 0 in decreasing order.
5, 0, p
Let w = 0.7 + -0.2. Let t = -1.32 + 0.32. Sort t, -0.2, w in descending order.
w, -0.2, t
Let s be (-30)/(-3)*1/2. Sort -4, -3, s in decreasing order.
s, -3, -4
Let b be (0 - (-52)/12) + -2 - 3. Put 1, -1/6, -2/15, b in descending order.
1, -2/15, -1/6, b
Let p be 3 - (-1 - -10) - (-7 + 5). Put p, 2/3, -0.8, 0.3 in decreasing order.
2/3, 0.3, -0.8, p
Let v(u) = u**2 - 4. Let o be v(-3). Let f(k) = -k**3 - k**2 + k + 1. Suppose 4*a = -0*a. Let m be f(a). Sort o, 4, m in decreasing order.
o, 4, m
Let q(l) = -l + 7. Let h be q(4). Let a be 2 + 3 + h + -3. Suppose 1 = -4*i + 5. Sort a, i, -3 in increasing order.
-3, i, a
Let r be (2/(-12))/(3/30). Suppose 5*j - 4*t - 36 = 0, -j + 6*j - 4 = -4*t. Put j, -5, r in ascending order.
-5, r, j
Let o be -1 + 5/(15/(-6)). Put 4, o, 2 in ascending order.
o, 2, 4
Let y = -1 - -1. Suppose 40 = -3*p - 2*p. Let b = p - -5. Sort b, y, 2 in descending order.
2, y, b
Let t be 12/10*45/18. Put -2, t, 0.2, -0.2 in ascending order.
-2, -0.2, 0.2, t
Let r be (1 + (-26)/14)*7. Let x = 13/2 + r. Let b = 2.005 - 0.005. Sort b, 0.4, x.
0.4, x, b
Let g = -51 - -50. Sort -2, 3, g in decreasing order.
3, g, -2
Suppose 2*w = -0*w - 16. Let l(x) = -x**2 - 9*x - 6. Let s be l(w). Suppose 5*u + 3*i = -11, 3*u + 5*i = -u - 14. Put s, u, -3 in increasing order.
-3, u, s
Let w = 0.15 + -0.35. Sort -13, w, 1/10 in descending order.
1/10, w, -13
Let q(k) = -k**3 + 3*k**2 - 4*k + 2. Let m be q(3). Let g be 6/m + 54/15. Sort 0, g, -4 in ascending order.
-4, 0, g
Let q be 0/(0 - -1) - -2. Suppose 4*v = 5*i + 13, 0*v - 3*v = -3*i - 6. Let k = 2 + 3. Sort v, k, q in decreasing order.
k, q, v
Let a = -9 - -12. Let s(i) = i**2 - 6*i. Let o be s(5). Put a, -10, o in ascending order.
-10, o, a
Suppose -2 - 13 = -3*f. Let p = 0 + 1. Let q = 1 + p. Put f, 0, q in ascending order.
0, q, f
Let v = -20 - -20.15. Let w = 0.28 - v. Sort 5, w, 0.5 in increasing order.
w, 0.5, 5
Suppose w - 5*w + 16 = 0. Let q be (2 - 3)*w/20. Put 6, q, 0.5 in increasing order.
q, 0.5, 6
Let t = 36 + -36.5. Let m = -0.1 - 0. Put m, t, 3/4 in decreasing order.
3/4, m, t
Let x = -10.03 - -10. Let k = x + -0.27. Let j be ((-8)/9 + 1)*-2. Sort k, 2, j.
k, j, 2
Let i be 2/7 - (-3990)/98. Sort i, -5, -2.
-5, -2, i
Let r = -227 - -230.89. Let i = r - -0.11. Let b = -1 + i. Sort 4, b, -5 in descending order.
4, b, -5
Suppose -3*n = 15, -5*f + 4 = -4*n - 11. Sort -4, f, -5.
-5, -4, f
Suppose 0 = -5*h - 10 - 15. Let i = 100 + -95. Sort i, h, 2 in descending order.
i, 2, h
Let l = -6 - -8. Let u = 4 - 5. Let a = l + u. Put -1, a, -1/5 in decreasing order.
a, -1/5, -1
Let d = 1/4 + -7/12. Sort 3/5, 5, 4, d in increasing order.
d, 3/5, 4, 5
Let h = -90 + 93. Sort 0, h, 1, -4 in descending order.
h, 1, 0, -4
Suppose -3*r + 3*a = 6, 13 = r + 3*a - a. Suppose -5*n + 19 = -h, 2*h + 9 = 5*n - 9. Sort h, r, -4.
-4, h, r
Suppose 2 = n - 0. Suppose -3*p - l - 43 = 0, -4*p + 2*l - 36 = -n*l. Let o = p + 8. Sort o, 5, 1 in decreasing order.
5, 1, o
Suppose 3*r = -r - 20. Let m = -532 - -1595/3. Put -2, m, r in descending order.
m, -2, r
Let p(j) = j**2 + 6*j + 3. Let f be p(-6). Let a = -29 - -51. Suppose u + 23 = -6*s + s, 4*s = u - a. Sort s, -1, f in descending order.
f, -1, s
Suppose 5*c + 0*a = -a - 17, -4*a - 8 = 5*c. Sort -2, -9, c, -5 in decreasing order.
-2, c, -5, -9
Let g = -87 + 91. Put 1, -1, 0, g in ascending order.
-1, 0, 1, g
Let c(t) = -t**2 + 12*t - 17. Let u be c(10). Sort u, -2, 0, 5 in ascending order.
-2, 0, u, 5
Suppose -2*h + 2*n = n - 3, h = -2*n + 14. Suppose 5*j = f - 4*f + 27, h*f - j = 13. Sort -5, 2, f in descending order.
f, 2, -5
Let v(m) be the third derivative of -m**6/120 + m**5/6 - 2*m**4/3 + m**3/2 + 6*m**2. Let s be v(8). Let t = -6 - -10. Sort t, s, 5 in ascending order.
s, t, 5
Suppose 3*f + u - 2 = -0*u, -f + 5*u = -22. Suppose 1 = -2*t + 5. Suppose t*k = 2*q + 10, -f*k = -6*k - q. Sort 3, k, -4.
-4, k, 3
Suppose 32 = -4*l - 3*n, -3*l + 0*n - 27 = 3*n. Sort -6, -3, l.
-6, l, -3
Suppose 0*c - 2*c - 8 = 0. Let u be c/3*12/(-8). Sort -3, u, -5 in ascending order.
-5, -3, u
Suppose -t = -4*c + t, 3*t = 2*c. Sort 1, -1, -10, c in descending order.
1, c, -1, -10
Let o = 947 + -12305/13. Sort o, -5, 2/11.
-5, 2/11, o
Let y = -2/613 + -1188/11647. Suppose p - 4 = 3*o - 0, 0 = -p + 2*o + 6. Let h be (-3 + 5)/((-4)/p). Put 0.3, y, h in decreasing order.
0.3, y, h
Let m be (-5 + 7)*2/4. Suppose 0 = -2*x + 3*x + m. Let a be (-63)/12 - (-2)/8. Sort x, a, 1 in decreasing order.
1, x, a
Suppose 3*a + 12 = -5*f + 2*f, 4*f = 5*a - 7. Sort -4, 0, 7, f in descending order.
7, 0, f, -4
Suppose -7*w + 2*w + 25 = 0. Let o(r) = r**3 - 4*r**2 - 3*r - 7. Let v be o(5). Put v, w, 1 in increasing order.
1, v, w
Let k = 7 + -11. Suppose -4*a - 3*h + 20 - 4 = 0, 4*a = 3*h + 16. Suppose -4*s = 5*o - 2*s - 7, -3*o + 7 = a*s. Sort -0.3, k, o in descending order.
o, -0.3, k
Suppose 0 = 4*f - 3*u - 8, u + 3 = f - 0*u. Let m = -1 - 0. Let c = 1.2 + m. Put c, 0.1, f in descending order.
c, 0.1, f
Let y be (-1)/(-2)*2*-5. Let l be (-11)/20 - y/(-25). Let r = 11 + -6. Put r, l, 0.4 in descending order.
r, 0.4, l
Let u = -0.8 - -0.5. Let i = -34/3 - -12. Sort u, i, -0.5 in increasing order.
-0.5, u, i
Let g = 72.87 - 74. Let m = g - -1.2. Put -1/3, m, 3 in descending order.
3, m, -1/3
Let s be 2*(-2)/(-1 + -1). Let t = -80 + 124. Let b be 4/(-10) + t/10. Sort s, -4, b in ascending order.
-4, s, b
Let w = -3 - -6. Suppose 9*d = 5*d + 3*d. Put 5, w, d in descending order.
5, w, d
Suppose 3 = -3*c - 9. Put c, 5, 0 in decreasing order.
5, 0, c
Let r = 7 + -6.92. Let f = 1.92 + r. Let p = 108 - 542/5. Sort p, -0.1, f in decreasing order.
f, -0.1, p
Let i(a) = a - 6. Suppose 0 = 2*m + 2*s - 16, 3*m + s = 14 + 10. Let t be i(m). Sort t, -2, -3 in increasing order.
-3, -2, t
Let z = 19 + -19.3. Let b = -11 - -14. Put b, -0.5, z in decreasing order.
b, z, -0.5
Suppose 14 = 4*v + 2*j, 2*j = 3*v - 5 - 9. Sort 0.5, v, -0.5, 0.4 in decreasing order.
v, 0.5, 0.4, -0.5
Let l = -1052/7 + 150. Let t be 2*1/(-16) - (-93)/(-1240). Put 0, t, l in descending order.
0, t, l
Let n = -0.28 + -0.12. Put 0.6, -1, n in descending order.
0.6, n, -1
Suppose 3*c = q - 7, 3*q + 5*c = 5*q - 13. Suppose 0 = 2*z - 7 - 3. Sort 0, z, q in increasing order.
0, q, z
Let a = -0.53 + 0.22. Let k = -0.27 - a. Put k, -1, 3/7 in descending order.
3/7, k, -1
Let d = -95 + 91. Sort 2/3, d, -1, -1/4.
d, -1, -1/4, 2/3
Suppose 15 = 5*w, b = -4*b + 4*w - 2. Let c = -11 + b. Let r = c + 13. Sort -3, r, 3 in descending order.
r, 3, -3
Suppose -4*x = -2*x + 4. Put -9, x, -2/11 in ascending order.
-9, x, -2/11
Let o = 6 - 2. Let f(q) = -q**3 - 1 - q**3 - 3 + 3*q**2 + 3*q**3. Let j be f(-3). Sort j, o, 2 in ascending order.
j, 2, o
Suppose -3*d - d + 5 = -3*z, -d + 3 = z. Let a = z - 3. Suppose 2*v = 2 + 2. Sort v, -5, a in descending order.
v, a, -5
Let c be ((