3, j, -4
Let b = 7 - 4. Let d be b*(-2)/45*5. Let l = 0.7 + -5.7. Sort l, d, -2.
l, -2, d
Let q = -4.897 - 0.103. Let k = 221/4 + -55. Put k, -1, q in increasing order.
q, -1, k
Let d = 82 - 85. Sort d, 8, -1, -5.
-5, d, -1, 8
Suppose 0 = 2*y - 0*y. Suppose -18 = -3*c + 3*r, -6*c - 2*r = -2*c - 36. Let a = 6 - c. Sort 1, a, y in decreasing order.
1, y, a
Let f = -0.1 - -0.2. Suppose -10 = 4*s + 5*z, -3*z - 3 = s - 4. Put f, -1, s in descending order.
f, -1, s
Let s = 4 - 0. Let g = s - 4. Suppose g = -2*h + 5*h. Sort h, 5, 3.
h, 3, 5
Suppose -4*k + r + 4 = -8*k, -3*k - 5*r = 20. Let m(a) = a**2 + 12*a - 4. Let h be m(-12). Put k, h, -5 in decreasing order.
k, h, -5
Let n = -3.6 + 4. Let u = 0.9 - n. Let x = u - 1.5. Put 2/13, 2/3, x in ascending order.
x, 2/13, 2/3
Let y = 0.35 + 0.05. Let f = -10.2 - -10. Sort f, y, 1/4.
f, 1/4, y
Let i be 0 + 3 - (3 + -3). Suppose -2*n - 2 = 4*m + 10, -4*m - i*n - 10 = 0. Let j(a) = -a**2 - 4*a + 4. Let s be j(-5). Sort s, m, 1 in ascending order.
m, s, 1
Let v = -0.012 - -0.112. Sort v, -1, -1/4 in ascending order.
-1, -1/4, v
Suppose -4*n = -0 - 12, 0 = -2*m + 4*n - 16. Let b be (-26)/10 - m/(-5). Suppose -4*i + 3 - 19 = 0. Put b, 4, i in increasing order.
i, b, 4
Let t = 109/2 + -977/18. Suppose -2*m = -4*u - 2, u = 3*u + 4*m - 4. Put t, -3/2, u in decreasing order.
t, u, -3/2
Let o(k) = -k**2 - 5*k - 1. Let l be o(-5). Let g = l - -4. Suppose g*h + 12 = 2*d + d, 3*d = 2*h + 9. Put 0, h, 2 in ascending order.
h, 0, 2
Let w = 2/155 - 171/1240. Let q(b) = 4*b - b - 4*b - 1 + 2*b. Let l be q(-4). Sort w, 2, l.
l, w, 2
Let o = 27 + -28. Let n be 2/(-1) - (-4 + 5). Sort n, o, 1 in descending order.
1, o, n
Let a be -4*3*2/(-8). Suppose 4*t - 3*t + 5 = 0. Let w be t - 1/((-1)/2). Put a, w, 4 in decreasing order.
4, a, w
Let m = -62 + 59. Put -0.1, -0.4, m, -4 in descending order.
-0.1, -0.4, m, -4
Suppose 7 = -3*r - 5*i + 20, 0 = 3*r - 4*i - 22. Suppose -4 = c - 5*w, 0 = -2*c - c + 4*w - 1. Sort c, r, -3.
-3, c, r
Let h = -14.5 + 14. Put -0.13, h, 1/11 in ascending order.
h, -0.13, 1/11
Suppose 5*s = -3*v - 20, 2*s + 2 = -5*v - 6. Sort v, 6, -3.
-3, v, 6
Let u = -5.029 - -0.029. Let t = 2 - 1.8. Put u, 1, t in increasing order.
u, t, 1
Let l(x) be the first derivative of x**4/4 - x**3/3 - x**2/2 - 3*x - 2. Let d be l(3). Suppose -5*t + d = 3*o, 5*t - 11 = o + 5. Sort 4, -4, t.
-4, t, 4
Let u = 2.4 + -2.3. Sort 3, u, -0.08 in decreasing order.
3, u, -0.08
Suppose 0 = -4*w - 2*r - 6, 0*w + 4*r = -w - 12. Sort -9, 4, w.
-9, w, 4
Suppose 5*b + 3 = 3*s, 0*b + 2 = 2*b + 2*s. Sort -2, b, -1.
-2, -1, b
Let y = -147/143 + 11/13. Let g = -3/16 + -5/16. Put g, y, -2 in decreasing order.
y, g, -2
Let v(q) = q**3 - 10*q**2 + 10*q - 13. Let p be v(9). Sort p, -5, 5 in decreasing order.
5, p, -5
Let f = -35 + 35. Sort -1, 3, f, -3 in decreasing order.
3, f, -1, -3
Let b be ((-96)/20 - -4)*5. Put b, 3, 1 in descending order.
3, 1, b
Let u = -2 - -8. Suppose 2*v + 2*g - 4*g = -u, 5*g = 3*v + 13. Sort -0.2, 0.2, v in descending order.
0.2, -0.2, v
Let k = 42 - 42. Let r be 5/70*(1 - -1). Let x = -0.2 + 0. Sort k, r, x in increasing order.
x, k, r
Let z = 7 - 7.02. Let p = z + 0.02. Sort p, 4, 2 in increasing order.
p, 2, 4
Let p = -0.1 - 0.2. Sort -4, p, -2/9 in decreasing order.
-2/9, p, -4
Let i = 4 + -7. Sort 0.4, 0, i in decreasing order.
0.4, 0, i
Suppose 2*f + 15 = -f. Suppose -2 = -0*q + 2*q. Sort 0, q, f in descending order.
0, q, f
Let w = 55 + -54.54. Let q = w + -0.06. Let j = -12/5 + 81/40. Put -2/9, j, q in increasing order.
j, -2/9, q
Let y(x) = x**3 - 6*x**2 - 1. Let q be y(6). Let k = 3 + q. Suppose 3*r - a + 16 = 0, 8 = -5*r - k*a - a. Put -0.3, r, -0.2 in ascending order.
r, -0.3, -0.2
Let t be 2/(-28) - ((-28)/8 - -3). Sort 5, -0.5, t in descending order.
5, t, -0.5
Let j be (-48)/(-5) - 3/5. Put -2, 4, j in increasing order.
-2, 4, j
Let y = 11 + -8. Suppose 8 = 3*b + 2. Sort y, 5, b in decreasing order.
5, y, b
Suppose 0*u + 15 = -5*u. Suppose -3 = -2*q - q. Put -2, u, q in decreasing order.
q, -2, u
Let k = -27 + 28. Sort k, -0.4, -4/9.
-4/9, -0.4, k
Let u(y) = 4*y - y - 2 - 2*y. Let v be u(0). Put -5, 1, v in ascending order.
-5, v, 1
Let z = -4 + 8. Put -1, z, 3, 14 in increasing order.
-1, 3, z, 14
Let k be (-4)/3*18/(-64). Let q = k + -7/8. Put q, 0.07, 2/3 in decreasing order.
2/3, 0.07, q
Let z(g) = -g**3 - 6*g**2 - 10*g - 4. Let o(r) = -2*r**3 - 11*r**2 - 21*r - 9. Let w(c) = 2*o(c) - 5*z(c). Let u be w(-7). Put u, -1/2, 3 in ascending order.
u, -1/2, 3
Suppose u - 25 = 5*c - 0, -11 = -c - 3*u. Let h(p) = -p**2 + 4. Let i be h(3). Put c, 7, i in increasing order.
i, c, 7
Let q = -29/265 + 1/106. Sort 3, q, -1/3, 1/5 in descending order.
3, 1/5, q, -1/3
Let m = -30 - -30.9. Sort 2/3, 2/7, m in ascending order.
2/7, 2/3, m
Suppose 0 = -2*m + 7*m + 100. Let w = m - -15. Sort w, -2/3, 0.4 in ascending order.
w, -2/3, 0.4
Let d = 242/3 - 82. Sort d, 1, -1/5 in descending order.
1, -1/5, d
Let a be 176/(-12) + (-4)/(-6). Let o = 24 + a. Let r = 15 - o. Sort -1, r, -0.1 in ascending order.
-1, -0.1, r
Let j = 3.89 + 0.11. Let f = -8 + j. Sort 2, -3, f.
f, -3, 2
Let j be 34/(-10) - 12/(-30). Sort j, 1, -2 in ascending order.
j, -2, 1
Let p = -0.17 - -0.02. Let t = p + -1.85. Sort t, -0.2, -2/3.
t, -2/3, -0.2
Let k = -0.27 + -0.03. Let j be 8/38*(-42)/(-8) + -1. Sort k, 0.4, j in decreasing order.
0.4, j, k
Let w = -16/9 + 13/9. Sort 1, 0.3, w in descending order.
1, 0.3, w
Let n = 24 - 23.8. Sort 0.3, n, 0 in increasing order.
0, n, 0.3
Let w(d) be the third derivative of -d**4/24 + d**3/6 + 2*d**2. Let h be w(1). Suppose 2*k - o - o + 6 = h, 3*k + o = -1. Sort 1, k, -0.4.
k, -0.4, 1
Let m = 1.5 - 1. Let j(t) = 3*t - 10. Let z be j(7). Let v = z + -7. Put 0, v, m in decreasing order.
v, m, 0
Let n be 1 - 1 - -2 - 5. Let d = -17 - -18. Sort d, 4, n in decreasing order.
4, d, n
Let m = 254/1305 - -4/145. Sort 7, m, 4.
m, 4, 7
Let n(o) = -o**3 - 9*o**2 - 7*o + 5. Let w be n(-8). Let m = -14 + 17. Sort -2, m, w.
w, -2, m
Let a = -8.9 + 9. Sort a, 2/5, 7 in increasing order.
a, 2/5, 7
Let i be ((-8)/(-12))/((-6)/(-135)). Suppose -8*h = -5*h - i. Put h, -3, 3 in decreasing order.
h, 3, -3
Let k = 0.4 - 0.6. Let t = 2.2 + k. Suppose -5*u = 3 + 22. Sort -4, u, t in descending order.
t, -4, u
Let o = -182 + 186. Put -3, 5, o, 0.5 in ascending order.
-3, 0.5, o, 5
Let o be (1*2)/((-2)/(-4)). Suppose r + 1 = -2*f, 4*r + 3 + 4 = -5*f. Suppose -4 = -c - f. Sort -2, c, o in decreasing order.
o, c, -2
Let i(q) = -q**3 + 5*q**2 + 4. Let y be i(5). Let x be (0 + (-3 - -7))/(-2). Suppose -4*r = -f + 3, -r - 2*r + 2 = -5*f. Sort f, x, y.
x, f, y
Let o be 4 - (-6)/(-9)*3. Let t = 10 + o. Let u be (t/(-2))/(6/4). Sort -3, u, 1 in decreasing order.
1, -3, u
Let y(o) = -o + 13. Let b be y(8). Suppose -3*u + 0 = -b*z - 3, -5*u - 4*z = -5. Sort 3, -2, u in descending order.
3, u, -2
Let z = -12 - -7. Put 1, z, 2 in ascending order.
z, 1, 2
Let g = -0.945 + -0.055. Let n = -7 - -11. Sort g, n, -3 in decreasing order.
n, g, -3
Let j = 9 + -7. Suppose -1 - 5 = j*d. Let m be (-4)/d*12/(-104). Put m, -1/6, 0.3 in increasing order.
-1/6, m, 0.3
Suppose -5*g + 1 - 11 = -2*k, -k = -4*g - 8. Suppose 2*w - 12 = w. Let t = -7 + w. Sort t, -2, k.
-2, k, t
Let l = -15.9 - -1.9. Let p = l - -13. Sort p, -0.02, -2.
-2, p, -0.02
Let g = -13 + 16. Suppose -4*w - g = 1. Sort 1, -2, w in decreasing order.
1, w, -2
Let u = -0.8 - -1. Put u, -1, 2/11 in descending order.
u, 2/11, -1
Let i(v) = -v**2 - 22*v - 40. Let c be i(-20). Put -3, c, 3, -4 in decreasing order.
3, c, -3, -4
Suppose 0 = 5*n - 10*n - 10. Let m be n/(-10) - 19/(-5). Suppose 0 = -0*v + m*v. Sort v, 1, -3 in decreasing order.
1, v, -3
Let a = -36 + 36.4. Put -8, -5, a, -4 in decreasing order.
a, -4, -5, -8
Let f = -0.455 - -0.155. Let q = 0.2 - -0.3. Sort q, 4, f in decreasing order.
4, q, f
Let m = 65 - 72. Sort 3/5, -4, m, 3.
m, -4, 3/5, 3
Let j(n) = n**2 + 14*n + 5. Let l be j(-14). Sort 0, 4, l in increasing order.
0, 4, l
Suppose 17 = p + r + 4*r, 4*r - 12 = 0. Let u(l) be the second derivative of -l**3/6 - l**2 - 6*l. Let c be u(-6). Sort p, c, -1.
-1, p, c
Let k(z) = z + 8. Let x be k(-7). Sort -3, x, 5 in decreasing order.
5, x, -3
Let h be ((-1)/9)/((-5)/1130). Let x = -25