.
y, 0, 4
Let a = -0.19 + 0.29. Sort 1/8, 4, -0.5, a in descending order.
4, 1/8, a, -0.5
Suppose -n + 5 = -m, 3*n + 0*m - m = 19. Suppose 3*v - 40 = -5*o, -o + 27 = 3*v + n. Put o, 3, 0 in decreasing order.
o, 3, 0
Suppose f = -4*f. Suppose 6*b - b + 25 = f. Let t = -5 + 9. Put t, -3, b in decreasing order.
t, -3, b
Let y be (-2)/((-6)/(-9)) - 10. Let o = y + 9. Sort o, 3, 1 in descending order.
3, 1, o
Suppose -5*p = -4*z - 7, 5*z + p = 4 + 9. Suppose -n = 3*l, 14 = -3*n - n + z*l. Let d be ((-15)/(-10))/((-3)/(-8)). Put n, d, 5 in decreasing order.
5, d, n
Let d = -782/12207 - -4/313. Let a = -8/13 + d. Sort a, 5, 1/5 in descending order.
5, 1/5, a
Let t = -29 + 27. Let l be 33/6 + 1/(-2). Let m(r) = r**2 - r - 2. Let u be m(2). Put u, l, t in descending order.
l, u, t
Let l be 1 - ((-20)/(-11))/2. Sort -1/6, -2/5, l.
-2/5, -1/6, l
Let s(l) = 5*l**2 - l - 1. Let b be s(2). Suppose -b = -x - x - m, -x = 4*m + 2. Let n be (1 + 0)/(2/x). Put 4, -2, n in ascending order.
-2, 4, n
Suppose 6*g - 16 = 2*g - 2*k, 2*g - 3*k + 8 = 0. Let n be ((-3)/g)/((-6)/16). Put -2, 3, n in increasing order.
-2, 3, n
Let q = 0 - -1. Suppose 5*z = z - 8. Let a = -12 + 7. Sort q, a, z in ascending order.
a, z, q
Suppose -t = 5*u - 11, -2*u - 2*t + 4 = 2*u. Suppose h - 5*h = 0. Sort h, -4, u in descending order.
u, h, -4
Let n = -1330 + 1333. Suppose 3*t - 69 = 2*z + 57, 3*t = -z - 54. Let r be 23/z + 1/4. Sort r, -3, n.
-3, r, n
Let w = -32 - -31.9. Sort 1, w, 0, -3 in increasing order.
-3, w, 0, 1
Let f = -7 + 22. Suppose -w = 2*w - f. Sort -5, w, 3 in ascending order.
-5, 3, w
Let p = 2 - 0. Let g be ((0 - -1)/(-2))/3. Let j(t) = 2*t + 41. Let i be j(-21). Sort p, g, i in descending order.
p, g, i
Suppose 0 = 11*l - 43 - 1. Put l, 0, -2, 5 in decreasing order.
5, l, 0, -2
Let i = 0.611 - 0.111. Sort 5, 19, i in descending order.
19, 5, i
Let h = 13 - 30. Let k(q) = -q**3 + 10*q**2 - 8*q - 21. Let s be k(9). Let r = s - h. Sort -4, -5, r.
-5, -4, r
Suppose -4*j = -8 - 8. Sort 0.2, 2, 7, j.
0.2, 2, j, 7
Let g = -50 - -55. Sort g, -5, -7 in decreasing order.
g, -5, -7
Let z(f) = f**2 + 6*f - 10. Let v be z(-8). Sort -2, 5, v in increasing order.
-2, 5, v
Let u = -374 - -5239/14. Sort 1, u, -3 in decreasing order.
1, u, -3
Suppose 59 = 5*q + 69. Let h = -6 + 3. Sort -5, h, q in decreasing order.
q, h, -5
Let i = 1 - 4. Let j = 70 - 74. Sort i, 0, j in decreasing order.
0, i, j
Let q = -24 - -12. Let o = q - -11. Sort o, 2, -0.1 in descending order.
2, -0.1, o
Let x be (-2 - 3/(-2))*-4. Let b = 3 + -4. Sort -5, b, x.
-5, b, x
Let z = 175 + -166.7. Let j = z + -8. Put 6, j, -1/2 in increasing order.
-1/2, j, 6
Suppose -i - 6 = -1. Suppose 5*w - 3*w = 3*f - 28, 0 = -5*f - w + 38. Let a be (f/(-20))/((-1)/5). Sort a, 0.1, i.
i, 0.1, a
Let l(y) = y + 10. Let x be l(-10). Suppose 0 = 5*r - x*r - 20, 0 = h - 3*r + 8. Put 1, -5, h in decreasing order.
h, 1, -5
Let m = -40.6 + 41. Let h = 3.99 - -0.01. Put -3/4, h, m in descending order.
h, m, -3/4
Let j = -4 + 5. Let x = 1.1 - j. Let w = 0.9 + 3.1. Sort 0.2, w, x in ascending order.
x, 0.2, w
Suppose 4 = -3*o - 2. Suppose 5*f + 6 - 31 = 0. Sort o, f, 4 in decreasing order.
f, 4, o
Let n(t) = -t**2 - 9*t - 12. Let q be n(-8). Put q, 2, -5 in increasing order.
-5, q, 2
Let x(b) = b**3 - 15*b**2 + 14*b + 4. Suppose 15 + 41 = 4*n. Let r be x(n). Sort -2, 2, r in ascending order.
-2, 2, r
Let f(w) = -w**3 - 4*w**2 + 5*w + 2. Let a be f(-5). Let j be 0/a + (-1 - -2). Let s be (-2 + j)/(-7)*-1. Put s, -0.2, -0.3 in increasing order.
-0.3, -0.2, s
Let m(a) = a**3 - 4*a**2 + a. Let j be m(4). Put j, -1, 2 in increasing order.
-1, 2, j
Let a(m) = m**2 - 3*m - 10. Let t be a(5). Suppose 19 = -v - 4*v - 4*k, v = -5*k + 13. Let p = 5 + v. Sort -4, t, p in increasing order.
-4, p, t
Let k be (21/14)/((-6)/(-16)). Suppose 0 = -k*f - f. Sort -5, f, 1.
-5, f, 1
Let b(x) = x**3 - 5*x**2 - 4. Let q be b(4). Let n be (-4 - -2) + q/(-6). Sort 0.5, 2/3, n in decreasing order.
n, 2/3, 0.5
Let g = 1 + 0. Let w be (g + (-12)/8)*6. Sort 2, w, 0 in decreasing order.
2, 0, w
Let j be (-4)/10 - 2/(-5). Let f be (1 - 3) + (6 - -1). Let z = f - j. Sort 0, 2, z in descending order.
z, 2, 0
Let k = 0.14 + -2.14. Put -5, -2/15, k in descending order.
-2/15, k, -5
Let o(f) = 2*f**2 - 21*f + 1. Let a(c) = c**2 - 10*c. Let s(w) = 7*a(w) - 3*o(w). Let g be s(6). Let u be (g/(-6))/(6/8). Sort 3, 1, u in ascending order.
1, u, 3
Suppose 5*a - 25 = 4*a - 4*r, r + 49 = 4*a. Suppose -z - 51 = -5*l, -l + a = -3*z - 0*z. Let q be 4/l - (-81)/(-15). Put 4, q, -2/13 in descending order.
4, -2/13, q
Let z = 59.1 + -59. Sort -4, z, -3/7 in descending order.
z, -3/7, -4
Let s be 88/(-180) - 9/(-15). Let t = 31 - 339/11. Put s, t, 0 in decreasing order.
t, s, 0
Let y be (-4)/(0 + (-12)/3) - -3. Put y, -3, -1, 2 in increasing order.
-3, -1, 2, y
Let q = -0.34 + 0.04. Let v = 4 + -3. Put -6, q, v in ascending order.
-6, q, v
Suppose -4*g = 4*k - 12, -k = -g - 3*k + 8. Sort -4, -5, g, 1 in descending order.
1, g, -4, -5
Let p = 0 - -2. Let d = p - 6. Let o = 30 - 152/5. Put 0.4, o, d in decreasing order.
0.4, o, d
Let k(a) = -a**3 + 12*a**2 + 14*a - 18. Let p be k(13). Sort -1, p, -0.07, 5.
p, -1, -0.07, 5
Suppose 0 = 5*l - 3*n - 18, 0*l - 3*l + n + 10 = 0. Suppose -4*i - 13 - 15 = 0. Let o = i + 5. Put o, -4, l in descending order.
l, o, -4
Let b(a) = a + 1. Let w be b(-4). Let o(k) = k**3 - 2*k**2 - 2*k + 2. Let p be o(1). Put -4, w, p in descending order.
p, w, -4
Let o(g) = -g**3 + 10*g**2 - 8*g - 5. Let z be o(9). Let f be 10/z*(-4)/(-5). Suppose -6 = -v - f. Sort -2, v, 3/2 in descending order.
v, 3/2, -2
Let y = 29 + -29.3. Sort -0.01, -3, y in descending order.
-0.01, y, -3
Suppose 0 = -5*p - 5*s - 75, -3*p - s = -5*p - 30. Let o be 6/p - 81/(-15). Sort o, 3, -3 in decreasing order.
o, 3, -3
Let s(y) be the second derivative of y**3/2 - 2*y**2 - y. Let v(w) = 3*w - 6. Let j be v(3). Let g be s(j). Sort -2, 2, g.
-2, 2, g
Let p = -2 - -2. Suppose -3*x = 5*i - p*x - 12, 3*i - 16 = -4*x. Suppose i = 2*m + 4 - 2. Sort 1, 2, m in ascending order.
m, 1, 2
Let g = -1.3 + 0.3. Let i = g - -1.3. Let u = 51.5 - 51. Put i, 0.1, u in decreasing order.
u, i, 0.1
Let k = -2.08 + 0.08. Sort 2, k, 3, -2/7 in decreasing order.
3, 2, -2/7, k
Let i = 0.03 - 3.03. Let j be (-4)/30 - 10/((-450)/33). Sort i, 0.2, j in increasing order.
i, 0.2, j
Let b = -19 + 23. Sort -3, b, -2, 2 in decreasing order.
b, 2, -2, -3
Let x = 4 + -8. Let u = -40.6 - -41. Put x, 0.2, u in increasing order.
x, 0.2, u
Let c = -3 + 8. Let i = -0.05 - 10.95. Sort c, 3/5, i.
i, 3/5, c
Let j = -3 + 3. Suppose 1 = -t - j. Put t, 0.4, -2 in decreasing order.
0.4, t, -2
Let a = 178 + -173. Sort -0.11, 2/7, -0.5, a.
-0.5, -0.11, 2/7, a
Let h(i) = 2*i. Let j be h(0). Put j, -5, -11 in ascending order.
-11, -5, j
Let w be 270/(-780) + -1*2/(-4). Put w, -5, 0.4 in increasing order.
-5, w, 0.4
Let n = -0.3 + -0.2. Let l be ((-136)/18)/(-2) - (12 - 8). Sort l, n, -5 in descending order.
l, n, -5
Suppose -o = o + 6. Sort -4, o, -2.
-4, o, -2
Let j = -105 - -108. Sort j, -2, -6 in descending order.
j, -2, -6
Let y = 5.059 + -0.059. Let p = 13 - 18. Let s = 3 + p. Sort y, -4, s.
-4, s, y
Let p = 8.2 - 8. Let t = -15.4 + 15. Sort 0, p, t in decreasing order.
p, 0, t
Let o = -4.03 - -0.03. Sort 5/3, -3, o in ascending order.
o, -3, 5/3
Let y = -0.2 + 0.7. Let h = 0.4 + -0.2. Sort y, h, -3/4 in descending order.
y, h, -3/4
Let p = -0.53 - 0.07. Let n = p - -0.3. Put 0.1, n, -2 in descending order.
0.1, n, -2
Suppose -3*q = 3*c - 16 - 5, -1 = -3*q + c. Let h(w) = -w**2 - 2. Let p be h(0). Sort 4, p, q in descending order.
4, q, p
Let x = 1 + -1. Suppose x = -2*k + i - 11, -5*i - 41 + 5 = 3*k. Let v = 5 + k. Put 1, 5, v in descending order.
5, 1, v
Suppose -l + 7 = -3. Suppose r = -2*g + 10, 7*g = r + 2*g - l. Let i be (-9)/r*15/18. Sort i, -2/15, 1/3 in decreasing order.
1/3, -2/15, i
Let x = -1 + 4. Sort -3, x, 5 in decreasing order.
5, x, -3
Let q = 4.72 - 2.72. Let d = 12/19 - 27/133. Put q, -3, d in descending order.
q, d, -3
Suppose -r = -3*g + 13, -4*r + 7 = 3*g - 1. Suppose -4 = -q - 2*s - 0*s, -q + 7 = 5*s. Let x be 0/2 + 0 + -2. Sort q, g, x in decreasing order.
g, q, x
Let v = -0.78 + -0.12. Let x = v - -3.9. Let g = x 