k + 23, -k = 4*y - 17. Sort -2, b, y in increasing order.
-2, b, y
Suppose 0 = -x + 3 + 8. Let g = x + -12. Sort g, 4, -4 in descending order.
4, g, -4
Let k = -0.04 + -1.46. Let j = 1.8 + k. Sort -4/5, j, 4/7 in ascending order.
-4/5, j, 4/7
Let v = -1.6 - -5.6. Sort 1, 0.3, v.
0.3, 1, v
Let k = 0.05 + -4.05. Let f = 1.79 - 0.09. Let c = f - 1.3. Sort 1/4, k, c in ascending order.
k, 1/4, c
Let z(y) = y**2 + 5*y. Let j(m) = 2*m**2 + 11*m + 1. Let l(c) = -3*j(c) + 5*z(c). Let f be l(-7). Suppose -2 = 5*a - 6*a. Put a, -1, f in descending order.
f, a, -1
Suppose 12 = -3*t, -3*t + 2 - 12 = 2*l. Suppose -1 + 0 = x. Let v = -25 + 21. Sort x, l, v in descending order.
l, x, v
Let r(v) = -v**2 - 3*v. Let y be r(-4). Let u = -24 - -21. Put u, y, 0.02 in increasing order.
y, u, 0.02
Suppose -2*w - 5 + 39 = 0. Let j = -239/2 + 136. Let k = w - j. Put -2, k, 2/7 in ascending order.
-2, 2/7, k
Suppose 5 - 11 = 2*y. Sort 8, -4, y in decreasing order.
8, y, -4
Let l be (3/(-18))/(1/4). Let x be ((-3)/5)/((-2)/10). Let o be 26/24 - 1/x. Put l, -1/10, o in decreasing order.
o, -1/10, l
Let s = 0.39 - -0.11. Sort 1, s, -2, -11.
-11, -2, s, 1
Let a be (2/9)/(1/11). Let y = 19/9 - a. Let m = 6.761 - 0.761. Put y, m, -5 in ascending order.
-5, y, m
Let c = -0.1 - -0.3. Let g = 16.8 - 18.8. Sort c, 0.5, g in increasing order.
g, c, 0.5
Let q(u) = -u**2 + 3*u + 11. Let d be q(5). Sort -3, -7, d in decreasing order.
d, -3, -7
Let p be 7/21*(-6)/(-4). Let w = -14.8 + 15. Sort -3/5, w, p in ascending order.
-3/5, w, p
Suppose 5*i - 6 - 2 = -u, 5*i - 10 = 0. Let f be (-2)/(-8) - 15/(-4). Let z be f/6 + (-15)/9. Put -3, z, u in descending order.
z, u, -3
Let z(m) = -5*m**3 - m**2 - m. Let d be z(-1). Let o = -0.06 - 3.94. Let n = o - -8. Put d, n, 0 in increasing order.
0, n, d
Let h = -192/505 - 2/101. Let s = -2 + -8. Put h, -4, s in decreasing order.
h, -4, s
Suppose 4*u = -0*u - 20. Let x = -1/5 + -1/5. Sort -2, x, u.
u, -2, x
Let v be 83/(-56) - (-9)/6. Let y = -85/56 + v. Let m = 3.91 + 0.09. Put m, 0.2, y in decreasing order.
m, 0.2, y
Let s = 16 + -11. Let o(l) = -2*l**2 - 4*l - 2. Let p(z) = z + 4. Let m be p(-6). Let h be o(m). Sort s, -4/9, h in decreasing order.
s, -4/9, h
Let b be 120/224 + 2/(-8). Put b, 0, -2 in ascending order.
-2, 0, b
Let o = 6 + -10. Sort -2, o, 0.1 in descending order.
0.1, -2, o
Let v(r) = r**2 - 9*r + 4. Let m be v(4). Let q = m + 21. Sort 4, q, -3.
-3, 4, q
Suppose 0 = s + m - 68, 2*s + 0*m = -m + 132. Put s, -1/2, -4 in increasing order.
-4, -1/2, s
Let i = -4 + 6. Let l = -2.2 + i. Let n = l + -0.8. Put n, -0.2, 0 in decreasing order.
0, -0.2, n
Let t = 5 + -4. Let h = t - 0.8. Let u = h - 0.6. Put -2/9, u, -2 in ascending order.
-2, u, -2/9
Suppose -4*n - f + 11 = 4, f - 1 = 2*n. Sort 0, n, 2 in decreasing order.
2, n, 0
Let i be (-2)/(-6)*-2 + (-7)/3. Let n(r) = -2*r**3 + 2*r - 2. Let a be n(2). Let m be 16/a + 4 + i. Sort -1, m, 0.3 in increasing order.
-1, m, 0.3
Suppose 0 = 2*i - 4*c + 2*c - 2, 7 = 2*i + 3*c. Sort i, 3, -5 in ascending order.
-5, i, 3
Suppose -2*o = -4*g - 6*o + 32, 3*g + o = 16. Let a(n) = n - 2. Let r be a(2). Suppose -g = -r*h - h. Put 5, -5, h in ascending order.
-5, h, 5
Suppose 10*c - 8 = -58. Suppose -n - 4*n = -l - 29, 35 = 3*n - 5*l. Put n, c, 0 in descending order.
n, 0, c
Let p = -0.78 + 0.88. Let m = -5 - -10. Sort p, 2, m in descending order.
m, 2, p
Let q = 9 - 26. Let u = -2 - q. Put 0, u, 4 in decreasing order.
u, 4, 0
Suppose 11 = -3*o - 3*c + 4*c, 4*o - 3*c + 23 = 0. Sort -5, o, -1, -3 in increasing order.
-5, -3, o, -1
Suppose -43 = -5*d - 13. Let z = -1 + d. Suppose 0 = -q + 4*q + 2*m - 11, -3*m = -5*q + 12. Put -3, z, q in descending order.
z, q, -3
Let h = 0.72 - 6.01. Let x = h + 0.29. Sort 1, -4, x in descending order.
1, -4, x
Let t = 1.3 + 2.3. Let v = 4 - t. Suppose 0*i = -3*i + 15. Put i, v, -3 in increasing order.
-3, v, i
Let w = -9.5 - -9. Put 0.4, -2/19, w in decreasing order.
0.4, -2/19, w
Let i(b) = b**3 - 3*b**2 - b. Let z(s) = -3*s. Let w be z(-1). Let u be i(w). Sort 0.5, 4, u.
u, 0.5, 4
Let x be (24/180)/(8/10). Sort x, -3, -6/11, 2/11 in decreasing order.
2/11, x, -6/11, -3
Let h(y) = -y**2 - 10*y + 15. Let t be (-1)/(-1)*(-66)/6. Let k be h(t). Suppose -5*x - 2*v - 14 = 0, -5*x - 2 - 14 = 3*v. Sort x, k, -1 in decreasing order.
k, -1, x
Let u(x) = -5*x - 5*x - 11 + 11*x. Let r be u(8). Sort -4, -2, r in increasing order.
-4, r, -2
Let l = 1.1 - 1. Let y be 0 + -1 - (-1)/2. Sort -0.3, y, l in ascending order.
y, -0.3, l
Suppose 32*u = 27*u + 25. Sort u, -1, -2, 1 in ascending order.
-2, -1, 1, u
Let c = 24 + -25. Let o be c/(2/(-4)*10). Sort 2, 3, o in increasing order.
o, 2, 3
Let s = 26 + -132/5. Let h = 2 + -1.6. Let z = -15.9 - -16. Sort s, z, h.
s, z, h
Suppose -v = c, -12 = 2*c - 2. Suppose -3*u - 7 = -2*p, v*p - p = -5*u + 3. Suppose 3*g + 3 = 15. Sort -4, p, g in increasing order.
-4, p, g
Let t = -6.9 + 7. Let f = 0.5 - t. Put -2/9, f, 3 in descending order.
3, f, -2/9
Let k be 2/(-4)*(-4)/2. Let s = 5.86 - 6. Let j = s - 2.86. Put k, -1/2, j in increasing order.
j, -1/2, k
Let u = 10.2 + -10. Let y = -0.12 + 0.2. Put y, -5, u in ascending order.
-5, y, u
Let a be 3099/198 + (-2)/(-11). Let s = -16 + a. Put -1, s, -2/5 in increasing order.
-1, -2/5, s
Let r be (4/(-6) - 0)/((-44)/132). Let w = -5083/15 - -339. Put r, w, 3 in descending order.
3, r, w
Let l = 26 - 29. Put -1, -4, l in decreasing order.
-1, l, -4
Suppose p = 4*u + u + 12, 4*u = -5*p + 2. Suppose -q - p = -0*q. Suppose -12 = 4*w - 4*x, -x = w - 3 - 0. Sort 3, w, q in descending order.
3, w, q
Let k = 6 - 4. Suppose -7*u + 27 = 2*u. Sort -1, u, k in descending order.
u, k, -1
Let c = -6 + 0. Let j be (-5)/c + 4/(-6). Sort j, 0, -0.3 in ascending order.
-0.3, 0, j
Suppose 0 = 5*i - 3*l, 5*i + 0*i - l - 10 = 0. Let s be (8/6)/((-1)/i). Let p = -2 - s. Sort -1, p, -3 in descending order.
p, -1, -3
Suppose 0 = 3*h - 4 - 11. Let f(g) = g**3 - 4*g**2 - 3*g + 6. Let d be f(5). Suppose 4*j = -0*j - d. Put h, j, -2 in increasing order.
j, -2, h
Let a = 141 - 707/5. Sort a, -0.08, 0.5, 5 in decreasing order.
5, 0.5, -0.08, a
Let u(g) = g**2 + 1. Let w(h) = -h**2 + h - 1. Let o(k) = -5*u(k) - 6*w(k). Let d = -14 + 20. Let m be o(d). Put 3, m, 4 in increasing order.
m, 3, 4
Suppose -11 = 3*l + 1. Let m be 1 + 1 + -3 + 2. Suppose -u + 5 = m. Put u, l, 0 in descending order.
u, 0, l
Let k = 119 + -119. Sort -15, 3, -5, k in descending order.
3, k, -5, -15
Let i = -18 + 13. Let q be 2 + 8/4*1/(-2). Put i, q, 2 in ascending order.
i, q, 2
Let q(n) = n**2 - n - 2. Let g be q(-1). Put 2, -1, g in increasing order.
-1, g, 2
Let y = -28.9 - -6.9. Sort 3, -2/5, y.
y, -2/5, 3
Let h = 16 + -10. Let s be (-2)/(-3)*9/h. Suppose 4*a + 26 - 2 = 4*p, 2*a = -3*p - 2. Sort s, p, -5 in ascending order.
-5, s, p
Let t = -5 + 3. Sort 2, t, 2/25 in increasing order.
t, 2/25, 2
Let j = -13 - -15. Sort j, -2/7, -4.
-4, -2/7, j
Let v be (20/4 - 2) + -8. Put -12, 4, v in increasing order.
-12, v, 4
Let y be (0 - -2)*47/2. Let h = y + -139/3. Let m be 4/(-14) + (-6)/(-70). Put -3, h, m in decreasing order.
h, m, -3
Let k(m) = m**2 - m - 3. Let f be k(-2). Suppose -2*o = -4*u + 3*u - 6, 5*o - 2*u - 17 = 0. Sort 1, o, f in decreasing order.
o, f, 1
Let s = -12.7 - -14. Let a = 1.2 - s. Sort -3, -0.4, a in decreasing order.
a, -0.4, -3
Suppose -2*r + 7 = -1. Put -3, 1, r in increasing order.
-3, 1, r
Suppose -4*q + 18 + 14 = -4*g, 5*q - 16 = -3*g. Suppose p = -4*p. Suppose 4*h + 0*m - 4*m = -40, 5*h + 3*m + 10 = p. Put q, h, 4 in increasing order.
h, 4, q
Let l = 46 - 42. Sort -4, 2, l, 5.
-4, 2, l, 5
Let s = -2 - 0. Let i(c) = -c + 8. Let z(h) = -h**2 - 5*h + 7. Let t be z(-5). Let m be i(t). Put 2, m, s in descending order.
2, m, s
Let p = -17.093 + 0.093. Sort 0, -0.5, p in ascending order.
p, -0.5, 0
Let n(f) = -2*f**2 + f + 2. Let p be n(2). Let c(b) = -b**3 + 10*b**2 + 10*b + 13. Let u be c(11). Let k be (u/24)/(21/56). Put p, k, 2/7 in decreasing order.
2/7, k, p
Let k be 1/(-4) + 72/32. Suppose 10 = 5*z + 2*a, a = -k*z + 2 + 1. Let q = -1 + 1. Sort -4, z, q in increasing order.
-4, q, z
Let b = 57 + -56.99. Let y be (-26)/(-40) + (-2)/8. Sort 3, b, y in descending order.
3, y, b
Let x = -18 + 15. Put 0, x, -1 in descending o