k, -2, r
Suppose 4*n + 4 = 4*w, -5*w - 5*n = 11 + 34. Suppose -10 = 3*i - i. Put i, w, 2 in decreasing order.
2, w, i
Let h be 2/9 + 8/(-9). Let d = -140/3 - -47. Sort 1, d, h in increasing order.
h, d, 1
Let q(i) = i - 15. Let m be q(8). Suppose -4*y + 3*y = 3, 4*b - 3*y = -11. Sort b, 2, m in ascending order.
m, b, 2
Let a(x) = -x**2 - 9*x + 9. Let q be a(-10). Sort q, 1, -3 in increasing order.
-3, q, 1
Suppose -c + 0 = -2. Let u(a) be the third derivative of a**6/120 - a**5/30 + a**4/24 - a**3/3 + 4*a**2. Let y be u(2). Sort -4, c, y in descending order.
c, y, -4
Let s = 2.7 - -0.3. Put 0.3, s, 2 in descending order.
s, 2, 0.3
Let p = 7 - 5. Let b = -4 + p. Put b, 5, -3 in decreasing order.
5, b, -3
Let q be ((-66)/(-4))/(3/(-4)). Let m = -16 - q. Suppose 0 = -m*j + 2*j. Sort -4, j, -3 in descending order.
j, -3, -4
Suppose -u - 2*u + 2*s = -63, 0 = -5*u - 5*s + 105. Sort 4, u, -4 in ascending order.
-4, 4, u
Let w = -6/175 + 79/1575. Let r = w + 2/21. Let a = 0.7 + 0.3. Sort -0.5, r, a in decreasing order.
a, r, -0.5
Let g = 4 + -1. Suppose 0 = 2*d + 4, -g*d - 2 = 5*w - 16. Sort w, -4, 1 in decreasing order.
w, 1, -4
Let n = 10 - 12.1. Let i = -8.1 - n. Let c be 0*(-2)/4 - 0. Put -2/5, c, i in decreasing order.
c, -2/5, i
Let x be (9/30)/((-3)/4). Let o be (-60)/(-6)*2/2. Suppose 5*p = -u + 12 - 0, 3*u - o = -2*p. Sort u, x, 1 in ascending order.
x, 1, u
Let v = 0.17 - -0.03. Let y = 0.8 + v. Put y, 1/2, -3/8 in descending order.
y, 1/2, -3/8
Suppose -h = 3*h. Let q = 1 - h. Put -2, q, -4 in descending order.
q, -2, -4
Let c = -160 - -1758/11. Put -4/7, 0, c in descending order.
0, c, -4/7
Let q = -0.1 - -0.5. Let s = 24 + -10. Suppose 3*j + s = -j + 2*l, 17 = -3*j - 5*l. Sort -2/13, j, q in ascending order.
j, -2/13, q
Suppose 5*u - 2*u = -10*u. Let l(v) = v**2 + v - 2. Let p be l(-3). Let f = -1 + 0.9. Sort f, p, u in descending order.
p, u, f
Let w(f) = -f**2 - 6*f - 5. Let x be w(-4). Put 1, x, -3 in decreasing order.
x, 1, -3
Suppose 30 = 3*w - 12. Suppose -2*p - 2*u - w = 0, -1 - 9 = 2*u. Let n be -2*1 - p - -4. Put n, -2, 0 in increasing order.
-2, 0, n
Let y = 13 - 8. Suppose -y*b = -5*u - 25, -4*b + 3*u = b - 25. Sort 2, 1, b in decreasing order.
b, 2, 1
Let o be (0 + -1 + 2)*3. Suppose o*j = -j. Sort 1, j, -3 in increasing order.
-3, j, 1
Suppose -2*l - 74 + 64 = 0. Sort 0, 6, l in descending order.
6, 0, l
Let w = 8.92 + -8.8. Sort -1/6, -1, w, 1.
-1, -1/6, w, 1
Suppose 4*d - 12 = -0*d. Suppose 32 - 182 = d*m. Let t = m + 348/7. Sort -1, -2, t in increasing order.
-2, -1, t
Let l = -18 - -27. Suppose -s = -0*s - l. Let c be ((-1)/s)/(1/4). Sort c, 0.3, 5 in descending order.
5, 0.3, c
Let j = -18 - -14. Let c = 3 - 0. Sort j, c, 2.
j, 2, c
Suppose l - n + 5 = 0, 14 = -0*l - 2*l + 4*n. Let u(t) = -t**2 - t + 2. Let x be u(-2). Put l, x, -4 in increasing order.
-4, l, x
Let a be 1/(-3) - (-28)/12. Suppose -a*s - 20 = 5*k, -5*k - 4*s - 20 = 10. Put k, 1, 4 in increasing order.
k, 1, 4
Let k be (-88)/(-120) + (-2)/(-6). Let f = 77/30 - k. Put -0.4, 2, f in decreasing order.
2, f, -0.4
Let n = 24 - 30. Put -1, n, -2 in increasing order.
n, -2, -1
Suppose 0 + 0 = 3*v. Put 4, -2/3, v in descending order.
4, v, -2/3
Suppose 4*l - 6*l - 2 = 0. Suppose 0 = 2*n + 3*y + 5, -3*n = 4*y + 4 + 4. Let x be 1*4/(20/15). Put n, l, x in descending order.
x, l, n
Let q = 8.85 - 9. Let g = q + 8.15. Let f = g - 3. Put -0.4, 1/11, f in increasing order.
-0.4, 1/11, f
Let o = 2.05 - 0.05. Let g = o + -1.5. Let k = 0.8 - 1.1. Sort k, 0, g in decreasing order.
g, 0, k
Let i = 2.1 + -2.5. Let z = -0.08 - -4.08. Sort z, i, 0 in increasing order.
i, 0, z
Let q = -2 - -4. Let c be (q - (-3 + 5))/1. Suppose -5*j - 23 = -3. Sort 0.4, j, c.
j, c, 0.4
Let x = -25 - -24.99. Let z = 4 + -8. Put -5, x, z in decreasing order.
x, z, -5
Let b = -1 - -1. Suppose b = -5*u - 20. Let z be u*(-1)/(16/(-3)). Put z, -3, -1/2 in descending order.
-1/2, z, -3
Let r = 23 - 21. Let m = 4 - 4.4. Put r, m, -0.2 in increasing order.
m, -0.2, r
Let s(o) = 3*o - 4*o + 8 - 6 + 0. Let t be s(5). Sort 2, 3, t.
t, 2, 3
Let y be (-50)/(-14)*186/15. Let k = y - 44. Sort -2, -3/2, k in decreasing order.
k, -3/2, -2
Let b = -1 - 7. Sort -4, b, -5 in decreasing order.
-4, -5, b
Let d(z) = -z + 5. Let m be d(6). Let y(c) = c**2 - 11*c + 28. Let l be y(8). Put -2, l, m in increasing order.
-2, m, l
Suppose -2*j + 6 - 14 = 0. Put -5, 2, j in decreasing order.
2, j, -5
Let l = -0.11 - -1.51. Let q = 1 - l. Put q, -1, -3/4 in descending order.
q, -3/4, -1
Let b = -1 + 1.03. Let a = b - 0.43. Sort a, 5, -1/3 in descending order.
5, -1/3, a
Suppose 3*l = 8 + 1. Let q = l - 6. Sort -0.1, q, 2.
q, -0.1, 2
Let h(s) = 3*s**2 + 4*s. Let u(z) = -2*z**2 - 3*z + 1. Let f(d) = 3*h(d) + 4*u(d). Let r be f(0). Let o = 6 - r. Put 0, 5, o in descending order.
5, o, 0
Let s = -34 - -100/3. Sort 0.1, -2/5, s.
s, -2/5, 0.1
Let f = 26 - 22. Put 1/3, f, 1.6 in increasing order.
1/3, 1.6, f
Suppose -2*z - 5*w + 9 = 0, -z = -2*w - w + 1. Suppose -z*b = -b. Let g be (-1)/(-6) - (217/42 - 1). Put g, b, -2 in descending order.
b, -2, g
Let a = -2 + -1. Sort -1, a, 10.
a, -1, 10
Let a(h) = -h**2 - 3*h - 2. Let w be a(-2). Suppose -3*y + 10 - 1 = 0. Suppose -2*t - 2 = -4*t + 2*c, -y*c = -4*t + 7. Sort -3, t, w in decreasing order.
t, w, -3
Let d(p) = p**3 - 14*p**2 - 2*p + 30. Let k be d(14). Put k, 9, 0 in increasing order.
0, k, 9
Let t = -0.07 - -4.07. Let p = 4 + -4. Sort p, 1/5, t.
p, 1/5, t
Let s = 11 - 12. Let r = 0 - -4. Let p be (8/(-14))/(r/(-14)). Put p, -2, s in ascending order.
-2, s, p
Let f = -9 + 16. Let c = f - 9. Sort -2/5, c, -1/6 in descending order.
-1/6, -2/5, c
Suppose i + 0*i - 3*f + 6 = 0, -18 = -i - 3*f. Let n be (-1)/10*i*5. Let x(o) = -o**2 + 2*o. Let h be x(2). Put n, 4, h in decreasing order.
4, h, n
Suppose -3*z = -5*x - 22, -4*x = -7*x - 4*z - 19. Suppose 0 = 7*c - 6 - 15. Sort -3, c, x in increasing order.
x, -3, c
Suppose 4*q + 12 = -4*y - 4, 5*y - q + 26 = 0. Sort 1, 3, 0, y in descending order.
3, 1, 0, y
Let a = 8 + -7.7. Let u = a + -4.3. Let o = -4 + 8. Sort 4/3, o, u.
u, 4/3, o
Let r = 9.9 - -3.1. Put -1, -0.2, r in decreasing order.
r, -0.2, -1
Let s = -1.3 + 0.3. Let j be (5 - (-76)/(-16))/(-1). Put 3, j, s in ascending order.
s, j, 3
Let v = 6/179 + -585/1432. Put -24, 0.4, v, -0.3 in decreasing order.
0.4, -0.3, v, -24
Let s = -13 - -12. Sort s, 0.1, 5 in decreasing order.
5, 0.1, s
Let t(m) = 5*m**2 + 2*m + 11. Let k be t(-3). Sort k, -1, 1.
-1, 1, k
Let m = -8 - -11. Sort m, 4, -2 in decreasing order.
4, m, -2
Let h(w) = -w + 2*w + 7 - 3*w + 1. Let p be h(6). Put 3, -2, p in increasing order.
p, -2, 3
Let f be 8/2 - 0/(-1). Suppose f*r - 3 = r. Let x = 32 + -28. Put x, -5, r in descending order.
x, r, -5
Let n be (-10)/(-5) + 6 + -1. Put n, 4, 0 in descending order.
n, 4, 0
Let c be 6/(-30) + 26/5. Put 3, c, -3, 1 in decreasing order.
c, 3, 1, -3
Suppose 2*j = 8 + 2. Suppose 7 = -j*z + 27, -3*q - z = 8. Let n = -143 + 146. Put q, n, -5 in descending order.
n, q, -5
Let x be (-24)/(-6) - ((-108)/13)/(-2). Put -0.1, x, 2/7 in ascending order.
x, -0.1, 2/7
Let u(c) = -c - 2. Let v be u(6). Let l be (v/6)/((-6)/9). Sort 1, l, -0.1.
-0.1, 1, l
Let c = 50 + -47. Sort -4, c, -8.
-8, -4, c
Suppose 2*u + 6 = 0, 3*v + 16 = 2*v - 4*u. Let r be 1*2/(-4)*2. Let k = r + 0. Sort k, 0, v in increasing order.
v, k, 0
Suppose 4*n = -n - 35. Let o = 5 + n. Let v = -2 - 1. Sort v, o, -5 in increasing order.
-5, v, o
Suppose -4*l + 16 = -0. Let i = -1 + 7. Suppose 4*x + 0*x + i = -w, 4*w - 5*x = 18. Put w, l, -2 in descending order.
l, w, -2
Let g be ((-27)/(-18))/(1/(-2)). Let m be g*2 + (-1 - -4). Sort m, 5, 2 in descending order.
5, 2, m
Let l be 4/6 + (-17)/3. Let j = 114176/7 - 16354. Let v = j - -43. Put v, l, 0.3 in descending order.
0.3, v, l
Let i(f) = -2*f - 2. Let w be i(-4). Suppose 4*u + 5*v - 20 = 0, 4*u + 5 = 5*u + 3*v. Sort w, -4, u in decreasing order.
w, u, -4
Let j(v) = -v**2 + 8*v - 17. Let h be j(8). Sort h, -2, 5 in decreasing order.
5, -2, h
Suppose -3*l + 11*l = 8. Sort 4, 5, 3, l in ascending order.
l, 3, 4, 5
Let c = -153 - -152.95. Put -4, 3, c, -4/7 in descending order.
3, c, -4/7, -4
Let u be 3/(-7) - (-304)/56. Let o = 4 + -4. Put -5, u, o in descending order.
u, 