2 - 7 - 3*b**3. Let v be p(6). Sort v, 5, 3 in decreasing order.
5, 3, v
Let w = -4 + 2. Let a = 10 + -5. Let j = -66 - -65.8. Sort a, w, j.
w, j, a
Suppose -2*m + 19 = 25, 26 = 5*x - 2*m. Put 5, 130, x, -4 in increasing order.
-4, x, 5, 130
Let n = 0.06 + -10.06. Let v = -2.3 + 7.3. Let l = v + n. Sort -3, -1, l in ascending order.
l, -3, -1
Let b = -0.3 + 0.1. Let i = -2 - 0.8. Let m = 0.2 - i. Put m, -3, b in increasing order.
-3, b, m
Suppose -r + 20 = -4*m, -4*r + 11*m + 20 = 7*m. Put r, 4, 9, -2 in descending order.
9, 4, r, -2
Let j = 10.98 - 15.98. Sort j, -5/3, 0, -14 in ascending order.
-14, j, -5/3, 0
Let b = 0.14 + 0.56. Let o = b + -0.3. Let v = 4/201 - 446/2211. Sort o, v, -2 in decreasing order.
o, v, -2
Let p(r) = 6*r**2 - r. Let w be p(1). Let l = -0.1 + -1. Let h = l - -0.7. Sort 1/4, h, w in descending order.
w, 1/4, h
Let f = -49046/19 - -2582. Put -2, f, -0.3, -4 in descending order.
f, -0.3, -2, -4
Suppose 0 = 3*s + 7*s + 40. Sort 18, -1, s.
s, -1, 18
Let n(z) = -4*z - 165. Let v be n(-41). Put v, -8, 0, -2 in ascending order.
-8, -2, v, 0
Let w = 3.5 + -14.1. Let p = 10 + w. Let i = -1 - p. Sort 4, -1, i in decreasing order.
4, i, -1
Let k be 2*(-2 - (-30)/5 - 5). Sort -1, 3, 0.3, k in descending order.
3, 0.3, -1, k
Suppose -2 = n - 2*s, 4*s - 4 = -n - 3*n. Suppose n = -12*a + 13*a + 5. Sort 3, 41, a, -4.
a, -4, 3, 41
Let n = 2 - 2. Let f = 1185 + -1190. Put -1, 4, n, f in descending order.
4, n, -1, f
Let k(i) = -i**2 - 3*i + 3. Let f be k(-3). Suppose -90*w = -102*w + 1092. Suppose f*q = -4*q - w. Sort -1, q, 5 in decreasing order.
5, -1, q
Suppose 121 = -3*c + 2*a - 4*a, 5*c + 2*a = -207. Let p = c - -47. Let l = 2 - 1.7. Sort l, 2, p.
l, 2, p
Suppose 47*u = 48*u + 6. Put u, 5, -5, 0 in descending order.
5, 0, -5, u
Let i(v) = v**3 + 37*v**2 + 43*v + 247. Let h be i(-36). Let r = -0.9 + -0.1. Put h, -8, r in decreasing order.
r, h, -8
Let v(k) = k**3 - 49*k**2 - 102*k - 13. Let i be v(51). Put -1, 1, i in descending order.
1, -1, i
Let y be (2 + (0 - 1))/1. Let f = -511 - -509. Sort -5, y, f in decreasing order.
y, f, -5
Let a = 65 + -63. Suppose 0 = 3*w - 2 - 1. Sort a, -4, w, -1 in descending order.
a, w, -1, -4
Let s = -1 + 4. Let d = 126 - 133. Sort s, d, 2/7 in increasing order.
d, 2/7, s
Let n = 0.97 + 38.03. Let j = 44 - n. Sort -4/3, j, -3 in descending order.
j, -4/3, -3
Let t = 27.4 + -23. Let r = 4.4 - t. Sort 3, r, -3.
-3, r, 3
Let d = 27.2 + -30.2. Let r = 1 - 0. Sort 3, r, d.
d, r, 3
Let w = -5 + 2. Suppose 6*z - 3*z = -4*o + 5, z = -2*o + 5. Sort z, w, -2, 3 in ascending order.
z, w, -2, 3
Let r(l) = -l**2 - 3*l + 13. Let f be r(-5). Suppose g - 8 = -3*g. Suppose g*z - 11 = -q, 7 = -z + 2*z + 2*q. Put z, -5, f in descending order.
z, f, -5
Let h(u) = -u + 14. Let k be h(8). Let g be (2/12)/(1/k). Suppose 0 = 5*y + 5, -3*y - 13 = -2*i - 0*i. Sort g, i, 0 in descending order.
i, g, 0
Let i(z) = z**3 - 4*z**2 + z - 16. Let m be i(5). Let c = 12 - m. Put -0.4, 5, -0.5, c in ascending order.
c, -0.5, -0.4, 5
Suppose -6 = -4*m + m. Let u(t) = -5*t. Let a be u(m). Let k be (-2)/2*a/(-8). Put k, -2/19, 3/5 in descending order.
3/5, -2/19, k
Suppose 0 = 3*x - 11*k + 13*k - 15, 5*x - k - 25 = 0. Sort 0, 2, x, -1 in descending order.
x, 2, 0, -1
Let p = -13 + 9. Let f = 21 - 16. Suppose f*v - 7*v = -8. Put v, p, -2 in descending order.
v, -2, p
Let n be 9/36 - 1/4. Suppose 4*x - 4*r + 16 = n, -16 = x - 0*x + 3*r. Suppose -2*f + 9*f = 7. Sort x, -2, f in ascending order.
x, -2, f
Let k(f) = -f**2 - 3*f + 2. Let j be k(-2). Suppose j*n - n + 12 = 0. Let l = 28 - 27. Sort n, -3, l in decreasing order.
l, -3, n
Let m(z) = z**3 + 5*z**2 - 12*z - 34. Let y be m(-6). Sort -2, y, 9 in descending order.
9, y, -2
Let d be (-16)/(-24) + (-128)/(-6). Sort 1, 9, d in ascending order.
1, 9, d
Let m = 24 + -22. Suppose -f + l + l + m = 0, 0 = f + 5*l - 2. Let y = -13 + 4. Sort y, f, 3 in descending order.
3, f, y
Let m be -3*(-119)/(-612)*3/(-14). Put m, 3/14, 4, -3 in decreasing order.
4, 3/14, m, -3
Suppose 9*h - 114 = 47*h. Let z be -4*(-1)/(2 + 0). Let p be 2 + -2 + z - 1. Sort -10, p, h in decreasing order.
p, h, -10
Let n = -2.031 - 0.969. Put n, 1/5, -7, 1/9 in decreasing order.
1/5, 1/9, n, -7
Let a = -22 + 15. Let n = -15 + 21. Let m = a + n. Put 1, 5, m in descending order.
5, 1, m
Suppose 165 = -5*g - 320. Sort g, 3, -3 in descending order.
3, -3, g
Let a = 46 + -38. Suppose 0 = -13*p + a*p + 65. Sort p, -3/8, 3 in descending order.
p, 3, -3/8
Suppose 4*v - 6 = 5*o, 0 = 3*o + v + 6 + 1. Suppose -7*u = -266 + 238. Sort o, u, 5 in descending order.
5, u, o
Let n(f) = -f**2 + 8*f - 2. Let m be n(7). Let b be ((-15)/m)/(1 + 0). Suppose 5*j + 12 = 3*a + 45, -2*a = -5*j + 32. Put b, -5, j in decreasing order.
j, b, -5
Let a(w) = 4*w - 51. Let r be a(14). Let d = -6 + 9. Suppose z = -4 + d. Put 1, z, r in descending order.
r, 1, z
Let l = -0.384 + -82.216. Let j = -52.3 - l. Let d = -30 + j. Sort 0.1, d, 5/3 in decreasing order.
5/3, d, 0.1
Let g = 43.14 + -42. Let x = g - 1.2. Put 1/3, -4, x in decreasing order.
1/3, x, -4
Let w(c) be the third derivative of -c**6/120 - c**5/5 - 5*c**4/12 + 13*c**3/6 + 3*c**2. Let j be w(-11). Put 3, j, -1, 4 in ascending order.
-1, j, 3, 4
Let l = 4 + -33/8. Let s = -0.4 - -0.24. Let d = 0.16 + s. Sort d, -5, l in decreasing order.
d, l, -5
Let l be 268/(-335) + 42/(-10) + 2. Sort -1, 11, -5, l in descending order.
11, -1, l, -5
Let x be (0 + 18/105)/((-1)/(-1095)). Let a = x - 188. Sort a, -23, -2 in decreasing order.
a, -2, -23
Let v be 1/((-418)/(-1070) - (-12)/(-30)). Let q = v + 109. Sort -7, -4, q in decreasing order.
q, -4, -7
Suppose 20*i = 23*i. Suppose -19 = -c + 4*l, 0*c = c - 5*l - 17. Suppose y + 3*t + c = 6*y, 2*y = -4*t - 10. Sort y, -1, i in increasing order.
-1, i, y
Let n be 8/(-32) - (-554)/8. Let o be n/(-460) + 6/8*1. Put 1/2, -9, o, 0.3 in descending order.
o, 1/2, 0.3, -9
Suppose -2*n - 2*n = 0. Suppose f + n*f - 1 = 0. Suppose 0 = -20*x - 55 + 15. Put 0, x, f in ascending order.
x, 0, f
Let h = -18 + -15. Let d = -37 - h. Sort -3, 5, d in decreasing order.
5, -3, d
Let g = -38 + 41. Suppose 38 = 3*f - 22. Suppose -z - 10 = 3*c + z, 4*z = -f. Sort c, g, 2/3.
c, 2/3, g
Let u = -28/45 - -2/9. Let x = 22 + -22.51. Let t = 1.51 + x. Sort u, 1/10, t.
u, 1/10, t
Let k = 0.704 - -3.296. Let g be 20/6 - 2/6. Sort 0.2, g, k in increasing order.
0.2, g, k
Suppose 2*j = -4*q - 626 + 162, -5*q - 3*j - 578 = 0. Sort q, 3, 1.
q, 1, 3
Let c = -1.187 + 0.887. Sort -2, c, -57 in decreasing order.
c, -2, -57
Suppose 2*z = 3*z, -3*o = -4*z. Suppose 2*w - 5*w + 5*h - 60 = o, -w = 5*h + 20. Let k be (-4)/w*(-2 + 3). Sort k, 5, 0 in increasing order.
0, k, 5
Let o be (-2)/(-8) - (-162)/24. Suppose -2*j - 5 = i, 2*i - 3*j - o = 4*i. Let q(x) = -x**2 + 7*x - 6. Let m be q(6). Sort 2, i, m in decreasing order.
2, i, m
Suppose 5*w = 20 + 40. Suppose -q + w = 3*q. Let a(c) = -c**2 - c + 5. Let v be a(0). Sort q, 7, v.
q, v, 7
Let x(w) = 2*w - 4. Let k be x(4). Suppose -72 = -35*b + 59*b. Put -1, b, k, 5 in ascending order.
b, -1, k, 5
Suppose -4*n + 0*n = 8. Suppose -u = -q - 3, -4*u - q + 6*q + 14 = 0. Let i be (151/(-302))/(-2*2/(-40)). Sort u, i, n in increasing order.
i, n, u
Suppose -57*g - 37 - 134 = 0. Put -6, 3, 5, g in descending order.
5, 3, g, -6
Suppose -3*d + i - 34 = 0, 2*i + 1 = 3*i. Let g be 34 + -40 + 6 + 1. Put g, d, 4 in descending order.
4, g, d
Let p be 202/(-90) + 2 - (-24)/54. Sort 7/10, p, 3 in increasing order.
p, 7/10, 3
Let c be 8/(-60)*-5*-3. Sort 4, c, -1, 0.
c, -1, 0, 4
Suppose -1 = -3*l + o, -5*l + l = -2*o. Let d = -13 - -31. Let u be 2/(-3)*(-81)/d. Sort l, 0, u.
0, l, u
Let i be (-5 - -2) + 6*1/2. Suppose 2*k + 47 = -2*c - 3*c, i = 2*c - k + 17. Sort c, 2, -5.
c, -5, 2
Let a = 687 + -713. Let j = 2.5 + -2. Sort a, j, 4, 4/3.
a, j, 4/3, 4
Suppose -69 = -7*q - 13. Let p = -31/4 + q. Let h = -2.5 - -2. Put h, -2/7, p in descending order.
p, -2/7, h
Let p be ((-8190)/(-1300) + 6/(-1))/((-2)/(-5)). Let x be (-48)/(-170) - 4/10. Sort x, -8, p.
-8, x, p
Let x = 7 + -13. Let b be 5/2*x/(-5). Suppose 7 = -o - y + b*y, 0 = 5*o - 3*y + 7. Sort 5, o, 3 in descending order.
5, 3, o
Let w = -0.254 + -0.016. Let l = w - -0.16. Let b = l + 0.51. Put b, 0.2, -3 in descen