(2). Sort -3, -5, f, 0.
f, -5, -3, 0
Suppose 0 = -3*c + u, 4*u = -c - 2*c. Sort c, 0.1, 3 in decreasing order.
3, 0.1, c
Let t = -9.7 + 0.7. Let w = 8.98 + t. Sort -2/5, 1/2, w in ascending order.
-2/5, w, 1/2
Suppose 0 = 3*m - 62 + 50. Let s(x) = x - 1. Suppose -3*y = -3*o - 18, 2*o = -6*y + 2*y. Let g be s(o). Sort m, g, 5 in increasing order.
g, m, 5
Suppose 10 = -5*s + 3*s. Let q(g) = -2*g**3 + 4*g**2 - 2*g - 1. Let j be q(2). Let h = j + 9. Put -2, h, s in decreasing order.
h, -2, s
Let s = 3/70 + 19/210. Let v = -0.5 + 0.3. Sort s, v, 0.3 in ascending order.
v, s, 0.3
Let b = 114 + -108. Let x = 0.3 - 3.3. Put 5/6, b, x in increasing order.
x, 5/6, b
Suppose -3*p + p = -3*i - 4, -3*i = 5*p - 31. Suppose -5 = -4*f - 3*a - 0, 0 = 4*f + i*a - 10. Let h(q) = q - 13. Let w be h(9). Sort w, 0, f.
w, 0, f
Let p be (-3 + (-2)/(-4))*2. Sort -1, p, -4 in descending order.
-1, -4, p
Let a = 4 - 1. Suppose 0 = 2*h - 2*i - 4, a*h - 2*i - 13 = -4. Suppose 0 = 5*d - 4*b + 33, -d + 2*b = 3*b + 3. Sort h, d, 0 in increasing order.
d, 0, h
Let u be ((-9)/6)/(2/(-4)). Suppose 0 = y - u. Sort y, -4, -1.
-4, -1, y
Suppose 2*b + 18 = 10. Sort 0, -1, b.
b, -1, 0
Let g = -33 + 33. Suppose 0 = 5*d + 5*t + 135, 3*d - t - 2*t = -99. Let k be ((-4)/d)/((-2)/10). Put g, -1/4, k in descending order.
g, -1/4, k
Suppose q - 101 = 3. Let p = -518/5 + q. Sort 3, p, 0.3.
0.3, p, 3
Let h be 28/(-16) + (-6)/15*-5. Put 3, 0, 5, h in decreasing order.
5, 3, h, 0
Suppose 6 = 3*y + 3*o - 6*o, -5*o = -2*y + 10. Put -1, -5, y in decreasing order.
y, -1, -5
Suppose 5*c - 11 = -s, -3*c = 2*s - 5*c + 14. Put -2, 5, s, -3 in ascending order.
s, -3, -2, 5
Let j = -4.3 + 3.3. Sort j, -0.04, -0.5.
j, -0.5, -0.04
Let s = 6.1 + -0.1. Let w = -4 + s. Let a be (-1)/(-2)*12/(-10). Sort a, w, 0.
a, 0, w
Let r(x) = 2*x + 6. Let d be r(-2). Sort d, -1, 3, 0 in increasing order.
-1, 0, d, 3
Suppose 0 = -2*g + 4*i + 14, -3 = i + 2. Sort -5, g, 7 in descending order.
7, g, -5
Let r = 0.05 - 2.05. Let x = 0.7 - 3.7. Put r, 4, x in increasing order.
x, r, 4
Suppose -3*j - 2*x + 7 = 0, -4*j + 4*x = -9*j + 13. Let n be (1 - 2) + 0 + 0. Sort j, 5, n in descending order.
5, j, n
Let k be 9/15 - 6/10. Let f = k - 5. Sort f, -1/7, -0.06 in descending order.
-0.06, -1/7, f
Let t(c) = -2*c**2 + 13*c - 1. Let s be t(6). Put -4, -1, s in increasing order.
-4, -1, s
Suppose 8*m - 11*m = 15. Let i(g) = g**2 + 6*g - 4. Let b be i(-6). Put m, b, -2 in decreasing order.
-2, b, m
Let u(d) = -2*d - 3. Let q(j) = j + 4. Let x be q(-7). Let b be u(x). Sort -3, 4, b.
-3, b, 4
Let r = 2 + 3. Put 2, r, -1 in descending order.
r, 2, -1
Let p(m) = 6*m - 2. Let j be p(1). Put j, 5, 3, -1 in decreasing order.
5, j, 3, -1
Suppose 3*z = 13 - 4. Let q = -5 - -3. Put -1, q, z in increasing order.
q, -1, z
Let j = 4 + 0. Let v be ((0/(-1))/2)/2. Let m be -1 + -2 - (2 - 1). Sort m, j, v in ascending order.
m, v, j
Let g = -0.03 - 4.97. Put 0.2, g, -3 in ascending order.
g, -3, 0.2
Let d = -6 + 2. Let i(u) = -u**3 + 13*u**2 + 15*u - 20. Let p be i(14). Sort d, 0.2, p in decreasing order.
0.2, d, p
Let f = -5 + 10. Let z be 3/(-15) - (-1)/f. Put z, 1, -5 in descending order.
1, z, -5
Suppose 0 = -2*m - v + 50, -2*v + 75 = 3*m + 3*v. Suppose -2*k - m = 3*k. Put k, -6/7, 0.3 in decreasing order.
0.3, -6/7, k
Let a be 3/(3/(-12)*6). Put 5, 2, a in descending order.
5, 2, a
Let x = 10 - 12. Let t = -2 + 1.8. Put x, t, -1/4 in descending order.
t, -1/4, x
Let h = -29 + 24. Let m(j) = j**3 - 3*j**2 - 6*j + 4. Let x be m(4). Sort h, 3, x in increasing order.
h, x, 3
Let q be 6/(-2)*(-4 + 116/30). Let c = -0.03 + -1.97. Let g = c + -2. Sort g, q, -0.2 in descending order.
q, -0.2, g
Let t(z) = z**3 + 17*z**2 - 2*z - 37. Let h be t(-17). Sort h, -5, 2, -4.
-5, -4, h, 2
Suppose 10 = -2*d + 20. Put d, -4, -1, 2 in decreasing order.
d, 2, -1, -4
Let c be 1/4 + (-9)/(-12). Let d(q) = -1 + 2*q**3 + 3*q**3 - 6*q**3. Let y be d(1). Sort y, c, -4 in descending order.
c, y, -4
Let x = 2 - 1.6. Let t be 1*-257*(-1)/(-7). Let s = t - -37. Sort 0.5, x, s.
s, x, 0.5
Let t = 1 + 4. Let c be (-2)/(-2) + (7 + -3 - 7). Sort 4, t, c in descending order.
t, 4, c
Let y = 62 + -59. Sort -2, 4, y in ascending order.
-2, y, 4
Suppose 0 = -l + 3 + 2. Suppose -l*m = -m. Sort m, 2, -2 in increasing order.
-2, m, 2
Let l be 1*(0 - -2) - -3. Let a(h) = h**3 + 13*h**2 + 29*h - 7. Let i be a(-10). Sort 2, l, i in ascending order.
2, i, l
Suppose -j = j - 6. Let c = -595 - -594. Put c, j, 6 in descending order.
6, j, c
Suppose 0 = -5*d - d - 6. Sort d, -3, 5 in ascending order.
-3, d, 5
Let o = 158/3 + -52. Sort -2/7, o, -0.2, -2/19 in ascending order.
-2/7, -0.2, -2/19, o
Let h = -0.08 + -0.22. Let v = 0.2 + h. Let g = 97 + -292/3. Sort g, 3/2, v in increasing order.
g, v, 3/2
Suppose 5*n = -1 - 14. Let s = 9 + -6. Sort s, 5, n in descending order.
5, s, n
Let m(s) = s - 10. Let p be m(7). Put -6/7, p, 1 in increasing order.
p, -6/7, 1
Let j be ((-6)/4)/(18/(-48)). Suppose 28 = 2*d + j*g, 3*g = 5*d - 0 - 5. Let q(m) = m - 3. Let r be q(d). Sort 0, r, -3 in decreasing order.
r, 0, -3
Let w = -0.26 - 0.04. Let g = -0.6 - w. Let r = 2.3 - 1.3. Sort r, -2/3, g in decreasing order.
r, g, -2/3
Suppose 10 = -2*n - 4. Let o = n - -4. Sort o, 4, -2 in decreasing order.
4, -2, o
Suppose -18 = -19*b + 16*b. Suppose 0 = -b*k + 6 + 6. Put -1, 19, k in increasing order.
-1, k, 19
Let c be (0 - (-78)/30) + -3. Let o = -0.6 - -0.1. Sort o, c, -4.
-4, o, c
Suppose -2*s + 5*j = 36, 5*j = -3*s + j - 8. Let q be -3 - -2*(-14)/s. Put 0.2, 2/7, q in decreasing order.
q, 2/7, 0.2
Let w = -4.7 + -0.3. Put 1/2, w, -2 in decreasing order.
1/2, -2, w
Let v = -14.74 - 0.26. Let o = v - -14.6. Let t be 2/8 - (-21)/(-180). Sort o, t, 5 in ascending order.
o, t, 5
Let j = 1/7 - 23/14. Put 0, 2, j in decreasing order.
2, 0, j
Let p(f) = -f**3 + 5*f**2 + 5*f + 1. Let r be p(6). Suppose 6*o = 3*o - 18. Let q be (o/(-8))/(1/(-4)). Put q, 5, r in decreasing order.
5, q, r
Let d be 0*-1*3/(-3). Put d, 2, -0.5 in decreasing order.
2, d, -0.5
Let n = 15 - -5. Sort -2, n, 1.
-2, 1, n
Let r = -0.04 + 0.11. Let m = 4 - 4.03. Let j = m - r. Put -4, j, -3/8 in descending order.
j, -3/8, -4
Let q = -19.4 + 24. Let d = 5 - q. Sort d, 4, -0.4 in descending order.
4, d, -0.4
Let a = 20.6 - 16.6. Put 5, 15, a in decreasing order.
15, 5, a
Let o = -0.019 + 5.019. Let u = -1 + 1.01. Let t = -0.41 + u. Sort -5, o, t in descending order.
o, t, -5
Let g = 3.93 - -0.07. Let r = -4.5 + 0.9. Let d = r + g. Put d, -2, -3 in increasing order.
-3, -2, d
Let c = -6 - -4. Let z be 4 + -2 - (-2)/2. Put z, 4, c in decreasing order.
4, z, c
Let h = 7 - 14. Let i = h - -3. Sort 4, i, -2 in decreasing order.
4, -2, i
Suppose 5*k = k + 12. Suppose -k + 11 = 2*i. Sort -2, i, -4 in descending order.
i, -2, -4
Let v(r) = 4*r + 3. Let g be v(-1). Sort -5, 10, g.
-5, g, 10
Suppose -c = 5*s - 14, -5*s + 4*c - 7 = -26. Let x = s - -1. Put 1, -2, x in ascending order.
-2, 1, x
Let u = -12 - -7. Let h = 21 - 15. Let l = 6.4 - h. Sort u, 0.2, l.
u, 0.2, l
Let j = 0.9 + -1. Let w = -2.1 + 1.4. Let r = w - -1. Put j, 0, r in decreasing order.
r, 0, j
Let w(b) = -4*b**2 - 15*b + 2. Let o be w(-4). Sort 1/9, 1, -17, o in descending order.
1, 1/9, o, -17
Suppose -11 = 3*k - w, -3*k - w - 16 = -3*w. Sort 4, 5, k in increasing order.
k, 4, 5
Let o = -13/6 + 8/3. Sort -1, 0.2, o in increasing order.
-1, 0.2, o
Suppose 0 = 2*o - 4, -4*q + q + o = 14. Let a be ((-20)/(-2))/(4 - 2). Suppose 4 = -2*r - 5*u, -3*u - 4 = 2*r + u. Put a, r, q in ascending order.
q, r, a
Let b = -3 - -3.3. Let t = b + -0.8. Let u be (-4)/(-7) - (-6)/14. Put u, 4, t in descending order.
4, u, t
Let f = 67 + -65. Put -1, f, 3 in ascending order.
-1, f, 3
Suppose -3*q = -51 - 72. Sort 3, 4, q in increasing order.
3, 4, q
Suppose -3*c + y + 17 = 2*y, 0 = 5*y - 25. Put 2, c, -1 in descending order.
c, 2, -1
Suppose 2*w = -b - 5, 4*w + b + 0*b = -13. Put w, 3, 1 in descending order.
3, 1, w
Let i = 7 - 6.5. Let b = i - 0.7. Put b, -2, 5 in descending order.
5, b, -2
Suppose -3*x + q + 5 = -2*x, -x - 3*q - 15 = 0. Suppose 20*d + 10 = 22*d. Suppose -d*u + x*u = -15. Sort 0, u, 2 in decreasing order.
u, 2, 0
Let v = 2.3 + -2.24. Let z = 3.06 - v. Let y be (-4)/(-6) - 14/3. Sort y, z, 