3. Suppose f*m + 12 = m. Sort -5, m, 1 in increasing order.
m, -5, 1
Let t(i) = 5*i - 2. Let f be t(-2). Let v = 11 - f. Let j = v + -116/5. Sort 3, j, 4 in decreasing order.
4, 3, j
Suppose -4*j + 4*h = 28, 5*h - 19 = -j - 2. Let s = -545736 - -8191502/15. Let t = s + -364. Put 0, j, t in increasing order.
j, 0, t
Let l(f) = -f**3 + 9*f**2 - 8*f - 1. Let b be l(8). Let a be b/(-4) - 2/8. Put a, 4, -4 in descending order.
4, a, -4
Let k = 8755837/372 - -475017287/6510. Let g = -96505 + k. Let q = g + 1/20. Put 2/15, q, 0.1 in increasing order.
q, 0.1, 2/15
Let i = 0.08 - 0.05. Let n = 0.27 + i. Let u = 5 + -7. Put 1/6, u, n in descending order.
n, 1/6, u
Let f = -377 - -377. Let u = -1.4 - -1. Sort f, u, 1/4 in ascending order.
u, f, 1/4
Let m(v) = 2*v - 7. Let p be m(8). Suppose 2*u = p + 13. Let x be 2/(-3) + u/3. Sort x, 2/5, -0.1 in increasing order.
-0.1, 2/5, x
Suppose 3*f + 15 = 2*u - 3, f - 5*u = 7. Let q be (-490)/f + 11/(-44). Let o = q + -303/5. Sort -0.5, o, -0.3.
-0.5, -0.3, o
Suppose -9 = 4*b - 29. Put 8, b, -3 in descending order.
8, b, -3
Let y = -3 + 3.2. Let x = -0.2 - y. Put x, -3, 0.4 in decreasing order.
0.4, x, -3
Let k = 13 + -9. Let n(c) = c + 4. Suppose 1 = -w - 4. Let z be n(w). Sort z, -3, k in descending order.
k, z, -3
Let w = -22 - -17. Sort 3, w, 0.
w, 0, 3
Let r = -13 + 12.6. Sort r, -3, 0.7 in descending order.
0.7, r, -3
Suppose 8*x = 3*x. Suppose x*i = 5*i + 10. Suppose 0 = -3*c + c. Sort 4, i, c in ascending order.
i, c, 4
Let x(o) = o + 7. Let c be x(-5). Let z = -1 + c. Suppose -7*b + 20 = -2*b. Sort b, z, 2 in increasing order.
z, 2, b
Suppose -3*m + 1 = -5. Let r(w) = 3*w - 2*w**m + 0 + 0. Let t be r(2). Put t, -1/5, 0 in descending order.
0, -1/5, t
Let a = 8/3 + -7/6. Suppose -6 = -3*z - 2*n - 9, 2*z - 4*n = -18. Sort 0.5, z, a in decreasing order.
a, 0.5, z
Let o = -0.1 - 0.3. Sort -16, o, -0.2.
-16, o, -0.2
Suppose p = -p + 5*q - 19, 4*q = -p + 23. Sort -3, p, -20 in decreasing order.
p, -3, -20
Suppose 3*y + 2 + 7 = 0. Let h be 1 - (0 - (0 + 3)). Sort 2, h, y in decreasing order.
h, 2, y
Let r = -0.08 + -4.92. Let v be 4/22 + (-20)/(-11). Sort v, -2/11, r in decreasing order.
v, -2/11, r
Suppose 0 = -3*w - 0 + 12, -2*w + 13 = 5*a. Suppose -6*x = -2*x - 12. Suppose 0 = -0*s + 4*s - 20. Sort a, s, x in descending order.
s, x, a
Let z = 1.1 + 0.9. Sort 4, -1, z in ascending order.
-1, z, 4
Let a = -17 - -14. Sort -3/2, -0.2, 1/2, a.
a, -3/2, -0.2, 1/2
Let m = 0.052 - -0.148. Put -0.5, m, 0.3, -2 in ascending order.
-2, -0.5, m, 0.3
Let s be 4 + 3*2/30*5. Let v be 0/((1 + -3)*1). Sort s, 4, v in descending order.
s, 4, v
Let s = 39 + -36. Let n be (-10)/4*(-4 + 2). Sort 0.1, n, s in descending order.
n, s, 0.1
Let w = -4.01 - -0.01. Sort -0.3, 1/3, w in decreasing order.
1/3, -0.3, w
Let k be (-2 - -4)/(3 - 1). Let s(j) = -j**3 + 6*j**2 + 2*j - 8. Let c be s(6). Put -1, k, c in descending order.
c, k, -1
Let i = -1 + 1.5. Let b = i + 3.9. Let k = b + -4. Put k, 4, -0.2 in increasing order.
-0.2, k, 4
Let u = -151/2 + 751/10. Let g = 4.604 - -0.096. Let p = -5 + g. Sort u, -4, p.
-4, u, p
Let y(f) = -2*f. Let a be y(3). Let h be (16/12)/(2/a). Sort -5, -3, h in ascending order.
-5, h, -3
Let a be 1/(-6)*(1 - 7). Sort 2, 3, a in increasing order.
a, 2, 3
Let n = -9 + 14. Suppose 3*i + m - 5 = 0, -3*i + n*m - 1 = -6*i. Sort i, 4, 0 in descending order.
4, i, 0
Suppose -6*t + 9 = -5*t. Let x = 14 - t. Let p be 4/(-18) + (-1)/(-45). Sort -1, p, x in decreasing order.
x, p, -1
Let u = 15 - 10. Let h = 39/5 + -41/5. Let m = 191 + -195. Put m, h, u in decreasing order.
u, h, m
Let k be (0 + -3)/(6/8). Suppose 5*q - 13 = 3*y, -4*q + 4 + 4 = -3*y. Suppose y*v + 6 = v. Sort k, 5, v in descending order.
5, v, k
Let y = -12.7 - -1.1. Let i = -12 - y. Sort i, 3, -3/4.
-3/4, i, 3
Suppose 2 - 3 = c. Suppose r = -2*r. Suppose r = -4*l + 2*q, 3*q = -4*l + q. Sort c, 4, l in increasing order.
c, l, 4
Let h(c) = 0 + 0*c**2 - c**2 - 3 + c - 1. Let s be h(0). Sort s, -2, 4 in decreasing order.
4, -2, s
Let t = 50.5 + -40. Let y = -11 + t. Put y, -5, -8 in increasing order.
-8, -5, y
Suppose -1 - 2 = a. Let y be -4*((-3)/4 - -2). Let j(m) = -m**2 - 7*m - 6. Let q be j(y). Sort a, 2, q in increasing order.
a, 2, q
Let n be (248 + 0)*(-11)/10. Suppose 100 = -2*l - 444. Let q = l - n. Sort -0.1, -3, q in ascending order.
-3, -0.1, q
Let p be 31 - 3*6/9. Put 1, p, -1 in increasing order.
-1, 1, p
Let l(n) = -2*n + 3. Let f be l(3). Sort -2, f, -1 in decreasing order.
-1, -2, f
Let d = -0.004 - -4.954. Let y = d - -0.05. Sort 0.5, -1/3, y in ascending order.
-1/3, 0.5, y
Let y = -699/4628 - 1/356. Let j be (-4)/8*8/(-14). Sort -4, j, y in ascending order.
-4, y, j
Let d(m) = 6*m**3 + 6*m**2 - m - 1. Let g be d(-1). Put g, -2, 16 in increasing order.
-2, g, 16
Suppose 0*l = -5*l - 25, 0 = i + 3*l + 17. Let t be 1/(i + 12/(-8)). Sort t, 4, -1/8 in ascending order.
t, -1/8, 4
Suppose -z + 0*x = -4*x - 25, 4*z - 46 = -2*x. Suppose -2*f + 24 = f. Let u = f - z. Sort -2, 5, u in ascending order.
u, -2, 5
Let y = -6 - -5. Suppose p - 6 = 3*p. Let s(x) = 2*x - 9. Let v be s(6). Sort p, y, v.
p, y, v
Let s = 2.9 - -0.1. Let o = -0.5 - -0.3. Let t = -0.3 - 0.2. Sort s, t, o in ascending order.
t, o, s
Let r(c) = -c**3 + 2*c**2 + 4*c. Let j be r(3). Suppose 5 = -d, j*g + 9 + 2 = -d. Sort 3, 4, g.
g, 3, 4
Suppose 0 = 5*x + 5*z - z - 13, 5*z - 15 = -5*x. Let u be 102/(-14) - (-2)/7. Let c be u - 1 - (-2 - 1). Sort 5, c, x in descending order.
5, x, c
Let t = 0.39 - -0.01. Let g = -0.28 - 0.22. Put t, g, 0 in ascending order.
g, 0, t
Let y(u) = u + 10. Let n be y(-9). Suppose 0 = -3*m + 3*w + 6, -4*m + 5*w = -5 - n. Suppose 3 = -v + 4*v. Put 0, v, m in decreasing order.
m, v, 0
Let y = 8/7 + -4/7. Sort y, -1/9, -0.1.
-1/9, -0.1, y
Let q = -331/5 + 66. Let s = -2.03 - -0.03. Let f = s + 5. Put q, f, 1/3 in descending order.
f, 1/3, q
Let v = 0.03 + -0.53. Sort 1, v, 1/5 in decreasing order.
1, 1/5, v
Let k = 0.6 + -1. Let n = -0.695 + -0.005. Sort -1, n, k.
-1, n, k
Suppose -3*j = -3*w - 4*j + 14, -8 = -4*j. Sort 1, 6, w.
1, w, 6
Let l(f) = -f + 1. Let r(k) = -6. Let p(u) = -2*l(u) - r(u). Let z be p(-3). Sort z, 4, 1 in increasing order.
z, 1, 4
Suppose -7 = -5*p + 3. Suppose -7*q = -4*q + 6. Put 4, p, q in descending order.
4, p, q
Let w = 3.7 + -4. Let m = -2.09 - -0.09. Let l = -1 - m. Put w, 2/9, l in descending order.
l, 2/9, w
Suppose 0 = 3*x - 16 - 35. Suppose x = -3*g - 13. Let j = 7 + g. Put 4, 5, j in descending order.
5, 4, j
Let k = -29 - -16. Let a = k + 10. Put -4, 5, a in descending order.
5, a, -4
Suppose 0 = 3*y + 15, -3*n + 4*n + 5*y = -21. Sort -3, n, -7, 3 in increasing order.
-7, -3, 3, n
Let a(q) = -q**3 - 11*q**2 - 10*q + 1. Let l be a(-10). Sort l, 2, 0 in descending order.
2, l, 0
Suppose 0 = 2*k - u - 4*u - 31, -4*u - 26 = -2*k. Suppose v = -3, -17 = -5*s + 3*s + 5*v. Suppose -2 = -d - s. Put -2, k, d in ascending order.
-2, d, k
Let h(w) = w**3 + 7*w**2 - 14*w + 31. Let p be h(-9). Sort 7, 0, 5, p.
p, 0, 5, 7
Let h be (6/(-21))/((-2)/14). Let r = 6 - h. Put -2, r, 0 in ascending order.
-2, 0, r
Suppose 0 = 4*d - 4*c - 7 - 9, 0 = 4*c + 12. Suppose -l - 6 = 5*v, l + d = -5*v + 5*l. Let t = 6 + -6. Put 4, v, t in ascending order.
v, t, 4
Let b = -1.99 + -0.01. Suppose -2*j = 3*j - 10. Suppose 0 = -v + j - 0. Sort b, -4, v in descending order.
v, b, -4
Let b be -4 - -2 - (-2)/(-2). Let q = -10 - -15. Sort b, q, 1/12 in descending order.
q, 1/12, b
Let l = 6 + -4. Let n = l + -4. Suppose -3*g = -0*g - 15. Sort 2, g, n.
n, 2, g
Let m = 1 - -4. Let j(w) = w - 4. Let n be j(7). Sort n, m, 2 in increasing order.
2, n, m
Let o = 3.974 - -0.026. Sort -5/4, o, 5/3 in decreasing order.
o, 5/3, -5/4
Let w = 13 - 15. Sort w, -4, -3 in descending order.
w, -3, -4
Let w = -0.037 - -0.097. Put 0.5, 3, w, 0 in increasing order.
0, w, 0.5, 3
Let y = -3 - -2. Let r = -1 + 0. Let z be 12/(-30) - r/(-5). Sort y, -1/4, z in descending order.
-1/4, z, y
Let w = -518/171 - -66/19. Let h = 8 + -7.7. Let r = h - 0.6. Sort w, r, 4 in ascending order.
r, w, 4
Let m = -1.5 - 0.5. Suppose 9 = 4*l - 11. Put 4, m, l in decreasing order.
l, 4, m
Suppose -2*v = 2*c, c - 4*v - 1 = 4*c. Suppose 20 = -5*y - 0. Put c, y, 0 in increasing order.
y, 0, c
