 Suppose 3*k + 17 = 5. Put z, k, 1 in decreasing order.
z, 1, k
Let s = 3 + -7. Let j = s - -4.3. Let h = 0.2 - 0.3. Sort j, h, 0.4 in ascending order.
h, j, 0.4
Let y = -13 - -15. Put 4, y, -2/17 in descending order.
4, y, -2/17
Let w be -4*2*5/20. Sort w, -17, 1 in ascending order.
-17, w, 1
Let w = -8 - -9. Let i = w - -1. Suppose 4*c + 0*r - r - 7 = 0, -2*c = i*r + 4. Sort c, 0, -4.
-4, 0, c
Suppose 1 = 3*l - 4*j, -16 = -0*j + 4*j. Sort l, 5, 1 in decreasing order.
5, 1, l
Let x(b) = 3*b**2 - b. Let p be x(1). Suppose -t + 4*k + 6 = 0, p = -4*k + 3*k. Put 2, t, 0 in descending order.
2, 0, t
Let a be 2/(-5) + 16/15. Let m = 0.43 + 0.07. Sort m, a, 3/7.
3/7, m, a
Suppose -5*i = -4*i - 3. Sort -1, -10, 4, i in decreasing order.
4, i, -1, -10
Let k(m) = -m**2 - 20*m + 19. Let o be k(-21). Put -5, o, -1, 3 in decreasing order.
3, -1, o, -5
Let n(u) = u**2 - 4*u + 1. Let o be n(3). Suppose -p + 20 = -5*p. Let s be ((-12)/(-16))/(1/(-4)). Sort o, s, p in decreasing order.
o, s, p
Suppose -27 = -5*t + 2*r, 0*r = 5*t - 3*r - 23. Suppose -5*y + 21 = 26. Sort y, t, 3 in decreasing order.
t, 3, y
Let z be -2 + 7 + (3 - 5). Let q be 1 + 1 + -8 + z. Put 2, -2, q in ascending order.
q, -2, 2
Suppose -4*q = -5 + 13. Suppose -2*y + 0*y = 0. Suppose y = -4*k - k. Put k, -3, q in increasing order.
-3, q, k
Suppose 0 = -4*d + 4*c - 24, 4*d + 22 = -c - 17. Let v = d - -13. Sort -5, 1, v in descending order.
v, 1, -5
Let s = -5 + 11. Suppose 4 = 5*m - s. Let o be ((-2)/(-8))/((-5)/(-4)). Put o, m, 5 in descending order.
5, m, o
Suppose 6*z = -z - 35. Sort z, 5, -11, 1 in decreasing order.
5, 1, z, -11
Let m be 2 + -3 + 0 - -23. Let j(t) = -t**3 + t + 4. Let i be j(0). Suppose 6*y + m = 2*y - u, 0 = -5*y - i*u - 33. Sort y, -1, -2.
y, -2, -1
Let a be -1 + 0/(1 - 0). Let w be -2 + 4 + (-1 - 0). Suppose -2*f = -9 - w. Sort a, f, -3 in decreasing order.
f, a, -3
Let k be (-6)/((-1)/((-2)/(-3))). Suppose -3*u + 19 = 4*g, 1 = -2*u - k*g + 15. Suppose 0 = 2*j + 2*j + 16. Sort u, j, 4 in ascending order.
j, 4, u
Let x = -55 - -50. Sort -4, 5, x in descending order.
5, -4, x
Suppose -5*y - 5*a + 31 = 1, 4*y + a - 12 = 0. Let j(d) = d**2 - 5*d - 4. Let c be j(5). Sort y, c, 3 in decreasing order.
3, y, c
Suppose -3*x - 3*z = -5*z + 14, 2*z + 18 = -5*x. Sort 2, x, 5 in descending order.
5, 2, x
Let l = -16 - -20. Put l, -3/5, -0.3 in ascending order.
-3/5, -0.3, l
Suppose -2*m = -6*m - 8. Let r = 10 - 16. Let f = r + 1. Sort -4, m, f in descending order.
m, -4, f
Let x = 51 - 59. Put -1, -1/4, x in decreasing order.
-1/4, -1, x
Let t = 22.81 + -23. Let p = -0.01 + t. Let h = 0 + p. Put 0.4, -2/5, h in descending order.
0.4, h, -2/5
Let s(y) = 2*y - 1. Let i be s(3). Let z be (-18)/2*2/(-6). Put 2, z, i in decreasing order.
i, z, 2
Let a = 31 + -26. Sort 1, 3, a in ascending order.
1, 3, a
Suppose -16 = -4*n - 5*y, -6*n - 8 = -2*n - y. Let k be n/28 - 8/(-28). Sort k, 0, 2/15 in descending order.
k, 2/15, 0
Let o = -135.5 + 136. Sort -0.2, o, 5, 1 in ascending order.
-0.2, o, 1, 5
Let t = 14 + 11. Suppose 4*z = -z - t. Sort z, 5, -2.
z, -2, 5
Let u be ((-57)/38)/((-30)/8). Let z be 1/(-6)*(-16)/(-58). Let a = z + -328/435. Put -2/7, a, u in decreasing order.
u, -2/7, a
Let p be (-16)/(-56) + (-5367)/5236. Let g = p - 2/187. Put g, -4/7, 0.1 in decreasing order.
0.1, -4/7, g
Suppose 0 = -2*j + 12 - 4. Let u be (j/(-8))/((-1)/(-4)). Sort u, -1, 4 in descending order.
4, -1, u
Let u be 2/(-4) + 6/4. Put -5, -4, 3, u in ascending order.
-5, -4, u, 3
Let g = -16 + 31. Let p = g - 3. Let q = p + -7. Put -5, q, -0.3 in ascending order.
-5, -0.3, q
Let y(s) = s + 10. Let j be y(-12). Suppose 0 = 4*r - 3 - 9. Put j, -1, r in decreasing order.
r, -1, j
Let n(k) = -k. Let h be n(-7). Let i(b) = 3 + h*b + b - b**2 + 2. Let w be i(8). Sort w, 4, -3.
-3, 4, w
Let g = -4 + 3. Let m = -251/3 + 84. Sort m, g, 5 in descending order.
5, m, g
Let d = -31 - -30. Let j be (-6)/(-2)*4/6. Suppose 2*f + 2*f = -2*w - 16, 2*f - j*w = -2. Sort 5, f, d in decreasing order.
5, d, f
Let r = 0.061 - 0.061. Put 1, 4, -2, r in descending order.
4, 1, r, -2
Suppose c = 3*w - 0 - 8, -2*w = 2*c + 8. Let g = -2 + 0. Let q(b) = -b - 3. Let j be q(g). Sort j, w, -5 in descending order.
w, j, -5
Let s = 0.15 - 0.27. Let w = 0.02 + s. Put w, 3, -2/7 in decreasing order.
3, w, -2/7
Let o be (-5)/((-15)/(-6) + -3). Sort 3, 0, o, -2 in decreasing order.
o, 3, 0, -2
Let l = -1336/2345 - -3137724/11725. Let f = 267 - l. Let n = f + 6/25. Put 1, 0.4, n in descending order.
1, 0.4, n
Let f be 4/(1 + 8/(-6)). Let y = 12 + f. Sort -2/9, 0.3, y in descending order.
0.3, y, -2/9
Let i = 65 + -67. Put 5, 1, i, 4 in ascending order.
i, 1, 4, 5
Let p = -33 - -100/3. Sort 2, 0.7, p.
p, 0.7, 2
Suppose 0 = -6*o + 3*o - 3. Let x = o + 11. Suppose -2*j + x = -0*j. Put 2, -3, j in decreasing order.
j, 2, -3
Let l(u) = u**3 + 3*u**2 - 5*u - 4. Let p be 2/(-5)*(9 + 1). Let m be l(p). Let q be 1/(-1) - (-1 + -3). Sort q, m, 2 in descending order.
q, 2, m
Suppose -2*x + 5*x + 3 = -3*v, -3*v = -5*x - 21. Put -5, -1, v in decreasing order.
v, -1, -5
Suppose 0 = -5*q - s - 3 + 7, 3*q - 2*s = -8. Sort 5, q, -5 in descending order.
5, q, -5
Let j = 3.2 + 0.8. Sort 1, 0, j in ascending order.
0, 1, j
Suppose 32 = 2*l - 40. Suppose 3 = -3*m + 6, 3*j + 3*m - l = 0. Suppose y + w + j = -w, 0 = -2*y + 2*w + 2. Sort y, 2/3, 5 in ascending order.
y, 2/3, 5
Let q(d) = d**3 - 7*d**2 + 8*d - 4. Let c(n) = -n**3 + n**2 - n + 6. Let s be c(0). Let z be q(s). Let v = 4 - z. Put -2, 2, v in ascending order.
v, -2, 2
Let i = 8 + -14.1. Let m = 6 + i. Let v = 124/91 + -14/13. Put 3, v, m in descending order.
3, v, m
Suppose -2*z - 3*p = -10, 20 = 4*z - 3*p - 0*p. Sort 0.02, z, -5 in increasing order.
-5, 0.02, z
Let p = 9 + -5. Suppose p*w = u + 15, -40 = -5*w + w - 4*u. Sort -5, -4, w in descending order.
w, -4, -5
Let r = -0.7 + 0.3. Let l(v) = -v - 3. Let p be l(-6). Sort p, 1/2, r in increasing order.
r, 1/2, p
Let u = -0.052 + 0.082. Let a = 0.3 - 0. Put 5, a, u in descending order.
5, a, u
Let h(x) = x**2 + 2*x. Let r be h(-3). Suppose 0 = -a + 3*q + 9, 0 = r*a - 2*q - q - 9. Let g = 4 + a. Sort 0, -5, g in descending order.
g, 0, -5
Let o = 8.5 + -8.8. Put -2/13, 2, o in ascending order.
o, -2/13, 2
Suppose f + 1 = -4. Let g be -3*(3 - 2)*1. Sort -1, f, g.
f, g, -1
Let g = -10 - -10.04. Put -1, g, -2 in decreasing order.
g, -1, -2
Let i = 1/154 + -327/2926. Put -1, 0, i in decreasing order.
0, i, -1
Let x = -61 + 65. Let u = -2 + 1. Put -3, u, x in decreasing order.
x, u, -3
Let a(t) = -t**2 - t - 1. Let w be a(-2). Let y = 55 + -54. Put 0.2, w, y in decreasing order.
y, 0.2, w
Suppose 2*y = 3 - 7. Put y, 5, -4 in increasing order.
-4, y, 5
Suppose 2*a = 0, -3 = -q + a + 1. Suppose -3*h - 3*z + 9 = 0, -5 = 3*h - q*h - 3*z. Let p = h + -4. Sort -5, p, 3 in ascending order.
-5, p, 3
Let a = 71/102 + -1/34. Put -4, a, -0.4 in decreasing order.
a, -0.4, -4
Let r be -2 + 3*3/(-9). Sort 1/8, r, 4 in decreasing order.
4, 1/8, r
Suppose 0 = -3*p - 5*t - 5, -3*p + 17 = -2*p - 3*t. Let m = 3 - 2. Put m, 0.1, p in increasing order.
0.1, m, p
Let s = 1.2 - 1.6. Sort -1, -5, s in increasing order.
-5, -1, s
Let h = 92 - 90. Let b be (-3)/(-54)*8/(-2). Sort b, h, -2/7 in increasing order.
-2/7, b, h
Let l be (-20)/6*(-12)/10. Suppose -l*d = d - 20. Let o = 3 + -2. Sort o, -1, d in ascending order.
-1, o, d
Let m be 7 + 1/(-1) + (3 - 5). Sort -4, -3, -5, m in decreasing order.
m, -3, -4, -5
Suppose 4*y + 2*l - 18 = 0, 4*l - 6 = -3*y + 5. Let a be 4/14 + 68/7. Put 1, a, y in descending order.
a, y, 1
Suppose q + 10 = j + 3, q = -j + 1. Suppose 0 = -2*u - j. Let a = -0.3 + -0.2. Put a, 0.1, u in descending order.
0.1, a, u
Let n be 2 - (2 + 4/18). Let o = 0.3 - 0.4. Let c = 36 + -69/2. Sort n, o, c in descending order.
c, o, n
Suppose i + p - 3*p - 8 = 0, 2*i = -3*p + 16. Suppose x + x + 6 = r, -3*x = -r + i. Put -1/5, x, 0 in decreasing order.
0, -1/5, x
Let d(k) = 2*k**2 + 3*k + 3. Let p be d(-2). Put -4, 3, p in ascending order.
-4, 3, p
Let q be 3 - 0 - 3 - -10. Let y be q/35 - 3/(-14). Sort -1, y, -2.
-2, -1, y
Let h = -9 + 10. Let y be (-50)/(-18) - (-2)/9. Let p be 1 + -5 - (-3 + y). Sort h, -1, p in descending order.
h, -1, p
Let j = -742 - -6676/9. Let 