pose 0 = -z - 4*z + 3*a + 5, -3*a = 15. Put -3/7, z, -2/19, -0.5 in decreasing order.
-2/19, -3/7, -0.5, z
Suppose -4*x = -9*x - 25. Let g = 79/44 - -945/22. Let s = -45 + g. Sort 0, x, s.
x, s, 0
Let p = 2.16 - -0.24. Let r = p - 0.4. Suppose -3*i = -5*n + 35, 0 = -2*i + n - 3*n - 2. Sort 3, i, r in ascending order.
i, r, 3
Let x = -346 + 345. Let d be -2*(2 - 0)/(-4). Sort 1/5, d, -4, x in increasing order.
-4, x, 1/5, d
Let c = -0.34 + 0.25. Let y = 36.09 + c. Let j = y + -38. Sort 4, j, 0.4 in descending order.
4, 0.4, j
Let v = -382459/83760 - 3/5584. Let g = -22/5 - v. Let t = -12 + 21/2. Put -2, g, t in decreasing order.
g, t, -2
Suppose 0 = 3*m - 4 - 8. Suppose -1 = -x - 4. Let a = 32 + -36. Put m, a, x in decreasing order.
m, x, a
Let i(v) = v**2 + 5*v - 8. Let q be i(-7). Let l be (q/(-3) - -3)*-5. Let h be (l/2)/((-2)/(-4)). Put h, -2, 0 in decreasing order.
0, -2, h
Let p = 53.953 + 0.047. Let s = -51 + p. Let h = 7 + -11. Sort h, s, 1/2 in ascending order.
h, 1/2, s
Suppose s - 15 = 3*t + 4*s, 4 = -t - 2*s. Sort t, 1, -3, 4 in descending order.
4, 1, -3, t
Suppose -2*x - 5*s = 12, 0*s = -3*x - 2*s - 7. Sort x, -5, -0.01.
-5, x, -0.01
Let d = -30 + 30. Let q = 10 - 15. Let u be 7 + 26/(-4) - (-5)/2. Sort q, d, u in decreasing order.
u, d, q
Let s = -1.554 + 0.554. Let q be ((-1)/6)/(40/36). Let c = q + 7/20. Put s, -5, c in descending order.
c, s, -5
Let d be (-23 + 11)/(-2 + 4). Let s be ((-2)/d)/((3/(-45))/1). Put 0, -4, s, 5 in descending order.
5, 0, -4, s
Let j(c) = -2*c**2 - 9*c + 1. Let v be 108/(-26) - (-46)/299. Let t be j(v). Suppose -2*g + 6 = 2, 4*g = -4*b. Sort t, b, 3 in decreasing order.
t, 3, b
Let c = 23.5 - 20.5. Sort 51, c, -4, 2 in decreasing order.
51, c, 2, -4
Suppose -2*b + 3*u - 11 = 0, -4*u + 17 + 3 = 0. Suppose -k + 6 = -b. Let o be (k - 5)*4/6. Put 6, o, 1 in increasing order.
1, o, 6
Suppose -3*x + 3 = 3*h - 0, -3*h - 3 = x. Sort h, 4, -7.
-7, h, 4
Let a = -4 - -3. Let l(w) = -76*w + 148. Let o be l(2). Sort 5, o, a in increasing order.
o, a, 5
Let w = -4 + 3. Let a = -43 + 41. Suppose -3*g - 3*b = 12, -4*b = g - 2*b + 3. Put g, w, a in descending order.
w, a, g
Let u be (4/(-3))/(3/(-9)). Suppose 5*t + 15 = 2*t. Let z(o) = o**2 - 8*o + 12. Let c be z(5). Put u, t, c in decreasing order.
u, c, t
Let m = 3.4 + -3. Let n = -27.3 + 7.3. Let o = 22 + n. Put m, o, -1/4 in ascending order.
-1/4, m, o
Let w = -762 - -766. Put -1, w, -26, -4 in ascending order.
-26, -4, -1, w
Suppose 0 = -5*m - 0*f + 2*f + 450, 5*f = 5*m - 465. Let x be 1/(-7) - m/(-28). Suppose -2*d + x*d = 5. Sort -4, d, -1.
-4, -1, d
Suppose -3*r = -r - 4. Suppose 3*t = -5*x - 12, -2*t + 2 - 10 = -3*x. Let b be 123/41 + -1 + (x - 7). Sort 4, r, b in increasing order.
b, r, 4
Suppose a = -a + 24. Let u = a + -5. Suppose i - 3*r + 0 = -5, -5*r + 31 = 4*i. Sort 5, u, i in descending order.
u, 5, i
Let o(c) = -c**3 - 13*c**2 - 15*c - 34. Let s be o(-12). Sort 5, 16, s, -3 in decreasing order.
16, 5, s, -3
Suppose 0 = -q - 85 + 38. Put q, 1/2, -1/6 in increasing order.
q, -1/6, 1/2
Let n be ((1 - -3) + -3)*2. Let p(t) = 3*t + 2. Let z be p(n). Suppose 5*i = 3 - z. Sort -4, i, -0.4 in decreasing order.
-0.4, i, -4
Let b = -811/3 + 269. Sort b, -4, -1/15.
-4, b, -1/15
Let u = 69 + -66. Let v = u + -3.05. Let o = -7 + 2. Put v, -0.5, o in increasing order.
o, -0.5, v
Let c = 281 + -281. Sort -4, 3, c in decreasing order.
3, c, -4
Suppose -22 = -4*x + 2*i, -3*x = -i - 24 + 9. Put x, 0, -53 in descending order.
x, 0, -53
Let r be 99/21 + 4/14. Suppose 4*b - 5*b - r = 0, -3*m + 20 = -b. Suppose 0 = 7*t + 3*t + 10. Sort m, t, 4 in decreasing order.
m, 4, t
Let w be (32/(-12))/(4/(-6)). Suppose -2*h = 5*t + 12, 9 = -4*t - 2*h + 1. Sort t, -5, w, -2.
-5, t, -2, w
Let v = -691 + 689. Let b = 0.8 - 0.3. Put 5, b, v in decreasing order.
5, b, v
Let w be (0 - (1 + 0)) + (9 - 8). Let b(f) = f + 4. Let u be b(-8). Put w, -5, 3, u in increasing order.
-5, u, w, 3
Let m = 11 + -16. Let z be (-1*3/(-9))/((-7)/(-21)). Let j be ((-11)/(-7) - z)*70/(-20). Sort -3, j, m in increasing order.
m, -3, j
Let c = 17 - 12. Suppose 5*y - 20 = -c*w, -4*y + 1 = -w - 0. Let b(u) = -3*u**2 + 15*u - 16. Let i be b(4). Sort 4, w, i in ascending order.
i, w, 4
Suppose 2*r + 2 = 2*f - 3*f, 0 = -4*f - 2*r - 14. Let y = -1690 + 1690.5. Sort f, 2/19, y, -2 in descending order.
y, 2/19, -2, f
Let z = 100 + -100.4. Let g = 61 - 425/7. Sort g, 3, z in increasing order.
z, g, 3
Let l = 13 - 11. Let k be (l + -12)/((-4)/2). Suppose 4*n = -8, -c + 2 = -5*n - 3. Sort c, k, 4.
c, 4, k
Let a = -0.1053 - 4.8947. Sort 2/5, 1/3, a, -0.3 in descending order.
2/5, 1/3, -0.3, a
Suppose -15 = z + 3*b, 3*z = 4*b - 1 + 21. Put z, 3, 19 in ascending order.
z, 3, 19
Let n = -601/444 + 3/148. Sort -0.1, n, -2/7, 1/4.
n, -2/7, -0.1, 1/4
Let x = -114908 + 24935084/217. Let n = x + 2/31. Let d = 19/42 - n. Sort -0.03, 2/3, d in decreasing order.
2/3, d, -0.03
Let c = -1907/10 - -191. Put -3.2, c, -2/9 in descending order.
c, -2/9, -3.2
Let x(l) = -4*l**3 - 81*l**2 - 22*l - 42. Let v be x(-20). Put 0, 3, v, 56 in ascending order.
v, 0, 3, 56
Suppose 0 = -9*u + 5*u + 404. Let p = u + -507/5. Put 0, p, -13, 1/3 in descending order.
1/3, 0, p, -13
Let i(c) = -3*c + 39. Let f be i(13). Sort f, -5, 25 in descending order.
25, f, -5
Let g = 8/33 + -2/33. Put -3, -153, g, -0.5 in decreasing order.
g, -0.5, -3, -153
Let b = -585 - -622. Sort 4, 5, b.
4, 5, b
Let h = -3.2 + 12.2. Let q = h - 17. Sort q, 0.2, 3/4 in increasing order.
q, 0.2, 3/4
Let d = -148.7 + 149. Sort 5, -0.1, d.
-0.1, d, 5
Let s(o) = -o**2 - 4*o + 4. Let r be 3*4/6*5/(-2). Let x be s(r). Put 2, -5, -4, x in decreasing order.
2, x, -4, -5
Let d = -3/142 - 121/994. Put 2/3, 1, d, 5 in descending order.
5, 1, 2/3, d
Let w = 55 + -57. Let z be (-6)/9 - 2/6*-2. Put 0.4, 5, w, z in increasing order.
w, z, 0.4, 5
Suppose -3*i = -u + 5*u + 1, i = -2*u - 3. Suppose -k + i = 5*p + 1, -4*k - 3*p = -16. Suppose -d = -k*d. Sort -1, d, -8 in decreasing order.
d, -1, -8
Suppose -3 = -b - 2*b. Let a be (-12)/(-30)*(-5)/(-4)*12. Put -5, b, a, -1 in increasing order.
-5, -1, b, a
Let v(m) = -m**3 + 4*m**2 - m + 2. Let a be v(3). Suppose -2*q + 0 = -a. Let c = 91 - 92. Put -2, c, q in descending order.
q, c, -2
Let p(x) = -x**3 + 15*x**2 - 10*x - 50. Let s be p(14). Sort 0, s, -8 in descending order.
s, 0, -8
Suppose 20 = 4*i, 0*f + i - 9 = f. Suppose 15*c + 12 = 18*c + 2*g, 5*c + 5*g - 25 = 0. Put -5, f, 3, c in ascending order.
-5, f, c, 3
Suppose 8*w = -64 + 96. Put w, -1, 14, 0 in ascending order.
-1, 0, w, 14
Let d = -1040 - -1052. Sort 1, 3, 14, d in decreasing order.
14, d, 3, 1
Let d = -5 - -4.5. Let m be 3 + (-2)/(-3)*-4. Put -1, m, 2, d in decreasing order.
2, m, d, -1
Let i = -405.4 - -405. Sort -0.5, i, -12, 7.
-12, -0.5, i, 7
Let r = 592 - 587. Sort 0.03, 2/15, 0.1, r in descending order.
r, 2/15, 0.1, 0.03
Let m be (2/(-5) + 2)*22/44. Put -0.3, -18, m, 1 in ascending order.
-18, -0.3, m, 1
Let j(v) = v**3 + 2*v**2 - 3*v + 2. Let c be j(-3). Suppose 40 = -c*z + 5*l + 15, -4*l = 3*z + 3. Sort 1, z, -4.
z, -4, 1
Suppose 15 = -x + 3*m, 4*x - 4*m + 13 + 7 = 0. Let q(h) = 1 + x*h - 3 + h + 0. Let d be q(-3). Sort -0.1, d, 1.
d, -0.1, 1
Suppose 0 = -29*g + 28*g - 2, 5*g = 3*n - 13. Let c be 52/(-12) - (-2)/6. Put 5, n, -3, c in ascending order.
c, -3, n, 5
Suppose -4*m + m - 3 = 0. Let q be (-6)/(-8) + m/(-4). Let p = 324.7 + -325. Put q, p, 0.3 in descending order.
q, 0.3, p
Let a(q) = 2*q - 10. Let c be a(7). Suppose -10 = -4*x - x. Let s be x/(-3) + 13/(-3). Put 2, c, s in ascending order.
s, 2, c
Suppose 0*o = -16*o. Sort -5, -1, 1, o in ascending order.
-5, -1, o, 1
Let i be 30/315 - 2300/(-105). Sort 3, 0, i in decreasing order.
i, 3, 0
Let f be (-3)/(135/6)*-1. Let g be (-2)/(-15) + (-1333)/(-465). Put 0.02, f, 1, g in decreasing order.
g, 1, f, 0.02
Let q = -126.8 - -123.8. Put q, -5, 1/6 in ascending order.
-5, q, 1/6
Let l = -19 + 12. Put l, 0, -1, 74 in descending order.
74, 0, -1, l
Suppose 17 = -6*t - 7. Let j = 6.47 - 1.47. Sort t, j, 1, -1 in increasing order.
t, -1, 1, j
Suppose 0 = 5*b + 2*h - 17, b + h + 14 = 6*b. Sort b, -2, 9.
-2, b, 9
Let j be (-1 + (-4 - -6))/(-1). Let m be -1 + (j + 7 - 3). Sort m, -0.4, -0.1 in increasing order.
-0.4