Let x = 4.97 + 0.03. Let n = 0.37 + 0.03. Sort -6, x, n in increasing order.
-6, n, x
Suppose 4 = -4*v - 8. Let s be ((-17)/3 + 5)/(4/6). Sort v, s, 2 in ascending order.
v, s, 2
Let b = 4 + -29/7. Put -5, -17, b, 1/5 in decreasing order.
1/5, b, -5, -17
Suppose -229*q + 237*q = 8. Let f(n) = -2*n**3 - n**2 - n + 1. Let s be f(1). Put -2, q, s in descending order.
q, -2, s
Suppose d = 6*d - 5. Let c = 12 + -8. Sort d, -2, c.
-2, d, c
Suppose 3*m + 0 + 3 = 0. Let a = -5.0955 - -0.0055. Let t = -0.09 - a. Sort 2/15, m, t in decreasing order.
t, 2/15, m
Let q = -55 - -38. Let m = -16.9 - q. Put 2/5, m, -1/5 in ascending order.
-1/5, m, 2/5
Let a = 0.438 + -0.038. Let y = 27/2 + -13. Put a, y, 0.3 in decreasing order.
y, a, 0.3
Let a = 1 + -0.9. Let b = -0.05 - 0.04. Let i = 4.91 - b. Sort i, 0.5, a in decreasing order.
i, 0.5, a
Suppose 1 = y + 3. Let m(j) = 2*j - 45. Let g be m(22). Put g, y, -5 in descending order.
g, y, -5
Let o = 1.4 - 1. Let t = -4.4 + o. Let b = 437 + -437.5. Put -3, b, t in increasing order.
t, -3, b
Let w = -0.16 + 1.06. Let p = w + -1.2. Sort 0.5, -1/3, p.
-1/3, p, 0.5
Let k be 2 - (-9 - (-3)/(-3)). Suppose 2*c = -3*n + 20, c = 4*c - k. Sort 1, -2/9, n in descending order.
n, 1, -2/9
Let k = -123 - -128. Sort k, 4, 2/13, -5.
-5, 2/13, 4, k
Let q = 5 - 2. Let h be q - 6 - 18/(-7). Sort -2, -1/2, h in decreasing order.
h, -1/2, -2
Suppose 5*z + k + k = 31, 5*k = 2*z + 5. Suppose f + f = -z*g - 9, 3*g = -f - 5. Let l = 4 + -2. Sort l, 1, g.
g, 1, l
Let f(k) = -k**3 + 3*k**2 - 4. Let o be f(3). Let u be (2 - 2)*2/o. Put u, -2, 4 in ascending order.
-2, u, 4
Let i = -13 + 7. Sort i, 0, 4 in descending order.
4, 0, i
Suppose -4*s + z - 3 = 0, 0 = 2*s - 5*z + 3*z - 6. Let t = 8 - 13. Sort 3, t, s in ascending order.
t, s, 3
Suppose n = -2 + 7. Sort 1/6, -1/6, n in decreasing order.
n, 1/6, -1/6
Let j = -13 + 3. Put -0.5, j, -4 in increasing order.
j, -4, -0.5
Suppose 9*v - 4*v = -5. Put -2, v, 7 in descending order.
7, v, -2
Let l = -15 - -12. Sort 4, 1, l.
l, 1, 4
Let u(y) = -2*y + 1. Let s be u(2). Put s, 3, -2, -7 in ascending order.
-7, s, -2, 3
Let u(n) = -n**3 + 6*n**2 - 6*n + 7. Let o be u(5). Suppose 25 = -2*k - 3*k. Put k, o, -1 in ascending order.
k, -1, o
Suppose 38*f - 39*f + 1 = 0. Put f, -3, 5, -5 in decreasing order.
5, f, -3, -5
Let p = 2591/9581 - -2/871. Let z = -1/150 - 739/1650. Let m = z + p. Sort m, 4, -1.
-1, m, 4
Let l(a) = a + 5. Let d be l(-5). Sort 1, 4, d.
d, 1, 4
Suppose -c + 0*c - 4 = 0. Let p be c + 1/1 + 1. Sort p, 5, 2 in descending order.
5, 2, p
Let m be (1 - 0)*(7 + -9). Sort 3, m, 5, 0.
m, 0, 3, 5
Let f be 12/56*(-7)/(-6). Sort 7, 5, -4, f in increasing order.
-4, f, 5, 7
Let s = -4 + 7. Let p = s + 1. Sort -0.2, -1, p in increasing order.
-1, -0.2, p
Suppose -3*g = -4*n + 11, 2*g + 28 = 3*g + 5*n. Put -1, 4, g in increasing order.
-1, g, 4
Let f = -0.37 + 1.47. Let g = -0.1 + 1.1. Let n = f - g. Sort n, -2, 1/6 in descending order.
1/6, n, -2
Let y = -17.5 - -17. Let r = -120 - -838/7. Sort -2/15, r, y in ascending order.
y, r, -2/15
Suppose 4*x + 0 - 16 = 0. Put 3, 0, x in ascending order.
0, 3, x
Let b = 5.7 + 1.3. Let f = -6 + b. Let x = 2 - f. Put -4, -3/4, x in increasing order.
-4, -3/4, x
Let b = -0.72 + 0.42. Put -0.4, 4, b in decreasing order.
4, b, -0.4
Let v be (4 - 5)*(-2 - -3). Sort 5, -3, v.
-3, v, 5
Let z be 4/14 - 80/35. Let f(r) be the second derivative of -r**5/20 + 7*r**4/12 + r**3/6 - 3*r**2 + 3*r. Let s be f(7). Sort s, 3, z in decreasing order.
3, s, z
Let j = 1 - 1.1. Put -10, -1/3, j in increasing order.
-10, -1/3, j
Let c = -0.087 - 2.913. Sort 2/5, -1, -14, c in decreasing order.
2/5, -1, c, -14
Let i(n) = n**2 + 9*n - 13. Let l be i(-11). Let o = l + -13. Put -3, 2/3, o in decreasing order.
2/3, -3, o
Let q = -0.308 - -0.008. Sort 1/4, q, 2, -0.2 in decreasing order.
2, 1/4, -0.2, q
Suppose -3*b - b - 12 = 0. Let j be (-2)/(-5)*(31 - 1). Suppose 0*z + 3*z - j = 0. Sort z, b, 0 in decreasing order.
z, 0, b
Let d = 0.4 + -0.3. Let m = 0 + d. Let k = -0.2 - m. Sort k, -3, -2.
-3, -2, k
Let q = -6.5 + 6. Let h = -4.7 - -5. Let v = 0.2 - h. Put v, 2/7, q in increasing order.
q, v, 2/7
Suppose 5*b - 7*b + 2 = 0. Sort -0.4, b, 2, -5 in increasing order.
-5, -0.4, b, 2
Suppose 0*y = -3*y + 36. Sort -4, y, -3 in decreasing order.
y, -3, -4
Let o be (0 - (-9)/15015)*-307. Let v = 1/455 + o. Put 0.1, v, 0 in descending order.
0.1, 0, v
Suppose -d + 32 = 5*m, -2*m + d = -m - 10. Suppose -5*p - 12 = -3*w, -p + 0*w = 5*w + 8. Put p, m, -2 in increasing order.
p, -2, m
Let b = -1.1 - 8.9. Let z = 10 + b. Put 10, z, 0.1 in increasing order.
z, 0.1, 10
Let p be 7 - ((0 - 2) + 4). Sort -5, -1, p, -4 in descending order.
p, -1, -4, -5
Suppose 26 = 5*j - h, j - 9 = 3*h - 1. Put j, 1, 0 in increasing order.
0, 1, j
Let x = -77/3 - -27. Suppose 0 + 4 = 2*d. Suppose d*h - 4 + 14 = 0. Sort 4, h, x in increasing order.
h, x, 4
Let l(k) = k**3 - 12*k**2 - k + 12. Let j be l(12). Sort -1, j, 3 in increasing order.
-1, j, 3
Let d = 0.5 - 0.1. Suppose 6*f - f = -4*f. Sort d, -2/7, f in decreasing order.
d, f, -2/7
Let g(r) = r - 7. Let q be g(8). Let x(d) = 3*d**2 - d**3 - d - 2*d**2 + 0*d**2. Let y be x(1). Put y, q, 3 in increasing order.
y, q, 3
Suppose 3*a - 56 = -a - 4*u, -3*a = -u - 34. Put 1, a, 3 in descending order.
a, 3, 1
Let j = 42 - 41.8. Put j, 0, -20 in ascending order.
-20, 0, j
Suppose 1 = -q, 0 = 4*w - 6*w + 4*q + 16. Let u(d) = -d**2 + 5*d + 8. Let j be u(w). Suppose 4 = z - 1. Put j, z, 0 in decreasing order.
z, j, 0
Suppose -k - 7 = -j, -j - 2*j = -4*k - 23. Suppose -20 = -j*u, 5*s = -0*u - 5*u + 115. Suppose -2*b + g = -2*g - 1, -g = 4*b + s. Sort b, 1, 2.
b, 1, 2
Suppose 2*t - 7*t = 20. Let z(h) = -h**2 - 3*h + 2. Let n be z(t). Let u be (1/n)/((-1)/2). Sort u, 5, -5 in descending order.
5, u, -5
Let k = -4 - -7. Let w(o) = o - 1. Let d be w(k). Let n be d - -1*4 - 1. Sort -5, -3, n in descending order.
n, -3, -5
Suppose -f = -12 + 14. Sort f, 1, -5, -3 in decreasing order.
1, f, -3, -5
Let t = 6 - 5. Let d(b) = -2*b**2 - b. Let j be d(t). Sort j, 5, 3/7.
j, 3/7, 5
Suppose -2*c - 2 = -3*c - 2*i, 5*i - 19 = c. Sort 2, c, 7 in increasing order.
c, 2, 7
Let u = 36 + -26. Let a be 1*3 - u/(-5). Sort -3, a, 2 in ascending order.
-3, 2, a
Let u = -8 - -7.7. Put -2, u, -3 in decreasing order.
u, -2, -3
Let r(z) = z + 11. Let s be r(-8). Put -6, 4/7, s, 0.2 in increasing order.
-6, 0.2, 4/7, s
Suppose 6*r = r - 15. Suppose 8 = -3*y - y. Let p be (2/y - -3) + r. Sort p, 3, 5 in ascending order.
p, 3, 5
Let r = -1.99 - 0.01. Let b = 1 - 0. Suppose -b - 11 = 4*u. Sort 2/23, r, u in increasing order.
u, r, 2/23
Let q(n) be the first derivative of n**2/2 + n + 2. Let d be q(-6). Let v(h) = h**2 - 2*h + 5. Let w be v(2). Sort d, 3, w in descending order.
w, 3, d
Suppose 0 = a - 3*a. Let y = 16 + -14. Let j(r) = -r - 8. Let v be j(-6). Sort v, a, y in increasing order.
v, a, y
Let p be (-24)/351 - 2/13. Sort 0.4, p, -2/5 in descending order.
0.4, p, -2/5
Let g be (-24)/(-28) + 1 + 1. Let y = -206/77 + g. Let u = 8 - 8.3. Sort y, 0.1, u in ascending order.
u, 0.1, y
Let w(y) = -y**3 - 2*y**2 - 5. Let d be w(0). Put -2/3, d, 2/7, -4 in decreasing order.
2/7, -2/3, -4, d
Let k = 3.2 - -9.8. Let q = k + -13. Sort 4, -3, q.
-3, q, 4
Let a = -24 + 19. Sort -3/4, a, -0.3, 0.5 in decreasing order.
0.5, -0.3, -3/4, a
Let p be 1 + -2 + 42/(-14). Let i(z) = -z**2 - 4*z - 1. Let t be i(-4). Put t, -2, p in increasing order.
p, -2, t
Suppose 3*x = x - 4*h - 8, 0 = -4*x - 3*h - 1. Suppose -2*v - 116 = -6*v. Let u = 146/5 - v. Sort x, 4, u in descending order.
4, x, u
Let b be ((-1887)/(-18))/17 - (-1)/(-6). Sort b, 3, -1 in descending order.
b, 3, -1
Let q = -0.6 - -0.8. Put -2, q, 4 in ascending order.
-2, q, 4
Let y = 249/35 - 37/5. Put y, 0.4, -3 in descending order.
0.4, y, -3
Suppose 0 = 3*m + 2*j + 2*j - 5, -15 = -3*j. Let s be (-2)/3 - (-22)/6. Suppose 3*x - s + 0 = 0. Sort -1, m, x.
m, -1, x
Let s = -2 + 2.1. Let d = 13 + -22. Let r = d - -12. Sort -4, r, s in increasing order.
-4, s, r
Suppose 3*k - 89 - 91 = 0. Suppose k = 3*m + m. Let x = 11 - m. Sort x, 3, 0.
x, 0, 3
Let i = -13/3 + 49/12. Let y = 7 - 8. Sort i, 2, y in ascending order.
y, i, 2
Let z = -6 + 9. Suppose 0 = -2*r + 4 