5*r + 12. Sort -2, -0.4, n.
n, -2, -0.4
Let h = -62 - -1. Let n = h - -149. Let b be (1 - 0)*8/n. Sort 6/5, -0.1, b.
-0.1, b, 6/5
Let c(p) = -7*p - 56. Let w be c(-14). Sort -4, 1, w in decreasing order.
w, 1, -4
Let d(y) = y + 3. Let b be d(0). Suppose 4*v = -c + 25, 0 = 2*v - b*c - 0 + 5. Put -5, 2, v in increasing order.
-5, 2, v
Let t = -29.02 - -5.02. Put 2, t, 0.1 in ascending order.
t, 0.1, 2
Let x = 380 + -380. Sort -62, x, 1 in descending order.
1, x, -62
Let s(l) = l**2 + 4*l - 7. Let m be s(-6). Suppose 3*k + 3 = 24. Suppose -k*z - 26 = -12. Sort -4, z, m in descending order.
m, z, -4
Let q = 744 + -748. Sort 22.9, -0.3, q in descending order.
22.9, -0.3, q
Let d be 2 + 44/(-10) + 2. Put -3, -0.084, d in descending order.
-0.084, d, -3
Let h(d) = -31*d**2 - 6*d + 9. Let r be h(2). Let q = r - -126. Put q, 3, -21 in descending order.
3, q, -21
Let p = 3313/17 + -195. Let z be 6/72 - (5 - (-69)/(-36)). Sort p, 0.5, z, -0.4 in descending order.
0.5, p, -0.4, z
Let a(j) = -j**2 + 15*j + 5. Let p(n) = -n - 1. Let u(l) = -a(l) - 3*p(l). Let v be u(12). Sort v, -5, -0.1.
-5, v, -0.1
Suppose 4*i - 2 = 3*i. Let z be -2 + 1/(i/12). Let h be z/(-8) + (-1)/(-2). Put -2, -4, h in descending order.
h, -2, -4
Let w be (6/12)/(-2*1). Let u = 80.8 - 75.8. Sort u, -0.3, w, -2/5 in increasing order.
-2/5, -0.3, w, u
Let k = 367 + -367.5. Sort 2/3, -0.3, k, 5/2 in descending order.
5/2, 2/3, -0.3, k
Let p = -5 + 9. Suppose p*q = -q. Let s be (-210)/(-42) + 16/(-2). Put q, -5, s in descending order.
q, s, -5
Let u = 3.3 - 2.5. Let d = u + -1. Let i = 76/259 - 2/259. Sort i, d, -3.
-3, d, i
Let q = -601624 - -303819923/505. Let o = 1/101 - q. Sort 11, o, 0 in ascending order.
0, o, 11
Let j(c) = -c**3 + 6*c**2 + 25*c - 9. Let b be j(-3). Sort -24, b, 2 in descending order.
2, b, -24
Suppose 0 = 31*s + 174 + 43. Sort s, -2, -4 in decreasing order.
-2, -4, s
Let t be (6/(-4)*-2)/(5/(-10)). Put -0.3, 0.4, t, -0.2 in descending order.
0.4, -0.2, -0.3, t
Let q = -0.4 + 0.8. Let h be (-1)/2 + (-1842)/12. Let j = h + 1696/11. Sort -3/4, q, j.
-3/4, j, q
Let y = 3620 - 883283/244. Let d = y + 527/3172. Let p = -0.02 - 0.04. Sort d, 0.1, p in decreasing order.
d, 0.1, p
Let j = 206 - 208.34. Let q = 0.34 + j. Let g = 7 + -12. Put q, -3, g in decreasing order.
q, -3, g
Let c = -7 - -7.11. Let j = c - -4.89. Let q(g) = g**2 - 10*g + 4. Let x be q(0). Put 0, j, x in increasing order.
0, x, j
Let q(h) = -h**3 - 2*h**2 + 6*h + 6. Suppose -5*p - 5 = -2*k - 0, 4*p + 22 = -2*k. Let z be q(p). Sort -1, 7, z, -2.
z, -2, -1, 7
Let r = 135 + -132. Put 14, r, -4 in descending order.
14, r, -4
Let t = 13 - 9. Let j be (-2)/(-6) - 58/(-6). Let c be 36/j - (-12)/(-20). Put c, t, 0 in decreasing order.
t, c, 0
Suppose -u - 4 = 0, -3*y - 2*u + 0 = -4. Suppose -4*h + 40 = y*d, d - 4*h + 5 = -2*h. Sort -3, -2, d in descending order.
d, -2, -3
Let v(m) = m**3 - 7*m**2 + 4*m - 47. Let d be v(7). Let r = d - -11. Put -4, r, -5 in ascending order.
r, -5, -4
Let f = 20.1 + -20. Sort -3, -0.05, -4, f.
-4, -3, -0.05, f
Suppose 2*z - 3 = -1. Suppose 2*n + 2 = 4. Let k(s) = -6*s**3 - s**2 + s + 1. Let i be k(n). Sort z, -2, i in increasing order.
i, -2, z
Let t(p) = -p**2 - 10*p - 17. Let k be t(-10). Sort -2, 8, k, 1 in descending order.
8, 1, -2, k
Suppose -v + 33 = 4*h + 12, 5*h = 2*v + 10. Let a = 162.3 - 162. Sort -1/2, h, a in decreasing order.
h, a, -1/2
Let l = 27.361 - -0.039. Let x = -27 + l. Sort x, 0.1, -1/6 in decreasing order.
x, 0.1, -1/6
Suppose 9*n - 4*n = 0. Suppose -15 = -b + 2*m, -4*m - 8 = -4*b + 32. Suppose -r = 2*l - 3, -2*l + 0 = -b*r + 3. Put 2, r, n in ascending order.
n, r, 2
Let f be 34/(-6) + 1/(-3). Let r be 3/f*6 - -7. Sort r, 5, -5 in increasing order.
-5, r, 5
Let h = 3447.5 - 3447.1. Let u be 4*(1 + 42/(-32)). Put -1/3, u, h, -5 in decreasing order.
h, -1/3, u, -5
Let m(w) = 2*w + 13. Let i be m(-7). Suppose 2*r + y + 11 = -3*r, 3*r - 4*y = -2. Let u = r + i. Sort 5, u, 4 in descending order.
5, 4, u
Let q = -344 - -344.3. Put 72, q, -0.2 in ascending order.
-0.2, q, 72
Let t = -473 - -473.02. Put t, -0.2, 5, 1/4 in ascending order.
-0.2, t, 1/4, 5
Let m = 13 - 11. Let r(k) = -3*k**2 + 2 - 3*k + 2*k + 2*k - 3. Let p be r(2). Put 4, m, p in increasing order.
p, m, 4
Suppose -4*o - 5*c = 31, -2*c = -o + 2*c + 8. Sort -11, -1, 3, o in ascending order.
-11, o, -1, 3
Let a = 0.023 + -0.023. Let m be (-1*1)/(-3 - -2). Let u be (5/4 - 2)/m. Put u, a, 1 in ascending order.
u, a, 1
Suppose 4*r - 36 = -3*h + h, 3*r = -5*h + 41. Let n(c) = -c**2. Let u(v) = v**2 + 9*v - 10. Let t(q) = -2*n(q) - u(q). Let w be t(r). Sort -5, 0, w.
-5, w, 0
Let a = -12500 + 12508. Let y = -92/485 - 1/97. Sort a, 4, y in increasing order.
y, 4, a
Let b be 4/2*(1 - 0). Suppose -l - 2*l = 3*n + 9, 0 = -l - b*n - 1. Let x = 30 - 34. Sort x, l, -3 in descending order.
-3, x, l
Let x = 1153 + -1151. Sort 0.006, -0.1, 0.3, x in descending order.
x, 0.3, 0.006, -0.1
Suppose 3*y = c + 2102, 1401 = 2*y + 6*c - 7*c. Sort y, 4, -4 in decreasing order.
y, 4, -4
Let u = 71 + -71.4. Let r(z) = -z**3 - 6*z**2 - 5*z - 3. Let k be r(-5). Sort u, 4/7, k in increasing order.
k, u, 4/7
Suppose 4*v - 24 + 8 = 0. Suppose 0 = -v*b + 5*d - 5, b + d = 2*b. Suppose -5*u + 6*s - 2*s + 36 = 0, 0 = -3*u + 2*s + 20. Put b, u, -2 in increasing order.
-2, u, b
Suppose -5*i - 20 = -0. Let v = i + 0. Suppose -4*o - 6 = -2. Sort 0, o, v in increasing order.
v, o, 0
Let v = 103.4 + -102.9. Sort 0.15, -4, v, 5 in increasing order.
-4, 0.15, v, 5
Let h = -1423 - -1385. Sort -1/6, h, -1/4.
h, -1/4, -1/6
Suppose 190 = -18*t + 28*t. Suppose -f = -t*f - 72. Let s = 2 + 2. Sort f, -1/3, s.
f, -1/3, s
Let s = -9863 - -9868. Let m = 2.9 + -3. Let i = -0.1 + m. Sort s, i, 1 in descending order.
s, 1, i
Let h(i) = -3*i**2 + 26*i + 2. Let d be h(-8). Put 2/3, d, -5 in decreasing order.
2/3, -5, d
Let s = 257 - 2829/11. Let a = 4.41 - 4.6. Let g = -0.99 - a. Sort s, -0.3, g in increasing order.
g, -0.3, s
Let n = -23 - -23. Suppose q = -2*q - 4*t + 3, -2*q - 5*t + 9 = n. Let s be (-2)/((-4)/2) - 2. Sort s, 5, q in descending order.
5, s, q
Suppose -3*r = 2*r + 35. Let m be (-1)/(r/6)*-7. Let j be (0/(-7))/(1 + 1). Put j, -5, m in increasing order.
m, -5, j
Let u be 2/(-5)*(4 + -14). Let h be -1*((-12)/(-5) - 2). Let d = -43.51 + 43.6. Sort h, u, d.
h, d, u
Suppose m - 6 = 4*m. Let x be 1947/21 - 4/(-14). Suppose 18 = -15*f + x. Sort f, 3, m.
m, 3, f
Let a = -554 + 550. Put 31, 3, a in descending order.
31, 3, a
Let d(o) = o**2 - 2*o. Suppose 0 = -5*y - 5, 0 = h + 5*y + 4 - 1. Let l be d(h). Let g = -4 + 7. Sort g, l, -4 in decreasing order.
g, l, -4
Suppose 2*t + 17 = 5*y, 6 = 3*y - 9. Let f(k) = -k**2 + k + 8. Let x be f(3). Put -3, x, -12, t in increasing order.
-12, -3, x, t
Suppose -3*y - 12 = 3*q + 6, 3*q + 13 = 2*y. Let b = -21.9 + 20. Let j = b + -2.1. Sort q, 3, j in increasing order.
q, j, 3
Let g be (-1)/(-2)*6/9. Let j = -288 - -288.2. Put 0.5, j, g in decreasing order.
0.5, g, j
Let p = 96/215 + -2/43. Let j = -63 - -69. Sort j, p, -4 in descending order.
j, p, -4
Let a(t) = t**2 - 4*t + 3. Let h be a(1). Let p = 23.5 - 24. Sort 1/2, p, h.
p, h, 1/2
Let u be ((-116)/145)/(-3 - -5). Put -3, 0.7, u, -2/3 in decreasing order.
0.7, u, -2/3, -3
Suppose -64 = 52*h - 324. Put 10, h, -5, 4 in descending order.
10, h, 4, -5
Let a be 4 + (-3 - -1 - 2). Suppose 6 = -2*n - 0*n. Let k(l) = 5*l**2 - 2*l - 1. Let q be k(-1). Sort n, q, a in increasing order.
n, a, q
Let g(m) = -6*m - 11. Let y be g(3). Let j = -27 - y. Put j, 1, -18 in decreasing order.
j, 1, -18
Let s = -134 + 138. Sort 0, s, 3/11 in decreasing order.
s, 3/11, 0
Suppose -44 = -24*m + 2*m. Sort 3, m, -20 in ascending order.
-20, m, 3
Let l = 0.0944 + -0.0644. Put l, -1/16, 0.2 in increasing order.
-1/16, l, 0.2
Let c = 5 + -7. Let z(n) = 2*n**2 + n - 1. Let t be z(c). Let w be 40/32*(9 + (-369)/45). Sort t, -1, w in descending order.
t, w, -1
Let o = -48 + 43. Let r = 59 - 59.1. Put 5, o, r in descending order.
5, r, o
Let a be (1 + 1)/((-8)/16). Suppose -2 + 2 = -7*f. Sort a, 2, f in descending order.
2, f, a
Suppose 63*c - 568 = 55*c. Put 2, 0, c in ascending order.
0, 2, c
Let b = 70/87 - 4/29. Suppose 3*q = 2 + 4. Suppose 3*n - h = -q*h - 5, 5*n = 4*h + 3. Sort n,