p - 8, 3*v + 1 = 5*p. Put -4, 4, 1, v in decreasing order.
4, v, 1, -4
Suppose w + 2 = -0*w, 2*h + 4*w - 2 = 0. Let m(o) = o**2 - 6*o + 1. Let y be m(h). Sort y, 3, 1.
y, 1, 3
Suppose 3*d = -2*c - 20, 6*c = 4*d + 2*c + 60. Put d, 0, -5 in decreasing order.
0, -5, d
Let k = -797/5 + 159. Sort -0.06, k, 1/3 in decreasing order.
1/3, -0.06, k
Suppose 2*k + 12 = 2, -2*u - 25 = 3*k. Let f(g) = g + 4. Let a be f(u). Sort a, 1, 0 in increasing order.
a, 0, 1
Suppose -6*x + 11*x - 10 = 0. Let w(o) = o**2 + 6*o - 3. Suppose 3*t + 4 + 14 = 0. Let l be w(t). Sort 3, x, l in descending order.
3, x, l
Let u(s) = -3*s + 2. Let m be u(4). Let q = 67 + -58. Let j = q + m. Sort -2, -3, j in descending order.
j, -2, -3
Suppose 6*j = 88 + 122. Let u be (-2)/(-10) + (-287)/j. Sort 2, u, 5.
u, 2, 5
Let t = 21.2 - 22. Let i = t - -1.3. Sort 0.3, -3/4, i in descending order.
i, 0.3, -3/4
Let d = -0.01 - 1.99. Let n = -0.4 - -0.9. Put n, 2, d in descending order.
2, n, d
Let u = 343/3 - 113. Let d = 0 - 0. Put 2/11, u, d in decreasing order.
u, 2/11, d
Let y = 2.9 + -3. Let z be (-10)/55 + 40/(-22). Sort y, 4, z in increasing order.
z, y, 4
Let w = -1.4 + 0. Let q = w + 0.4. Let y = q - -0.5. Put -1, 4, y in ascending order.
-1, y, 4
Let s = -3 + -2. Sort -4, -3, s in ascending order.
s, -4, -3
Let a(b) = b**2 + 4*b - 8. Let o be a(-6). Let x be (-4)/6*(-6)/(-10). Sort x, o, -0.3.
x, -0.3, o
Let p(r) = 3*r - 1. Let q be p(-1). Let l = -3 - q. Let h = -34 - -32. Sort l, -1/3, h.
h, -1/3, l
Let p = -0.97 + -0.03. Let q = 3 + -6. Sort -5, q, p in decreasing order.
p, q, -5
Suppose -15 = -4*q - 2*b + b, -4*q + 35 = -3*b. Let t(g) = g**3 + 6*g**2 - g - 3. Let f = 1 + -7. Let l be t(f). Sort 1, l, q in descending order.
q, l, 1
Suppose 0*n - 4*n = 32. Sort 3, -1, n in decreasing order.
3, -1, n
Let u = -16908/35 + 483. Let y = u + -1/105. Let o = -1.0053 + 0.0053. Put 0.2, y, o in ascending order.
o, y, 0.2
Suppose i - 3 = 2. Suppose 4*b = 7*b - 12. Let f(l) = l**2 - 6*l - 4. Let x be f(6). Sort b, x, i in descending order.
i, b, x
Let m = -26.5 - -26. Suppose 0 = 3*g + 2*g - 15. Sort m, g, 0.5 in increasing order.
m, 0.5, g
Let l = 611/9 - 68. Let a = -0.04 + -0.06. Let r = -2.14 + 0.14. Sort a, r, l in decreasing order.
a, l, r
Suppose -2 - 3 = 5*h. Let k be h/(-3) + (-24)/(-90). Let d be 2/3*3/6. Sort k, 3, d in descending order.
3, k, d
Suppose 2*v = g + 3*g, 0 = 3*g + 5*v - 26. Suppose g*z - 1 = 15. Let y(s) = s**2 - 7*s - 9. Let c be y(z). Put c, -5, 5 in increasing order.
-5, c, 5
Let o be 5 + 3 + -1 - -3. Suppose 4 = 6*t - o*t. Put t, 4, -4 in descending order.
4, t, -4
Suppose 0 = -z - 2*i + i + 3, -3*i + 3 = 0. Let s be -1 - 2 - z/(-2). Sort s, -5, 2.
-5, s, 2
Suppose j + 1 = -4. Let w = -4 - -2. Sort -3, j, w in ascending order.
j, -3, w
Suppose 5 = -2*r - f, -2*r = -5*f + 7 + 16. Let a(c) = -c + 9. Let o be a(8). Let d be 1 - (o - 1 - -6). Sort 2, r, d in ascending order.
d, r, 2
Let a(o) = -o**3 - 8*o**2 - 9*o - 16. Let q be a(-7). Sort q, 0.06, 4.
q, 0.06, 4
Suppose -2*q + 5 = -13. Suppose -1 = -5*m + q. Let l be ((-5)/(-2))/1*-2. Sort -3/2, m, l in descending order.
m, -3/2, l
Let c(z) = -z**3 - 10*z**2 - 9*z + 3. Let v be c(-9). Sort 1, 19, v in increasing order.
1, v, 19
Let z = 0 + -2. Let n(i) = -13*i - 2. Let d be n(-1). Let c be (-1)/(3 + d/(-4)). Sort z, 5, c in ascending order.
c, z, 5
Let w = -0.14 - -0.64. Let p be 30/(-9) - (-16)/(-24). Sort w, 3, p.
p, w, 3
Suppose 0 = -3*j - 4*b + 15, 4*j = 3*b - 8 + 3. Let s be (0/1 - -1)/j. Let h = -2 + s. Put h, 3, -5 in decreasing order.
3, h, -5
Suppose 2*p + 21 = 5*p - 4*x, -x = 3. Sort p, 1, -3.
-3, 1, p
Let u = -1 + 3. Let b be 0*2/(6/(-3)). Sort 1/2, b, u.
b, 1/2, u
Let o be 1 + -2 + 14/7. Sort -11, -2, o, 4 in descending order.
4, o, -2, -11
Let y be 1*(-1)/2*0. Suppose -1 = k - y. Sort -2, k, -5.
-5, -2, k
Let z = 1.2 + -1. Let d = 32 - 29. Put z, -0.4, d in ascending order.
-0.4, z, d
Let w(c) = c**2 - 2 + 2*c - 6 + 2*c. Let l be w(-6). Let k = l + -1. Sort k, -1, 5 in decreasing order.
5, k, -1
Suppose 5*y - 27 = -42. Let c = 3 - 2. Sort y, c, -5 in descending order.
c, y, -5
Let o = -2 - -3. Let s = 4 + o. Put s, 0, -1 in descending order.
s, 0, -1
Suppose 0*q + 5*q - 25 = 0. Let r = -4 + 7. Suppose -r*p = -3, p = -4*j + 4*p - 7. Put q, j, 3 in descending order.
q, 3, j
Suppose 3*v = 5*q - 34, -15 = -5*q + 2*q. Let h = -0.2 + 1.2. Let f = 0.9 - h. Sort v, f, -1.
v, -1, f
Let i(g) = g - 14. Let h be i(14). Sort 3, h, -4 in descending order.
3, h, -4
Let y(r) = r**2 - 2*r - 1. Let c be y(-1). Let b = -117 - -116. Put 3, c, b in decreasing order.
3, c, b
Let b = -2.5 - 2.5. Sort 1/4, 0.3, b, -2 in decreasing order.
0.3, 1/4, -2, b
Let s = -0.37 + 0.07. Put s, 1/4, -1/4 in descending order.
1/4, -1/4, s
Let n = 1 + -3. Suppose 4*w + 3*q = 3*w + 3, 0 = -2*w - q + 1. Suppose -12 = -w*m - 3*m. Put n, m, 5 in decreasing order.
5, m, n
Let r = 44 - 43.9. Let t = -4.01 + 0.01. Sort -3/8, r, t in decreasing order.
r, -3/8, t
Suppose 3*k - 4*k + 6 = 0. Let w = k + -9. Let g be w/2 + (-2)/(-4). Put 0, g, 1 in increasing order.
g, 0, 1
Let a(m) = -5*m + 1. Let i be 2*6*(-1)/(-4). Suppose o - 6*o = 2*q - 3, o = -4*q - i. Let u be a(o). Sort 2, -2, u in increasing order.
u, -2, 2
Suppose -5*j + 5*i = -30, 0 = 2*j + 3*i + 2*i + 9. Suppose m + j - 1 = 0. Put 2, m, -3 in descending order.
2, m, -3
Suppose 2*j - 90 = -72. Sort 1, -4, j, -3 in decreasing order.
j, 1, -3, -4
Suppose -4*o + 8 = 0, -o = -4*m + o + 12. Sort 2, m, -4 in increasing order.
-4, 2, m
Let a = -3.3 + 21.3. Let f = a - 17.6. Let i be (-2)/2 + 2/4. Put i, f, -0.1 in descending order.
f, -0.1, i
Suppose 2*v - 5 = v. Let m = 13 - 13. Let p(g) = 3*g. Let a be p(-1). Sort v, m, a in decreasing order.
v, m, a
Suppose x - 3*x = 16. Let k = 6 + x. Let c(t) = t**3 + 2*t**2 - 2*t - 1. Let h be c(-2). Sort h, 5, k in increasing order.
k, h, 5
Let z = -3.7 - -4. Sort 1/4, -12/7, z in increasing order.
-12/7, 1/4, z
Let n = 1 + 3. Let d = n - 9. Let s = 0 - 0. Put d, 3/4, s in increasing order.
d, s, 3/4
Let j = -2.5 - -3. Sort j, 5, -6/5 in increasing order.
-6/5, j, 5
Let t(c) be the third derivative of -c**6/120 - 2*c**5/15 - c**4/3 - c**3/3 + 6*c**2. Let p be t(-7). Put 6/5, -2, p in decreasing order.
p, 6/5, -2
Let p = 3/214 - -401/1926. Put 0.05, -5, p, 3 in descending order.
3, p, 0.05, -5
Let q(a) = 2*a + 7. Let z be q(-3). Put 8, -3, z in decreasing order.
8, z, -3
Let f = -0.001 - 0.209. Let n = 0.41 + f. Sort -0.5, n, -5.
-5, -0.5, n
Let r = -8 + -1. Put -2/21, -0.5, r in descending order.
-2/21, -0.5, r
Let n be (12/8)/((-2)/4*-1). Sort n, -5, 0, 9.
-5, 0, n, 9
Let h(a) = 2*a + 5. Suppose 5*c + 14 = t, c + 18 + 0 = 4*t. Let s be h(c). Sort 4, s, -1.
-1, s, 4
Let d = 23 - 18. Let x(h) = -4 + 1 + 2*h + 2 + 2*h**3. Let o be x(1). Sort o, d, -1 in decreasing order.
d, o, -1
Let q(c) = c**3 - 5*c**2 + 3*c + 7. Let k be q(4). Sort -2, -26, k, 2 in decreasing order.
k, 2, -2, -26
Let b be (-15)/3 - (-3)/1. Let c be (b - 1)*(1 - 2). Let k be c + (2 - 87/15). Sort -1, k, 0.4 in descending order.
0.4, k, -1
Let x be 9 + -1 + -2 - -1. Let a(m) = m**3 - 8*m**2 + 8*m - 10. Let w be a(x). Suppose 2*h + r - 3*r = 4, 4*r = 5*h - 13. Put 4, w, h in descending order.
h, 4, w
Let g = 24 - 20. Put g, -5, 13 in descending order.
13, g, -5
Suppose -2*m - 5 - 7 = -4*c, -3*c = -3*m - 6. Suppose 0 = 6*v - 2*v - 12. Suppose -4*q + v*j = 17, -3*q + 6*j - 21 = j. Put -5, q, m in increasing order.
-5, q, m
Let t(h) = h**2 + 1. Let j be t(-1). Suppose 63 = -11*x + 19. Sort j, -1, x.
x, -1, j
Let d(k) = -k**3 + 5*k**2 + 13*k - 3. Let u be d(7). Sort -5, 1, u.
u, -5, 1
Let z = 0 + 0. Suppose 4*r = -z*r. Put -2, r, 3 in decreasing order.
3, r, -2
Let z(t) = 2*t + 4 - t**2 + 0 + 5*t. Let f be z(7). Put -5, 3, f in ascending order.
-5, 3, f
Let z = -1909/8 - -239. Sort 3, z, -1.
-1, z, 3
Let p = -15.5 - -15. Let h(s) = -3*s**2 + 2*s + 1. Let w be h(-1). Let b = 0 + -3. Sort w, p, b in decreasing order.
p, b, w
Let p be 3*(4 - (-40)/(-6)). Let q be 1/(((-3)/(-9))/(-1)). Put 1, p, q in decreasing order.
1, q, p
Let k be (13/(-5))/((-2)/10). Let n = -16 + k. Suppose 2*q = 2*t + 6, 3*q = -0*t - 5*t - 15. Sort -2, q, n in descending order.
q, -2, n
Let s = 1 - 0.5. Let g(y) = -y**2 