 Suppose -8*f + 20 = -g - 4*f, -3*g - 20 = -2*f. Sort g, -5, m.
-5, g, m
Let v(q) = -q - 10. Let s be v(-13). Let a be 2/(-4) + 5/10. Suppose -4*x - 3*z + 5 = a, 2*z + 25 = 3*x - 0*z. Sort x, -5, s.
-5, s, x
Suppose -20*r - 36 - 24 = 0. Suppose 0 = 4*k + 2 + 2. Sort r, 3, k, 12 in descending order.
12, 3, k, r
Let w be -1 + -2 + 1 + 0. Let n = 134 + -134.1. Sort n, w, 5 in increasing order.
w, n, 5
Let r = -402/2507 - -8/109. Let l = -2 - -1. Sort r, l, 1/3 in increasing order.
l, r, 1/3
Let q = -1.1 - -1. Let b = -86.1 - -83. Let v = b - q. Put v, 5, 0.5 in decreasing order.
5, 0.5, v
Let x = 97 - 104. Put x, -0.1, 2/17, 2/3 in decreasing order.
2/3, 2/17, -0.1, x
Let o = -13 + 3. Let g = o + 3. Sort 4, 0, g.
g, 0, 4
Suppose 2*s + 2*j = 24 - 28, -s + 6 = -3*j. Put s, 1, -38 in descending order.
1, s, -38
Let q = -0.1885 + -0.1115. Sort -0.5, q, -13, 5 in decreasing order.
5, q, -0.5, -13
Suppose -68*q + 61*q = -84. Sort q, 2, -14 in descending order.
q, 2, -14
Let t = 560 - 604. Let v = -2 - 3. Put t, 0, v, 2 in descending order.
2, 0, v, t
Suppose 96 = 7*h - 3*h. Suppose -13*k + 5*k - h = 0. Sort 0.1, 1/2, k.
k, 0.1, 1/2
Let c = -5292/2659 + 21395420/7501039. Let k = c + -2/403. Put -0.2, k, -4/7 in descending order.
k, -0.2, -4/7
Suppose 7*q - 11 = 10. Let x be -1*(-13)/3 + 6/9. Put q, x, -4, -3 in decreasing order.
x, q, -3, -4
Let p(g) = 125*g + 623. Let d be p(-5). Suppose -a = 4*m - 13, 6 + 2 = 2*a - m. Sort d, -4, a, -1 in decreasing order.
a, -1, d, -4
Let o = 1.2 - 5.2. Let a = o + 5.8. Let q = -1.7 + a. Put q, -3, 1 in descending order.
1, q, -3
Let z = 120 - 44. Suppose -38 = -2*p - z. Put p, 3, -3 in decreasing order.
3, -3, p
Suppose -86*d + 160 = -81*d. Suppose 4 = -9*h - d. Put -18, 1, 0, h in descending order.
1, 0, h, -18
Let d = 72.8 + 1.2. Let q = d + -74.4. Sort q, -4, 3/7 in decreasing order.
3/7, q, -4
Let j be (-100)/28 - 4/(-7). Let h(o) = 3*o + 19. Let f be h(-6). Put j, 0, 5, f in decreasing order.
5, f, 0, j
Suppose 41 - 116 = -5*a. Suppose 5*y + 35 = 5*c, a = 5*c - 0*y - y. Let i(b) = 2*b - 2. Let r be i(c). Sort -2, -4, r in descending order.
r, -2, -4
Let b = 7 - 11. Let v = -37/112 - -3/16. Sort v, -0.2, b, -3/2 in descending order.
v, -0.2, -3/2, b
Let a(b) = b**3 - 2*b**2 + 4*b - 3. Let h be a(2). Suppose 0 = -2*j - 3*r - 9, 2*r + 23 = 17. Sort j, h, -5, 2 in ascending order.
-5, j, 2, h
Let n = -0.0382 - -0.0382. Sort n, -6.3, -0.3, -4.
-6.3, -4, -0.3, n
Let y be 1356/7 + (2 - -2). Let x = y - 198. Let w = -19 + 17. Put x, 2/23, w in decreasing order.
2/23, x, w
Suppose -3*n = -2*i, -4*n - 28*i - 29 = -21*i. Put -1, 3, -80, n in ascending order.
-80, n, -1, 3
Suppose -5*b = 2*b - 14. Let a(p) = -46*p - 50*p + 95*p - b. Let c be a(3). Sort -2, 3, c in increasing order.
c, -2, 3
Let s be (1/7)/(3/(-6)). Suppose 0 = -67*z + 70*z - 15. Let h(r) = -2*r + 8. Let x be h(6). Sort z, x, s.
x, s, z
Suppose 68*n = 70*n + 2. Sort -2, -5, n, 3 in increasing order.
-5, -2, n, 3
Let y = -8 - -12. Suppose -3*v - 5 = y. Let h be ((-2)/v)/(40/60). Put h, 2, -0.1 in decreasing order.
2, h, -0.1
Let f(g) = 209*g - 1467. Let v be f(7). Let r be 11/(-3) - (-6)/9. Sort v, 0, r.
v, r, 0
Suppose 0 = 4*f - 12, -2*c - 10 = -5*f + 69. Let a = c + 27. Sort 1, -14, a in decreasing order.
1, a, -14
Let a(p) = 4*p - 66. Let q be a(14). Sort q, 0, -1.
q, -1, 0
Suppose 5*l - 20 = -5. Suppose 7*a - 10*a + 6 = 0. Suppose a*d = 20 - 18. Sort l, d, -8 in increasing order.
-8, d, l
Let f = 1168.6 + -1169. Put -2/13, 0.3, -3/4, f in ascending order.
-3/4, f, -2/13, 0.3
Let z(k) = -15*k + 66. Let v be z(5). Sort 0, v, 3.
v, 0, 3
Let y = 6.4 - 6.7. Let u = 20 + -19.9. Let i = -1.9 - u. Put y, i, -0.4 in decreasing order.
y, -0.4, i
Let f be ((-15)/12 + 3)*(-20 - -16). Put 3, 10, f, 0 in descending order.
10, 3, 0, f
Let d(s) = -2*s - 35. Let g(h) = -h - 17. Let w(a) = 4*d(a) - 9*g(a). Let l be w(-12). Suppose -u = 3 - l. Sort 2, u, 4.
u, 2, 4
Let o be 65/78*(4 - (-2 - 0)). Sort -3, -2, -4, o in ascending order.
-4, -3, -2, o
Let j = -2.39 + 6.39. Let o = -26 - -27. Put o, j, 0.06 in decreasing order.
j, o, 0.06
Let h(q) = -q**3 - q**2 + 3*q + 5. Let c be h(-2). Suppose c*d - 5 = 5*f - f, 0 = -f - 4*d + 13. Sort 5, f, 4 in decreasing order.
5, 4, f
Let n be 4/(-154)*(10 - 17). Let l = -0.9 + 2.9. Put -3, l, n in ascending order.
-3, n, l
Let i be (6/16)/(9/(-6)). Let w be (12/(-16))/(-3)*(-24)/27. Put w, i, -0.4 in descending order.
w, i, -0.4
Let k(r) = -r**2 - 10*r - 25. Let b be k(-3). Sort b, 14, -3, 3 in descending order.
14, 3, -3, b
Suppose -3*u + 0*u + 5*g - 19 = 0, 3*u - 3*g + 9 = 0. Suppose u*o - 5*t - 6 = 0, 0 = -0*t + t. Sort -1, o, 9.
-1, o, 9
Let c = 807 + -814. Put -2/5, -3, c, -0.19 in ascending order.
c, -3, -2/5, -0.19
Let c(p) = p**2 + 6*p + 6. Let y be c(-6). Let d be 16/y*(-27)/18. Sort d, 5, -3, 4 in descending order.
5, 4, -3, d
Let m = 2.1 - 2. Let j(l) = -6*l - 33. Let i(k) = -2*k**3 - 25*k**2 - 14*k - 29. Let u be i(-12). Let v be j(u). Sort 2, m, v in decreasing order.
2, m, v
Let t = -6 - -4. Let k(g) = g**3 - 2*g**2 - 2*g + 1. Let j be k(3). Suppose -4*n - 5*c = n, -j = 2*c. Sort n, t, -4 in ascending order.
-4, t, n
Let k = 5212/11 + -474. Put -4, k, -9.2 in increasing order.
-9.2, -4, k
Let h = 53 + -22. Let k = h + -27. Put 6, k, -2, -3 in ascending order.
-3, -2, k, 6
Suppose -3*j - 2 = -11. Suppose -20 = -10*g + 70. Sort g, j, -3 in ascending order.
-3, j, g
Let f = 0.4 + -0.1. Put f, 53, 5 in decreasing order.
53, 5, f
Let m = -0.1 - -10.1. Let p = m - 9.6. Let i = -1 - -1.3. Sort p, -2/3, i.
-2/3, i, p
Let j = -0.691 + 0.891. Sort j, -1, 158/7 in increasing order.
-1, j, 158/7
Let w(z) = z**3 + 3*z**2 + 4. Let l be w(-3). Let d = 6 + -4. Suppose d = 2*f + v, 3*v + 3 - 7 = -5*f. Put l, -4, f in increasing order.
-4, f, l
Suppose 3*h + 1 = -17. Let r = -9.2 + 10. Let d = r - 1.3. Sort 1/12, d, h in descending order.
1/12, d, h
Let i be 76/(-19) - ((-2)/5)/(33/345). Let v = -20 + 12. Let s be (1/6)/(v/(-6)). Sort -1, i, s in increasing order.
-1, s, i
Let x = 4 + -1. Let a(w) = 7*w**3 - 11*w**2 + 2*w + 12. Let y(k) = -k**3 + k**2. Let s(l) = -a(l) - 6*y(l). Let r be s(4). Put 1, x, r in decreasing order.
x, 1, r
Suppose 33*f - 20741 = -1073. Put f, -5, -3 in descending order.
f, -3, -5
Let t(l) = -l - 12. Let x be t(-10). Sort x, 234, -3, -4.
-4, -3, x, 234
Let w(s) = -4*s**3 - s**2 + s - 1. Let b be 10/25 - (-6)/10. Let a be w(b). Suppose 6*d = 2*d. Put d, a, -1 in descending order.
d, -1, a
Let x = -0.1 - -0.2. Let k = -0.6 + 4.8. Let l = k - 8.2. Put l, -2, x in decreasing order.
x, -2, l
Suppose -y = -2*y - 2*b + 31, -5*y + 5*b + 200 = 0. Suppose 0 = -y*l + 41*l. Put -4, 35, l in decreasing order.
35, l, -4
Let y = 4.161 - 1.161. Sort 4, -38, y.
-38, y, 4
Let s be 9 - (-3)/(-2 + 3). Let a be 40/12*s/10. Put 5, a, -2 in descending order.
5, a, -2
Suppose -56*u = 104 + 232. Sort u, 3, 1 in decreasing order.
3, 1, u
Let l be 8/3 + (-2)/(-6). Suppose n - l = 2*r, -5*r - 14 = 5*n + 31. Let w be (6/8)/((-18)/(-72)). Sort n, w, -3.
n, -3, w
Let j = -16.26 - -0.26. Let w = 16.1 + j. Put 3, w, -0.3 in decreasing order.
3, w, -0.3
Let z = 127/2 + -65. Let w(q) = -41*q - 124. Let c be w(-3). Put 0.5, c, -2, z in decreasing order.
0.5, c, z, -2
Suppose -48 = -8*j + 48. Let i be j/84 + 8/(-7). Sort i, -21, -3 in decreasing order.
i, -3, -21
Let b be ((28/8)/7)/((-3)/6). Suppose 6*x - 2*x = 4*z, 4*x = -4*z. Sort 4, b, z in increasing order.
b, z, 4
Let l = -70 + 28. Let v be (-4 - 186/l)/((-6)/4). Put v, 3, -2 in increasing order.
-2, v, 3
Let a(o) = -o**3 - 33*o**2 - 31*o + 32. Let u be a(-32). Let m = -2.9 + -1.1. Sort 6, m, u in descending order.
6, u, m
Let u = 2523 - 2524. Put -48, -5, -2, u in increasing order.
-48, -5, -2, u
Let h(q) = 68*q - 471. Let k be h(7). Sort k, 0, -13, 13.
-13, 0, k, 13
Let v = 192.9 + -193.1. Sort v, 0.3, 3, -1/2 in decreasing order.
3, 0.3, v, -1/2
Let b = 15 + -15.7. Let o = b + 1.2. Put o, -5, -1/5, 0.4 in increasing order.
-5, -1/5, 0.4, o
Let l = 5 - 9. Let i = 78 + -73. Put l, 2, i in decreasing order.
i, 2, l
Let d(l) = 2*l + 2. Let t be d(-2). Let r be 4/(-5) - (1 + t). Let w = -6.2 - -5.2. Sort r, w, 0.08 in decreasing order.
r, 0.08, w
Let y be -5 + 4 - ((-66)/(-14) + -6). Let c(x