d = g + -11. Let f = -11 + d. Put -3, 5, f in decreasing order.
5, -3, f
Let u = -4548/13 + 350. Let s = 668/2925 - 2/325. Sort s, -0.5, u in decreasing order.
s, u, -0.5
Let w be (-2)/14 + (-44)/(-14). Suppose 0*f + 2*f = 2. Suppose -2*l - f = 1. Put w, l, 1 in decreasing order.
w, 1, l
Let l be ((-2)/3)/((-10)/(-6)). Let o = 7/4 + -5/2. Put 0.5, o, l in decreasing order.
0.5, l, o
Let i = 2 - -4. Suppose 2*s = 2*u + 8 + i, 4*u = -4*s - 4. Sort 3, -3, u in descending order.
3, -3, u
Let j = -6.03 - -6. Let i = 2.97 - j. Let h = -3.5 + i. Put -0.3, h, 5 in decreasing order.
5, -0.3, h
Let w = 657/5 + -131. Sort w, -2/3, -5 in descending order.
w, -2/3, -5
Let v be (-846)/30 - (-3)/15. Sort v, -2, 2 in ascending order.
v, -2, 2
Let w(k) = k + 12. Let r be w(-9). Let u be -1 - 2*21/r. Let q be (-10)/u - (-2)/(-3). Put -2, -1, q in descending order.
q, -1, -2
Let m = -0.8 + -3.2. Put m, 6, -0.4 in decreasing order.
6, -0.4, m
Let w be (5*-1)/(3/(-3)). Let n = -2 - 2. Sort -5, n, w in decreasing order.
w, n, -5
Let s = -0.5 + 1. Let z = 4892/15 - 326. Sort z, -5, s in increasing order.
-5, z, s
Suppose 0 = 4*a - a - 9, 2*a = -4*x + 30. Sort x, 0, -4 in descending order.
x, 0, -4
Suppose 0 = -3*a + 4 + 2. Suppose a*x - 3 = x. Put -3, 0, x in decreasing order.
x, 0, -3
Let q(i) = -2*i - 11. Let j be q(-8). Put -3, j, 1 in ascending order.
-3, 1, j
Let d = -3/29 - 107/87. Sort -22, 0.1, d in descending order.
0.1, d, -22
Let v(f) = -f**3 - 20*f**2 + 24*f + 64. Let d be v(-21). Sort d, -1, -8 in decreasing order.
d, -1, -8
Let g = 0.25 + -0.35. Sort -2/7, 7, 0.2, g in decreasing order.
7, 0.2, g, -2/7
Let m(r) = -r**2 + 6*r - 7. Let a be m(5). Suppose -y = -4*y - 3*x - 15, -5*x = 4*y + 22. Sort y, a, 2.
y, a, 2
Let n = 4 + -4. Suppose -2*k - 3*w + 13 = 0, n*k + 19 = -4*k + 3*w. Let d be (-2)/k + (-26)/14. Put -5, -2, d in decreasing order.
d, -2, -5
Let f = 158 - 4581/29. Let z = -33/116 + f. Sort 2/5, z, 0.3.
z, 0.3, 2/5
Suppose 5*v - 5*i = 35, -i - 2 = 3*v - 11. Suppose 2*k = -2*k + 60. Let p be k*-1*(-2)/6. Sort p, 3, v.
3, v, p
Let p = 4 - 3.6. Let m = p - -3.6. Let q = 0.3 - 0. Put -3/8, m, q in decreasing order.
m, q, -3/8
Let t = 54 + -54.62. Let m = 0.12 + t. Sort -4, 4, m in descending order.
4, m, -4
Let h = -3.907 - -0.027. Let d = 0.12 - h. Sort -2/19, d, 1/3 in ascending order.
-2/19, 1/3, d
Let z = 0.1 + -0.2. Let w(l) = -l + 7. Let v be w(11). Sort z, -3, v in ascending order.
v, -3, z
Let z be (-4)/4 - (0 + 1). Let u be 2 - (z*1 + 1). Suppose -w - 3*w = 3*b + 8, -13 = -w + u*b. Sort 0, -2, w in decreasing order.
w, 0, -2
Let w = -5 + 7. Put -5, w, 3 in decreasing order.
3, w, -5
Let t(g) = -g - 3. Let n be t(1). Sort 5, n, -1 in ascending order.
n, -1, 5
Let j(z) = -z**3 + 8*z**2 - z + 10. Let b be j(8). Suppose y - 2 - b = 0. Suppose 0 = -y*u + 27 - 7. Sort -5, u, 2 in decreasing order.
u, 2, -5
Let o = -20 - -12. Let b = o + 11. Sort 1/10, b, -2.
-2, 1/10, b
Let q be 1 + 4/2 + -4. Let y = -5 + 7. Let l = -26 - -21. Sort q, l, y in descending order.
y, q, l
Let b(n) = 5*n + 2*n + 3*n**3 - 8 - 7*n**2 - 4*n**3. Let w be b(-8). Sort -1, -4, w in descending order.
w, -1, -4
Let c = -2.4 - -0.4. Let s be 2/3*(-12)/(-16). Sort c, 5, s in decreasing order.
5, s, c
Let u(v) be the second derivative of -v**5/20 - 2*v**4/3 - 7*v**3/6 - 3*v. Let i be u(-7). Put i, 4, 2 in decreasing order.
4, 2, i
Suppose 8 = -4*g - 0. Let n = -2 - g. Let z = 37/6 - 173/30. Put n, 2, z in increasing order.
n, z, 2
Let x(c) = -c**3 - 3*c**2 - 2*c - 1. Let a be x(-3). Suppose 4 + 21 = a*i. Suppose 4*t - 2*h = h - 9, -4*h = 4. Sort i, 1, t in increasing order.
t, 1, i
Let j be -3*((1 - 0) + -2). Let m be j/(0 - (-6)/(-16)). Let t = m - -11. Sort 1, 5, t in descending order.
5, t, 1
Let k = 24 - 24.4. Let a be 2/7 - 12/189. Sort k, a, -4 in descending order.
a, k, -4
Suppose 3*m + 35 = 7*s - 3*s, -3 = -s - 5*m. Let q = s + -8. Let r(v) = v**3 - v + 2. Let u be r(q). Put u, 5/2, -1 in decreasing order.
5/2, u, -1
Suppose 7*q = 4*q. Suppose -7*j + 18 = 2*j. Suppose 4*s + 3*f = -q*f - 3, 5*s - 2*f - j = 0. Sort 5, s, -5.
-5, s, 5
Let c be ((-2)/(-4))/((-12)/(-8) + -1). Sort c, -2/5, 1/6 in ascending order.
-2/5, 1/6, c
Let m = 20 - 62/3. Let t = -4.0648 - 0.0052. Let r = -0.07 - t. Sort r, m, 0 in increasing order.
m, 0, r
Suppose 3*f - 15 = -3*p, 4*p + 3*f = 7*f + 20. Put 6, p, -3 in increasing order.
-3, p, 6
Let d(p) = 2*p + 51. Let q be d(-24). Let g be (-34)/10 - 2/(-5). Put g, q, -2 in descending order.
q, -2, g
Let m = -4.03 + 0.03. Let x = m - 0. Let g be (-2)/(-6)*-6*1. Sort -0.3, x, g in ascending order.
x, g, -0.3
Suppose -115 = -5*p - 115. Let u be (0/(-3))/(0 - 1). Let h = u + -4. Sort h, p, 2 in ascending order.
h, p, 2
Let c(q) = q**3 - 6*q**2 + 3*q + 6. Let v be c(5). Let j = -5 + 7. Sort v, -1, j in decreasing order.
j, -1, v
Let g = 301 + -5721/19. Put 1/4, 5, g in decreasing order.
5, 1/4, g
Let u = -25 - -22. Sort -4, 2/5, u.
-4, u, 2/5
Suppose -3*j + 22 = -5*w + 69, 15 = 2*w - 5*j. Sort w, -1, -5, 2 in increasing order.
-5, -1, 2, w
Let v = 0.8 + 2.2. Let q = v - 3.5. Let p = -6 - -2. Sort 0.3, p, q.
p, q, 0.3
Let m = 0.053 + -0.553. Put 15, m, 0.1 in increasing order.
m, 0.1, 15
Let p = 1.7 + -2. Let b = -0.1 + p. Let c = b + 0. Sort c, 5, 0.
c, 0, 5
Let q be -12 + (1 + 0)*-3. Let o be ((-8)/5)/(6/q). Let i = -7 + o. Put 5, i, 1 in decreasing order.
5, 1, i
Suppose -5*r = 4*y - 3, r - 21 = -3*r + 3*y. Put r, -4, 4 in increasing order.
-4, r, 4
Let z be 220/35 + (-2)/7. Suppose 5*m + z = -9. Let g(r) = 5*r**3 - 2*r**2 + 1. Let s be g(1). Sort m, -2, s in decreasing order.
s, -2, m
Let o be 4 + -6 - -6*1. Sort -5, o, -4 in decreasing order.
o, -4, -5
Suppose -2*k - 3*k - 5 = 0. Let l(s) = -2*s**2 - 2*s - 1. Let n be l(-2). Put n, k, 2 in ascending order.
n, k, 2
Let q be (7 - 4)*(-8)/(-9) - 3. Sort -1/6, q, 5, 4 in ascending order.
q, -1/6, 4, 5
Let w = 20 - 18. Put w, -0.5, -1/4 in descending order.
w, -1/4, -0.5
Let o = 32 - 36. Suppose 0 = 4*s + 16, -2*d - 4*s - 20 = -0*s. Put o, d, -0.3 in descending order.
-0.3, d, o
Let p = -2.6 - -2.3. Sort -13, -2/3, p.
-13, -2/3, p
Suppose -r = 4*c + 3, -2*c = r - 0 - 1. Put c, 0, -1 in decreasing order.
0, -1, c
Let d = -72 + 142. Let z be ((-5)/d)/((-2)/8). Let a = -0.4 - -2.4. Put 0, z, a in decreasing order.
a, z, 0
Let l = -14 + 14. Put 3, -4, l in ascending order.
-4, l, 3
Let p = -0.3 - -0.8. Let z = 0.16 + 8.84. Let i = 7 - z. Sort p, 3, i in descending order.
3, p, i
Suppose -3*i + 12 = 0, y = -y - 5*i + 26. Suppose -l - 3*l + 27 = y*r, -r + 20 = 5*l. Sort 3, -4, r.
-4, 3, r
Let a = 0.8 + 3.2. Let t = -2 + 2. Let v = a + t. Sort -1/3, v, -5 in decreasing order.
v, -1/3, -5
Let t be (-2)/(-5) + (-54)/(-15). Suppose -4*w - 30 = 2*b, -5*w = 3*b + 19 + 21. Sort -3, t, w in ascending order.
w, -3, t
Suppose -5*t = -2*p + 228, -3*t - 129 - 14 = 5*p. Let q be 6/(-21) + t/(-14). Suppose -2*n - 5 = 3. Put -3, n, q in decreasing order.
q, -3, n
Let n be ((-4)/(-10))/((-6)/5). Let d(p) = -2*p - 2. Let s be d(-3). Sort n, -5, s in ascending order.
-5, n, s
Let k = 10 - 9.97. Put 4, 0.1, 2, k in decreasing order.
4, 2, 0.1, k
Let f = -11 + 10.79. Let d = f - -0.11. Put d, 2/3, 2 in decreasing order.
2, 2/3, d
Suppose 8*y - 24 = 9*y. Let o = y - -21. Put 1, -5, o in ascending order.
-5, o, 1
Let g be 57/11 + 32/(-176). Sort -5, g, 2 in increasing order.
-5, 2, g
Let x(k) = -k**2 + 8*k - 26. Let r be x(5). Put -0.3, -3, r in decreasing order.
-0.3, -3, r
Suppose -3*p + 4 = -2*p. Sort -5, p, -2 in ascending order.
-5, -2, p
Let w(m) = -2*m + 19. Let y(v) = -3*v + 29. Let o(i) = 8*w(i) - 5*y(i). Let j be o(7). Put -3/2, j, -1 in descending order.
j, -1, -3/2
Let s(r) be the second derivative of r**4/12 + r**3/6 + r**2 + 2*r. Let a be s(0). Suppose -a*i + 0 + 4 = 0. Put -5, i, 3 in descending order.
3, i, -5
Let f(c) = c**3 + c**2 - 4. Let k be f(0). Let l = k + 1. Let m = l + 2. Sort m, -3, -4 in decreasing order.
m, -3, -4
Let a = -25 - -19. Suppose -4*u - j = 0, 3*u - 5*j = 5*u. Sort u, a, 0.1 in decreasing order.
0.1, u, a
Let i = -82 - -983/12. Let f = -1 - -1. Sort i, -1, f in increasing order.
-1, i, f
Suppose -3 = -6*z + 33. Put 3, z, -3 in decreasing order.
z, 3, -3
Suppose 0*b = 3*b + 3. Let h be (4/(