t j = -3 - z. Put 2/7, j, -0.5 in decreasing order.
2/7, j, -0.5
Let q = 0 + 2. Put 9, 3, q in decreasing order.
9, 3, q
Suppose 0 = -10*a + 5*a - 5, -13 = -4*o + 5*a. Let r = -12 + 9. Let x = o + r. Put -4, x, -2/3 in increasing order.
-4, x, -2/3
Let m be (2*3)/2 + 0. Let k = 9 - 9. Put k, m, -3 in decreasing order.
m, k, -3
Suppose -5*t + 6 = -9. Suppose 0 = -5*m - 5, -t*p + 2*m - m = 11. Let r(x) = -x**3 + 3*x**2 + 10*x - 3. Let z be r(5). Sort z, p, -2.
p, z, -2
Let v be 8/3 + 2/6. Let t = 1 - v. Suppose -7*q = -12*q + 20. Sort q, -5, t in decreasing order.
q, t, -5
Let f(d) = d - 5. Let x be f(4). Let m be -4*(-2)/(-10)*x. Let c be (-1)/2*(-6)/(-8). Sort m, c, -0.2.
c, -0.2, m
Let k = 0 + -5. Suppose 0 = -b - 7 + 13. Sort k, b, 0 in descending order.
b, 0, k
Let g = -84 + 86. Sort g, 1, 17 in descending order.
17, g, 1
Suppose 30 - 10 = 4*q. Suppose 0*c = 3*c - 6. Sort c, 3, q in descending order.
q, 3, c
Let w(s) = -s**2 + 6*s + 5. Let c(y) = 2*y**2 + 2*y + 2. Let f be c(-2). Let k be w(f). Put -5, 1, k in descending order.
k, 1, -5
Let o = -16 + 11. Sort -4, 5, o.
o, -4, 5
Let i = 4.97 + -5. Let z = i - 0.47. Sort z, -5, -2 in descending order.
z, -2, -5
Let n be ((-22)/33)/((-2)/(-15)). Sort 1/2, n, 0.2, 15.
n, 0.2, 1/2, 15
Suppose -6*p - 15 = -p. Suppose v - 11 = -0*s - 2*s, 0 = -5*s - v + 20. Put s, p, 4 in increasing order.
p, s, 4
Let c = -40 + 45. Let m(b) = -5*b - 2*b**2 + 0*b**2 + b**2 - 3. Let z be m(-3). Put c, 4/9, z in descending order.
c, z, 4/9
Let i = -35 - -34.8. Sort 3, -1, i, 0 in ascending order.
-1, i, 0, 3
Suppose -7*x + 5*x + 4 = 0. Put -4, -8, x in descending order.
x, -4, -8
Let s be 3/(-6)*24/30. Sort -3, -2, -1/2, s in descending order.
s, -1/2, -2, -3
Suppose 0 = o - 2*o + 3. Suppose -16 + 4 = 3*f. Sort o, f, -3 in decreasing order.
o, -3, f
Let n(i) = 3 + 2 - 5 + 13*i + i**2 - 1. Let a be n(-13). Let l be 1 + (2 - 2)/a. Sort -4, l, -3.
-4, -3, l
Let t be 5/(-10) - 7/(-2). Suppose 5*u - 9 = -h, 3*h - 2 = -u - t. Suppose 5*l + 3*v - 6 = 0, 0*l + l = 4*v + 15. Put 4, h, l in descending order.
4, l, h
Let v(b) = -b**3 - 4*b**2 + 5*b + 4. Let i be v(-5). Suppose -3*f + i*y + 5 = 0, 2*f = -0*f + 2*y. Sort -2, -3, f in descending order.
-2, -3, f
Let o = 0.7 - 0.2. Let p(c) = c**2 + 4*c - 11. Let i be p(-8). Let n be 11/(-35) - 6/i. Put n, -3, o in decreasing order.
o, n, -3
Let p = -36.7 - -37. Put -0.08, p, -1/4 in descending order.
p, -0.08, -1/4
Let j = -0.2 + -0.3. Let q be (17 - 11)*2/(-4). Let l be -2 - q - 7/8. Put j, l, 1/5 in descending order.
1/5, l, j
Suppose -1 = c - 3. Let o(x) = -x**3 + 3*x**2 + 7*x - 13. Let f be o(2). Sort -2, f, c in increasing order.
-2, c, f
Suppose 0*n + n + 3*k - 14 = 0, -5*n + 5*k = 30. Put 0, -5, 4, n in decreasing order.
4, 0, n, -5
Let s = 127/5 + -26. Let m be (-2)/5 - (-2 + 1). Sort s, m, 3 in increasing order.
s, m, 3
Let d be ((-24)/6)/(-4 - -2). Sort 3, d, 1.
1, d, 3
Suppose o + 4 = 3*u, 0 = 4*u - o - 0 - 5. Sort u, 3, 5 in descending order.
5, 3, u
Let w(b) = b**3 + 3*b**2 - 5*b - 1. Let c be w(-4). Let i = -3 - -5. Put i, 0, c in descending order.
c, i, 0
Suppose -2*t = -b + 4 + 2, t - 1 = 0. Let j = 8 - b. Sort 3, j, -1 in ascending order.
-1, j, 3
Let q = 17 + -17.5. Put -1/6, 8, q in descending order.
8, -1/6, q
Let h = -6076/5 + 340511/280. Let w = -5/8 + h. Sort w, 1/4, -3 in ascending order.
-3, 1/4, w
Let y = -24 - -101. Let s be (-2)/(-7) + (-8)/y. Let m = -5 + 5.5. Put s, -0.1, m in increasing order.
-0.1, s, m
Suppose -10 = -4*g + 2. Suppose -2*c = 1 - 7. Suppose -c*i = -3*z - 0*i + 21, 3*i + 11 = z. Sort g, 2, z in descending order.
z, g, 2
Let g = 24 + -18. Suppose 0 = 3*b - 5*r - 8, 0*b = -b - 4*r - 20. Put b, -3, g in decreasing order.
g, -3, b
Let b = 25 + -24.3. Sort b, -0.2, -2 in ascending order.
-2, -0.2, b
Let x be 1*(-4 + -1)*-1. Let d be -3 + (-14)/(-4) + (-88)/16. Put x, 3, d in descending order.
x, 3, d
Let f(y) = -y**3 + 7*y**2 + 18*y - 9. Let n be f(9). Let w = 3 + -4. Put n, 3, w in ascending order.
n, w, 3
Suppose -6*x + 20 = -2*x. Let t = 61 - 62. Sort t, -3, x in descending order.
x, t, -3
Suppose -l = -r + 13, -r - l = -0*r - 7. Let a be (4/8)/(1/r). Let j(s) = -s**3 + 4*s**2 + 6*s - 2. Let z be j(a). Put -2, z, -1 in descending order.
z, -1, -2
Let l(s) = -3*s**2 + 4*s - 2. Let v be l(2). Let a be v/7 + -1 + 2. Sort -4, a, 2/7 in decreasing order.
2/7, a, -4
Let m = 12 + -8. Let s be m/(-14) + 0/(-3). Sort -4, s, 0.2.
-4, s, 0.2
Let d = -47 + 43. Sort -19, d, -1.
-19, d, -1
Suppose -3*k + 6*k + p = 36, 3*k = 4*p + 21. Put k, 4, -1 in decreasing order.
k, 4, -1
Let s = 6 - 4. Suppose 0 = -2*y + 8 - 4. Let g be y/8 - (-11)/4. Sort 5, g, s.
s, g, 5
Let f be 87/(-29)*17/(-3). Put 3, -4, f in decreasing order.
f, 3, -4
Let p = 0.28 + 10.72. Let h = -2 - 4. Let s = p + h. Sort 2/7, s, -5 in increasing order.
-5, 2/7, s
Let w be (18/14 - 1)/(6 - 1). Put w, -3, 0.2, -0.4 in decreasing order.
0.2, w, -0.4, -3
Let h = -11 + 6. Let l(w) = 2*w**3 + w**2 + w - 1. Let p be l(1). Suppose 3*f + p = -2*v, 5*v - 9 + 4 = 5*f. Sort 0, f, h in increasing order.
h, f, 0
Suppose i = 6 - 4. Suppose 2*g + 11 = i*j - j, 5*g + 35 = 5*j. Put 4, 0, g in descending order.
4, 0, g
Let o = -25 + 27. Sort 2/21, o, -0.2 in decreasing order.
o, 2/21, -0.2
Suppose -2*h = h + 12. Let y(a) = -a + 1. Let i be y(h). Suppose 5*u = 14 + 6. Sort i, u, 3 in increasing order.
3, u, i
Let b = -6 - -14. Let f = 168 + -166. Sort f, 0, b.
0, f, b
Suppose -20 = -7*p + 11*p. Sort p, -2, -3 in decreasing order.
-2, -3, p
Suppose 4*v + 28 = 4*t - 8, -t - 15 = 5*v. Suppose 5*q = 5 + 15. Sort 1, q, v.
v, 1, q
Suppose -5*j + 2*z + 26 = 4*z, -9 = -3*z. Let a be 1/((0 + -2)/(-4)). Sort -3, j, a in decreasing order.
j, a, -3
Let c be 1/3 - (-2 + 2). Suppose -4*i = -2*u + 6, 2*u = -3*u - 5*i - 30. Sort c, u, -0.05.
u, -0.05, c
Suppose 0 = -r, -4*m + m - 3*r + 6 = 0. Put m, -2, -17 in decreasing order.
m, -2, -17
Suppose -5*f + 2*c + c + 40 = 0, -2*f - 15 = 5*c. Suppose f*k + 14 = -1. Suppose -2*r - r - 15 = 0. Sort r, k, 2 in descending order.
2, k, r
Let t = -11/6 + 175/102. Let q = -528 - -531. Put q, t, 1 in ascending order.
t, 1, q
Suppose -15 = -0*y - 3*y. Let o = 381/7 + -54. Sort y, o, 1/2.
o, 1/2, y
Let r(x) = 2 - x + 1 + 1 - 1. Let l be r(7). Put l, 0, 1 in decreasing order.
1, 0, l
Suppose -5*y + 4 - 19 = 0. Let p(h) = h**3 - 9*h**2 + 8*h - 4. Let a be p(8). Put a, y, 3 in ascending order.
a, y, 3
Let u = -6/65 - -19/65. Sort u, 4, 0.3, 0.4 in increasing order.
u, 0.3, 0.4, 4
Suppose -8 = -6*z + 2*z. Suppose z*d - 7*d = 0. Put 1, d, -2 in ascending order.
-2, d, 1
Let x = -0.09 - 0.91. Sort 2, x, -0.1 in increasing order.
x, -0.1, 2
Let s = 0.22 - -0.08. Let d = 3/43 - -53/473. Put -1, s, d in increasing order.
-1, d, s
Let s be 3/(-9)*(-9)/5. Let w = 97 + -96. Sort s, -8, w in decreasing order.
w, s, -8
Let c = -44 - -83/2. Let y = -0.12 - -0.32. Put 2, c, y in descending order.
2, y, c
Let i(v) = 1. Let s(l) = l. Let z(w) = -i(w) + 6*s(w). Let o be z(1). Let q be (-1)/(-1) + (0 - -3). Sort o, q, -5.
-5, q, o
Let f be (-14)/21*(-3)/10. Let d be 4/(-2) - 6/3. Let t = -7 - -10. Put t, d, f in ascending order.
d, f, t
Let i be -10*2/(-4)*-1. Let r = 29 - 28. Sort 0, i, r.
i, 0, r
Suppose -p + 4*q = -4, -43 = -0*p - 5*p - 3*q. Let t = p + -8. Put t, 5, 1 in increasing order.
t, 1, 5
Let v(n) = -n**3 + 5*n**2 - 4*n + 4. Let u be v(4). Let f = 0.08 - 1.1. Let a = f - -0.02. Put a, 0, u in decreasing order.
u, 0, a
Suppose 26 = -13*h + 13. Let v = -8 - -13. Sort v, -3, h in increasing order.
-3, h, v
Suppose 7*a + 18 = -3. Suppose -u + 5*u = 16. Let h = -12 - -17. Sort h, a, u in decreasing order.
h, u, a
Suppose -s = -6*s - 30. Let b = s - -5. Put b, 5, -3 in descending order.
5, b, -3
Let p = 2 + -3. Let g = 50 - 50. Let n be (1/(-3))/((-1)/6). Put p, n, g in descending order.
n, g, p
Let f(q) = -q**2 - 8*q + 2. Let x be f(-8). Suppose x*r - 1 = -5. Sort r, -1, 2 in ascending order.
r, -1, 2
Let g(v) = -v**2 + 8*v + 1. Let w be g(8). Let f(r) = -r - 7. Let u be f(-6). Sort w, u, 2.
u, w, 2
Suppose -2*u = 4 + 6. Put 9, 1, u in increasing order.
u, 1, 9
Let s be ((-4)/(-6))/((-2)/(-3)). Let b = 2 - 6. Put s, -3, b in descending order.
s, -3, b
Let r(t) = -2*t + 7. Let q be r(6). Put q