 = -0.8 - -0.77. Let k = i - -2.43. Let d = k - 2. Put 3, d, -4 in ascending order.
-4, d, 3
Let z be 65/15 - (-2)/(-6). Suppose 2*x = 6 + z. Put x, -6, -3 in decreasing order.
x, -3, -6
Let d = 5 + -6. Let y = 1.2 + d. Sort -1, 0.3, y in descending order.
0.3, y, -1
Let f(o) be the first derivative of -o**2/2 - 6*o - 2. Let s be f(-7). Sort 3, s, 4 in descending order.
4, 3, s
Let a(k) = -k**3 - 8*k**2 - 6*k + 3. Let u be a(-7). Suppose b = 7*b - b. Sort b, 5, u in decreasing order.
5, b, u
Let u be 15/(-15)*(-1 + 5). Put 1, -5, u, 4 in decreasing order.
4, 1, u, -5
Let q = -3 + -1. Let w = q - -3. Let f = 246/7 - 35. Put w, f, 1/4 in descending order.
1/4, f, w
Let t = 21 + -20.9. Sort t, -4, 0.3, -5 in decreasing order.
0.3, t, -4, -5
Let k = -18 + 18. Sort k, -5, -2 in decreasing order.
k, -2, -5
Suppose 1 = -g + 3, 0 = 3*w - 2*g + 16. Put -7, w, 1 in increasing order.
-7, w, 1
Suppose x = -3*x + 12. Suppose -2*l - 3 = -x*l. Let z be 82/(-26) + 30/195. Sort l, -2, z in decreasing order.
l, -2, z
Let t(i) = -3*i + 69. Let m be t(23). Sort m, 1, -4 in decreasing order.
1, m, -4
Let s(n) = n**3 - 12*n**2 - 14*n + 15. Let l be s(13). Sort 1, 4, l.
1, l, 4
Let a = 1.2 - 0.2. Let g = 0.59 + -0.09. Sort a, g, -2/7.
-2/7, g, a
Let l be 4 - ((-2)/(-1) - 1). Let j = 0.13 + -5.13. Put l, 5, j in decreasing order.
5, l, j
Let a = 6.13 + -0.13. Let s = a + -5. Sort 2, -1/4, s.
-1/4, s, 2
Let t be ((-4)/(-10))/(102/(-30)). Let l be 58/10 - 8/(-40). Suppose 0 = 4*s - 4*q - 12, l*s = 2*s - 3*q - 16. Sort s, 5, t in descending order.
5, t, s
Let a = 2 - 0. Suppose -3*o + a*r - 11 = 3*r, -4*o - 2*r = 18. Suppose -2*t - 4 + 14 = 0. Sort t, o, -4 in decreasing order.
t, o, -4
Let i be -10*1/(-3 + 1). Let y = -12 + 7. Sort i, -2, y in decreasing order.
i, -2, y
Suppose -s = s. Suppose 0 = 4*o - w + 19, s*w + 3*w = 2*o + 7. Sort o, -3, 3 in increasing order.
o, -3, 3
Let w = 4519/3 - 1488. Let s = w + -18. Put 3, 0.4, s in decreasing order.
3, 0.4, s
Let m = 1 + 3. Suppose -m*a = 20, 2*w + 3*a - 22 = 7*a. Suppose 0*f - 4*f - 12 = 0. Sort f, 5, w.
f, w, 5
Let z(s) = 2*s**2 - 6*s - 6. Let g be z(4). Sort 1/3, 1, g in descending order.
g, 1, 1/3
Let v(a) = -a**2 + 3*a + 4. Let q be v(3). Suppose 2*r = b + 1, 5*r - 25 = -b - q*b. Put r, 3, 0 in increasing order.
0, r, 3
Let q = -1 + 5. Suppose 11 + q = -5*n. Sort 4, 0, n in ascending order.
n, 0, 4
Let g be -3*(-3)/18 + 0 + 1. Put -1.4, -3, g, 0.2 in decreasing order.
g, 0.2, -1.4, -3
Suppose 5 + 10 = -5*h. Let b be (-1)/(-2)*8/(-5). Sort 2/3, b, h in ascending order.
h, b, 2/3
Let y be (-3)/(-24) + (-1)/(-8). Put 5/4, y, 0.5 in ascending order.
y, 0.5, 5/4
Let b be ((-1)/12)/(2/(-30)). Sort 2, b, -6 in decreasing order.
2, b, -6
Let h = -112 - -110. Put h, -3, 4 in ascending order.
-3, h, 4
Let a be (-3)/(-18) - (-5)/42. Suppose -n + 4*q = 2, 3*n + 7 = -4*q + 33. Let b be (-1)/3*n/16. Put b, a, -1/3 in decreasing order.
a, b, -1/3
Let l = -92/7 - -13. Sort l, 3/2, -0.5 in descending order.
3/2, l, -0.5
Suppose 3*x = n + 21, 2*x + 0*x + 14 = -4*n. Put 5, 1/2, n in ascending order.
n, 1/2, 5
Let s be ((-2)/(-2) - 2)*1. Let b be (0 + 2)/((-8)/(-44)). Let p(y) = -y**3 + 10*y**2 + 12*y - 13. Let f be p(b). Sort s, f, -4 in decreasing order.
s, f, -4
Suppose 0 = -5*j - 5. Suppose 32 = -z + 3*z - 4*u, 4*z - 4*u - 48 = 0. Suppose -2*l + 0 = z. Put 0, l, j in decreasing order.
0, j, l
Let s = -0.74 + 0.84. Let g be (-8)/(-5)*2/8. Let b = 2 - 6. Sort b, s, g in increasing order.
b, s, g
Let k(r) = -4*r - 16. Let f be k(-5). Put 5, 18, f in increasing order.
f, 5, 18
Let a = -20 + 41. Let y = a + -23. Put -3/5, y, -1/8 in decreasing order.
-1/8, -3/5, y
Let h = -23 - -10. Let p = -11 - h. Sort 0.2, 4, p in increasing order.
0.2, p, 4
Let o = 3.4 + -4. Let g = 0.1 + o. Let p = 165/2 - 81. Sort -2/9, g, p in decreasing order.
p, -2/9, g
Let u = -17 - -16. Sort u, -3, 1/3.
-3, u, 1/3
Let z = -0.95 - -0.75. Let k be 10/16 + (-1)/2. Put 0.2, k, z in increasing order.
z, k, 0.2
Let x = 87 + -92. Sort x, -2, -4, 13.
x, -4, -2, 13
Suppose -5*h - 2*c - 24 - 56 = 0, -5*h - 95 = 5*c. Let w = h - -9. Sort -1, w, -3 in decreasing order.
-1, -3, w
Suppose 4*i - 2 = -5*g + 2, -i = 5*g - 16. Let r(y) = -y + 6. Let m be r(5). Suppose -3*o + 14 = -m. Sort o, -1, g in decreasing order.
o, g, -1
Let i = 0 + 0. Let w = 0.4 - i. Put w, -6/11, -5 in increasing order.
-5, -6/11, w
Let j = 2.8 + -3.3. Sort -0.2, 6/11, j in descending order.
6/11, -0.2, j
Suppose -4*q - 5*o + 13 = -14, -5*q - 5*o = -30. Suppose 3*y + 31 = -4*m, y - 3*m - 3 = -m. Let x be (-8)/(-2)*y/4. Sort q, -4, x in decreasing order.
q, -4, x
Let g = -50 - -46. Sort -2, g, -3 in increasing order.
g, -3, -2
Let l be (-5)/((-1600)/(-1242)) - -3. Let o = 9/32 + l. Sort -0.05, -1/10, o in decreasing order.
-0.05, -1/10, o
Let n be (1*3)/(3 + -2). Suppose n*i = 3*d + 6*i + 9, 4*d + 5*i + 13 = 0. Put d, 1, -5 in descending order.
1, d, -5
Let m be (-1 - 90/(-33)) + -2. Let h = m - -17/22. Sort h, 2, 2/19 in decreasing order.
2, h, 2/19
Suppose -3*m + 8*m = 0. Let j(k) be the second derivative of k**5/20 + k**3/6 + k**2 - 2*k. Let f be j(0). Put -1, m, f in ascending order.
-1, m, f
Let b be 1 - ((-3 - -2) + 5). Sort 2, -2, b in decreasing order.
2, -2, b
Let x be 2 - 1*-24*6/(-76). Put -1, 0.1, x, 0.4 in decreasing order.
0.4, x, 0.1, -1
Let h = 42 + -42. Put 1, h, 14 in increasing order.
h, 1, 14
Suppose 3*w = -3*z + 132, 3*z - 4*w = 2*z + 64. Let p = z - 191/4. Let y be (3/24)/(2/(-6)). Put p, -2/3, y in ascending order.
-2/3, y, p
Let w = -5621845/3066 + 12834/7. Let v = w + 1/73. Let t = 2/105 - -4/15. Sort v, -5, t.
-5, v, t
Suppose 5*u + 3*o = -17 - 0, -5*u = o + 9. Let v be -1 + -4 - (0 + u). Sort 3, v, 1.
v, 1, 3
Let h = 198 + -199. Suppose -4*f - 2 + 26 = 0. Suppose -v + 20 = -f*v. Put v, 1, h in descending order.
1, h, v
Suppose 5*o + 15 = -2*l + 2*o, 5*o + 25 = 4*l. Put l, 2, 3 in descending order.
3, 2, l
Let f = -1.95 - 0.08. Let r = -0.33 + 0.3. Let k = f - r. Put -1, k, 1 in descending order.
1, -1, k
Let i = 0.53 + -0.47. Sort -3, i, 1, 4.
-3, i, 1, 4
Let w = 18 + -19. Let l = -11 + 15. Sort -5, w, l in descending order.
l, w, -5
Suppose -4*y = -5*k + 15, 3*y + 5*k + 25 = -y. Let o = -1 + 1. Let s be (-3 - (2 - 2)) + o. Sort s, 4, y in decreasing order.
4, s, y
Let k = -198/119 - -21/17. Let m = -4 + -5. Let o = 9.1 + m. Put 1, k, o in increasing order.
k, o, 1
Let g = 16.9 - 11.9. Sort 1, -0.3, g in ascending order.
-0.3, 1, g
Let q(x) = -x**2 - 14*x + 17. Let n be q(-15). Put n, 5, 4 in descending order.
5, 4, n
Suppose -2*s + 2 = 0, -40 + 7 = -m - 5*s. Let l be (2 - -1) + m/(-10). Let c = 3 - 2.5. Sort c, l, 2/5 in ascending order.
l, 2/5, c
Let k be ((-16)/6 - 0)*-3. Suppose -k*p = -3*p. Put p, 4, 1 in descending order.
4, 1, p
Let i(g) = 4*g**2 + 2*g - 1 - 1 - 1. Let l be i(2). Suppose l + 3 = -5*t. Put 3, -5, t in increasing order.
-5, t, 3
Let c = -12.2 + 12. Put -4, -1, c in decreasing order.
c, -1, -4
Suppose -12 = -4*m, -27 = -3*k + 2*m - 3*m. Suppose 35*y = 30*y - 10. Sort k, -1, y in decreasing order.
k, -1, y
Let a(q) = -q**3 + 7*q**2 - 7*q + 2. Let r be a(6). Let p be ((-30)/(-45))/(r/18). Put 3, -1, p in ascending order.
p, -1, 3
Let x = -49 + 54. Sort 3, x, -5, 2 in increasing order.
-5, 2, 3, x
Suppose -178 + 190 = 2*w. Sort w, 4, -1, 2 in ascending order.
-1, 2, 4, w
Suppose 4*z = 9 + 11. Sort 3/5, z, -3.
-3, 3/5, z
Let u be ((-16)/24)/((-4)/(-18)). Let m = 0.3 + -0.2. Put 0.5, m, u in decreasing order.
0.5, m, u
Let z = 57 - 56.97. Sort -0.6, -2, z in descending order.
z, -0.6, -2
Suppose -2*i + 2 = -6. Let u = -1.3 + 1. Let s = -2.3 - u. Sort i, 5, s.
s, i, 5
Suppose b = -5*a + 80, -3*b = 7 + 8. Suppose -16 = 4*j + l, j - 3*l - 2*l = a. Sort 1, -4, j in ascending order.
-4, j, 1
Let u = 191 + -195. Sort -3, -2, 5, u in ascending order.
u, -3, -2, 5
Suppose -6*r - 3*x + 1 = -2*r, 0 = -2*r + 5*x - 19. Suppose 3*c - 12 - 3 = 0. Sort 4, c, r.
r, 4, c
Let n(x) = x**3 - 6*x**2 - 1. Let o be n(6). Let y(z) = -z**3 + 11*z**2 - 11*z + 7. Let i be (40/4 - -3) + -3. Let b be y(i). Sort o, 1, b.
b, o, 1
Let q be ((-15)/12)/((-2)/8). Sort 3, 4, q in decreasing order.
q, 4, 3
Let i = -0.15 + -1.45. Let f = 2 + i. Let m = 9/145 + 4/29. Sort 5/4, f, m in decreas