 = 6 + -3. Suppose -r*x - 11 = 2*v, 2*v = 1 + 3. Sort q, x, 3.
x, 3, q
Let l(j) = -2*j**2 + 3*j. Let m be l(2). Let w be 40/12*(-3)/m. Sort w, 2, 4.
2, 4, w
Let a be (-2)/(-2)*4 - -1. Sort a, -2, 4, 29 in decreasing order.
29, a, 4, -2
Suppose 0*h + h = -3. Put h, 5, -1 in descending order.
5, -1, h
Suppose -5*m = 5*g - m + 5, 5*m = -4*g - 13. Put g, -6, 4, -3 in descending order.
4, g, -3, -6
Let c = 14 + -14.38. Let o = c - 0.02. Sort o, 1/4, 1/6 in decreasing order.
1/4, 1/6, o
Let a = -46/77 - -5/11. Put 0.1, -11/5, a, 2/9 in increasing order.
-11/5, a, 0.1, 2/9
Let j(a) = 3*a**2 - a + 1. Let z be j(1). Put -7, -4, z in descending order.
z, -4, -7
Let z = 8735 + -26959. Let l = z + 127028/7. Let p = l - -77. Put 0.2, p, -4 in descending order.
0.2, p, -4
Let g = 0.68 + -0.28. Sort -2/11, 0.5, g.
-2/11, g, 0.5
Let k be 4*(-1 - 2/(-8)). Let x(z) = 4*z**3 + z**2 + 2*z + 1. Let c be x(-1). Let v(b) = b + 9. Let d be v(c). Put -5, d, k in descending order.
d, k, -5
Let b(n) = 2*n - 4. Let x be b(4). Let r be 3*(-1)/((-6)/(-2)). Let o be 75/27 - 4/(-18). Put o, r, x in ascending order.
r, o, x
Let j = -2 + -5. Sort j, -1, 4.
j, -1, 4
Suppose -4*w + 2 = -2*q, q + 4 = 3*q - 2*w. Let a(p) = -3*p**2 - p - 1. Suppose d - 5*d - 4 = 0. Let m be a(d). Sort q, m, 3 in decreasing order.
q, 3, m
Let v = 9 + -5. Suppose -12 = 2*y + 2*h - 3*h, 0 = 3*y - h + 17. Sort v, 3, y in descending order.
v, 3, y
Let x be 1 - 1 - 8/(-4). Let y = x + -3. Put y, 3, -5 in ascending order.
-5, y, 3
Let r(v) = v**3 - 6*v**2 - 7*v + 1. Let a = -5 - -12. Let b be r(a). Sort b, 6, -1.
-1, b, 6
Let t = 147 - 445/3. Put 1, 5, t in decreasing order.
5, 1, t
Let t = -13 - -16. Sort t, 1/2, 0.4.
0.4, 1/2, t
Let n be (-6)/21 - (-24)/(-14). Let o(a) = -a**3 - 6*a**2 - a - 4. Let l be o(-6). Suppose 7 = -l*i - 3. Put 1, i, n in descending order.
1, n, i
Let a = 172 - 177. Sort a, -42, -3 in descending order.
-3, a, -42
Let v(y) = y**2 + 6*y - 7. Let l be v(-6). Let q be ((-12)/(-9))/(1/9). Let d = l + q. Sort 2, -1, d.
-1, 2, d
Let k(h) = -8*h - h**2 - 4*h**2 + 4*h**2 + 4. Let j be k(-8). Let g be (-8)/(-28)*-1*-7. Put g, j, -5 in descending order.
j, g, -5
Suppose 4*k = 3*v + 5, 6 = -3*v + 5*k - 4. Sort 3, -3, v in descending order.
v, 3, -3
Let r(q) = q - 4. Let k be r(5). Let l(w) = w - 10. Let y be l(10). Suppose 4*b = -22 + 2. Put k, b, y in decreasing order.
k, y, b
Let l = -7.97 - -8. Let w = l + -0.03. Put 4, -0.4, w in descending order.
4, w, -0.4
Let h = 3 + 2. Let v(c) = 14*c + 14. Let t be v(-1). Let f = 4 + -9. Put t, h, f in descending order.
h, t, f
Suppose 0 = 4*c - 41 + 9. Let l be c/(-12) + 14/(-6). Sort -1/10, -4, l.
-4, l, -1/10
Let w(v) be the second derivative of v**5/20 + 5*v**4/12 + 5*v**3/6 + 3*v**2 + 2*v. Let k be w(-4). Let n be 3/((k - 2) + -4). Put n, 0, 1 in descending order.
1, 0, n
Suppose -1 = -8*p - 1. Sort p, -2, 3, -4.
-4, -2, p, 3
Let i(p) = p**3 + 2*p**2 - p. Let w be i(-2). Sort 4, -1, w in increasing order.
-1, w, 4
Suppose -t + 6*t - 15 = 0. Suppose -4*k = -n - 9, 4*n = -0*n - 20. Suppose -h - k = 2. Sort 5, t, h in decreasing order.
5, t, h
Let j(b) = -5*b**3 + 9*b**2 - 3*b - 5. Let i(m) = -4*m**3 + 8*m**2 - 2*m - 4. Let t(n) = -6*i(n) + 5*j(n). Let o be t(-2). Put -2, o, 5 in descending order.
5, o, -2
Let r = -3.97 + -0.03. Let p = -0.9 - 3.1. Let z = -6 - p. Put r, z, -5 in decreasing order.
z, r, -5
Suppose -v + 5*d = 2*v + 7, -6 = 4*v - 5*d. Let u be (-56)/(-9) + (-4)/18. Suppose u = -w + v. Put 2/7, 0.4, w in descending order.
0.4, 2/7, w
Let z(k) = k**3 - 4*k**2 - 4*k - 7. Let u be z(5). Let f be -1*(3 + -5 + -6). Let v be (f/114)/(u/3). Sort v, -0.2, 2/5 in decreasing order.
2/5, v, -0.2
Let z be (-1)/(-2) + 13/(-10). Let a(g) = g + 6. Let n be a(-6). Let l = -5.0375 + 0.0375. Put z, l, n in descending order.
n, z, l
Let c be (2 - 36/15)*-25. Suppose -3*g = 2*y + 2, g - 2*y = 2*y - c. Let l = g + 6. Sort -2, 2, l in ascending order.
-2, 2, l
Let x = -31 + 51. Let c = -14 + x. Sort 0.1, c, -0.1 in decreasing order.
c, 0.1, -0.1
Let y(f) = -3*f**2 + 2*f + 3. Let k be y(-2). Let r = k - -18. Let b be (-1 - 0)/(5/15). Put -5, r, b in ascending order.
-5, b, r
Let n = -0.3 + 0.3. Sort 1/4, n, -2 in increasing order.
-2, n, 1/4
Let w be 2/9 - (152/36 + -4). Sort w, 4, -3.
-3, w, 4
Suppose w + 3 = 4*w. Let a = 4 - -4. Suppose 4*f + 16 = a*f. Put f, w, -3 in descending order.
f, w, -3
Let u = 1 + 2. Let o be (2 - 4) + 0 + 3. Sort o, u, -1 in decreasing order.
u, o, -1
Suppose 0 = -5*b + 6 + 19. Suppose 0*r = -b*n - r + 29, -r - 16 = -4*n. Sort -0.5, -5, n in descending order.
n, -0.5, -5
Let k(h) = h**3 - 7*h**2 - h + 2. Let n be k(7). Let u = n + 7. Put 5, 3, u in descending order.
5, 3, u
Suppose 0 = 4*m - 13 + 9. Suppose 2*n + 4*l = 5*l - 6, 4*n + 22 = -3*l. Put m, -5, n in descending order.
m, n, -5
Let n be (1/(-2))/(3/(-6)). Put 13, -5, -3, n in increasing order.
-5, -3, n, 13
Let g be 14/5 + (-4)/(-20). Let z be 4*((-45)/12)/(-5). Suppose b + 0 + z = 0. Sort b, 0, g in decreasing order.
g, 0, b
Let h = -2/229 + -436/2519. Sort h, -1, 2 in ascending order.
-1, h, 2
Let i be (198/(-63))/(4/(-14)). Sort 3, -4, i in decreasing order.
i, 3, -4
Let r(t) = -t**3 - 4*t**2 - t + 3. Let m be r(-4). Sort -3, -4, m.
-4, -3, m
Let b be (-60)/14 - 2/(-7). Let l be 4/(-6) - 15/(-9). Suppose q + 2*s - 5 = 0, -5*q + 5*s = -24 - l. Sort b, 0, q in decreasing order.
q, 0, b
Suppose 4*f + 1 = -3*d, -f = 4*f - 10. Let l be (d - (-16)/3) + -1. Put l, 4, 2/13 in descending order.
4, l, 2/13
Let h = -3 - -3.1. Suppose 4*u + 15 = -t, 4*u + 6 - 1 = -3*t. Put h, 0, u in decreasing order.
h, 0, u
Let s = 108 + -755/7. Let t = -0.1 - 0.2. Sort s, 2, t in ascending order.
t, s, 2
Let l(g) = -g + 6. Let y be l(6). Suppose k - 3 = r, 0*r + 3*r = y. Suppose -c + k*c = -2. Sort c, 1, -2 in descending order.
1, c, -2
Let y(u) be the second derivative of u**3/3 - u**2/2 + 6*u. Let c be y(2). Put c, 1, -1 in descending order.
c, 1, -1
Suppose -6 = 2*r - 0. Suppose 2*u = u + 3. Put r, u, -2 in descending order.
u, -2, r
Let m be 2/7 - 52/(-14). Put m, 1, -3 in ascending order.
-3, 1, m
Let t be (-1)/((4 - 8) + 3). Sort 22, t, -3 in ascending order.
-3, t, 22
Suppose 0*v = -2*v. Suppose 0 + 25 = -5*k, 0 = -3*m - 3*k + 51. Suppose 2*s - 4 = 0, -5*s + m = -4*d - 0*d. Sort -1, v, d in ascending order.
d, -1, v
Let v be 1 - (5 + -1)/(-1). Suppose -g = -v*g + 508. Let k = g - 1145/9. Put k, 5, 0.4 in ascending order.
k, 0.4, 5
Let h = 15 - 6. Suppose -4*r + 5*j = -h*r - 30, -4*r + 5*j = 15. Sort r, -3, 0 in descending order.
0, -3, r
Let d = -0.02 + 0.32. Let i be (-1)/15 - (-4)/10. Let s(u) = u**3 - 6*u**2 - 7*u + 2. Let m be s(7). Put i, d, m in decreasing order.
m, i, d
Let k = -11 + 8. Let g be k/((-5)/(60/(-9))). Put g, 3, -2 in descending order.
3, -2, g
Let r = -3 - -2.6. Sort -2/9, r, 0.5 in decreasing order.
0.5, -2/9, r
Let b be 1*-3 + 0/(-5). Sort 4, b, 13 in increasing order.
b, 4, 13
Let l = -30 - -17. Let a = l + 20. Let p = -10 + a. Sort 0.1, p, 0 in descending order.
0.1, 0, p
Let y be 2/((-2 + -1)/(-6)). Let m = 6 - 4. Sort y, 0, m in decreasing order.
y, m, 0
Suppose 0 = -2*j - 5 - 3. Let h be -3 - -1 - (-12)/7. Put h, j, -0.3 in ascending order.
j, -0.3, h
Suppose -2*j + 2*g - g = -6, 0 = 3*g. Sort 5, j, 2 in decreasing order.
5, j, 2
Let x be 0 + 0 - (-8)/14. Let f = -8.1 - -8. Put 0.2, x, f in descending order.
x, 0.2, f
Let x(c) = -5*c**3 - c**2 + 2*c + 2. Let u be x(-1). Suppose 15 = -3*l - 6. Put u, l, -1 in decreasing order.
u, -1, l
Let a = 0.13 + -5.13. Put a, 1/2, 2 in decreasing order.
2, 1/2, a
Let m = 536657/15 + -35862. Let i = 85 + m. Sort 0.5, 2, i in descending order.
2, 0.5, i
Suppose 3*r = r + 4. Suppose 0 = -2*k + 2*s + 16, s = r*k - 16 + 2. Let j = k - 10. Sort j, -1, 5.
j, -1, 5
Suppose -2*p + 1 = -3*g, -g - p = -0*g - 3. Put g, -5/2, -1/8 in increasing order.
-5/2, -1/8, g
Suppose -4*b = -3*b, 0 = 5*k - 5*b. Let r = -2.01 + 0.01. Put k, r, 2/11 in decreasing order.
2/11, k, r
Let y = -2888/17 + 170. Let f = -16 + 20. Sort 2/23, f, y in descending order.
f, y, 2/23
Let f = -11 + 21. Let s = f - 9. Sort -5, s, 4 in increasing order.
-5, s, 4
Let u = 2/73 + -369/146. Put u, 0, -0.3 in descending order.
0, -0.3, u
Let c = -16 + 16.9. Let 