 d, y
Let o(g) = g**2. Suppose 5*t = -27 + 7. Let d(s) = -s**2 - s - 1. Let a(f) = t*o(f) - d(f). Let n be a(-1). Sort -1, 0, n.
n, -1, 0
Let i be (-9)/(-12) - 7417/44. Let m = 168 + i. Put -3/7, m, 2/5 in descending order.
2/5, m, -3/7
Let m = 27 - 26.3. Sort 0.2, 5, m.
0.2, m, 5
Let m = -9 + 3. Let p be 1/(-2) - m/4. Put -1, p, 0 in descending order.
p, 0, -1
Let u(m) = m + 1. Let o be u(-4). Suppose 4*h - 2*v = 2*h + 2, 3*h - 5*v = 13. Sort 1, h, o in decreasing order.
1, o, h
Suppose 0 = u - 21 + 18. Sort -1, u, 5 in decreasing order.
5, u, -1
Let b = -2.2 - -5.2. Let v = -14 - -18. Sort b, -0.1, v.
-0.1, b, v
Suppose -2*i = -4*q + 8, 0*q - 2 = -q - 2*i. Sort 0, q, 4, -1 in descending order.
4, q, 0, -1
Let l be (-219)/(-414) - 3/18. Let t = l - 2/69. Let u be (-4)/12 - 10/6. Put u, 0.5, t in descending order.
0.5, t, u
Let w be 1/(-1) - (-10)/2. Suppose 0 = 3*s + o - 11 + 1, -w*o + 4 = 0. Let l be 3/(-15) + (-3)/(-15). Sort s, l, 2 in increasing order.
l, 2, s
Let t = -433/1827 + 3/203. Let j = 0.2 - 0.6. Sort t, 3, j in ascending order.
j, t, 3
Suppose -3*n = n - 4*b - 8, 7 = 2*n - b. Suppose -1 = q + 4. Let i(o) = -o**3 + 4*o**2 + o - 3. Let a be i(4). Put a, n, q in ascending order.
q, a, n
Suppose -16 = 2*n + 2*i, -16 = 6*i - 2*i. Let k(w) = w**3 + w**2 - w + 1. Let d be k(-2). Let m be (-1)/(-2) + 10/(-4). Put d, n, m in descending order.
d, m, n
Let f = 14 - 4. Suppose -4*c + 3 = 5*r - f*r, -10 = -4*r - 3*c. Sort -2, -1, r in increasing order.
-2, -1, r
Let v be (3 + 0)/((-9)/(-6)). Sort v, 7, 0.5 in ascending order.
0.5, v, 7
Let h = -7 + 22/3. Sort 4, -1/2, h in increasing order.
-1/2, h, 4
Let z = -9.04 - -9. Let b = -0.24 - z. Put 3, 0, b in decreasing order.
3, 0, b
Let k(u) = -u**3 - 16*u**2 - 16*u - 19. Let g be k(-15). Sort 5, g, 7 in decreasing order.
7, 5, g
Suppose 7*p - 10*p = -12. Let o be (-69)/(-15) - p/(-10). Sort -2, -4, o in decreasing order.
o, -2, -4
Let t = -5.2 + 10.8. Let z = -6 + t. Let g = z + 0. Sort 2, g, 0.4.
g, 0.4, 2
Let a = -13 - -105/8. Let t = 0 - -0.1. Put t, -0.1, a in increasing order.
-0.1, t, a
Let g = -1262/7 - -180. Sort 0.5, -2/3, g, 3/4 in descending order.
3/4, 0.5, g, -2/3
Let k = 0 - 0.2. Let z = 0.19 + k. Let u = z + 0.31. Sort u, -4, 0.1 in descending order.
u, 0.1, -4
Suppose 0*b = -4*b. Suppose p = -2*n, b*n - 16 = 2*n + 5*p. Sort -5, -1, n in decreasing order.
n, -1, -5
Let h(y) = -y**2 - 8*y + 12. Let q be h(-9). Suppose 4*g = q*g. Sort g, -3, -1 in descending order.
g, -1, -3
Let d be (3 + 0)*-1 - (8 + -5). Sort 3, -4, -5, d in descending order.
3, -4, -5, d
Suppose -5*f = -f. Let t be -5 + 1 + (2 - f). Let x(r) = r**3 + 5*r**2 + r - 15. Let b be x(-4). Sort 0, b, t in decreasing order.
0, t, b
Suppose -2 = k + 2. Let b(u) = -2*u - 41. Let n be b(-21). Sort 5, n, k in increasing order.
k, n, 5
Let p be 4/10 - (-16)/10. Suppose 6*v - 4 = p*v. Let g be (-6)/((-7)/(70/15)). Put v, g, -5 in descending order.
g, v, -5
Let a = -0.07 - -0.27. Sort a, 2, 7 in decreasing order.
7, 2, a
Let f(z) = 2*z. Let g be 3*((-6)/(-2) - 4). Let t be f(g). Let n be (-6)/34*(-4)/t. Sort 2/23, n, 0.4 in ascending order.
n, 2/23, 0.4
Let t = 8 - 25/3. Sort -0.03, 0.1, t, 5 in decreasing order.
5, 0.1, -0.03, t
Let k = -22 - -17. Let w = -2 + 4. Let b = w - 2. Sort k, 2, b in increasing order.
k, b, 2
Suppose a - 4*a + 13 = 2*n, -2*n - 2 = 0. Let p(j) = -j**2 + 8*j - 9. Let o be p(7). Put 1, o, a in decreasing order.
a, 1, o
Let o = 0.1 - -6.9. Let t = -7 + o. Sort -3/5, t, 3 in descending order.
3, t, -3/5
Let v = 9.8 + -10. Let w = 0 + v. Let t = -1.8 + 2. Sort t, -3, w in increasing order.
-3, w, t
Suppose -2*z + 5*z = 5*n + 19, 2*n + 18 = -4*z. Put n, -2, -4 in decreasing order.
-2, -4, n
Let p = -23 - -41. Let r = p + -13. Suppose r*a = 12 - 2. Sort -4, 1, a in ascending order.
-4, 1, a
Let l = 0.19 - -0.81. Put 1/5, 0.5, l in descending order.
l, 0.5, 1/5
Let x = 1 - -1. Let z = 184 + -180. Sort z, x, -1 in increasing order.
-1, x, z
Suppose 0*y = -3*y + 5*y. Suppose -2*m = 3*m + 20. Put -5, m, y in increasing order.
-5, m, y
Suppose y - 34 = -4*x, 2*x + 2*x - 38 = -3*y. Let j(f) = f**2 + f - 1. Let h be j(2). Let q be x/(-3) - h/15. Sort q, -5, 0 in increasing order.
-5, q, 0
Let g = 0 - -1. Let x(k) = -k**3 + 6*k**2 - k + 3. Let w be x(6). Put g, -1, w in descending order.
g, -1, w
Let r(i) = 3*i**3 - 6*i**2 - 6*i - 4. Let c be r(6). Let q = c - 70170/179. Let o = q - -191/1074. Sort 4, 2, o in decreasing order.
4, 2, o
Let f be (10/20)/(2/4)*2. Put 1, f, -1 in increasing order.
-1, 1, f
Let l = 31 + -34. Sort l, 9, 3 in ascending order.
l, 3, 9
Let z be (2/6)/(1*3/(-9)). Sort -3, 2, z in decreasing order.
2, z, -3
Suppose 4 + 4 = 8*b. Put b, -4, 2 in increasing order.
-4, b, 2
Let t be -3 + (-2 - -9) + -2. Let g = -9 - -5. Suppose -3*d + 2*d = 0. Sort d, g, t in decreasing order.
t, d, g
Let b be 1 - (0 - (1 - -2)). Suppose -b*a + 10 = -2*a. Put -3, 0.2, a in ascending order.
-3, 0.2, a
Suppose 0 = -4*y + 2*y - 2. Suppose -15 = 2*j - 3. Let w = 4 + j. Sort w, y, 3 in ascending order.
w, y, 3
Let b = -135.2 + 135. Sort b, 21, 1/7.
b, 1/7, 21
Let g = -2 + 4. Suppose g*v - 5*m = -8, -3*v - 3 = -m - 2*m. Put -3/2, -2, v in decreasing order.
v, -3/2, -2
Let u be 0 - (-4 - -1) - 9. Sort u, -2, 3/4 in decreasing order.
3/4, -2, u
Suppose 3*a = -5 + 14. Suppose 5 = -5*k + u, -2*k + a*u - u = 2. Let r = 1 - 1.2. Sort r, k, 2/7 in ascending order.
k, r, 2/7
Let f = 0.45 - 0.05. Let m be 55/(-175) + 2/(-7). Sort f, m, -0.2.
m, -0.2, f
Let r = -80/333 - -2/111. Let m = -42/5 - -351/40. Sort -5, m, r in descending order.
m, r, -5
Let d = 14 - 13.2. Let u = -0.5 + d. Put -2/9, u, 4 in ascending order.
-2/9, u, 4
Suppose 4 = 3*n + 4. Sort 4, 3, -9, n.
-9, n, 3, 4
Let d = 0.7 - 0.3. Let u = -0.08 - -0.04. Let n = u + 0.04. Sort 1, n, d in increasing order.
n, d, 1
Suppose 0 = -3*m + c + 6, -m + c + 2*c = 6. Let f be (-2)/m - (0 + -1). Let d = 7 - 7.3. Sort d, f, -0.4.
-0.4, d, f
Let w = 5 - 8. Let c = -14 - -19. Let f = c + w. Put f, 1, -0.3 in decreasing order.
f, 1, -0.3
Let p(v) = v. Let u be p(2). Let j be 0/1*1/u. Put 2, j, -1 in ascending order.
-1, j, 2
Let n(x) = x**3 - 3*x**2 + 2*x - 2. Let y be n(3). Let d(g) be the first derivative of -g**2/2 + 2*g + 1. Let o be d(5). Sort 0, y, o in increasing order.
o, 0, y
Let a be -2*(-4 - (-1 - 7)). Sort 4, 0, a in increasing order.
a, 0, 4
Let g = 3 + 4. Sort g, 0.3, -2/21.
-2/21, 0.3, g
Suppose 0*g = -3*g. Sort g, -3, -4 in ascending order.
-4, -3, g
Let v be (-10)/(-6) + 3/9. Suppose -5*r = 3*u - 4 + 13, 5*u - 5*r = 25. Suppose -m - v*a = u, -5*m - 4*a = -a + 3. Put 5, m, 2 in increasing order.
m, 2, 5
Let h = -16 - -15. Let r = -5.3 - -5. Put -0.5, r, h in decreasing order.
r, -0.5, h
Suppose g - 5 + 3 = -b, 2*g + 3*b = 8. Let t(r) = -4*r**2 - r - 1. Let f be t(-1). Sort 3, f, g.
f, g, 3
Let z be -1 + (-2 + 2 - -4). Suppose 5*r + z = -2. Let b = -196 + 1571/8. Put b, r, 1/3 in ascending order.
r, 1/3, b
Suppose 4*t + l = 2*t - 6, 12 = -4*t - 5*l. Let m be (-207)/63 - (t - 0). Sort 1, m, 0.1 in increasing order.
m, 0.1, 1
Let x = -55/738 + -3/82. Sort -0.4, x, 0.1.
-0.4, x, 0.1
Let u = 0.5 + 6.5. Put -1, -2/3, u in ascending order.
-1, -2/3, u
Let u be (1/(-5))/(12/(-30)). Let o = 5.3 - 5. Sort o, u, -0.4.
-0.4, o, u
Let s = 9 - 1. Suppose 6*p - s*p + 8 = 0. Put -3, p, 0 in ascending order.
-3, 0, p
Let x(t) = t**2 + 10*t + 21. Let b be x(-6). Sort -0.4, -0.5, 5, b in decreasing order.
5, -0.4, -0.5, b
Let z(m) = -m - 7. Suppose g - 20 = -g. Suppose b - 3*b - g = 0. Let q be z(b). Sort -2/7, q, 5.
q, -2/7, 5
Let o = 0.38 + -1.58. Sort -1, -0.2, o in ascending order.
o, -1, -0.2
Suppose 2*z + 2 = 2*c + 64, 2*z = c + 60. Suppose 5*i - 5*m = 30, -5*i + 5*m - m = -z. Let l = -12 - -7. Sort 2, l, i in ascending order.
l, 2, i
Suppose 18 = 2*m - 4*l - 4, -4*m - 5*l - 21 = 0. Let u(v) = -v**3 + v**2 - v - 1. Let s be u(2). Let q = s - -9. Sort m, q, 4 in increasing order.
m, q, 4
Let x(o) = -o**2 - 6*o - 4. Let g be x(-6). Suppose -3*a - 2*a = -585. Let l be (-4)/(-6) + (-60)/a. Put g, l, -0.4 in descending order.
l, -0.4, g
Let l = -0.5 - -1. Let c be (-36)/135 + (-2)/(-3). Sort l, c, -3 in ascending order.
-3, c, l
Let q be (-1)/14*(3 - -1). Put -1/6, 16, -3, q 