.
5, p, 0
Let h = 4 - 4. Sort h, 4, 1.
h, 1, 4
Let m be 6/(-4)*(-48)/(-36). Put 5, -5, m in decreasing order.
5, m, -5
Let z = -0.8 + 0.83. Let h = 30.63 + -31. Let j = h - z. Sort j, 1/2, -4/7 in descending order.
1/2, j, -4/7
Let v = -20 + 16. Sort -2, -3, v.
v, -3, -2
Let n = -487/735 + -1/245. Let r be 6/4*(-8)/6. Put r, 1/7, n in decreasing order.
1/7, n, r
Let l(w) = -w + 4. Let k be l(0). Suppose k = b - 0. Put 2, 0, b in decreasing order.
b, 2, 0
Suppose -4*w - 4 + 20 = 0. Sort 6, w, 3.
3, w, 6
Let c = -1 - 3. Sort c, -2/5, 4.
c, -2/5, 4
Let z be 4/6 - (-2)/6. Put 5, z, -4 in increasing order.
-4, z, 5
Suppose -2*r + 28 = -2*u + 3*r, -3*u - r - 8 = 0. Sort 2, u, -9, -1 in increasing order.
-9, u, -1, 2
Suppose 2*q + 5*f = 6, -4*q - 2*f - 3*f = -2. Suppose 4*z - 21 = -5. Suppose -5*t + z = -2*h + 1, -3*t - 1 = -4*h. Sort -1, h, q in increasing order.
q, -1, h
Let d = -153/172 - -6/43. Sort d, -2/9, 1, 1/2 in increasing order.
d, -2/9, 1/2, 1
Let q = 7 - 6.4. Let o = -0.9 + q. Sort o, -5, -3/8 in decreasing order.
o, -3/8, -5
Let n = -70 + 561/8. Let u = 51/130 - 5/26. Sort u, -3, n in increasing order.
-3, n, u
Let p be (9 + -9)*(-3)/(-9). Let l(t) be the second derivative of t**4/12 - t**3/3 - 3*t**2/2 + t. Let o be l(-2). Sort p, o, -4 in decreasing order.
o, p, -4
Let c(m) = -m**3 + 6*m**2 + m - 2. Let h be c(6). Put 3, h, -1, -5 in descending order.
h, 3, -1, -5
Suppose -4*w + 2*w + b = -115, -68 = -w + 4*b. Let d be 48/w*2/18. Put 2, d, -2/5 in decreasing order.
2, d, -2/5
Let t(b) = -b**3 - 5*b**2 + 4*b - 7. Let l be t(-6). Sort 3, l, 4.
3, 4, l
Let l be 0 - -9 - (1 + 2). Sort l, 0, 2.
0, 2, l
Let d = 3.2 + -3. Let c = 65 + -44. Let y be 33/c + (3 - 4). Put d, y, 0.3 in decreasing order.
y, 0.3, d
Suppose 5*d - d = -5*m + 37, 24 = 3*d + 5*m. Sort 5, d, 1 in descending order.
d, 5, 1
Let q = 156 + -145. Put q, 3, 4 in increasing order.
3, 4, q
Let c be 1 + 4 + 1 + -3. Suppose -c*b = -b - 2. Suppose 3*s - 12 = -u, 6 = 3*u - s + 20. Sort -4, u, b in ascending order.
-4, u, b
Let n = -1.05 - -1.35. Put 4, n, 1/2, 1 in decreasing order.
4, 1, 1/2, n
Let m = -31 + 34. Sort -9, -2, m.
-9, -2, m
Let o be (2 - 3)/(5/65). Let q = 10 + o. Sort 4, q, 5 in descending order.
5, 4, q
Let x = 4.77 - -0.23. Sort x, 2, 1/11 in decreasing order.
x, 2, 1/11
Suppose -3*w + 4*b + 22 = 0, -w + 7*b + 18 = 3*b. Sort -2, 3, -5, w in descending order.
3, w, -2, -5
Let m be 3*(-2 - 2/(-6)). Let x be ((0 - 0) + 2)/(-1). Let z be 2/((x - -3)/(-2)). Sort z, 2, m.
m, z, 2
Suppose 108*u = 103*u + 15. Put -4, u, 0 in descending order.
u, 0, -4
Let s(m) = -m**2 + 6*m - 1. Let k be s(6). Sort k, 5, -9 in descending order.
5, k, -9
Let q = 8 + 4. Sort 5, q, -1 in increasing order.
-1, 5, q
Let y(o) = o. Let a be y(-2). Sort -6, a, -4 in ascending order.
-6, -4, a
Let s be ((-10)/(-25))/(1/(-15)). Put s, -5, 2, 1 in descending order.
2, 1, -5, s
Let l(k) = k**2 + k + 1. Let x(f) = -f**3 + f**2 - 2*f. Let w(b) = l(b) + x(b). Let n be w(2). Let m be ((-8)/2)/(-1 + 0). Put 0, n, m in descending order.
m, 0, n
Suppose 0 = -3*n, 3*d = -d - 3*n + 48. Put -3, -2, 0, d in descending order.
d, 0, -2, -3
Let d = -36 + 30.8. Let z = 0.2 + d. Suppose 3*f = -1 + 7. Put f, 0, z in descending order.
f, 0, z
Suppose -2*k = -3*r - 2 + 4, 2*k = -5*r - 18. Let s = -21 + 13. Let u = -5 - s. Sort 0, u, r.
r, 0, u
Suppose -4*w = 2*d + 18, -5*w + 5*d + 4 = 34. Let x(a) = -8*a**2 - 3*a + 2. Let l be x(-1). Sort w, -2, l.
w, l, -2
Let m = 40/19 - 642/323. Put 1, -2/5, 0.03, m in descending order.
1, m, 0.03, -2/5
Let z = 2 - 2. Suppose -4*w + 6 - 3 = 5*f, -3*f = 3*w. Let i = z + w. Sort 2, 3, i in decreasing order.
3, 2, i
Let t(g) = g**3 - 5*g**2 - 6*g - 2. Let s be t(6). Let w be (5/30)/(s/(-8)). Put -13, -2, w in decreasing order.
w, -2, -13
Let h be (1/(-5))/(8/(-10)). Let i = 7.3 - 7. Let q = i + -0.7. Sort -4, h, q in descending order.
h, q, -4
Let g(r) = 2*r**2 + 2*r - 1. Let a be g(-2). Suppose a*m = m. Sort 2, 5, m in descending order.
5, 2, m
Let l be (2/(-3))/(1/(-3)). Suppose -15 = 135*x - 132*x. Sort x, l, -4 in ascending order.
x, -4, l
Let v = -53.05 + 51. Let y = 0.05 + v. Let t = 4 + -9. Sort y, -0.3, t.
t, y, -0.3
Let d = 33 + 17. Let l = 205/4 - d. Sort l, -2, 3 in ascending order.
-2, l, 3
Let t(g) = 3*g**2 + 2 + 3*g - 1 - 4*g**2 + 0. Let h be t(3). Let n be -2 - (8/(-1) + 1). Put n, -4, h in decreasing order.
n, h, -4
Suppose 4*g - 3*g = -2*g. Let r(y) = -y - 8. Let f be r(-4). Sort 3, g, f.
f, g, 3
Suppose 0 = k - 2*b + 1, -k - 2*k = -3*b + 3. Sort -12, k, 4 in ascending order.
-12, k, 4
Let v be 1/(-4) - 21/(-4). Suppose -v*u = 0, -2*k + 2 = -0*k + 2*u. Let t = 6 + -4. Sort t, -2, k in descending order.
t, k, -2
Let g(q) = q**2 - 2*q - 3. Let n be g(-2). Suppose 2 = -n*h - 8. Sort -3, 3, h in descending order.
3, h, -3
Let j = -1.081 - -0.081. Put -2/11, j, -3 in decreasing order.
-2/11, j, -3
Let p(a) = -5*a. Let s be (-10)/(-8) - 1/4. Let j be p(s). Let h be 2*-2 - (0 - 0). Sort h, 1, j in ascending order.
j, h, 1
Suppose -2*v + 4*f + 20 = v, 1 = f. Let z = v + 0. Put -5, z, 0 in ascending order.
-5, 0, z
Suppose 0 = p - 2 + 1. Let q = -0.79 - -0.49. Put q, 4, p in increasing order.
q, p, 4
Suppose 0 = 2*i - i - 4. Put 1, -2, i in ascending order.
-2, 1, i
Let a(s) be the second derivative of 4/3*s**3 + 3*s**2 + 1/12*s**4 + s + 0. Let x be a(-7). Put 0, x, 3 in ascending order.
x, 0, 3
Let f = 146 + -727/5. Sort -0.2, -8/7, f in ascending order.
-8/7, -0.2, f
Let l = -39 - -34. Put l, -1, 10 in increasing order.
l, -1, 10
Let l = 10 + -5. Suppose l*b - 4*v - 12 = 28, -b = 3*v + 11. Suppose -b*t + 25 = t. Sort -4, t, 1 in decreasing order.
t, 1, -4
Let x = 1.6 - 2. Sort -5, x, 1, 1/2 in descending order.
1, 1/2, x, -5
Let m = -3 + 8. Let q = m + -5.1. Let t = 0.4 - q. Sort 5, t, 0.4 in increasing order.
0.4, t, 5
Let m = 246/5 - 49. Let q = -1.6 - -1. Let p = q + 0.4. Put m, p, -1 in descending order.
m, p, -1
Let w = 0.3 + 0.1. Suppose -2*n - 5*f - 95 = -7*n, 3*n + 4*f = 36. Suppose -8*c + n = -4*c. Sort w, -2/13, c.
-2/13, w, c
Suppose 0 = -2*q + 5*x - 0 + 5, -5*q - 5*x = 5. Sort -2, 4, q, 5 in descending order.
5, 4, q, -2
Let r be ((-4)/6*3)/(-1). Sort -4, 1, r in decreasing order.
r, 1, -4
Let z = -0.14 - -0.34. Put z, -3, 1/3, -2 in ascending order.
-3, -2, z, 1/3
Let l be (4/6)/(4/(-12)). Suppose -17*z + 4 = -18*z. Put z, 2, l in increasing order.
z, l, 2
Let j = -36 - -40. Suppose -2*b = 3*a - 33, 2*b - 12 = -a + b. Suppose -2*i = -c + 9, 2*i = -j*c - a - 5. Sort i, -2, 5.
i, -2, 5
Let b(s) = s**2 - 7*s - 5. Let z be b(7). Let n be (4/(-5))/((-4)/70). Let g be (-10)/n + 6/(-21). Put -5/6, g, z in increasing order.
z, g, -5/6
Suppose 0 = 2*y - 3*y - 3. Suppose -13 = 5*x + k, -4*x - 2*k - 3 = 11. Put 4, x, y in ascending order.
y, x, 4
Let r(c) = c**2 + 7*c + 6. Let t be r(-6). Suppose 0*s = 5*s - 25. Let x be (0 + -3)*4/(-3). Sort t, x, s.
t, x, s
Let d = 26.5 + -26. Put -2/3, 0.22, d in descending order.
d, 0.22, -2/3
Let r be ((-3)/(-9))/(-1 - -2). Let i = 0.04 - 13.04. Let b = -8 - i. Put -4, b, r in ascending order.
-4, r, b
Let t = 226/7 + -32. Let q = 3.5 - -0.3. Let d = q + -4. Sort 0, d, t in ascending order.
d, 0, t
Let k = 0.8 - 0.3. Sort -0.1, k, -1/8 in decreasing order.
k, -0.1, -1/8
Let y(t) = -t**3 + t**2 + 2*t - 2. Let o be y(0). Sort 3, 0, o in decreasing order.
3, 0, o
Suppose -4*t = 3*x + 3, -4*x + 3*t - 5 = -1. Put 0.1, -4, x in ascending order.
-4, x, 0.1
Let b be -2 + (-3 - 2*-1). Let p(i) = -i**2 + 9*i - 6. Let t be p(7). Let g = t - 3. Sort g, 0, b in descending order.
g, 0, b
Let y = 5 - 3. Let d be ((-1)/y)/(2/(-4)). Let z(t) = t - 13. Let n be z(10). Put -2, n, d in ascending order.
n, -2, d
Let p be 16/56 - 38/(-14). Suppose 7 = -5*b - p. Put b, 4, -3 in descending order.
4, b, -3
Let d = 3 + -5/2. Sort 1, 4, d in decreasing order.
4, 1, d
Let l = 35 - 35. Let n(a) = a + 1. Let d be n(0). Suppose -5*u - 6 = b, -2*u = 5 - d. Sort -1, b, l in increasing order.
-1, l, b
Let r be 14/(-6)*(-90)/10. Put -3, 3, r in descending order.
r, 3, -3
Let b = -8 - -6. Let s = -3 - b. Let w = -0.05 + -2.95. Sort -4, s, w in decreasing order.
s, w, -4
Suppose 4*l - 7*l = -15. Put -1, l, 3 in ascending order.
-1, 3, l
Let f = -2 - -2.01. Let s = f 