reasing order.
m, b, 3
Let u be (-2)/((-3)/((-30)/(-4))). Put 2, 1, u in increasing order.
1, 2, u
Let k(a) = a**2 - 5*a - 2. Let w be k(5). Let x be (-2 - w)*6/12. Let p be 10/4*(-4)/2. Put p, 3, x in ascending order.
p, x, 3
Let z be 24/(-45) + (-2)/(-3). Let a = -1.21 + 0.21. Put z, 0.1, a in decreasing order.
z, 0.1, a
Let f = -0.013 + 2.013. Put -1/2, 0.3, f in increasing order.
-1/2, 0.3, f
Suppose -4*n + 2*s + 18 = -0*s, n - s - 2 = 0. Sort n, -3, 0, -4.
-4, -3, 0, n
Let a be 6 + 1/2*-6. Suppose 28 = 4*g + 4*j, -1 + 18 = -4*g + 5*j. Suppose -2*n - 4*d = -4*n + 4, 0 = d + g. Put n, a, -5 in descending order.
a, n, -5
Let f = -22 - -21. Put 31, 1, f in descending order.
31, 1, f
Let j = 0.3 - 0.7. Suppose -3*b - 5*z = 1, b - 5*z - 5 = 8. Let c = 0.06 + 0.34. Put c, j, b in decreasing order.
b, c, j
Let i = 113/3 - 37. Put i, 1, -4 in ascending order.
-4, i, 1
Suppose -5*v + 3*b - b = -19, 0 = -2*b + 6. Put v, -4, 1 in increasing order.
-4, 1, v
Suppose -t = -3*t. Let z = t + -3. Put z, -4, -5 in increasing order.
-5, -4, z
Let s(p) = 5*p + 37. Let u be s(-7). Put -5, -1, -2, u in descending order.
u, -1, -2, -5
Let y be -3 - ((-171)/(-6) - -1). Let h = -33 - y. Put h, -3, -2/5 in decreasing order.
-2/5, h, -3
Suppose 0 = 3*r, -2*b - 3*r - 3 = -17. Suppose -3 - b = -5*g. Put -3, g, -4 in decreasing order.
g, -3, -4
Let o be 12/(-4)*(-2)/(-3). Suppose -2*j - 4*h = -0*j + 16, -5*h - 10 = 0. Let f = j - 0. Put o, f, 2 in decreasing order.
2, o, f
Let h = -3 + 2.89. Let r = -0.39 + h. Let q = 1 - -4. Sort -1/3, q, r in increasing order.
r, -1/3, q
Let q be (-119)/(-21) - (-4)/(-6). Sort q, -5, 1 in decreasing order.
q, 1, -5
Suppose -2*d + 5 = 3*d. Let x be (2/20 + 0)*2. Sort x, -2, d in descending order.
d, x, -2
Let n = -27.7 + 28. Put n, 4/9, 0 in increasing order.
0, n, 4/9
Let m = -31 + 54. Suppose -2*z = 3*o - m, o - 2*o = 5*z - 25. Sort 3, -5, z.
-5, 3, z
Let y = -1 - -1. Let r be 4 + -6 - (-16)/6. Put -2/3, r, y in decreasing order.
r, y, -2/3
Let z = 3 - 1. Let m = -4 - -33/8. Sort m, z, 2/11 in ascending order.
m, 2/11, z
Let p = -0.9 + 4.9. Put p, -0.5, 12 in ascending order.
-0.5, p, 12
Let q = -5.3 - -4.3. Sort q, -0.007, 0.2.
q, -0.007, 0.2
Let r = 0.27 - -0.73. Sort r, -5/4, -5.
-5, -5/4, r
Suppose 7*v - 6 = 5*v. Let z = 0.44 - 0.04. Sort v, z, 2 in ascending order.
z, 2, v
Let v = 2.5 + -3. Let k(s) = -3*s - 7. Let c be k(-2). Sort v, -7, c in descending order.
v, c, -7
Let c be ((-4)/21)/((-32)/48). Sort 0.1, -0.2, c in descending order.
c, 0.1, -0.2
Let t be (-1 - 0)/(1/4). Let k(v) = -v**3 + 9*v**2 + 39*v - 29. Let n be k(12). Put t, -3, n in decreasing order.
n, -3, t
Let i = 3/32 + 11/224. Let k be (-2)/1*2/18. Sort k, 5, i in descending order.
5, i, k
Let b = -0.29 - -0.2. Let o = b + -0.31. Put 0.2, -2, o in increasing order.
-2, o, 0.2
Let t(s) = -s - 8. Let z be t(-6). Sort 5, 2, z in ascending order.
z, 2, 5
Let p = -0.13 + 0.19. Sort p, -0.2, -0.4 in descending order.
p, -0.2, -0.4
Suppose 23 + 22 = 5*u. Suppose b = 4*b - u. Suppose 0 = -p - r - 10, 0*r + 4*r + 20 = 0. Put b, p, 2 in increasing order.
p, 2, b
Suppose 6*l = 7*l. Sort 4, l, -4 in increasing order.
-4, l, 4
Let a be (-27)/(-6) + (-2)/(-4). Sort 3, a, 4 in ascending order.
3, 4, a
Let s(z) = 6*z + 2*z + 2*z**2 + 1 - z**2 - 7. Let k be s(-9). Suppose 4*b - k*i = 28, 0 = -4*b + 5*b + i. Sort b, -5, 3 in increasing order.
-5, 3, b
Suppose -6*h - 28 = 5*j - 5*h, 5*h = -j - 20. Let p be (-3)/1*(-4)/(-6). Let b = p - -3. Put j, 3, b in ascending order.
j, b, 3
Suppose -3 = 3*x + 4*k - 1, -4*k - 20 = 0. Let n be (-1*1)/(x/(-6)). Suppose j = -4, -4*y - 19 = 2*j + 1. Put n, -4, y in increasing order.
-4, y, n
Let m = -0.3 + -2.7. Let b = m - -4. Sort -5, -0.3, b in decreasing order.
b, -0.3, -5
Let h(r) = -5*r**2 - 7*r - 11. Let k(f) = 2*f**2 + 2*f + 4. Let w(a) = -3*h(a) - 8*k(a). Let l be w(4). Put l, 3, -3 in descending order.
l, 3, -3
Let u(z) = 2*z + 2. Let x be u(-5). Let l be (-5)/(-15)*(1 - x). Sort l, -3, 1 in increasing order.
-3, 1, l
Suppose -2*j - 8 = 2*j. Sort j, 0, -4.
-4, j, 0
Let i = 29 - 31. Sort i, 5, 0, -3 in decreasing order.
5, 0, i, -3
Let q(f) = f + 3. Let c be q(0). Sort c, -2, -0.1 in descending order.
c, -0.1, -2
Suppose 1 + 11 = g. Sort 1, g, -5 in increasing order.
-5, 1, g
Let o(m) = -m + 2. Suppose 3*q = 4*k - 25, 3*k = -0*k + 12. Let y be o(q). Suppose -t = -y - 0. Put t, 1, -2 in increasing order.
-2, 1, t
Let q = -1.58 - -1.18. Sort -3/7, -64, q in descending order.
q, -3/7, -64
Let t = 0 - 1. Sort 0, -4, t.
-4, t, 0
Let y be 2 - -1*(0 + 2). Suppose 0 = y*n + 8 + 4. Sort -5, n, -4 in increasing order.
-5, -4, n
Suppose -4*q = 2*p, -5*p + 3*q + 0*q + 26 = 0. Put p, 0, 5 in descending order.
5, p, 0
Suppose 29 = -q - 4*s, 0*s + 3*s - 30 = 5*q. Sort 1, q, -5, 4 in increasing order.
q, -5, 1, 4
Let z be 4/5*(2 + -9 - -2). Put 5, 2, z, 3 in descending order.
5, 3, 2, z
Let j = -2 - -1. Let i be 1/((-2)/6) + -2. Put -2, i, j in descending order.
j, -2, i
Let f = -48 + 52. Sort f, 16, 0.5 in ascending order.
0.5, f, 16
Suppose 0 = -3*p + 3 - 0. Sort 0, 5, p in descending order.
5, p, 0
Let d = 313 + -313.5. Let t = -0.09 - -4.09. Put d, 5, t in ascending order.
d, t, 5
Let v = -81 + 81. Let p = 2/3 + -1. Put v, p, 0.2 in increasing order.
p, v, 0.2
Let j = 5.5 - 5. Suppose 3*q - 14 = -s, -3*q = s + q - 19. Put s, -3, j in decreasing order.
j, s, -3
Let h = 166/35 + -36/7. Sort h, 2/5, -2/15, -3 in decreasing order.
2/5, -2/15, h, -3
Let u(o) = -4 - 4*o - 5 + 3. Let k be u(-5). Let x be (-165)/35 + (-4)/k. Sort -2, x, 3 in increasing order.
x, -2, 3
Suppose -x = 3*i + 3*x - 3, -2*x = 4*i - 14. Sort 2, i, 1 in descending order.
i, 2, 1
Let p(z) = -z**3 - 15*z**2 + 3. Let m be p(-15). Sort 1, 2, m in descending order.
m, 2, 1
Let a = 3.96 + -4. Let t = 16 - 15.76. Let j = a + t. Sort j, 0.4, 1 in decreasing order.
1, 0.4, j
Let h = 33 - 29. Sort 2/9, 1/5, h in increasing order.
1/5, 2/9, h
Let o = 0 - 0. Suppose 0 = -5*h - 5*l + 25, 5*h = 2*h - 5*l + 23. Sort o, h, 4.
o, h, 4
Suppose -4*p + 16 = -2*f, -2*p = -7*p - 2*f + 11. Let q(z) = z**2 - 5*z + 2. Let u be q(p). Sort u, 4, -5.
-5, u, 4
Let l(v) be the second derivative of -v**4/12 - 2*v**3/3 + v**2 - 2*v. Let n be l(-4). Let j be (-10)/(-55) + (-57)/11. Put -2, n, j in ascending order.
j, -2, n
Let a = 31 + -31. Suppose 0*o - 2*o = -2. Put a, -4, o in descending order.
o, a, -4
Let n = -0.028 + 2.128. Let v = n - 1.1. Sort 0.2, 3, v.
0.2, v, 3
Suppose -2 = -5*i + 8. Let n = -2 - -2. Suppose -u - 1 = -n. Put i, 4, u in decreasing order.
4, i, u
Let t be (-3 + (-14)/(-5))*-2. Let r = 2.3 - 0.3. Sort r, t, 0.
0, t, r
Let y = 7 - -1. Suppose -4*x - 3*m - 48 = -y*m, x + 12 = -2*m. Put 1, -4, x in decreasing order.
1, -4, x
Let h = 6 + 0. Let l = h + -2. Put -1, 5, l in ascending order.
-1, l, 5
Suppose -6 = -g - 2, 4*z + 5*g - 24 = 0. Let k = 2 + z. Suppose 20*c = 18*c + 10. Sort -4, k, c in ascending order.
-4, k, c
Let x = -3 - -3.5. Let u = 2.52 - -0.08. Let o = -3 + u. Put x, o, -3/7 in increasing order.
-3/7, o, x
Let p = -0.08 + 0.11. Let t = 3.97 + p. Let w = -5 + 4.7. Sort t, 0.1, w in ascending order.
w, 0.1, t
Suppose 0 = 3*f - f + 10. Suppose 0*w + 2*w - n = -1, 0 = 2*w + 2*n - 2. Suppose -j = 3*v - 7, v - 2 = -w. Sort f, j, 4.
f, j, 4
Let y = 1 + 2. Let x be (0 - 0)/(8/(-4)). Sort -1, y, x in ascending order.
-1, x, y
Let q = 15 - 18. Sort q, 2, -57 in descending order.
2, q, -57
Suppose 3*j - 2*j - 3 = 0. Suppose -15 = 5*c + j*p, p = -0*c - c - 3. Let z(r) = -r + 3. Let d be z(4). Put -5, c, d in decreasing order.
d, c, -5
Let q be (-12)/(-9)*6/4. Sort 3, 4, -4, q in descending order.
4, 3, q, -4
Let q = -9 - -11. Put -2, -0.4, q in increasing order.
-2, -0.4, q
Suppose 2*y + 17 = -5*h, h = -2*y - y - 6. Suppose 0 = -2*s + 2*a - 12, 0 = -0*s - 2*s - 4*a - 30. Sort s, y, 1 in increasing order.
s, y, 1
Let b = 3 + 0. Suppose -b*s + u = -2*u + 9, 0 = -3*u. Sort 3, -4, s in increasing order.
-4, s, 3
Suppose 0*a + 16 = -4*a. Let c(f) = 22*f + 2. Let x be c(a). Let p = -1464/17 - x. Sort -1, -2, p.
-2, -1, p
Suppose -3*z - 4 = -19. Let u = -0.07 + -0.13. Put -1, z, u in descending order.
z, u, -1
Let q = -14 - -7. Let k = q - -5. Let c = 4 - 7. Put 1/4, k, c in decreasing order