 -127 = 3*i + j, 0 = 8*j - 7*j + 4. Sort -0.4, -3, i, 4/9 in increasing order.
i, -3, -0.4, 4/9
Suppose 4*c = -4*m - 0*c + 4, -c - 8 = -2*m. Sort 4/9, -0.5, -3, m in increasing order.
-3, -0.5, 4/9, m
Let s(y) = -19*y - 7. Let f(u) = -u**2 - 37*u - 13. Let j(n) = -2*f(n) + 5*s(n). Let r be j(11). Put 2/3, 0.2, r in descending order.
r, 2/3, 0.2
Let w(t) = -t - 6. Let u be w(-2). Let h be (-2*(-9)/32)/(3/u). Sort 2/9, -1/5, h in ascending order.
h, -1/5, 2/9
Let v = -742 - -732. Sort 23, v, 2 in descending order.
23, 2, v
Suppose -13 = -2*r + 3*w, -4*r = 26*w - 28*w - 14. Sort 0, -88, r, 9.
-88, 0, r, 9
Let a(w) = -w**2 - 3*w + 2. Let q be a(-4). Let f = 2 + q. Let p = 0 + -1. Put p, -2, f in decreasing order.
f, p, -2
Let x = 0.33 + -0.33. Let p = 0.3 - 0.1. Let m = 52 - 49. Put x, p, m in decreasing order.
m, p, x
Let n be 2/6*(-42)/(-2). Let t be (-23)/n + (-4)/(-14). Let z = 215 - 1074/5. Put -0.3, z, t in increasing order.
t, -0.3, z
Suppose 5*a - 36 + 11 = 0. Suppose c = a*c. Let m be -3 - (c - (0 + -2)). Sort m, -4, -3 in increasing order.
m, -4, -3
Let c = -0.08 - -0.18. Let h = 1.1 - c. Let z = -259 - -2851/11. Sort h, -3, z in increasing order.
-3, z, h
Let q be (-185)/35 + (-4)/(-14). Let k be 0/((2/(-8))/(10/40)). Sort k, q, -1 in increasing order.
q, -1, k
Suppose -3*v + 0*v + 9 = 0. Let t(k) = -29 - 6*k + v*k + 5*k. Let w be t(13). Sort w, 5, -5.
-5, w, 5
Suppose b - 7 = 0, 16*b + 33 = 2*n + 21*b. Suppose 0 = -5*o + o + 68. Sort 0, -5, o, n in ascending order.
-5, n, 0, o
Suppose 4*i + a = -19, 3*a = -3*i - 12 - 9. Suppose 4*y + y = -20. Let j(c) = c**3 + 4*c**2 + 3. Let k be j(y). Put i, -1, k in decreasing order.
k, -1, i
Let o = 3.45 - -0.55. Let b = -3.12 - -0.12. Sort b, 3/2, -1, o.
b, -1, 3/2, o
Let u(z) = -z**2 + 23*z + 177. Let y be u(-6). Let w = 0.6 + -0.3. Put y, 0.4, 2, w in descending order.
y, 2, 0.4, w
Let o = 0.06 - -0.04. Let i = o - -0.9. Let z = i - 0.5. Sort z, -0.5, -3.
-3, -0.5, z
Let b = -2.99 - -3. Let l = b + -0.05. Let c = l - 4.96. Put c, 5, 0.1 in decreasing order.
5, 0.1, c
Suppose 2*s - 3 = 3. Let d(j) = -j**2 + 23*j + 52. Let p be -1 - 3/(-9)*26*3. Let a be d(p). Put s, a, -2 in descending order.
s, a, -2
Suppose -109 = 18*m + 35. Put 11, m, -4, 4 in ascending order.
m, -4, 4, 11
Let h = -183/2 - -89. Let y = 7 + -12. Put y, h, 2/7 in decreasing order.
2/7, h, y
Let o = -59 - -60. Suppose -2*j = -5*y + 4 - 35, -y - 5 = 0. Sort -2, j, o in descending order.
j, o, -2
Suppose -5*o + 10*o = o. Suppose -3*d - 19 = -l, 2*l + 4*d + 3 = 1. Suppose -3*v + 8 + l = 0. Put o, 1, v in descending order.
v, 1, o
Let i = 27 - 24. Let z = 882 - 884. Let r = 0.2 + 0.3. Sort r, i, z in increasing order.
z, r, i
Let h = 275 + -277. Sort h, 1, -0.1, -0.2 in increasing order.
h, -0.2, -0.1, 1
Let l = 0.31 - 3.31. Suppose 1 = 4*g + 9. Put 1, g, l in ascending order.
l, g, 1
Let q be -4*1/(-4) - (-3716)/20. Let l = -186 + q. Let c be (-4)/10*3/6. Sort -4, l, c in ascending order.
-4, c, l
Let a = 28 - 28.2. Let l = -1.953 - 0.047. Sort l, -0.4, a, 1 in increasing order.
l, -0.4, a, 1
Let q = -0.262 + -0.738. Sort -0.1, q, 4/5, 19 in ascending order.
q, -0.1, 4/5, 19
Let y be (10/(-8))/((-3)/12). Suppose -2*z - 44 = 2*z. Let w = -11 - z. Sort y, 1, w in descending order.
y, 1, w
Let a(v) be the first derivative of -v**2/2 - 5*v + 1. Suppose 8 = 4*z, -3*n = -6*n + 5*z - 34. Let p be a(n). Put p, 4, 0 in ascending order.
0, p, 4
Suppose -w = 4*p + 16, -w + 1 = -p + 2. Sort w, 5, -3, 4.
w, -3, 4, 5
Let r(k) = -2*k + 17. Let u be r(5). Let x = 9 - u. Suppose 0 = 4*f - 3*c - 7, -f + x*c - 22 = -5*f. Sort f, -5, -3 in ascending order.
-5, -3, f
Suppose m + 3 = c + 4*c, 0 = -c + m + 3. Suppose 4*n + 9 = 8*a - 7*a, 0 = -4*n - 4. Put -1, c, a in descending order.
a, c, -1
Suppose -u - 4*y - 1 - 3 = 0, -4 = u - 3*y. Suppose 0 = 21*j - 24*j - 177. Let q = -61 - j. Sort u, q, 2 in ascending order.
u, q, 2
Let y = -1 + -1. Let s = -15 - -15.2. Put y, s, 6 in ascending order.
y, s, 6
Let m be (-16)/32 + (-2)/(-4) - 19. Let l be 5/(-10) - -1 - m/(-30). Sort -12, l, -2 in descending order.
l, -2, -12
Let o be 10/(-45) - (-561)/(-27). Sort 2, -0.1, -1, o.
o, -1, -0.1, 2
Let l = 2761 + -2761. Let h(j) = j**3 + 4. Let x be h(0). Sort -0.4, l, x.
-0.4, l, x
Let c = 2121 + -2121.1. Put -80, -2/5, c in ascending order.
-80, -2/5, c
Let f(y) = 7*y**3 + 2*y**2 - y - 2. Let n be f(-1). Let j(m) = m**2 - 11*m + 19. Let p be j(8). Let a = 9 + p. Sort a, -4, n.
n, -4, a
Let p be (-1 - -21)*(-2 + 3). Suppose 31*m - p = 27*m. Put -2, m, -3, 2 in decreasing order.
m, 2, -2, -3
Let q = -3436/7 - -491. Sort -4/5, 0.3, 1/11, q in decreasing order.
0.3, q, 1/11, -4/5
Let x = -3.6 - -4. Let f be 18/14 + (-2 - -1). Let g(l) = l**2 - 12*l + 17. Let q be g(2). Sort x, q, f in descending order.
x, f, q
Let d(w) = -w**2 + w + 1. Let y be d(2). Suppose 28 - 42 = -7*q. Sort -5, q, y in ascending order.
-5, y, q
Suppose 0 = -4*b + 4*f + 48, -23*b + 25*b = f + 22. Put -6, -1, 2, b in decreasing order.
b, 2, -1, -6
Suppose -5*t - 7 - 13 = 0. Suppose 8*k + 2 = 9*k. Let q be (-16 - 0)/(-2) - 0. Put k, q, t in decreasing order.
q, k, t
Let c = 6.2 + -6.7. Let m = 149 - 148.7. Sort 6, c, m.
c, m, 6
Let j = -2.934 - -2.9. Let c = j + -23.966. Put c, -0.1, 0.1 in descending order.
0.1, -0.1, c
Let t be -1 + -1*(-1 - 0). Let g = 4 - 3. Let j(l) = 5*l. Let k be j(g). Sort k, t, 3 in descending order.
k, 3, t
Let a(l) = -16*l**3 - 10*l**2 - 12*l - 2. Let s be a(-1). Sort -1, -2, s, 3 in increasing order.
-2, -1, 3, s
Let q = 10.89 + 42.11. Sort q, 0.1, -1/2 in descending order.
q, 0.1, -1/2
Let j = -1.15 + 71.25. Let l = 71 - j. Put 4, 2, l in ascending order.
l, 2, 4
Let k be ((-6)/10)/((-3)/4). Let h = -6 + 19. Let l = h + -13.4. Put k, 0.2, l in descending order.
k, 0.2, l
Let h = -177 + 179. Put -104, h, -2 in decreasing order.
h, -2, -104
Let d = -2889 + 2888.2. Sort 5, d, 2/11, -0.4 in increasing order.
d, -0.4, 2/11, 5
Let o = -0.03 + -0.17. Let m = 0.12 + 0.18. Sort m, o, 0.05.
o, 0.05, m
Suppose 12*h - 17*h = -2*q + 23, 5*h - 145 = -5*q. Sort 7, 2, q in descending order.
q, 7, 2
Let o = 2602 + -2597. Sort -3, o, -36.
-36, -3, o
Let z = -27/5 - -5. Let l = 0.075 - 0.155. Let f = 0.32 - l. Sort -4, f, z in descending order.
f, z, -4
Let z(h) = h**2 - 5*h + 6. Let b be z(5). Let f be 71/(-568) - 46/16. Put f, b, 5 in decreasing order.
b, 5, f
Suppose x + 4*s - 3 = 0, -4*s - 39 = -5*x - 0. Let q(a) = 2*a**2 - 17*a + 26. Let i be q(x). Let k = -10 - -5. Sort 6, i, k in increasing order.
k, i, 6
Let m = 112 - 81.8. Let f = m - 30. Put 1/3, -0.3, f in ascending order.
-0.3, f, 1/3
Let r = -0.03 + 21.03. Let a = 9 - r. Let o = -7 - a. Put o, -3, -0.4 in descending order.
o, -0.4, -3
Let t(c) = 8*c - 159. Let n be t(20). Put 0, n, -4, 11 in descending order.
11, n, 0, -4
Let j be (-3)/6 - 3/(-6). Suppose v = -3*l - 0*v + 14, j = -4*l - 4*v + 32. Suppose -2*n - 5 = l. Put 2, -14, n in decreasing order.
2, n, -14
Let p(u) = u**2 - 4*u + 6. Let v be p(4). Let k = -9 + v. Let t(g) = g**2 + 6*g + 7. Let m be t(-5). Put k, m, 0 in increasing order.
k, 0, m
Let h = -41 - -77. Let i be (-4)/10 - h/(-15). Let r be ((-66)/(-21) + -4)/(1/7). Sort 0, r, i in descending order.
i, 0, r
Suppose 7 = 5*l + 5*z + 27, 4*l + 3*z = -15. Let n be (2/1)/(3/(-6)). Sort l, 6, 3, n in ascending order.
n, l, 3, 6
Let u(o) = -4*o**3 - 4*o**2 + 2. Let d be u(-1). Suppose f = 3*f - 2. Sort f, d, -2 in ascending order.
-2, f, d
Let o = -20.73652 - 0.23248. Let l = -0.031 + o. Let t = -21 - l. Sort t, 2, -3.
-3, t, 2
Let m be (-8)/(-20) - (-18)/(-20). Let g = m - -1/6. Let t = -30 - -29.6. Sort -1/7, g, t.
t, g, -1/7
Let b(x) = 4*x + 1. Let u be b(5). Suppose 7*v = 4*v - u. Let d be (-1)/(-2) - v/(-6). Put -0.5, -5, d in decreasing order.
-0.5, d, -5
Let z(r) = -r**3 - 6*r**2 + 6*r + 2. Let w be z(-7). Let i be (-2)/w - (-48)/(-27). Put 1, 0, i in descending order.
1, 0, i
Let u = 8 + -6. Let i be (-2 - 4/(-3))*3/u. Sort 2, -3, 0.4, i.
-3, i, 0.4, 2
Let x(j) = -j + 3. Let u be x(6). Suppose -52*s + 53*s - 1 = 0. Put u, s, 4 in ascending order.
u, s, 4
Suppose 0 = -3*z + z - 5*t + 23, z - 10 = -2*t. Sort -0.43, -3, z.
-3, -0.43, z
Let d = 12 - -8. Let z be 2/(-8) - (-45)/d. Sort z, 5, -16 in descending ord