3. Let r be t(5). Suppose -2*i + 0*i + 2*u = 12, 26 = -5*i + 4*u. Put i, r, 2 in descending order.
r, 2, i
Suppose 49*s = 42*s + 35. Sort s, 3/5, 0 in ascending order.
0, 3/5, s
Suppose 0 = -3*d - d. Suppose 3*h = 4*n + 2*h - 12, 0 = -n - 4*h + 3. Sort -3, d, n in ascending order.
-3, d, n
Let b = 151 - 1055/7. Put b, 3, -1/7 in decreasing order.
3, b, -1/7
Let r be (-3)/9 + 0/1. Suppose 2*k - k = 6. Let q = -7 + k. Sort q, -5, r in descending order.
r, q, -5
Let q(m) = m + 6. Let g be q(0). Let i(p) = p - 5. Let d be i(g). Let h(u) = -2*u**2 + 9*u - 5. Let c be h(3). Sort c, d, 3 in ascending order.
d, 3, c
Suppose -5*o + 5*o = 5*o. Sort -18, o, -2 in increasing order.
-18, -2, o
Let b = 9 + -14. Sort b, 2/11, -1.
b, -1, 2/11
Let r(g) = -g**2 - 17*g - 4. Let s be r(-17). Sort 0, s, -2 in ascending order.
s, -2, 0
Suppose 5*b - 9 = 16. Sort 4, b, 0 in ascending order.
0, 4, b
Let n = -53.8 - -54. Put -1, n, 3, 2/7 in ascending order.
-1, n, 2/7, 3
Let z be -2 + (3 - 2)/3. Suppose -5*a + 31 = -a + 5*q, 3*a - 18 = -2*q. Put -0.2, z, a in decreasing order.
a, -0.2, z
Suppose 4*f + 51 = 167. Suppose a - 1 = 0, 0*u - 5*u + f = -a. Let v(y) = 5*y + 1. Let w be v(-1). Sort 1, w, u in decreasing order.
u, 1, w
Suppose -4*c + 2*c + 4 = 0. Let o = -8 + 12. Put o, c, 1 in increasing order.
1, c, o
Let u = 0.82 - 0.02. Let c = -0.6 + u. Sort 0.3, 2, c in ascending order.
c, 0.3, 2
Suppose -10 + 25 = 3*s. Put -17, -5, s in descending order.
s, -5, -17
Suppose -20 = -l + 5*b, -3*l - 2*b - 20 = 3*b. Suppose j - 1 - 1 = l. Let i be 3*j/(-3) - -2. Put i, 5, 4 in descending order.
5, 4, i
Suppose 4*f + 3*w - 4*w = -19, -5*f - 4*w = 29. Sort -1, -5/6, f, 1.
f, -1, -5/6, 1
Let c = -60 + 64. Sort c, 2, 1, -2 in increasing order.
-2, 1, 2, c
Let z = -10 + 6. Let q be (-41)/13 + (-12)/z. Sort 3, q, -0.5 in decreasing order.
3, q, -0.5
Let d = -1.95 - 0.05. Suppose 3*z + 3 = -6. Put z, d, 1/4 in decreasing order.
1/4, d, z
Let g be 747/12 - (-1)/(-2). Let r = g - 62. Sort 3/5, -0.5, r.
-0.5, r, 3/5
Let v(k) = k**2 - 2*k - 7. Let b be v(4). Sort b, -1, 33 in increasing order.
-1, b, 33
Let x = -19 - -16. Sort -2, 2, x in increasing order.
x, -2, 2
Suppose 182*n - 176*n - 12 = 0. Put 5, n, -5 in descending order.
5, n, -5
Suppose -14 = r - 4*l, -2*r = -3*r + 5*l - 17. Sort -14, r, -1 in descending order.
-1, r, -14
Let j(r) = -2*r - 6. Let k be j(-4). Let h = -13.8 - -5.1. Let d = h + 9. Put 3/8, k, d in decreasing order.
k, 3/8, d
Let l = -17.4 + 20.4. Let k be 15/6*(-3)/(-20). Put k, -1, l in decreasing order.
l, k, -1
Let q = 62 + -24. Sort q, 4, 3 in ascending order.
3, 4, q
Let a be (-1)/(3/(-6)*2). Sort a, -0.1, -1/3 in decreasing order.
a, -0.1, -1/3
Let u be 374/121 - -6*3/(-6). Sort u, 3, 2/9 in ascending order.
u, 2/9, 3
Let g = 151 + -1055/7. Sort 0.2, g, -4.
-4, 0.2, g
Let h = 68.9 - 72. Let v = -0.1 - h. Put 2, -3, v in descending order.
v, 2, -3
Let h be 87/105 + 2/(-5). Sort 1/4, -2, h in decreasing order.
h, 1/4, -2
Let f = -0.9 - 0.1. Let v = f + 5. Sort -3/10, v, 1/3 in decreasing order.
v, 1/3, -3/10
Let d = 371/124 - 4567/1643. Let n = 2/53 + d. Put 3/8, n, -2 in descending order.
3/8, n, -2
Let i = 2 + -2. Suppose -5 = -5*h + 3*c, -5*h + 4*c = -i - 5. Put h, 3, 2 in descending order.
3, 2, h
Let y = -3 + 1. Put y, 13, -5 in descending order.
13, y, -5
Suppose 7*c - 2*c = 10. Sort c, 1, -0.09 in descending order.
c, 1, -0.09
Suppose 0 = -3*b + 5*i + 23, -6*b + 3*b = 4*i + 13. Sort 1/3, b, 5 in decreasing order.
5, b, 1/3
Let l = 61 + -66. Sort l, 2, -0.3 in increasing order.
l, -0.3, 2
Let x = 22 + -19. Put -4, 1, x in increasing order.
-4, 1, x
Let g(d) = d**2 + 5*d - 4. Let u be g(-6). Suppose -9 - 1 = -u*k. Suppose 0*q = -k*q + 15. Sort -4, q, 4 in increasing order.
-4, q, 4
Let i be (-3*2/(-10))/(11/55). Let w = 1 + -1. Put i, -5, w in descending order.
i, w, -5
Let r be (4/(-14))/(6 - 13/2). Sort r, -3/2, 2/15, 5.
-3/2, 2/15, r, 5
Let x be 3/(-6)*(0 + 0). Let q be (-13 - (3 + -10))/(54/(-4)). Sort x, 4, q.
x, q, 4
Let q(y) = y + 1. Let w be q(0). Let x be 8/(-12) + 11/3. Suppose 0 = 2*r - 5 - x. Sort r, w, -3 in descending order.
r, w, -3
Let u = -8 - -5. Let s = 3.1 + u. Let v = s + -0.2. Put 2, v, -3 in decreasing order.
2, v, -3
Let a = -18.7 + 18. Let y = a + 0.3. Put -3/8, y, -3/5 in descending order.
-3/8, y, -3/5
Suppose 3*s - 7 = -1. Let h(a) = 4*a - 4. Let k be h(3). Suppose -s*o + 2 = k. Sort o, -4, 3.
-4, o, 3
Suppose 3*t - 9 = -0*t. Let x = t + -6. Suppose 4*c = 3*c + 5. Sort x, c, 3.
x, 3, c
Let i = 0 - -0.5. Let c = -21 + 16. Sort 0.2, i, c in decreasing order.
i, 0.2, c
Let u = -8 + 13. Let v = -4 + -1. Sort v, 0, u in ascending order.
v, 0, u
Let p = 47/3 + -16. Let y = 64 + -66. Sort -4, y, p in decreasing order.
p, y, -4
Let c be 6*(-1)/(-2) - -3. Let i be (1 + -3)/(1 + 0). Let g be (-5)/c + i/(-4). Put 0.4, 0.1, g in descending order.
0.4, 0.1, g
Let s = 20.6 - 20.2. Let a = 1 + -1.1. Put s, -2/5, a in decreasing order.
s, a, -2/5
Let z be 30/8 + 1/4. Suppose j = 5*l - 27, 4*l - 2 = 3*j + 24. Sort z, j, 3 in ascending order.
j, 3, z
Let i = -0.9 - -0.7. Let s = 439/6 + -73. Sort i, -2/5, s.
-2/5, i, s
Let k be 15/(-12) + ((-3)/(-4))/3. Sort k, -4, 0, -2 in increasing order.
-4, -2, k, 0
Suppose z - 5*l = -10*l + 21, 2*z + l = 24. Suppose 2*y + 7*a - z = 2*a, 3*y - 4*a + 18 = 0. Put y, -1, 3 in decreasing order.
3, -1, y
Let o(q) = q**2 - 10*q + 17. Let t be o(8). Sort -2, t, 0 in increasing order.
-2, 0, t
Suppose 4 = -3*o - 2. Let k be (-1)/3 + 21/9. Sort o, k, 5.
o, k, 5
Suppose 7*d - 3*d - 3 = 5*r, 3*r + 18 = -3*d. Let a = 14 - 8. Sort a, d, -4 in descending order.
a, d, -4
Let f = 21 + -14. Let q = -5 + f. Sort 0, q, -1 in decreasing order.
q, 0, -1
Suppose -3*q = -12, -6*o + 2*o + 4 = -4*q. Sort o, -5, 0 in ascending order.
-5, 0, o
Let q = 2 + -1. Let v = -3 - q. Put v, -0.2, -2 in ascending order.
v, -2, -0.2
Let d = -150/2147 + -4/113. Put d, -3/4, 2/3, -9 in increasing order.
-9, -3/4, d, 2/3
Let j(b) = -4*b**2 - 5*b**2 + 7 + 3 - 6*b + 19*b. Let v(m) = -5*m**2 + 7*m + 5. Let c(u) = 4*j(u) - 7*v(u). Let l be c(4). Sort l, -2, 1/3 in ascending order.
-2, 1/3, l
Let h be 3 - (0 - 0/(-4)). Suppose -3*v = -a, 0 = v - 4*a + a. Suppose v = -5*x - 6 - 4. Sort h, -5, x in ascending order.
-5, x, h
Let m be (-28)/(-12)*3 + -4. Put m, -1, -5 in descending order.
m, -1, -5
Let k(t) = t**2 + 2*t + 2. Let q be k(0). Suppose -3*p + 17 = i, -5*i + q*p = -0*p. Sort i, 1, 3 in ascending order.
1, i, 3
Let t = 0.6 + -0.6. Let v = t - -5. Let c = v - 0. Put -2, -1, c in descending order.
c, -1, -2
Let o = 1 - -2. Sort o, -4, 9 in descending order.
9, o, -4
Suppose 5*o + 25 = 2*j, -o - j = o + 10. Suppose -g = -4*m + m - 12, -5*m - 12 = g. Suppose 3*t + 9 + g = 0. Put 4, t, o in descending order.
4, t, o
Let y(r) = -r + 5. Let t be y(6). Let g be (-6)/(-4) + (t - -1). Sort 5, g, -4 in increasing order.
-4, g, 5
Let k = 0.5 + -0.2. Let v = 17 - 19. Suppose b + 3*z = 2*z - 4, 5 = -2*b + z. Put v, b, k in descending order.
k, v, b
Suppose -3 = -9*r + 8*r. Put r, 2, -18 in increasing order.
-18, 2, r
Let n = -0.2 + -1.8. Sort -0.3, n, 0.4 in descending order.
0.4, -0.3, n
Let y = 27/4 - 85/12. Let b = 3 + -3.2. Sort b, 3, y in increasing order.
y, b, 3
Let z(l) = l**2 + 11*l + 3. Let j be z(-11). Suppose -w - 6 = -0*w. Let c be 6/1*j/w. Sort -1, 3, c in descending order.
3, -1, c
Suppose -3*x - 12 = -3*b, 5*b = 2 - 27. Let r = x - -15. Let w = r - 5. Put w, 1/4, 5 in descending order.
5, w, 1/4
Suppose 13*j - 9*j - 16 = 0. Suppose -6*k - 10 = -j*k. Put k, 0, 4 in decreasing order.
4, 0, k
Let g = 0.23 - -0.07. Let u = -719/3276 - 1/364. Let c(s) = -s**2 - s + 2. Let w be c(0). Sort g, w, u in decreasing order.
w, g, u
Let y(v) = -2*v + 17. Let t be y(6). Let j be (-2 + (-5)/(-3))*3. Suppose 5*z + 26 = 1. Sort j, t, z.
z, j, t
Let g(c) = c**2 + 4*c - 1. Let o be g(-4). Let j(q) = q**3 + 4*q**2 - 2*q - 11. Let t be j(-4). Suppose -5*l - 5 = 3*f, -5*l = -0*f + 2*f. Sort t, f, o.
f, t, o
Suppose 2*u - 6 = 5*i, -u + 6*u = -5*i - 20. Let r = 4 + i. Sort -1, -3, r in decreasing order.
r, -1, -3
Let s(m) = m**3 + 4*m**2 - 4*m + 4. Let u be s(-5). Sort u, -3, -4 in decreasing order.
u, -3, -4
Let k be (-2)/1 - (4 + -9). Suppose -2 = 2*d - 2*b + 