/18)/1*27/90. Put 8, -2/11, l in decreasing order.
8, l, -2/11
Let t = -10 - -6. Let i be ((-9)/45)/((-2)/(-5)). Put -3/2, i, t in decreasing order.
i, -3/2, t
Suppose 7 = b + u, 5*u - 2 = 3*b + 1. Let x = b - -1. Let g be 5/15*3/4. Put 0.1, g, x in decreasing order.
x, g, 0.1
Let g(c) = -c**2 - 3*c + 2. Let q be g(-3). Suppose 0 = -k - 3*k - 12. Let i be 34/(-5) - k/(-15). Put -2, i, q in increasing order.
i, -2, q
Let x be (4/8)/(2/(-4)). Suppose 0*s - 3*s - 4*w - 15 = 0, -w - 4 = s. Let u be x + 1/4 - s. Sort 1, 0, u in ascending order.
0, u, 1
Let a(m) = m**3 - 10*m**2 + 2. Let t be a(10). Suppose n = -4*k + 18, -2*n + t = -3*k + 10. Sort -3, -2, n.
-3, -2, n
Let p be -2 + (10 - (2 + -3)). Suppose 149*v - 1083 + 338 = 0. Sort v, p, 0 in descending order.
p, v, 0
Let u(h) be the first derivative of -h**4/4 + h**3/3 + h**2/2 - h + 1. Let x be u(0). Suppose -938*m = -944*m + 6. Put 5, m, x in ascending order.
x, m, 5
Let l = 10 - 11. Let a = l - -5. Let v be (-5)/20*a/6. Sort -1/2, -2, v.
-2, -1/2, v
Suppose 2*r = -2*x - 5 - 5, 2*r = 4*x - 10. Suppose -10 = -2*t, 0*t = -s + 3*t - 18. Sort x, s, 1 in descending order.
1, x, s
Let m be (-4 - -4)/(4 + -5). Let h = 9 + -8. Let r = 9 - 6. Put m, h, r in descending order.
r, h, m
Let t(o) = 4*o - 36. Let z be t(9). Sort -3, z, -2 in decreasing order.
z, -2, -3
Let l = -1832 + 1836. Sort -0.1, -4, l, -6.
-6, -4, -0.1, l
Suppose 2*g + 8 = -2*d, 5*d + 66*g - 65*g = -4. Sort 4, d, -56, 5 in ascending order.
-56, d, 4, 5
Suppose 5*n - 20 = 2*a, a = 5*n - 18 + 3. Sort 1, a, 20, -1 in decreasing order.
20, 1, -1, a
Let y = 348 + -348. Let f = -673.06 - -679. Let k = 0.06 + f. Sort -5, k, y.
-5, y, k
Suppose 3*f = -0*k - 2*k + 12, -4*k = 0. Suppose -3*h - 2*p = -16*h + 61, 3*h = -2*p + 19. Sort -1, f, h in descending order.
h, f, -1
Let s(b) = -b**3 - b**2 + 4. Let h be s(0). Let q = -5 + h. Suppose -10*z + 0 = -0. Put z, -5, q in ascending order.
-5, q, z
Let p(t) = -13*t**2 - t. Let z be p(-1). Let b = -18.35 - -0.35. Let s = -13 - b. Sort 2/3, z, s.
z, 2/3, s
Let p(r) = -r**3 - 3*r**2 + 2*r + 3. Let o be p(-3). Suppose 0 = z + i, 2*i - 3 = 5*z + 4*i. Sort -2, z, o in ascending order.
o, -2, z
Let c = -2 + -1. Let n be ((3 - 91)/2)/(5/(-10)). Let h be 16/n - 9/(-11). Sort 3, h, c in decreasing order.
3, h, c
Suppose w + 4 = 3*n, 10 = 4*w + w. Suppose 4*s - 2 = 2*h, -5*s - 17 = 6*h - n*h. Let b(u) = -u**3 + 9*u**2 + 21*u + 5. Let j be b(11). Sort j, -4, s.
j, -4, s
Let b = -0.1336 + 125.1336. Put b, -3, -0.2, -1 in increasing order.
-3, -1, -0.2, b
Let t = 24 - 19. Suppose -t*s = 10*j - 13*j - 10, -3*j = -s - 10. Put s, 4, -3, -4 in descending order.
s, 4, -3, -4
Let n = -22 - -20. Let h be 2/22 - (-356)/(-44). Put n, h, -3 in descending order.
n, -3, h
Let z = -4.0286 + 0.0286. Sort -0.3, z, 85 in decreasing order.
85, -0.3, z
Suppose -9*a = 82 - 46. Sort 3, -2, a, 6 in ascending order.
a, -2, 3, 6
Let w = 263 + -264. Put w, -2, -0.5 in descending order.
-0.5, w, -2
Let y = 1 - -8. Suppose y*d + 10 = 2*o + 4*d, 0 = 2*d. Suppose o*k = k. Sort 2/5, k, -1 in decreasing order.
2/5, k, -1
Let v be (-1)/(-2)*1*6/1. Put -2, v, 5 in increasing order.
-2, v, 5
Suppose -3*c - 2*q = -20, -3 - 31 = -5*c - 3*q. Sort c, 5, -2.
-2, 5, c
Let u = 1/12 + 5/12. Let l = 1.7 - 19.7. Let q = 15 + l. Sort q, 2/9, u in ascending order.
q, 2/9, u
Let h = -0.1 - -0.14. Let m = h - -2.96. Suppose 2*l - 9 = 5*l. Put -0.3, l, m in ascending order.
l, -0.3, m
Suppose 5*o + 28 + 1 = -2*d, 5*o + 15 = 5*d. Let h = 7 + -3. Put h, -1, o in descending order.
h, -1, o
Suppose 2*v = v - 4, -83 = -5*p - 3*v. Let h = p - 15. Let w be (-10)/15*30/h. Sort w, 6, 5 in increasing order.
w, 5, 6
Let f = -58.5 - -58.1. Sort f, -2, 1 in ascending order.
-2, f, 1
Let d = -1407 + 1405. Sort d, -19, 3.
-19, d, 3
Let q = -349 - -340. Let h = 1 + 3. Let y be h - (-9)/(q/8). Sort -3, y, -10 in ascending order.
-10, y, -3
Let c = 103 - 108. Suppose 0 = -5*r + r, -3*r = -5*s. Sort c, s, 3 in descending order.
3, s, c
Let y = 4.58 - 4.78. Put 1, -2, 3, y in ascending order.
-2, y, 1, 3
Let n be 2/(-6) + (-33)/9. Let h = 8 + n. Let z = -419/33 - -147/11. Sort 2/9, h, z in decreasing order.
h, z, 2/9
Let r(v) = -v**3 + 7*v**2 + 2*v - 10. Let h be r(7). Let t be 2 + (-2)/h*14. Let d = -9 - t. Put 1, -1, d in decreasing order.
1, -1, d
Let k = 9 - 5. Let f = -4 + k. Let g = -5 + f. Sort 0.4, -2/7, g in descending order.
0.4, -2/7, g
Let s be (28/(-98))/(30/(-14))*-5. Put s, 11, 1 in ascending order.
s, 1, 11
Let u = -49.156 - -0.256. Let f = 50 + u. Sort f, 0.5, 2/15 in descending order.
f, 0.5, 2/15
Let w = 18 + -23. Let g = 0.038 - 0.238. Sort w, g, -2.
w, -2, g
Let h = -58 + -24. Let g = h - -67. Sort g, 1, -2 in increasing order.
g, -2, 1
Suppose -19*b + 12 + 7 = 0. Suppose 4 = 3*m - 2. Sort b, -4, m, 5 in increasing order.
-4, b, m, 5
Let u = 4 - 6. Suppose -3*h - 6 = 3*b, -133 = 2*h + 5*b - 120. Put -4, h, 3, u in descending order.
3, h, u, -4
Let n(j) = -j + 4. Let s be n(3). Let l(r) = 2*r**3 + 4*r**2 + 4*r + 5. Let u be l(-2). Sort u, 0, s in decreasing order.
s, 0, u
Suppose -11 + 5 = 2*g. Sort 8, g, -4, 1 in descending order.
8, 1, g, -4
Let x = 224.7 - 225. Let g be -2*(-1 - 0) - 1. Let s be g/(-2) + 1/3. Put x, 1, s in decreasing order.
1, s, x
Let t = -16.41 - -16. Let n = t + 2.41. Sort 2/3, n, 0.06.
0.06, 2/3, n
Suppose -3*q = 12, -5*i - 5*q + q = -29. Sort 2, 7, i in decreasing order.
i, 7, 2
Let p(l) = l**2 - 7*l + 7. Let w be p(5). Let s be (-2)/(1*w/(-6)). Let h be ((-6)/(-3) + 0)/(-1). Sort h, s, 1/4 in descending order.
1/4, h, s
Let k(l) = -l - 11. Let q be k(-12). Let z be q*5/(5/(-3)). Put z, -5/3, 3 in ascending order.
z, -5/3, 3
Let v = -0.8 + -2.2. Let o = -5.111 - -0.741. Let y = 4.3 + o. Sort y, v, 0.5 in descending order.
0.5, y, v
Let p = 6566 - 6570. Suppose -2*q = 2*q + 36. Sort 4, q, -2, p.
q, p, -2, 4
Suppose -3 = -4*m + 17. Let g be 0/(((-8)/2)/(48/72)). Sort -2, g, m.
-2, g, m
Let o = -105 - -114. Suppose 13*h = o*h. Put -8, 4, h in descending order.
4, h, -8
Suppose -3*d - 5 = 3*b + 4, 5*b - 3*d = 25. Sort 8, -4, 6, b.
-4, b, 6, 8
Let k = 318 + -7316/23. Let r(a) = -a**3 - 10*a**2 - 11*a - 9. Let f be r(-9). Let s = f + -4. Put k, s, -2/11 in decreasing order.
s, k, -2/11
Let i = 16 + -21. Let u(m) = -m**3 - 7*m**2 - 9*m + 9. Let r be u(i). Sort -5, r, 0, 3.
-5, 0, 3, r
Let q = 77 + -76. Suppose 0*l = 3*l + 12, -5*h - 37 = 3*l. Sort 0.4, h, q in decreasing order.
q, 0.4, h
Let v = -1 - 0. Suppose 3*k - 1 = 2. Let b(q) = 9*q - 4. Let g be b(k). Put v, g, 0 in increasing order.
v, 0, g
Let r = 17 - 11.5. Let q = r - 5. Put 0, q, -0.05 in decreasing order.
q, 0, -0.05
Let h = 3383 + -23680/7. Let z be (-1)/(-28) + (-4)/14. Put h, -4, -0.5, z in increasing order.
-4, -0.5, z, h
Let d = 39 + -34. Sort 1/4, d, 2/17 in ascending order.
2/17, 1/4, d
Let x be 2 + 3 + -2 + -8. Suppose -5*i = 5*r - i - 25, 5*i - 20 = -4*r. Let f be (2/(-6))/(10/30). Put r, x, f in decreasing order.
r, f, x
Let v = 0.1 + -0.14. Let p = -502.8 - -504.8. Sort 1, v, p.
v, 1, p
Suppose 106 = r + b, -r - 2*b = -6*r + 502. Sort r, -1, 1 in increasing order.
-1, 1, r
Let v(j) = 3*j + 10. Let h be v(-3). Sort h, -1, -37 in descending order.
h, -1, -37
Let d = -1040 - -1035. Put -1, 2, d in ascending order.
d, -1, 2
Let z = -8 - -13. Let m = 24 + -16. Suppose -3*g = -m*g. Sort z, g, -2 in ascending order.
-2, g, z
Let s = 2.65 + 0.35. Let i = s - 5. Put i, -4, 1/3 in increasing order.
-4, i, 1/3
Let v be 1/2 - 8/16. Suppose 0 = p + 3*p + 16, v = -4*s + p - 4. Put 0, s, 7 in increasing order.
s, 0, 7
Let s = 0.15 + -0.43. Let c = -1.72 + s. Sort -0.1, 1/10, c, -0.2 in increasing order.
c, -0.2, -0.1, 1/10
Let p = 27.1 + -31.1. Let q(h) = -h - 2. Let v be q(-6). Let d be (-1)/v - (-15)/36. Sort -2/9, d, p in increasing order.
p, -2/9, d
Suppose -2*n - 6 = 6. Let z = 10 + n. Let o be z/(-14) - 1 - -1. Put 0.4, o, -8 in ascending order.
-8, o, 0.4
Suppose -4*i - 4*q + 20 = 0, -3*i - 5*q = -6*q - 27. Put 0, -1, -2, i in increasing order.
-2, -1, 0, i
Let v = 248 + -254. Let q = 0.01 - 0.03. Let z = q + 3.02. Sort v, 0, z.
v, 0, z
Let x be (-1)/((-2)/(1 + -5)). Suppose -4*s - 19 = 3*k, -14*k = -12*k + 2. Let z be (-1 + 1)*s*(-6)/(-48). Sort z, x, 13.
x, z, 13
Let 