2 - 3. Suppose b = -5*m - 5*f - 33 - 2, -m - 12 = 2*f. Put m, -5, -3 in increasing order.
-5, -3, m
Suppose k - 2*k = -1. Suppose -2*q = q - 6, 0 = 2*p + 3*q - 12. Let i be -2 + -1 + (-9)/(-3). Sort i, p, k in ascending order.
i, k, p
Suppose -5*v + 0*v - 25 = 0. Let p be 1*15/(-5 - 0). Put p, -4, v in increasing order.
v, -4, p
Suppose -3*k = -5*t - 10, k + 4*k = -4*t - 45. Put k, -4, 5 in decreasing order.
5, -4, k
Let x(r) = -r + 2. Let a be x(1). Sort a, -4, 4 in decreasing order.
4, a, -4
Let u = 1.52 + -1.52. Sort 0.5, 0.4, u, -0.3 in increasing order.
-0.3, u, 0.4, 0.5
Let r = 0.13 - -22.87. Let a = 27 - r. Put 1, a, 0 in ascending order.
0, 1, a
Suppose 4*v = -18 + 50. Let a be (-19)/4 - 2/v. Put 1, -4, a in descending order.
1, -4, a
Suppose 5*u = 7*u + 6. Sort u, 4, 3 in decreasing order.
4, 3, u
Suppose -26 = 7*b + 2. Let i = -8.6 + 8. Let w = i - 0.4. Sort -3, b, w in descending order.
w, -3, b
Suppose -40 = 34*g - 14*g. Put 0.4, -0.2, g in descending order.
0.4, -0.2, g
Let z(d) = 16*d. Let i be z(-1). Let b be 4/i*(-1 + 3). Let a(m) = -m**3 + 3*m**2 - m - 1. Let o be a(3). Sort 3, b, o.
o, b, 3
Let d = -2 + 0. Suppose -a = -5*a + 24. Put a, 1, d in descending order.
a, 1, d
Let b = -2.8 - -3. Let v = -27/5 + 174/35. Sort v, -1/11, b in ascending order.
v, -1/11, b
Suppose 5*x + 3 = s, -4*s + 2*s + 3*x = 1. Let n(z) = 4*z + 3. Let r be n(s). Let f be -2*3*(-2)/4. Sort f, r, -1.
r, -1, f
Suppose -4*g = 3*a, 0 = 3*a - 5*g - 0 + 27. Let w be 10/(-45) + a/63. Put -1, w, 5 in increasing order.
-1, w, 5
Let t = 22 + -22.48. Let m = t - 0.02. Sort 4, m, -3 in increasing order.
-3, m, 4
Let w be (3/6)/(1/(-284)). Let l = -998/7 - w. Put -1/5, l, -1/2 in decreasing order.
-1/5, -1/2, l
Suppose 2*x - 7 = -4*r - 27, -x + 4*r + 14 = 0. Let u be (-12)/((-6)/x) + -1. Let h = u + 7. Sort -1, -3, h in decreasing order.
h, -1, -3
Let v = 18 - 16. Sort -2, 1, v in ascending order.
-2, 1, v
Suppose -2*i - q - q + 8 = 0, 4*q = 4*i. Put 1, 4, i in descending order.
4, i, 1
Let g(s) = -3*s**3 + 2*s**2 - s - 2. Let b be g(1). Let a(v) = -v - 2. Let w be a(-1). Sort b, w, 7 in decreasing order.
7, w, b
Let d(w) = -4*w - 17. Let g be d(-4). Put 1/5, 2, 4, g in descending order.
4, 2, 1/5, g
Let u = -19 + 7. Let b = u + 7. Let w be 10/(-3) + 3/9. Sort b, w, 5.
b, w, 5
Let m = -0.39 - 0.11. Put -4, -1, m, -0.05 in decreasing order.
-0.05, m, -1, -4
Let u(g) = 3*g + 52. Let w be u(-18). Sort 5, 18, w.
w, 5, 18
Let s = -2.3 - -7.3. Put s, -2, 0.3 in increasing order.
-2, 0.3, s
Let b = 14.4 - 14. Let a = 0 - b. Sort a, 4, -3.
-3, a, 4
Let t(y) = y**2 - 4*y - 2. Let d be t(4). Let v(p) = -p**3 + 5*p**2 - 3*p - 3. Let a be v(4). Put 5, d, a in ascending order.
d, a, 5
Let r = 151 + -146. Sort 0.4, r, 0.1, -1/2.
-1/2, 0.1, 0.4, r
Let r be 1*-1 - 1/(-1). Suppose -4*q + r*q = 0. Suppose q = -3*v + v. Sort -3, 0.5, v in decreasing order.
0.5, v, -3
Let t = 68 - 68. Sort -1, -4, t, 14.
-4, -1, t, 14
Let s = 89.43 + -90. Let q = -0.07 - s. Sort q, 2/5, -1 in increasing order.
-1, 2/5, q
Let v(i) = 2*i**3 + 8*i**2 + 3*i - 5. Let x be v(-3). Let l(b) = b**2 - 2. Let r be l(2). Sort x, 7, r in descending order.
7, x, r
Let a(z) = z**2 - 8*z + 10. Let d be a(7). Suppose 16 - 1 = -d*f - 3*l, -17 = 5*f + l. Put 1, f, -1 in decreasing order.
1, -1, f
Let l = -50 + 47.3. Let c = l + 3. Put c, 0.2, -1/5 in ascending order.
-1/5, 0.2, c
Let q = 7 + -13. Let x = 5.7 + q. Let i = -4.09 - -0.09. Sort i, 4, x in increasing order.
i, x, 4
Let c = 58 + -40. Let y be (-6)/c - (-3)/7. Put y, 5, -8 in descending order.
5, y, -8
Let n = -9 + 6. Let z be (-15)/(-2)*(-2)/n. Sort -5, -1, z in decreasing order.
z, -1, -5
Let g be 3/(-4 - -7) + -5. Put 52, g, -3 in decreasing order.
52, -3, g
Let v = 0.28 - 3.28. Put -2/3, -2/9, v in decreasing order.
-2/9, -2/3, v
Let n = -0.019 - 0.481. Sort 7, 3, n, 2.
n, 2, 3, 7
Let z = 204/5 + -1413/35. Let d = 143/3 + -48. Sort d, -1, z.
-1, d, z
Let q = -5.2 + 11. Let u = q - 6. Let d = 1 + -0.5. Put d, 0.1, u in decreasing order.
d, 0.1, u
Let i(d) = 2*d**2 - 12*d - 12. Let o be i(7). Sort 1, 5, o, -4.
-4, 1, o, 5
Let k be (-3 - -2)*((-36)/16 - -2). Sort -3, -16, k, 1.
-16, -3, k, 1
Let p = -18 + 16.2. Let v = -2 - p. Let y be 1/2 + (-6)/4. Put v, y, 1/2 in ascending order.
y, v, 1/2
Suppose -20 = 2*s + 2*s, 0 = -5*k - s + 15. Let t(c) be the first derivative of -c**2/2 + c + 4. Let l be t(5). Sort 1, k, l in increasing order.
l, 1, k
Suppose -6*y + y + 5*d - 30 = 0, 2*y - 4 = -2*d. Let l(m) = m + 10. Let k be l(-9). Put 5, y, k in descending order.
5, k, y
Suppose -2*z + 6 = -10. Sort -5, z, -4.
-5, -4, z
Suppose 0*j = 4*j - 20. Suppose 8 = -j*x - 7. Put x, 0, -5 in ascending order.
-5, x, 0
Suppose -v + p = 4 - 0, 3*v + 5*p + 4 = 0. Let k(x) = x**3 - 4*x**2 - 2*x + 6. Let w = 10 - 6. Let t be k(w). Sort t, 5, v in decreasing order.
5, t, v
Let u be ((-4)/(-30))/(2/(-20)). Suppose 11 + 4 = -5*c. Let f = c - -20/7. Sort 3/4, u, f in decreasing order.
3/4, f, u
Let t(q) = -2*q**3 - 2*q - 1. Let d be t(-1). Suppose 4*f + 9*k = 4*k - 2, 0 = -2*f + 5*k + 14. Suppose 5*x + 17 - f = 0. Put x, d, 5 in descending order.
5, d, x
Suppose 0*m - m = -5. Suppose -7 - 13 = -m*i. Suppose 13 = -i*n + 5*u, 4*n = -2*u + 10 + 12. Sort n, -4, 5.
-4, n, 5
Let t = -12 + 12.3. Sort 1, 0, t.
0, t, 1
Let o = 0 - -1. Let h = o - 1. Suppose 3*a + 2*w = 4*w - 3, -5*a - 6 = -3*w. Sort 4, h, a in decreasing order.
4, h, a
Let m = -22/9 + 277/117. Put 2, m, 1/2 in decreasing order.
2, 1/2, m
Let n = -0.247 - -0.047. Let s = 0.1 - -0.9. Put 0.3, n, s in decreasing order.
s, 0.3, n
Let t = 13 - 13. Sort t, 3, -3 in descending order.
3, t, -3
Let j(m) = -m + 2. Let q be j(0). Suppose 3*t + 2*x + 5 = 3*x, q*t + 15 = 3*x. Suppose 6 = -i + 4*i. Sort t, 3, i in decreasing order.
3, i, t
Let l = 75 - 71. Let x = 270/139 + -70997/556. Let r = x - -125. Sort l, -3, r in ascending order.
-3, r, l
Suppose 4*f - 28 = 2*f. Put -0.1, f, -3 in ascending order.
-3, -0.1, f
Let m(v) = v - 22 + 22. Let k be m(-3). Put -2, -5, k in increasing order.
-5, k, -2
Let x = -0.14 - -4.14. Let k = x - 4.2. Put k, 1, -0.6 in decreasing order.
1, k, -0.6
Let u = -0.2 - 3.8. Let n = u + 0. Let t = 0.01 - 0.41. Sort -0.3, n, t in decreasing order.
-0.3, t, n
Let k = 0.4 - 0.3. Suppose 0 = -3*n + 39 + 6. Let j be (1/(-3))/(n/9). Sort j, k, -3 in descending order.
k, j, -3
Suppose 0 = 4*f - 9 + 1. Sort f, -2, 5, -5 in descending order.
5, f, -2, -5
Let o(k) = -4*k + 25. Let n be o(5). Sort -0.2, -0.3, 1/12, n.
-0.3, -0.2, 1/12, n
Let z(v) = 4*v**2 + 1 - v + 0*v - v. Let a be z(1). Suppose -3*w + 2*w + 1 = 0. Sort a, 5, w in increasing order.
w, a, 5
Let b = -4 + 12. Sort -4, -0.4, b in decreasing order.
b, -0.4, -4
Let t(c) = -4*c**2 + 2*c - c**3 + 0*c**2 - 2*c**2 + 7. Let u be t(-6). Let b = 8 - 9. Sort u, -2, b in decreasing order.
b, -2, u
Suppose 97*g + 130 = 87*g. Let w be -10*(2 + (-16)/10). Sort 1, g, w in descending order.
1, w, g
Let n = 8.5 + -4.5. Let q = -3 + 2.7. Put -5, n, q in decreasing order.
n, q, -5
Suppose 0 = -0*w + 3*w. Suppose w*k + 36 = 3*k. Let a be (-10)/9 + 8/k. Put 4/3, 0.2, a in descending order.
4/3, 0.2, a
Let h = 0 + -6. Let j = h - -3. Sort -5, -0.4, j in ascending order.
-5, j, -0.4
Let p = -93 - -97. Put 0.4, 1.1, -5, p in ascending order.
-5, 0.4, 1.1, p
Let a(n) = -2*n + 9. Let f be a(4). Let o = 0 - -2. Let u be (-1*o)/(2/2). Sort f, u, -1.
u, -1, f
Let m = 0.34 + 0.62. Let j = -0.04 - m. Put 3/5, 0.3, j in decreasing order.
3/5, 0.3, j
Let u = -0.067 - 0.033. Put 16, u, 1 in increasing order.
u, 1, 16
Suppose -8 = 2*r - 4*w, 5*w - 2*w - 32 = -5*r. Put r, -4, -3 in ascending order.
-4, -3, r
Suppose 0 = 5*y - 4*y - 2. Suppose -z - y = -2*l, -2*l + 4 - 2 = 5*z. Suppose -2*d = -3*k + 10, -5*d = 2*k + 2*k + 2. Sort d, 4, l.
d, l, 4
Let a = -18 + 18.5. Sort a, 7, 0.1, -0.3 in descending order.
7, a, 0.1, -0.3
Let n = 82 + -90.3. Let k = 8 + n. Let x be (-2)/7 - (-66)/(-14). Sort x, 2, k in ascending order.
x, k, 2
Suppose 0 = 2*g + g - q - 54, -2*q - 40 = -2*g. Let t = g + -12. Suppose j + 2*j + 5*c = 17, 0 = -j + 2*c + 2. Put -5, j, t in decreasing order.
t, j, -5
Let x be 5/5 - -1*1. Suppose -4*y + 0*y - 1 = -5*s, 2*y - 2*s = 0. Let a be -2*((-9)/(-6) - y). Sort x, 3, a.
a,