 + h. Put 0.5, x, 5 in increasing order.
x, 0.5, 5
Let s = -12 + 12.2. Sort 0, s, 3.
0, s, 3
Suppose 2*l - 3 + 9 = 0. Suppose 3*s + 57 - 66 = 0. Sort -1, l, s in descending order.
s, -1, l
Suppose -24 = -4*k + 2*k. Suppose f = -4*t - 15, 2*t + 21 = -0*f - 5*f. Sort 4, f, k in increasing order.
f, 4, k
Let f(m) = m - 8. Let i be f(6). Put i, 2, 5 in increasing order.
i, 2, 5
Let l = -39 + 36. Put -5/6, -1/2, l in increasing order.
l, -5/6, -1/2
Let u be 22/(-33)*6/8*2. Sort -2/5, u, -0.04 in descending order.
-0.04, -2/5, u
Let o = 11.3 + -12. Let z = o + -4.3. Let k = z - -4.6. Sort 0.5, 0, k in decreasing order.
0.5, 0, k
Let y = -0.42 - -0.22. Sort -3, y, 3.
-3, y, 3
Let k be ((-10)/(-8))/((-2)/(-8)). Suppose -k*p = 2*n - 8, -4*n - 2*p + 12 = -n. Put -1, n, -6 in decreasing order.
n, -1, -6
Suppose -44*k + 42*k + 14 = 0. Let i = 18 - 11. Let q = k - i. Sort 0.4, -1/8, q in increasing order.
-1/8, q, 0.4
Let r(y) = -y**2 + 8*y - 8. Let m be r(7). Let d(f) = -5*f**2 + f**2 + 0*f**3 - f**3 + 5 - 4*f - 4. Let v be d(-3). Put v, 5, m in decreasing order.
5, v, m
Suppose -6*d = -d + 3*f - 29, -f - 1 = -d. Suppose 0 = v - 3*v + d*i + 24, -3*i = 12. Let c = 0 + 0. Sort v, -5, c in descending order.
v, c, -5
Let t = -0.97 - 0.33. Let h = t - -0.3. Let w = 127 + -130. Put w, h, -5 in descending order.
h, w, -5
Let f = -1.184 - -0.184. Let y = -3 + 3.3. Let u = y + 2.7. Sort u, f, -0.4 in increasing order.
f, -0.4, u
Let i = 33 - 95/3. Put 0.2, i, 2/13 in decreasing order.
i, 0.2, 2/13
Suppose 4*w + 16 = 8*w. Let p be (-37)/7 + w/14. Suppose -3*h + 9 = 2*r + 2*h, -3*r - 3*h = 0. Put r, p, -2 in increasing order.
p, r, -2
Suppose 0 = 3*c - 2*a + 2, 0 = -2*c - 3*a + 5 - 15. Let g = -14 - -19. Sort 4, c, g in decreasing order.
g, 4, c
Let c(k) = -k - 3. Let z be c(0). Let b = 7 - 6. Let f = 2 + b. Put 5, f, z in ascending order.
z, f, 5
Let u be (-1)/1 + 0 + -1. Let y(f) = 2*f**2 - 3*f + 2. Let x be y(2). Let s = u + x. Put -3, 5, s in descending order.
5, s, -3
Suppose 0 = 5*w + 25, -2*x = -5*x + w + 317. Sort -2, 4, 2, x in decreasing order.
x, 4, 2, -2
Let n(q) = q**2 + 6*q + 6. Let l be n(-5). Put l, 7, 5, -3 in decreasing order.
7, 5, l, -3
Let n = 2 + -5. Let f = 7.1 + -0.1. Let m = f + n. Sort 0, m, -1/10 in ascending order.
-1/10, 0, m
Suppose -3*r + 3 = -5*q, -r + 7 - 4 = -q. Suppose 6*f = 3*f - 3*o + r, 5*f - 4*o = 28. Let l be 1/(-2) + (-10)/f. Sort 1, l, -5.
-5, l, 1
Let j = -61 + 181/3. Sort 4/3, 4, j in increasing order.
j, 4/3, 4
Let z = 6.92 + -7. Sort z, 0.2, -5, -0.2.
-5, -0.2, z, 0.2
Let p = -1.3 - 3.5. Let i = p + 5. Sort -1/5, i, 3/4.
-1/5, i, 3/4
Let w = -4.6 + -0.4. Sort -3, w, -2.
w, -3, -2
Let g be ((-31)/(-2))/(2/(-4)). Put 0, g, 4, -4 in increasing order.
g, -4, 0, 4
Let n = -5 + 5.1. Let z = 4.9 + n. Let l = 0.2 - 2.2. Put l, 0, z in decreasing order.
z, 0, l
Suppose 0 = 3*n + 3 - 0. Let r = 2 + 3. Let k = r + n. Put 1, 5, k in ascending order.
1, k, 5
Let r be (16/(-6) + 2)*-3. Let c be (2 - 2) + (8 - 5). Sort -2, c, r.
-2, r, c
Suppose -k - 5*t = -20, 8 = 3*t - 7. Let b be 45/(-54)*(k - 1). Suppose -c - 1 = 2. Put c, b, -5 in decreasing order.
b, c, -5
Let a = 17 - 16. Sort a, 2, -2 in descending order.
2, a, -2
Let t = -1.05 + 0.05. Let l = 87 - 171/2. Put t, 5, l in increasing order.
t, l, 5
Let f = 11.3 + -11. Let i = -6 - -6.2. Sort f, 4, i in descending order.
4, f, i
Let u = 10 - 6. Let x = -45 + 449/10. Sort 0.3, u, x in ascending order.
x, 0.3, u
Suppose 2*c + 3*c + 45 = 4*b, 4*b + 5 = -5*c. Let y be (24/(-30))/(2/b). Put -3, 0, y in descending order.
0, y, -3
Let p(g) = g**2 + 10*g + 13. Let k be p(-9). Suppose -2*l - 8 = -w, 4*w + 3 = -k*l + 11. Sort -3, 5, w.
-3, w, 5
Suppose -2*s + n - 3*n + 12 = 0, -s = -4*n + 9. Let r = -10 + 11. Let g = r + -5. Sort s, -1, g in ascending order.
g, -1, s
Let p = -1 - -1.5. Let u = -0.33 - -0.13. Sort -1, p, u in decreasing order.
p, u, -1
Let x(n) = n**2 - 2. Let l be x(2). Let b = 0 + -2. Put b, 5, l in increasing order.
b, l, 5
Let r = -643/5 - -128. Sort r, -3, 2/13.
-3, r, 2/13
Let n(b) = 2*b - 4. Suppose 4*o + 0*g - 1 = 3*g, 3*o + 2*g = 22. Let d be n(o). Put -1, -3, d in increasing order.
-3, -1, d
Let t be (-16)/4 + (-1)/(-1). Let q(z) = z**2 + 3*z + 2. Let r be q(t). Put 3, -3, r in descending order.
3, r, -3
Suppose -5*z + g + 4*g - 30 = 0, 4*z = g - 24. Let x be 1/3 + (-10)/z. Put 0, x, 4 in descending order.
4, x, 0
Let w be (-2)/(-4)*0/1. Let k(n) = n**3 - 5*n**2 - 6*n + 1. Let t be k(6). Put w, t, 2 in descending order.
2, t, w
Let r = -30 - -28. Sort 2, r, -3 in decreasing order.
2, r, -3
Let s = -0.43 - -0.03. Let t = 8.4 + -1.4. Let c = t + -7.3. Sort s, 0, c in increasing order.
s, c, 0
Suppose 11 = -7*w - 10. Sort -5, 0, w, -1 in increasing order.
-5, w, -1, 0
Let o = -2 + 6. Let n = -4 - -7. Sort n, -4, o in descending order.
o, n, -4
Let b(t) = -t**3 + 8*t**2 - t + 6. Let u be b(8). Let h be 14/(-6) - (-4 - u). Put h, -2/3, -2 in descending order.
h, -2/3, -2
Let q be (-2)/(-8) + 39/(-12). Suppose 0 = 3*o - 0*m - m - 5, -20 = 2*o + 4*m. Sort 4, o, q in descending order.
4, o, q
Let p = -87 + 78. Sort p, 0.4, 1 in ascending order.
p, 0.4, 1
Let b = 0.07 + 0.33. Put -11, -2, b in decreasing order.
b, -2, -11
Let v = -8 + 13. Sort v, -2, 3 in descending order.
v, 3, -2
Suppose 3*u + 1 = -5, 4*u = -4*w - 12. Sort w, -2, 4.
-2, w, 4
Suppose 0 = -q - 3 + 5. Suppose 0 = -q*y - 7*b + 3*b - 2, 4*y - 4*b - 8 = 0. Sort -4, -2, y in decreasing order.
y, -2, -4
Let z be (9 + -13)/(0 - -1 - 0). Put 3, -2, z, 2 in increasing order.
z, -2, 2, 3
Let z = 45.7 - 46. Sort z, 0.2, 4, -2/13 in decreasing order.
4, 0.2, -2/13, z
Suppose 35 = 2*y + 3*y. Let x = y + -3. Let q be (-1)/3 + x/12. Put 2, q, -3 in ascending order.
-3, q, 2
Let l = -0.01 - 0.39. Suppose s - 7 = -4*o + 5, 3*o = -4*s - 4. Let v = 3 - 5. Sort s, v, l.
s, v, l
Let c = 4.124 + -0.024. Let x = 4 - c. Put x, 0.3, -1 in decreasing order.
0.3, x, -1
Let b = 9 + -5. Let c = -6 + 11. Suppose -5 = c*t - 0. Sort b, t, 1.
t, 1, b
Suppose 0 = -4*v - k + 3*k - 20, 3*v + 5*k = -15. Let w = v - -3. Let u be ((-10)/8)/(w/8). Sort -1, 0, u in decreasing order.
u, 0, -1
Let a(o) = 0*o**2 - o**2 - 8*o + 1 - 4. Let y(q) = q**3 + 6*q**2 + q - 2. Let j be y(-6). Let g be a(j). Sort g, 2, 5 in increasing order.
g, 2, 5
Suppose 0 = 13*o - 12*o + 3. Put -2, o, 1, 3 in decreasing order.
3, 1, -2, o
Let c be 4/6*3/2. Suppose -z = -6 + 2. Suppose -z*o + 20 = -0. Sort -1, c, o in descending order.
o, c, -1
Let n be 9/6*1*-2. Suppose 10*w - 5*w + 25 = 0. Sort n, w, 0 in descending order.
0, n, w
Suppose d + 2*d = -4*l + 4, 4*d = -2*l + 12. Suppose -3*y + 2*s = s - 4, -5*s + 31 = 2*y. Suppose 0 = 4*g - y - 5. Put -4, l, g in decreasing order.
g, l, -4
Let k be (3 + -1 + -7)/(-1). Suppose 3 + 22 = -k*z. Sort -3, 1, z.
z, -3, 1
Let u = 0.44 + -0.64. Put -0.5, -0.1, u in decreasing order.
-0.1, u, -0.5
Let s(t) = -t - 12. Let z be s(-17). Suppose z*o + 4 = 3*o. Sort o, 11, 1/4 in descending order.
11, 1/4, o
Let r(m) = 2*m**2 - 3*m. Let l be r(2). Put 4, l, 3 in increasing order.
l, 3, 4
Let u(t) = -4*t**3 - t**2 + t - 1. Let h be u(1). Let q = -1 - -3. Let l(m) = -m**2 + 10*m - 17. Let p be l(8). Sort p, q, h in ascending order.
h, p, q
Let d be -2*4/24 - 10/(-18). Put 0.01, 3, d, -2/3 in descending order.
3, d, 0.01, -2/3
Let n = -4 + 5. Let d = n - 1.1. Put -4, d, -2/11 in increasing order.
-4, -2/11, d
Suppose 5*c - 16 = 14. Suppose 0 = 3*y, c - 3 = -x + 2*y. Let r = 2 - x. Sort -4, r, 2 in ascending order.
-4, 2, r
Suppose -4*s + s = -237. Let u = s - 867/11. Sort u, 8, -3.
-3, u, 8
Suppose -2*h = -w - 9, w = -2*h + 8 - 1. Let x(a) = a**3 + 2*a**2 - 3*a - 2. Let g be x(-3). Let v = g + 6. Sort v, w, -4 in increasing order.
-4, w, v
Let l = 77 - 999/13. Sort l, 3, 2/11.
l, 2/11, 3
Let y = 3.4 + -3. Let b = -0.45 + 0.05. Let i = b + y. Sort i, -2/7, 3.
-2/7, i, 3
Let s be 14*((-10)/4)/5. Let b(a) = a + 5. Let v be b(s). Put -5, 1, v in descending order.
1, v, -5
Let g = 7 - 5. Suppose 4*a + 2 = -x - 1, -6 = -g*x + 4*a. Put x, 4, 3 in ascending order.
x, 3, 4
Let i be (98/21 - 6) + 2/(-3). Let u = 0 - -3. Sort u, i, 2.
i, 2, u
Suppose 4*t - o = 4*o - 30, -t = -2*o + 9. Sort t, -1/8, 0.4 in decreasing order.
0.4, -1/8, t
Let d be -1 - (