2 - 1552/7. Let x = 9 + 0. Let b be x/(-2) + 2 + 0. Sort b, -3/4, z in decreasing order.
z, -3/4, b
Let s = 41/2 + -20. Suppose 0*l = 4*l - 20. Sort l, s, -0.5 in descending order.
l, s, -0.5
Suppose 0 = -s + 4*u + 8, 3*u = -2*s - 3 - 3. Sort 2, -4, s in descending order.
2, s, -4
Suppose -i + 11 = 5. Put i, 0, 2, -3 in increasing order.
-3, 0, 2, i
Let v = 4 + 1. Sort -5, -3, v in descending order.
v, -3, -5
Let f be 0 + 2*1/(-2). Let d = -0.17 - 2.83. Sort f, -2/3, d in increasing order.
d, f, -2/3
Let q = -320/11 - -29. Put q, 0.4, -3/2 in descending order.
0.4, q, -3/2
Let v be -1 - ((-7)/6 - 0). Let p = -7 + 1. Let i be 8*3/p*-1. Sort v, i, 1/7 in ascending order.
1/7, v, i
Let n = -0.04 - 0.06. Suppose -3 = 2*d + 9. Let i be 3/6*(2 + d). Sort n, 4, i.
i, n, 4
Suppose 0 = 4*r - 11 + 3. Let i = 16 - 11. Let h = -23 - -22. Sort h, r, i in ascending order.
h, r, i
Let f = -0.88 + 0.48. Sort 2/13, -5, 0.4, f.
-5, f, 2/13, 0.4
Let u = 0 + -3. Suppose -4*o + 18 = -o. Let q be o/4*u/(-18). Sort q, 5, 3.
q, 3, 5
Let a(z) = 3*z**3 - 35*z**2 + 8*z + 7. Let h(i) = -2*i**3 + 23*i**2 - 5*i - 5. Let n(v) = -5*a(v) - 8*h(v). Let j be n(9). Put 10, -3, j in increasing order.
-3, j, 10
Suppose -g - 2*w = -10, 20 = 2*w + 3*w. Suppose 0 = -4*r + 8 + 4. Put 5, r, g in decreasing order.
5, r, g
Let i = -0.872 - 0.028. Put i, 0.3, 2/3 in descending order.
2/3, 0.3, i
Let w = 0.7 + -9.7. Let d = 12 + w. Let k = 3 + -2. Sort 0, k, d in decreasing order.
d, k, 0
Let j = -2.05 + 0.05. Suppose -3*i = -4*i. Sort -0.3, j, i in decreasing order.
i, -0.3, j
Let o be 3/(-2)*3/(-9). Let r = -5.3 - -3.3. Put o, r, -1/3 in descending order.
o, -1/3, r
Let k(z) = 2*z**3 + 5*z**2 - 13*z + 1. Let w be k(-4). Sort w, 2, 0 in decreasing order.
w, 2, 0
Let v = -0.2 + 0.4. Suppose 3*c - 2 = 2*c. Put v, c, -1/4 in decreasing order.
c, v, -1/4
Let d = 2.6 + -4.6. Sort 2, d, 1 in decreasing order.
2, 1, d
Suppose -u = -4*u. Let d(c) = -c**3 + c. Let t be d(u). Suppose 0*a - 2*a + 10 = 0. Sort 1, t, a in increasing order.
t, 1, a
Let c(v) = -v + 7. Let s be c(0). Let u be -1 + (s/1 - 1). Put u, 2/9, -2 in ascending order.
-2, 2/9, u
Let c = 10 - 16. Let b = c - -5.5. Put 3, -3, b in ascending order.
-3, b, 3
Suppose 2*r = -2*m + 4*r - 20, 0 = -r + 4. Let v(h) = -h**2 - 6*h - 4. Let l be v(m). Suppose 4*s + x = 9, -1 = -2*x + 1. Sort 0, l, s.
l, 0, s
Let d = 6 - 4. Let l = 0.49 - 0.6. Let p = 0.51 + l. Put 0.3, d, p in increasing order.
0.3, p, d
Suppose -4*z = z - 10. Suppose 4*y - 20 = -y. Sort z, -5, y in descending order.
y, z, -5
Let k = -0.3 + 0.32. Sort k, 2, -1/7 in descending order.
2, k, -1/7
Let u(y) = 5*y**3 - 2*y + 1. Let q be u(1). Sort 8, 2, q in descending order.
8, q, 2
Let c = -59 - -54. Sort c, -2, -4 in descending order.
-2, -4, c
Let b be (12 + -5)*(2 - 1). Let l(t) = -t + 5. Let w be l(b). Let q(g) = -g**3 - 5*g**2 - 5*g - 5. Let v be q(-4). Sort v, 2, w in decreasing order.
2, v, w
Let s(z) = 11*z + 10. Let f be s(7). Suppose 3*b + f = -102. Let k = 318/5 + b. Sort -2/11, k, 3/7 in decreasing order.
k, 3/7, -2/11
Let r(x) = x**2 + 3*x - 26. Let f be r(-7). Sort 0, -5, f, -2 in decreasing order.
f, 0, -2, -5
Let v be 450/70 + (-6)/14. Suppose -u + 3*u - 16 = 0. Suppose -u = 3*n + g, -5*g - v - 2 = -n. Sort n, 1, 2.
n, 1, 2
Let k be ((-12)/10)/(12/(-40)). Let o be ((-2)/(-2))/(k/28). Suppose 2*g - 3 = o. Put 4, -3, g in descending order.
g, 4, -3
Let z = 14.63 - 15. Let g = 0.07 + z. Let v be 2 + -11 - (-6 + 2). Sort 0, v, g in decreasing order.
0, g, v
Let w = 7.2 - 8. Let h = w + 0.5. Sort 1, -4/5, h in descending order.
1, h, -4/5
Let l(x) = -1 - 1 + 0*x + x. Let t be l(0). Put 0, t, 4 in decreasing order.
4, 0, t
Let b be 1751/2678 + 2 + 10/(-4). Let j = 45 - 136/3. Sort -2/3, b, j in decreasing order.
b, j, -2/3
Suppose 9 + 0 = 3*x. Suppose 2*h = -0*h + 8, x*t + 14 = -h. Let y = 6 + t. Put 3, y, -3 in descending order.
3, y, -3
Suppose -22 = 13*n + 43. Sort -3, 2, n, -1 in increasing order.
n, -3, -1, 2
Let w be -6*-12*(-4)/(-9). Let o be w/(-10) + -6 + 9. Sort -0.3, o, -1.
-1, -0.3, o
Suppose -3*a + 2 = -4*p + 1, a - 3 = 4*p. Sort 16, -0.2, a, 1/2 in descending order.
16, 1/2, -0.2, a
Let i be 3*(-2)/6*-1. Let f = 1 - -1. Put 5, i, f in ascending order.
i, f, 5
Let t be (-3 - -1) + 4 - 368/182. Put -0.1, t, -2 in descending order.
t, -0.1, -2
Suppose 0*m = -2*g + 4*m - 12, -3 = g + m. Let w be (2 - (-24)/(-9))*-3. Put g, w, -1 in descending order.
w, -1, g
Let y = -0.002 - -0.402. Let h = 3 - 2. Sort -2/3, h, y.
-2/3, y, h
Let v = -17 - -17.3. Sort -0.3, 0.21, v.
-0.3, 0.21, v
Let m be (-3)/(-6)*(1 + -3). Suppose 4*z = -z. Put m, z, 4 in decreasing order.
4, z, m
Suppose 14*b = 19*b + 25. Suppose 0*y = 2*y. Suppose y - 6 = 2*z. Sort b, z, -4 in decreasing order.
z, -4, b
Suppose 9 = -2*u - x, 0*x + 2 = 2*x. Let n = 18 - 16. Put -3, n, u in ascending order.
u, -3, n
Let s be (4/(-10))/(4/(-160)). Suppose a + s = 5*a. Sort 3, a, 5 in decreasing order.
5, a, 3
Let m = 298 + -299. Let i(b) = -b - 6. Let o be i(-6). Sort 3, m, o.
m, o, 3
Let y = -9 - -9.5. Put y, -4, -1/2 in increasing order.
-4, -1/2, y
Suppose 0 = -2*i - 6 + 14. Let t = i + -1. Let g be 1/5*2*5. Sort -1, g, t.
-1, g, t
Let l be 4/(-14) + (-46)/(-14). Sort 2, -9, l, 4 in descending order.
4, l, 2, -9
Suppose -f + 7 = j, -2*j + 4*f + 2 - 6 = 0. Let q = 8 - 6. Let s = -0.04 - 0.46. Sort s, q, j.
s, q, j
Suppose 4*l = 2*l + 10. Let z(q) = -35*q - 3 + 34*q + 5. Let j be z(l). Sort j, 0, -5.
-5, j, 0
Let a(k) = -k - 1. Let m = 5 - 10. Let q be a(m). Sort 0, -4, q in decreasing order.
q, 0, -4
Let b(c) = c**2 + 6*c + 4. Let n be b(-5). Sort -3, n, -4, -5 in decreasing order.
n, -3, -4, -5
Let t = 14 - 8. Suppose 2*z - t*z = -4. Sort -4, 5, z in descending order.
5, z, -4
Suppose 0 = 7*r - 3*r. Sort -1, r, 5 in descending order.
5, r, -1
Let j = -9.797 + -0.103. Let g = j + 10. Put -2, 1/5, g in descending order.
1/5, g, -2
Let h(j) = -7*j**2 - 7*j. Let c(u) = 10*u**2 + 10*u. Let g(t) = 5*c(t) + 7*h(t). Let n be g(-1). Sort -2, 5, n.
-2, n, 5
Suppose 10*o = 19*o. Put o, -1, 21 in decreasing order.
21, o, -1
Let i = 45 + -40. Sort -10, -4, i, -5 in descending order.
i, -4, -5, -10
Suppose -x - 11 = 2*y + 40, -4*y - 5*x - 111 = 0. Let q be (-2)/y - 9/27. Let w = -0.1 - 2.9. Sort q, w, 1/2 in descending order.
1/2, q, w
Let q = -90 - -86. Sort -1, -2/9, q in decreasing order.
-2/9, -1, q
Let q(v) = -v**3 + 3*v**2 - 3*v. Let r be q(2). Let l(x) = -x**3 - 4*x**2 + 7*x + 6. Let y be l(-5). Sort r, 4, y.
y, r, 4
Let g be 15/(-21) - (-2)/(-7). Put 2, g, -2/5, 4 in decreasing order.
4, 2, -2/5, g
Let g = -2 + 18. Suppose l + g = -3*l. Put 5, l, -3 in descending order.
5, -3, l
Suppose -2*h = -0*h - 3*c + 6, -5*c = -3*h - 9. Let p = 4 + h. Sort 2, -3, p.
-3, p, 2
Let t = 5 + -6. Sort t, -5, 0.1 in descending order.
0.1, t, -5
Suppose 2*y + 10 - 3 = 5*v, -4*v - 4 = -4*y. Let x(f) = -f + 6. Let i(q) = -2*q + 13. Let r(s) = 4*i(s) - 9*x(s). Let c be r(2). Sort v, c, -1.
-1, c, v
Suppose -3 = -3*i + 4*r, i + 3*r - 11 = r. Suppose 2*t - 7*t = -10. Sort t, i, -3.
-3, t, i
Let q = 7.6 + -10.6. Let l = -2 + 2. Sort l, -2, q in decreasing order.
l, -2, q
Let q = -16.9 - -19. Let f = -3 + q. Let d = f + 0.8. Sort d, -0.3, 4.
-0.3, d, 4
Let t be 0/(0 + -1) + -5. Let o be (2/10)/(-1*(-1)/2). Sort o, t, 5 in ascending order.
t, o, 5
Let a(w) = w + 3. Let y be a(-6). Let q be (2 - (-1 + 6))*-1. Let p = y + q. Put 0.2, 1/6, p in decreasing order.
0.2, 1/6, p
Suppose -5*o + 4*t = -0*t + 55, 2*o - t = -19. Let d(x) = -x**3 - 7*x**2 - x - 8. Let h be d(o). Sort h, -3, -2 in decreasing order.
h, -2, -3
Suppose -3*t = -2*b + 9, 0 = 5*t + b + 3 - 1. Let g be (-3 + 26/6)*6/4. Put t, 4, g in ascending order.
t, g, 4
Suppose 2*g + 3*u = -0*g + 29, 0 = 4*g + 3*u - 43. Put g, 4, -6 in increasing order.
-6, 4, g
Let t = 0.07 - 5.07. Put t, -0.3, 2 in increasing order.
t, -0.3, 2
Let h be (1 - 2)/(3/(-6)). Sort h, -1, 5 in descending order.
5, h, -1
Let f = -1.9 - -2.3. Sort -1/2, 0.1, f, 2 in decreasing order.
2, f, 0.1, -1/2
Suppose r = -3*b - 26, -4*r + 2*r = 4. Let f be 3/((-10)/b - 2). Put -3, -2, f in decreasing order.
-2, -3, f
Let o = -0.6 + 4.6. Let q be 30/(-9)*(-3)/2. Let p = 0.29 - 0.29. Sort p, o, q.
p, o, q
Let d be (-14