 = -31 + 32. Sort y, h, -4/3 in descending order.
y, h, -4/3
Let y be (18/8)/((-8)/64). Let b be ((-45)/y)/(2/4). Sort -1, 2, b in increasing order.
-1, 2, b
Let b(f) = f + 7. Let o be b(-7). Suppose o = -2*y - x + 2, x - 2 - 2 = -3*y. Suppose -2*i + 2 = -a + 8, 4 = 2*a + 4*i. Put -2, y, a in decreasing order.
a, y, -2
Suppose 4*y - 1 = 3*u + 4, 0 = 5*u - 5. Sort 1, y, 4, -5 in ascending order.
-5, 1, y, 4
Let w = -99 + 106. Put w, 4, -4/5 in descending order.
w, 4, -4/5
Let n(t) = t**2 - 7*t + 7. Let o be n(6). Let b be (-17)/19 - (-1)/o. Put 0, -3/4, b in descending order.
b, 0, -3/4
Let q be (8 + -4)*(-3)/(-4). Suppose 8 = q*l - 1. Let h be 1/l - 4/21. Sort h, 0.3, 2 in descending order.
2, 0.3, h
Let l = -31 + 35. Put l, -0.4, -2, 2/9 in descending order.
l, 2/9, -0.4, -2
Suppose -4*c = -t - 2*t + 4, -5*c = -4*t + 4. Sort 0.4, c, -32, -3 in decreasing order.
0.4, -3, c, -32
Suppose i - 2*i + 4 = 0. Suppose 5*c + 20 = -y + 4*y, -c = y + i. Sort -0.2, -2, c in decreasing order.
-0.2, -2, c
Let b be (-1)/2*0 + -1. Suppose 0 = -2*w - 3*w. Suppose -5*l = -w*l. Put b, l, -2 in descending order.
l, b, -2
Let a be 2 - 0 - (-2)/(-1). Let r = 17 + -18. Put r, -5, a in decreasing order.
a, r, -5
Let k = 111 + -160. Let w = k - -541/11. Let v = 1.1 - 1. Put w, v, -2/7 in decreasing order.
w, v, -2/7
Suppose -2*i = 2*i - 16. Suppose 0*s = i*s + 5*q + 17, 5*s + 5*q = -15. Suppose 0 = -a - s*a. Put a, 2, 1 in descending order.
2, 1, a
Let f(y) = y + 7. Let s be f(-6). Suppose 3*g - 2*g + z = 4, 5*z + s = 2*g. Let n = 5 - 0. Sort n, 1, g.
1, g, n
Let v = 2/67 - -61/201. Let f = 17.8 + -18. Sort v, 2, f in descending order.
2, v, f
Let q(w) = w**3 + 4*w**2 + w + 3. Let v be q(-4). Put v, -2, 2, 1 in ascending order.
-2, v, 1, 2
Let j(q) = -q**2 + 7*q - 3. Let o be j(6). Let i(f) = f + o - 2 + 0. Let h be i(-4). Put h, 5, 4 in decreasing order.
5, 4, h
Let f = -0.434 + -2.636. Let w = -0.07 - f. Sort w, -0.4, -1 in decreasing order.
w, -0.4, -1
Let z(c) = c**2 - 15*c - 4. Suppose -9*x + 10*x - 15 = 0. Let b be z(x). Sort 5, -5, b in decreasing order.
5, b, -5
Let y be ((-3)/3 - (1 + -1)) + 68. Put 5, 1, -2, y in decreasing order.
y, 5, 1, -2
Let z(j) = -3*j + 26. Let k be z(7). Sort k, -5, -2 in ascending order.
-5, -2, k
Let t = 24.2 - 24. Sort 3, t, -0.3 in descending order.
3, t, -0.3
Let x = 3 + -2. Let h = -1 + x. Suppose -4*i - 3*y = -9 + 2, 5*i + 5 = -y. Sort i, 5, h in increasing order.
i, h, 5
Let y = 0 - -1. Suppose -2 - y = -3*p. Suppose 4 = -t + f, -3*t + 4*f = 5*f + 16. Put p, 0, t in descending order.
p, 0, t
Suppose 21 = 4*x + 5. Let z = -3 + x. Let f = -0.44 + 0.04. Sort z, -0.2, f.
f, -0.2, z
Let s = -41 + 37. Sort 5, -1/7, s.
s, -1/7, 5
Let q be (0 + -3)*58/261. Sort 4, 3, -26, q in decreasing order.
4, 3, q, -26
Suppose 4*f - 10 - 14 = 0. Suppose o = f*o. Suppose d - 3 + 0 = o. Sort -4, -3, d in descending order.
d, -3, -4
Let s = 1 + 0. Let g(o) = 2*o**2 + 2*o + 3. Let k be g(3). Suppose 0 = 3*v - 6*p + 2*p, -3*v - 5*p + k = 0. Put s, v, -2 in increasing order.
-2, s, v
Suppose 9*u - 2 = 10*u. Sort -5, 3, u.
-5, u, 3
Let v = 267 + -375. Let s be (9/v)/((-3)/(-16)). Let x = 7/38 + 6/19. Sort s, 0.1, x.
s, 0.1, x
Suppose -5*w + 4*v = 208, w + 26 = -3*v - 27. Let y be (-4)/10 - w/10. Let u = 7 + -5. Put -2, y, u in increasing order.
-2, u, y
Let r = 0.34 + -0.3. Let z = r + -3.04. Let q = 0.1 + -4.1. Put z, q, 2/3 in decreasing order.
2/3, z, q
Let f = 2 + -1.9. Let g = 3.9 - -0.1. Let b = g + -3.5. Sort 0.2, f, b in increasing order.
f, 0.2, b
Let g(v) = v. Let q be g(-4). Let f be -1*(-3 + 2/(-2)). Suppose -5*w = 10 + 5. Put q, f, w in descending order.
f, w, q
Let i = -0.26 + 1.26. Put -3/5, i, -2/7 in increasing order.
-3/5, -2/7, i
Suppose 3*j - 2*r = r - 6, 0 = -4*r - 12. Put j, -4, 3 in decreasing order.
3, -4, j
Let t be 5*-809*(-6)/78. Let s = t - 311. Put -2, s, -0.2 in descending order.
s, -0.2, -2
Let h be (-2)/(-5) - (-4)/(-10). Let a = 1.8 - 1.9. Put -5, a, h in ascending order.
-5, a, h
Let h be ((-55)/4 - -1)*4. Let t = 305/6 + h. Put 0.05, 3, t in increasing order.
t, 0.05, 3
Let w(h) = -h**3. Let f be w(0). Suppose -5*a + 21 + 4 = 0, o + 5*a - 21 = 0. Let q = 95 + -90. Put f, q, o in increasing order.
o, f, q
Let k = -0.31 - 0.19. Sort k, -2/17, 1/6 in increasing order.
k, -2/17, 1/6
Suppose -3*i = 3*y - 1 + 19, -3*y + 3*i = 0. Sort y, -4, 13 in ascending order.
-4, y, 13
Let p = -3.2 + 3. Let n = 23.4 - 0.4. Let c = -20 + n. Sort c, 1/3, p in decreasing order.
c, 1/3, p
Let k = -6 + 1. Let x = k - -1. Let y = x + 3. Sort -0.4, -5, y in increasing order.
-5, y, -0.4
Suppose -11*y + 25 = -6*y. Put -2, 14, y, 0 in descending order.
14, y, 0, -2
Let c(s) = -s + 1. Let d be c(-4). Let u = 3 - d. Put 4, 3, u in decreasing order.
4, 3, u
Let y(p) = -p**2 - 4*p + 3. Let i be y(-4). Suppose 2*h - 8 = 0, -i*l + 57 - 293 = -2*h. Let g = l + 155/2. Sort -1/6, g, 0.3.
-1/6, 0.3, g
Suppose 2*s = 6*s. Sort -2, s, 1, -3 in descending order.
1, s, -2, -3
Let g = -52 + 51. Put -7, g, -2, -4 in decreasing order.
g, -2, -4, -7
Let t be (-2)/12 - (0 + 13/66). Sort 0.2, t, -0.2, 2 in decreasing order.
2, 0.2, -0.2, t
Let s = 0.27 - 0.07. Let g = s - 0.3. Put 1/4, g, -1/3 in descending order.
1/4, g, -1/3
Let k(t) = 2*t**3 - 2*t**2 - 3*t + 2. Let g be k(2). Let o(b) = b**3 - 2*b**2 - 3*b. Let f be o(3). Suppose -2*q - 2*q = f. Put q, g, -4 in decreasing order.
g, q, -4
Let q be ((-18)/(-21))/((-2)/(-14)). Suppose -2*h - 8 = -2*i, -4*h + 3 = i - q. Sort i, -4, -1 in increasing order.
-4, -1, i
Let n be 28/(-10) - -3 - 27/85. Sort -3, 0.2, 2, n in decreasing order.
2, 0.2, n, -3
Let z be 0 + (-4)/(6/(-3)). Suppose 2*d + 2 - 7 = -f, 0 = -3*f - 3. Let u = -4 + 1. Put u, z, d in decreasing order.
d, z, u
Let u be (-18)/(-90) - 38/(-10). Sort -3/4, 0.4, u.
-3/4, 0.4, u
Let d(z) = z**2 + 5*z - 2. Let s be d(-5). Let b be 0/(1/(1/s)). Let g be (-2)/(-1) - (2 - 2). Sort g, b, 5 in ascending order.
b, g, 5
Let x(t) = -t**2 + 2*t - 2. Suppose -6 = -4*b + 2. Let z be x(b). Put 2, z, 1 in descending order.
2, 1, z
Let u = -141 + 139. Let y be 1/3 + (-74)/6. Sort u, 5, y in increasing order.
y, u, 5
Let w = 3 - 7. Let v = -11 - w. Let l(o) = o**2 + 8*o + 2. Let m be l(v). Sort 3, 6, m in ascending order.
m, 3, 6
Suppose 3*s + 2*t = -2*s - 7, -2 = 2*t. Suppose 0*a - a = 2*i + 6, 4*i + 20 = 0. Sort a, -3, s.
-3, s, a
Let s = 27 + -14. Suppose s*n = 11*n - 14. Sort -1, -5, n.
n, -5, -1
Suppose -5 - 25 = -6*c. Suppose -4*w - 4 = -0. Let l be w/((1 - 2)/1). Put c, l, 3 in descending order.
c, 3, l
Let x = 16 - 9. Suppose -x*s - 4 = -3*s. Sort 5, s, -4 in increasing order.
-4, s, 5
Suppose -2*z + 2*q - 7 + 17 = 0, 2*z + 3*q + 15 = 0. Let l be 8/6 + (-3)/9. Let r(p) = -p**3 + 6*p**2 - 6*p + 1. Let x be r(5). Put l, x, z in descending order.
l, z, x
Let q = -1.51 - -1.41. Let b = 3.6 + 0.4. Sort b, 0.1, q in decreasing order.
b, 0.1, q
Let n = -6.2 + 3.2. Let w(y) = -y**3 + 2*y**2 + 3*y - 1. Suppose -17 = g - 5*g + 3*u, -g = 4*u + 10. Let b be w(g). Put n, -2/11, b in decreasing order.
b, -2/11, n
Let d(x) = -3*x**2 - 5*x - 2. Let r be d(-4). Let g = r + 48. Let y = 13 - g. Sort -2, -4, y in ascending order.
y, -4, -2
Let p = -3 - -3.2. Let q = p - 0.3. Put 0.5, q, 1 in ascending order.
q, 0.5, 1
Let m = -2 - -17. Let j be (-12)/m*(-5)/2. Sort 4, j, -5 in decreasing order.
4, j, -5
Let v = 10 - 9.91. Let j = -0.31 - v. Sort j, 0.2, -4/5 in descending order.
0.2, j, -4/5
Let o = 0.001 + -4.081. Let t = o - -0.08. Let u = 2.2 + -2. Put t, u, -2/3 in increasing order.
t, -2/3, u
Let k = -12 + 12.5. Sort 3, k, 1, -1 in decreasing order.
3, 1, k, -1
Let l(o) = o**3 + 7*o**2 - 6*o - 3. Let n be l(-8). Sort n, -2, 4 in decreasing order.
4, -2, n
Let u be (2 + -2)*1*-1. Put -2, 1, u in increasing order.
-2, u, 1
Suppose 0 = 3*u + 19 - 25. Let v(x) = x**3 - x**2 - x + 3. Let g be v(0). Suppose 5*c = -5*t, -2*c = 3*t + 3*c + 10. Sort u, g, t in ascending order.
u, g, t
Suppose 0 = -3*g + 3. Sort g, -2, 4 in increasing order.
-2, g, 4
Let j = -16.95 - -17. Sort j, -3, 1/5 in increasing order.
-3, j, 1/5
Let n be 9/34 - (-4)/(-12). Let h = -1195/51 + n. Let z = -24 - h. Put -0.4, 1, z in increasing order.
z, -0.4, 1
Let m = -3 - 1. Let z = 4.4 + m. Let i = -7.9 + 8. Put z,