t - f + 12 = 0. Put -2, t, n, 1 in descending order.
t, 1, -2, n
Let i be (-2 + 3)*-6 + 15. Suppose 0 = -a + 4*a + i. Let f be -2*(-4)/(-8)*-4. Put f, 1, -5, a in increasing order.
-5, a, 1, f
Suppose -3*x + 57 = -0. Suppose f = -3*i - 20, 4*i - f + 30 = 22. Put -2, x, i in decreasing order.
x, -2, i
Suppose 66 + 4 = 7*r. Let h be 44/(-385)*r/4. Sort 0.5, h, 9.
h, 0.5, 9
Let g be 1644/7535 + 8/44. Put -0.2, 0.059, 2/7, g, 1 in ascending order.
-0.2, 0.059, 2/7, g, 1
Let x = -4693 + 4693.1. Sort -2/9, x, -2/11, -1, -3/4 in decreasing order.
x, -2/11, -2/9, -3/4, -1
Suppose -3*j + 2*n = -4, -5 = 2*j + n + 4. Let m be 1122/(-99) - 5/3. Let g(i) = i**3 + 14*i**2 + 18*i + 57. Let s be g(m). Sort s, 1, j in increasing order.
s, j, 1
Let o = -429.67 + 430. Sort -4, -0.16, o in decreasing order.
o, -0.16, -4
Let a(t) = t**2 + 17*t - 107. Let x be a(-22). Suppose -1 = 2*u + 3. Put 1, -4, x, u in decreasing order.
x, 1, u, -4
Let y be -26*11/88 - (-2 - -1)*3. Sort y, 4, -1/11, -3 in ascending order.
-3, y, -1/11, 4
Suppose -74*t + 76*t - 11 = j, 0 = 3*t + 5*j + 3. Sort 1, t, -33, -11, 6 in descending order.
6, t, 1, -11, -33
Suppose -124 = -39*n - 202. Sort -12, n, -6/7, 3.
-12, n, -6/7, 3
Let t = -0.1 + -0.1. Let z = 113551 + -1249057/11. Put 2/3, z, 0.2, t in increasing order.
t, 0.2, z, 2/3
Suppose 0 = -w - 0*w - 5. Suppose -40*j + 138 = 6*j. Sort -3, j, -17, w in decreasing order.
j, -3, w, -17
Let j be (-113)/(-1808) + 2/(-32). Sort 6, j, -35, -3 in ascending order.
-35, -3, j, 6
Let u = -858 + 862. Suppose u*i - y = 1, -y = i + i + 7. Put i, -3, -24 in ascending order.
-24, -3, i
Let u = 1812 + -1194. Suppose -o - 155 = -z, 4*o - z - 2*z + u = 0. Sort o, 4, -4 in increasing order.
o, -4, 4
Let c be 8 + -8 - 5 - -11. Let b be 6/18*(6 + 18/c). Let m(v) = -v**3 - 4*v**2 - v - 2. Let p be m(-4). Sort p, 5, b, -3 in ascending order.
-3, p, b, 5
Let p = -132 + 186. Let g = 211.5 - 157. Let o = g - p. Sort -1.2, -5, o, -2/5.
-5, -1.2, -2/5, o
Let i = -2492 + 2235.2. Let k = i + 257. Put -2, k, 3/4 in decreasing order.
3/4, k, -2
Let l = 492 + -496. Put l, -1, -158, 5 in increasing order.
-158, l, -1, 5
Let n be 2 - (-1 + 3) - (-47 + 38). Sort -5, n, 6.
-5, 6, n
Suppose 20 = 23*s - 13*s. Suppose -3*h = 4*g + 7, s*h + 38 = 4*g - 0*g. Put -3, 1, h in decreasing order.
1, -3, h
Suppose 2*h = i - 7, -23*i - h + 19 = -19*i. Let p(s) = -s**2 - 12*s - 10. Let l be p(-11). Suppose 0*v = -v + l. Put -8, v, i in increasing order.
-8, v, i
Suppose 11*m - 28 = -3*m. Let n = -0.18 + 0.28. Let r = n - -0.2. Put 5, 0.1, m, r in ascending order.
0.1, r, m, 5
Let d be (-34)/8 - ((-92)/(-16) - 6). Let r(c) = -c**3 - 2*c**2 + 5*c - 9. Let h be r(d). Sort h, -5, 4, -21 in increasing order.
-21, -5, h, 4
Let a(z) = z**2 + 12*z + 42. Let m be a(-12). Suppose 0 = -29*o + 15*o - m. Put 0.5, 3, 0, o in increasing order.
o, 0, 0.5, 3
Let m be 482/(-4338) - (-1718)/(-9). Put m, -1, 32 in descending order.
32, -1, m
Suppose -54*h = -52*h - 2*s + 8, -5*h = -s + 12. Sort h, 27, 29, -1 in ascending order.
h, -1, 27, 29
Let u = -0.4 - -0.3. Let z(y) = -y**3 - 3*y**2 + 5*y - 13. Let l be z(-5). Let w be (736/460)/(l/(-10)). Sort w, u, -1 in decreasing order.
u, -1, w
Suppose 7*r - 3*r = 12. Let g be (-1 + 0)/(r/9). Let i(z) = 2*z**3 + 4*z**2 - 11*z - 24. Let u be i(-2). Sort 2, u, g in ascending order.
g, u, 2
Let y(j) = j + 5. Let f be y(0). Let l be 1/(((-31)/(-6727))/((-9)/(-21))). Sort 0, l, f.
0, f, l
Let w be 2 - 2 - (-8 + 6). Suppose -3*i + 0 = w*f + 7, -8 = -2*f + 2*i. Let x be (-24)/8 + (f - -1). Sort 3, x, -4.
-4, x, 3
Let q = -636 + 636. Let t be 3/(-1)*(6 - 5). Let a be 4 - (-7)/(28/(-36)). Sort q, 3, t, a in decreasing order.
3, q, t, a
Suppose -6 - 2 = -4*v + 4*i, 2*i = 4*v - 10. Let d(x) = -x**2 + 599*x - 4727. Let m be d(8). Sort v, m, -1 in descending order.
v, m, -1
Let c = -11 - -16. Let n = -1468 - -1472. Put n, -6, c, 0.5 in decreasing order.
c, n, 0.5, -6
Let g(y) = -3*y**2 + 140*y + 72 + 151*y - 170*y. Let s be g(41). Let a = 4 - 6. Sort s, a, 5.
s, a, 5
Let o be (-126)/21 + 33/9. Let v = 0.1 - 0.2. Let m = v - -0.3. Put -3, o, m in decreasing order.
m, o, -3
Let w(u) = -6*u + 68. Let r be w(11). Let o = -7.3 + 7. Let g = -8.2 - -8.3. Sort o, -1, g, r in descending order.
r, g, o, -1
Let q(c) = 4*c + 256. Let y be q(-68). Put -20, 2, y in increasing order.
-20, y, 2
Suppose 0 = -l + 2*v + 13, 5*l - 17*v - 5 = -19*v. Sort -6, -2, l, 28 in descending order.
28, l, -2, -6
Suppose d - 605 + 595 = 0. Suppose -3*o - 2 = -17. Put 2, -4, d, o in descending order.
d, o, 2, -4
Let u be ((-1)/(-3))/((-21)/189)*2/(-3). Let j(z) = z**3 + 4*z**2 + 3*z + 4. Let v be j(-3). Sort v, u, 29.
u, v, 29
Let q = -757 - -759. Suppose q*b - 7 = -p - 0*p, 3*b = 4*p + 27. Put p, 9, 1/5 in decreasing order.
9, 1/5, p
Let x = -44.01 + 47.9. Let z = 0.11 + x. Let o = 501 + -501.3. Put -1/5, z, o, -4 in increasing order.
-4, o, -1/5, z
Let j(x) = 10*x**2 + 1706*x + 713. Let q be j(-170). Let r be (-1)/((-2)/6)*-1. Sort r, 3, q.
q, r, 3
Let h = 0.03 + -2.03. Let q = 15/2 + -8. Let p be (-2)/(-13) + 5*(-5)/(-1950). Sort h, -3, q, p in descending order.
p, q, h, -3
Let v = -1366 + 1361. Put 3, v, 1, -2/25 in decreasing order.
3, 1, -2/25, v
Let u = -2410 - -2414. Sort -1/3, 5, -0.03, 3/7, u.
-1/3, -0.03, 3/7, u, 5
Let j(q) = 8*q + 2. Let v be (9/(-6))/(6/4). Let f be j(v). Let r = 2/97 + -493/388. Put r, 3/2, f, 3 in decreasing order.
3, 3/2, r, f
Let n be (22/(-4))/((-2)/(-4)). Suppose 3*w + 4*i - 10 = 0, -347*w + 351*w - 3*i + 20 = 0. Sort n, 5, w.
n, w, 5
Let b be 1488569/4610 - 2/(-20). Sort -2, b, 2 in descending order.
b, 2, -2
Let y = -3 - -5. Let i be (81/(-54))/(21/(-32)). Let j = -13/7 + i. Sort y, -2/15, j, -1/6 in descending order.
y, j, -2/15, -1/6
Suppose 9*v = -4*v + 11*v. Suppose 20 = -4*k + 4, 4*d - 4*k - 16 = v. Sort -66, d, 5, -3 in descending order.
5, d, -3, -66
Suppose -53*z - 2*x - 17 = -50*z, 0 = 2*x + 2. Let r be 5 + -2 + 0 + -1. Sort 5, z, -19, r.
-19, z, r, 5
Let y be (-9)/(-7) - ((-12)/(-21))/2. Suppose -4*o - 3*c = 0, -c = 2*o - 0*c - 2. Put o, -24, y in decreasing order.
o, y, -24
Let m = 3893 + -3891. Sort -8/9, m, 1/3.
-8/9, 1/3, m
Let y = -27.8 - -9.9. Let p = y - -8.3. Let a = p + 10. Sort -0.2, -6, -4, a in decreasing order.
a, -0.2, -4, -6
Let m be 7/14 - 214/264. Let i = 2/33 + m. Let g = 180 + -183. Sort g, i, -0.2 in ascending order.
g, i, -0.2
Let a = -2.9385 + -2.0615. Let r be (8/(-60))/((-1)/10). Let v = 8 - 8.3. Put v, -2/3, r, a in descending order.
r, v, -2/3, a
Suppose 0 = -4*s - 3*a + 13122, -28*s + 5*a - 9825 = -31*s. Put 4, s, 5 in descending order.
s, 5, 4
Suppose 4*x + f - 93 = 0, 0 = -2*x + 21*f - 23*f + 42. Put -1, -4, 5, x, 3 in decreasing order.
x, 5, 3, -1, -4
Suppose -20*i + 462 - 320 = 362. Let d = -2 + 1. Sort 5, i, d, 2/9 in decreasing order.
5, 2/9, d, i
Suppose -5*a - 10 = 15. Let w(b) = -b**2 + 2*b + 1. Let l be w(3). Let c(q) = -q**2 - 8*q + 12. Let j be c(-9). Put a, j, l in descending order.
j, l, a
Suppose -114*r = -129*r - 165. Let o be (11/(-4) + 2)/((-21)/(-12)). Sort o, r, -0.4, -1 in ascending order.
r, -1, o, -0.4
Let t be (-8 + -8)/8 + (-6)/(-1). Suppose 4*i - 19 = 5*f, 4*f + 2*i + 13 = -f. Put f, -1, -7, t in descending order.
t, -1, f, -7
Let a(m) be the second derivative of m**4/3 - m**3/6 - 51*m. Let h = -4 + 3. Let b be a(h). Sort 1, b, -4.
-4, 1, b
Let h be 1/(-1) - (1 - -7). Let d(f) = -f**3 + 4*f**2 + 56*f + 38. Let y be d(10). Sort h, -3, y, 5 in increasing order.
h, -3, y, 5
Suppose -5*i + 12 = -3*l + 733, 453 = -3*i - 5*l. Suppose 8 = 2*r, 26*u - 434 = 23*u + 4*r. Let x = u + i. Put x, 12, 5 in descending order.
12, 5, x
Suppose f + 5*k + 20 = 0, -4*f + 12 = -5*k - 8. Suppose -4*x + p + 19 = f, 5*x = 2*x + 4*p + 24. Sort 2, x, -96 in ascending order.
-96, 2, x
Suppose 3*o + 4*r - 411 = -237, -2*o + 82 = -3*r. Put 3, 1, o, -4, -3 in ascending order.
-4, -3, 1, 3, o
Let m = -2 + -5. Let s = -5650 - -5648. Put s, -5, 2/7, m in descending order.
2/7, s, -5, m
Let f = 94 + -77. Suppose -d - 97 = -6*d - o, d + o = f. Suppose -q = -5*q + d. Put -3, 0, q in increasing order.
-3, 0, q
Let a = 2752 + -2756. Sort a, 0, -1, -3 in ascending order.
a, -3, -1, 0
Let i(g) = 69*g + 277. Let u be i(-4). Put u, 0, 7 in decreasi