12.1 - 12. Sort 3/5, u, -2/13.
-2/13, u, 3/5
Suppose 0 = 4*r - 3*b + 3, -3*r + 4*b = -4*r - 15. Let k be (6/(-4) - -2)*4. Sort k, -4, r in descending order.
k, r, -4
Let i = -0.1 + 0.6. Let f(z) = -2*z + 3. Let r(v) = -v + 12. Let p be r(8). Let h be f(p). Sort h, i, 5 in decreasing order.
5, i, h
Suppose 0*y - 2*k = 5*y + 19, -4*y - 35 = -5*k. Put -3, -1/4, y in decreasing order.
-1/4, -3, y
Let i = 4.3 - -1.7. Let j = i + -6. Sort j, -0.5, 4 in descending order.
4, j, -0.5
Let h(n) = n**2 - 8*n - 12. Let y be (-9)/6*-3*2. Let l be h(y). Sort l, 0, 4 in ascending order.
l, 0, 4
Let m be ((-1340)/(-276))/(-5)*-3 + -3. Sort m, 4, -1 in ascending order.
-1, m, 4
Suppose -2*h - 3*h = 0. Suppose 30 = -h*v - 3*v. Let a = 7 + v. Sort 1, a, 5 in descending order.
5, 1, a
Let n be (18/(-405))/((-2)/(-10)). Sort 2/9, 1/5, n in decreasing order.
2/9, 1/5, n
Let k = 17 + -16.5. Sort -5, 3, k.
-5, k, 3
Let r = 5 + -5. Suppose r*s + 4*s = -16. Sort s, -3, 1 in descending order.
1, -3, s
Let r = -6.7 + 6. Let x = 5.6 - 5.5. Sort -1/2, x, r in descending order.
x, -1/2, r
Let q(t) = -t**2 + 3. Let u be q(0). Sort 0, u, -2 in increasing order.
-2, 0, u
Let p = -13.5 - -14. Put -0.2, p, 5 in increasing order.
-0.2, p, 5
Let s = 2.7 + -3. Let n = 1/186 + -379/1302. Put s, 0.4, n in decreasing order.
0.4, n, s
Let c = -0.016 + -0.984. Let f be 1/4 - 42/40. Sort f, c, -1/6 in descending order.
-1/6, f, c
Let x = -21 + 26. Sort 2, x, -2/15.
-2/15, 2, x
Let y(x) = -x**2 - 9*x + 4. Let v be y(-9). Suppose 0 = -2*b - 5*k + 17, -10 = -7*k + 5*k. Put b, 0, v in descending order.
v, 0, b
Let z = 1.54 + -0.04. Let g = z - 2. Let u be (-60)/(-10) + -1*3. Put g, -4, u in increasing order.
-4, g, u
Suppose 8*f - 2*f = 30. Put -3, f, -5 in descending order.
f, -3, -5
Let b(t) = -t**3 - 11*t**2 - 9*t + 13. Let i be b(-10). Let w be (-48)/14 + (5 - i). Let l = -12/7 - w. Put l, -5, -1 in ascending order.
-5, -1, l
Let v = -13 - -10. Let n be (-1)/(-2) + 13/(-2). Let h be -1 + -1 + n + 3. Put h, v, 1 in descending order.
1, v, h
Let q = -20 + 21. Put -4, q, -3, -5 in decreasing order.
q, -3, -4, -5
Let y(f) = -f**2 + 4*f + 7. Let t be y(5). Put -3, t, 6 in decreasing order.
6, t, -3
Let z = -0.095 + 7.095. Let q = 0 - 1. Put 1, q, z in decreasing order.
z, 1, q
Let a = 0.2 + -0.5. Let c = 0.02 + 0.48. Put a, c, 0 in descending order.
c, 0, a
Let a = 99 + -691/7. Sort 1/2, 1, a in ascending order.
a, 1/2, 1
Suppose -4*k = -2*k - 16. Let i be (-6)/(-24) + 30/k. Sort 1, 2, i.
1, 2, i
Let d = 31 + -22. Let y be (10/(-15))/(1/d). Sort 1, y, 3.
y, 1, 3
Let l(r) = 7*r - 2. Let i be l(1). Put 3, i, -9 in increasing order.
-9, 3, i
Suppose -2*i - 19 = 33. Let r = -23 - i. Put -4, 2, r in descending order.
r, 2, -4
Suppose -3*q - 4 = -d, 2*q + d + 1 = -0. Let c be q + -2 - (-34)/12. Sort 2, c, -2/15.
c, -2/15, 2
Suppose -4*r = -7*r + 2*h + 14, -3*h - 16 = -2*r. Suppose k = -3*k - 12. Sort -5, k, r in descending order.
r, k, -5
Let v(w) = 3*w**2 - w - 1. Let h be v(-1). Suppose h*g + 3*o + 3 = 0, 0*g = 3*g + 5*o - 1. Put g, 2, 4 in ascending order.
g, 2, 4
Let z(i) = -i + 6. Let b be z(6). Let w = 3 - -3. Let f be (-2)/(-3)*(b + w). Put -2, -4, f in decreasing order.
f, -2, -4
Let x = 15 + -14. Put 6, x, 3 in ascending order.
x, 3, 6
Suppose 0 = 3*i - 7 + 13. Put i, -4, -1 in increasing order.
-4, i, -1
Let g(a) = -2*a + 1. Let s be g(1). Let o(f) = -f**3 + 3*f**2 - 3*f + 2. Let t be o(2). Put -3, t, s in descending order.
t, s, -3
Let u(b) = -b**3 - 5*b**2 + 6*b + 2. Let d be u(-6). Suppose -f - 3*w + 15 = -0*f, -d*f - 10 = -4*w. Suppose 0 - 15 = 3*s. Sort s, f, -2.
s, -2, f
Let n(i) = -2*i. Let q be n(-2). Put 3, q, 0 in decreasing order.
q, 3, 0
Let f = 7.1 + -7. Sort f, -1/4, 4/5 in decreasing order.
4/5, f, -1/4
Let z(h) = h**3 + h**2 + 1. Let t be z(0). Let b(s) = s**2 - 10*s. Let q be b(10). Put -2, q, t in increasing order.
-2, q, t
Let v = -6 - -10. Let m(n) = -n**2 + n + 3. Let p be m(0). Suppose 2*r + p*c + 0*c = -3, -3*c + 3 = 0. Put 0, v, r in descending order.
v, 0, r
Let o = -0.079 + -2.921. Let u = 1/168 - 349/2184. Sort u, o, -1/2 in decreasing order.
u, -1/2, o
Let j = 4.9 - 0.9. Let r = 0.3 - 0.2. Let m = -0.3 + r. Sort -0.3, j, m in increasing order.
-0.3, m, j
Let p be (-1)/(-3 + 4)*1. Let d(a) = a**3 - a**2 - a + 1. Let y be d(2). Sort y, 0, p in increasing order.
p, 0, y
Suppose -5*l + 1 = 4*y - 1, 0 = 4*y + 4*l. Suppose -5*a + 3 = -12. Sort -3, y, a in descending order.
a, y, -3
Let i = 23 - 26. Let h = 3.1 + 0.9. Let m = h + -6. Put i, -5, m in decreasing order.
m, i, -5
Let v be 3 + (-1 - 8) + (5 - 1). Sort -5, v, 0, -3 in decreasing order.
0, v, -3, -5
Let o be (1 - 0)*-1*-3. Sort o, -3, -2/11.
-3, -2/11, o
Let l = -2.6 - -3. Sort -4/5, -1, l in descending order.
l, -4/5, -1
Suppose -3*l + 4 = -4*l. Let c = 1 + 2. Let x be 10/6*c - 0. Sort 4, x, l.
l, 4, x
Let q = -0.22 - -0.02. Put -3, 0.4, q in decreasing order.
0.4, q, -3
Let c = -0.13 - -0.43. Let f = -4 + 0. Sort -2, f, c in ascending order.
f, -2, c
Let q = 2 - 4. Let l = -4 + 14. Let n = -10.5 + l. Sort 5, n, q.
q, n, 5
Let a = -4 - -3. Let i be a*(-3 + (3 - 0)). Let u = -10 - -14. Sort u, i, -5 in descending order.
u, i, -5
Let z = -1/254 - -523/3810. Let p = 1/60 - -353/420. Put z, 1/4, p in decreasing order.
p, 1/4, z
Let i = 227 + -232. Let k be 1*(-1)/((-2)/(-6)). Sort k, 0, i in increasing order.
i, k, 0
Let c = -0.7 + -0.3. Let r = -15 - -18. Let s = c - r. Sort 5, s, 0.1.
s, 0.1, 5
Let k be 2/4 - (-1)/(-10). Let w = -5.01 + 0.11. Let c = -0.1 + w. Put k, c, -0.1 in ascending order.
c, -0.1, k
Let n = -18 + 17.7. Sort 2/15, -0.5, n in decreasing order.
2/15, n, -0.5
Suppose -5*g + 11 = -9. Put g, -1, -16 in decreasing order.
g, -1, -16
Suppose -5*a - 4*t + 52 = 0, 0*a + 44 = 4*a + 2*t. Suppose -a - 6 = -2*y. Let z = y + -4. Sort -5, 1, z.
-5, 1, z
Let m be (-2)/(10/(-6) - -1). Suppose 5*l = -3*i + 40 - 13, -2*i + 18 = -5*l. Let y = 6 - i. Sort m, y, -2 in decreasing order.
m, -2, y
Let o = 9 - 14. Put 4, 1, o in increasing order.
o, 1, 4
Suppose -u + 0*u = 0. Let y = u - 2. Sort y, 2, 3.
y, 2, 3
Let x = 42 + -37. Let i = 3 - 3. Sort x, i, 1.
i, 1, x
Suppose -5 = -m + 2*j, 3*m + 3*j - 6 = 9. Let t be 2/8 - (-3609)/(-132). Let q = t - -27. Sort 2/15, q, m in ascending order.
q, 2/15, m
Suppose 2*v = q + 2 + 3, -4*v = -16. Sort 6, 2, q in increasing order.
2, q, 6
Let o = 83 - 578/7. Let u be (5*8/840)/((-2)/(-24)). Sort o, 0.3, u in ascending order.
0.3, o, u
Let k(o) = o**2 - 4*o + 4. Let b be k(3). Suppose d - 1 - b = 0. Put 1, d, -1 in increasing order.
-1, 1, d
Let l(w) = -w**2 + 10*w - 13. Let k be l(9). Let i(t) = 2*t + t + 6*t**2 + 8 - t**3 - 4*t. Let o be i(6). Sort o, 4, k.
k, o, 4
Let s = 7/80 - 541/240. Let g = s - -2. Let o be (245/80 + -3)/((-2)/(-4)). Sort o, g, 2 in descending order.
2, o, g
Let t(c) = -c**2 + 12*c - 7. Let l be t(11). Put -2, l, -1/7 in decreasing order.
l, -1/7, -2
Let r = 6.7 + -6.8. Put r, 0.4, -0.06, -2/3 in decreasing order.
0.4, -0.06, r, -2/3
Let p(n) = 2*n**3 - 2*n**2 + 2. Let k be p(1). Put 3, k, -0.5, -0.9 in decreasing order.
3, k, -0.5, -0.9
Let z be (4/(-14))/(4/(-308)). Put z, -1/2, -0.3 in descending order.
z, -0.3, -1/2
Let q = -0.27 - 0.03. Sort -3, 2, q.
-3, q, 2
Suppose -l + p = -6*l + 14, -2*p = 3*l - 7. Let r be (-3 - l/(-4)) + 2. Put -1/6, r, 1 in decreasing order.
1, -1/6, r
Let b(s) = -2*s - 11. Let x be b(-3). Sort -1/12, 1/3, 0.3, x.
x, -1/12, 0.3, 1/3
Let d = 8 + -5. Suppose -5*o + 30 = 5*m, m + d*o - 23 = -3*m. Put 2, m, 3 in decreasing order.
m, 3, 2
Let g(o) = 2*o + 24. Let n be g(-10). Sort -2, 2, n in decreasing order.
n, 2, -2
Let k(t) = -t**3 + t**2 - 9. Let q be k(0). Let l = 37/4 + q. Put -0.4, l, 5 in decreasing order.
5, l, -0.4
Suppose 0 = -4*p - 7 - 13. Sort 0, p, 4.
p, 0, 4
Suppose 2*a = 4*a - 8. Put -1, 0, a in descending order.
a, 0, -1
Let h be 35/(-36) - 4/((-16)/3). Sort -0.4, -5, h, 0 in decreasing order.
0, h, -0.4, -5
Let a(g) = -3*g + 104. Let j be a(36). Let h be 1*10/(2/(-1)). Sort j, 4, h.
h, j, 4
Let l = 1.4 - 0.9. Let w = l + 6. Let h = 6 - w. Sort -2, 2, h.
-2, h, 2
Let y(l) = -l. Let d be y(4). Let a be 2*(-5)/d*-2. Let v be 30/(-4)*-4*(-3)/(-18). Put 2, a, v in descending order.
v, 2, a
Let c = 188 - 1694/