0.2, m, x
Let v(j) be the first derivative of j**2/2 - 4*j - 6. Let c be v(-5). Sort 2, -2, c in ascending order.
c, -2, 2
Let p = 2 + -3. Let s = p + 3. Let v = 0.3 - 0.1. Sort v, s, 2/5.
v, 2/5, s
Let d = -1 - 4. Let k(r) = -6*r - 3. Let s be k(-2). Let y be (-3)/s + 4/3. Sort 0.2, y, d in ascending order.
d, 0.2, y
Let j = 207 + -202. Let b(p) = -p**3 + 3*p**2. Let u be b(2). Sort j, u, 3.
3, u, j
Suppose 5*p = 19 + 1. Suppose p = n + n. Sort 1, n, 9.
1, n, 9
Let w = 342815/56 + -6122. Let r = 1/8 - w. Let i = 566/7 + -81. Put 4, i, r in descending order.
4, r, i
Let k = 0.7 - 0.3. Sort 1/3, 0.2, k in decreasing order.
k, 1/3, 0.2
Let v = 10.7 - 10. Let k = v - 0.6. Let g = 0 + -3. Sort -4, k, g in decreasing order.
k, g, -4
Let m be (12*-1)/((-6)/(-4)). Let g(n) = -n - 3. Let s be g(m). Sort s, 2, 3.
2, 3, s
Suppose 6 = 5*k - 2*k. Let h(r) = -3*r**2 - 2 + 4*r**k - 2*r + 0. Let f be h(3). Sort f, 2, 4 in ascending order.
f, 2, 4
Let w be (12/(-10))/(6/(-15)). Suppose -6*l = -w*l - 15. Put 0, l, 2 in descending order.
l, 2, 0
Let k(u) = -u**2 + 17*u + 16. Let a be k(18). Sort -6, 2, a in descending order.
2, a, -6
Suppose 4*x - 5*g = 99, -104 = 2*x - 6*x + 4*g. Suppose 0 = 5*z + x - 6. Suppose 0 = -3*c - 0 + 3. Sort c, z, -1 in ascending order.
z, -1, c
Let x be (-74)/5 + (-2)/10. Let q be (x/(-9))/((-4)/12). Put 4/7, q, -4 in ascending order.
q, -4, 4/7
Let v be (-1)/(-4) + (-13483)/44. Let l = v - -306. Sort 0.4, -0.4, l in decreasing order.
0.4, l, -0.4
Let o = 41 + -40. Sort 2, 27, o in ascending order.
o, 2, 27
Let c = 11/18 - -1/18. Let s be (1/(-5))/(1/2). Sort s, 4, c in ascending order.
s, c, 4
Suppose -3*l - 5*v - 27 = 0, -3*v = -2*l - 4*v - 11. Put -2, l, 2 in decreasing order.
2, -2, l
Let t = -0.04 + -0.46. Put -2, t, 1, 1.2 in decreasing order.
1.2, 1, t, -2
Let v = 66 + -67. Sort 0, v, -3, 12.
-3, v, 0, 12
Suppose -8*m + 3*m = 0. Let u = m + 0. Suppose -5*x - 2*b - 8 = u, -2*x + 0*x + 16 = -4*b. Put x, -2, 2 in descending order.
2, x, -2
Let x be (1 - -1)*((-25)/14 + 2). Sort -4, x, -0.4.
-4, -0.4, x
Let i be 1*5*4/10. Suppose 3*x = -2*c - 10, 4*c + 18 - 4 = -3*x. Sort c, i, -5.
-5, c, i
Suppose -2*w = 3 + 3. Let m = 0.1 + -0.5. Let t = m - -0.2. Sort 0.5, w, t in descending order.
0.5, t, w
Suppose w + t - 4 = 1, -5*w + 13 = t. Let j = w + 1. Let u be ((-2)/(-1))/(1/(-2)). Sort u, j, -5.
-5, u, j
Suppose 3*t = -0*t + 12. Let b be (0 + 3)*t/6. Suppose -o + b = o. Put o, -3, 0 in decreasing order.
o, 0, -3
Let f = -14243367/344 + 41405. Let n = 1100 + -94601/86. Let v = n - f. Put 0.2, v, 3/4 in decreasing order.
3/4, 0.2, v
Let a = -5.5 - -9. Let m = 0.5 - a. Let h be 0 + (5 - (3 + 0)). Put h, 4, m in ascending order.
m, h, 4
Let x = -27 - -28. Let z be 2*(x - (0 + 3)). Put 5, 0.7, z in increasing order.
z, 0.7, 5
Let b(v) = -v**2 - 6*v - 6. Let x be b(-5). Let y be (6/(-2))/((-2)/(-2)). Put y, x, 0 in decreasing order.
0, x, y
Let t = -6.6 + 1.6. Let g = t + 1. Put g, 0, 2/7 in descending order.
2/7, 0, g
Let i = 2 - -2. Let b = i + 0. Put -2, b, -5 in ascending order.
-5, -2, b
Let y = 493/6 - 82. Let s be (-2)/3 + (-22)/(-6). Suppose -4 = s*z - 2*z. Sort z, -2/9, y in decreasing order.
y, -2/9, z
Let s(b) = -b - 17. Let u be s(6). Sort 3, u, -1 in increasing order.
u, -1, 3
Suppose 5*y = -2*z - 11, 4*z = -y - 10 - 3. Put -0.1, 1, y in ascending order.
y, -0.1, 1
Let y = 4 - 3. Let h = 0.02 + -2.02. Put y, 6, h in decreasing order.
6, y, h
Suppose -2*y = 6, i + i + y - 3 = 0. Let u = 17 + -5. Suppose 5*w - 8 = u. Put i, w, -1/8 in ascending order.
-1/8, i, w
Suppose -2*y - 7 = r, -2*y - 2*r = -7*y - 22. Sort 5, y, -5, 0.
-5, y, 0, 5
Let t = 23 + -31. Put 0.5, t, -3 in ascending order.
t, -3, 0.5
Let a = -154 + 157. Put -4, 0.4, -3, a in descending order.
a, 0.4, -3, -4
Let y = 0.061 - -6.139. Let a = 6 - y. Sort a, -0.1, 1 in ascending order.
a, -0.1, 1
Let a = -13 - -13. Sort a, 9, 5 in descending order.
9, 5, a
Let p = 0.02 + -0.32. Let m = 5 + -4.94. Let h = m + 1.94. Put p, 2/7, h in descending order.
h, 2/7, p
Suppose 8 = r + 4*p, -3*p - 4 = -3*r + 5. Sort -4, r, 5 in decreasing order.
5, r, -4
Let t = -41 + 46. Let v = -0.3 + 0.1. Put t, v, 0.03 in increasing order.
v, 0.03, t
Let h = -5 + 2. Sort h, -11, 2 in increasing order.
-11, h, 2
Suppose -8*v + 3*v + 35 = 0. Let z = v - 5. Sort z, -4, 0.
-4, 0, z
Suppose 0*i + 3*a + 14 = 2*i, 4*a = -3*i + 38. Suppose -4*q - i = 10. Sort -3, q, 3 in increasing order.
q, -3, 3
Let a = -4 - -1. Let m = a - -1. Put 1, m, -0.4 in decreasing order.
1, -0.4, m
Let c = 17259 - 2968579/172. Let l = -3/43 + c. Sort 1/8, 0.2, l in decreasing order.
0.2, 1/8, l
Let b = -18 + 17.9. Sort b, -0.3, 5 in increasing order.
-0.3, b, 5
Let b(r) = -3*r + 10*r - 6*r + 9. Let g be b(-8). Put 3, g, 2 in descending order.
3, 2, g
Let u = 35 + -37. Sort -1/3, -0.4, u, 0.2 in descending order.
0.2, -1/3, -0.4, u
Suppose 4*s - 2*l = -0*s + 24, 3*s = -3*l. Put 1, s, -3 in ascending order.
-3, 1, s
Suppose -3*y - 185 = -5*k, -4*y - 3*k - 37 - 258 = 0. Let n be (-1 - 2) + y/(-22). Sort 3, n, 3/7 in increasing order.
n, 3/7, 3
Suppose 26 = -4*r + 3*z + 2, -4*z = -16. Let v(m) = 7*m + 22. Let n be v(-3). Sort 5, n, r in increasing order.
r, n, 5
Let k be 1 + (2 + -4 - 0). Let r(s) = -s**2 + 7*s - 3. Let y be r(6). Let q = k + y. Sort 0.3, 1, q in increasing order.
0.3, 1, q
Let y = -7.8 + 4.8. Put -2/11, y, -2, 21 in decreasing order.
21, -2/11, -2, y
Suppose 2*d + 4 = -2*d. Let x be d + 0 - 9/(-3). Sort -3, 0, x.
-3, 0, x
Let h = 1.45 + -0.05. Let s = 0.6 + h. Sort 3, s, 0.1.
0.1, s, 3
Let v = -1.67 + 1.6. Let i = 0.57 + v. Sort -3, 3, i.
-3, i, 3
Let o = 3 - 3.1. Suppose 0*k + 4 = k. Let h = -163/102 + 30/17. Put o, h, k in decreasing order.
k, h, o
Let u be (-26)/(-10) - 48/80. Let b(i) = -i**3 + 8*i**2 - 7*i + 4. Let z be b(7). Let s = -9 + z. Sort s, -4, u in descending order.
u, -4, s
Let c(b) = b + 1. Let x be c(-5). Suppose a + 1 = 5, -4 = 2*g - 3*a. Suppose 0*z - 2*z + g = 0. Sort 1, z, x in ascending order.
x, 1, z
Let z(v) = v**3 + 4*v**2 + v + 4. Let h be z(-4). Sort 0.5, 2/3, h in descending order.
2/3, 0.5, h
Suppose 4 = 3*f - 8, 3*f - 37 = -5*i. Sort -2, 2/7, 0.1, i in descending order.
i, 2/7, 0.1, -2
Let a(v) = -v**3 - 8*v**2 + 4. Let z be a(-8). Sort 5, z, -4 in decreasing order.
5, z, -4
Let m be (-19)/(-7) + (-2)/(-7). Suppose -7 = -m*r + 8. Let g(s) = -2*s + 3. Let x be g(2). Sort 2, r, x in descending order.
r, 2, x
Let u be ((-2)/3)/((2/(-9))/1). Put -2, -8, u in increasing order.
-8, -2, u
Let o = -4 + 0. Put o, -1, 2 in decreasing order.
2, -1, o
Let j(p) = -2*p**2 - 7*p - 4. Let s be j(-3). Suppose 0 = -3*k - 0*k + 9. Sort k, 1, s in decreasing order.
k, 1, s
Let r = -4 + -1. Let t = 3.5 + -3.1. Sort t, r, -3 in decreasing order.
t, -3, r
Let u = 12 - 9. Put u, 1, -1 in descending order.
u, 1, -1
Let q(a) = a**3 - 4*a**2 + 2. Let y be q(4). Suppose 3*g + 10 = 4. Put 4, g, y in descending order.
4, y, g
Let p = -46/85 + -1/17. Let d = 0.2 + -0.1. Let f = 0.4 - 0.8. Sort d, f, p.
p, f, d
Suppose -3*p - 6 - 3 = 0, 0 = -2*u - p + 7. Put -2, u, 2 in increasing order.
-2, 2, u
Let q = 17 + -16.8. Let z be (-102)/4 - 1/4. Let a = -329/12 - z. Put a, q, -0.2 in descending order.
q, -0.2, a
Let y = -0.08 + 7.08. Put -1/4, -2/3, y in ascending order.
-2/3, -1/4, y
Let m = -22 + 28. Let w be -1 - (3 + m)/3. Sort -1, w, 3 in decreasing order.
3, -1, w
Let j be (-15)/(-12)*(-6)/10. Let y = -38.61 - -39. Let v = y - -0.01. Sort 1, j, v in ascending order.
j, v, 1
Let g = 94 + -22. Let j be g/28 + -2 + 0. Sort 3/5, j, -1 in ascending order.
-1, j, 3/5
Let d be 21/5 + (-5)/25. Put -1, d, -3, 0 in decreasing order.
d, 0, -1, -3
Let r = 6 + -4. Let m be r*-1*35/(-2). Suppose -5*u + 25 = -5*p - 20, 3*p - 5*u + m = 0. Put p, -2/3, 2/9 in descending order.
2/9, -2/3, p
Let d = 0.86 - 0.36. Let f = 1 - -1. Let v = f - 2.1. Sort 1/5, v, d.
v, 1/5, d
Let q = -36.5 + 37. Put q, 3/7, 1/3 in increasing order.
1/3, 3/7, q
Suppose -2*r = 2*p - 16, -2*r + 11 = -p + 1. Suppose -4*y + 2*y = r. Put y, 0, -5 in ascending order.
-5, y, 0
Let c = 25 - 12. Suppose -5*p + 2 + c = 0. Sort p, -0.2, -4 in ascending order.
-4, -0.2, p
Let v = -12 + 16. Sort -3, 3, v.
-3, 3, v
Let c = 0 + 0. Suppose 0 = d - 4*g + 10, -2*g