7.4 + -7. Sort m, -0.4, -3/2 in descending order.
m, -0.4, -3/2
Let n = -34 - -31. Put n, 4, 1 in descending order.
4, 1, n
Let g = 3.7 - -0.3. Let s = -0.9 - 0.1. Sort -3, g, s in decreasing order.
g, s, -3
Let i = -7 + 4. Let g = -3 - i. Put 2/5, g, -2/3 in ascending order.
-2/3, g, 2/5
Let u = 1 + -0.6. Let s = -0.4 + u. Sort -2/7, 3, s in ascending order.
-2/7, s, 3
Suppose 10*p - 32 = 8. Sort 9, p, -4.
-4, p, 9
Suppose 2*h - 4 = -a, 5*h - 3*a + 12 = 2*h. Sort h, 2, -8 in descending order.
2, h, -8
Let p be (-754)/145 + 1/5. Let r be (0 - -1) + -2 + 3. Put r, p, -2 in descending order.
r, -2, p
Suppose 10 = 4*u - 2. Sort u, -4, -1 in decreasing order.
u, -1, -4
Let b = 0.2 - 0. Put 0.4, 5, -0.07, b in ascending order.
-0.07, b, 0.4, 5
Let s = -3 + 1. Let y(g) be the first derivative of -g**4/2 - g**3/3 - g**2/2 - g - 2. Let f be y(-1). Sort f, s, -1 in descending order.
f, -1, s
Let h be (-4 - ((-44)/20 - 4)) + -2. Put 2/17, -0.3, h, 8 in decreasing order.
8, h, 2/17, -0.3
Suppose -6*r + 2*r + 4 = 4*k, 4*r = 3*k - 31. Suppose -6*t = 5*g - 2*t - 15, g = -3*t + 3. Sort -5, g, r.
-5, r, g
Suppose -4*t + 27 = 5*t. Sort t, -4/9, 2/3, 0.4 in increasing order.
-4/9, 0.4, 2/3, t
Let j = 32 - 37. Sort 0, j, 2, -3 in increasing order.
j, -3, 0, 2
Let i(s) = -s + 18. Let x be i(13). Put x, -1, 1 in decreasing order.
x, 1, -1
Suppose -x + 15 = 4*x. Let d be 0 - 2 - (-21)/x. Put -1, d, 4 in ascending order.
-1, 4, d
Let j(d) = -2*d + 4. Let k be j(6). Let h = k + 13. Let x(y) = y**2 - 6*y + 3. Let b be x(h). Put -3, b, 0 in descending order.
0, b, -3
Suppose 4*w = -3*t + 2 + 29, t = -4*w + 21. Put -2, -5, t, 2 in ascending order.
-5, -2, 2, t
Let f be ((-4)/(-6))/((-4)/6). Let r be 2 + 39/(-15) + f. Sort -0.4, r, 0.1 in decreasing order.
0.1, -0.4, r
Let c = -0.6 + 0.1. Let y = -0.04 - -0.34. Sort y, -3/5, c in ascending order.
-3/5, c, y
Let d(r) = -r - 1. Let z be (-64)/10 + 4/10. Let f be (4/6)/(4/z). Let o be d(f). Put -5, -4, o in decreasing order.
o, -4, -5
Let i = 5 + -1. Suppose 5*n + 11 = c + 2*c, -i = 4*n. Sort c, -1, 1 in descending order.
c, 1, -1
Suppose -4*m + 5*m = -3. Sort -1, m, 5 in ascending order.
m, -1, 5
Let x(u) = 7*u + 13. Let z be x(-2). Sort -3, z, 0.5 in decreasing order.
0.5, z, -3
Let a = 0.12 + -0.4. Let w = a - 0.12. Sort 2, -3, w in ascending order.
-3, w, 2
Let f = 0.7 + -2.2. Let m = -0.509 - -0.009. Let c = m - f. Sort c, 3, 0.5 in decreasing order.
3, c, 0.5
Suppose -j = -3*x - 8, 4*j = 4*x + 2*j + 8. Put x, -3, -2 in decreasing order.
-2, -3, x
Let g = 20/33 + -3/11. Let y = 64 + -61. Sort g, y, 1.
g, 1, y
Let w = -4 - -1. Let i = 2 + w. Suppose -18*q + 23*q = 20. Sort -4, i, q.
-4, i, q
Let h be 10/15*(-6)/(-2). Suppose -h*s + 3*r - 14 = 0, -s - 3 = -2*r + 3. Let q = s - -12. Sort q, 5, -4 in ascending order.
-4, q, 5
Let d = 4 - 1. Let u = -14824/5 - -2990. Let w = 25 - u. Sort -1/4, d, w.
-1/4, w, d
Suppose -3*n + 4 = 10. Let k be 34/8 - 1/4. Let l be (4 + 1)*(-4 + 3). Put k, l, n in ascending order.
l, n, k
Let g be (-9)/60 + 1/(5/(-3)). Sort 2, 0.3, -0.1, g.
g, -0.1, 0.3, 2
Suppose t = -0*t + 4. Sort -2, -6, t, -1 in descending order.
t, -1, -2, -6
Suppose 0*p = 5*p - 20. Suppose -7*k = 9 - 2. Put -7, k, p in descending order.
p, k, -7
Let l(y) = y**3 + 5*y**2 - 13*y + 5. Let a be l(-7). Put 3, a, 1, -4 in descending order.
3, 1, a, -4
Let m = -159 - -156. Suppose 4*f + 27 - 7 = -3*y, -f - 6 = y. Let q be (-1 - -3)*1/f. Sort m, q, -2 in ascending order.
m, -2, q
Let g = -13 - -12.6. Put 0.3, 5, g, 2 in increasing order.
g, 0.3, 2, 5
Suppose 0*k - 16 = 2*k. Let x = k - -5. Let n(q) = -q**3 - 3*q**2 + 8*q - 5. Let w be n(-5). Put w, x, 3 in decreasing order.
w, 3, x
Suppose -2*r + 74 - 34 = 0. Sort r, 5, 4 in decreasing order.
r, 5, 4
Let v = 30 + -18. Suppose -3*s - 11 = -5*d, -32 = -2*d - 3*d - 4*s. Suppose y = -5*j + 21, 3*y + v = d*j - y. Sort j, 2, 0.
0, 2, j
Let v be 5/(-5) - 3/(-5). Sort 2/3, 0.01, v in decreasing order.
2/3, 0.01, v
Let g(t) = t**2 + 6*t. Let c be g(-5). Put -3, -2, c in descending order.
-2, -3, c
Let l(r) = r + 1. Let k be l(-1). Suppose -2*s + 6*s = k. Let b(o) = o**3 - 6*o**2 + o - 3. Let v be b(6). Sort 2, s, v in ascending order.
s, 2, v
Suppose -3*i = c - 45, 5*i - 4*c - 75 = c. Let r be 4/(-14) + i/(-21). Put 4, r, 3 in descending order.
4, 3, r
Let x = 11 - 6. Let b = -5 - -6. Put b, -2, x in decreasing order.
x, b, -2
Let i = -40 + 27. Let u = -8 - i. Sort 1/8, 3, u.
1/8, 3, u
Let o = -4.98 + 5. Let x = -0.08 - o. Sort 2/3, -0.2, x.
-0.2, x, 2/3
Let z = -193 - -195. Let n = -0.1 - -0.3. Put n, 5, z in ascending order.
n, z, 5
Suppose -5*c - z = 5, 2*c - 4*z + 2 - 22 = 0. Put c, -5, 0.5 in increasing order.
-5, c, 0.5
Suppose -w = 5*w + 12. Put w, 1, -4, 4 in decreasing order.
4, 1, w, -4
Suppose -o = -4*o - 3. Let q be 6/((-3)/1)*1. Sort q, o, 3 in decreasing order.
3, o, q
Let u(k) = k**2 - k + 36. Let h be u(0). Let g be 2/9 + 172/h. Suppose 4*f = 5*r + 1 + 20, -g*f = 5*r + 30. Sort 1, 1/3, r in descending order.
1, 1/3, r
Suppose 5*g = 4 + 6. Suppose -3 = g*d + d. Sort d, -4, 1 in descending order.
1, d, -4
Suppose 5*p + 5*b - 4 = p, -2*p = 2*b - 2. Let y be (2*p/(-6))/(-2). Sort 5, -3, y.
-3, y, 5
Let q(w) = -w + 6. Let r be q(8). Let c = -6 + 10. Sort 1, c, r in descending order.
c, 1, r
Let r(g) = -g**3 - 11*g**2 - 9*g + 8. Suppose -3*z - 2*k = 30, -z = z - 2*k + 20. Let s be r(z). Sort 4, s, -10 in increasing order.
-10, s, 4
Let m be (-20)/(-8)*12/(-70). Let p = 0 - 1. Sort p, m, 0.1 in decreasing order.
0.1, m, p
Suppose -15 = 3*m - 9. Let o be 1 + 0 + (-2)/(-1). Sort 4, m, o in descending order.
4, o, m
Let k be (12/50)/((-15)/50). Let l = 0.9 + -1. Let g = 0.1 - l. Sort 0, k, g in ascending order.
k, 0, g
Let w = 0.15 + -0.15. Let b be -2*(-1 + (-8)/(-10)). Put b, w, 4 in descending order.
4, b, w
Let g(b) = b - 1. Let a be g(-1). Let y(h) = h**2 + 3*h - 7. Let c be y(-5). Suppose 3*l = 5*l. Put c, l, a in descending order.
c, l, a
Let f = 14 - 19. Let b = 190/117 - 16/9. Put f, -0.3, b in descending order.
b, -0.3, f
Let l(u) = -u - 3. Let i be l(-7). Suppose -t - i = -9. Sort -1, t, 4 in decreasing order.
t, 4, -1
Let u = 2.55 + 0.05. Let j = u - 0.6. Let f = 0.8 + -0.5. Put f, j, 0.1 in descending order.
j, f, 0.1
Let w = 1.3 - 0.3. Let o = -0.31 + -2.69. Let z = o + w. Put z, 5/3, 0.5 in increasing order.
z, 0.5, 5/3
Suppose 0 = -3*r + 5*d - 16, -3*r - 3*d - 11 = -7*d. Sort r, 4, 5.
r, 4, 5
Suppose -h = 3*h, 4*h = 4*k - 16. Let b be ((-126)/98)/((-6)/k). Put -0.3, 1, b in decreasing order.
1, b, -0.3
Let z(y) = -y + 15. Let g be z(12). Let f = -2 - -12/5. Sort f, g, 0.2 in ascending order.
0.2, f, g
Suppose -6*r + r = 0. Let p be 100/28 - (3 - r). Sort -3, 0.2, p in decreasing order.
p, 0.2, -3
Let p be ((-2)/(-4))/(2/(-28)). Let l = 7 + p. Sort -1, l, -4 in descending order.
l, -1, -4
Let j = 77 + -64. Put j, -5, 4 in increasing order.
-5, 4, j
Let x = 1 - 0.9. Let o = 0.2 - x. Put 1/3, -1/5, o in decreasing order.
1/3, o, -1/5
Let g = -2.7 - 11.3. Let n = -13.8 - g. Put 0, n, 4 in increasing order.
0, n, 4
Let u = -44 + 310/7. Let g = -2.4 - -3. Put -0.4, u, g in decreasing order.
g, u, -0.4
Let c be 5/(-2) + (-6)/4. Let t be (10/(-4))/(1/(-2)). Let o = 0 - 0. Put o, t, c in ascending order.
c, o, t
Suppose -7 = -4*b - 2*o - o, b - 3*o + 17 = 0. Put 3, b, 2 in descending order.
3, 2, b
Let n = -1.2 - -0.2. Let r = -0.23 - -0.37. Let i = r - 0.09. Sort i, -3, n in ascending order.
-3, n, i
Let n(p) = -p**2 - 1. Let y be n(1). Suppose 0 = 4*s + 9 + 11. Put s, y, -1 in ascending order.
s, y, -1
Let a = -25 - -26. Sort 0.1, -3/8, 3, a in increasing order.
-3/8, 0.1, a, 3
Let c(t) = 12 + 11*t + t**2 + 0*t**2 + 2 + 0*t. Let p be c(-10). Put -2, 0, p in ascending order.
-2, 0, p
Let l = -9.9 - -6.9. Let v = 0.01 - 2.01. Put 0.2, v, l in descending order.
0.2, v, l
Let g = -23 - -27. Put g, 2/11, -0.3 in ascending order.
-0.3, 2/11, g
Let v = 2 - 1.3. Let b = v - 0.8. Sort -0.5, b, -0.4 in descending order.
b, -0.4, -0.5
Let i(z) be the second derivative of -z**4/12 + 4*z**3/3 + 2*z**2 + z. Let j(l) = -l**2 - 16*l + 9. Let g be j(-16). Let n be i(g). Sort -2, n, 3.
n, -2, 3
Let g = 8 + -8. Suppose k + g*k - 1 = 0. Suppose -2*t = 2*t - 8. Sort 4, t, k in increasing 