 6 - 3*h**2. Let n be v(4). Let i be (1/4)/(28/16). Put 0, i, n in descending order.
i, 0, n
Let g = -7241/4068 - -1/452. Let j = g + 55/36. Let o = 2.5 - 3. Sort o, -3, j in increasing order.
-3, o, j
Let h be (-1)/1 + (-1 - -3). Let z = -2 + -1. Let d = h + z. Sort 0.4, 0, d.
d, 0, 0.4
Suppose -d + 12 = -5*r, 4*d + 4*r = d - 21. Sort 3, d, 4 in descending order.
4, 3, d
Let l = 124 + -128. Put 2/35, l, 5 in increasing order.
l, 2/35, 5
Let c be (-2 - (-3 + 3)) + 7. Let y(x) = x**2 - 6*x. Let t be y(c). Sort 1, t, -2 in descending order.
1, -2, t
Let r = -1/1115 - 79137/31220. Let o = 9/4 + r. Put 7, -2, o in increasing order.
-2, o, 7
Suppose 0 = 3*l + 4 - 16, 3*l - 20 = j. Let q = 46 + -38. Let u = j + q. Sort u, -1, -2 in increasing order.
-2, -1, u
Let q be (-3 + 4)*(3 - 1). Let x be 2*-3*(-6)/4. Let y be 0 + -3*1/x. Sort 1/12, y, q.
y, 1/12, q
Let b be 0/(-2) - 1 - 0. Put 0, b, 9 in decreasing order.
9, 0, b
Suppose -l = k + 1, 5*k - 4*l = 3*k + 22. Sort -5, -1, k in decreasing order.
k, -1, -5
Let o(v) = 3*v**2 + 71*v + 42. Let r be o(-23). Let p be 1/2 - (-1)/2. Put r, 3, p in increasing order.
r, p, 3
Let n = 13 + -13. Sort n, 5, 1 in decreasing order.
5, 1, n
Let i(g) = -g**2 + 6*g - 3. Let h be i(5). Suppose -h*d + 2*a - 1 = -11, -3*d - 4*a + 15 = 0. Suppose 6 = d*z - 14. Sort z, 1, -3.
-3, 1, z
Let d be ((-66)/55)/((-4)/50). Suppose 5*q - d = -0*q. Sort -3, q, 0 in increasing order.
-3, 0, q
Suppose -4*i + 6 = -10. Suppose i*u = -u + 15. Let y = u - 0. Sort y, 0, -2/19 in decreasing order.
y, 0, -2/19
Suppose -v - 1 = -5. Sort v, -1, 2, -2.
-2, -1, 2, v
Let y = -0.2 - -0.1. Let u = -1.2 - -0.2. Let j = -50 + 49.5. Put j, y, u in descending order.
y, j, u
Suppose 9*t + 1 + 8 = 0. Sort -7, 5, t, -4.
-7, -4, t, 5
Let h be (2 - 4)/(-1 + 11). Put -0.1, h, 3 in ascending order.
h, -0.1, 3
Suppose -4*x + 1 = 13. Let h be -2 - 3/(-3) - -1. Sort -5, x, h in decreasing order.
h, x, -5
Suppose 3*s - 11*s - 40 = 0. Sort s, 2, -2 in descending order.
2, -2, s
Let v = 0.08 + -4.08. Let r = 1 - -2. Let f be ((-3)/14)/(r/4). Put f, -1/9, v in decreasing order.
-1/9, f, v
Let z be ((-117)/390)/((-2)/20). Let c = 0.3 - -0.2. Sort c, z, -1 in descending order.
z, c, -1
Let s = -26 - -26. Put s, 5, -5 in decreasing order.
5, s, -5
Let v be 190/(-75) + 3 + (-1)/(-5). Sort 3, v, 7.
v, 3, 7
Suppose 0 = -2*t - 0*c - 2*c - 6, -t = 5*c + 11. Let i(n) = -4*n - 1. Let o be i(t). Sort 4, -3, o in descending order.
4, o, -3
Let y = 520/2421 + 2/269. Sort -2, -5, y in descending order.
y, -2, -5
Let p(c) = c**3 + 10*c**2 + 10*c + 8. Let q be p(-9). Let o(u) = -5*u + 1. Let n be o(q). Sort 0, -3, n.
-3, 0, n
Suppose -n + 20 = -6*n. Suppose 4*l - 2*l + 10 = 0. Put l, n, 6 in increasing order.
l, n, 6
Let l = 249/13 - 19. Sort 1, l, -0.2 in increasing order.
-0.2, l, 1
Let a = 151 + -140. Sort 3, a, -5, 1.
-5, 1, 3, a
Let k = 4.56 - 3.9. Let r = 0.06 - k. Let g = -0.5 - r. Put g, 3/2, 2/5 in decreasing order.
3/2, 2/5, g
Let p = -0.3 + -0.7. Let f = -62 - -60. Sort 0.5, f, p in increasing order.
f, p, 0.5
Let f = 84 - 88.3. Let l = -4 - f. Sort 1/6, 0.2, l in increasing order.
1/6, 0.2, l
Let y = -0.05 + -0.05. Let k = 0.4 - y. Sort 2, k, -1.
-1, k, 2
Let s be 6/4*(5 - 3). Suppose 0 = 3*i - 3 - s. Sort 6, -0.2, i in decreasing order.
6, i, -0.2
Let r = -0.33 - -0.03. Let t be 0 - -1 - (-7)/(-9). Let d = -61/3 - -21. Sort t, d, r in descending order.
d, t, r
Let h = -10 + 6. Let q = -1 + 1.06. Let m = q + -0.56. Put h, 0, m in ascending order.
h, m, 0
Let y = 4.7 + 0.3. Let d = 0.02 - -0.28. Put -3, d, y in decreasing order.
y, d, -3
Let y = -37.5 + 38. Put -0.2, -0.5, y in increasing order.
-0.5, -0.2, y
Suppose -d - 7*b + 2*b - 4 = 0, 16 = -4*d - 5*b. Let l(j) = j**3 + 5*j**2 + 2*j - 4. Let x be l(d). Suppose 4*k + 1 - 5 = 0. Put k, 2, x in ascending order.
k, 2, x
Suppose -1 = -2*t - 7. Let c be ((-8)/3)/2*3. Suppose z - 1 = 1. Sort z, c, t in increasing order.
c, t, z
Suppose 5*z + 45 = 2*z. Let a be -1 + 0 + (-13)/z. Let y(m) = -6*m + 59. Let g be y(9). Put 0.4, a, g in increasing order.
a, 0.4, g
Let l = -4.858 - -0.058. Let o = -0.8 - l. Let y = 7 - 4. Sort y, -1, o in ascending order.
-1, y, o
Let i be -3*(-4 - (-166)/42). Let d = -4.02 - -0.02. Let x = d - -4.4. Put 1, x, i in descending order.
1, x, i
Let r(f) = f**3 + 7*f**2 + 4*f - 7. Let t be r(-6). Suppose -13*d = -20*d - 28. Put t, d, -5 in descending order.
t, d, -5
Suppose 0 = 4*k - 7*k + 6. Put 0, k, 3 in increasing order.
0, k, 3
Let w = 7 + -5. Let y = -10 + 14. Let r = w - y. Sort r, 3, 0.
r, 0, 3
Let q = 7 - 5. Suppose -3*g + 26 = -q*p + p, 2*g = 5*p + 39. Let l be 30/g - (-2)/(-7). Sort l, -1, -2 in ascending order.
-2, -1, l
Let w = -1 - 9. Let y = 8 + w. Sort 0.5, 0.2, y in ascending order.
y, 0.2, 0.5
Let x be 12/(-30) - 69/15. Sort 1, 5, x in decreasing order.
5, 1, x
Let p be (-4)/(-5)*(-90)/(-12). Let q be p/4 - (-44)/(-8). Sort q, -6, 5.
-6, q, 5
Let b = 20.04 - 20. Sort 2, -0.4, b in descending order.
2, b, -0.4
Let q = 25 - 22. Put 5, -2, q, 1 in descending order.
5, q, 1, -2
Suppose -6*j - 8 = -2*i - j, -4*i + 5*j + 6 = 0. Put 9, 4, i in ascending order.
i, 4, 9
Let o = -0.101 + 2.101. Sort 3/4, o, -3, 5 in descending order.
5, o, 3/4, -3
Let p = 27 - 27.4. Put -2/21, p, -2/13 in ascending order.
p, -2/13, -2/21
Let g(m) = -m**2 - m. Let z(t) = 3*t**2 + 10*t - 1. Let p(o) = -2*g(o) - z(o). Let j be p(-8). Let v be 1/(j/1 - 0). Sort v, 2, -0.2 in ascending order.
-0.2, v, 2
Let n be -1 + -2 + 1 + (-12)/(-4). Sort n, -1, 0 in descending order.
n, 0, -1
Let g(u) = u + 2. Let r be g(-5). Let n = 18 + -22. Let m(t) = -t**2 - 3*t - 1. Let f be m(-2). Put n, f, r in descending order.
f, r, n
Let r = -10.7 - -11. Let i = -241 - -1209/5. Let p be 3/(-2) - (18 - 19). Sort p, r, i in decreasing order.
i, r, p
Suppose 5*b + 13 = -3*q, -2*b + 6*b + 20 = 0. Suppose q*m - 3*m = -2. Put 3, m, 2 in ascending order.
m, 2, 3
Let x be (-105)/(-20) + (-1)/4. Put 0.4, -3, x in descending order.
x, 0.4, -3
Let h = -473 + 8043/17. Let g = -1/9 - 1/72. Let y = -21.5 + 22. Sort g, h, y in descending order.
y, h, g
Suppose 4*t - r = -5*r + 28, 3*r = -2*t + 16. Sort -2, t, -4 in descending order.
t, -2, -4
Let n = -0.1 + -0.4. Let y = -45.8 + 42. Let t = -4 - y. Sort t, -0.4, n in ascending order.
n, -0.4, t
Let k = -0.5 + 0.6. Let d be (-4)/(-14) + (-38)/84. Put d, k, 0 in ascending order.
d, 0, k
Let g(w) = -w**3 + 5*w**2 + w - 5. Let j be g(5). Put 1, j, 5 in descending order.
5, 1, j
Suppose 5*m - 4*u = -17, 4*m + 10 = 5*u - 0. Sort 2/15, 5, m in descending order.
5, 2/15, m
Let y be -2*3*15/18. Let w = 0.6 + -0.1. Put w, y, -4 in decreasing order.
w, -4, y
Suppose 2*v - 5*n - 21 - 9 = 0, -45 = -3*v + 4*n. Put -2, v, 3 in decreasing order.
v, 3, -2
Suppose 0 = -o - 2*o + 15. Let a(n) be the first derivative of -n**2/2 + 10*n - 2. Let c be a(9). Sort o, 0, c in increasing order.
0, c, o
Let b = 184 + -176. Sort 0.3, b, 4, 5 in decreasing order.
b, 5, 4, 0.3
Let y be (-2)/(-11) + (-38)/209. Put 2, y, -5 in descending order.
2, y, -5
Let u(t) = -6*t**2 - 2*t - 1. Let p be u(-1). Sort p, 3, -2.
p, -2, 3
Let a = 3.6 + -0.6. Let w = 6.3 - 2.3. Sort -1/7, w, a in decreasing order.
w, a, -1/7
Let p(n) = 2*n + 5. Let l be p(-4). Let x = 0 - l. Suppose -x*c - 2*c = 0. Sort c, 3, -1.
-1, c, 3
Let c = 0 - -0.4. Let i = 0.5 - 0.7. Sort -2/17, i, c.
i, -2/17, c
Suppose 4*u = -5*u + 5*u. Suppose y - 3 = -0. Sort -2, u, y in decreasing order.
y, u, -2
Let o = 1.4 - 2. Let r = -1 - o. Let c = 0.24 - -0.06. Sort 3/4, c, r.
r, c, 3/4
Let b be (2 - 3/1) + 0. Suppose 0 = 7*z - 2*z + y + 5, 4*z = 2*y + 10. Let g(c) = c**2 - 11*c - 10. Let x be g(12). Put b, z, x in decreasing order.
x, z, b
Suppose 5*y - 21 = -31. Sort 3, -0.04, y in ascending order.
y, -0.04, 3
Let i be (2/(-1))/(4 + 98/(-21)). Sort i, 5, 4, -3 in ascending order.
-3, i, 4, 5
Let m = 1 + -1.2. Let z = 2.7 - 2.8. Put 1, m, z in ascending order.
m, z, 1
Let w = -1 - 0. Let v = w + 0. Put 0.2, v, 0.4 in ascending order.
v, 0.2, 0.4
Let p(r) = -r**3 - 5*r**2 - r - 5. Let b be p(-5). Suppose -4*a = -7*a + 3. Sort -4, a, b.
-4, b, a
Let i = 0.1 + 0.1. Let l(c) = -c**3 - c**2 - c + 9. Let t be l(0). Let k = t - 5. Put -2/7, k, i in increasing order.
-2/7, i, k
Le