3. Let k = -4 - x. Let s be k/77 + 2/(-11). Sort s, -1/6, 2/5 in ascending order.
-1/6, s, 2/5
Suppose -8 = -0*p + 4*p. Let w = -19 - -25. Let i = -5 + w. Sort i, p, 1/7 in descending order.
i, 1/7, p
Let k = -47.1 + 47. Put k, -1, -2/3, -1/8 in descending order.
k, -1/8, -2/3, -1
Let u = -9 + 6. Let s = -2.5 + u. Let h = s + 6. Sort h, -4/9, 1/5 in ascending order.
-4/9, 1/5, h
Let z(n) = -9*n**3 - n**2 + 8*n - 9. Let p(q) = -5*q**3 - q**2 + 4*q - 5. Let r(f) = -7*p(f) + 4*z(f). Let j be r(4). Sort -3, -5, j in increasing order.
-5, -3, j
Let w = 9 - 9. Put 4, 2, w in descending order.
4, 2, w
Let a(i) = i**2 + 9*i + 12. Let h be a(-8). Let x = 0 - 4. Sort x, -1, h in increasing order.
x, -1, h
Let y(c) = c + 1. Suppose -5 = z + 5*j, -2*z - 5*j = -0*z + 5. Let q be -6 - z/(-3 + 2). Let w be y(q). Sort 5, 0, w.
w, 0, 5
Let k(x) = 2*x + 4. Let c be k(-4). Let d = c + 8. Put -4, d, -3 in increasing order.
-4, -3, d
Let l(k) = -4*k**3 - 2*k**2 - k. Let q be l(-1). Let b(s) = s**2 + 6*s - 3. Let v be b(-6). Let z be v - -2 - (-1)/(-1). Sort q, z, 1.
z, 1, q
Let t = -177 + 175. Put 3, t, 4, -5 in increasing order.
-5, t, 3, 4
Let z be ((-6)/9)/((-2)/15). Let t = 27 + -23. Let g be -1 + -4 - (-2 + 0). Put g, t, z in increasing order.
g, t, z
Suppose 2*g = -2*o - 2, -8 = 2*o - 4*o. Suppose 0 = -3*w + w + 8. Suppose 2 = 5*v - 3. Sort g, w, v in decreasing order.
w, v, g
Let u = 0.02 - -0.58. Let r = -0.04 - -0.34. Let y = r - u. Sort y, -5, 2 in decreasing order.
2, y, -5
Suppose 10 = -x + 3*x. Let l = -2 + 4. Suppose -10 + 8 = l*c. Sort c, x, -4 in decreasing order.
x, c, -4
Let x = 0.182 + -16.182. Sort -5, 0.4, -2, x in ascending order.
x, -5, -2, 0.4
Let q be (-1)/4 + 41/4. Let u = q + -13. Put 2, u, -4 in ascending order.
-4, u, 2
Let g = 27/8 + -605/184. Let j be 13 - (1 + 2 + -1). Let z be (-2)/(-8) - j/12. Sort z, g, 0.2 in descending order.
0.2, g, z
Let s be 42/11 + (-26)/(-143). Sort -0.09, -2, s in descending order.
s, -0.09, -2
Suppose 2*a - 4 = 6*a. Sort -5, 8, a, 4 in increasing order.
-5, a, 4, 8
Let j = 0.2 + -0.1. Put 5, 0, j in decreasing order.
5, j, 0
Suppose 0 = -c + 9 + 11. Suppose -3*p - c = 5*y, 2*p - 3*y = 3*p + 12. Let g(v) = -v - 1. Let w be g(4). Sort 5, p, w.
w, p, 5
Let f = 10 + -9.83. Let n = f + -0.07. Sort 2/9, -2/7, n in descending order.
2/9, n, -2/7
Let c = 18/5 - 61/10. Let r = 1.2 - -0.8. Suppose 3*g - 20 = -2*g. Sort c, g, r in descending order.
g, r, c
Let g(c) = c**3 - 5*c**2 + 6*c - 5. Let s be g(4). Suppose 3*b = 3*u + u - 22, -5*b - 6 = u. Let h = b + 6. Sort h, s, 0 in ascending order.
0, s, h
Let r = -0.43 - 0.07. Put -3, r, -4 in ascending order.
-4, -3, r
Suppose n + 0 = 3. Sort -4, -5, -3, n in descending order.
n, -3, -4, -5
Let a be ((-2)/(-4))/((-14)/(-56)). Suppose 2*n - s = 4*n - 7, -a*n - 3*s = -9. Sort 6, 5, n.
n, 5, 6
Let v be 0 + (-4)/12*12/20. Let r = 0.97 + 0.33. Let t = r + -0.3. Put v, 1/3, t in descending order.
t, 1/3, v
Let p(n) = n**2 - 3*n + 2. Let y be p(1). Sort -5, 2, y.
-5, y, 2
Let b be ((-6)/5)/(6/15). Sort b, 3, -4, 5 in ascending order.
-4, b, 3, 5
Let u(f) = -f**2 - f. Let z be u(-1). Put 2/19, 5, z in increasing order.
z, 2/19, 5
Let d(z) = 7*z + 2. Let b be d(1). Let t = b + -12. Sort t, 4, 3.
t, 3, 4
Let b = 0.13 - 0.01. Let v = 2.12 - b. Put v, -3/7, -2/33 in decreasing order.
v, -2/33, -3/7
Suppose 0 = -f - f. Suppose 1 + 0 = t. Sort -2, f, t in increasing order.
-2, f, t
Let n(x) be the second derivative of 1/6*x**3 + 1/2*x**2 + 1/20*x**5 + 4*x + 1/12*x**4 + 0. Let k be n(0). Sort 2, -1, k.
-1, k, 2
Let z be ((-6)/(-144))/((-2)/(-6)). Put z, -0.4, 1/7 in increasing order.
-0.4, z, 1/7
Let s = -0.2 - -2.2. Sort 3/16, -4, s, -0.4.
-4, -0.4, 3/16, s
Let s = 10/3 + -37/12. Put 1/3, s, 0.3 in decreasing order.
1/3, 0.3, s
Let d be (-15)/(2 - 1/2). Sort 5, d, -2 in ascending order.
d, -2, 5
Let x be 18/(-8)*(3 - -1). Let v be (-6)/27 - 2/x. Put -0.4, -0.3, v in descending order.
v, -0.3, -0.4
Let z be 10*-1*8/(-140). Sort 0, z, 4 in increasing order.
0, z, 4
Let k be (-3 + 4)/((-2)/(-4)). Let y be 2/3 - ((-44)/(-12) + -3). Sort k, 4, y.
y, k, 4
Let r = -0.1 + -10.9. Let z = r - -7. Suppose -5*h + 7*h = 0. Put -0.5, h, z in ascending order.
z, -0.5, h
Let x(o) = -3*o**3 - 4*o**2 - 2*o. Let f be x(-2). Suppose f = 4*u - v - 3*v, 3*u + 5 = -4*v. Sort -5, u, -2.
-5, -2, u
Let a = 19.08 + -15. Let z = -0.08 + a. Let r = -37/164 + -1/41. Sort z, -2, r in decreasing order.
z, r, -2
Let g be (15/2)/((-69)/92). Sort -2, 5, g in descending order.
5, -2, g
Let o = 138 - 136. Put 5, 0, 1, o in descending order.
5, o, 1, 0
Let f = -0.2 - -5.2. Let s = -16 - -15. Put 3/8, f, s in decreasing order.
f, 3/8, s
Let i = -3 - -6. Suppose -3*f - 3*a + 13 = -2*f, 17 = -f + 3*a. Sort f, i, 1 in decreasing order.
i, 1, f
Let f(g) = 2*g**2 + 5*g - 4. Let v be f(-4). Let h be (4/10)/(6/510). Suppose -5*m = 3*r - h, v*m = -r + 3*m + 28. Sort r, -4, 0 in decreasing order.
r, 0, -4
Let i(y) = -y**3 - 7*y**2 - 6*y + 4. Let o be (2 - 0)*(-2 + -1). Let z be i(o). Suppose f - 2*x + 3 = 0, x + 6 = -f - 0*f. Sort 5, z, f in ascending order.
f, z, 5
Let d = 6 - 2. Suppose -2*f = d, -2*f + 20 = 4*k - 6*f. Sort -3/5, -2, k in increasing order.
-2, -3/5, k
Let l be 2 - (-3 - -3) - 3. Put 13, l, 2/7 in decreasing order.
13, 2/7, l
Let i = 2.03 + -2. Let j = i - 0.33. Let r = j + 0.6. Sort -3/5, 0.4, r in decreasing order.
0.4, r, -3/5
Let r = -0.6 - -0.1. Let b = -5686961/45 - -126359. Let v = 89/5 + b. Sort 0.1, r, v.
r, v, 0.1
Let r be ((-4)/(-2))/(-4)*-20. Suppose 2*c + 0*c - r = 0. Sort 0, c, -3 in decreasing order.
c, 0, -3
Let h = 3 - 3.2. Let l = 0.3 + h. Let t = -1 + 0.9. Sort 1, t, l in descending order.
1, l, t
Suppose 2*v - i - 3*i = 2, 0 = -3*v + 2*i + 11. Suppose 8*o - v*o - 18 = -3*j, j + 5*o = 10. Put j, -2, 2 in increasing order.
-2, 2, j
Let l = 1 + 1. Suppose -l*p + 12 = -6*p. Sort 5, -1, p.
p, -1, 5
Let u = -105 + 98. Put 2/13, -0.3, u in increasing order.
u, -0.3, 2/13
Let w = -0.457 + -0.043. Sort -4, w, 3 in decreasing order.
3, w, -4
Let r be 12/15 - -2*1/(-5). Let g = 4.95 + 0.05. Sort -5, r, g in decreasing order.
g, r, -5
Suppose 10*w - 33 = -w. Put -2, w, -4 in ascending order.
-4, -2, w
Suppose 0 = -0*w + 5*w - 5. Put w, -4, -16 in descending order.
w, -4, -16
Let u = 0.9 - 0.6. Let h = -1483/11 + 135. Sort h, 1/8, u in descending order.
u, h, 1/8
Let r = 0 + 5. Let c(x) = x**2 - 5*x + 2. Let b(o) = o**3 - 6*o**2 + 5. Let n be b(6). Let q be c(n). Put r, q, -1 in descending order.
r, q, -1
Let n = -10 - -10. Let z(o) = -o**2 - 9*o - 10. Let i be z(-7). Put n, -5, i in descending order.
i, n, -5
Let w = 11.04 - 0.04. Let n = w - 11.2. Sort n, 0.3, 0.07 in descending order.
0.3, 0.07, n
Let m be -6*15/18*(-10)/(-25). Put 13, m, -1 in descending order.
13, -1, m
Let q be 48/16 - 2*-1. Suppose -3*c + 4*g = -g, c + 4 = 3*g. Suppose c*v + 4 + 9 = 4*s, -s + 6 = -4*v. Sort 3, q, v in decreasing order.
q, 3, v
Let a = 0.078 - 0.478. Sort 1/3, 0, -0.5, a in decreasing order.
1/3, 0, a, -0.5
Let j be 0 + (-5)/(-18) + (-1)/2. Put -0.3, -2/7, j, -1/2 in decreasing order.
j, -2/7, -0.3, -1/2
Let n(x) = -x**3 + 5*x**2 + 6*x + 2. Let k be n(6). Suppose 2*c + 2*c = 2*i, -k*c - 20 = 4*i. Sort i, 3, 1.
i, 1, 3
Let b = 4 - -9. Let g = b - 18. Put 1/3, g, 1 in increasing order.
g, 1/3, 1
Let x be (12/(-10))/(12/40). Let w be ((-2)/3)/(x/18). Suppose 2 = -2*b - f + 13, -2*b + w*f = -7. Sort 1, -4, b in descending order.
b, 1, -4
Suppose -4*v - v - 5 = 0. Suppose -4*x - 3*y - 23 = 0, 3*x - 2*x = -5*y - 10. Suppose -5*h = 6 - 16. Sort x, h, v in decreasing order.
h, v, x
Suppose 0 = -5*a - 5*n - 10, n + 0*n + 1 = 0. Sort -5, 0, a in descending order.
0, a, -5
Let z be (3/4)/(5/(-4)). Suppose -24*u - 2 = -22*u. Put z, 3, u in descending order.
3, z, u
Suppose 2 = -3*n + 4*j - 6, -4*n = 5*j - 10. Let m = 0 + -3. Let p = -2 - -4. Put m, n, p in descending order.
p, n, m
Let v = 1.98 - 2. Let j = v - 0.38. Put j, 0.4, -1 in ascending order.
-1, j, 0.4
Let n = -26 - -21. Suppose -4*b = 0, -2*s + 7*s = -4*b + 15. Sort n, s, 0.
n, 0, s
Let g be 8/12 - (-4)/(-24). Put -6, g, -2 in increasing order.
-6, -2, g
Let r(v) = -v**2 + 7*v - 7. Let n be r(6). Let b be (-12)/(-12) + (n - 0). Sort 5, b, 2 in ascending order.