.
w, j, -3
Let x = -0.03 - -0.43. Let k be 7/(-14) + (-2)/28. Sort -5, x, k in descending order.
x, k, -5
Let s be 3*(-12)/(-18)*(-2)/4. Let c be 1 - (-1 + (-7)/(-1)). Sort s, 1, c in increasing order.
c, s, 1
Let k = 1.85 - 1.55. Let l(j) = j - 2. Let w be l(0). Sort w, k, -0.4 in descending order.
k, -0.4, w
Suppose 7*k = 11*k - 24. Let s = k + -6. Sort s, 2, -4.
-4, s, 2
Suppose -2*q + r = 4, 2*q + 2*r + 0*r - 2 = 0. Suppose 4*a + v + 4*v = -20, 0 = -3*a + 3*v + 12. Sort 1, q, a in increasing order.
q, a, 1
Let l = -14 - -14.1. Sort -4, l, -2.
-4, -2, l
Let h = 0.38 - 3.68. Let y = -2.8 - h. Sort 1/3, y, -5/6 in ascending order.
-5/6, 1/3, y
Let r = 12 + -30. Let f = 17 + r. Sort f, -0.4, 1 in increasing order.
f, -0.4, 1
Suppose 5*a - 73 = -0*t - 3*t, -105 = -5*t - 5*a. Let m be 1*(t/(-6) + 3). Put 5, -0.4, m in ascending order.
-0.4, m, 5
Suppose 0*d = d + 2. Let h be -3*(d + 1)*1. Suppose h*t - 6*t - 5*x = 15, t = -3*x - 9. Put 3, 4, t in descending order.
4, 3, t
Let u = -0.58 - -0.28. Sort -5/3, 5, -4, u in decreasing order.
5, u, -5/3, -4
Let h = -11 - -10. Let j(c) = 2*c - 13. Let m be j(9). Let o = 5 - 4.6. Put o, m, h in increasing order.
h, o, m
Let c(f) = -f**2 + 4*f - 4. Let i be c(4). Sort 5, 2/5, i.
i, 2/5, 5
Let d(u) = -u**3 - 2*u**2 + 3*u + 2. Let v be d(-3). Suppose -j + 0*c = 2*c + 4, 3*c + 6 = -v*j. Sort j, 2/19, 0.5 in decreasing order.
0.5, 2/19, j
Suppose -5*p - 9 = -2*p. Let z(d) = 5 - 4*d**2 + 0*d**2 + 3*d**2 + 0 + 8*d. Let x be z(8). Sort p, x, 2.
p, 2, x
Let s be 15/4 - 2/(-8). Let h = s + -1. Put -1, -2, h in ascending order.
-2, -1, h
Let m = -10 - -11. Let p = 4 + m. Let y(r) = r**3 - 6*r**2 + 5*r - 4. Let n be y(5). Sort p, 0, n in decreasing order.
p, 0, n
Suppose 2*s - 3 = 3*s. Let y(l) = l**2 + 9*l - 8. Let k be y(-10). Let r be (k - 2)/(-2 + 1). Sort r, 3, s in descending order.
3, r, s
Let k = 0.1 - 0. Let s = -158 - -158.4. Sort k, s, 2 in ascending order.
k, s, 2
Suppose -2*z - 24 + 28 = 0. Sort -5, -3, z in decreasing order.
z, -3, -5
Let j(y) = 9*y**3 - y**2 + 2*y - 1. Let b be j(1). Let l = -5 + b. Suppose 2*x - 4*v = 14, -4*x = 2*v + 15 - 3. Put l, 3, x in ascending order.
x, 3, l
Let u(w) = -w - 4. Let q be u(-3). Let c be -1 - q/((-3)/(-6)). Let i be c*(-15)/(1 + -4). Sort 3, -5, i in descending order.
i, 3, -5
Let r = -0.3 - 15.7. Let c = r + 15.8. Put -4, -9, c in ascending order.
-9, -4, c
Let u = 1 - -4. Put 19, u, -4 in decreasing order.
19, u, -4
Let h(v) = -v**3 - 6*v**2 - 4*v. Let n(z) = z - 5. Let m be n(0). Let r be h(m). Let y = 4 + -11/3. Sort r, y, -2 in descending order.
y, -2, r
Suppose -2*x - 2*x - 8 = -h, -2*h - 4*x = 20. Sort -3, h, -2, -5 in descending order.
-2, -3, h, -5
Suppose -108 = 4*a + 4*d, a + 4*d = -a - 58. Let n be a/30 + 2/(-12). Sort -2, n, 1 in ascending order.
-2, n, 1
Let t = -143 + 145. Let z = 5.03 + -0.03. Put 2/3, z, t in descending order.
z, t, 2/3
Let u(w) = w - 1. Let l be u(0). Let g(d) = -2*d - 10. Let a be g(-7). Put l, a, 2 in descending order.
a, 2, l
Let w = 0 + -2. Suppose -6 = t - 2*t + 3*p, -2*t - 3*p - 6 = 0. Let u(l) = 2*l**3 - l**2 + 1. Let i be u(1). Sort w, i, t.
w, t, i
Suppose r = -r - 2*v + 6, -3*v - 21 = -3*r. Suppose 4 = r*j + 4*o, -5*j = -2*o - 0 + 2. Sort 3, j, 2 in ascending order.
j, 2, 3
Let p = 2 + 3. Let d(x) be the third derivative of -x**6/120 + x**5/12 - 5*x**3/6 - x**2. Let z be d(p). Sort 2, -1, z in decreasing order.
2, -1, z
Let r = 37 + -14. Suppose -4*x + 18 = 2*p, 4*p - r = x - p. Let n be 0 + (2/x - 3). Put -4, n, 4 in decreasing order.
4, n, -4
Suppose 2*r + 13 - 5 = 0. Sort -3, 1, r in decreasing order.
1, -3, r
Let q(j) = j**2 - 6*j. Let r be q(5). Suppose -a + 6 = -5*p + 13, 4*a = -4*p + 20. Suppose -p*w - l - 20 = -5*l, 5*l = 15. Sort w, r, 5.
r, w, 5
Let o be 23/5 + 12/30. Sort 3, 2, o.
2, 3, o
Let h = 0.11 - 0.01. Let n = -18 - -13. Put n, 3, h in ascending order.
n, h, 3
Let i = -3 - 0. Sort i, 1/2, -1 in ascending order.
i, -1, 1/2
Let l = 3 - 5. Let f be (-63)/(-6)*l/(-3). Suppose 17 - f = 5*k. Sort -2, k, -5 in descending order.
k, -2, -5
Suppose z - 2 = -5. Let g be 4*4/(-88) - (-106)/(-22). Sort g, 4, z in ascending order.
g, z, 4
Let c = 11 - 7. Let n = 7.4 + 0.6. Let r = c - n. Sort -0.4, r, 4/5 in descending order.
4/5, -0.4, r
Suppose m = 6*m + 10. Let g(b) be the second derivative of b**5/20 + b**4/3 - b**3 - 3*b**2 + 2*b. Let l be g(-5). Put -5, l, m in increasing order.
-5, m, l
Let d(a) = a**2 - 8*a + 8. Let r be d(7). Suppose -5*z - 5*u - 25 = 0, 4*z = 4*u + 13 - 33. Sort -4, r, z in increasing order.
z, -4, r
Let l be -2*(-2)/12 - (-16)/(-21). Sort l, 3, -0.4.
l, -0.4, 3
Let u = 5 + -3. Let s = 1.5 - u. Let q = 32/75 - -6/25. Sort 6/5, s, q in decreasing order.
6/5, q, s
Suppose -12 = g + 3*g. Suppose -8 = -s - s. Suppose 0 = -x + s - 2. Sort x, -4, g.
-4, g, x
Let c(l) = -l**2 + 8*l + 11. Let a be c(9). Suppose -26 = -n - n - 4*b, a*b - 33 = -5*n. Put n, -2, -4 in decreasing order.
n, -2, -4
Suppose -2*t - t - 12 = 0. Let d(w) = w**2 + 5*w + 2. Let k be d(t). Let h = 4 + -5. Sort -4, h, k in descending order.
h, k, -4
Let a = -1.1 - -5.1. Let i = 3.5 - a. Let n be (-60)/513 + 2/9. Put i, n, -0.3 in descending order.
n, -0.3, i
Suppose 0 = -4*z - r - 19, -5*z + 4*r - 3*r = 35. Let w = z + 10. Suppose w*q + 10 = p, 0*q - 3*q = 6. Sort p, 3, -3 in increasing order.
-3, p, 3
Let x be 0/((-4)/(-6) + (-13)/(-39)). Sort -5, x, 0.2.
-5, x, 0.2
Suppose g = -5, -k - g - 2*g - 17 = 0. Let q(f) = f**2 + 4*f - 1. Let j be q(-4). Let v = k + j. Put v, 0.2, -2/9 in descending order.
0.2, -2/9, v
Let b = -13 - -8. Suppose 16*g + 18 = 7*g. Sort g, b, 3.
b, g, 3
Let i(c) = 4*c - 19. Let q be i(6). Sort q, -2, 13 in ascending order.
-2, q, 13
Suppose 0*d - 5*k = -d + 5, 2*k + 15 = 3*d. Let m(o) = -o**3 - 3*o**2 + 11*o + 5. Let h be m(-5). Sort -3, d, h in decreasing order.
d, h, -3
Let s = -3.19 + 3.2. Let p = 92 - 737/8. Sort -3, s, p.
-3, p, s
Let x = 19/153 - 1/153. Let d = -37 - -24. Let v = 18 + d. Put x, v, 0.2 in decreasing order.
v, 0.2, x
Let h = 0.14 - -0.86. Put h, 7, 0.2, -5 in descending order.
7, h, 0.2, -5
Let n = -38 - -35. Sort n, 0, 4, -2.
n, -2, 0, 4
Let j(m) = m + 13. Let f be j(-6). Suppose -q - 2 = -3*s, 4*s - f*s - 3*q + 6 = 0. Sort s, -5, 3 in ascending order.
-5, s, 3
Let p = -6 + 8. Let r = -19 + 16. Suppose -5*a - 4 = 5*b + 6, -4*b + 5*a = -1. Sort b, r, p in descending order.
p, b, r
Let o(y) = 8*y - 27. Let c be o(4). Put 3, c, -2, -1 in increasing order.
-2, -1, 3, c
Let p = 0.005 + -4.005. Sort 3, 5, p, 4/7.
p, 4/7, 3, 5
Let h = 8.9 + -9. Let t = 187 - 2429/13. Put t, -2, h in descending order.
t, h, -2
Suppose 0 = 3*t - 9. Put 6, t, -2 in descending order.
6, t, -2
Let f be (-1)/(6/(-103 + -5)). Put 0, -1, 5, f in increasing order.
-1, 0, 5, f
Suppose 5 = -5*m - 15. Sort m, -4/7, 2/5 in ascending order.
m, -4/7, 2/5
Suppose 0 = -2*j - 1 - 1. Let r = -67 - -70. Put j, -3, r in ascending order.
-3, j, r
Suppose -4*p + 52 = -3*v, -4*v = -4*p + 36 + 20. Suppose 0 = -4*k + p - 2. Suppose 0 = -0*x + k*x + 4. Sort -0.3, x, 1 in descending order.
1, -0.3, x
Let r(u) = -u**3 + 5*u**2 + 5*u + 3. Let k be r(6). Sort 1, k, -5 in descending order.
1, k, -5
Suppose -40 = -4*m + 4*w, -2*w + 13 = 4*m + 3*w. Suppose t = 2*f + 1, -2*t - m*f + 2*f = -2. Sort 3, t, 4.
t, 3, 4
Let t = -20 + 13. Let b = 0 + t. Let k = b + 2. Put k, -3/7, -4 in decreasing order.
-3/7, -4, k
Let j(k) = -k - 6. Let c be j(-6). Suppose -p - 3*p + 4 = c. Let o = -8 - -6. Sort p, o, 4 in increasing order.
o, p, 4
Let v = 1/84 - -55/84. Put -0.03, v, 0.04 in descending order.
v, 0.04, -0.03
Let w = -8 + 12. Let f = -3.1 - 4.2. Let b = -7 - f. Sort w, -0.2, b in descending order.
w, b, -0.2
Suppose i - 4*i = 9. Put -2, -1, 2, i in descending order.
2, -1, -2, i
Let z = -7 + 7.99. Let f = 0.01 + z. Let i = -113/819 + -1/63. Sort i, f, -0.4 in descending order.
f, i, -0.4
Let g = 75 + -451/6. Sort g, -0.5, -19 in ascending order.
-19, -0.5, g
Suppose -3*f = -4*p - 2*f - 6, -4*p - 2*f = 0. Sort -2, -5, p, -11.
-11, -5, -2, p
Suppose -8*j = -0*j + 3*j. Sort 79, -4, j in increasing order.
-4, j, 79
Let j = -4 - -1. Let z = -3 - 1. Sort z, j, 0.5.
z, j, 0.5
Let g = 12 + -11.7. Let l = -0.4 - -0.8. Sort l, -0.02, g in ascending orde