 Suppose 0 = 7*k - 4*k + 5*o + 15, c = -3*k + o - 15. Put k, -2, 0 in increasing order.
k, -2, 0
Suppose 0 = -g + 4*g - 12. Suppose 2*r + g*o + 36 = 4*r, -4*o = 4*r - 48. Suppose -11 = -5*s + r. Put 2, -3, s in descending order.
s, 2, -3
Let y = -0.05 + -2.95. Let p = -37 - -36. Sort 2, y, p in descending order.
2, p, y
Let z = 0.55 + -0.5. Let h = -0.05 - z. Let k = 15 + -13. Put 0.3, k, h in descending order.
k, 0.3, h
Suppose -2*p - 3*v - 2 = 2*p, -p = 3*v + 5. Sort p, 0, -5, 5 in descending order.
5, p, 0, -5
Suppose 3*w - 4 = 2. Let p be ((-3)/w)/(15/20). Sort 0, p, -1 in descending order.
0, -1, p
Let g = -10 - -9.4. Let h = -5.6 - g. Sort -1, 3/4, h in increasing order.
h, -1, 3/4
Let w = 22 - 17. Let s be -2 + 2 + (-1)/(-4). Put s, -5, w in decreasing order.
w, s, -5
Suppose 0 = 6*l + 13 - 1. Suppose 0*a + 8 = 4*a, 7 = 5*n - 4*a. Sort n, 0, l.
l, 0, n
Suppose -4*v - 4*l - 12 = 8, 14 = -v - 4*l. Put -4, -1, v in ascending order.
-4, v, -1
Let x = -2 - -3. Let z(y) = y. Let n be z(-5). Sort -1, x, n in descending order.
x, -1, n
Let d = 9 + 6. Suppose 0 = 4*p - p + d. Sort 0, 1, p.
p, 0, 1
Let h = 6 + -11. Sort h, -3/5, 0 in increasing order.
h, -3/5, 0
Let o = -31/198 - -1/22. Let h = -0.1 - 0.1. Let p = -1.2 - h. Put p, o, -0.3 in descending order.
o, -0.3, p
Let x = 2733/95 - -3/95. Let a = -29 + x. Sort a, -1/2, -0.3 in decreasing order.
a, -0.3, -1/2
Let d = -0.07 - -0.27. Let y = 0.1 - 1.1. Let s = -127/987 + -2/141. Put s, d, y in increasing order.
y, s, d
Suppose 4*i + 6*k - k - 1 = 0, k = 1. Put 4, -3, i in increasing order.
-3, i, 4
Let y(m) = -m**3 - m - 1. Let a be y(0). Let w(o) = -o**2 - 3*o + 5. Let b be w(-4). Put 0, b, a in decreasing order.
b, 0, a
Let l(z) = -z**3 + 18*z**2 + 18*z + 17. Let o be l(19). Let n = -36 - -51. Suppose 4*h - n - 5 = 0. Sort h, o, 0 in descending order.
h, 0, o
Suppose 5*l - 54 = -3*s - 138, 0 = 5*l - s + 92. Let u be 94/l - 4/(-18). Suppose 0 = 2*d + 3*d - 2*z + 5, 0 = 5*d + 4*z + 35. Sort 3, d, u.
u, d, 3
Let p = -5 - -7. Let u = 9 + -5. Suppose 0 = u*a + 3*b - 1 - 9, -4*b + 4 = -4*a. Sort p, -3, a.
-3, a, p
Let b = 5 + -4. Let j = -3 - -11. Let c = 11 - j. Put 0, b, c in descending order.
c, b, 0
Let p = -4 + 10. Sort p, 1/4, -2/5 in decreasing order.
p, 1/4, -2/5
Let u(n) = -n**2 - 6*n + 19. Let x be u(-8). Put -1, x, 7 in increasing order.
-1, x, 7
Let k = -3 - -17. Let v = 13.9 - k. Let t be (0 + -1)/((-2)/(-10)). Put -3, v, t in ascending order.
t, -3, v
Let y = 1.9 - 2.1. Sort 3, 0, y.
y, 0, 3
Suppose -5*i - 7 = 13. Let y = -6 - -9. Suppose 4*v = v - y. Put i, 0, v in descending order.
0, v, i
Let g be (-2)/4 + (-1)/(-2). Suppose -1 = i - 6. Sort i, 4, g in descending order.
i, 4, g
Let s = -4 + 4. Suppose m + 5 = -s, m = -3*c - 8. Put -5, 4, c in decreasing order.
4, c, -5
Let b = 0 + 0.1. Suppose 0 = 2*l + 4 + 2, 5*l = 3*m - 24. Let o be (-4)/(-18) - -51*(-1)/108. Put o, m, b in ascending order.
o, b, m
Let o be 2/6 + (-21)/(-45). Suppose -4*v + 2*k = -2, 4*k + 1 = 3*v + 2*v. Let g = v - 4. Sort g, o, 1 in ascending order.
g, o, 1
Let r be -3*(-2 - (1 - 2)). Let m be r/6 + (-7)/4. Let k = 31 - 26. Put -5, k, m in descending order.
k, m, -5
Let n(g) = -3*g**2 + 9*g + 4. Let k(m) = -4*m**2 + 10*m + 4. Let o(c) = 4*k(c) - 5*n(c). Let z be o(-4). Let d be 3*1*(-4)/3. Sort z, d, -5.
-5, d, z
Let s = -3.5 - -3. Put 2/9, s, 5 in increasing order.
s, 2/9, 5
Let c = -11 + 16. Let j(u) = -u. Let d be j(5). Let h = -12 + 10. Sort h, c, d in decreasing order.
c, h, d
Let c = 1.9 + -1.4. Sort -2.1, c, -1, -2/7 in increasing order.
-2.1, -1, -2/7, c
Let f = 248/493 + -18/29. Let a = -7 + 6.8. Sort -0.4, a, f.
-0.4, a, f
Suppose 5 = 3*x - 10. Let v = -16 - -11. Let l = v - -3. Put 1/5, x, l in ascending order.
l, 1/5, x
Suppose -11*b = -4*g - 8*b + 15, -5*b + 7 = 4*g. Let q be 0 + 1 - (3 - 0). Let d = q - -4. Sort d, g, -3 in descending order.
g, d, -3
Suppose 0 = -2*j - o + 77, 2*o + 98 = 3*j - 0*o. Let w be 2/6*j/6. Put -3, -4, w in increasing order.
-4, -3, w
Let r be 96/(-42) + 2/7. Sort r, -9, -1, 4 in descending order.
4, -1, r, -9
Let q = 3 - 2. Let b = 2 + q. Suppose 0*i = 2*i + 8. Put b, i, 1 in increasing order.
i, 1, b
Let l = 4 + -6. Let i = -3 - l. Let b be ((-10)/(-4) + -3)/((-28)/8). Put b, 0.3, i in decreasing order.
0.3, b, i
Let n be (-26)/(-6) - 3/9. Let a be 2 - n - (-1 + 3). Suppose 0 = -o - 5*q - 2 + 25, 0 = 3*o + q + 1. Put a, o, -1 in increasing order.
a, o, -1
Let r be 2 - (3141/15)/(-3). Let n = r + -72. Let p be 2*(-1)/((-2)/3). Sort n, -3, p in descending order.
p, n, -3
Suppose 5*q - q + m = 14, -5*q + 11 = -2*m. Put q, 4, 1, -9 in ascending order.
-9, 1, q, 4
Suppose 0 = s - 11 + 8. Let b = -2 - -1. Sort b, 5, s in descending order.
5, s, b
Let y be (-1)/(-3)*(-7 + (13 - 3)). Put 3, y, 9 in increasing order.
y, 3, 9
Let z = 117 - 117.2. Sort 0.2, 0, z in increasing order.
z, 0, 0.2
Suppose -h = 4*h. Let b = -2/321 - -973/1605. Sort b, h, 0.4 in ascending order.
h, 0.4, b
Let c be 0 - 0/(4 - 2). Suppose 0 = 2*p + 3*p - 5*q - 20, -5*p - 5*q + 40 = 0. Sort p, 3, c in decreasing order.
p, 3, c
Let l = 0.6 - -7.4. Let h = l + -7.7. Let o = 2 - 0. Put o, h, -2 in descending order.
o, h, -2
Let b = -0.87 + 0.22. Let d = b + 0.15. Put -2/11, -4, d in ascending order.
-4, d, -2/11
Suppose 5*g - g - 24 = 0. Let h be (g/(-8))/((-6)/24). Suppose 0*u - 10 = 4*w - 2*u, 5*u = h*w + 25. Put 5, -5, w in increasing order.
-5, w, 5
Let h = 365 - 368.26. Let k = 0.26 + h. Sort -1/3, k, 0.5.
k, -1/3, 0.5
Suppose 16 = -4*w + 5*t, 2*t = -3*w - 8 - 4. Sort -1, w, -17 in increasing order.
-17, w, -1
Let r = -16 - -11. Let h = -0.01 + -0.39. Let v = 0.6 - 0.6. Sort v, r, h.
r, h, v
Suppose -2*j + 3 + 1 = 0, -3*p + 2*j = 1. Suppose -4*t - t = -5. Suppose 2 = s - t. Put s, p, 0 in ascending order.
0, p, s
Suppose -4*m + 2*m - c = -6, 5*m + 4*c - 15 = 0. Let t = -2 + 2. Suppose -7 = -4*v + 13, 3*l - m*v + 24 = t. Put 2, 1/6, l in decreasing order.
2, 1/6, l
Let n = -4 + 6. Sort -20, 5, n in descending order.
5, n, -20
Let h(b) = b + 12. Let p be h(-17). Let l(z) = z**2 - 5*z - 4. Let o be l(6). Sort o, p, 1 in decreasing order.
o, 1, p
Let j = 0 - -5. Let i = 55 - 52. Sort 2, i, j in increasing order.
2, i, j
Let g = -110 - -108. Sort -0.2, -1/7, g, -7 in decreasing order.
-1/7, -0.2, g, -7
Let t = -0.04 - -0.07. Let a = t + 2.97. Let c = -1 - -1. Sort a, c, -1.
-1, c, a
Let b(c) = 10*c - 185. Let x be b(18). Let v(y) = -y**3 - 3*y**2 + 4*y. Let t be v(-4). Sort x, -3, t in ascending order.
x, -3, t
Let c = -344/507 - -2/169. Put 0.1, c, 2/11 in descending order.
2/11, 0.1, c
Let b = 0.6 + 14.4. Let n = 11 - b. Let z = -1 + 4. Sort z, -4/3, n in decreasing order.
z, -4/3, n
Let g be 4/14 + 99/21. Let s(m) = -m**2 + m. Suppose 1 + 3 = 2*k. Let d be s(k). Put d, -3, g in decreasing order.
g, d, -3
Let k be 2*(-1)/(2/(-5)). Suppose -11 = -k*g + 4. Let s = 27 + -27. Sort g, -1, s in increasing order.
-1, s, g
Let c = 42 + -42. Put 5, -20, c in decreasing order.
5, c, -20
Let r be ((-3)/(-9))/(1/(-3)). Suppose 0 = -4*j - 12 + 40. Let u = j - 6. Put 3, u, r in increasing order.
r, u, 3
Let j = -7.5 - -7. Let a = 3.4 - 0.8. Let n = a - 0.6. Put n, j, -2 in descending order.
n, j, -2
Suppose y - 84 = 5*y. Let l be (4/3)/((-14)/y). Let j = -3 - -6. Sort j, l, -2 in ascending order.
-2, l, j
Let d = 55 - 63.1. Let l = d + 8. Put 4, -2, l in decreasing order.
4, l, -2
Suppose -3*w - p + 0 + 7 = 0, -4*w + p = 0. Let u(y) = -y**3 - 6*y**2 - 2*y - 8. Let s be u(-6). Sort s, -3, w in increasing order.
-3, w, s
Let h(c) = c**2 + 5*c + 2. Let v be h(-3). Suppose 0 = 7*j - 6*j - 1. Let p(f) = -f**2 + 3*f. Let l be p(3). Put l, v, j in ascending order.
v, l, j
Suppose 0 = 2*i - 0*i - 10. Let q = -2 - 1. Let y be (-1 - 0)*(q - -6). Put y, -1, i in descending order.
i, -1, y
Suppose 4*x + 11 = -h - 1, 0 = -x + 5*h - 3. Let n = x + 5. Suppose n*s - 7*s = -20. Sort s, 2/7, 2.
2/7, 2, s
Let j = -14 - -22. Let q be 4/j + (-6)/4. Sort 2, 4, q in ascending order.
q, 2, 4
Let b = -44 - -46. Sort -3, 0.1, b, -5 in decreasing order.
b, 0.1, -3, -5
Let c = 115 - 115.5. Put 13, -0.1, c in decreasing order.
13, -0.1, c
Suppose -7*k + 10 = -5*t - 2*k, 3*t - 18 = -3*k. Sort t, -0.2, 3/4 in ascending order.
-0.2, 3/4, t
Let k =