12. Sort -4/5, t, 3.
-4/5, t, 3
Let p be (-26)/(-8) + (-7)/28. Suppose -c - 2*o - 4 = -p*c, -c + 2 = -4*o. Let d = 3 - 0. Put -4, c, d in decreasing order.
d, c, -4
Let w be (-289)/(-34) + (-3)/2. Put -5, w, -2 in ascending order.
-5, -2, w
Let d = 18.2 - 18. Put -0.3, d, -4, -5 in increasing order.
-5, -4, -0.3, d
Suppose -3*a = n + a - 23, 0 = 5*n + a - 20. Sort -3, -2, n in decreasing order.
n, -2, -3
Let l = -83 + 88. Put -2, -7, l in descending order.
l, -2, -7
Let z(x) = 5*x - 55. Let v be z(12). Sort -4, 8, v in descending order.
8, v, -4
Let s = 1/18 + 47/126. Let y be (-4)/18 - (-709)/18. Let v = -39 + y. Put 3/2, v, s in decreasing order.
3/2, s, v
Suppose 19*y = 15*y. Put 3, y, 1, 2 in descending order.
3, 2, 1, y
Let d(k) = -2*k. Let l be d(2). Let r = 12 - 12. Sort r, -3, l.
l, -3, r
Let x = -1 + 0.8. Let b = 0.04 + 0.01. Let z = 1.05 - b. Put x, -2/3, z in descending order.
z, x, -2/3
Let c be (18 + -3)*2/(-5). Sort 4, c, 5.
c, 4, 5
Let q = -8 + 7.5. Suppose 5*z + 5 = -5*h, -2*z - 5*h = -5*z + 21. Suppose -x = -z*x + 5. Put q, x, -0.4 in decreasing order.
x, -0.4, q
Let z be (-8)/(-6)*(2 - 5). Put z, 4, -3 in ascending order.
z, -3, 4
Let q = 2 + -7/5. Sort -1/7, 1, 1/2, q in decreasing order.
1, q, 1/2, -1/7
Let a = 69 - 273/4. Let i = -79/10 - -8. Put 0.2, i, a in ascending order.
i, 0.2, a
Let t = -1.6 - -2.1. Put t, 2/9, 1 in descending order.
1, t, 2/9
Let m be ((-5)/4)/((-5)/100). Suppose -4 + 3 = q - a, -5*a = -m. Put 3, -5, q in ascending order.
-5, 3, q
Let s = -159.5 + 159. Sort -5/14, 0.4, s.
s, -5/14, 0.4
Let r(q) = -q**2 + q + 2. Let n be r(0). Suppose -n*y + 0*y + 4 = 0. Sort 3, y, 4 in decreasing order.
4, 3, y
Suppose 2*d = 2*v + 16, 0*d = -5*v + d - 20. Let t be 0 + 12/(1 - -2). Put v, -2, t in ascending order.
v, -2, t
Let f = -12.2 - -4.2. Put 0, -2/13, f in decreasing order.
0, -2/13, f
Let j be (-1)/2 + (-20)/8. Let v be 4 + -1 - (3 + 0). Sort v, j, -4 in ascending order.
-4, j, v
Let s(w) = w**2 + 13*w + 1. Let t be s(-13). Sort -5, t, 14 in descending order.
14, t, -5
Let c = 132 + -132.5. Sort -2/5, -5, -0.05, c.
-5, c, -2/5, -0.05
Let l = 2 - 7. Let a = 3.7 - 1.7. Put a, -2/7, l in decreasing order.
a, -2/7, l
Let s be 6/4*(-44)/33. Put s, 4, 5, -5 in descending order.
5, 4, s, -5
Suppose 18*a - 4 = 19*a. Let t(o) = -o + 8. Let v be t(6). Put -1, v, a in ascending order.
a, -1, v
Suppose 15 = -5*u, 3*y - u - 2*u - 18 = 0. Sort -4, y, 0 in descending order.
y, 0, -4
Let c = -8 - -8.3. Suppose 4*z - 4 = 16. Suppose -k = 4*k - z. Sort -1/4, k, c in decreasing order.
k, c, -1/4
Let q = -7 + 11. Let w(u) = u**3 + 13*u**2 - u - 11. Suppose -3*l = 5*x + 77, -4*x + l + 17 = -5*x. Let j be w(x). Sort -5, q, j.
-5, j, q
Suppose -y = f - 7, -y + 0 - 11 = -5*f. Suppose -3*i - 4*s = i - 36, 0 = 5*i + f*s - 43. Suppose -2*b + 5*b - 12 = 0, -i = 3*p - 5*b. Sort 2, p, -3.
-3, 2, p
Let p = 4.5 - 4. Sort p, -0.04, 2/7 in increasing order.
-0.04, 2/7, p
Let a = -37 - -37. Suppose k = 2*u + 6, 3*k - 20 = u - 7. Sort 1, k, a in descending order.
k, 1, a
Let p = 0 + -3.5. Let b = -4 - p. Let f = 0.3 - 0. Sort -3, b, f in ascending order.
-3, b, f
Let z(k) = -k**2 + 8*k - 2. Let o be z(7). Suppose -x = -2*x + 4. Let g(r) = r. Let f be g(-2). Put x, f, o in descending order.
o, x, f
Let q = 459 - 4135/9. Let f be -15*2/10*-8. Let a be 1 + f/(-15) + 0. Put a, q, 0.4 in decreasing order.
0.4, q, a
Suppose 4*i + 5*d + 20 = 0, -2*i = -4*d - 6 - 10. Let o(v) = 5*v**3 + 9*v + 10. Let z be o(-1). Put z, i, 3 in increasing order.
z, i, 3
Let x be 10/105 - (-12)/21. Let q = -0.2 + 0.4. Sort q, -4, x.
-4, q, x
Let i = -15 - -12. Sort -2/3, i, -2/5 in increasing order.
i, -2/3, -2/5
Let o = -0.1 + -0.4. Let q = 92 + -1014/11. Sort o, q, -0.2.
o, -0.2, q
Let g be 3/((-144)/(-46) + -3). Let c = 17 - g. Sort 2, -5, c in decreasing order.
2, -5, c
Let c = -0.26 + -2.74. Suppose -3 = 3*v, -5*a + 7*v = 3*v - 14. Put 1, a, c in decreasing order.
a, 1, c
Suppose 0*n = 3*n + 9. Let v(a) = a**2 + 8*a + 5. Let d be v(-7). Sort d, -1, n in decreasing order.
-1, d, n
Let x(m) = -m**3 - 6*m**2 + 3*m - 3. Let w be x(-7). Suppose -9*p = -4*p - w. Put -0.1, p, -0.5 in descending order.
p, -0.1, -0.5
Suppose -h + 4*h - 135 = 0. Suppose -3*b - b + 5*x = h, 0 = -b + 5*x. Let n be (-3)/b - 14/20. Sort 5, n, 4 in descending order.
5, 4, n
Let m be 2/(3/(-2) - -1). Let h be 2 - 1 - m/(-2). Suppose -5*w = z - 3*z - 19, -3*w = 3*z - 24. Put 0, w, h in descending order.
w, 0, h
Let a = -6 - -9. Let h = 0 + 2. Suppose 3*k - 13 = h. Put 1, a, k in decreasing order.
k, a, 1
Let l = -0.37 - -0.07. Let i = 0 + -0.6. Let r = i + 0.4. Sort l, 2/9, r in ascending order.
l, r, 2/9
Let r = 0.6 - 0.3. Let h = -0.1 + 0.3. Sort h, r, 4/7 in increasing order.
h, r, 4/7
Let x(a) = -a**3 + 12*a**2 - 12*a + 13. Let c be x(11). Let f be (-3)/c - (-18)/4. Put -5, f, -1 in ascending order.
-5, -1, f
Suppose -4*g + 9 = -11. Sort -1, g, 1.
-1, 1, g
Let v be (-28)/(-21) + (-1 - 1). Put 0.3, v, 1/3, 0.1 in descending order.
1/3, 0.3, 0.1, v
Let x = -362/455 + -2/455. Sort x, -2/11, 1, -2/7 in increasing order.
x, -2/7, -2/11, 1
Let s = -100 + 95. Let t be -1*(-2 + (-10)/(-4)). Sort t, -2/5, s in increasing order.
s, t, -2/5
Suppose -l - 3*v - 2 = -2*v, 0 = 3*l + 2*v + 5. Sort -3, l, 2, -5.
-5, -3, l, 2
Let w = -11 + 11. Suppose k = -0*k. Let i = -3 + k. Sort -5, w, i.
-5, i, w
Let v be -2 - -2 - 0*5/5. Put 2/11, 5/24, v in descending order.
5/24, 2/11, v
Let g = 90 + -63. Suppose 0 = 5*l - 3*d - 12, -5*l - 4*d + g - 8 = 0. Put l, 5, -2 in descending order.
5, l, -2
Suppose 0 = p - 2*p. Sort 1, p, 3.
p, 1, 3
Let o = 46 - 26. Let j = 121/6 - o. Let p be 2/3 + (2 - 2). Sort j, p, 2 in decreasing order.
2, p, j
Let a = -36.6 - -37. Let i = 0 - -2. Sort a, 0, i in descending order.
i, a, 0
Suppose 0 = -2*k + k. Let y = 0 + k. Sort y, -5, 1 in increasing order.
-5, y, 1
Let a = 16 + -15. Sort -0.4, a, 0.2 in decreasing order.
a, 0.2, -0.4
Let l = 18 + -23. Let h = 10 + l. Put -0.1, -4, h in decreasing order.
h, -0.1, -4
Suppose -3*u - 30 + 12 = 2*w, 2*u + 8 = 0. Put w, -1, 0 in decreasing order.
0, -1, w
Let v = 3 - 3.1. Let c = 0.3 + v. Put -5, -3, c in descending order.
c, -3, -5
Let v = -3.644 - 0.056. Let r = -1.3 + v. Let w = 0.41 - -0.09. Sort -3, w, r in increasing order.
r, -3, w
Let m be 3 - (2 + 1)/1. Sort 3, m, -0.3 in descending order.
3, m, -0.3
Let l = 3001/3493 - 1/499. Put 2, l, -0.5, -4 in decreasing order.
2, l, -0.5, -4
Suppose -10*a - 5 = -11*a. Let k be 1/(20/6 + -3). Sort a, 4, k.
k, 4, a
Let o(n) = 4*n + 12. Let l be o(-8). Let z = -15 - l. Sort -7, z, 4 in decreasing order.
z, 4, -7
Let s = 3.807 + 0.093. Let x = -0.9 + s. Sort 0.2, 1, x in descending order.
x, 1, 0.2
Let i = 0.03 + -0.33. Suppose -2*a = -2, -4*a + 2 = -5*v + 3. Put i, v, -2/13 in increasing order.
i, -2/13, v
Suppose 0 = 3*l - 3 + 21. Let q be (l - -5)/((-1)/5). Sort 3, q, -1 in increasing order.
-1, 3, q
Let r = 11 - 7. Suppose -s = r*s - 20. Sort s, 1, -3 in ascending order.
-3, 1, s
Let m = -0.6 - -0.4. Let h = -11.08 + 0.08. Let y = 7 + h. Sort m, y, 2/7 in increasing order.
y, m, 2/7
Let g = 1 + -3. Let n = -10 + 28. Let w = -17.6 + n. Put g, -4, w in ascending order.
-4, g, w
Let f be -1*(-2 - -1)*5. Suppose -5*s - v - 20 = -s, -f*s - 5*v - 40 = 0. Sort -1/3, s, -2/9 in ascending order.
s, -1/3, -2/9
Suppose 5*p + 5 = -55. Let a be p/(-4) - (1 - -1). Put 4, -5, a in decreasing order.
4, a, -5
Let i = 6 - 6.2. Sort 3, -1/3, 2/5, i.
-1/3, i, 2/5, 3
Let v be -1*(0 - (-2)/(-2)). Let a be v*(2/(-7) - 0). Sort 0, a, -2/13 in ascending order.
a, -2/13, 0
Suppose 2 = 2*f + 6. Let o(n) = -n**3 - 3*n**2 - 1. Let i be o(-2). Let p = i - f. Sort p, 2, -1.
p, -1, 2
Let h = 2 + -1.7. Let a be ((-1)/(-1))/(-4 + 5). Let d be a - (2 + (-5)/3). Sort d, h, 0.1 in decreasing order.
d, h, 0.1
Let q = -465/7 - -758/21. Let k = -30 - q. Put k, -1/5, -0.3 in ascending order.
-0.3, -1/5, k
Let c = 5.6 + -2.8. Let z = 1 + -1.2. Let p = z - c. Sort 1, p, -0.1 in ascending order.
p, -0.1, 1
Suppose 4 = 3*i - 5. Suppose 0 = l + i + 1. Let q(m) = -m**3 - 8*m**2 + 8*m - 11. Let b be q(-9). Sort b, -3, l.
l, -3, b
Suppose -k - 3 = -i - 0*k, 0 = -5*k. Sort 4, i, -5 in decreasing order.
4, i, -5
Suppose -5*x - 25 = -20. Put 1