 + 5*v = d, -3*v = -2*d. Suppose d = 3*g + 12 - 0. Put 4, 3, g, f in descending order.
4, 3, g, f
Let v(s) = -5*s - 12. Let o(m) = 4*m + 11. Let b(u) = -3*o(u) - 2*v(u). Let h be b(-7). Let y = -10 + 9.7. Put -2, h, -1, y in descending order.
h, y, -1, -2
Let z = 472.5 + -472. Let r(l) = -1 + 3*l**2 - 2*l**2 + 0*l**2 + 2*l**2 - 4*l. Let w be r(3). Put w, -0.2, z in descending order.
w, z, -0.2
Let j = 19492/3 + -6497. Sort -0.1, -2, j, 5/6, -8 in decreasing order.
5/6, j, -0.1, -2, -8
Let o(z) = -2*z + 59. Let w be o(27). Suppose -w*g - j + 2*j = -4, -2*g + 2*j + 8 = 0. Put g, -7, 3 in descending order.
3, g, -7
Suppose -5*m = 42 - 52. Suppose 0 = m*v + 2 - 8, -23 = -5*d - v. Sort 6, d, 5.
d, 5, 6
Let m = -15645 - -15642. Suppose 6*c - 2*c + 4*l = 12, -5*c + 11 = l. Sort m, 4, -5, c in increasing order.
-5, m, c, 4
Suppose 0 = -4*r - 4*w + 80, 0 = 6*r - 5*r - w - 10. Let n be 8/(-16) + r/18. Sort -5, n, 58, 2 in decreasing order.
58, 2, n, -5
Suppose 13*i + 40 = 23*i. Let u be 3/(-2)*(-4)/6. Let f be (-20)/(-1100) + u/(-5). Sort f, i, -0.3.
-0.3, f, i
Let a be (5 - 4)/((-1)/(-5)). Suppose -5*q - 8 = -7*q. Suppose -2*b - 5 = -k, -b - q*k - 11 = 5. Sort 2, a, 3, b in ascending order.
b, 2, 3, a
Let d(m) = -21*m - 21. Suppose -44*s + 20*s = 24. Let a be d(s). Put 0.1, 1/13, a in decreasing order.
0.1, 1/13, a
Let j = -94 - -90. Let v be (6/(-57))/((-2)/j). Put v, -2/9, 2/9 in increasing order.
-2/9, v, 2/9
Let f(d) = 94*d + 18. Let r be f(-3). Let x = r - -263. Put -5, -3, 8, x in descending order.
8, x, -3, -5
Let d be ((-392)/10)/(16/640). Let f be (5/((-100)/(-6)))/((-21)/d). Let c = -22 + f. Sort c, 3, 0.04, 3/7 in ascending order.
0.04, c, 3/7, 3
Let j = 16427/14 + -2347/2. Put j, 1/18, 0.6 in decreasing order.
0.6, 1/18, j
Let x(y) = y**3 - 7*y**2 + 2. Let w be x(7). Let l = -0.0543 + -2.9457. Sort -5, w, -3/4, l in increasing order.
-5, l, -3/4, w
Let p = 8 - 170/21. Let a = 27 + -29. Let j = 75.29 - 78.29. Put a, j, p, -3/7 in descending order.
p, -3/7, a, j
Let v be 6/14 + 8/14. Suppose -4*t + 13 - v = 0. Suppose -q - 9 = w, q - w = t*q + 13. Sort q, -6, 5.
-6, q, 5
Let d = -1/60 - 113/420. Let x(m) = 13*m + 13. Let h be (-16)/(-40) + 21/(-15). Let w be x(h). Sort -3, w, d, -2 in ascending order.
-3, -2, d, w
Let v = 3137 - 3105. Put 0.07, v, 1 in ascending order.
0.07, 1, v
Let p(s) = -4*s**2 - 11*s + 2. Suppose 4*u - 5*u + 5*y - 10 = 0, -2*y + 26 = 4*u. Let n be p(u). Let h = -1221/8 - n. Put -5, 5, -0.2, h in descending order.
5, h, -0.2, -5
Suppose 5*d = 5*f, d - f = 4*f - 20. Let a = -2.9989 + 3.9989. Sort a, 0.2, d in descending order.
d, a, 0.2
Suppose 5*r + 5*t - 195 = 0, -145 = -5*r - t + 6*t. Let q be (2/4)/((-153)/r)*2. Sort q, 52, -3/4 in increasing order.
-3/4, q, 52
Let y(r) = -r**2 + 155*r + 1302. Let t be y(-8). Let f(q) = q**3 + 3*q**2 + q + 4. Let w be f(-4). Let d be (-3)/(-4)*w/(-42). Sort d, -1, t, 3/7.
t, -1, d, 3/7
Suppose -5*b + 4*c + 13 = c, -5 = -3*b - c. Let x = 4 - b. Let a(f) = f**3 - 2*f**2 - 15*f - 6. Let r be a(5). Sort r, -2, x, -5 in decreasing order.
x, -2, -5, r
Let j = 5 + -5. Suppose -2*u - 25 = 3*u. Let q be 34/(-60) + 16 + (-1560)/100. Put u, q, j, 8 in decreasing order.
8, j, q, u
Let s = 61 - 56. Let a be ((-46)/s)/((-61)/(-305)). Sort -1, -5, 1, a.
a, -5, -1, 1
Suppose -12 = 5*o + 8. Suppose -2*p + 27 = -5*y, 103*y - 27 = 104*y - 4*p. Put -1, o, 2, y in increasing order.
o, y, -1, 2
Let o = 13183.8 - 13184. Let k = -0.05 + 0.65. Let d = k + 0.4. Sort d, -5, 0.1, o in increasing order.
-5, o, 0.1, d
Let r(h) = h**2 - 9*h - 12. Let c be r(10). Let f be (-10)/c + (-4 - 21/7). Sort 0, f, 4 in ascending order.
f, 0, 4
Let o(b) = -b**2 + 6*b - 4. Let a be o(6). Suppose 0 = 2*y + 4*y + 804. Let x = y - -129. Put a, -3, x in decreasing order.
-3, a, x
Let y = -69.34 + 69.24. Put 0.2, 0.6, y, -0.5, 4 in increasing order.
-0.5, y, 0.2, 0.6, 4
Let i = 96 - 71. Let w = 13.86 + -13.56. Sort i, 0.4, w, -2/3 in decreasing order.
i, 0.4, w, -2/3
Suppose 4*n + 39*t - 89 = 34*t, -3 = t. Suppose -2*z = n*z + 84. Let w be 0 + -1 + 2 + 1. Put 14, w, z in decreasing order.
14, w, z
Let r = 10793 - 10800. Suppose -v - 4*v = 30. Put r, -0.1, v in decreasing order.
-0.1, v, r
Let y = 3613 - 3612. Sort -4, -5, 6, 3, y in ascending order.
-5, -4, y, 3, 6
Let k = 1.1 - -0.9. Let i(h) = -5*h - 3. Suppose -w = -3*w + 2*l, 5*l = 0. Let t be i(w). Put k, -0.3, t in increasing order.
t, -0.3, k
Let w = 824891 + -308509431/374. Let c = 9/22 + w. Sort 3, 29/5, c.
c, 3, 29/5
Suppose 3*c + 5*l = 37, 5*c + 2*l + 0*l = 30. Let g be 12/(-30 - -42) - (2 + -4 + -26). Sort c, 2, g, -2.
-2, 2, c, g
Let v = -18/95 + -4/19. Let p = 15573/35 + -445. Put 4, p, 0.4, v in ascending order.
v, p, 0.4, 4
Let b = -2971 - -2966. Sort -2, 0, -14, b in descending order.
0, -2, b, -14
Let a = -40490/3 + 13499. Put -11, a, -5, 0.4 in increasing order.
-11, -5, 0.4, a
Suppose 120 + 77 = -161*b - 447. Let k = -0.1 - 0.2. Put -1, k, -0.2, b in decreasing order.
-0.2, k, -1, b
Let x = -5881 - -5880.9. Suppose -5*p + 86 = -3*w - 69, -5*p - 195 = 4*w. Put w, 1/9, x in decreasing order.
1/9, x, w
Let p be 2/3 - (344/(-3))/2. Let i = -1115 + 1114.5. Sort i, p, 2 in ascending order.
i, 2, p
Let l = 3507 - 3503.827. Let h = l - 0.173. Sort -4, -0.1, 5, h in increasing order.
-4, -0.1, h, 5
Let p = -0.1 + 0.2. Suppose -3*m - 7 = 5*g - 42, 0 = -2*g - 2*m + 18. Suppose -k + 2*h = -8 - 4, -28 = -g*k + 4*h. Put -2, k, p in decreasing order.
k, p, -2
Suppose 13*t - 5*t = -406 + 366. Suppose -2*x + 0 = 2. Sort x, -18, -4, t in descending order.
x, -4, t, -18
Let x be (-1)/((-1)/(-6))*7/(-14). Sort -5, -8, 4, x in increasing order.
-8, -5, x, 4
Let k = 12356 - 61777/5. Put -0.1, 5, k, -1/2, 2 in descending order.
5, 2, k, -0.1, -1/2
Suppose 25 = q + 41. Let u be q/(-12) - 8/(-12). Sort u, -2, 5 in decreasing order.
5, u, -2
Suppose 8*z + 2*v - 7 = 13*z, -4*z + 2*v = 8. Put 3, 29, z in descending order.
29, 3, z
Let c(y) = -2*y + 22. Let r be c(11). Suppose -4*p - 2*p - 36 = r. Put p, -5, -2 in decreasing order.
-2, -5, p
Let z be (-387)/602 + (-2)/(-14). Let g = -2/171 - -73/1368. Put g, 1/2, z in decreasing order.
1/2, g, z
Let z = 1083 + -1085. Put 0, z, -6, -4, 1 in increasing order.
-6, -4, z, 0, 1
Let n(x) = x - 5. Let a(p) = p**3 + 10*p**2 + 9*p - 10. Let f be a(-9). Let j be n(f). Let v(i) = -i - 13. Let h be v(j). Put h, -1, 3, -8 in increasing order.
-8, -1, h, 3
Let f(p) = -p + 21 + 3*p + 0*p. Let x be f(-12). Suppose -i = i. Sort 3, i, x.
x, i, 3
Let x(p) = -p**3 - 2*p - 30. Let j be x(0). Let y = 37 + -38. Let q be (-1)/(-2*(-1)/2)*2. Put y, 4, j, q in ascending order.
j, q, y, 4
Let h = -668.3 + 668.1. Sort h, -2/5, -205, -3.
-205, -3, -2/5, h
Suppose -5*s + 6*s = -5*t - 1, -4*t + 1 = -s. Suppose -8*k - 6*k - 21*k = k. Sort 65, s, k, 3.
s, k, 3, 65
Let h = 538 + -540. Sort 11, h, -3 in descending order.
11, h, -3
Let l = -6584 - -6590. Sort -3, 0, 1, l in decreasing order.
l, 1, 0, -3
Let a = -3/278491 - 1231765654/3620383. Let h = a + 340. Sort -1/2, h, -0.4 in decreasing order.
h, -0.4, -1/2
Let h = 4174 - 4179. Sort h, 2, -20, -3, -2 in descending order.
2, -2, -3, h, -20
Let f = 0.04 - -1.96. Let o be 3/(-48) + 1 + -1. Let a(y) = -y**3 + 57*y**2 - 54*y - 111. Let z be a(56). Sort z, 0, o, f in descending order.
f, z, 0, o
Let f be (-1 - (-11 + 9))/(-2 - -1). Let u(g) = 3*g**3 + 4*g**2 + 3*g + 2. Let w be u(-2). Sort f, w, 2.
w, f, 2
Let f = -34.51 + 34.81. Sort 0.9, f, -210.
-210, f, 0.9
Let h = 13.12 + -16.02. Sort h, 0, 5 in descending order.
5, 0, h
Let t be ((-2)/60*(-269 - -263))/((-3)/10). Put -4, t, 2, -0.271 in increasing order.
-4, t, -0.271, 2
Let q = 0.174 + -2.544. Let d = -0.63 + q. Put -11, d, 5 in descending order.
5, d, -11
Let x be 133/57 - (-3 - -5). Sort -1300, -4, x in descending order.
x, -4, -1300
Let s = 415/6 - 70. Let d be ((1496/(-102))/11)/(((-2)/3)/(-1)). Put 5, -5, d, s in increasing order.
-5, d, s, 5
Let i be (18/24)/(4/(-16)). Let j be (-9 - -6)/(-2 + -1)*i. Put -40, -4, j in increasing order.
-40, -4, j
Let z = 13/119 - -54/595. Sort 2.7, z, -0.06 in decreasing order.
2.7, z, -0.06
Let k(f) = 6*f**3 + 26*f**2 - 37*f - 176. Let n be k(-4). Sort n, 0.4, -2.5.
-2.5, 0.4, n
Suppose -3 - 5 = -4*g. Let q(z) be the second d