1 = -i + 4. Put 1, i, k in descending order.
i, 1, k
Let s(c) = -c. Let d be (-6)/(-27) + 29/(-9). Let r be s(d). Let b be -2*(0 + -4 + 2). Put -4, r, b in increasing order.
-4, r, b
Suppose -4*f + 7 = -1. Suppose -2*y + k = f*k + 6, 5*y - k = -15. Sort -2, y, 2 in decreasing order.
2, -2, y
Let x = -5.508 - -0.438. Let u = -0.12 - -0.19. Let k = x + u. Sort -2, 0, k in increasing order.
k, -2, 0
Suppose 0 = -2*z - 2*o, -2*o + 5 = 3*o. Let i be (-3)/6*(-3 - z). Let a be 1/3 - (-126)/27. Sort 3, i, a.
i, 3, a
Let p = -0.07 - 0.33. Suppose 4*q - q = 3. Put p, q, -1 in descending order.
q, p, -1
Let b(u) = u**2 + 8*u + 1. Let m be b(-8). Let f = 3 - m. Suppose 10 + 0 = f*v. Put 4, v, -5 in increasing order.
-5, 4, v
Let b = 1.4 - 0.4. Let m = b + -0.6. Let h = 79/385 + -4/35. Put -1, m, h in increasing order.
-1, h, m
Let j be 1/6*-10 - -2. Sort -3, j, -2/9, 4 in ascending order.
-3, -2/9, j, 4
Let f(a) = a**2 - 7*a - 2. Let d be f(8). Suppose 0 = n - d*n. Let x = 1 + -1.1. Put n, -0.4, x in decreasing order.
n, x, -0.4
Let n(t) = -t + 5. Let k be n(4). Sort k, -4, -5, -1 in increasing order.
-5, -4, -1, k
Let v(f) = -2*f + 8. Let j be v(2). Sort j, 2, -9 in decreasing order.
j, 2, -9
Suppose 4*f - 20 = h + 4, -f - 15 = 5*h. Put -6, -1, h in increasing order.
-6, h, -1
Let f(o) = -3*o + 32. Let q be f(9). Sort 0, -2, 1, q.
-2, 0, 1, q
Suppose i - 5 = 3*g - i, -4*g - i - 25 = 0. Sort -2, -4, g in ascending order.
g, -4, -2
Let f be 1*-3*(1 + -2). Let q be -6 - -2*1 - 1. Let u be (-16)/(-4) + -4 + (2 - 0). Put q, u, f in descending order.
f, u, q
Let m be ((-4)/(-42))/((-1)/3). Let g = 60 + -61.04. Let o = g - -0.04. Sort m, -0.2, o in descending order.
-0.2, m, o
Let u = 8.9 + -9.2. Sort u, -2/5, 10 in increasing order.
-2/5, u, 10
Let r = 0.21 + -0.51. Let x = -0.2 + -1.8. Sort 5, r, x in increasing order.
x, r, 5
Suppose 5*y + 5 - 10 = -5*l, 0 = -3*y - 5*l + 5. Suppose y = 5*c - 33 + 8. Sort 4, 0, c in ascending order.
0, 4, c
Let i = 2.4 + 0.6. Let y = 3.5 - i. Let k = 23/40 + -3/8. Put k, y, -0.2 in ascending order.
-0.2, k, y
Let y be (10/6)/(5/6). Let k be 12/18 - (-10)/3. Sort y, -1, k in decreasing order.
k, y, -1
Let z = 0.98 + -0.08. Sort 5, z, -0.3 in increasing order.
-0.3, z, 5
Let k = -4.43 + 0.43. Sort 2, -5, -0.3, k in increasing order.
-5, k, -0.3, 2
Let c be (-2)/4 + 8/((-96)/(-18)). Sort -3, -4, c in decreasing order.
c, -3, -4
Let m be 6*4/(-16)*2. Sort m, -4, 3 in increasing order.
-4, m, 3
Let o = 6/11 + -25/66. Let c = -52 + 47.2. Let h = -0.8 - c. Sort -0.1, h, o in ascending order.
-0.1, o, h
Let i(t) = 2*t**2 + 2*t + 5. Let u be i(4). Suppose v = a - v - 15, -4*a + u = -5*v. Put 2, a, -2 in descending order.
a, 2, -2
Let y(s) = s**2 - 6*s + 2. Let c be y(6). Let x = 0.2 + -2.2. Let m = -0.3 - 0.2. Put x, c, m in increasing order.
x, m, c
Let o(w) = -w**2 - 6*w - 6. Let i be o(-5). Let m = -5 + i. Let p = -3 - m. Put p, -4, -2/3 in descending order.
p, -2/3, -4
Let v(c) be the second derivative of 0 + 2*c + 1/12*c**4 + 1/6*c**3 - c**2 - 1/20*c**5. Let q be v(2). Put -1, q, -2 in ascending order.
q, -2, -1
Let n = 0.03 - 0.13. Put 0.1, n, -0.3 in decreasing order.
0.1, n, -0.3
Let g = 0.1 - 0.1. Let f = -11 - -11.2. Let a = g + f. Put 1, -4, a in descending order.
1, a, -4
Let o(a) = -a + 11. Let u(m) = 7*m**2 - 2*m + 1. Let b be u(1). Let y be o(b). Put y, 0, -1 in increasing order.
-1, 0, y
Let q be (-30)/40 + 13/(-4). Sort -2, q, 7.
q, -2, 7
Suppose -3*g - 21 + 6 = 0. Put 2, g, 13 in increasing order.
g, 2, 13
Let l = 10 + -15. Let b = 12.1 - 12. Put 1/4, b, l in descending order.
1/4, b, l
Suppose -3*o + 0*u - 2*u - 11 = 0, 4*u - 8 = 0. Let g = 0 - -3. Suppose 0 = -g*v + 4*j - 1, -v - j + 0*j = 5. Sort v, 0, o in ascending order.
o, v, 0
Let n(m) = m**3 + 4*m**2 + 3*m - 1. Let o be n(-3). Sort o, 2, -2, -4 in descending order.
2, o, -2, -4
Let u(r) = -2*r - 8. Let l be u(-5). Suppose 0 = 4*j - 7*j - 39. Let n = j + 9. Sort -5, l, n in decreasing order.
l, n, -5
Let a(b) = 5*b**2 - 2*b + 1. Let n be a(1). Let p = -4 - -29. Let h = p + -24.9. Sort -0.2, n, h.
-0.2, h, n
Suppose -c + 4*t - 7 + 4 = 0, -c - 1 = -2*t. Sort -3, -4, c in increasing order.
-4, -3, c
Suppose -2*g + 58 = -5*h, -4 + 7 = g + 4*h. Suppose -3*r = -v + g, 1 = -r - v - 0. Suppose -5*i + 20 + 2 = 3*w, i = -4*w + 18. Sort 3, r, w in descending order.
w, 3, r
Suppose -8*g + g = -28. Sort -2, -0.4, g in decreasing order.
g, -0.4, -2
Let r = 17 + -16. Put -4, 4, r in descending order.
4, r, -4
Let f = 0.999 + 0.001. Put f, -1, 12 in decreasing order.
12, f, -1
Let m(o) = o**2 - 11*o + 32. Let s be m(7). Sort 12, s, -2.
-2, s, 12
Let h be -2 + 2 + (-8)/(-14). Let n = 564/5 + -114. Put -5, n, h in decreasing order.
h, n, -5
Let r = -0.029 + -6.571. Let d = -6 - r. Let h = -1.6 + d. Put 5, h, -0.3 in ascending order.
h, -0.3, 5
Let g = 206/3 - 68. Let a = 1.2 - 0.8. Put 1/7, a, g in decreasing order.
g, a, 1/7
Let p(l) = -l**2 + 3*l + 4. Let y be p(3). Let d be (y/(-4) + 0)/(-3). Sort -0.2, d, -3/4 in increasing order.
-3/4, -0.2, d
Let x be 16 - (0 - (-6)/3). Let v = x - 14. Sort 2, v, 5 in descending order.
5, 2, v
Let o = 146 - 144. Put o, -3, 1, 0 in increasing order.
-3, 0, 1, o
Let q = -55/26 + 4233/182. Let o = -21 + q. Put 0.5, o, 1 in ascending order.
o, 0.5, 1
Suppose -35 = 5*o - 2*c, -40 = 4*o - 6*c + 2*c. Suppose 0 = 3*z + 9, 4*b = z + 7 + 8. Sort -2, b, o in decreasing order.
b, -2, o
Suppose -4*j + 1 = -3. Suppose 3*k = -k - 20, -n + j = -k. Let f = -17 - -12. Sort -1, f, n in increasing order.
f, n, -1
Let c = -6 - -15. Suppose m = -3*h - c, 4*h + h + 26 = 2*m. Put m, -1, 4 in increasing order.
-1, m, 4
Suppose 0 = -0*d - 2*d. Suppose -3*m - 3*p = 51, -p - 3*p = 5*m + 80. Let f = -13 - m. Put 0.3, f, d in decreasing order.
0.3, d, f
Let z = 19 + -15. Let q = 4 - 11. Let y = -5 - q. Sort y, 3, z.
y, 3, z
Let i = 2 - 8. Let c be -2*(-1 + i/4). Suppose 2*f + c*b + 23 = 0, 8*b = -4*f + 4*b - 28. Sort -3, 5, f in increasing order.
f, -3, 5
Let s(w) = -w**3 - 6*w**2 - 5*w + 7. Let g be s(-5). Let j = g + -4. Let o be (-3 - -4)*1*j. Put 5, 0, o in ascending order.
0, o, 5
Let i = -38 + 34. Let n = 1 + -3. Let p(j) = j**3 - 4*j**2 - 4*j. Let a be p(5). Sort a, n, i in descending order.
a, n, i
Suppose s - v + 6 = -0, 4*s + 4*v = -16. Sort 3, s, 0 in increasing order.
s, 0, 3
Let p be -6*27/36*(-4)/(-6). Sort -1, -9, p, 4 in decreasing order.
4, -1, p, -9
Suppose 0 = 4*g + 4 - 16. Sort -5, 0, 5, g in ascending order.
-5, 0, g, 5
Suppose -259*c + 21 = -252*c. Suppose 2*j - 3*j - 2 = 0. Put c, -1, j in decreasing order.
c, -1, j
Let a = -5.97 + 6. Let b = 5.03 - a. Let n = b - 4.5. Sort -2, -1, n in descending order.
n, -1, -2
Let c be (-2)/((-11 - 4) + 0). Sort -4/9, c, 0 in decreasing order.
c, 0, -4/9
Let z be ((-1)/9)/((-3)/9). Let c = 1.1 + 3.9. Let w = -5.5 + c. Sort 2, w, z in increasing order.
w, z, 2
Let i be (-170)/(-15) - 2/(-3). Let s be i/6*3/(-16). Sort 3, s, -0.5 in ascending order.
-0.5, s, 3
Let l be 2 - 0 - (1 + -1). Sort l, 4, 16 in decreasing order.
16, 4, l
Suppose -8 = -z + 2. Let t = z + -9. Put 5, t, 3 in descending order.
5, 3, t
Let o be (5/3)/((-7)/21). Let v be 45/9*(-2)/o. Sort v, 0.1, -9 in descending order.
v, 0.1, -9
Let a = 19 + -21. Sort a, 0.1, 2/5, -4 in increasing order.
-4, a, 0.1, 2/5
Suppose k + 3 = -0*k. Let a be 3*(-1)/k + 2. Suppose 0 = 2*s - 3*u + 2*u + 9, -s + a*u - 12 = 0. Put s, 5, -2 in descending order.
5, -2, s
Suppose -2*b - 38 = 3*q, 5*b - 10 = q - 3. Let d be (-10)/(-12) - 2/q. Sort d, 1/6, -0.3 in ascending order.
-0.3, 1/6, d
Suppose -4*z + 11 = -9. Suppose z*o = 3*o - 8. Let x be 4 - (-3 + (-2)/(-1)). Put -2, o, x in decreasing order.
x, -2, o
Let p be (-6)/4*5/(30/(-4)). Sort -0.2, 4/5, p, 0.7 in decreasing order.
p, 4/5, 0.7, -0.2
Suppose 2*y - 2 = -4*v, v = 3*y + 5*v - 1. Suppose 26 = o - 5*j, 0 = 2*o - 6*j + j - 27. Let a be ((-2)/(-5))/(o/10). Put -3, y, a in descending order.
a, y, -3
Suppose 0 = -0*h - 2*h. Suppose h = 3*x + 6, 3*x + 7 = -3*i - 5. Sort 7, -3, i.
-3, i, 7
Let o = -1 + 4. Sort 2/11, o, 4, 0.5 in decreasing order.
4, o, 0.5, 2/11
Let p(w) = -w**3 - w**2 + w + 10. Suppose 0 = -5*f + 3*f. Let o be p(f). Let a be ((-6)/(-20))/((-4)/o). Put a, -4, 1 in descending order.
1, a, -4
L