 w be l(7). Sort d, 3, w in increasing order.
d, 3, w
Let i = -17 + 12. Put i, -4, 4 in descending order.
4, -4, i
Let j(p) = p**3 - 4*p**2 - 6*p + 7. Let s be j(5). Suppose -4*o - 18 = -s*r, 3*r - 9 = o + 3. Let q = 0 + 0.1. Put q, r, 4 in increasing order.
q, r, 4
Let s = 15 - 10. Suppose g = 2 + s. Let b = g - 2. Put 1, -2, b in ascending order.
-2, 1, b
Let g(r) = -23*r - 83. Let f(n) = 4*n + 14. Let p(c) = 34*f(c) + 6*g(c). Let d be p(-9). Sort 0, -5, d in increasing order.
-5, d, 0
Let u(n) = n**2 + n + 2. Let l be u(-2). Suppose q = -q + 4. Put l, 0, q in descending order.
l, q, 0
Let r(x) = -x**2 - 6*x + 10. Let i be r(-8). Let s be i/6 - 2*-1. Sort -1, 4, s in increasing order.
-1, s, 4
Let r be ((-5)/(-6) - 1) + 1. Let l be (-18)/(-14) - 6/21. Suppose 3*p - 4 = -l. Sort p, r, -1/5 in increasing order.
-1/5, r, p
Let k be 1*2*10/(-4). Let b be -4 + (14/6 - (-3)/(-9)). Sort k, b, -3.
k, -3, b
Let b = -5.5 + 9.5. Let z = 0.2 + 0.3. Put -0.4, b, z in increasing order.
-0.4, z, b
Let g(i) = 2*i**2 + 14*i + 13. Let d be g(-6). Put 2, d, 3 in decreasing order.
3, 2, d
Let u = -31.6 + 32. Sort u, 0.07, 4 in ascending order.
0.07, u, 4
Let w = -70 + 65. Sort 0.4, w, 0.3 in decreasing order.
0.4, 0.3, w
Let q be ((-4)/(-8))/(2/(-4)). Sort 4, q, -5 in increasing order.
-5, q, 4
Let g = 0.011 - 2.011. Put -2/3, g, 5, 0.2 in ascending order.
g, -2/3, 0.2, 5
Suppose 5*c = -31 + 11. Let j be (10/c)/(1/2). Sort 2, j, 3 in descending order.
3, 2, j
Let d(r) = 5*r - 1. Let v be d(1). Let t(h) = h - 6. Suppose -3*s = 1 - 22. Let u be t(s). Sort u, -2, v in increasing order.
-2, u, v
Suppose 0 = -5*q + 6*q - 1. Suppose -5 = -2*o + 5*y, o + 0*y = -y - q. Put 1, o, -3 in decreasing order.
1, o, -3
Let f = -22.7 - -24. Let l = -3.7 - f. Let i = -112 + 112. Sort i, l, -0.4 in descending order.
i, -0.4, l
Let g = 42 + -37. Put -0.4, -1/5, g in descending order.
g, -1/5, -0.4
Let r = 8 - 2. Let p = r + -6.3. Sort 1, p, 2/7 in increasing order.
p, 2/7, 1
Let w = 0 - 0.4. Let n = 0.11 - 7.11. Let m = -7 - n. Put w, m, -0.3 in increasing order.
w, -0.3, m
Let b(m) = 2*m**2 - 30*m - 36. Let a be b(16). Sort a, -3, 5, -35 in ascending order.
-35, a, -3, 5
Let g = -2 + 2.5. Let d = g - 1. Suppose 0*j - p + 19 = 5*j, -4*j - 4*p = -12. Sort 3/7, d, j in increasing order.
d, 3/7, j
Let z be 1/(-2) + (-77)/(-22). Put -4, z, -5, -3 in descending order.
z, -3, -4, -5
Let u = -3 - -4. Suppose -49 = 4*x - 69. Sort u, -1, x in decreasing order.
x, u, -1
Let w(z) = -z**3 - 7*z**2 - 5*z - 5. Let b be w(-6). Let n be (-27)/b + (-1 - 2). Sort 1, n, -2/7 in decreasing order.
1, -2/7, n
Suppose 5*t = -0*t. Put t, -4, 1 in decreasing order.
1, t, -4
Let y = -232/5 + 47. Sort -1, y, 0.5 in ascending order.
-1, 0.5, y
Suppose w + 4*w - 20 = 0. Let a = -3 - -2. Sort w, a, 3 in descending order.
w, 3, a
Let b(y) = y**3 + 6*y**2 + 3*y - 6. Let k be b(-5). Suppose 4*p - k + 6 = 3*z, -2*z = -4*p - 4. Let a be (-1)/1 - z/(-2). Sort 4, -4, a in increasing order.
-4, a, 4
Let a = -3 - -4. Suppose 0 = -2*z + s - 0*s + 7, 0 = -3*s - 3. Suppose 0*c = z*c + 9. Put -2, c, a in increasing order.
c, -2, a
Suppose 5*l - 2*z = z + 27, 3*l - 13 = z. Suppose -g - 5*f = 9, 2*f - 1 = -7. Suppose -5*d + 19 = -g. Sort 1, l, d in decreasing order.
d, l, 1
Let l = 3.97 - 4. Let x = -0.01 + l. Let m = 3.04 + x. Sort -2, 2/15, m in increasing order.
-2, 2/15, m
Let b = 127 - 126.95. Sort 3, -1/2, -2, b in increasing order.
-2, -1/2, b, 3
Suppose 3 = 3*i - 3. Suppose -i = u + u. Let b be ((-1)/(-1))/((-2)/(-6)). Sort u, b, 0 in descending order.
b, 0, u
Let d = -3 - 12. Let a = 14.3 + d. Let v = a + -4.3. Put 4, -4, v in descending order.
4, -4, v
Suppose 3*q = 4*s, 2*q + 2*s = -s. Put 4, -8, q, -4 in decreasing order.
4, q, -4, -8
Let o = -5 - -4.4. Let l = -0.1 - o. Let a(c) = -c - 2. Let s be a(-2). Put s, l, 5/3 in decreasing order.
5/3, l, s
Let z(n) = n**3 - 4*n**2 - 5. Let g be z(4). Suppose 8*m + v - 15 = 3*m, 0 = 4*v + 20. Sort m, -1, g in decreasing order.
m, -1, g
Let n = 6.8 - 7. Sort n, 3, 0.5 in decreasing order.
3, 0.5, n
Let d = -9 - -8.5. Sort -2/7, -2/5, d in decreasing order.
-2/7, -2/5, d
Let m = 0.09 - 0.19. Let o = 0.2 + m. Sort o, 1/2, 5 in ascending order.
o, 1/2, 5
Let j be 26/6 + (-2)/6. Suppose j*w + 5 + 3 = 0. Suppose -7*q + 8 = -9*q. Sort -1, w, q in descending order.
-1, w, q
Let x be ((-4)/(-7))/(10/14). Sort -1, x, 5 in descending order.
5, x, -1
Let k = 1.68 + 0.02. Let m = -4.7 + k. Let b = -3 - -3.5. Sort b, 5, m.
m, b, 5
Let i = -12/35 - -62/385. Sort 2/5, -2, 1/2, i in ascending order.
-2, i, 2/5, 1/2
Let z = -49 - -49. Sort -0.3, 2, 2/3, z in descending order.
2, 2/3, z, -0.3
Let b = 1 - -2. Suppose u + 4*h = 5, -u - h = b*u - 20. Sort u, 0.4, 4.
0.4, 4, u
Suppose 4*c + 23 - 9 = -3*f, -4*f - 5*c - 18 = 0. Put f, 0.5, 8, 3/5 in ascending order.
f, 0.5, 3/5, 8
Suppose 1 - 25 = -6*y. Sort 0, -2, 2, y in ascending order.
-2, 0, 2, y
Suppose 3*d + 3 = 24. Let s = 11 - d. Suppose s*i = -i. Sort i, -0.2, -1 in increasing order.
-1, -0.2, i
Suppose -3*h = -2*h - 4. Let l be 1/3 - h/3. Let j be ((-4)/10)/(2/20). Sort j, 2, l in increasing order.
j, l, 2
Let u(g) = -g**2 - g + 4. Let v be u(0). Suppose -3*f - 2 = -2*f + 3*p, 0 = -2*p - 2. Let q be f*(4/2 + -1). Sort 0, q, v in descending order.
v, q, 0
Let g = -23.8 - -18. Let h = -6 - g. Let u = -4.3 + -0.7. Sort -1/6, h, u in decreasing order.
-1/6, h, u
Let p(l) = -2*l**3 + 3*l**2 - 3*l + 5. Let b be p(2). Sort -3, 0, b in increasing order.
b, -3, 0
Let x = -2.2 + 2.1. Let t = 0.8 + 2.2. Let y = -2.9 + t. Put 0.4, y, x in increasing order.
x, y, 0.4
Suppose -2*p - 12 = -q + 1, -3*p - 42 = 3*q. Let r(v) = -v - 13. Let s be r(p). Suppose -5*l = -2*l - 6. Sort s, l, 5.
s, l, 5
Let z(h) = -13*h**3 - 2*h**2 + h. Suppose 0 = -4*l + 1 + 3. Let y be z(l). Let t be 2/(-7) + (-18)/y. Sort 2, -4, t in descending order.
2, t, -4
Let r = -6.95 - 0.05. Let d = 12 + r. Put -0.02, d, -3 in decreasing order.
d, -0.02, -3
Let b = 11.1 + -11. Sort -3/8, -2/7, b, -0.4.
-0.4, -3/8, -2/7, b
Let q be (-3 + 3)/2 - -2. Suppose -2*k = 4*c - 28, -5*k + 3*c + 4 + 1 = 0. Sort q, -2, k in descending order.
k, q, -2
Let u be 2/(-7) - (-1)/28. Put u, 0.3, 1 in descending order.
1, 0.3, u
Suppose 4*g + 4*h + 60 = 0, 10*h = -g + 8*h - 18. Sort -2, 4, 1, g in decreasing order.
4, 1, -2, g
Let i be (4/(-12)*0)/(-2). Let u(r) = -r**3 - r**2 + 3*r + 1. Let w be u(-2). Sort w, -3, i.
-3, w, i
Let n(x) = -2*x. Suppose 0*q = -2*q - 2. Let h be n(q). Put h, -4, 4 in descending order.
4, h, -4
Suppose -19 = -a - 24. Sort 5, a, -9, -2 in descending order.
5, -2, a, -9
Suppose 4*b + 0*b - 8 = 0. Sort b, -1, -2 in increasing order.
-2, -1, b
Suppose 2 = 4*r + 10. Suppose -6 = -4*d - 2. Suppose -4*j - 5 + d = 0. Sort 5, r, j in increasing order.
r, j, 5
Let f be (2/4)/((-2)/16). Let y = 20 + -19. Suppose 0 = 5*i + 3*c - 19, 0*i + c = 3*i - 17. Put f, i, y in decreasing order.
i, y, f
Suppose -2 = 3*c - c + t, -14 = 3*c - 4*t. Let d = 1.8 - 2. Let p = 0 - d. Put p, -3, c in decreasing order.
p, c, -3
Let d(v) = 4*v**3 - 8*v**2 + 7*v + 6. Let j(m) = 3*m**3 - 7*m**2 + 6*m + 5. Let t(n) = 4*d(n) - 5*j(n). Let y be t(-3). Put -3, -4, y in increasing order.
-4, -3, y
Let l = 4 + -3. Suppose 5*i = -3*o + 24, 5*o = o + 5*i - 3. Suppose -5*k = -5*c + 45, 4*k - o*c - 3 = -35. Sort k, l, 4 in descending order.
4, l, k
Suppose -3*p + 9 = -3*z, -2*p - p = -5*z - 11. Let r(g) = -g**3 + 5*g**2 + g - 3. Let o be r(5). Sort -5, o, z in ascending order.
-5, z, o
Suppose 0 = 2*i + 3 - 1. Sort 1, -3, i in increasing order.
-3, i, 1
Let i = 8 + -2. Let m = i + -11. Sort m, 3, -4 in descending order.
3, -4, m
Let j be ((-2)/1)/(2/4). Let s(l) = 3*l - 4*l**2 + 6 - 1 + 3*l**2. Let v be s(4). Sort j, v, -2 in decreasing order.
v, -2, j
Suppose 0 = -r - d + 2, r - 2*d - 20 = -r. Put 5, r, 0 in decreasing order.
r, 5, 0
Suppose 5*u - p - 6 = 0, -4*p + 3 + 9 = -2*u. Let j be (-2)/(4/u) + -3. Sort 0, j, 4 in descending order.
4, 0, j
Let v(k) = -2*k**2 + 7*k - 7. Let h be v(2). Put h, 4, 8 in decreasing order.
8, 4, h
Let r be 5/(1/(-12)*3). Let c = -25 - r. Sort c, -2, 4 in ascending order.
c, -2, 4
Let u = 1.934 - -0.066. Sort u, -0.1, -0.3, -1 in descending order.
u, -0.1, -0.3, -1
Let u(v) = -v*