 r be x(2). Sort r, i, 0 in decreasing order.
r, 0, i
Let g = -182 - -187. Put g, 3, 0, -8 in descending order.
g, 3, 0, -8
Suppose 0 = -4*q - 5*i + 2*i + 1, q + i = 0. Put 0, 8, 5, q in descending order.
8, 5, q, 0
Let m = -3 - 1. Let y = 0.87 + 0.13. Sort y, 2, m.
m, y, 2
Let r = -2.8 + 6.8. Sort 2, r, 0.4 in descending order.
r, 2, 0.4
Let h = -0.17 - 0.23. Sort h, 1/6, 0.5 in decreasing order.
0.5, 1/6, h
Let j = -5.02 + 5. Sort -0.4, 4, j in descending order.
4, j, -0.4
Let k = 7 - 7. Let y(s) = -s**3 - 7*s**2 + 8*s - 4. Let o be y(-8). Sort 2/3, k, o.
o, k, 2/3
Let i = 0.72 - 7.12. Let q = i + 7. Put q, 0, -1 in descending order.
q, 0, -1
Let w = -261/1255 - -2/251. Let l be (-14)/(-12) + 0 - 1. Put w, -1, l in ascending order.
-1, w, l
Let w = -1.52 + -0.08. Let p = 1.4 + w. Sort -6, 3, p in decreasing order.
3, p, -6
Let r = 24.3 + -24. Sort -1, r, -3.
-3, -1, r
Let k(z) = z - 5. Let p be k(5). Suppose d = -p*d. Suppose d = 3*b - 7*b. Put b, 1, -2 in descending order.
1, b, -2
Let l be -1*(-4 + -1) + 16/(-8). Put -5, l, 4, 16 in ascending order.
-5, l, 4, 16
Let k = -1.9 - -5.84. Let u = 0.06 + k. Put u, 2, -5 in decreasing order.
u, 2, -5
Let i = -18 - -14. Sort i, 5, 2 in ascending order.
i, 2, 5
Suppose -3*q = k + 4, -q + 3*q - 4 = -2*k. Let j be 34/(-30) - 14/(-105). Sort k, -5, j in descending order.
k, j, -5
Let r be ((-6)/(-18))/((-3)/(-9)). Sort r, 0, -3 in ascending order.
-3, 0, r
Let x = -2 + 6. Sort 6, x, 0 in ascending order.
0, x, 6
Let k = 30 + -32. Sort 0, -3, k in ascending order.
-3, k, 0
Let u = -0.44 - -0.14. Let t = -0.14 + -6.86. Let v = -5 - t. Sort -1/5, v, u in descending order.
v, -1/5, u
Suppose -3*l = -22 + 10. Suppose -8 = l*u + 8. Suppose -2*c - 1 = -c. Put c, u, 2 in descending order.
2, c, u
Let a = 26 + -24.7. Let d = -0.7 - a. Let b = 53/14 - 16/7. Sort b, d, 3 in decreasing order.
3, b, d
Let n = 0.17 + 5.83. Let g = -10 + n. Sort g, -0.3, -0.4 in increasing order.
g, -0.4, -0.3
Let c = 0.37 - -0.03. Sort -1, 0.6, c in ascending order.
-1, c, 0.6
Let u be (-10)/(-8) + 1/(-4). Let d be (u/(-9))/((-2)/12). Sort d, -1, -2/7 in decreasing order.
d, -2/7, -1
Suppose 118*f + 25 = 113*f. Sort -2, 1, 27, f in decreasing order.
27, 1, -2, f
Let q = -4 - -6. Put 0.7, 5/3, q, 4 in ascending order.
0.7, 5/3, q, 4
Let s be (-80)/(-150) + (-2)/15. Sort s, 5, 0.1 in decreasing order.
5, s, 0.1
Suppose -5*t = -6 + 16. Sort 5, -1, t in increasing order.
t, -1, 5
Let f = -112 - -895/8. Let d = -8 + 7. Let j = 1.02 + d. Sort j, -2/19, f in increasing order.
f, -2/19, j
Suppose 3*s + 9 = -2*q + 5, -5*s = -10. Put 0, 6, q in decreasing order.
6, 0, q
Let v = 0 - 0. Let x = -13 - -14. Put v, 4, x in decreasing order.
4, x, v
Let r(d) = d + 4. Let l be r(-5). Suppose 4*y = -h + 5, -2*y - h + 3 = -0*h. Let x be (-9)/(-2) + y/(-2). Sort -4, x, l in descending order.
x, l, -4
Let n(h) = -4*h + 3. Let d be n(-9). Let t be d/15 - (-2)/5. Sort 0, 5, t in increasing order.
0, t, 5
Let w = -58 + 60. Sort 8, 5, -0.4, w in decreasing order.
8, 5, w, -0.4
Let f = -17 + 17.39. Let k = f - -0.11. Let r = 0.3 + -0.2. Put k, 3, r in ascending order.
r, k, 3
Let g = 1.9 + -0.9. Sort g, -2, 4 in descending order.
4, g, -2
Let q(t) = t + 11. Let f be q(-9). Put f, -2, -0.1 in increasing order.
-2, -0.1, f
Suppose 4*t + 0*t - 2*q = -34, 4*t + 3*q = -29. Let p = 13 + t. Let j = 9 - 14. Sort j, p, -2 in descending order.
p, -2, j
Let q = 5 - 3. Suppose q*z - 1 = -v, -8 = -z + 3*v + 10. Let u be (2 - (0 + 1)) + -3. Put -5, z, u in increasing order.
-5, u, z
Suppose 4*t = 3*n + 19, 0 = t - 2*n + 7*n + 24. Suppose 5*x - 4*q = -16, -x + q - 5 = -1. Suppose -2*g = -x*g - 8. Sort t, 0, g.
0, t, g
Suppose 2*x + 3 = 3*x, 0 = -3*a + 5*x - 24. Sort 1, a, -14, 4 in descending order.
4, 1, a, -14
Suppose -2*d - 18 = -4*s - 2, -4*s = -5*d - 10. Let o(n) = n + 5. Let t(f) = 3*f + 3. Let x be t(-3). Let h be o(x). Sort 1, d, h in decreasing order.
d, 1, h
Let j(y) = y**2 + 8*y + 4. Let u be j(-8). Suppose -i - 5*t = -9, 3*t - u = i - 3*i. Let n be i/(-2) - 3/6. Sort -4, 2, n.
-4, n, 2
Let o be (-1 - (-2)/4)*-4. Let k = o + 0. Suppose 4*s + 1 + 19 = -k*g, 0 = 5*s - g + 25. Sort 2, 4, s in increasing order.
s, 2, 4
Let j = 8 + -8.05. Let g = -1.95 + j. Sort 2, g, -2/9.
g, -2/9, 2
Let f = 76/13 - 1166/195. Sort f, 0.5, -3/8 in decreasing order.
0.5, f, -3/8
Let g = -13 + 15. Let m = -4 - -3. Let b be ((-4)/2 - m)*-1. Put b, -3, g in decreasing order.
g, b, -3
Let d = -4 + 0. Let k be 2/4 + 2 + 0 + -2. Sort k, d, -0.5 in ascending order.
d, -0.5, k
Let r = -27 - -19. Let y = r + 10. Let s = y + 3. Sort s, 2/9, -5 in decreasing order.
s, 2/9, -5
Let h = 1 + -3. Let c be (h/(-3))/(2/12). Suppose -20 = x + c*q, x + 0*x + 3*q + 16 = 0. Sort x, 3, 4 in increasing order.
x, 3, 4
Suppose 0 = -m - 7 + 3. Let d = 10 + -6. Put -3, m, d in increasing order.
m, -3, d
Let r be (3 + 0)/(9/15). Suppose -16 = -2*h - 4*c, -r*h + 2*c = 4*c - 8. Sort -1/4, -1, h in ascending order.
-1, -1/4, h
Let c = 0.042 + -0.042. Sort -3, -0.1, 2, c.
-3, -0.1, c, 2
Suppose -2*n = 4*r + 15 - 57, -2*n = 3*r - 41. Let q = n + -22. Sort q, -2, 4 in descending order.
4, -2, q
Let a be (-18)/12*(-2)/30. Put 0.2, a, -5 in decreasing order.
0.2, a, -5
Suppose 0*k = 3*k - 12. Let c = -5 - -12. Let l = k - c. Sort 1, 2, l.
l, 1, 2
Let s = 2 - -3. Let y = 0.01 + -0.31. Sort s, -2/3, y in decreasing order.
s, y, -2/3
Suppose r - 1 = 2*r. Suppose u + 6 = -2*u, 0 = -2*n + 5*u + 14. Sort r, n, 0 in descending order.
n, 0, r
Let v = -3.5 - -0.5. Put v, -1/6, -3/5 in ascending order.
v, -3/5, -1/6
Let d = 16 + -15. Sort 2, -4, d in decreasing order.
2, d, -4
Suppose 8*c - 3*c = -3*l + 5, l - 7 = c. Sort 16, -3, 1, l in descending order.
16, l, 1, -3
Suppose 18 = p - 4*m, 4*p = -3*m - 12 - 11. Sort -5, 5, p, 4 in increasing order.
-5, p, 4, 5
Let d = -0.085 - -0.485. Sort 4, -2/5, d, 0.1 in descending order.
4, d, 0.1, -2/5
Let l = -200/117 + 14/9. Put l, 1/3, 1/13, -2/21 in increasing order.
l, -2/21, 1/13, 1/3
Let s(h) = h**3 + 3*h**2 - 5*h + 1. Let f be s(-4). Put -1, 4, f in decreasing order.
f, 4, -1
Let p = -0.54 - 2.46. Put 0, p, -1, 0.1 in decreasing order.
0.1, 0, -1, p
Let z = -0.3 - -0.5. Let r = -15312250/231 - -66287. Let l = 2/33 - r. Sort z, l, -4 in decreasing order.
z, l, -4
Let t = -0.412 - 0.088. Let n = 0.68 + -0.08. Let u = 0.2 - n. Sort -5, t, u in increasing order.
-5, t, u
Let l = -0.976 + -0.024. Sort 4, -4, l, -0.4 in descending order.
4, -0.4, l, -4
Let m be 2/(-4) - 99/(-286). Sort -1, -1/4, 0.4, m in increasing order.
-1, -1/4, m, 0.4
Let t = -289 - -6067/21. Put 1.8, 4, 2, t in ascending order.
t, 1.8, 2, 4
Suppose -4*n + 16 = -0*n. Suppose 12 = -n*o - 0*o. Let a(g) = -g**3 + 10*g**2 + 4. Let b be a(10). Put o, 0, b in decreasing order.
b, 0, o
Let w(p) = -p**2 - 4*p + 3. Let r be w(-5). Let s(v) = v**3 + v**2 - 5*v - 3. Let n be s(-2). Sort n, 5, r in decreasing order.
5, n, r
Let r(v) = 3 + 1 - 2 + 4*v**2 - 6 + v**3. Let q be r(-3). Put -5, q, 4 in ascending order.
-5, 4, q
Let j = -3 + 2.6. Let o(d) = -3*d**3 + d**2 + d - 1. Let i be o(1). Let w be i/3 - (-2)/(-3). Put w, j, 0.1 in descending order.
0.1, j, w
Let f be ((-17)/170)/((-3)/(-4)). Let h be (14/4 - 2)*-1. Let t = -0.1 + 0.1. Sort f, h, t.
h, f, t
Let n = 6 - 10. Put 0, n, -5, -2 in descending order.
0, -2, n, -5
Suppose -3*i = i - 12. Sort 0, i, -10 in ascending order.
-10, 0, i
Suppose -3*b = -2*b - 1. Let l(c) = -3*c - 9. Let f be l(-3). Sort f, 5, b in ascending order.
f, b, 5
Let m = 15.09 + 0.41. Let t = 15 - m. Put 1/3, -3/2, t in ascending order.
-3/2, t, 1/3
Let o be -8 - -8*(-3)/(-6). Let i(g) = g + 8. Let d be i(-6). Sort d, 5, o in increasing order.
o, d, 5
Let v = -91232 - -1642757/18. Let k = -65/2 + v. Let s = 0.15 + 2.85. Sort 1, k, s in descending order.
s, 1, k
Let w = 1.9 - -0.1. Suppose -2*v - 12*v = 14. Sort v, 0.1, w in decreasing order.
w, 0.1, v
Let g(k) = -k**2 - 12*k + 49. Let p be g(-15). Sort 2, p, 1.
1, 2, p
Let t = 61 - 56. Suppose 0 = -5*j + f - 9, j = -f + 2 + 1. Let p be (-2)/j + 1 + -2. Sort p, t, -5 in descending order.
t, p, -5
Let s(g) = -3*g + 5. Let d be s(-5). Suppose 3*p + 5*q = -25, 4*q + d = -0*p - 2*p. Let k(t) = -t - 23. Let h be k(-26). Sort 4, p, h in decreasing order.