= -5*j - 1 + 16, 3*j = -x + 20. Let f be (-20)/16 - 1/(-4). Let d be (-22)/4 - f/2. Put -4, d, x in decreasing order.
x, -4, d
Let u = 8 + -3. Let v(s) = s**2 + 2*s + 3. Let a be v(-2). Suppose -x - 4*x + 3 = 3*r, -a*r = 3*x - 3. Put -5, u, x in descending order.
u, x, -5
Suppose -4 = 2*v - 0*v, -2*t = -3*v - 10. Suppose 4*l + 1 + 0 = 5*o, 0 = 4*o - 4*l. Let a be (-2 - (1 - o)) + 7. Put t, a, -1 in ascending order.
-1, t, a
Suppose 7*q - 2*q + 50 = 0. Let y be ((-8)/20)/((-38)/q). Let i = 3 - 2.9. Sort -3, y, i in descending order.
i, y, -3
Let k = -1.9 + 1.9. Sort k, 5, 1/12 in decreasing order.
5, 1/12, k
Let b = -21/2 - -39/4. Sort -2/5, -0.2, b, 0.4 in ascending order.
b, -2/5, -0.2, 0.4
Let t = -0.9 - -1.1. Let a = -1 + 1. Sort a, t, -1/6 in decreasing order.
t, a, -1/6
Suppose 4*x = -3*t + 76, -2*x - 3*x = 3*t - 98. Let i = 23 - x. Put 5, i, 4 in descending order.
5, 4, i
Let y = -0.1 - -0.6. Let s be (-32)/(-15) - (-3 + 5). Let j = 0.44 - 0.14. Put j, s, y in descending order.
y, j, s
Suppose -4*u + h = -u - 33, -3*h - 44 = -4*u. Let v = u + -10. Sort v, -5, 2 in ascending order.
-5, v, 2
Suppose 4*o = -0*o + 4. Let d = -20 - -21. Let y = -5 + d. Sort o, y, 4.
y, o, 4
Let y = -8 + 3. Let q = 28 - 18. Suppose -3*o - 23 = u + o, -2*o = q. Sort u, 4, y in increasing order.
y, u, 4
Let q = 2 - 2. Let k(t) = 4*t - 5 - t + 0*t + t**2. Let n be k(-4). Put -4, q, n in ascending order.
-4, n, q
Let i = -0.52 + 0.12. Sort 2/13, i, 0.2 in ascending order.
i, 2/13, 0.2
Suppose -14*c - 30 = c. Let s = -8 - -12. Sort s, c, 5.
c, s, 5
Let u(c) = c**3 - 6*c**2 + 7*c - 5. Let k be u(5). Suppose l = -3, 2*d + 4*l = d - 15. Let t be (3 - (d + 2))/(-2). Sort t, -5, k in decreasing order.
k, t, -5
Let q = -18 + 13. Put 4, q, -0.1 in ascending order.
q, -0.1, 4
Let i(u) = -u**3 - 4*u**2 + 4*u - 3. Let p be i(-5). Suppose -5*s + t = p*t + 20, 3*t = 4*s - 3. Sort 4, -1, s.
s, -1, 4
Let t = 3 + -5. Sort -12, t, -0.3 in decreasing order.
-0.3, t, -12
Suppose -5*t + 5*x = 0, 5*t - 4*x - 4 = 2*t. Let k = 12 - 8. Sort -2, t, k in descending order.
k, -2, t
Let x = 0.36 - 0.06. Suppose -y + 5 = 4*p, -5*y + 3*y - 5*p + 7 = 0. Sort y, x, -0.4 in descending order.
y, x, -0.4
Let j = -72 - -76. Put j, -1, 3 in ascending order.
-1, 3, j
Let b = 11 - 7. Let n(p) = 3*p - 1. Suppose 5*u + 2 = -3. Let x be n(u). Sort -3, b, x in decreasing order.
b, -3, x
Let o = 15 + -20. Sort o, -1/6, 2 in descending order.
2, -1/6, o
Suppose 0 = -3*l - 2*l. Let b = 2 + l. Put b, -2, -3 in descending order.
b, -2, -3
Let s be ((-32)/(-6))/(5/15). Sort s, -2/5, -1/2 in decreasing order.
s, -2/5, -1/2
Let i = -106/21 + 40/7. Let w be (-609)/(-12) + (-1)/2. Let y = -50 + w. Put i, y, -1/5 in descending order.
i, y, -1/5
Let k = 637/5 + -127. Put -1/3, k, 4 in ascending order.
-1/3, k, 4
Let o be (0/(1 + 0))/2. Suppose 0 = -2*t - o - 2. Put t, 0, 2 in descending order.
2, 0, t
Suppose 3*b + 39 = 144. Let n be b/10 + 1/2. Sort 1, n, 2 in increasing order.
1, 2, n
Let c = 2 - -10. Let i be (-5)/(-8)*c/3. Sort -4, 3, i in decreasing order.
3, i, -4
Let q(c) = -c - 1. Let j be q(-6). Sort 2, j, 0 in descending order.
j, 2, 0
Suppose 0 = 5*r + 6*r - 22. Sort r, 5, 4.
r, 4, 5
Let l = -0.1 - 4.9. Put 2/13, 0.1, l in increasing order.
l, 0.1, 2/13
Let z be 2 + 2 - 17/4. Put 0.3, z, 3 in increasing order.
z, 0.3, 3
Let q(r) = -r**3 - 8*r**2 + 2. Let h be q(-8). Put -9, h, 5 in descending order.
5, h, -9
Let n = 0.62 + -0.12. Sort n, -10, -4 in decreasing order.
n, -4, -10
Let o = 6.6 + -2.6. Suppose -5*z + 2*z = 0. Sort 3/7, o, z in increasing order.
z, 3/7, o
Let h be 39/9 + 2*-2. Sort -2, h, -3 in decreasing order.
h, -2, -3
Suppose 0 = -3*u - 6, -u - 2 = 3*k + 12. Sort 4, 5, -5, k in descending order.
5, 4, k, -5
Let z = 1.1 + 3.9. Let c = z + -5.1. Put -5, -0.2, c in increasing order.
-5, -0.2, c
Let z = 5 + 0. Let a = -2 + 5. Suppose -6*x - 12 = -a*x. Sort z, 0, x in descending order.
z, 0, x
Let l be (-8)/10*(-40)/(-16). Let w be 24/15*(-5)/l. Sort 3, -1, w in ascending order.
-1, 3, w
Let n(k) = k**2 - 4*k + 6. Let y be n(4). Let q be 8/y - 10/(-15). Sort -1, q, 4 in decreasing order.
4, q, -1
Let m(d) = 4*d - 12. Let c be m(2). Let l(v) = -v**2 + 4*v + 7. Let k be l(5). Suppose 5 = k*b - b. Put 4, c, b in decreasing order.
b, 4, c
Suppose 2 - 5 = -q. Sort -4, q, -3, -5.
-5, -4, -3, q
Let g = -1/9 - 22/45. Let f = 0.28 - -3.12. Let u = f - 3. Put g, u, 2 in decreasing order.
2, u, g
Let s = 1.2 - 1.7. Let l be ((-48)/(-1100))/(118/(-510)). Let g = -2/295 - l. Sort s, -2/7, g in decreasing order.
g, -2/7, s
Let h = 0.7 + 0.3. Let f = -1.4 + h. Sort f, 4, 5/2 in increasing order.
f, 5/2, 4
Let o = 0.45 + -0.4. Let z = o - -0.35. Let h = -7 + 6.8. Sort 4, h, z in descending order.
4, z, h
Let o = 1.1 + -1.2. Let t = 0 + 0. Let b = 6 - 5.6. Sort t, b, o in descending order.
b, t, o
Let j = 40 + -23. Suppose -j + 2 = 3*x. Let n = 958 + -960. Put n, x, 0 in ascending order.
x, n, 0
Let p = 33 + -30. Put 2, p, 4 in increasing order.
2, p, 4
Let c = -2.6 + -2.4. Put 2/7, 0.3, -0.25, c in ascending order.
c, -0.25, 2/7, 0.3
Let b = -0.1 + 0.4. Put 1, 3, b in descending order.
3, 1, b
Let i = -16.05 - -0.05. Let x = 13 + i. Sort 2/7, -1/3, x in decreasing order.
2/7, -1/3, x
Let w = 6 - -2. Suppose -5*i + i = w. Sort i, 5, -1 in descending order.
5, -1, i
Let n(q) = q**3 - q**2 + 2. Let i be n(0). Let c be (-2)/8 + 3/(-12). Let u = 0.3 - 0.1. Sort c, i, u in decreasing order.
i, u, c
Let u be (-6)/(-18) - (-21)/(-9). Put u, 7, -1 in increasing order.
u, -1, 7
Let r be -3 - 4*(-6)/(-8). Put 4, r, 0 in descending order.
4, 0, r
Let n = 1 + -2. Suppose 5*p - j = 18 - 2, 11 = 2*p - 5*j. Put p, 2, n in decreasing order.
p, 2, n
Suppose 5*f = 20, 4*l + 2*f = -6 + 46. Let q be (l/(-6))/((-2)/6). Sort -3, -4, q in ascending order.
-4, -3, q
Let f(g) = 3*g**3 - 2*g**2 + 2*g - 1. Suppose 0 = 4*o - q - 7, -o = -2*o + 5*q + 16. Let h be f(o). Put -0.4, 0, h in descending order.
h, 0, -0.4
Suppose n + 4 = 4*z - 7*z, 4*z = -2*n - 6. Suppose -4*v = -2*s - 2, -4*s - 2*v = v + 15. Sort 2, n, s in descending order.
2, n, s
Let w = -1 + 6. Suppose 2*u = -2*i + 2, w*i - u + 31 = 3*u. Let l = i - -7. Put l, -1, 3 in descending order.
l, 3, -1
Suppose 4*a + 5 = 3*a. Let f = 11 + -8. Sort f, a, 10 in increasing order.
a, f, 10
Let w be ((-6)/4)/((-7)/14). Sort -11, -0.2, w in ascending order.
-11, -0.2, w
Let d be ((-24)/(-70))/(6/15). Let n be (0/2)/(2 + 0). Let h = -1 - n. Put d, h, -3 in decreasing order.
d, h, -3
Suppose -6*h + 3*h - 15 = 0. Suppose 2*s + 5 = 7*s + 5*q, -6 = 2*s - 2*q. Put 0, h, s in increasing order.
h, s, 0
Let h = 19 - 17. Put h, -4, -3, -5 in increasing order.
-5, -4, -3, h
Let u be (-4)/(-10) - (-34)/(-10). Suppose 3*r + 2 = -4*z + 12, -2*r = 4*z - 12. Put z, -2, u in ascending order.
u, -2, z
Let p(w) = w - 2*w - 4 + 11. Let a be p(5). Let q(m) = m**2 + 3*m + 2. Let s be q(-2). Sort s, -5, a in decreasing order.
a, s, -5
Suppose -3*k + 6 = 3*k. Let j(q) = q**3 - 7*q**2 + 6*q - 2. Let l be j(6). Sort l, 3, k.
l, k, 3
Let f(b) = -6*b - b**2 - 2 - 4 + 1. Let k be f(-6). Put k, 3, 5 in descending order.
5, 3, k
Let m = 0.8 + -0.81. Let a = -0.01 - m. Put -1, a, 4 in descending order.
4, a, -1
Suppose -2*j + 5*j - 2 = 2*d, 0 = 5*j + 4*d + 4. Suppose 5*g - 139 = 2*b, -2*g + j*g + 62 = -4*b. Let z be -3*(-3)/(g/(-6)). Sort z, 3, 0 in decreasing order.
3, 0, z
Let p(v) = v**3 - 3*v**2 + 2*v - 2. Let i be p(2). Suppose f + 28 = -3*f. Let y = f + 10. Sort y, -3, i in ascending order.
-3, i, y
Let p = 1.5 + 0.5. Let s = 1 + p. Let t = -2 - s. Sort 0.3, t, 1/2 in decreasing order.
1/2, 0.3, t
Suppose 5*p - 3*p + 8 = 0. Let d(h) = -h**2 - 3*h + 2. Let i be d(p). Suppose w = -2*g - 2, 4*g = -5*w + 2*w. Sort g, 1, i in increasing order.
g, i, 1
Let b(s) = -s**3 + 8*s**2 - 5*s + 1. Let z be b(7). Suppose -4*l = 2*w + 3*w + z, 6 = -3*l - 2*w. Let a = -0.1 - 0. Sort l, 5, a in ascending order.
a, l, 5
Let n = 6 + -4. Let b = -0.29 + 0.42. Let i = b + 0.87. Put 0, i, n in descending order.
n, i, 0
Let o = -7 + 7. Let j = 0.1 + o. Put j, -2, 0.3 in ascending order.
-2, j, 0.3
Let b(i) = i**2 - 1. Let k be b(-1). Let a be 15/25 - 12/(-5). Sort 2, k, a in descending order.
a, 2, k
Let y = 18 + -12.5. Let n = -0.3 - -0