 27. Sort v, 1, q in decreasing order.
q, 1, v
Let u(t) = 2*t + 22. Let o be u(0). Suppose 20*x - o*x = 0. Put x, 9, 4 in ascending order.
x, 4, 9
Suppose 0 = 5*s - 0*s - 20. Suppose s*b - 10 = 2*b. Suppose 1 = b*m + 11. Sort 4, m, 0.1 in increasing order.
m, 0.1, 4
Let s be (-3)/(-9) - 13/((-351)/261). Put s, -1, 4, 7 in descending order.
s, 7, 4, -1
Let n = -1 + -30. Let y = 12 + n. Let h = y - -20. Put h, 5, 0.3 in descending order.
5, h, 0.3
Suppose 4*x - 5*h - 4 = 11, 0 = -3*x - 3*h + 45. Suppose -2*n = -5*r + 16, -3*r + n + n = -12. Suppose -x = r*f - 4. Sort 0, f, 4 in decreasing order.
4, 0, f
Let s(x) = x**2 - 10*x + 7. Let n be s(9). Put 5, -3, 1, n in decreasing order.
5, 1, n, -3
Suppose 7 + 11 = 9*a. Sort 1, a, -87, 5 in increasing order.
-87, 1, a, 5
Suppose -2*v - k = v - 10, -5*k = 2*v + 2. Let s = -6 - -28. Let q = s - 27. Put q, -0.6, v in ascending order.
q, -0.6, v
Let l = -49 + 0. Let c = l - -48. Put c, 5, 1, -1/2 in increasing order.
c, -1/2, 1, 5
Let x(s) = 2*s**3 - 4*s**2 + 2*s + 2. Let v = -20 - -22. Let c be x(v). Suppose c = 4*m - 2*m. Put -1, 1, m in decreasing order.
m, 1, -1
Suppose 0*h + 3*h + 12 = 0, -3*h - 8 = p. Suppose p*x = 7*x + 3. Put 3, 2, x in decreasing order.
3, 2, x
Suppose 83 + 62 = 183*n - 38. Let s = -30 - -50. Let b = 16 + -11. Put s, b, n in descending order.
s, b, n
Let r(i) = 2*i - 7. Let t = -28 - -21. Let f(h) = h**2 + 6*h - 1. Let y be f(t). Let u be r(y). Sort -4/5, u, -4 in increasing order.
-4, -4/5, u
Let c = -99 - -104. Let i = -3.6 - -3.5. Put i, -4, c, 0 in descending order.
c, 0, i, -4
Let b = 4.9 + -4.6. Suppose -g = 2, -5*q + 66 = -7*q - 2*g. Put q, -0.3, b, 1 in ascending order.
q, -0.3, b, 1
Let t = -1388 + 1387.94. Sort 66, t, 2.
t, 2, 66
Let s(a) = -104*a**2 + 102*a - 1. Let g be s(1). Let c be (1/(-2))/(1/(-6)). Put c, 5, g, -4 in decreasing order.
5, c, g, -4
Let o = 0.37 - -32.63. Let r = o + -31. Sort r, 2/13, -3.
-3, 2/13, r
Let c = 3 + -4.4. Let v = 34437 - 34439. Put c, v, -2/7, 0.3 in ascending order.
v, c, -2/7, 0.3
Suppose -93 = 133*f + 40. Put f, 4, 1, -5 in descending order.
4, 1, f, -5
Let t be -22*(8 - 4)*(-1)/2. Let k = -49 + t. Sort 4, k, 0.4, 0.05 in descending order.
4, 0.4, 0.05, k
Let h(w) = -8*w - 58. Let k be h(-9). Sort k, -2, 2 in descending order.
k, 2, -2
Let y(g) = -g + 6. Let b be y(-3). Suppose -10*d + b + 31 = 0. Sort 0, 8, 3, d in increasing order.
0, 3, d, 8
Let k = -4 - -3.5. Let r = -0.39 - 5.61. Let y = 4 + r. Put y, -4/3, k in descending order.
k, -4/3, y
Let x = -6 + 3. Let o(i) = 2*i**2 - 7*i + 6 + 9*i - 3 - 2*i**3 - 2. Let u be o(-1). Put -5, u, x in ascending order.
-5, x, u
Let p = -8.5 + 3. Let d = p + 5.6. Let o = -0.2 + -0.1. Sort d, o, 0.3 in decreasing order.
0.3, d, o
Let c = 8 - 5. Suppose 294*b - 14 = 308*b. Sort c, -4, 0, b.
-4, b, 0, c
Let n = -515 + 516. Let v = -6 + 11. Sort n, 12, v in decreasing order.
12, v, n
Let r = -2037 - -2040. Put r, 2, 81 in ascending order.
2, r, 81
Let i = -98 + 99. Let d be (17/(-51))/(i/(-1)). Put -0.3, d, -2, -5 in descending order.
d, -0.3, -2, -5
Suppose 0 = 4*m - 5*s + 45, 3*m + 4*s = 2*m + 15. Put m, 0, -3, -4 in descending order.
0, -3, -4, m
Let p = 47.1 + -47. Put p, 3/5, -1.2, -0.3 in decreasing order.
3/5, p, -0.3, -1.2
Let f = -723 + 722.5. Sort f, 0.087, 2 in descending order.
2, 0.087, f
Let c = -30 - -30.19. Let g = c + -0.36. Let f = g - -0.27. Sort f, 2/9, -0.06 in ascending order.
-0.06, f, 2/9
Let j = -208 - -208. Put j, 3, -5, 6 in descending order.
6, 3, j, -5
Let k(c) = c**3 + 5*c**2 + c + 2. Let j be k(-5). Sort -12, -1, j in increasing order.
-12, j, -1
Let g = -61 + 56. Suppose 4*k - 32 = -24. Put -3, 0, g, k in descending order.
k, 0, -3, g
Let l(r) = r + 1. Let j be l(2). Suppose -j*a = -12 + 3. Let o = 1.1 - 1.3. Put a, o, 0 in descending order.
a, 0, o
Suppose -b = 4*l - 27, -l - l + 4*b = 0. Let m(w) = 4*w - 3. Let z(y) = -7*y + 8. Let q(u) = -5*m(u) - 3*z(u). Let o be q(l). Put 2, -4, o in decreasing order.
2, o, -4
Let u = 6.25 + -2.25. Sort u, 7, -5 in increasing order.
-5, u, 7
Let h = 3 - 2.8. Let m(a) = a + 6. Let o be m(-5). Put o, h, 2 in descending order.
2, o, h
Let r = -167 - -168. Sort -3, r, 259 in ascending order.
-3, r, 259
Let u = 0.471 - -19.529. Let n = -35 + 58. Let m = n - u. Put m, 0.09, 2/11 in increasing order.
0.09, 2/11, m
Let t be (-40)/32*4 + 10. Suppose z - 3 = -0. Suppose 3*y = 5*r, z*r + 40 = -5*y - 2*r. Sort t, y, -1 in descending order.
t, -1, y
Let q = -95.5 - -93. Let n = q - -1.5. Sort 5/7, n, -0.3 in ascending order.
n, -0.3, 5/7
Let c = 4 - 3.7. Suppose 5*l - 2*y = -1, 5*l + 5*y - 9 = -24. Put -1/4, l, -4, c in increasing order.
-4, l, -1/4, c
Let n = -877 - -9649/11. Sort -4, n, -8/43.
-4, -8/43, n
Suppose 1 = -2*t + 5. Let y be t + (-2 - 10*-1). Put 2, y, 5 in decreasing order.
y, 5, 2
Let l = 0.39 + -4.39. Let c = -4 - l. Sort 1/6, c, -0.3.
-0.3, c, 1/6
Let x = -0.4 + 0.4. Let b = 161 + -161.06. Sort 0.3, 5, b, x in descending order.
5, 0.3, x, b
Let u = 285.4 + -285. Put 0, 17/3, -1, u in descending order.
17/3, u, 0, -1
Let j = 466 - 447. Put -2, 5, j in descending order.
j, 5, -2
Let t be 1 - -1 - (-17)/(-8). Let w = 266 + -255. Sort t, w, 5.
t, 5, w
Let o(d) = 3*d**2 + 11*d. Let a be o(-4). Put a, -2, 13 in decreasing order.
13, a, -2
Let g be (6/(-10))/1 - -1. Let t = -0.7 - -0.662. Let k = t + -0.462. Put g, -5, k in descending order.
g, k, -5
Let t = 0.7 + -3.7. Let a = 332.8 + -333. Put t, 0.4, a, 8 in descending order.
8, 0.4, a, t
Suppose 54 = -2*q - q. Let s be (q/4)/(18/(-96)). Let j be ((-2)/s)/((-1)/3). Put 1, -1/4, j in increasing order.
-1/4, j, 1
Let t(g) = -g**3 + 6*g**2 + 5*g - 14. Let h be t(6). Suppose -5*w - 24 - h = 0. Put -4, w, 2 in decreasing order.
2, -4, w
Suppose 0 = -2*g - 2*g + 4. Suppose -7*a - v - 3 = -9*a, 0 = 3*v - 9. Sort a, g, 11 in descending order.
11, a, g
Let t = -137 + 133. Sort 1, t, -2, -3.
t, -3, -2, 1
Suppose -3*i = 4*a + 3 + 8, -23 = 4*a - i. Let b = 28 - 22. Let l be 1/1*((-4 - -8) + -6). Put b, a, l in decreasing order.
b, l, a
Let w = -694 + 695. Put w, -80, -3, 4 in ascending order.
-80, -3, w, 4
Let r = -1432.8 + 1433. Let d = 0.3 - 0.5. Put d, r, -5, 2 in descending order.
2, r, d, -5
Let z = 96/235 + -2/235. Let b = -1 + 0.5. Sort 1, b, 2/7, z in ascending order.
b, 2/7, z, 1
Let v(y) = -12*y - 316. Let m be v(-22). Sort m, 3, -3, 2.
m, -3, 2, 3
Let d = -0.3 - 7.7. Suppose 2*h - 8 = 0, 26 = -5*p + 2*h + 2*h. Put -1, -5, d, p in decreasing order.
-1, p, -5, d
Let i = -0.09 - 11.61. Let f = i - -11.8. Sort f, 8, 5 in descending order.
8, 5, f
Suppose -4*x - 16 = -4*n, 5*x - 4*n = 4*x - 16. Sort 7, x, -6, 4 in ascending order.
-6, x, 4, 7
Let g(m) = -m**3 - m**2 + m + 112. Let z be g(0). Suppose 12*i = -352 + z. Put 2, i, 4 in descending order.
4, 2, i
Let s be 36/20*(-65)/(-39). Put -4, -2, 10, s in descending order.
10, s, -2, -4
Let f = 162.01 + -162. Let q = 0.12 + -0.1. Let z = f + q. Put 0.5, z, -2/7 in decreasing order.
0.5, z, -2/7
Let q be 3 - (78/(-162))/(2/(-12)). Let n = 11 + -8. Put -1, q, n in descending order.
n, q, -1
Let o = 90 - -75. Put 0, -2, o in ascending order.
-2, 0, o
Let f = -0.085 - 0.065. Let b = 0.55 + f. Put b, 0.01, 1/3 in descending order.
b, 1/3, 0.01
Let g = -1 + 0.9. Let y = 139.4 + -139. Sort -4, y, g.
-4, g, y
Let r = 1 + 1. Let g be (-4)/(-20) + 36/(-80). Put -2, r, g, 0.2 in increasing order.
-2, g, 0.2, r
Let d be (-2)/(22/(-24) - (-9)/36). Put d, -4, -3 in increasing order.
-4, -3, d
Suppose 4*w = 3*b + 23, -b = 2*w - 2*b - 9. Suppose r - 2*r - 5 = -y, 0 = 2*r + 5*y + 10. Let a(j) = 4*j + 1. Let i be a(1). Sort r, i, w in descending order.
i, w, r
Let a be 14/(-20) - 110/(-550). Sort 2/3, -19, a, -1/4 in ascending order.
-19, a, -1/4, 2/3
Let p = 4 - 2. Let w be p - 1/(-2)*2. Let h(o) = -9*o + 106. Let g be h(12). Put -3, g, w in descending order.
w, g, -3
Let c = -23.3303 + 0.0303. Let f = -23 - c. Sort -3/5, -6, f in decreasing order.
f, -3/5, -6
Let w = -7 + 4. Let k = -4533 - -4528. Sort w, k, -1, -2 in increasing order.
k, w, -2, -1
Let j be 1/3*2*(-6075)/810. Sort -1, -7, 2, j in descending order.
2, -1, j, -7
Let g(b) = 3*b**3 - 4*b**2 + b + 2. Let v be g(2). Let m = -10 + v. Suppose m*d + 3 = 11. Put 3, 8, d in decreasing o