n decreasing order.
2, 1, j
Let k be ((-18 + 3)/(-3))/(-1). Sort k, -2, -4.
k, -4, -2
Let d = 5 - -1. Let l = d + -4. Sort -2, l, -3 in ascending order.
-3, -2, l
Let b = -52 + 53. Let y = 1/86 - 177/430. Put b, y, 2/13 in decreasing order.
b, 2/13, y
Let f = -0.041 - 0.559. Let m = -12 - -17. Put m, f, 0.4 in ascending order.
f, 0.4, m
Suppose 4*f - 6 = 2. Suppose -m + 1 = -f. Sort 0.4, m, 0.5 in increasing order.
0.4, 0.5, m
Let z = 646/9 + -72. Sort z, 4, 3/2 in decreasing order.
4, 3/2, z
Let u(x) be the first derivative of 3*x**2 + 2*x - 5. Let t be u(-2). Sort 5, t, 1 in ascending order.
t, 1, 5
Let j be 0 - (4 + -3) - -2. Sort -3, -5, j in decreasing order.
j, -3, -5
Let a = 5.9 - -0.1. Let z = -3 + a. Put 4, z, -1 in increasing order.
-1, z, 4
Let l = -48 + 49. Put -3, -0.4, -1/2, l in descending order.
l, -0.4, -1/2, -3
Let u(v) = -3*v - 65. Let g be u(-20). Put g, 5, -2/9 in decreasing order.
5, -2/9, g
Suppose t - 4 = 4*l + 9, -4*t + 4 = 0. Let g be 8/(-20) - (-164)/210. Let f = g + -1/168. Sort f, l, 1 in increasing order.
l, f, 1
Let v(w) = -w**2 - 3*w + 3. Let j be v(-4). Suppose 0 = 2*o - 6*o + 16. Sort 0, o, j.
j, 0, o
Let m = 0.34 - -2.66. Sort -0.2, -0.1, m in ascending order.
-0.2, -0.1, m
Let t = 25 + -19.8. Let d = t + -5. Put d, 0, 5 in ascending order.
0, d, 5
Let l be (-2)/3 + 51/(-18). Let s = l - -3. Let n = 5 - 0. Sort s, 0.3, n in increasing order.
s, 0.3, n
Suppose -2*h = -0*h - 4. Suppose 0 = -f - 5, -f - h*f - 31 = 4*y. Let v = -7 + 5. Sort 2, v, y in descending order.
2, v, y
Let j = 30 + -25. Sort -1, 8, j in descending order.
8, j, -1
Let r = 12 + -9. Let n = -0.1 + 0.2. Let l = 0.2 + n. Put -4, r, l in decreasing order.
r, l, -4
Suppose 8*i + 0 = -16. Sort 4, -10, i in descending order.
4, i, -10
Let s = -0.203 + -1.797. Put 3/5, s, -5, -2.2 in increasing order.
-5, -2.2, s, 3/5
Suppose 6*q = 5*q + 4. Let h(x) = -x**3 + 5*x**2 - 5*x + 5. Let v be h(q). Sort 0, v, -4.
-4, 0, v
Suppose -9*o - 9 = 9. Sort o, 0, 5, 4 in ascending order.
o, 0, 4, 5
Suppose -5*k - 2*x = -3*x - 24, 0 = -2*k + x + 9. Put -5, -2, 0, k in decreasing order.
k, 0, -2, -5
Let m = -25 - -28. Let u = 3 - 4. Put 0.4, m, u in ascending order.
u, 0.4, m
Suppose -3*o + 4*w = 17, -w - 4*w + 30 = 5*o. Sort 4/7, 2, o.
4/7, o, 2
Let m be (-1 - -3) + (-26)/16. Suppose -n - 2 = -5*i + 3*n, -4*i = -2*n - 4. Sort m, i, 1/8 in descending order.
i, m, 1/8
Let x = 1.5 + -1.58. Let h = x + -4.92. Put 2/11, h, -1/2 in descending order.
2/11, -1/2, h
Let m be 1*(-2)/4*-6. Put 2, 5, m in ascending order.
2, m, 5
Suppose -j + 5 - 1 = 0. Put -0.2, 0.1, j in decreasing order.
j, 0.1, -0.2
Suppose -3*w + 5*t = -22, 3*w - 3*t = 18 - 0. Suppose 24 + 3 = 4*h + 3*r, 3*h + r = 19. Sort w, h, 2 in ascending order.
2, w, h
Suppose 0*v = 2*v - 56. Let w be ((-1)/7)/((-24)/v). Let t(o) = -o**2 - 6*o - 1. Let m be t(-5). Sort m, -4, w in ascending order.
-4, w, m
Let r = 8 - 6. Let y(x) be the second derivative of -x**3/6 + x**2 + 3*x. Let u be y(5). Sort 0, u, r in decreasing order.
r, 0, u
Let t(q) = q**3 + 3*q**2 + 2*q + 3. Let u be t(-2). Let k = u - 2. Let a = 2 - k. Sort 5, -4, a in ascending order.
-4, a, 5
Suppose -3*j = -8 + 2, t = -2*j - 6. Put 1, -3, -5, t in descending order.
1, -3, -5, t
Let k(g) = g**3 + 2*g**2 - 5*g - 4. Let d be k(-3). Put -3, 5, d in increasing order.
-3, d, 5
Let v = 0 - 0. Suppose -2*h = -h - t - 1, v = 4*h + 2*t - 28. Let i = 1 + -2. Sort i, h, 0.
i, 0, h
Let n be (-26)/(-7) + 264/42 + -6. Sort 5, -7, n in ascending order.
-7, n, 5
Suppose 3*y + 2*y + 25 = 0. Sort -2, y, 0 in decreasing order.
0, -2, y
Let y(f) = -f**3 - 4*f**2 - 2*f - 3. Let x be y(-4). Let o = 4 + -8. Sort o, -4/7, x.
o, -4/7, x
Suppose 6*h - 3*h + 6 = 3*m, 5*h + m = -4. Let s = -4 + 0. Sort h, s, 1 in decreasing order.
1, h, s
Let x = 3.1 - 0.1. Let s = x - 3. Sort 0.4, -0.3, s in increasing order.
-0.3, s, 0.4
Let f = 17.3 + -17. Sort 0.2, 1, f in decreasing order.
1, f, 0.2
Let a = 0.3 - 2.3. Let x be 2/1 + 40/(-18). Let j = 8 + -7.8. Sort x, j, a in descending order.
j, x, a
Let f = 0 - -5. Suppose -1 + f = -i. Let b be 6 + 1 + i/2. Put 3, -2, b in ascending order.
-2, 3, b
Let i be ((-9)/(-3))/((-9)/4). Sort i, 0.2, -0.3 in descending order.
0.2, -0.3, i
Suppose -2*k + k - 11 = -3*l, -2*l + 2 = -2*k. Let j = l + -5. Let a(u) = u**3 - 6*u**2 + 5*u - 1. Let c be a(5). Sort 5, j, c in ascending order.
c, j, 5
Let u = 0.35 - 0.75. Sort -0.2, 0.2, u in descending order.
0.2, -0.2, u
Let v(l) = l**2 + 7*l + 9. Let h be v(-6). Suppose -f - h*f - 12 = 0. Suppose -57 = -8*x - 41. Sort x, 0, f.
f, 0, x
Let u be (-15)/(-25) + (-3)/(-15)*-2. Sort u, -2/7, -4/3, 0.3 in ascending order.
-4/3, -2/7, u, 0.3
Suppose 0 = -d - d - 8. Let h be -3 + 6 - d - 3. Put -4, h, 3 in descending order.
h, 3, -4
Suppose 5 = -0*l + 5*l. Suppose 3*k + 2*h = 4*k + l, -21 = -4*k + 3*h. Suppose 0 = 3*d - k. Sort 2/13, 2, d in descending order.
d, 2, 2/13
Let w = 2 - 0. Let f(c) = c**2 + 3 - 7*c + 2 + 4*c - 3*c. Let v be f(6). Sort -5, v, w in ascending order.
-5, w, v
Let c be 4/7 - (-27)/63. Sort 0.4, c, -5/6 in decreasing order.
c, 0.4, -5/6
Suppose -3 + 21 = -3*l + 4*b, -30 = 5*l + 5*b. Let t be (2/(-12))/(l/8). Put 2, t, 0.1 in decreasing order.
2, t, 0.1
Let m(d) = -d**3 + 9*d**2 - 1. Let z be m(9). Sort -2, z, -5 in decreasing order.
z, -2, -5
Let s = 0 + -4. Let i be (-4)/6 - (-68)/12. Put i, -1, s in ascending order.
s, -1, i
Let u = 76 + -76.3. Let w = 0.1 - 0. Sort u, w, 0.3.
u, w, 0.3
Let i = 742/5 + -148. Let w = 0.3 - -0.2. Sort i, -1, w in decreasing order.
w, i, -1
Suppose -u = -5*r - 9, 8*r + u = 6*r - 5. Put 3, r, 1, -3 in ascending order.
-3, r, 1, 3
Let c = -6.15 + 0.15. Let s = c + 2. Put 4, s, -0.4 in descending order.
4, -0.4, s
Suppose -2*y = -6*y + 32. Let x be 2/(-6) - y/(-6). Sort -2, x, -5 in ascending order.
-5, -2, x
Let d be 2/55*(-1 - 4). Let m = 5.36 - 6.36. Put -4, d, m in decreasing order.
d, m, -4
Suppose -p - 3 = -5*h, 4 + 5 = 4*h - 3*p. Put 4, -5, h in increasing order.
-5, h, 4
Let r(x) = 2*x**2 - 12*x + 5. Let t be r(6). Sort -23, -4, -2/13, t in ascending order.
-23, -4, -2/13, t
Let d = -0.3 + 0.6. Suppose -18 = 3*h - 4*h + 2*w, 7 = 4*h + 5*w. Let n = -5 + h. Put 0.5, n, d in decreasing order.
n, 0.5, d
Let n = 5.2 - 5. Let t = -3.96 + -0.04. Put t, -3/4, n in decreasing order.
n, -3/4, t
Let u be (10/15)/(4/90). Suppose 8*j - 3*j - u = 0. Suppose 4*f + 5*d = j*d + 18, -f = 4*d - 1. Put -2, 3, f in descending order.
f, 3, -2
Let t(g) = 2*g**2 + 7*g. Let c be t(-5). Let x be 16/(-24)*c/(-2). Sort x, -2, 0 in decreasing order.
x, 0, -2
Let k(t) = t**3 - t**2 - 4*t - 1. Let q be k(3). Let x = -76 + -1. Let o = 540/7 + x. Sort -2/5, q, o in decreasing order.
q, o, -2/5
Suppose 7 = -y + h, -3*y + 2*h + 4 = 20. Put 1, 3, y, 2 in decreasing order.
3, 2, 1, y
Let d be 4/16 - 5/10. Let q(i) be the second derivative of i**5/20 - i**4/3 - 5*i**3/6 + i**2/2 - i. Let b be q(5). Put d, b, -5 in ascending order.
-5, d, b
Let b(u) be the third derivative of u**5/60 + u**4/12 + u**3/3 - 2*u**2. Let m be b(-2). Suppose w + m*h = -11, h - 1 - 1 = w. Sort 2, w, 3 in decreasing order.
3, 2, w
Let m = -2 - -5. Let g be 4/(-18) - (-4)/45. Let y = 23/60 + g. Sort m, y, 2.
y, 2, m
Let n(p) = -p**2 - 17*p - 30. Let l be n(-15). Sort -1, -2, -5, l in decreasing order.
l, -1, -2, -5
Let m = -0.3 + 0.4. Sort 2/3, m, 2 in descending order.
2, 2/3, m
Suppose 0*u = 5*t + 2*u + 7, 0 = -5*t - 3*u - 8. Put t, 5, 4 in increasing order.
t, 4, 5
Let l = 0.418 - -27.482. Let d = l - 28. Sort 3/4, d, 0 in increasing order.
d, 0, 3/4
Suppose 0 = 4*b + 8, -2*d + 2*b - 4*b = -4. Suppose -2*i + i = -u, 4 = -d*u. Sort i, -3, -4 in decreasing order.
i, -3, -4
Let i(r) = r**3 + 6*r**2 + 5*r - 1. Let t be i(-5). Let j = t - 1. Put 0, j, -1 in decreasing order.
0, -1, j
Suppose 5*m = -0*m + 20. Sort 3, -3, m in ascending order.
-3, 3, m
Let r = 172 - 167. Let f = 7 - 4. Let h be 3 + 1/3*3. Sort r, f, h in ascending order.
f, h, r
Let z be (-8)/12*(-3)/(-8). Sort z, -0.2, -0.01 in increasing order.
z, -0.2, -0.01
Let t be (12/(-18))/(4/6). Let p = 4 - t. Sort 1, 3, p in increasing order.
1, 3, p
Suppose -4*t - 445 = 903. Let s = -4383/13 - t. Let a = -180/1111 - 2/101. Put s, 4, a in increasing order.
