t k = -8.9 - h. Sort k, 0.8, -3.
-3, k, 0.8
Let y = -4 - -3. Let r = 2 + y. Let s = 7 + -12. Put 4, s, r in increasing order.
s, r, 4
Let t = -13 + 12.8. Let m = t + -10.8. Sort m, 5, -3.
m, -3, 5
Let i be 3/((-27)/(-24))*-3. Let u(p) = -p**3 - 8*p**2 + 2*p + 12. Let t be u(i). Let x = 6 + t. Put -2, x, -0.1 in increasing order.
-2, -0.1, x
Let l = -556/55 - -51/5. Sort 0.3, l, -1/5.
-1/5, l, 0.3
Let v = -103 + 119. Put 3, 3/5, v in increasing order.
3/5, 3, v
Let u be (-3)/(-1) - (-6)/(-2 + 0). Sort 1, u, -4, -2 in descending order.
1, u, -2, -4
Let k = -0.8 - 20.2. Let n = k + 24. Sort 0, -2/7, n.
-2/7, 0, n
Let u(j) = j**2 + 7*j - 5. Let k be u(-8). Let p(f) = f - 1. Let v be p(-3). Let l(n) = 2*n**2 + 2*n - 2. Let z be l(-2). Sort v, z, k in ascending order.
v, z, k
Let b = 1 - -1. Let q = -2.5 + b. Sort q, -2/11, 5 in descending order.
5, -2/11, q
Let z = -2.47 - -0.27. Let d = z - -2. Let f = d - 1.8. Sort -4, -0.5, f in ascending order.
-4, f, -0.5
Let w be (-69)/(-6) + 1/(-2). Let t = w + -11. Let n(u) = -u**3 - 5*u**2 + 6*u - 4. Let m be n(-6). Sort -2, m, t in decreasing order.
t, -2, m
Suppose -2*g - g = 0. Suppose -10 = c - 4*j, -4*c - 2 = -5*j + 5. Suppose -c - 8 = 3*r - 2*z, 5*z = -2*r - 13. Sort r, g, -1.
r, -1, g
Let q(w) = -w**3 - 11*w**2 - 30*w + 3. Let f be q(-6). Sort -2/9, -4/3, f, -3/11 in decreasing order.
f, -2/9, -3/11, -4/3
Let x = 3 - 2. Let b be (-6)/28 - 1/(-2). Let u = 299.7 + -300. Put u, x, b in descending order.
x, b, u
Let y = 4.93 + 0.07. Let a = y - 4.5. Sort -2, -2/7, a.
-2, -2/7, a
Let l(w) = -2*w**3 - w**2 - w. Let o be l(-1). Let z(q) = q**2 - 25*q + 155. Let n be z(11). Put n, o, 11 in ascending order.
n, o, 11
Let p be 2 - ((-2)/(-12) - -2). Suppose 0 = 2*r - 3*f - 14, -5*r + 10 + 2 = 4*f. Suppose -20 = -r*o - 5*j, -5*j = -5*o - 9 - 11. Sort -1/2, o, p.
-1/2, p, o
Suppose -4*z + 2 = 3*y - 14, 2*z - 14 = -3*y. Let h be 3 - 2/y*6. Put h, 3, 7 in decreasing order.
7, 3, h
Let t = -21.5 - -21. Let a = 1 + -1. Sort t, a, 2 in increasing order.
t, a, 2
Let t = -4 + 3.4. Sort 0.2, -3/7, t.
t, -3/7, 0.2
Let n = 12.6 - 13. Sort n, 3, -4 in descending order.
3, n, -4
Suppose 8 = -2*n + 2. Sort 1, 4, n in ascending order.
n, 1, 4
Let l = 1.4 - 1. Sort -1, -0.4, l, 4.
-1, -0.4, l, 4
Suppose 5*l = -4*s - 8 + 21, -5 = -5*l. Suppose 4 = x + s*m, -x + 4 = -0*x - 5*m. Suppose 1 + 1 = t + a, x*t = -3*a + 10. Sort t, -1, 3 in increasing order.
-1, 3, t
Let z be (4/3)/(3/(-9)). Let o = -15 + 18. Sort o, -1, z in descending order.
o, -1, z
Let m(g) = -1 - 5*g**2 - 3 + 3 + 2*g. Let k(o) = -o**3 + 10*o**2 - 8*o - 8. Let p be k(9). Let j be m(p). Sort 2, j, -5 in increasing order.
-5, j, 2
Let f = 0.03 + -0.13. Sort -3, f, -5 in descending order.
f, -3, -5
Let f = -4.1 - -6.1. Sort 4, -1, f, -1/3 in decreasing order.
4, f, -1/3, -1
Let r(z) = -2*z**2 - 6*z + 3. Let l be r(-3). Sort l, 5, -9 in decreasing order.
5, l, -9
Let i = 62 - 57. Put i, -1, 1/3, -0.4 in increasing order.
-1, -0.4, 1/3, i
Let f = -3 + 12. Suppose -2*b = u - f, -5*u + 25 = -0*b + 5*b. Put 5, u, -5 in descending order.
5, u, -5
Let c = -8 + 20. Let m = c + -9. Sort m, -2, 1 in decreasing order.
m, 1, -2
Suppose 21 = 2*d + 5*y, -2*y + 13 = 3*d - 2. Suppose 11 = 4*z + 5*t, 0 = d*z + 2*t - 10. Sort z, -2, -1 in decreasing order.
z, -1, -2
Suppose -3*c - c = -24. Sort 1, c, -3.
-3, 1, c
Let m = -10 - -26. Let u be (m/(-4))/2 - -6. Sort -3, 2, u in ascending order.
-3, 2, u
Let w = -15 - -13. Sort 4, w, 8.
w, 4, 8
Let i = -3 + 2. Let t be -1 - -4 - 2 - -2. Suppose -t*l + 3*r - 27 = 0, 4 = -5*l - r - 17. Sort 0, l, i.
l, i, 0
Let y = 355 - 359. Let a = 7 + -12. Put -0.2, a, y in ascending order.
a, y, -0.2
Suppose -2*q + 4 = 2. Let z = -4 + q. Put z, -0.2, 2/3 in decreasing order.
2/3, -0.2, z
Let n = -128 - -123. Sort n, 37, -1/3 in increasing order.
n, -1/3, 37
Let v = -77/68 + -2/17. Let l = 0.06 - -0.19. Let u = 0.05 + l. Put v, -5, u in ascending order.
-5, v, u
Let g be (-8)/(-1)*1/(-6). Let t be (-4)/(-10) + (-7)/(-20). Sort g, t, 2 in decreasing order.
2, t, g
Let x = -5 - -12.4. Let j = x - 7. Suppose -l = 3 - 2. Sort j, -3, l in ascending order.
-3, l, j
Suppose 0 = -0*j + 3*j + 15. Suppose 35 = -7*u + 14*u. Sort 1, u, j in decreasing order.
u, 1, j
Let v = -2.01 - -0.01. Let u = 120 + -593/5. Let a = 452 - 451.8. Put u, a, v in decreasing order.
u, a, v
Let v(u) = 2*u**3 + u - 1. Let c be v(1). Let d be 2/(-12)*(-12)/9. Sort 4, d, c in ascending order.
d, c, 4
Let f(m) = m**2 + 3*m + 3. Let k(j) = j**2 + 3*j + 2. Let z(g) = 6*f(g) - 7*k(g). Let r be z(-4). Suppose -2*v - 3 + 13 = r. Put -5, -1, v in descending order.
v, -1, -5
Let n be 12/10*(-10)/(-3). Let t be (2*3)/(6/n). Put t, -5, 6 in increasing order.
-5, t, 6
Suppose 0 = 5*v - 25, v + 2*v = -2*h + 15. Suppose 0*p = 2*p - 16. Let l be (-30)/(-8) - p/(-32). Put 5, l, h in increasing order.
h, l, 5
Let p = 0.08 + -0.1. Let x = 1.72 + -1.7. Let w = p + x. Put 3, -0.5, w in descending order.
3, w, -0.5
Let c be -4 - -3 - (1 - 6). Let q = -0.9 + -1.1. Sort c, 1, q.
q, 1, c
Let t = 75 - 73. Let r(a) = a**3 + 3*a**2 - 4*a - 4. Let i be r(-4). Put -5, t, i in decreasing order.
t, i, -5
Let l = -9.54 + -0.46. Sort l, 3, 2/5 in descending order.
3, 2/5, l
Let m(v) = v**3 - 7*v**2 + 9*v + 10. Let w be m(5). Let d(i) = -2 - 2 + 5 - 3*i. Let a be d(2). Put a, w, 1 in decreasing order.
w, 1, a
Suppose -k + 4 - 5 = 0. Sort k, -2, -3, -4 in increasing order.
-4, -3, -2, k
Let z = -80 + 79.9. Suppose 0 = w - 0*w + 4. Sort w, -5, z in decreasing order.
z, w, -5
Suppose 0 = 2*p - 5 - 5. Let l be 18/(-6) - (-20)/12. Put l, 2/5, p in increasing order.
l, 2/5, p
Let o be 5*16*(-1)/(-5). Let q = -11 + o. Sort q, 3, 0 in increasing order.
0, 3, q
Let n = 16 - 81/5. Sort -4, 0, n in decreasing order.
0, n, -4
Let d be 9/(1 + 2)*-2. Let j be (d/(-15))/(2/(-10)). Sort 2, 1, j in decreasing order.
2, 1, j
Let a = -9 - -15. Let c = 4 - a. Sort c, 0, 0.2 in increasing order.
c, 0, 0.2
Let x(r) = r**2 - 7*r - 2. Let m be x(7). Let k(j) = j**2 - 21*j + 85. Let f be k(14). Put f, -1, m in ascending order.
f, m, -1
Let s be 5*1 - (-14 - -12). Suppose -4*b - 13 = s. Sort b, 4, -1 in descending order.
4, -1, b
Let h(l) = -l + 2. Let w be h(5). Let m(y) be the third derivative of y**4/12 + y**3/6 - 2*y**2. Let q be m(w). Put q, -3, 1 in decreasing order.
1, -3, q
Let v = 8.1 - 8. Let p = -378 - -6428/17. Put p, v, 1/6 in increasing order.
v, p, 1/6
Let c = -8 - -3. Suppose -b = 2*b - 12. Sort b, c, -1.
c, -1, b
Let n = -1.7 - -0.7. Let k = 2 + n. Let z = -5 + k. Sort z, 5, -1/2 in descending order.
5, -1/2, z
Let i = -101 - -104.96. Let g = -4 + i. Let q = 0.16 - g. Sort 5, 2/3, q in increasing order.
q, 2/3, 5
Let l(z) = -4*z. Let i be l(1). Let m = -1.3 + 1.1. Put -1, i, m in ascending order.
i, -1, m
Let c = -0.0355 - -0.5355. Let w = -4.02 - -0.02. Sort c, w, -0.4.
w, -0.4, c
Let z = -1.2 - -0.2. Sort -0.3, -3, z in increasing order.
-3, z, -0.3
Let f(y) = 7*y - 7. Let w(r) = -4*r + 3. Let b(d) = 3*f(d) + 5*w(d). Let t be b(10). Put 0, -1, t in decreasing order.
t, 0, -1
Let f = -0.058 + 1.058. Sort -3, -1/2, 12, f in decreasing order.
12, f, -1/2, -3
Let w(t) = t**3 + t**2 + t + 5. Let k be w(0). Suppose -y - 7 = k*j - 1, 2*j + 2 = 0. Suppose 0*u - 9 = 3*u. Put -4, u, y in increasing order.
-4, u, y
Suppose s + 2*s = -15. Let t be -1*(-3)/5*5. Sort -3, t, s in increasing order.
s, -3, t
Let o = -3 + 5. Suppose -3*q - 7 = -u, -9 = 4*q - q. Sort u, 3, o.
u, o, 3
Let g = 20/9 + -71/36. Let y = 25 - 74/3. Put y, 0.5, g in descending order.
0.5, y, g
Suppose 11 = 4*z + 31. Suppose 0 = -5*s + 7*s + 12. Put -3, s, z in decreasing order.
-3, z, s
Let t be ((-1)/2)/((-1)/12). Let s be 2 - (-4 + (-2 - -4)). Put s, 5, t in decreasing order.
t, 5, s
Let q = 0 - -1. Let w = 4 - -1. Put w, 0.4, q in ascending order.
0.4, q, w
Let v = 22 + -19. Suppose -l - 3*l = -4*c - 24, c = -3*l + 6. Sort v, c, -4 in ascending order.
-4, c, v
Let p = 2.9 - 3. Let q = -0.9 + p. Sort 2, q, 2/7 in ascending order.
q, 2/7, 2
Let o = 0.2 + -0.4. Let b = o + 3.2. Let n = 0.07 + 3.93. Put b, 1, n in descending order.
n, b, 1
Let o = -27 + 24. Sort 2, o, -14 in descending order.
2, o, -14
Suppose -16 - 5 = 7*x. Put 2, x, -1/3 in decreasing order.
2, -1/3,