, b in decreasing order.
3, b, v
Let w = -0.2 - -0.5. Let f = w + 0.2. Let i(h) = -h**3 - 11*h**2 - h - 13. Let t be i(-11). Sort f, 3/4, t in decreasing order.
3/4, f, t
Let m = -368/63 + 50/9. Let c = -0.097 - 3.903. Sort 1, c, m in decreasing order.
1, m, c
Let q = -31 - -33. Put q, -0.1, -5/4 in descending order.
q, -0.1, -5/4
Let m be 0/5*1/(-2). Suppose 0 = -c - 4 - m. Sort -2, 2, c.
c, -2, 2
Let c = -23 + 28. Let f = 0.1 + -0.3. Sort 1, f, c in decreasing order.
c, 1, f
Let o = 20 + -12. Suppose o - 5 = -n. Sort -1, n, 2.
n, -1, 2
Let c(a) be the first derivative of a**3/3 + a**2/2 + 4. Let q be c(1). Sort -5, -3, q in decreasing order.
q, -3, -5
Suppose -n + 4*n - 3 = 0. Put -5, n, 3 in decreasing order.
3, n, -5
Suppose 7*f + 2*w = 2*f, 16 = -3*f + 2*w. Sort f, -1, 0 in ascending order.
f, -1, 0
Let q(x) = x**2 - 7*x + 2. Let i be q(5). Let p be (i/(-1 + 3))/(-1). Let d be (-4)/(-14) + (-10)/(-14). Sort d, p, 5 in descending order.
5, p, d
Let i be 0 + -1*(-2)/(-2). Let g = 5.53 + -5.53. Put g, 0.2, i in decreasing order.
0.2, g, i
Let i = 2/89 - 184/267. Sort -0.03, 1/4, i in decreasing order.
1/4, -0.03, i
Suppose 0*j + 2*x + 4 = 2*j, -4*j - 3*x + 29 = 0. Put -1, j, -5 in descending order.
j, -1, -5
Let n(y) = -y**3 + y - 5. Suppose -2*v = v. Let s be n(v). Sort s, 2, 1.
s, 1, 2
Let o = 4 - -5. Let s be o + -6 + 2*1. Suppose -f + 4*j - 8 = 2*f, -3*j + 6 = 5*f. Sort s, f, -5 in decreasing order.
s, f, -5
Let d be 2/8 + (-1)/4. Suppose -5*j + 4 + 6 = d. Let r be 4/(-16) + (-4)/(-16). Sort 1, r, j.
r, 1, j
Suppose 0 = -3*o + 3*x + 30, 0*o = -5*o + 2*x + 41. Let u be 2/o - 132/(-28). Sort 3, u, -5 in ascending order.
-5, 3, u
Let b = 35 + -20. Let j = -16 + b. Put 1/3, j, -0.2 in increasing order.
j, -0.2, 1/3
Let c(p) = -p**3 - 2*p**2 + 2. Let n be c(-3). Suppose n = -3*y + 38. Suppose y*s = 5*s. Sort -4, -5, s in descending order.
s, -4, -5
Let r = 34 - 32. Let y = 0 - 4. Let o = 1 + y. Put r, -1, o in ascending order.
o, -1, r
Suppose 0*c - x = 2*c + 39, 5*x = 2*c + 57. Let b be (-38)/(-14) - 6/c. Suppose 7 = b*m - 2. Put -3, 2, m in increasing order.
-3, 2, m
Let w = 95163/11 - 8666. Let j = -15 - w. Let i be ((-8)/(-3))/(-4)*1. Put -4, j, i in descending order.
j, i, -4
Let z be 8/(-4) + (7 - -1). Suppose b = 2*w + z, w + 12 = -2*w. Sort 2, b, -3 in decreasing order.
2, b, -3
Let i = -3 + 3. Let k be -3*1/(-1 - 0). Suppose 3*g - 6 = -k. Put 3, i, g in decreasing order.
3, g, i
Let z = -7.5 + 8. Sort -0.2, z, 1/4.
-0.2, 1/4, z
Let i be -31 + (-1)/((-8)/(-6)). Let y = -32 - i. Sort 3/4, -4, y.
-4, y, 3/4
Let w = 7 + -7.4. Let z = w + -0.6. Put z, -0.1, 5 in decreasing order.
5, -0.1, z
Suppose 3*s + 2 = 2*s. Sort 4, s, 8, 2.
s, 2, 4, 8
Let i = -0.8 + 0.9. Let o = -17 - -69/4. Let z = 0.34 - 0.04. Put z, i, o in decreasing order.
z, o, i
Let j = 0.23 + -0.19. Sort 2/7, 3, j.
j, 2/7, 3
Suppose -18 - 3 = -a - 5*s, -4*a - 4*s = -20. Let c be (a*-3)/3 - 4. Let q(r) = -r - 7. Let l be q(-7). Put 3, l, c in increasing order.
c, l, 3
Suppose -4*o - 2*g - 16 = 0, -3*o - 20 = 2*o - 5*g. Let r be (-84)/32 + (-1 - o). Put 5/3, r, 4 in descending order.
4, 5/3, r
Let d = -53.7 - -54. Sort -3, -0.31, d in decreasing order.
d, -0.31, -3
Suppose -3*v - 9 = -2*k, 0 = -v + 5*k - 5 - 11. Put 7, 2, v in descending order.
7, 2, v
Let k = 6 - 2. Suppose -5*h + 2*g + 26 = 0, h + 3*g = 2 + 10. Suppose -2*f - 2 = h. Sort f, k, -2 in descending order.
k, -2, f
Let g(i) = i + 17. Let q be g(7). Sort -5, q, -1.
-5, -1, q
Let p = 10.3 + 0.7. Let l = -11.3 + p. Put -4, 0.3, l in decreasing order.
0.3, l, -4
Suppose 5*b = 3*d - 5*d - 13, 0 = -5*d + 2*b + 11. Sort d, -20, -4, -3/4 in descending order.
d, -3/4, -4, -20
Let i(v) = -v**2 - 4*v - 4. Let f be (-1 + -2 + 2)*3. Let d be i(f). Put d, 5, -3 in ascending order.
-3, d, 5
Let p(u) = u**2 + u - 1. Let w be p(1). Let t = 0.63 - -3.37. Let b = 247/5 - 50. Sort t, w, b in increasing order.
b, w, t
Let l be ((-12)/(-15))/(1/(-5)). Let r = -123 - -122. Put r, l, -5 in descending order.
r, l, -5
Suppose 2*c = 5*q - 25, 2*q + 13 = 3*q - 2*c. Suppose y - 2*y = -2*f - 2, 0 = -q*y - 6. Sort f, -5, -4 in increasing order.
-5, -4, f
Suppose -2 = -14*k + 13*k. Sort -0.4, k, 3/7.
-0.4, 3/7, k
Suppose -u = 3*u - 20. Suppose c = -1 - 0. Sort c, 3, u in descending order.
u, 3, c
Suppose -2*x - 3*x = -20. Suppose -x = -3*y - 19. Sort -3, y, 3 in ascending order.
y, -3, 3
Let k(p) = p + 1. Let f be k(2). Suppose f*c = 6*c. Put c, 2, -1 in descending order.
2, c, -1
Let l be 0 - (-1)/(-9)*-4. Let z be 2 + -2 - (-2)/(-8). Put 1/4, z, l in ascending order.
z, 1/4, l
Let g(m) = m**3 - 12*m**2 - 13*m - 2. Let x be g(13). Sort -4, 3, x in descending order.
3, x, -4
Suppose -4*o = -3*o - 2. Let b be (o + -1)/(1/(-3)). Sort b, 2/5, -0.4 in increasing order.
b, -0.4, 2/5
Let n(j) = j**2 + 5*j + 5. Suppose -3*s + 2 = 5. Let m = s - 3. Let k be n(m). Put -2, k, 2/11 in descending order.
k, 2/11, -2
Let w(n) = n**3 - 6*n**2 + 5*n + 5. Let p be w(5). Let r = 10 + 8. Suppose -p*b + r = -7. Sort b, -3, -4.
-4, -3, b
Suppose 0 = 3*u + 4*b + 13, -12 - 9 = -u + 5*b. Put 11, 3, u in ascending order.
u, 3, 11
Let h(y) be the second derivative of y**4/6 - y**3/3 - 2*y**2 - 2*y. Let v be h(-3). Let q = v + -81/4. Put 3, 2, q in decreasing order.
3, 2, q
Let b = 123 + -119. Sort -5, -28, 0.4, b in ascending order.
-28, -5, 0.4, b
Let f be (-4)/(-10) - (-46)/10. Let w(h) = -h**2 + 4*h + 2. Let j be w(f). Let s = -1.1 - -0.1. Sort -1/3, j, s in increasing order.
j, s, -1/3
Suppose -15*f - 30 = -5*f. Let u(t) = -t - 2. Let k be u(-6). Put f, k, -5 in ascending order.
-5, f, k
Let z = -81 - -81. Sort 2, z, 10 in descending order.
10, 2, z
Let f be ((-1)/8)/(6/(-2244)). Suppose -5*d + 3 = -232. Let h = d - f. Sort -3, h, 2/3 in descending order.
2/3, h, -3
Let w = 34 + -33. Sort -3, w, 2 in decreasing order.
2, w, -3
Let d = -158 + 155. Put -5, d, -25 in ascending order.
-25, -5, d
Let a = -17 - -19. Sort 4, a, 1 in decreasing order.
4, a, 1
Let k = -18 + 17. Let n be ((-6)/10)/((-2)/10). Let b be 14/(-6) + 1/n. Sort 1/4, b, k in decreasing order.
1/4, k, b
Suppose -2*o = -1 + 5. Suppose 0 = 3*z + 2*t - 3 - 11, -z + 4*t = 14. Suppose l + 4*m + 4 = 5*l, -z*l - m = -8. Sort 1, l, o.
o, 1, l
Let h(n) = n**2 - n + 5. Suppose -2*v - 4*d = 3*v + 8, -2*d - 4 = v. Let q be h(v). Sort -5, 3, q in descending order.
q, 3, -5
Let y = -28.9 + 29. Put 0.4, -3, y in ascending order.
-3, y, 0.4
Let o(n) = n**2 - 2. Let w be o(-2). Put -4, w, -3 in descending order.
w, -3, -4
Let a(n) = 15*n**2 + 4*n - 7. Let c be a(3). Let m be (2/(-5))/(14/c). Let i be (2/(-4))/(2/(-4)). Put 0, i, m in ascending order.
m, 0, i
Let g(o) = -o**3 - 12*o**2 - 11*o - 2. Let i be g(-11). Let v be (i/(-4))/(72/(-32)). Sort 0.5, v, 0.4 in ascending order.
v, 0.4, 0.5
Suppose 0 = -3*m - 2*z + z + 33, -4*m + 2*z + 54 = 0. Let k = m + -17. Let l(d) = -d**3 - 6*d**2 - 6*d. Let t be l(k). Put 2, -3, t in descending order.
t, 2, -3
Let x(t) = -t + 1. Let z = 3 + -4. Let s be x(z). Let c be (21/(-30))/7*-4. Sort 2/3, s, c in decreasing order.
s, 2/3, c
Suppose 0*f - 3*f = -4*s, -4*s = 0. Put 5, f, -3 in decreasing order.
5, f, -3
Let h = 547/7 - 78. Let i = -3/7 - h. Put 2, -5, i in increasing order.
-5, i, 2
Let t = -23 - -19. Sort 2, t, 2/15 in increasing order.
t, 2/15, 2
Suppose 6*w - 20 = 10*w. Suppose -4*d - 18 = j, j - d + 3 = -2*d. Sort -4, j, w in ascending order.
w, -4, j
Suppose -4*p - 3*m + 27 = 0, -5*p - 3*m = -0*p - 30. Suppose 0 = -5*n + 199 - 224. Put p, 1, n in ascending order.
n, 1, p
Let v be (2/4)/(4/(-3)). Let b = -13 + 8. Sort 0.3, b, v in decreasing order.
0.3, v, b
Let i = 5 + -2. Let h = -2 + i. Let g = h + -0.8. Sort 5, g, 0 in increasing order.
0, g, 5
Suppose 4*d = -g + 7, 6 = d + 3*d + 2*g. Let h be (-6)/3 + 1 + d. Sort 4, h, -3 in decreasing order.
4, h, -3
Suppose 4*f - a = 10, -3*f - a + 6 = f. Suppose 11 - 3 = -4*c. Let l(j) = -j**2 - 6*j - 5. Let t be l(-5). Put f, t, c in descending order.
f, t, c
Let i = -0.4 + 0. Let q = 16 - 15. Put q, 0, i in descending order.
q, 0, i
Suppose 0 = -3*v + 2 + 4. Suppose 0 = 4*i + 2*q, 5*q = i - v*i - 18. Put -4, i, 3 in descending order.
3, i, -4
Suppose -5 = d - g, -5*d + g - 22 = -3*g. Let y be ((-36)/8)/(3/(-6)). Let b(s) = s