-4
Let u = 2 + -12. Let g = u - -14. Suppose 0 = g*x - 3 - 13. Sort -5, -2/3, x.
-5, -2/3, x
Let h = -9 + 3. Suppose -5*o + 31 = 2*i, -2*o - 2*i = -0*o - 10. Let f be -3*4/h - o. Sort -2, -1, f in ascending order.
f, -2, -1
Let i = -0.64 + 0.63. Put -2/11, i, -0.5 in descending order.
i, -2/11, -0.5
Let z(h) = 5*h + 2. Let v be z(5). Let l = v + -24. Let x be 9/15 + (-4)/(-10). Sort x, 0, l.
0, x, l
Let k(c) = 2*c - 24. Let l be k(12). Sort -2, -4, l, 2/9 in increasing order.
-4, -2, l, 2/9
Let r = -1.8 - -1.8. Let l = -0.07 + -2.93. Sort l, r, 0.2 in descending order.
0.2, r, l
Let z = -4 + 5.2. Let l = z - 0.9. Put l, 2, 0 in descending order.
2, l, 0
Let b be -4 - 4/(-2) - 5. Suppose -7*t - 33 = -47. Sort 4, b, t.
b, t, 4
Let o = 45 - 54. Sort o, 1, 0.4, 0.5 in increasing order.
o, 0.4, 0.5, 1
Suppose -5*r = -110 - 30. Let v = 20 - r. Let t = v - -13. Sort t, -5/4, -0.4 in ascending order.
-5/4, -0.4, t
Suppose 3*u + 1 - 16 = 0. Suppose -3*a + 2*w = -5 - 3, w + 11 = u*a. Let y = 6 - 1. Sort a, 4, y in decreasing order.
y, 4, a
Suppose 0 = 3*z - 15, -2*v = -5*v + 4*z - 11. Suppose -3*h + 4*t + t = -52, 2*t - 17 = -3*h. Let c be 6 + v*(-6)/h. Sort 2, c, -5.
-5, 2, c
Let x be (0 - -1)/(1/3). Suppose -12 = 7*g - 9*g. Put 5, g, x in descending order.
g, 5, x
Let s be -6*((-1 - 1) + 1). Let u(d) = d**3 - 7*d**2 + 8*d - 1. Let p be u(s). Suppose -p = 5*o - 1. Sort 5, o, 3 in descending order.
5, 3, o
Let m be (6 - (0 - -2))/2. Suppose -m*l + 1 = -9. Suppose -l = -k + 6*k. Put k, 0, 2 in ascending order.
k, 0, 2
Let d = 5 + -8. Suppose -a + 4*a = 0. Suppose a = -2*u - 0*u - 10. Put u, 1, d in decreasing order.
1, d, u
Let h(k) = -k**3 - 3*k**2 - k - 4. Let o be h(-3). Let z(f) = -f**3 - 8*f**2 - f - 12. Let g be z(-8). Sort g, o, -5 in descending order.
o, g, -5
Let z = -4 + 10. Let w be (4/(-6))/(22/z). Put w, 5, -3 in descending order.
5, w, -3
Suppose 9*t - 25 = 4*t. Suppose 2*q - 33 = -5*a, -4*q + 6*q - a - 3 = 0. Suppose -m + q = 2. Put m, -3, t in increasing order.
-3, m, t
Let a = 0.41 + -1.41. Let g = -0.9 - -5.9. Sort a, g, -2 in descending order.
g, a, -2
Let f be (1 - -1)/(6/12). Put -2, 2, f in decreasing order.
f, 2, -2
Let c(o) = -3*o - 22. Let f be c(-9). Sort -2, 4, f in decreasing order.
f, 4, -2
Let z be (-148)/(-16) + 2/(-8). Let i = -10 + z. Sort -3, i, 2.
-3, i, 2
Suppose j = 4*d + 7, d + 4*j - 2 = 3*j. Sort 3, d, 31, 5 in ascending order.
d, 3, 5, 31
Let z = 0.9 - -0.1. Let r = 73 - 71. Put z, -6/11, r in decreasing order.
r, z, -6/11
Suppose 0 = -0*m - 3*m + 27. Let o be ((-4)/(-12))/(3/m). Put 5, o, 3 in ascending order.
o, 3, 5
Let o = 8.3 + -8. Let c = 1.7 + o. Let m = 6 + -1. Sort c, m, 1/3 in decreasing order.
m, c, 1/3
Suppose 12 = -9*g - 15. Put g, 2, 3 in increasing order.
g, 2, 3
Let k = 0 - -0.2. Let h = k - 0.5. Let n = 0.1 - -0.9. Put n, h, -4 in decreasing order.
n, h, -4
Suppose 3*l - 3*m - 21 = 0, 0 = -0*l - 5*l + 3*m + 25. Suppose -4*s + 10 = -6*s. Sort -2, s, l.
s, -2, l
Let z = 3 - 5. Put -6, 3, z in descending order.
3, z, -6
Let u = 0.43 + -0.13. Sort -0.4, 4, u in descending order.
4, u, -0.4
Suppose 3 = 2*j - j. Let k(b) = -b + 1. Let n be k(2). Sort j, n, -4 in decreasing order.
j, n, -4
Let z = 0.17 + 0.03. Sort z, 14, -3 in descending order.
14, z, -3
Suppose -4*w = 20, 5*w + 30 = -p - 0*p. Sort -3, p, -2/17.
p, -3, -2/17
Suppose s = -3*s + 3*z - 12, 2*z = -2*s - 6. Sort s, 1, 3, -31.
-31, s, 1, 3
Let z(u) = u. Suppose 2 = w + 5*r, -2*w + r + 2*r = -4. Let n be z(w). Suppose -s = 3*s + 20. Put s, -1, n in decreasing order.
n, -1, s
Suppose -4*p - 16 - 4 = 0, 4*h = 3*p + 43. Sort -5, h, 3 in ascending order.
-5, 3, h
Let q(h) = -h**2 - 5*h + 1. Let s be q(-5). Let c = 0.5 + -0.8. Put -2/5, c, s in decreasing order.
s, c, -2/5
Suppose -u + 3*u + 9 = i, -5*u - 30 = -4*i. Let p = i - 8. Let j be p*((-8)/(-3) + -2). Put j, -4, -3 in decreasing order.
j, -3, -4
Let o = -11 + 3. Let x = 12 + o. Let i = -1.1 + 0.1. Sort i, x, -5.
-5, i, x
Let l = -10.3 - -11. Sort l, 2, 2/5 in increasing order.
2/5, l, 2
Let z be -1 + 2 - (-5)/(-1). Let b(w) = -w**2 - 5*w - 2. Let i be b(-5). Let n(r) = -r**3 - 4*r**2 - 2*r + 2. Let d be n(i). Put d, 2, z in descending order.
2, d, z
Let n = 36 - 33. Sort n, 5, 0 in increasing order.
0, n, 5
Let k = 7 - -1. Suppose -2 = 2*v - k. Put v, -2, -1 in descending order.
v, -1, -2
Suppose 0*o - 3 = -o. Let s be -2 + 2*-1 - -2. Put s, o, -2/3 in increasing order.
s, -2/3, o
Suppose -4*j - 3*j = 0. Suppose -5*l - 25 = -0*l. Sort 1, j, l in increasing order.
l, j, 1
Let j = -40 - -42. Put 5, j, -4 in increasing order.
-4, j, 5
Let w = 107/4 - 741/28. Let c = -6 - -12.9. Let x = c + -7. Sort w, -1/5, x in ascending order.
-1/5, x, w
Suppose m - 3 = -u + 3, -2*m + u + 18 = 0. Let w be (-1)/4 + 10/m. Let k = 1.7 + -4.7. Sort w, 3, k in descending order.
3, w, k
Suppose -6*g + g - 5 = -5*a, -5*a + 3*g = -9. Suppose 3 = a*n - 3. Let c = n + -5. Sort 2, c, 1 in ascending order.
c, 1, 2
Let d = -15 + 23. Let h = -8.3 + d. Let x = 0.2 - 0. Put 1/8, x, h in decreasing order.
x, 1/8, h
Let q = -41 + 40.8. Sort 2/9, q, 0 in decreasing order.
2/9, 0, q
Let n = -9 - -7. Let d = -1 + n. Let r(w) = w**3 - w**2 + w - 1. Let m be r(0). Put d, m, 0 in ascending order.
d, m, 0
Suppose -9 = -2*m - 3*k + 1, 0 = 3*m + 3*k - 9. Let b(u) = -5*u - 3*u + 4*u**2 + 2 - 3*u**2. Let x be b(7). Sort m, 0, x in descending order.
0, m, x
Let i(r) = -r**2 + 2*r + 1. Let j be i(3). Suppose -5*n = 2 - 12. Put n, j, -4 in decreasing order.
n, j, -4
Let i = 12.3 - 12. Let s = -0.3 + 0.2. Put 4, i, s in decreasing order.
4, i, s
Let f = -86 - -85.8. Put f, 2, 1, 2/3 in decreasing order.
2, 1, 2/3, f
Let w be ((-18)/(-12))/(9/(-24)). Sort 0, 5, w in decreasing order.
5, 0, w
Let m be (-10 - -8)*6/(-4). Let l(q) = q**2 + 4*q. Let y be l(-4). Sort 1, y, m in increasing order.
y, 1, m
Let w = 761/7 + -109. Let a be 51*1/(-3)*1. Let c be a*(-1)/(-4) - -3. Put 5, c, w in ascending order.
c, w, 5
Let k = -5.57 + 9.68. Let y = -0.11 + k. Let x = 0 - -0.4. Put x, 5/3, y in descending order.
y, 5/3, x
Suppose 4*o - 20 = -4*h, 2*h - 6*o + 5 = -3*o. Suppose h*c - 4 = 4. Let l = -5.55 + 2.55. Put c, 0.4, l in descending order.
c, 0.4, l
Suppose 3*v - 2*r = -2, 5*r = -2*v + 8 - 3. Sort 3, 26, v, 4.
v, 3, 4, 26
Suppose -10 = -2*d - 0*d. Let f(l) = 10*l**2 + 2*l - 1. Let m be f(1). Let n = m + -16. Sort n, 4, d in descending order.
d, 4, n
Let k = -21 - 14. Let i = k + 73/2. Let f = 2 + -1. Put i, f, 0.4 in descending order.
i, f, 0.4
Let v be (-36)/(-10) - (-21)/(-35). Sort 2/5, v, 6/13 in increasing order.
2/5, 6/13, v
Let o be (6/(-8))/(6/4). Let k(m) = m**2 - m + 3. Let f be k(0). Sort o, f, -3/4 in decreasing order.
f, o, -3/4
Suppose 0 = 4*n - 3 - 17. Let l(u) = u + 6. Let v be l(-2). Sort v, n, -5.
-5, v, n
Let j = -149 + 149.1. Put j, 4, -5, -3 in increasing order.
-5, -3, j, 4
Let h = 2.1 - 2. Let y be (-2)/(-10) + (-1 - 0). Sort y, 5, h in decreasing order.
5, h, y
Let k = -2601.9 + 2737. Let l = k + -141. Let u = l + 0.9. Sort u, -4, -0.1 in increasing order.
u, -4, -0.1
Let p = -1.15 - -0.15. Let d = 0 - -0.1. Sort p, -0.4, d in ascending order.
p, -0.4, d
Let q be (1*-1)/(13/(-208)). Suppose 0 = 4*h + 2*i + 6 + 20, 3*i - q = 5*h. Put 3, h, -2 in descending order.
3, -2, h
Let w be 2/(-8) + (-1)/(-36). Suppose -2*q + 0*q = -12. Let a be -3 + 6 + (-22)/q. Put -1, a, w in decreasing order.
w, a, -1
Suppose 3*n - 4 = 2*l, -5*l - 7*n + 15 = -2*n. Put 3, 0, l in decreasing order.
3, l, 0
Let c = -23 - -32. Let m = -22 + 16. Let y = m + c. Sort -3, -0.4, y in descending order.
y, -0.4, -3
Let r be 3/9*1/(-7). Let j = -1/3 - r. Let b = 0 - -3. Sort 1, b, j in descending order.
b, 1, j
Let h = 9 + -9.01. Sort 0.1, -0.2, -2/7, h in descending order.
0.1, h, -0.2, -2/7
Suppose 4*v + 11 = -d, d + 14 = -4*v - v. Put -4, -2, d in ascending order.
-4, -2, d
Let g = 10 + -5. Suppose m = g*m. Sort m, 4, 5 in decreasing order.
5, 4, m
Let b = 0.7 + -0.2. Let k = 5.04 + -5. Let h = 0.04 - k. Sort 0.2, b, h.
h, 0.2, b
Let s be (-1 + 8)*6/21. Put 5, 1, s in decreasing order.
5, s, 1
Suppose 6*u + 4*k - 2 = u, -3*k = 5*u - 4. Sort u, -4/3, -12 in increasing order.
-12, -4/3, u
Let r = 0.8 - 1. Let g = 9 + -9.1. Sort 0, r, g in increasing order.