 8 = -3*f, 0 = -4*c + r*f + f + 10. Put c, 2, -1 in ascending order.
-1, c, 2
Let t be (-2)/(-5) + (-24)/(-465). Let c = t + -120/403. Let h = 2 + -2.4. Put c, h, 0.3 in increasing order.
h, c, 0.3
Let k(m) = -2 + 72*m - 69*m + 3. Let u be k(-2). Sort -2, u, 2 in ascending order.
u, -2, 2
Let p(r) = -r**3 + 13*r**2 + 9*r + 5. Let j(g) = g**3 - 12*g**2 - 9*g - 6. Let i(w) = -4*j(w) - 3*p(w). Let k be i(10). Put k, 0.5, 0.2 in descending order.
0.5, 0.2, k
Let c be -2 + 1 + (8 - (1 - -2)). Sort -5, -1, c, 0 in ascending order.
-5, -1, 0, c
Let y be (-48)/27 - (4 - 6). Put 0.2, -4, y in ascending order.
-4, 0.2, y
Let q be 898/1610 + 8/28. Let o = q - 1/23. Put 2/11, o, -2 in increasing order.
-2, 2/11, o
Let b = 37.4 + -37. Sort 0.3, b, -1/2, -11 in increasing order.
-11, -1/2, 0.3, b
Let u(s) = -s**3 - 17*s**2 - 16*s - 3. Let c be u(-16). Let n = 3 + -1. Suppose 0 + 10 = -n*x. Sort x, c, 5 in increasing order.
x, c, 5
Suppose 0 = c - 2*c - 15. Let d = c + 14. Let l = -8 + 4. Sort d, l, 0.4.
l, d, 0.4
Let h = 78 + -77.7. Sort 2/7, -3, h.
-3, 2/7, h
Let r be (3/1)/(5/20*-18). Put 5/6, 2/23, r in decreasing order.
5/6, 2/23, r
Let i = 2.36 - 0.36. Sort i, -2, 0.2 in ascending order.
-2, 0.2, i
Let n(l) = 2*l**2 - 5*l + 3. Let q be n(3). Let u be (-2)/q*6/8. Let i = 0.9 - 0.5. Sort 0.2, u, i in increasing order.
u, 0.2, i
Let w(a) = 10*a**2 + 11*a + 9. Let y(i) = -3*i**2 - 4*i - 3. Let m(h) = -2*w(h) - 7*y(h). Let n be m(-6). Put 4, -5, n in increasing order.
-5, n, 4
Suppose 0 = 4*g - m + 61, m = 4*m - 15. Let f be (-18)/g - 6/21. Let i = f + -1. Sort i, 3, 4.
i, 3, 4
Let z = -1/66 + -125/462. Let u = 3 + -3. Let w = 1 - u. Put 0.4, w, z in descending order.
w, 0.4, z
Let w = 88 + -84. Let r = -0.3 + 1.3. Sort r, -0.03, w.
-0.03, r, w
Let y = 7 + -4. Suppose -3*x = -y*g + 12, x + 12 = -2*x. Sort -4, 1, g.
-4, g, 1
Let u = -0.42 + 0.44. Put 2, u, 5 in descending order.
5, 2, u
Let r = -1 - -2. Suppose -3*i + 37 = 5*o + 94, 4*o + 26 = -i. Let w = 10 + i. Sort w, 3, r in increasing order.
w, r, 3
Let k = -4 + -1. Let z = -3 - k. Let b = -8 + 5. Sort z, -5, b.
-5, b, z
Let o = 16 + -15.89. Let t = o - -4.89. Sort 0.3, t, 1/5 in ascending order.
1/5, 0.3, t
Suppose -3*j + 0 = 12. Let t = -2.2 + 2.7. Put t, -5, j in ascending order.
-5, j, t
Let j(u) = 7 - 3*u**2 - 2*u**2 + 9*u + 5*u**2 + 9*u**2 - u**3. Let f be j(10). Sort f, 0, 7 in increasing order.
f, 0, 7
Let p be ((-9)/(-15))/((-2)/(-10)). Sort -5, p, 5 in descending order.
5, p, -5
Let c = -1 - -2. Let x = 20 + -10. Let z = x - 8. Put c, z, -3/2 in descending order.
z, c, -3/2
Let b = 0.7 - 0.75. Let r = b + 1.05. Sort r, -1, 0.3.
-1, 0.3, r
Let q(o) = o**2 - 5*o - 16. Let c be q(7). Put -3, 2, c in increasing order.
-3, c, 2
Suppose -2*i - 2*i = 3*x + 20, 4*x = -i - 18. Put -6, 0, x in decreasing order.
0, x, -6
Suppose 3*h - 12 = 3*j, -5*j - 2 = -2*h + 6*h. Sort h, -1, -5.
-5, -1, h
Suppose 3*o - o = 28. Suppose -o*k - 4 = -10*k. Put 2/5, 0.1, k in descending order.
2/5, 0.1, k
Suppose -5*d = -3*c + 26 + 7, 0 = 3*c + 5*d - 33. Suppose 0 = -3*s - c - 4. Let b be (-6)/(-4) + 3/6. Sort b, s, -3 in descending order.
b, -3, s
Let z be (10/4)/((-1)/(-2)). Suppose -10 - 50 = 5*r. Sort z, 3, r in decreasing order.
z, 3, r
Let y = -50.2 - -50. Sort y, 1/6, 4.
y, 1/6, 4
Let m = 68 - 40. Suppose 3*d - 8*d + m = 2*v, -4*v + 5*d = 4. Let x = -4 - -1. Sort v, 2, x in descending order.
v, 2, x
Let w be (-8)/(-10)*50/5. Suppose 2 + w = -o - 5*v, 2*v = -5*o - 4. Let f = 1 + o. Put f, -5, 4 in ascending order.
-5, f, 4
Let f = -0.07 - -4.07. Suppose -u + l = 5, u + 11 = -0*l + 4*l. Sort f, 0.5, u.
u, 0.5, f
Suppose 0 = 5*d - p - 12, 5*d = -5*p. Suppose -4*a + 9*a + 5 = 0. Let u be (6/2)/(12/16). Sort d, u, a in ascending order.
a, d, u
Let y = -11 + 15. Suppose 0*b + 2*i = -b + y, -3*b + 4*i = 18. Let m(u) = u**2 + u. Let o be m(b). Put -2/7, o, 0.1 in increasing order.
-2/7, 0.1, o
Suppose 0 = -4*t - 1 - 3. Sort 2, t, 3 in descending order.
3, 2, t
Let t = 0.1 - 0.2. Sort t, 0.1, -1.
-1, t, 0.1
Let u be (-18)/(-14) - 4/14. Let t(m) = 3*m + 1. Let q be t(u). Put q, 1, -12 in descending order.
q, 1, -12
Let d = -9.1 - -9. Sort 0.1, -3, d.
-3, d, 0.1
Let p = -0.1 + -0.1. Sort p, -4, -1, -3 in descending order.
p, -1, -3, -4
Let t = 77 + -69. Put -1, t, 4 in descending order.
t, 4, -1
Let h = 32 - 30. Sort 4, h, 5 in increasing order.
h, 4, 5
Let t(q) = -3*q + 53. Let y be t(16). Sort -5, -2, -3, y in decreasing order.
y, -2, -3, -5
Let a = -223/285 - 1/57. Sort 0.5, a, 0, 0.4.
a, 0, 0.4, 0.5
Let h be (3/(-6))/((-2)/8). Sort h, 2/5, -8.
-8, 2/5, h
Let q(n) = n**2 - 13*n + 17. Let w be q(12). Put w, 9, 2 in decreasing order.
9, w, 2
Let f = 13 - 11. Suppose 0 = -0*m - 2*m - f. Sort m, 4, -4 in ascending order.
-4, m, 4
Let a(z) = z + 4. Let h = -23 - -19. Let b be a(h). Sort b, 5, 3 in increasing order.
b, 3, 5
Let i = -1.2 + 5.2. Put -2/15, i, 0.5 in decreasing order.
i, 0.5, -2/15
Let n = 0.04 + 2.16. Let o = 1.8 + n. Sort -0.3, 1/9, o in descending order.
o, 1/9, -0.3
Let k = -29 - -29.1. Let l = k - -0.2. Let q = 1 - -3. Put -2, l, q in ascending order.
-2, l, q
Let m(l) = -27*l + 269. Let b be m(10). Let p = -19 - -11. Let c = p + 2. Sort c, 4, b in decreasing order.
4, b, c
Let c = 1.6 - 1.4. Sort -1/5, -0.07, c in ascending order.
-1/5, -0.07, c
Let n = -2 + 7. Suppose -18 - 18 = -4*k. Suppose -2*h = h + z + 9, -3*h + 5*z + k = 0. Put n, 2, h in ascending order.
h, 2, n
Let y = -0.06 - 0.04. Let q = 0.1 - 0.1. Let p = y + q. Sort 0.2, -0.3, p in decreasing order.
0.2, p, -0.3
Let s(b) = -b**2 - 5*b. Let d be s(-5). Let n be (d/1)/(8/(-4)). Let f(g) = -g**3 + 6*g**2 + 7*g - 3. Let x be f(7). Sort -4, n, x.
-4, x, n
Let p(b) = b**3 - 8*b**2 + b - 7. Let k be p(8). Let r be 16/88 - (k + -1). Let s = -0.8 + -3.2. Put -5, r, s in ascending order.
-5, s, r
Let n = -0.2 - -0.2. Let v be -3 - 2/3*-3. Let b be 3/(6/2) - -4. Sort n, b, v in descending order.
b, n, v
Let i = 17.8 + -2.8. Let c = i - 15.5. Put c, 0, -0.4 in decreasing order.
0, -0.4, c
Let x = 6 - 4. Sort 13, x, -3 in ascending order.
-3, x, 13
Let v = -1 - -1. Suppose 3*f = c - v*c + 13, -4*c = -4*f + 12. Let a = c + -5. Sort 3, 2, a in decreasing order.
3, 2, a
Let x be -1 - ((-4)/16 + 0). Sort x, -3, -1/4, 0 in ascending order.
-3, x, -1/4, 0
Suppose -2*b + 5*o + 22 = 0, -4*b + 2*o - 2 = -14. Sort b, -66, 5 in ascending order.
-66, b, 5
Let h(g) = g**2 + 7*g - 10. Let z be h(-9). Put z, -0.2, 4 in descending order.
z, 4, -0.2
Suppose -2*y + y = -2. Suppose 21*i + 10 = 16*i. Put -1, y, i in ascending order.
i, -1, y
Let j(b) = b**2 + 3*b + 2. Let h be j(-3). Suppose 5*c = -5*f + 35, -5*f - 11 = c - 38. Suppose -1 = -5*s - 21. Sort h, s, f in increasing order.
s, h, f
Let o = 0.03 + -0.23. Let r = -7 - -6. Sort 0, o, r.
r, o, 0
Let s = 8 + -9. Sort -10, -5, s in descending order.
s, -5, -10
Suppose 0 = 2*i - 8, -2*i + 1 = 2*f - 15. Let z be 20/9 + (-12)/54. Sort z, 0, f in decreasing order.
f, z, 0
Let p = -100/63 - -13/9. Let a = 9.9 + -10. Let i = 0.76 - 0.66. Sort p, a, i.
p, a, i
Let r = 0.01 - -0.49. Put -5, 3, -4, r in decreasing order.
3, r, -4, -5
Let a be 2/(-4) - 1/(-2). Let s = -2 - a. Let r = -9 - -11. Sort r, s, 1.
s, 1, r
Let t be 112/42 + 1 + -1*4. Put t, -2/13, -1 in decreasing order.
-2/13, t, -1
Let b = -416/11 + 38. Let q = 1.3 + 3.7. Put q, 2/15, b in descending order.
q, b, 2/15
Let v(d) = d**3 + 2*d**2 - 4*d. Let j be v(-3). Let x be 40/(-15)*3/(-2). Let n = x - 6. Put j, n, -3 in ascending order.
-3, n, j
Let h = 22 - 27. Let z = h - -2. Let r = 8 + -4. Sort 3, z, r in decreasing order.
r, 3, z
Let d = 5.13 - 0.13. Sort -8/7, 0, d.
-8/7, 0, d
Let z = -29 + 26.7. Let u = -0.7 + z. Let b be -1 + 1/(1 - 3). Sort b, u, -2.
u, -2, b
Suppose -40 = 3*q + 5*w, 2*w = q - 2 - 3. Suppose -3*k + 33 - 21 = 0. Suppose 0 = 3*h - 4 + 16. Sort k, h, q in decreasing order.
k, h, q
Suppose -9*t + 5*t = 20. Let i = -2 - t. Put 2, -4, i in increasing order.
-4, 2, i
Let d = 4.9 + -5. Put -0.3, -4, d in descending order.
d, -0.3, -4
Let g = -11 - -14. Let k(w) = w**2 - w - 2. Let y be k(-3). Suppose 5*f + y = g*b + 3, 0 = -3*f + 3. Put 2, b, 1 in descending order.
b, 2, 1
Suppose -3*w + 7*w = 0. Suppose -4 = 5*z - 3*z - 3*i, 3*z + i - 16 = w. Let 