. Let n be 4/(-6) + (-14)/t. Put n, 8, v in ascending order.
n, v, 8
Suppose 0 = -9*k + 11*k - 8, -3*k = -2*l - 12. Put 4, 3, 15, l in decreasing order.
15, 4, 3, l
Let m(z) = -2*z**2 + 4*z + 5. Let d be m(5). Let n(y) = y**2 + 25*y. Let v be n(d). Put 5, -3, v in increasing order.
-3, v, 5
Let d = -962 - -963. Suppose 0 = 2*n - 2*a + 4*a + 6, -5*n + 2*a = 22. Put n, 5, d, 12 in descending order.
12, 5, d, n
Let r = -0.0283 + 0.1283. Sort 0, -5, r, 4.1 in ascending order.
-5, 0, r, 4.1
Let u be (-8)/(-6)*9/6. Suppose 0 = -2*h + 10, 31 = u*f + 4*h + h. Suppose -f = 2*r - 1. Sort r, 3, 1 in ascending order.
r, 1, 3
Let p(u) = -u + 4. Let r be p(3). Let y be ((-24)/10 - -2)*r. Let z = -818 + 2453/3. Put y, z, 0.3 in increasing order.
y, z, 0.3
Let g = -6.77 + 0.27. Let j = -7 - g. Sort -5/6, j, 3 in descending order.
3, j, -5/6
Suppose -2*l + 8 = 2*a, -24 = 2*a - 5*l - 4. Put -1, 66, -3, a in descending order.
66, a, -1, -3
Let l(b) = -2*b**2 + 15*b - 6. Let d be l(7). Suppose -8 = -a + 2*j - d, -4*a - 5*j = 11. Sort 2, a, 3, 20 in descending order.
20, 3, 2, a
Let f(g) = 8*g**2 - 86*g + 9. Let j be f(3). Put j, 7, -4 in decreasing order.
7, -4, j
Suppose 0 = 11*h - 3*h + 24. Let b be 2/(9/(-6) - -2). Suppose 4*m - 6*m = b. Sort h, 8, m.
h, m, 8
Let b be (-15)/(-3)*(-4)/(-20). Sort b, -3, 8.
-3, b, 8
Let i = 183/2 - 93. Let g = -1 - 0. Sort i, 2, g in descending order.
2, g, i
Suppose 2*x - 4*b = 6, x = -2*b - 2 + 5. Sort x, 5, 15, -3 in increasing order.
-3, x, 5, 15
Let w = -0.01 + -24.99. Let s = w - -22. Sort -0.2, 2/21, -0.1, s in increasing order.
s, -0.2, -0.1, 2/21
Suppose 4*l = -0*l + 8. Let r be 968/(-22) - (0 - 1). Let x = r + 44. Sort x, -5, l in ascending order.
-5, x, l
Let l be 6/2 - 0/(-2). Suppose 10*a - 599 = -1859. Let q = 123 + a. Sort q, l, 4.
q, l, 4
Let w = -8 - -3. Suppose 2*v - n + 2 = 0, -5*n - 17 = -4*v + 3*v. Sort -6, w, v in ascending order.
-6, w, v
Let a = 25 + -19. Let o be 2/(-7)*a/(-4). Sort -0.2, o, 2/3.
-0.2, o, 2/3
Let m(y) = -22*y**2 + y**3 + 0 + 2*y - 6 + 3 + 24*y**2. Let f be m(0). Let z be (-4)/14 + (-24)/14. Put f, 1, z in decreasing order.
1, z, f
Suppose 100*m - 12 = 102*m. Suppose 0 = 3*i + 19 - 4. Put -1, m, i, 1 in ascending order.
m, i, -1, 1
Let r(o) = 2*o - 5. Let d be -3 + ((-3)/1)/(-3). Let m be r(d). Let b be (-14)/(-4) - m/6. Sort 2, b, 1 in decreasing order.
b, 2, 1
Let b be 0 + 1 + -76 + 70. Suppose 0 = -d - 5 + 1. Sort 2, d, b in decreasing order.
2, d, b
Let a = -48 + 50. Put -3, a, 0.8 in ascending order.
-3, 0.8, a
Let j = 1267 - 1267.3. Let b be -1 - -2 - (-6)/(-4). Put b, j, -5 in decreasing order.
j, b, -5
Let k = 275 - 276. Suppose 4*o = 5*v + 25, 0 = -v + 3*o - 15 - 1. Let x = -4 + v. Put k, -4, x in increasing order.
x, -4, k
Suppose -5*o + 24 = -2*u - 3*o, 4*u + 5*o = -3. Let l(x) = x**2 - 10*x - 3. Let t be l(10). Put u, 2, t in increasing order.
u, t, 2
Let k(v) = -v**2 - 5*v + 5. Let s(h) = -2. Let i(j) = k(j) - 2*s(j). Let p be i(-7). Put p, 0, -7, 5 in decreasing order.
5, 0, p, -7
Let c = 2 + -1. Let f be -1*2/3*c. Suppose 0 = 39*a + 172*a + 211. Sort 1, a, f in decreasing order.
1, f, a
Let v(h) = 3*h - 57. Let u be v(17). Let i be (-27)/6 + u/(-4). Let a(q) = q**2 - q - 4. Let p be a(4). Put p, i, 0 in ascending order.
i, 0, p
Suppose -2*o + 4 = 2*o. Let j be (-1)/(o - (-12)/(-15)). Let a = -0.642 + 0.442. Put 0, a, j in ascending order.
j, a, 0
Let m = 299 - 298.4. Sort 3, -5, 0.4, m.
-5, 0.4, m, 3
Let s(b) = -24*b + 132. Let a be s(6). Sort a, 3, 1/6 in increasing order.
a, 1/6, 3
Let j(l) = -3*l - 2. Let b be j(-5). Let q = 11 - b. Let x be q - 4/8*6. Put 3, -1, x in decreasing order.
3, -1, x
Let z = -179 + 174. Put 3, z, 1, -1 in ascending order.
z, -1, 1, 3
Let y = 161 + -158. Put y, -12/5, 1/6 in descending order.
y, 1/6, -12/5
Suppose 2*b = 2, -4*n = b - 5*b + 44. Let a be 8/n - 12/(-60). Sort a, -0.1, 0.1 in ascending order.
a, -0.1, 0.1
Suppose -4*f = -7*f + 9. Suppose 5*m - f*m = 0. Sort 2, 1, m, -4 in increasing order.
-4, m, 1, 2
Let s be 10/4*12/10. Let w(u) = -u**2 + 3*u + 5. Let x be w(4). Let r = -11 + 9. Sort s, r, x in increasing order.
r, x, s
Let o be 1/4 - 13/4. Suppose -15*p + 5*u = -12*p + 12, -u - 8 = 2*p. Let q be (-4)/(2 + 0) - -2. Sort p, q, o in decreasing order.
q, o, p
Let n(u) = 17*u - 81. Let w be n(4). Put -2/19, -3, w in increasing order.
w, -3, -2/19
Let c be -59*9/(-63) - 8. Put -5, -3, c, 0 in descending order.
c, 0, -3, -5
Let n(h) = 20*h + 40. Let q be n(-2). Sort -5, q, -12, -3 in increasing order.
-12, -5, -3, q
Let t(d) = d**2 + 20*d + 61. Let r be t(-8). Put r, -5, 3 in descending order.
3, -5, r
Let c = -184488 - -45753109/248. Let p = -3/8 + c. Put -1/2, -1/8, p in ascending order.
-1/2, -1/8, p
Suppose 23*k = k + 220. Put k, -5, -2 in descending order.
k, -2, -5
Suppose 2*r = -5*v - 17, 5*r - 3*v = 25 - 21. Sort -10, 5, r in descending order.
5, r, -10
Suppose 6 = 5*j + 1. Suppose -k + j = -4. Sort -5, -1, k, -4 in ascending order.
-5, -4, -1, k
Let m = 8650/21 - 412. Put m, -1/4, -1/6 in decreasing order.
m, -1/6, -1/4
Suppose -2*t + 119 + 25 = 4*v, -4*v + 164 = -3*t. Put v, -3, -5 in ascending order.
-5, -3, v
Suppose 5*f = 14*f - 360. Let p = -13 - -17. Put f, p, 5 in ascending order.
p, 5, f
Suppose 310 = -8*v + 286. Put v, -14, -4 in ascending order.
-14, -4, v
Let o = 6 - 6. Suppose -4*y - y - 3*c + 1 = o, -12 = 4*c. Let v be (20/8)/((-1)/y). Sort -2, v, 1 in descending order.
1, -2, v
Let f(z) = z**3 + 6*z**2 - 2*z + 6. Let g be f(-5). Let o = g - 21. Let c = 19 - o. Sort 2, c, 1 in increasing order.
c, 1, 2
Let u = 6 - 6.1. Let y = 10.91 + -9.9. Let i = y + -0.01. Sort 0.5, u, i in ascending order.
u, 0.5, i
Let p(m) = -m**2 + 8*m - 10. Let t be p(5). Let j(h) = h**3 - 5*h**2 + 4*h - 7. Let v be j(t). Let d = v + -10. Sort d, -1, -4 in increasing order.
-4, -1, d
Suppose 17*q = 7*q. Sort 2, q, 4.
q, 2, 4
Let a = 4707/5 + -941. Put -2/5, 0.2, a, -12 in descending order.
a, 0.2, -2/5, -12
Let x be (-12 + 11)/(2 - -7). Put 3/8, -0.3, x in increasing order.
-0.3, x, 3/8
Suppose -5*d + 115 = -425. Let v = -105 + d. Put v, -2, -0.02 in descending order.
v, -0.02, -2
Let y be (1/14)/(23 - (-3014)/(-132)). Put y, -0.5, -3, 0.02 in increasing order.
-3, -0.5, 0.02, y
Let h be 42/35*385/2. Let g = 226 - h. Let d = 3 + 2. Sort 1, d, g.
g, 1, d
Let s = -0.148 - 0.052. Put 0.2, s, 33/4 in ascending order.
s, 0.2, 33/4
Let m be 4 + 0 + (-8 - -3). Suppose 3*a - 72 = 7*a. Let v = a - -16. Sort m, v, 0.
v, m, 0
Let z = 141 - 66. Let m = 75.7 - z. Put 1, 2, m, -2/5 in increasing order.
-2/5, m, 1, 2
Suppose -12*y + 7*y + 30 = 0. Suppose 5*g = -4 - y. Sort g, 0, 3 in increasing order.
g, 0, 3
Suppose -9*a + 189 = -6*a. Let q be 3/7 - (-603)/a. Suppose -4*h - 5*n = 26, 0 = -4*h + h + n - q. Sort 4, h, 0.
h, 0, 4
Let z = 5 - 4.8. Suppose -4*l - w = 11, 9 = 5*w - 8*w. Sort l, z, 7.
l, z, 7
Let q(m) = 4*m - 12. Suppose 3*s - 9 = -0*s. Let u be q(s). Let r be (-10)/6*(-3 + 6). Put u, -1, r in increasing order.
r, -1, u
Let q = -88 + 89. Put 0, -4, q, 9 in increasing order.
-4, 0, q, 9
Let d be ((-175)/(-5))/7 - 76. Sort d, 0, 5 in decreasing order.
5, 0, d
Let c = -6 - -8. Let h = -16.69 + -0.31. Let f = -17.1 - h. Sort c, 0.4, f.
f, 0.4, c
Let k be (-2 - -14)/((-4)/10). Let t = -25 - k. Let u(w) = w - 7. Let h be u(4). Put h, 7, t in descending order.
7, t, h
Let z = -125 + 124.8. Sort -2/7, -3, z in decreasing order.
z, -2/7, -3
Let l = 67 - 66.932. Let q = 0.032 + l. Put 5, -3, q, 0.2 in descending order.
5, 0.2, q, -3
Let k(m) = -2*m + 7. Let o be k(5). Let i be (4752/(-308))/(4/42). Let t = 167 + i. Sort o, 3, t in increasing order.
o, 3, t
Let s(b) = b**2 - 10*b + 1. Let h be s(10). Let c be -2 + 9/(-2)*32/(-72). Put -1/10, h, c in decreasing order.
h, c, -1/10
Let t = -49.6 - -58.66. Let r = 9 - t. Let a = -3.94 + r. Put 3, a, -2/3 in decreasing order.
3, -2/3, a
Suppose p + 32 = 9*p. Sort -92, p, 5, -5 in descending order.
5, p, -5, -92
Suppose -2 = 5*s - 5*n - 52, 0 = -5*s - 4*n + 23. Sort -1, 4, 21, s in increasing order.
-1, 4, s, 21
Suppose s + 3 = 3*g, 3*g - 2*g = 4*s + 1. Put -8, s, 2, 3 in increasing order.
-8, s, 2, 3
Let v = -86.06 + 78. Let s = v + 8. Let f = s - 0.24. Put f, 0, -0.02 in ascending order.
f, -0.02, 0
Sup