= z. Let s(v) = -v**2 + 14*v + 21. Let n be s(15). Suppose -4*i - 6*g = -2*g - 4, -g = 2*i - n. Sort i, z, 4 in descending order.
i, 4, z
Suppose 0 = 3*a - 4*a - 31. Let l = a + 13. Let x = -16 - l. Sort x, -5, -4 in increasing order.
-5, -4, x
Let l = -26 - -31. Let d be 12/(-8)*4/2. Let a = -27/11 + 373/143. Sort l, a, d.
d, a, l
Suppose u = w + 27 + 33, 0 = -u. Let s be (-438)/(-5) + 36/w. Let p be -2 - 1 - s/(-27). Sort p, -0.5, 2/5.
-0.5, p, 2/5
Suppose -w = -3*n + 9 + 2, 0 = -2*n + 4*w + 24. Sort 40, -4, n in descending order.
40, n, -4
Let c = 5.22 + 4.66. Let s = 10 - c. Let u = -0.62 + s. Put 0.09, u, -3/4 in descending order.
0.09, u, -3/4
Let r = 50 - 48. Let o = r + 1. Put 7, -1, o, -2 in ascending order.
-2, -1, o, 7
Let h = -2/25 - -79/50. Sort -10, -0.4, h, -1/5.
-10, -0.4, -1/5, h
Let i = -214 - -219. Sort -3, i, -5, -2 in ascending order.
-5, -3, -2, i
Suppose -8 = 4*b + 4*u, b - 2*u = -11 + 18. Suppose 0 = 2*o + 2*p - 14, -5*o - 2*p + 7*p - 5 = 0. Sort -3, b, -4, o.
-4, -3, b, o
Suppose 5*o - 24 = -4. Let l = -87 - -1477/17. Sort o, 0.1, l in decreasing order.
o, 0.1, l
Suppose 76 - 26 = -10*g. Suppose -19 = -5*m + 3*f, 3*m = -0*m - 2*f. Sort m, -1, g in descending order.
m, -1, g
Suppose 54*l + 19 = 181. Suppose -3*z - 2*z = 25. Put l, z, 0, 2 in ascending order.
z, 0, 2, l
Let m be 9/9*(6 - 1). Let s be (1 + -6)*(-1 - (m - 7)). Let v be 1 - 1/1 - -1. Put v, s, 5 in decreasing order.
5, v, s
Let g = 42.5 + -18. Let k = g - 24. Sort -0.4, k, -1 in decreasing order.
k, -0.4, -1
Let k(s) = 13 + s**2 - 3 + 176*s - 169*s. Let q be k(-2). Sort q, -24, -2.
-24, -2, q
Let u(q) be the first derivative of -q**3/3 - 7*q**2/2 + 8*q - 5. Let c be u(-8). Suppose -2*m + 3*m + 2 = c. Put 4, 0, m in descending order.
4, 0, m
Let j be ((-486)/9)/(6/4). Let k be 162/j*(-8)/18. Suppose -k*r = r. Sort -2, -4, r.
-4, -2, r
Let o be 14/18 + 3/((-3)/1). Let d = -141 + 419/3. Put -0.2, d, o in decreasing order.
-0.2, o, d
Let v = 1 + -2. Let i be 8/(4/(-8)*-2). Suppose 4 = 12*s - i. Sort v, s, -6 in increasing order.
-6, v, s
Let x be (-1*(-1)/(-10))/((-78)/(-195)). Sort 1/12, x, 0.4, 1/7.
x, 1/12, 1/7, 0.4
Let i = -10 - -26. Let m = 16 - i. Let x be (8/(-12))/(2/(-6)). Sort m, x, -9 in decreasing order.
x, m, -9
Let o be (-2)/10 - (-1)/5. Suppose -56*d + 3 = -53*d. Let a be 3 + (-2 + 3)*2. Sort o, d, a in decreasing order.
a, d, o
Let b = -0.26 - 0.14. Let g = -73 + 802/11. Sort b, 3, 4, g.
b, g, 3, 4
Suppose -4*n = s + 9, -3*s = 3*n - 5 + 14. Suppose j = -3*r - 9, 5*r + 7 = -72*j + 73*j. Put s, r, 0, 5 in descending order.
5, 0, s, r
Let p(r) = -r**3 + 5*r**2 + 4*r - 9. Let s be p(4). Suppose -79 + s = 14*g. Sort 5, -2, g in descending order.
5, -2, g
Let v be -1*2 - -1 - 1. Let x = -246.6 + 247. Put v, -0.3, x, 5 in increasing order.
v, -0.3, x, 5
Let m = 0.4956 - 0.0956. Sort 3/4, 24, m, 12 in decreasing order.
24, 12, 3/4, m
Let n = -5 - -8. Suppose 3*r + n = -3. Let w = 111/4 + -28. Put w, 0, r in descending order.
0, w, r
Let v = -17 + 28. Let y = v + -1. Let r(m) = -m**2 + 9*m + 10. Let z be r(y). Sort -5, z, 1 in ascending order.
-5, z, 1
Let k be ((-2)/(-4))/((-7)/(-140)). Suppose -5*n + 6*z - 4*z = -50, k = n + z. Let b = 15 - n. Sort b, -6, -3.
-6, -3, b
Let a = 152 - 151.9. Sort a, 4, 108 in decreasing order.
108, 4, a
Let o = -0.19 - 3.41. Let q = o - -3.3. Sort q, -1/4, -3 in descending order.
-1/4, q, -3
Let a be ((-4)/6)/((-1)/(-147)). Let p be (-54)/(-15) - 3 - a/(-5). Sort p, 4, 1 in descending order.
4, 1, p
Let o = 2.3 - -0.7. Let h = 83.9 + -84. Sort o, -4, 8, h in ascending order.
-4, h, o, 8
Suppose -14*j = 14 + 14. Let u be 4/5*(-3 - -1) - j. Put -2/3, 3, 0.1, u in descending order.
3, u, 0.1, -2/3
Let n = -478 - -480. Let t = 21 - 22. Put -2/9, t, n, -1/2 in increasing order.
t, -1/2, -2/9, n
Let g = -2 + 1.8. Let u = 1165/12 + -459/4. Let a = -19 - u. Sort g, a, -3 in increasing order.
-3, a, g
Suppose 5*v = 2*v + 3. Let z(a) = a - 5. Let w be z(9). Suppose 0 = j + w*j + 15. Sort j, 4, v in ascending order.
j, v, 4
Suppose m - 8 = 5*m. Let k = 2148 - 2149. Sort k, 0, m, 3 in ascending order.
m, k, 0, 3
Let m = 6 - 0.1. Let y = m - 7. Let a = y + -2.9. Sort 3, -1/5, a in ascending order.
a, -1/5, 3
Suppose 3*j - 5*l - 58 - 35 = 0, 0 = 3*j - 3*l - 93. Sort j, 8, -4 in ascending order.
-4, 8, j
Suppose i = -0*i + 5*p - 22, 0 = 3*i - 2*p + 1. Let d be 1/(i/(-1 - -7)). Sort d, 0, 19.
0, d, 19
Let u be ((-4)/36*-8)/(4/18). Let p = 1 + -4. Put p, -2/43, u in decreasing order.
u, -2/43, p
Let b = 3 - 11. Let i = 26.1 + 2.9. Let v = i + -31. Put -0.1, v, b in descending order.
-0.1, v, b
Let m = -5 - -7. Suppose 0 = -8*k + m*k. Suppose 4 = 2*p, 2*t + 2*p + 2*p - 12 = k. Put t, -2, -3 in descending order.
t, -2, -3
Let y = 0.432 - 0.032. Put -2/15, -2, -18, y in ascending order.
-18, -2, -2/15, y
Let r = 670 - 16747/25. Put 0.3, r, 1/4 in descending order.
0.3, 1/4, r
Let s(f) = -8*f**2 - 463*f + 53. Let y be s(-58). Sort 0, -0.1, y, -1.2 in descending order.
0, -0.1, -1.2, y
Suppose 0*z + 51 = -3*z. Let j(y) = -y**2 + 17*y + 310. Let l be j(-11). Put 3, l, z in decreasing order.
3, l, z
Let h(g) = g**3 - 30*g**2 + 129*g - 105. Let s be h(25). Sort s, -4, 5, -1 in ascending order.
s, -4, -1, 5
Let y = -114 + 199. Let q be (-17)/(-5) - (-51)/y. Let c be (-3)/2*(2 - q). Put c, -3, 2 in decreasing order.
c, 2, -3
Let f(t) = 2*t**3 + 3*t**2 - 1. Let u be f(-2). Let v = -1321/12 + 110. Let j = 236/565 + -2/113. Sort v, j, u in descending order.
j, v, u
Let b(i) = -12*i**2 - 6*i**3 - 7*i - 12*i + 8 + 5*i**3. Let g be b(-10). Sort g, 0, -6 in descending order.
0, g, -6
Suppose -1 = -4*g + 23. Let y be 20/(-12)*(-6)/5. Suppose g*k - y = 4*k. Sort -3, k, 0 in increasing order.
-3, 0, k
Suppose 0 = 2*g + 4*d - 12, -7*g - 16 = -3*g - 2*d. Let t = -33 - -32. Let z = t + 5. Put z, g, 1 in increasing order.
g, 1, z
Suppose 4*z + 2*m = 4, 3*m - 5 = -1589*z + 1584*z. Let d = 1.7 + 0.5. Let t = d - 2. Put 5, z, t in decreasing order.
5, z, t
Let a = 1.064 + -5.064. Sort -57, -0.3, a in descending order.
-0.3, a, -57
Let i = 570 - 570.4. Put 5, 1/7, -0.118, i in ascending order.
i, -0.118, 1/7, 5
Let g(i) be the first derivative of 3/2*i**2 + 5 + 1/3*i**3 + 2*i. Let q be g(-3). Sort q, -1, -4 in ascending order.
-4, -1, q
Let t be 2/((0 + 1)*10/(-265)). Put 4, 5, t in descending order.
5, 4, t
Let w(q) = q**2 - 16*q + 62. Let k be w(10). Sort 0.4, k, 0.5 in decreasing order.
k, 0.5, 0.4
Let g = 3 + -5. Let w = 7150 - 7154. Put 5, w, g in decreasing order.
5, g, w
Let n = -395 - -375. Sort n, -4, -2.
n, -4, -2
Let o(s) = 11*s + 7. Let i be o(0). Sort 5, i, -4.
-4, 5, i
Suppose 2 = 4*t - 10. Suppose 0 = 2*g - 10, 133*g = -d + 131*g + 11. Sort -1, t, d in decreasing order.
t, d, -1
Suppose 6*y - 141 = -135. Put 5, y, 0 in ascending order.
0, y, 5
Let w = -2/4301 - -8628/55913. Put 4/3, w, -4, 2/3 in decreasing order.
4/3, 2/3, w, -4
Let w be ((-8)/70)/((-216)/(-84)). Put 0, -2, 0.4, w in increasing order.
-2, w, 0, 0.4
Let y = -36.2 + 15.9. Let m = -20 - y. Let s = 0.04 - 0.14. Put m, 5, s in increasing order.
s, m, 5
Suppose -286 = -22*u - 198. Sort 3, 128, u in ascending order.
3, u, 128
Let r = -5 - -2. Let y(g) = g**2 + 7*g + 5. Let q be y(-9). Let o be q*(-3)/21 - -3. Sort 0.2, o, r.
r, o, 0.2
Let h = -168328/5 - -33541. Let r = h + 125. Sort r, 0.1, -3 in ascending order.
-3, 0.1, r
Suppose 3 + 0 = x. Suppose -x*k + 15 = 3*i, 5*k + 2*i = 2*k + 14. Let w be 2/15*-3 + (-4)/(-10). Sort w, 2, k in ascending order.
w, 2, k
Suppose -4*b + 3*b - 2*l - 6 = 0, 2*l - 2 = b. Suppose 0 = -5*o - 25, 10*c + 5*o + 19 = 7*c. Sort c, -5, b.
-5, b, c
Let d be 2/(-6) - 80/(-15). Suppose 19 = -3*t + 5*y, -t - 3*t + d*y = 17. Let c be 3 + (3 - t)*-3. Put -4, 2, c in descending order.
2, c, -4
Let h be (-5)/(-30) + 15/(-36). Sort 1, h, 3.
h, 1, 3
Suppose r = 4*r + 9. Suppose 0 = 4*k + 8. Let t be 16/6*(-36)/(-24). Put r, k, t in descending order.
t, k, r
Let h = 692 - 710. Put -3, -6, h in ascending order.
h, -6, -3
Suppose -5*h = -5, i - 2 - 1 = -3*h. Suppose -2*d = d - 3. Suppose 5 = -v - 0*v. Sort i, d, v in descending order.
d, i, v
Let n(b) = 8*b - 150. Let p be n(17). Put -3, -5, p in increasing order.
p, -5, -3
Let v = -0.65 + -33.35. Put -4, 2/15, v in dec