et w be -4*1/c + 0. Sort 3, w, -5.
-5, w, 3
Let k = 7.05 + -0.05. Let u = k + -6.7. Sort u, 0.5, -4 in descending order.
0.5, u, -4
Suppose 2 = -p - 0*p. Suppose z + 1 = 5, 0 = -5*b + 4*z + 4. Sort p, -5, b.
-5, p, b
Let n(v) be the second derivative of v**4/12 + v**3/6 - v**2 + 3*v. Let t be n(-3). Sort -4, 1, t in decreasing order.
t, 1, -4
Let r be 1*(-1 + 1 + -4). Let q = 2 - 3. Let b = q + r. Put -4, 4, b in descending order.
4, -4, b
Suppose -5*h = -3*l - 4 - 9, -2*l + 13 = h. Suppose -16 = -5*o + l*i, o - 2*i = i + 1. Sort o, -3, 5.
-3, o, 5
Suppose j + 5 = 2*h, 5 = -2*j + h + 1. Sort 2, 0, j, -4.
-4, j, 0, 2
Let z be (3/3)/(2/2). Suppose -v + 52 = -5*v. Let k = -8 - v. Sort z, -3, k.
-3, z, k
Let w = 10 + -3. Let x = 6.5 - w. Let c = 0.36 + 0.04. Sort -3, c, x.
-3, x, c
Let k = 6.6 + -7. Sort 0.3, 1, k in decreasing order.
1, 0.3, k
Suppose -3*p = -5*q + 1, -6*p + 2*p + 2*q + 8 = 0. Suppose 3*w + 3 = -3. Sort 1, w, p.
w, 1, p
Let u be (-3)/7*(-2 - -1). Let h be (18/4)/(-3 + -8 + 8). Put h, -0.3, u in decreasing order.
u, -0.3, h
Let t = 29/2 + -201/14. Let r be 6/(-1*(-2)/(-5)). Let d be (3 - 0)*(-4)/r. Sort d, 0, t in decreasing order.
d, t, 0
Let n = 9 + -7. Let u = n + -2. Let j = -3 - -8. Sort u, 0.3, j in ascending order.
u, 0.3, j
Let b be (0 - 2) + 1811/(-9). Let y = b + 203. Put -2, y, -5 in decreasing order.
y, -2, -5
Suppose 3*b = 6*b - 90. Suppose 8*a - b = 3*a. Sort 1, a, -5 in increasing order.
-5, 1, a
Let j = 2 - 3. Suppose -2*t = -5*t + 15. Let r(v) = -v**3 + 4*v**2 + 5*v + 3. Let y be r(t). Sort j, y, 0.3 in descending order.
y, 0.3, j
Let a(q) = q**3 - 17*q**2 - 39*q + 14. Let c be a(19). Suppose -4*t + 1 = -15. Suppose 0 = -t*x - 3*j, 2*x - j = 2*j + 18. Sort 2, x, c in decreasing order.
x, 2, c
Suppose -6*j + 6 = -4*j + w, 0 = 3*j - 2*w - 2. Put j, 10, -5 in ascending order.
-5, j, 10
Let y(i) = i**3 + 7*i**2 + 5*i - 3. Let a be y(-6). Let t be (1/1)/(a/(-6)). Let z = t - -7. Put z, 4, 5/3 in decreasing order.
z, 4, 5/3
Let g = 1.6 + -1.1. Let a = -52/7 - -201/28. Put a, 5, g in decreasing order.
5, g, a
Let p = -36 + 35. Let z(k) = 2*k + 2. Let i be z(-3). Put 0, p, i in descending order.
0, p, i
Let o be ((-8)/(-78))/((-4)/6). Put 0.03, 1, o in descending order.
1, 0.03, o
Let j be (-104)/(-12) + (-2)/3. Let p = 13 - j. Put -1, p, 2 in descending order.
p, 2, -1
Let s(p) = -p**2 - 9*p - 6. Let q be s(-8). Sort q, -2, 1 in descending order.
q, 1, -2
Let x = -9 + 5. Let u(o) = o + 6. Let a be u(-6). Let v = a + 4. Put v, x, 2 in descending order.
v, 2, x
Let h = 0.29 + 0.01. Put h, 5, -2/5 in increasing order.
-2/5, h, 5
Suppose 6*q - 5*q = -5*m + 10, 2*m = q - 3. Let f = 1 + 0. Sort 4, f, q.
f, 4, q
Let f = -0.3 - 0.1. Put 0.4, 0.1, f in decreasing order.
0.4, 0.1, f
Let n = -1 + -3. Let l = -33 - -33.13. Let v = l + -0.13. Sort v, -0.5, n in increasing order.
n, -0.5, v
Let i = 0.2 + -0.9. Sort i, -0.2, -2/19 in decreasing order.
-2/19, -0.2, i
Let m = 386 + -386.4. Let j be (-1)/(14/30) + 2. Sort j, -7, m in decreasing order.
j, m, -7
Suppose 0 = 3*o - 5*k + 22, 5*o + 2*k + 6 + 10 = 0. Put 0, o, -3 in descending order.
0, -3, o
Suppose -3*d + 4*d = 0. Let k(p) = p**3 + 5*p**2 + 2*p + 1. Let l be k(-2). Let h be (12/l)/((-2)/(-6)). Put 3, h, d in descending order.
h, 3, d
Let u be (-1 - -3)/((-20)/(-3)). Let v = -1/20 + u. Let j = 7 + -12. Sort v, j, 5 in descending order.
5, v, j
Let i be ((-2 - 0) + 8)*(-4)/(-6). Suppose -4*y = -12 - 0. Suppose -i*d = 4*a - 6 - 6, 0 = y*a + d - 3. Sort -2, -1, a.
-2, -1, a
Let n = 6/55 + 27/55. Sort -1, n, 7 in decreasing order.
7, n, -1
Let s(z) = -z**3 - z**2 + 8*z + 7. Let t be s(-6). Let h = t + -970/7. Let q be 2/22*(-1 + -1). Sort q, -0.3, h.
-0.3, q, h
Suppose -7 = -3*n - 1. Suppose -5*z = -8*r + 3*r - 10, -n*z - 3*r - 16 = 0. Let t be ((-2)/z)/((-6)/12). Put t, 4, 2 in decreasing order.
4, 2, t
Let z = 0.15 - 1.75. Let n = -4.4 + z. Let l = 2 + n. Put 0, 0.2, l in descending order.
0.2, 0, l
Let t = -7 + 10. Suppose -6*d + d = -3*o + 4, -3*o = 4*d + 14. Put d, t, 0 in descending order.
t, 0, d
Suppose 0 = -2*q - 2, -3*o - 6*q + 3*q = 6. Put -4, -11, o in ascending order.
-11, -4, o
Let g be 0/1 - (-1)/(-2). Let b = -1 + 1.4. Put g, b, -0.1 in increasing order.
g, -0.1, b
Suppose 12 = -5*f + f. Let s = -0.33 - -0.43. Put -1/6, s, f in descending order.
s, -1/6, f
Suppose -3*k = -42 + 9. Let q = k - 9. Sort -3, q, 0 in descending order.
q, 0, -3
Let n = 3 + -5. Let i be (-4)/14 - (n - -2). Suppose 2*w - 4 = 5*o - 0*o, 4*o - 3*w = -6. Put -2/5, i, o in decreasing order.
o, i, -2/5
Suppose -5*m - 15 = 5*i - 75, 3*m + 2*i = 32. Suppose 0 = 4*x - 20 - 0. Let c = x - m. Put -2/9, 3/5, c in ascending order.
c, -2/9, 3/5
Let v(c) = c - 15. Let p be v(12). Put 5, 2, p in decreasing order.
5, 2, p
Let t = 6.9 - 6.8. Put 7/4, 3, 0, t in decreasing order.
3, 7/4, t, 0
Let y = -176 + 174. Sort 6, 0, -1, y in increasing order.
y, -1, 0, 6
Let q = 6 + -1. Suppose -4 = -q*g + 4*g. Suppose -c = -4*c + 15. Put c, g, 1 in decreasing order.
c, g, 1
Suppose 0 = -4*x + 1 - 17. Sort x, 3, 2.
x, 2, 3
Let b be 6 + 2 + 0/2. Suppose -3*t = -b*l + 3*l + 37, 5*l = -5*t + 5. Let o be (-2 + 4 - 4) + l. Put o, 2, -2 in increasing order.
-2, 2, o
Let y be 8/(-10)*5/9. Let g = 18.1 - 19.1. Sort g, y, 3/5 in descending order.
3/5, y, g
Let q be (3/2)/(21/4). Suppose -13*f + 3*f + 20 = 0. Sort q, f, -0.2 in decreasing order.
f, q, -0.2
Let t = -6 + 1. Put 2, 0.4, t in decreasing order.
2, 0.4, t
Let s(o) = o + 17. Let f be s(-15). Sort -1, 5, f.
-1, f, 5
Suppose 22*h - 26*h = 4. Put 8, 1, h in decreasing order.
8, 1, h
Let f = 7 + -10. Let q(g) = g - 2. Let c be q(1). Sort 5, c, f in descending order.
5, c, f
Let x = 182 - 182.07. Put 0.2, 0.1, x in descending order.
0.2, 0.1, x
Let d = -59/268 + -2/67. Let r = -0.5 - -0.9. Sort d, r, 4 in descending order.
4, r, d
Let a = -2 - -1.5. Suppose -3*v - 9 = -0. Put v, -2/5, a in ascending order.
v, a, -2/5
Let p = -4040662/35387 + 10/3217. Let o be (12/5)/(2/95). Let v = o + p. Sort 3, 2, v.
v, 2, 3
Let x = -3 + 4. Sort 3, x, 1/3 in increasing order.
1/3, x, 3
Let g(h) = h + 3. Let t be g(0). Let q be (4/(-6))/((-2)/t). Let s(a) = -3*a - 13. Let z be s(-5). Put q, z, 0.1 in increasing order.
0.1, q, z
Let t(h) = -3*h - 5. Let m be t(0). Sort m, -3, 2 in ascending order.
m, -3, 2
Let m be -2*(-5)/(10/4). Let p be (-11)/2 + 6/4. Sort m, -3, p in increasing order.
p, -3, m
Let x = 32 + -286/9. Sort -5, x, -8 in descending order.
x, -5, -8
Let q be (-1)/11*35/21. Let v = q + -2/11. Put -3, -1/4, v in descending order.
-1/4, v, -3
Suppose 5*k - 24 = 5*u - 4, -4*k + 25 = 5*u. Sort 7, -4, u in increasing order.
-4, u, 7
Suppose -2*v + 28 = 18. Put -4, -3, v in ascending order.
-4, -3, v
Let z = -5 + 1. Put 4, z, -12 in ascending order.
-12, z, 4
Let y = -21.1 - -19. Let c = 1.7 + y. Put 3, c, -4 in ascending order.
-4, c, 3
Let u be 2/(-3)*6/(-4). Suppose 2*h = u + 1. Let g = h + 4. Put g, 3/2, -3/4 in decreasing order.
g, 3/2, -3/4
Suppose x - 4 = -3*x. Let b be (-2*1 + 3)*-9. Let h be 3/(-2)*12/b. Sort -5, h, x in ascending order.
-5, x, h
Let k be 1/(5/(-8)) - -1. Put 1/4, 1/10, k in decreasing order.
1/4, 1/10, k
Suppose 15 = -i + 4*l, 2 = 2*i - l + 4. Sort i, -9, 3 in increasing order.
-9, i, 3
Suppose -1 = -r + 1. Suppose r*f - 25 = -3*f. Put f, 1, 2 in ascending order.
1, 2, f
Let g = -9 + 11. Let d = -3 - g. Put -1, -4, d in descending order.
-1, -4, d
Let c be (4 + 0 + -5)/1 - 1. Sort c, 8, 1 in increasing order.
c, 1, 8
Let y = 478/7 + -68. Let b = 3 + 4. Let j = 10 - b. Put y, j, -5 in ascending order.
-5, y, j
Let q be (-24)/10 - (-3)/(-5). Put q, -1/6, 0.2 in decreasing order.
0.2, -1/6, q
Let w = -30 + 29.9. Sort 17, w, 0.2 in descending order.
17, 0.2, w
Suppose -2*q + 5*q = 15. Suppose 9 + 1 = -q*u. Sort u, -5, -4.
-5, -4, u
Let b = -15 - -15.05. Let w = -0.15 + b. Let f be -6*-2*(-1)/16. Sort 0.1, w, f in descending order.
0.1, w, f
Let d = -0.34 + -0.16. Put 0.1, 1/4, d, 0.3 in ascending order.
d, 0.1, 1/4, 0.3
Let v(o) = -o**3 + 2*o**2. Let n be v(2). Put n, -5, -2, 3 in ascending order.
-5, -2, n, 3
Suppose 0 = -0*z - z + 4. Suppose 9*f = 11 + 16. Sort z, -5, f.
-5, f, z
Let q = -39 + 41. Let b(x) = -x**2 + x + 3. Let h be b(-3). Put -1, q, h i