4.7. Put b, l, -2/19 in ascending order.
b, -2/19, l
Suppose -2*l = -2*n + 2, -19 = 5*l - 7*l - 5*n. Suppose 0 = -l*k + 3*k - 2. Suppose 15*h + 40 = -35. Put h, k, -3 in decreasing order.
k, -3, h
Let g = 3 + -3.1. Let i = -228/335 + -8/67. Sort -2/11, i, g in descending order.
g, -2/11, i
Suppose 3*z + 10 = 5*z. Suppose -i - 4*i + z = 0. Sort i, -2, 2 in ascending order.
-2, i, 2
Let t be (-1 + -2)/((-3)/2). Let h(n) = n**2 - 28*n - 284. Let a be h(-8). Suppose -t*s + 8 = -a*s. Sort -0.1, s, -0.07 in decreasing order.
-0.07, -0.1, s
Let w = 0.0595 - -0.0405. Put 9, w, 1 in increasing order.
w, 1, 9
Suppose -c + 5*c = 12. Let u(w) = -8*w - 53. Let k be u(-6). Sort k, -2, c, -3.
k, -3, -2, c
Let k = -2 - -2.5. Let y be ((-1)/5)/((-24)/(-30)). Let m = 0.8 + -0.8. Put k, y, m in increasing order.
y, m, k
Let r(i) = -214*i - 852. Let z be r(-4). Let w = 0.7 - 1. Sort -1/7, w, z in descending order.
z, -1/7, w
Suppose 2*d - 4*d - 2*o = -14, -3*d + 46 = -2*o. Suppose -4*c + 4 = -d. Suppose -3*m + c = 16. Put m, -5, 10 in decreasing order.
10, m, -5
Suppose 0 = -14*z - 41 - 15. Put 25, z, -1 in decreasing order.
25, -1, z
Let f = -22 + 38. Let g = -375 + 361. Let u = f + g. Sort -9, -1, u in increasing order.
-9, -1, u
Let z(k) = -k + 2. Let n be z(8). Let g = 4 + n. Let a(s) = 2*s**3 - 26*s**2 - 2*s + 31. Let u be a(13). Put u, 0.2, g in ascending order.
g, 0.2, u
Let x = -5 + 14. Let t be x/6*8/(-6). Let p = -9 + 14. Put -3, p, t in descending order.
p, t, -3
Let o = 7 - 10. Let g = o + 2. Let b = -2.1 - -2.14. Sort 4, b, g in ascending order.
g, b, 4
Let h = 0 + -8. Put 2, h, 12 in decreasing order.
12, 2, h
Let q be 52/14 + (-332)/83. Let m(h) = h - 4. Let r be m(0). Put -6, r, q, 0.4 in descending order.
0.4, q, r, -6
Let j = 0.0355 - 5.0355. Put 1/6, j, 1, -0.6 in ascending order.
j, -0.6, 1/6, 1
Let i = 75.829 + 0.171. Let y = -75.94 + i. Put 0.2, -0.2, 1/3, y in descending order.
1/3, 0.2, y, -0.2
Let y be (3 - 0)*-1*1. Suppose -5*n - 133 + 2 = -r, -5*n - 143 = 2*r. Put 1/4, y, 0.4, n in decreasing order.
0.4, 1/4, y, n
Let d be (3 + -2)/(2/2). Suppose -13 = -4*z - 5*o, -77*o = -5*z - 75*o - 25. Put d, 4, z in descending order.
4, d, z
Let i = 16.94 - 16.44. Sort i, -293, -0.5, -0.1.
-293, -0.5, -0.1, i
Let y be (-5)/(-70) + 3/(-6). Let p = -7 + 10. Let d = -3 + 7. Sort p, d, y.
y, p, d
Let r = 8.4 + -4.4. Let j = 1.1 + -0.1. Let a = 2 + -7. Put a, j, r in ascending order.
a, j, r
Let b = 4 - 4. Let h = 19.996 + 0.004. Let o = 15 - h. Put b, o, 0.1 in descending order.
0.1, b, o
Let n be (305/122)/(2/(-4)). Suppose -2*z - 3 = 1. Sort n, z, 5.
n, z, 5
Let m = 1734 - 1734. Sort 1, -4, -51, m in decreasing order.
1, m, -4, -51
Let t = -201 - -200.8. Let q = 0.9 + 2.1. Put -9, t, q in decreasing order.
q, t, -9
Let y(q) = -q**3 - 8*q**2 + 12*q - 4. Let c be y(-9). Let z = c - -277/9. Sort -23, z, -4.
-23, -4, z
Let m(a) = 11*a - 6. Let z be m(-2). Let i be 12/(-21) + 124/z. Let j be ((-2)/4 + 0)*4. Put i, 3, j in decreasing order.
3, j, i
Suppose -4*q - 2 = 6. Let y be 2 + (4 - 4) + 14/(-2). Suppose 8 = 3*i + 2. Put i, q, y in ascending order.
y, q, i
Let q = -6.02 - -6. Let g = -1.02 - q. Let p(j) = -j**2 - 7*j - 6. Let b be p(-5). Sort b, -3/11, g.
g, -3/11, b
Let n = -119.507 - -1.807. Let o = n + 105. Let a = o + 13. Put a, 2, -1/5 in decreasing order.
2, a, -1/5
Let k = 40 - 54.5. Let p = k + 14. Sort p, -0.2, 4/7 in decreasing order.
4/7, -0.2, p
Let i(m) = 4*m**2 - 4*m - 2. Let q be i(2). Let l(t) = -t**3 + 5*t**2 + 7*t. Let y be l(q). Sort y, 0, -2.
-2, 0, y
Suppose 12 = 3*n + n - 3*f, f = -4. Suppose -12*l + 2*l + 150 = 0. Suppose n = -3*w - l. Sort w, -3, 1 in descending order.
1, -3, w
Let g be (-5)/((30/(-45))/((-6)/(-9))). Sort 11, 3, g, -4 in decreasing order.
11, g, 3, -4
Let b be 22/10 - 20/(-25). Sort -5, 1, b, -1 in decreasing order.
b, 1, -1, -5
Let c be ((-422)/1055)/((-2)/5*1). Suppose 3 = -2*j - 3. Sort c, j, 7 in descending order.
7, c, j
Suppose -4*o = -7*o + 6. Suppose -2*h + 12 - o = 0. Let k(z) = z + 11. Let l be k(-11). Sort l, 3, h in decreasing order.
h, 3, l
Let y = -3 + 3.5. Let s = 1913 + -1913.3. Sort y, 2, s, 2/3 in ascending order.
s, y, 2/3, 2
Let g = 3682 + -3692. Let k(x) = x**2 - 4*x - 4. Let o be k(5). Let i = 0 + o. Sort g, 4, i in decreasing order.
4, i, g
Suppose 25*m = 11*m + 11*m. Sort m, -9, -3, 1 in descending order.
1, m, -3, -9
Let d = 224 - 223. Sort -5, d, -0.2, 3/5 in descending order.
d, 3/5, -0.2, -5
Let j = 11 + -19. Let r = -13 - j. Let g = 151 - 153. Sort r, g, 0 in increasing order.
r, g, 0
Let r = -11 + 16. Suppose -6*g + g = -40. Suppose -w = 3*b + 8, -b + 0*w - g = 3*w. Sort b, -1/4, r in decreasing order.
r, -1/4, b
Let l = -0.19 + -0.01. Let c = 6 - 3. Let f = -2.6 + c. Sort f, l, 2/3 in descending order.
2/3, f, l
Let d(h) = h**3 + 5*h**2 + 5*h + 4. Let m be d(-4). Suppose 0 = 4*n - 4*f + 8, m = -n - 2*f - 0*f + 10. Sort n, -2, -1 in increasing order.
-2, -1, n
Let n be -1*(-21)/(-2 + -5). Let d = -69 - -346/5. Sort n, -0.1, d in decreasing order.
d, -0.1, n
Suppose 5*k - 5 = 2*f, 4*f - 5 = -3*k - 2*k. Sort 4, -4, 9, f in ascending order.
-4, f, 4, 9
Let c = -1.97 - 0.03. Let i = 845 + -845.3. Put c, i, 1 in descending order.
1, i, c
Let d be 12/(-21) - 45/7. Let m(r) be the first derivative of r**4/4 + 7*r**3/3 + r**2/2 + 6*r + 1. Let f be m(d). Sort 1/4, 1, f in increasing order.
f, 1/4, 1
Let j(m) = -m + 4. Let c be j(9). Let b = -21 - -53. Suppose -33*s = -b*s + 2. Sort c, s, -3.
c, -3, s
Let q = -13.64 + -0.96. Let h = q + 12. Let t = h + 0.6. Sort 0, t, -1/4 in descending order.
0, -1/4, t
Let c = -1407 + 1405. Sort 3, 0.2, -6.3, c in descending order.
3, 0.2, c, -6.3
Let v be (-12)/14 - (-1677)/903. Let i(d) = -2*d + 6. Let j be i(4). Sort v, -1, 3, j in descending order.
3, v, -1, j
Let f(u) = -14*u + 123. Let m be f(9). Put m, 3, -7, 7 in decreasing order.
7, 3, m, -7
Suppose -b + 6 = -3*b. Let m = b - -5. Suppose -2*q - 5*o = 32 - 16, 0 = 2*q + 3*o + 12. Sort q, m, 4 in descending order.
4, m, q
Let d be (3/((-18)/4))/((-20)/(-60)). Sort -1, d, 3, -3 in decreasing order.
3, -1, d, -3
Suppose -z - 4*z = -10. Sort 4, z, -6, -5.
-6, -5, z, 4
Suppose -5*c = -y - 13, -c - 4*y - 6 = 4. Sort 0, c, -5, 7 in decreasing order.
7, c, 0, -5
Let t = 0.06 - 0. Let k = 9/38 + -1237/570. Let f = k - -13/5. Sort 1, t, f in decreasing order.
1, f, t
Let z = -0.67 - 1.33. Sort 139, z, -5 in increasing order.
-5, z, 139
Let t be 1/(3/(-9)*-1). Let d(u) = u**2 + 3*u + 5. Let x be d(-3). Suppose -4*i + x = 1. Sort i, 0, t.
0, i, t
Let g = 791 + -737. Put -4, g, -2 in increasing order.
-4, -2, g
Let p be -84 + 82 - 2*-4. Put p, 7, 4, 1 in increasing order.
1, 4, p, 7
Let m(p) = -6*p + 210. Let y be m(35). Sort y, -3, 4, -129 in increasing order.
-129, -3, y, 4
Suppose j - 4 = -6. Let l be 3 + (2 - j - 3). Sort 2, l, -3 in increasing order.
-3, 2, l
Suppose -43*g = -19*g - 1296. Put -3, 1, g in decreasing order.
g, 1, -3
Suppose 0 = 7*d - 12 + 19. Let a be -1 - (5/((-5)/(-3)))/3. Suppose 0 = -4*q - 24 + 8. Sort q, a, d in decreasing order.
d, a, q
Let i be (21/(-7))/(9/6 - 3). Put i, 3, -76 in increasing order.
-76, i, 3
Let m(i) = 12*i**2. Let a be m(-1). Let t(k) = k**3 - k**2 + k - 4. Let b be t(2). Let v be 8/a*(-4 - b). Sort 1/4, 2/17, v.
v, 2/17, 1/4
Let i = -154 - -154. Let s(w) = w**3 + 2*w**2 - 4*w - 1. Let y be s(-3). Sort -1, y, i, -4 in ascending order.
-4, -1, i, y
Let q = 5 + -4.5. Let w = 0.94 + -0.58. Let v = w + 1.64. Sort q, v, 3/7.
3/7, q, v
Suppose 4*p - 4 = -4*r, -7*p + 11*p - 4 = -5*r. Sort 2, -3, r, -1 in decreasing order.
2, r, -1, -3
Let w = -19 - -17. Let m = 1.25 - 1.45. Sort m, -5, 2/19, w.
-5, w, m, 2/19
Let z be 2/(-7) - 69/(-21). Suppose 3*w - 9 = z. Suppose n - 2*i - 9 = 3*i, 0 = 2*n - 5*i - 8. Put w, n, -4 in increasing order.
-4, n, w
Suppose 0 = 5*m - 5*b, m - b + 3*b = 6. Let s(z) = z**2 + 2*z - 2. Let q be s(-2). Put q, m, -5 in descending order.
m, q, -5
Suppose -5 - 4 = -3*g - a, -5*g + 15 = 5*a. Suppose -3*m - 96 = -3*p, -m - g*p = -0*p + 24. Let i be (-7)/(-35)*m/4. Sort 4, -4, i in decreasing order.
4, i, -4
Let z = -0.1674 + 0.1474. Let y = -4 - -4.08. Let f = y - 4.08. Put f, z, 3/5 in decreasing order.
3/5, z, f
Suppose 4*h - 2*d + 6 = 5*h, 2*d + 