Suppose y - 3 = -4. Put y, q, 0 in increasing order.
y, 0, q
Let n be 34/2 + (-2 - -4). Suppose -10 = -2*s, 6*s - n = c + 2*s. Put 4, c, -2 in increasing order.
-2, c, 4
Let y = -165 + 160. Sort y, 2, 17 in increasing order.
y, 2, 17
Let g be 14/6 - 3 - 17. Let l = 58/3 + g. Let z = -3 - -2.8. Sort z, l, 0.
z, 0, l
Let h = 3965/4 + -983. Let g = h + -8. Let a = 3 + -2.5. Sort g, a, 2 in ascending order.
g, a, 2
Let a(g) = g + 14. Let f be a(-9). Let i = -2 + 5. Sort i, 1, f.
1, i, f
Let x(l) = -l + 4. Let t be x(4). Suppose -3*k + 5*k - 10 = t. Sort -5, 6, k in increasing order.
-5, k, 6
Let m = -595/2799 + -3/311. Let h be 13/(-3) - 1/(-3). Sort m, h, 2/15.
h, m, 2/15
Let m = -12 - -11.6. Let o = -0.6 + -2.4. Put m, 0.5, o in decreasing order.
0.5, m, o
Let r = -2 - -3. Let f = 1 + -4. Let o = -0.64 + 0.14. Sort f, r, o in increasing order.
f, o, r
Let v(n) = -n**3 - 6*n**2 - 6*n. Let z be v(-5). Suppose 8*m - z*m = -24. Let g = 7 + m. Put g, 0, 4 in increasing order.
g, 0, 4
Let x = 0 - -1. Suppose b = -1 - 0. Put b, x, -5 in decreasing order.
x, b, -5
Let j be (-6)/9*-3 + 1. Let w = -8 + j. Put w, 5, 3 in increasing order.
w, 3, 5
Let h = 0.3 + 0. Let p be ((-6)/((-36)/(-10)))/2. Let j = -19/18 - p. Put j, h, 2 in descending order.
2, h, j
Let q = 78 - 75. Let j = 2.4 + -2. Put 2/21, j, q in descending order.
q, j, 2/21
Let y = 2 - 4. Let g = 7 + y. Let o = 2/545 + -1649/3815. Sort o, -3/2, g in decreasing order.
g, o, -3/2
Let i = 0.1 + -0.6. Let d(y) = 5*y**2 + y + 1. Let r be d(-1). Sort -3, i, r in ascending order.
-3, i, r
Suppose 2*z - 5*z - 42 = 0. Let b be z/(-18) - 6/(-27). Put 0.2, -4, b in increasing order.
-4, 0.2, b
Let v = -1 + -1. Let j = -31.8 + 32. Sort v, j, -5 in descending order.
j, v, -5
Let k be (-6 - 2)/2 - -6. Sort k, -2, -0.9 in decreasing order.
k, -0.9, -2
Suppose 0 = -4*p + 20 - 4. Suppose -n = -4*n + p*h, 0 = -5*n + 2*h. Sort 5, n, -2 in decreasing order.
5, n, -2
Suppose 3*q + w = -4, -3 = q - 5*w + 9. Sort q, -10, 1/6 in decreasing order.
1/6, q, -10
Suppose 0*h - 2*y = 2*h + 12, -5*h - 18 = -y. Put h, -3, 3 in ascending order.
h, -3, 3
Let y = -8 + 8. Suppose 0 = 2*o + g - 2, -3*o - 2*g - g - 3 = y. Suppose 0 = -4*s + o*n + 16, -s + 3*s + 2 = -n. Sort 3, -1, s in increasing order.
-1, s, 3
Let l(r) = r - 9 - 4 - r**2 - 15*r. Let t be l(-13). Suppose 2*q = -t*q + 10. Sort -4, 3, q.
-4, 3, q
Let d = 54 - 53.9. Put -0.09, -2, d in decreasing order.
d, -0.09, -2
Let o = -1.4 + 1.8. Let a(l) = -l**3 - 3*l**2 - 2. Let u be a(-3). Let h = u + 3. Sort -2/7, h, o in decreasing order.
h, o, -2/7
Let u(h) = 2*h + 5. Let i be u(-5). Let d = -2 - -4. Suppose -d*y = -5*y - 6. Put 3, i, y in descending order.
3, y, i
Let x = -18.1 + 20. Let l = x + -3.9. Sort -1/4, l, -1 in decreasing order.
-1/4, -1, l
Let d(a) = -a**2 - 4*a. Let s be d(-2). Sort -4, 1, s in decreasing order.
s, 1, -4
Let c = -101/39 + 12/13. Let h = -3.051 - -0.051. Put h, c, -5 in ascending order.
-5, h, c
Let z(w) = -w - 2. Let p be z(-5). Suppose -3*j - 5*i + 34 = -6*j, 4*j + p*i = 3. Put 1/11, j, -0.4 in ascending order.
j, -0.4, 1/11
Let r = -13 - -9. Let w = -2 - 1. Let l = -1 - w. Sort l, -0.3, r.
r, -0.3, l
Suppose 0 = 4*q + 4*l - 16, 4*q - l - 2 = 2*l. Suppose 5*k - 4*k - 4 = 0. Put q, -2, k in descending order.
k, q, -2
Let z = 10 + -5. Let d = 1 + z. Let t(y) = -y + 1. Let j be t(d). Put -2, j, -4 in descending order.
-2, -4, j
Let q(t) = t**2 + 1. Let n be q(-2). Suppose -4 = -n*z + 6. Sort z, 4, -2 in descending order.
4, z, -2
Suppose 0 = 13*w - 17*w - 3*x + 50, -3*x + 6 = 0. Put 5, w, -4 in descending order.
w, 5, -4
Let q(u) = -5*u - 50. Let b be q(-11). Sort -0.5, b, 2/13, -5.
-5, -0.5, 2/13, b
Suppose -2*v + 12 = 5*y, v - 4 = -3*y - v. Suppose -2*f - 3*a - 7 = 0, 0*f + 7 = -5*f - y*a. Put 3, -1, f in decreasing order.
3, f, -1
Let y = 99 - 100. Sort y, 5, -2, 4 in decreasing order.
5, 4, y, -2
Let h be (386/(-6))/(-3 - -2). Let p = h - 65. Sort 1/5, p, -1.
-1, p, 1/5
Let z(v) = v**2 - 5*v + 6. Let j be z(4). Let t be 6/(-1 + 0/3). Let r be 10/15*t/4. Sort r, j, 1 in decreasing order.
j, 1, r
Let g = 21 - 21.8. Let u = -2 - -2.5. Let o = g + u. Sort o, 0.3, -0.5 in increasing order.
-0.5, o, 0.3
Let x(a) = -a**2 - 9*a - 5. Let p be x(-8). Let k be -1 + 60/(-33) + p. Let v = 1 + -4. Put 5, k, v in descending order.
5, k, v
Let w = -75 - -70. Put 31, 3, w in decreasing order.
31, 3, w
Let n = -1 + 7. Suppose -16 = -n*y + 2*y + 2*g, 5*y - 20 = -3*g. Put -3, 1, y in decreasing order.
y, 1, -3
Let s = -13 - -4. Let q be 12/s*(-4 + 1). Put q, 2, -5 in decreasing order.
q, 2, -5
Suppose -c - j = -4, 2*c + 4*j = 4*c - 20. Let y = c - 6. Suppose -l + y = -3. Put -2, -1, l in ascending order.
-2, -1, l
Suppose 29 = -4*v + 5*y, -v - y + 9 = y. Suppose -2*h + 0 = -2. Suppose -5*a = 12*a. Sort v, a, h in decreasing order.
h, a, v
Suppose -2*v + 3 - 5 = 0. Let p(t) be the third derivative of t**6/40 + t**5/30 - t**3/6 + t**2. Let b be p(-1). Put b, -5, v in descending order.
v, b, -5
Suppose -k = -5*x + 15, -3*k - 1 = -5*x + 14. Let l(i) = -4*i**2. Let s be l(1). Let q = 0 + s. Sort q, x, -2 in descending order.
x, -2, q
Suppose 0 = 4*x - 3*l + 22, -3*l = x - l. Let w(a) = 2*a**2 + 17*a + 11. Let t be w(-8). Put -1, x, t in descending order.
t, -1, x
Suppose s - 2*s + 5 = 0. Suppose s = -m - 4*m. Put 0, -2, m in descending order.
0, m, -2
Suppose 5*j + 14 = -11. Let x = -0.69 + 0.19. Put j, x, 2/13 in decreasing order.
2/13, x, j
Let b be (10/(-3) - -2)/(-6). Let a = 3 + 10. Let g = a + -53/4. Sort b, 3/5, g in descending order.
3/5, b, g
Let l = -4.8 + 2.8. Let x = -3.3 - -3. Put 1/5, l, x in increasing order.
l, x, 1/5
Let n be 4/(-3)*18/(-4). Let x = -8 + n. Suppose -5*b - 6 = y, y + 4*b = 5*b. Sort x, 5, y.
x, y, 5
Let a(k) = -k - 3. Let z be a(-4). Sort -2, -4, z in descending order.
z, -2, -4
Let m = -66.1 - -66. Put -7, 0, -5, m in increasing order.
-7, -5, m, 0
Suppose 9*t - 5 = 8*t. Let l = t - 6. Sort l, -0.1, 1 in descending order.
1, -0.1, l
Let t = 14 + -9. Sort 2/3, -0.2, -0.05, t in descending order.
t, 2/3, -0.05, -0.2
Let m = 41 + -41. Let y be ((-10)/(-8) + -1)*6. Put y, -4, m in decreasing order.
y, m, -4
Let a = 6 + 18. Suppose a = 3*c + c. Let s = c + -7. Sort -4, -0.1, s.
-4, s, -0.1
Suppose -2*n + 10 = -2*u, 0 = 4*u + u - 3*n + 25. Let f = -76 - -79. Sort u, f, -1 in increasing order.
u, -1, f
Let b be (-6)/4 + (-4 - -8). Put b, -2/3, 4 in descending order.
4, b, -2/3
Suppose 4*k + 11 = -1, 0 = -3*t - 3*k - 18. Sort t, 5, -4 in increasing order.
-4, t, 5
Let c be ((-20)/(-5))/((-2)/(-1)). Sort -9, c, 5 in decreasing order.
5, c, -9
Let y = 1.1 - 1.2. Let b = 0.05 + 0.35. Put y, -2, b in descending order.
b, y, -2
Let o = 17/66 + -1/132. Suppose 0 = -2*p + p + 3. Put 4, p, o in increasing order.
o, p, 4
Let s(m) be the first derivative of m**3/3 - 2*m**2 - 4. Let n be s(5). Suppose -9 = o - n*z + 2*z, 4*o + 22 = 5*z. Sort 1, o, -2 in decreasing order.
1, -2, o
Let m = -8 - -6. Let h = -2.5 - m. Let i = 136 - 135.8. Sort i, h, -2.
-2, h, i
Let x = 405/11 + -37. Sort 2/3, 1/11, x in decreasing order.
2/3, 1/11, x
Suppose u - 2*g + 0*g + 9 = 0, 0 = u - g + 7. Sort u, 3, 5 in descending order.
5, 3, u
Suppose c = -0*c + 4*l - 12, -c - 9 = -3*l. Suppose c = -s + 4*u + 10, u - 1 = -2. Suppose m - s = -2. Sort m, 5, -5.
-5, m, 5
Suppose f + 3*k - 5 = -0*f, -3*k + 11 = 4*f. Let z be 2*((f - 2) + -2). Suppose -i - 3 = 3*g + 2*i, g + 4*i = -13. Sort g, 5, z.
z, g, 5
Suppose 0 = -3*m + 3*w - 6, m = -3*m - 3*w - 15. Suppose -i = 4*x - 12, 4*i = 2*x - x - 20. Put i, 0, m in ascending order.
i, m, 0
Let y(l) be the first derivative of -l**3/3 - 3*l**2 + 3. Let h be y(-6). Sort h, -2, -5 in decreasing order.
h, -2, -5
Let p = 5.3 - 2.3. Let q = 0.2 + 0. Let z = -0.3 + q. Sort 4, p, z.
z, p, 4
Let q = -4 + 1. Let d = -477/3350 - -3/134. Let s = -59/75 - d. Sort s, 1/3, q.
q, s, 1/3
Let r = 0 - -0.4. Suppose 0 = 21*t - 25*t + 16. Suppose 2*z = 2*l - l + 2, 0 = -z - 2*l - t. Sort -4, z, r in ascending order.
-4, z, r
Let q(c) = c**3 - 8*c**2 - c + 10. Let m = -10 + 18. Let r be q(m). Suppose 0 = r*t + t. Put t, 2, -0.3 in ascending order.
-0.3, t, 2
Let a(u) = u - 1. Let t be a(3). Suppose 2*z + 8 = t. Let i be 3 + ((-28)/(-4) - 6). Sort z, i,