7.
-17, o, 2
Let w = -34 + 33.79. Sort 0, w, -2/7, -3.
-3, -2/7, w, 0
Let j = -239 - -1197/5. Sort -3, 1, -5, j.
-5, -3, j, 1
Let c be (-38)/14 - (-16)/(-56) - 2. Put 3, 6, c in increasing order.
c, 3, 6
Suppose -2*d = 2*b - 6 - 0, 4*b - 42 = 2*d. Let o = -3 + -1. Sort b, o, 3 in increasing order.
o, 3, b
Suppose -g = -6*g - 15, 0 = -2*q - 2*g + 4. Suppose -4173*c + 28 = -4166*c. Put 2, q, c in ascending order.
2, c, q
Let c be 4 - (-3 - (-68)/10). Suppose 6 = 3*k - 6*k. Let f be k + -1 + (-87)/(-27). Put -1/5, f, c in decreasing order.
f, c, -1/5
Let w = -0.233 + 0.373. Put 0, 1, -2/3, w in decreasing order.
1, w, 0, -2/3
Suppose -6*y + 8*y - 5*v + 25 = 0, 0 = -2*y + 2*v - 16. Let k = -3 + 6. Put y, 0.02, k in increasing order.
y, 0.02, k
Let t = -4 + 6. Suppose 5*k - 4*c = -0*c + 11, -c = 4*k + 8. Sort k, 3, t in decreasing order.
3, t, k
Suppose -5*g = -5*w - 30, -4*g + 4 = 4*w + 12. Sort 7, 1, w, 5 in descending order.
7, 5, 1, w
Let k = 3 - 4. Let v = -185 - -927/5. Let a = -76/3 - -25. Sort k, v, a in decreasing order.
v, a, k
Suppose 0 = -3*c - 6, -c - 2 = -4*f - 2*c. Put 5, f, -1, -13 in increasing order.
-13, -1, f, 5
Let r be 1/((-3)/(-45)*-3). Let o(f) = -f**2 + 5*f - 6. Let p be o(4). Suppose 5*j = b - 0*b - 24, 12 = 5*b + 2*j. Sort p, r, b in descending order.
b, p, r
Let v be 91/3 - (-2)/3. Let w = 36 - v. Suppose 0 = -4*x + 11 + 5. Sort w, 2, x in decreasing order.
w, x, 2
Let r = -34 + 38. Let v(a) = a**3 - 4*a**2 + 3*a. Let c be v(3). Suppose -i - 4*i = c. Put 3, i, r in decreasing order.
r, 3, i
Let m = -2/685 - 1344/8905. Put -0.2, 2, m, -6/7 in increasing order.
-6/7, -0.2, m, 2
Suppose 0 = 47*l - 139 + 139. Sort 5, -3, -4, l.
-4, -3, l, 5
Let r = 51.8 + -48. Let i = r - 1.8. Let p = 0 + -1. Sort i, 0.2, p in decreasing order.
i, 0.2, p
Suppose 0*d + 6 = -3*d. Sort -3, d, 3, 2 in descending order.
3, 2, d, -3
Let o = 11 + -10. Let u = -1168/11 + 106. Sort 3, o, u in descending order.
3, o, u
Let z = -2909/104 - -221/8. Put 5, -2, z in increasing order.
-2, z, 5
Let g = 125 + -125.3. Sort g, -2/19, 2/5, -1 in increasing order.
-1, g, -2/19, 2/5
Let s = -1417/161 - -61/7. Let t = -0.8 + -1.2. Let i = 202 - 205. Sort i, t, s.
i, t, s
Suppose 3*d = -2*z + 2, -2*d + z + 21 = 2*d. Let c = -20 - -23. Sort c, 9, d, -1 in decreasing order.
9, d, c, -1
Let l = 8 - 5. Let w be ((-2880)/78)/(-20) + 0 + -2. Sort -0.1, l, w in ascending order.
w, -0.1, l
Let w = -326 + 331. Sort w, -4/3, -1.
-4/3, -1, w
Let v(k) = -k**3 - 6*k**2 - k - 7. Let h be v(-6). Suppose -4*q - 25 = 47. Let y = 15 + q. Put 9, h, y in ascending order.
y, h, 9
Let y(m) = 3*m - 8. Let s be y(4). Let l be (s/(-8))/(3/(-102)). Suppose -2*j + j - b - 6 = 0, 3*b = -2*j - l. Sort j, 0, 3 in decreasing order.
3, 0, j
Let x = -107 + 94. Let m be 25/10*2/4. Put x, m, -5 in ascending order.
x, -5, m
Suppose 0 = 4*b, -102 = c + b - 4. Sort 0, c, -1.
c, -1, 0
Let i be 1*(-32 + 20/(-5)). Let w = i - -41. Put 3, w, 0 in descending order.
w, 3, 0
Let y = -751/10 + 75. Sort -3/8, -14, y in descending order.
y, -3/8, -14
Let d = -19.7 + 23.7. Let w be (-1)/2 - (-3)/(-6). Let j be -2 + -2 - (-1 - w). Sort j, 0, d in increasing order.
j, 0, d
Let p = 0 + 1. Let w = -18 - -15. Let x = 14 + -11. Sort p, w, x.
w, p, x
Let t = -136.8 + 72.5. Let m = t - -64. Put -2/7, -1/5, m, -3/4 in ascending order.
-3/4, m, -2/7, -1/5
Suppose -27*w + 33*w = 12. Sort w, 34, 0 in ascending order.
0, w, 34
Let z = -0.5 - -0.2. Let m = 197.4 - 197.2. Let i = -1 - -1. Sort z, i, m.
z, i, m
Let w be 153/234 - (-20)/(-130). Let t be (-4)/14 + 1/28. Put 2/5, t, w in increasing order.
t, 2/5, w
Let r be -5 + 1 - (29 - 149). Sort r, -3, 4 in ascending order.
-3, 4, r
Let c = 223 - 128. Let b = -95.4 + c. Sort -0.1, -5, b, -0.2 in increasing order.
-5, b, -0.2, -0.1
Let x be (48/(-108) - (-168)/135)*5. Sort 1, 0, x, 94 in decreasing order.
94, x, 1, 0
Let f = -42 + 77. Let m = f + -40. Sort 1, m, -10 in increasing order.
-10, m, 1
Let s(t) = 30*t + 148. Let b be s(-6). Put b, 3, -1 in descending order.
3, -1, b
Let b = -8.42 + 19.42. Sort -17, b, 2 in descending order.
b, 2, -17
Let w = 38 - 40. Let r(y) = 4*y + 7. Let t be r(w). Let x(h) = h - 5. Let s be x(0). Sort t, s, 1 in ascending order.
s, t, 1
Let p = 6.11 - 2.07. Let c = 0.04 - p. Let t = 1.8 - 1.74. Put c, t, 0.3 in increasing order.
c, t, 0.3
Suppose -44*a + 264 = -132*a. Put 4, -47, a, 2 in decreasing order.
4, 2, a, -47
Let g(f) = f**2 + 50*f - 267. Let h be g(-55). Put 2, 83, h in descending order.
83, h, 2
Let s be 5/(-20) - (-1)/4. Suppose 3*y - 2*y - 7 = s. Let m be 7/(-21) - y/15. Sort m, 0.4, -2/21 in descending order.
0.4, -2/21, m
Suppose 9 = 5*h - 1. Suppose y - h + 7 = b, 3*b - 15 = -4*y. Suppose -4*s = -k + 9, -5*s + 5*k - 6 = 24. Sort b, s, -5 in ascending order.
-5, s, b
Let d = 0.31 + -0.01. Let j = -0.61 + 30.61. Let a = j + -33. Sort a, -1/4, d in increasing order.
a, -1/4, d
Let r be (12/(-15) - (-268)/40) + -6. Put r, 4, 18, 2/7 in increasing order.
r, 2/7, 4, 18
Suppose -16*i + 12*i = -4. Put -16, 2, i in decreasing order.
2, i, -16
Let d be -4 + -3 + -5 + 6. Put 1, 0, 49, d in increasing order.
d, 0, 1, 49
Let p = 85.25 + -1.25. Let k = p + -90. Sort k, 4, -0.1, 1 in descending order.
4, 1, -0.1, k
Suppose -3*m + 11 = -a, -3*a - 12 = -4*m + a. Suppose s + 32 = m*k - 3*s, 4*s + 4 = 0. Suppose -1 = 2*t + k. Put t, -1, 4 in ascending order.
t, -1, 4
Let q = -47 + 80. Let c(n) = -n**3 + 3*n - 3. Let p be c(-3). Suppose 0 = 3*k + 5*s + q, k + p = -3*s - 0*s. Sort 0, k, 1 in increasing order.
k, 0, 1
Suppose -12*s - 2*p = -14*s, -4*s - 5*p = -45. Sort -5, 2, 339, s in ascending order.
-5, 2, s, 339
Let i = 37 - 11. Let o be (i/4)/(14/116). Let m = -54 + o. Sort -1, m, 0.1 in descending order.
0.1, m, -1
Let o be 120/72 - (-4)/(-12)*5. Let y be 4/2 + (-1)/(-1). Sort -1, -3, o, y in decreasing order.
y, o, -1, -3
Let b(d) = -d**3 + 7*d**2 - d + 7. Let v be b(7). Suppose v*q = -9*q + 45. Sort -2/7, 0.4, q in decreasing order.
q, 0.4, -2/7
Let c(h) = -h**3 + 14*h**2 - 13*h - 2. Let j be c(13). Put j, -96, -4 in descending order.
j, -4, -96
Let t be (5 - (2 - 6))/(-1). Sort 3, t, 1/2 in decreasing order.
3, 1/2, t
Let h = 136 - 407/3. Put 0, -4, 0.1, h in descending order.
h, 0.1, 0, -4
Let m = 16 + -14. Suppose 9*i = 4*i - 50. Let r = i + 14. Sort m, r, 0 in descending order.
r, m, 0
Let m = 31 - 41. Put 2, -2, m, -4 in increasing order.
m, -4, -2, 2
Let u = -64 - -63.76. Let n = u - -0.27. Sort -0.04, n, 0, -6/5 in decreasing order.
n, 0, -0.04, -6/5
Let s = 222 + -225. Suppose -d = -5*v + 2, 10 = 2*d - 3*d - 3*v. Sort s, -4/5, d, -5 in increasing order.
d, -5, s, -4/5
Let r = -40 - -23. Let f = -754.6 - -754.9. Put -0.3, r, f in ascending order.
r, -0.3, f
Let l = 93 + -68. Put -0.3, l, 3 in decreasing order.
l, 3, -0.3
Let d be ((-20)/(-8))/((-2)/(-4)). Let x = -0.1787 - 0.1213. Sort d, x, -4.
-4, x, d
Suppose -35 + 23 = 6*q. Let s(n) = n**3 + 3*n**2 + n - 4. Let i be s(q). Suppose -t + 0*t - 1 = 0. Sort -4, t, i in increasing order.
-4, i, t
Let n be -1*3 - 6/3. Let s be 9*2/15*5. Suppose -2*z + 3*z + j = 2, 3*z - j = -s. Sort 4, n, z in increasing order.
n, z, 4
Let z(p) = -p**3 - 32*p**2 + 37*p + 139. Let d be z(-33). Sort 0.38, -0.2, d.
-0.2, 0.38, d
Let j(q) = 5*q**2 - 16*q - 20. Let s(z) = -z**2 + 3*z + 4. Let y(l) = 2*j(l) + 11*s(l). Let c be y(3). Put -3, c, 5 in ascending order.
-3, c, 5
Let g = 0.8 - 1. Let b be ((-12)/(-10))/((-14)/(-40)). Let r = -26/7 + b. Sort g, r, -3 in descending order.
g, r, -3
Let b = 26.88 + -27. Let j = b - -11.12. Sort 0.4, -0.1, 3, j in decreasing order.
j, 3, 0.4, -0.1
Let h be 2 + (52/(-14) - -2). Let t = -125 - -125.081. Let m = t + 0.119. Put -6/5, h, m in descending order.
h, m, -6/5
Suppose -3*k + o = -14, k + o - 2 = -0*k. Suppose k*u = 48 - 0. Put -4, 0, u, -3 in descending order.
u, 0, -3, -4
Let h(n) = n + 14. Let t be h(-11). Suppose -3*m = -10*m + 35. Put t, 0, 1, m in decreasing order.
m, t, 1, 0
Let g = -17465/44 + 2383/4. Let f = 199 - g. Let q be 4/(-3 + 15 + -2). Sort f, 9, q in ascending order.
f, q, 9
Let k = 61.9 - 60. Let r = k - 2.1. Put -5, r, 5/3, 0.2 in descending order.
5/3, 0.2, r, -5
Suppose 0 = 34*q - 48*q - 14. Put q, -21, -10 in ascending order.
-21, -10, q
Let 