3. Let v be 4/6 + (-14)/(-6). Put -2, s, v, 4 in increasing order.
-2, s, v, 4
Suppose 797*v + 12 = 794*v. Put v, 26, 1/3 in ascending order.
v, 1/3, 26
Let c(p) = 3*p - 9. Let k be c(4). Suppose 0 = f, k*z = 5*z - 3*f - 10. Suppose 0 = 3*m - 2*m - z. Put -3, m, 2/3 in decreasing order.
m, 2/3, -3
Let r be 10/(-4)*(-16)/(-8). Put -6, 0, 1, r in descending order.
1, 0, r, -6
Let b = 525 + -525. Sort -3, b, 0.2 in ascending order.
-3, b, 0.2
Let w = 23 - 17. Let c = w + -5.95. Let l = -4.95 - c. Sort -0.1, -0.2, l in decreasing order.
-0.1, -0.2, l
Let f be (-1)/(1 - 2)*192/336. Let a = -2 - 3. Sort -0.5, a, f in increasing order.
a, -0.5, f
Let k be 1*((-1 - 8) + (4 - 2)). Sort k, -1, 11.
k, -1, 11
Suppose 39*k = -2*k - 82. Sort 5, k, -6, -1 in ascending order.
-6, k, -1, 5
Let t = 0.56 + -0.42. Let r = -0.03 + 0.09. Let n = t + r. Sort -0.4, -0.2, n.
-0.4, -0.2, n
Suppose 2*a = -2*m + 14, 2*m = m - 2*a + 11. Suppose -18 = -5*z - 2*j, -z + 10*j - 5*j - 18 = 0. Sort -1, z, m in decreasing order.
m, z, -1
Let o = -174 - -407. Suppose 4*p = -o + 253. Put p, -2, 0, -3 in increasing order.
-3, -2, 0, p
Let c = -4.7 - -4.3. Let s be (-96)/(-112) + 2/14. Put 3, s, c, -0.3 in descending order.
3, s, -0.3, c
Let q = -8 - -7.2. Let x = -1.2 - q. Let t = -6.2 + 6. Sort x, t, 3 in decreasing order.
3, t, x
Let l = -5.3 - -12.5. Put 1, 0.4, l in increasing order.
0.4, 1, l
Let t = -1.8 + 2.8. Let c = t - 8. Let r = 3 + c. Sort -2/9, -1, r.
r, -1, -2/9
Let n = -0.21 - -0.51. Let i = n - 0.2. Put i, 2/11, -10 in descending order.
2/11, i, -10
Let j be ((-2)/6)/(1 + 7/(-6)). Sort -4, 1/10, 1, j.
-4, 1/10, 1, j
Let v(f) = 3*f**2 - 10*f - 7. Let w be v(5). Let k(h) = -2*h + 18. Let o be k(w). Sort -1, o, -2, -5.
o, -5, -2, -1
Suppose -2*p + 6*p = -40. Let v(f) = -3*f**2 + 19*f + 79. Let w be v(-3). Sort 2, p, w in ascending order.
p, w, 2
Let x = -0.11 - -0.33. Let p = -21.78 - x. Let t = 25 + p. Put -2/3, t, 0 in descending order.
t, 0, -2/3
Let h = -15 + 20. Let z = h - 1. Put z, -0.15, 0.1 in increasing order.
-0.15, 0.1, z
Let s = 3/544 - 65833/1632. Let p = s + 40. Put -5, p, 12 in decreasing order.
12, p, -5
Let g(m) = -m**2 - 7*m - 10. Let v be g(-4). Suppose 0 = -4*a - 3*h - 32 + 10, -5*h - 18 = v*a. Sort -2, a, 12 in decreasing order.
12, -2, a
Let l(x) = x - 16. Let r be l(18). Let s = 126 + -125.7. Sort s, 13, 4, r.
s, r, 4, 13
Let s be (27/(9/(-3)))/((-21)/14). Sort 2, 1, 5, s in increasing order.
1, 2, 5, s
Suppose 3*b = -2*o - 4 - 10, 0 = 2*o + 5*b + 22. Let j be (7 - 4)*o + 2. Sort j, -8, 0 in increasing order.
-8, j, 0
Let j be ((-4508)/749 - -6)/((-2)/(-3)). Let x = 193/749 - j. Put 2/17, -0.5, x in descending order.
x, 2/17, -0.5
Suppose -4*m = -13*m. Suppose 6 + 9 = 3*t. Sort -1, t, m in decreasing order.
t, m, -1
Let l be 240/600 + (-13)/(-5). Put 257, l, -3 in descending order.
257, l, -3
Let l(y) = -y**2 - 18*y + 11. Let n be l(-18). Let s(c) = -c**2 + 8*c + 31. Let i be s(n). Sort i, 0, 5 in decreasing order.
5, 0, i
Suppose 9*a + 4 = 8*a. Suppose 4*t + 3*k + 23 = 0, 0*k - 5*k - 10 = t. Let s = t + 10. Sort -5, s, a in increasing order.
-5, a, s
Let r = 3/20 - -1/4. Put 2, r, -2, -2/17 in decreasing order.
2, r, -2/17, -2
Let s = -42.0689 - -42.1. Put -5, 1/3, s in descending order.
1/3, s, -5
Suppose -2*u - q - 3*q = 12, 0 = -4*u - 2*q - 12. Let v be ((-6)/(-9) - -1)/(40/144). Suppose -7*t + v = 27. Sort t, u, -4 in descending order.
u, t, -4
Let t(r) = -2*r**2 + r + 0*r**2 - 14 + 3*r**2. Let m be t(-4). Put 3, m, 6 in ascending order.
m, 3, 6
Let t = 727 - 724. Put -3, 2, t, 0 in descending order.
t, 2, 0, -3
Let r be (-2 - (-2956)/50) + (-2 - 0). Let k = -276/5 + r. Sort -2/15, k, -0.1 in descending order.
k, -0.1, -2/15
Let p be (2/16)/(10/(-20)). Let b be 121/484 - ((-10)/(-8) + -1). Sort p, 4, -5, b.
-5, p, b, 4
Suppose -80 = -3*t - 4*b, 4*t + 7*b - 2*b - 106 = 0. Sort t, 5, -4.
-4, 5, t
Let d = 614.5 + -614. Suppose 2*b = -0*b - 2. Put d, -6, -2, b in descending order.
d, b, -2, -6
Let z be 2/12*1*-2. Let c = 7101 + -7101. Sort -0.12, -4, z, c.
-4, z, -0.12, c
Suppose 0 = r - 3*y - 9, -2*r + 8 - 5 = -y. Put r, 4, 3, -44 in descending order.
4, 3, r, -44
Let g = -4 + 6. Let v(m) = -m**2 - 9*m. Let d be v(-9). Sort d, 1, g, -5 in descending order.
g, 1, d, -5
Let l = -6 + 5. Let b(u) = 2*u**2 - 53*u - 27. Let h be b(27). Put -4, l, h in ascending order.
-4, l, h
Let r = -1 - -0.7. Let t = -2396 - -2391. Put -2, t, r in increasing order.
t, -2, r
Let h be ((-2)/(-4))/((-8)/(-352)). Let u = -23 + h. Sort -3, -5, 3, u.
-5, -3, u, 3
Let b = -456.06 - -434. Let m = b - -20. Let i = m + 2. Sort i, -4, 2.
-4, i, 2
Let z(f) = f**3 + 16*f**2 - 18*f - 11. Let h be z(-17). Suppose 0 = 4*n, -n = x - h*n - 1. Put 2, -1, x in increasing order.
-1, x, 2
Let i = 341 + -2047/6. Put i, 4, 0.68, -1 in ascending order.
-1, i, 0.68, 4
Let u(n) = -n**3 - 11*n**2 - 8*n + 23. Let s be u(-10). Put s, -1, 2, -16 in decreasing order.
s, 2, -1, -16
Let m = 25/8 - 3. Let x(l) = -3*l - 18. Let k be x(-5). Sort 0.5, k, m, 3/7.
k, m, 3/7, 0.5
Suppose m = -3*v + 50 - 60, 4*v + 20 = 0. Let z = -106/3 - -36. Sort 0.05, z, m in increasing order.
0.05, z, m
Suppose -9*h = -4*h + 10. Put -55, h, 5 in ascending order.
-55, h, 5
Let r = -73 + 72. Sort -2/3, -13, r, 1.
-13, r, -2/3, 1
Let t = 8.7 - 9. Let a = -62 - -556/9. Sort a, t, 3/8.
t, a, 3/8
Let b(c) = -c**2 + 1. Let o be b(-2). Let a = 0.11 + -4.61. Let k = a - -4. Sort k, 0.3, o in ascending order.
o, k, 0.3
Let l = -122 - -262. Suppose 3*t + 104 = 3*o + o, 3*t = -5*o - l. Put t, -3, 3, -1 in decreasing order.
3, -1, -3, t
Suppose 0 = -14*w - 6 + 62. Sort w, -2, -1, -2/15 in increasing order.
-2, -1, -2/15, w
Let f = -4 + 4. Put 4, -5, f in decreasing order.
4, f, -5
Let t(r) be the first derivative of -r**2/2 + 19*r + 28. Let f be t(14). Sort f, 75, -4.
-4, f, 75
Let q be (-2)/(11 + -1 + 5). Let i(g) = -2*g**2 - 19*g - 8. Let d be i(-9). Sort -5, d, q, 2 in descending order.
2, d, q, -5
Suppose 12 = -3*v, -v = 4*u - 5 + 21. Sort 9, -2, u, -5.
-5, u, -2, 9
Suppose -15 = 3*s - 8*s. Suppose -8*k + 8 - 24 = 0. Sort k, s, 0, 5 in decreasing order.
5, s, 0, k
Let s = 2769 + -2769.2. Sort s, -0.5, 2, -13 in ascending order.
-13, -0.5, s, 2
Suppose -2*p = h + 7, 3*p - p + 9 = h. Sort h, -4, 4, 5 in decreasing order.
5, 4, h, -4
Let l = -3.2 + 3.6. Let j = -33/8 + 21/8. Sort j, -5/2, l in descending order.
l, j, -5/2
Suppose 33*g - 28*g = -10. Let i be ((-30)/4)/3*g. Suppose -r + 5*r = 12. Sort i, r, -5 in increasing order.
-5, r, i
Suppose -3*i - 6 = d - 7*i, 1 = i. Let b = -1114.2 + 1114.2. Sort 5, d, b, -0.2 in descending order.
5, b, -0.2, d
Suppose 5*y - 3*j = 6, 5*y + 5 = -j + 23. Put y, -1, 2, -2 in increasing order.
-2, -1, 2, y
Let p = -25864/9 - -2874. Let r = -4.09 - -0.09. Let m = -5 - -2. Sort r, p, m in decreasing order.
p, m, r
Suppose 0 = 9*c - 31 - 5. Suppose 2*j = -c*a + a + 35, -5*a - 11 = -2*j. Suppose 0 = -3*k + j + 20. Put k, 1, 2 in decreasing order.
k, 2, 1
Suppose -3*v + 11 = 2*s, -s + 3*s = 4*v + 4. Let p = 1151 - 11511/10. Sort v, p, -14 in descending order.
v, p, -14
Suppose 0 = -c - 2*f - 12 + 4, 4*f = 5*c - 30. Suppose 0*j + 5*o - 4 = 4*j, 0 = -4*j + 4*o. Let r = 11/2 - 5. Put c, j, r in descending order.
j, c, r
Let a be 1 - 1 - (-1 - 4). Suppose 0 = -11*x + 4*x - 21. Let t be (5/5)/(-2 - x). Sort t, 0, a in decreasing order.
a, t, 0
Let g = 515 + -3607/7. Sort g, 1/3, -64 in decreasing order.
1/3, g, -64
Let p = -4 + 6. Suppose 5*l + 18 = 8. Let o be -3 + 5 + -4 + l. Put o, -2, p in increasing order.
o, -2, p
Let x = -2224 + 2229. Sort 4, -3, x, 47 in ascending order.
-3, 4, x, 47
Let w be (-2)/(-9 + 94/10). Put -8, 4, w in descending order.
4, w, -8
Let c(n) = -n**2 - 6*n + 11. Let d be 26/(-3) - 2/(-3). Let y be c(d). Let m = -2875/9 - -319. Sort 3, y, m in increasing order.
y, m, 3
Let d = -28 + 28. Let l be 1/(11/2) - d. Sort -5, -3/4, l in descending order.
l, -3/4, -5
Suppose 3*i - 4*p = 29, 4*i + 3*p = -4 + 1. Suppose i*k - 1 = 5. Suppose -3*d + 0*d = -4*m - 31, 3*d = 2*m + 23. Put k, -1, d in increasing order.
-1, k, d
Let a = -0.63 + 0.6. Let x = -0.03 - a. Put -0.4, x, 1/4 in descending order.
1/4, x, -0.4
Let g = -420 + 415. Sort g, 89, 0.4 in ascending order.
g, 0.4, 89
Suppo