 20 = 0. Sort -4, r, 5.
-4, r, 5
Let b = -6 + 7. Let f = -0.1 - -0.1. Let r = b + f. Put -2, r, -3 in decreasing order.
r, -2, -3
Let z = 0.12 - 0.52. Put 4/5, -4, z in increasing order.
-4, z, 4/5
Let j = -6 - -9. Let l = -50 + 45.8. Let w = 0.2 + l. Put 0, j, w in decreasing order.
j, 0, w
Let u = -78.5 + 79. Sort u, 5/4, -0.1, -3 in descending order.
5/4, u, -0.1, -3
Let q be (-2)/(2/8 + 36/240). Sort 51, q, 2 in decreasing order.
51, 2, q
Suppose 2*b - 12 = 6*b. Put -2, 2, -4, b in decreasing order.
2, -2, b, -4
Suppose 5*c + 5 = 5*t - 0, -2*t - 2 = -3*c. Sort 3, -5, t in ascending order.
-5, 3, t
Let v = 20 + -18. Let q be -4*(-1)/(-11*v). Sort q, -2, -0.2.
-2, -0.2, q
Suppose 0 = -65*b + 69*b + 12. Sort 1, -1, 3, b.
b, -1, 1, 3
Suppose -5*o + 30 = -0*o + 5*p, 0 = 3*o - 2*p - 33. Suppose -5*i = o + 1. Let v be i - ((-16)/6 - -2). Sort v, -5, -3.
-5, -3, v
Let d = -1 - -1.07. Let s = -0.1 + d. Sort s, 0.2, 4/7 in increasing order.
s, 0.2, 4/7
Suppose 0 = -y - y + 4. Suppose -2*d = -2*m - 3*m + 10, 3*d + y*m = 23. Sort 1, -5, d in increasing order.
-5, 1, d
Let l(i) = -i**3 - 2*i**2 + 3*i + 4. Let d be l(-3). Suppose -4*b - d = -0*b. Sort -3, 0.4, b in descending order.
0.4, b, -3
Let l be 2*12/(-8) + 8. Put 3, -3, l, -5 in descending order.
l, 3, -3, -5
Let g = 1.2 - -5.1. Let z = 26.7 + -28. Let h = g + z. Put 1, h, 4 in descending order.
h, 4, 1
Let o = -0.074 + 2.074. Put o, -1/4, -11 in decreasing order.
o, -1/4, -11
Suppose 2*i - 5*c = -4, 5*i + c - 14 = 3. Suppose 4*p = p - 15. Suppose 0 = 2*d, -5*d + 10 = -4*z - 2. Sort p, i, z in ascending order.
p, z, i
Suppose 2*u - 2*t = 4 + 14, 2*u + 5*t = -10. Let b = 939/22 - 85/2. Sort u, b, 1 in increasing order.
b, 1, u
Let g be 3*((-33)/9 + 3). Let k be (-10)/(-12) + g/6. Sort k, 0.2, -2/11 in ascending order.
-2/11, 0.2, k
Let a(c) = -8*c + 3. Let f be a(-2). Let i = 16 - f. Put -2, -1, i in decreasing order.
-1, -2, i
Let c be (3/(-2))/(13/(-26)). Let z be (-2)/(-8) - 21/4. Sort c, z, -2.
z, -2, c
Let i = -2.9 + 4.9. Sort 1, -1, i.
-1, 1, i
Let r = -4 - -8. Let c = -4 + 3.6. Let k = 3.4 + c. Put -2/17, r, k in increasing order.
-2/17, k, r
Suppose -3*z + 5*m - 24 = 0, -9 = -2*m - m. Suppose 9*p = 4*p + 3*k + 12, -2*p - 2*k + 8 = 0. Suppose -s + 60 = 11*s. Sort s, p, z in decreasing order.
s, p, z
Let i be 2/(6/4 - 2). Let r be ((-30)/8 + 3)*4. Let o(y) = y**3 - 14*y**2 + 13*y + 3. Let b be o(13). Put b, i, r in increasing order.
i, r, b
Let s be (2 - 1)/((-2)/(-6)). Let n = 7 - 7. Sort 5, n, s in descending order.
5, s, n
Let w = 0.2 + -5.2. Sort 0.3, w, -0.2.
w, -0.2, 0.3
Let s = -14.8 + 8.8. Put 1/4, -0.3, s, -3/4 in descending order.
1/4, -0.3, -3/4, s
Suppose 0 = -4*f - 3*t + 4*t + 16, 0 = 2*t. Suppose -5*h = -5*r + 5, 0 = -3*r - 3*h + h - 22. Sort r, f, 0 in descending order.
f, 0, r
Let d(q) = q**2 + 1. Let n be d(-6). Sort -3, -2, n.
-3, -2, n
Suppose 4 = -3*g + 2*g. Let w(b) be the first derivative of -b**2/2 + 8*b + 3. Let x be w(9). Sort g, 1, x in descending order.
1, x, g
Let a(p) = -p**3 + 15*p**2 + 18*p - 37. Let q be a(16). Suppose 0 = z - 1 - 2. Sort z, q, 1 in descending order.
z, 1, q
Let s(c) = -c**3 + 6*c**2 - 4*c - 2. Let j be s(5). Suppose x - 6 = -2*x. Suppose -j*k = 1 + x. Sort k, -5, 0 in decreasing order.
0, k, -5
Let g be (-50)/14 + 32/56. Sort g, 5, -2 in decreasing order.
5, -2, g
Let k be 7/((-264)/(1 + 2)). Let d = -1/22 + k. Put -3, d, 1/2 in decreasing order.
1/2, d, -3
Suppose -9 = 5*b - 8*b. Suppose -b = 2*x + 1. Let r(u) = u - 2. Let j be r(-2). Sort j, -3, x.
j, -3, x
Let x = 24 + -13. Let g = -6 + x. Suppose l - g = -2. Sort -3, l, -2 in increasing order.
-3, -2, l
Let h = 1.376 + -1.176. Let b = 5 + -9. Let q = 0 + -0.2. Sort q, b, h in increasing order.
b, q, h
Let g be (-1 - -2)/((-4)/(-8)). Suppose -g*r - 3 = r. Sort -2, r, 5.
-2, r, 5
Suppose o - 62 = g, 10*g - 218 = -3*o + 5*g. Sort 1/4, o, 1/2 in increasing order.
1/4, 1/2, o
Suppose 3*q - 4*q - 4 = 0. Suppose -g + 16 = -2*y + 2, -3*g = y - 7. Let u be (-48)/15 + (-1)/(-5). Put g, u, q in decreasing order.
g, u, q
Suppose 14*o = 12*o - 2. Sort 1, o, 5 in decreasing order.
5, 1, o
Let m = -6979/2886 + 3/1924. Let f = 7/4 + m. Put f, 0.1, -1 in descending order.
0.1, f, -1
Let o = 0.3 - 0.2. Let v = -0.12 + -4.88. Let r = -4 - v. Put 0.2, o, r in descending order.
r, 0.2, o
Let t be ((-6)/8)/(4/(-16)). Put 6, -5, t in decreasing order.
6, t, -5
Let y = -0.14 + 7.14. Sort 5, 4, y.
4, 5, y
Let d be (2 + 6/(-8))/(12/48). Suppose 0 = 2*f - 4. Sort -4, f, d.
-4, f, d
Let z be 3/(0 + 12/(-32)). Let l be z*(-1 - (-2)/4). Let p be 1/(1/6*2). Put l, p, -3 in descending order.
l, p, -3
Let w = 1/2 - 1. Let t = -1/13 - 32/91. Sort -4, t, w in descending order.
t, w, -4
Let n = -0.15 - 0.35. Sort -1, n, 0.2 in decreasing order.
0.2, n, -1
Let z = -0.5 - -0.4. Put 0.4, -0.4, z in decreasing order.
0.4, z, -0.4
Let f be 3/(10 - 1) - 1. Let z = -6 + 5.5. Put -3, f, z in ascending order.
-3, f, z
Let r = 56 - 48. Sort 3, 1, r in increasing order.
1, 3, r
Let c be (-1 + 0)*27/(-3). Put -1, 3, c, 0 in increasing order.
-1, 0, 3, c
Suppose 0*t + t = -3*v + 1, 0 = 5*v - t + 9. Suppose 6 = -4*f - 2. Let u be 0*-2*f/(-12). Put v, u, 4 in descending order.
4, u, v
Let k = 29 + -7. Let n = 18 - k. Sort n, 2, -5 in ascending order.
-5, n, 2
Let p(v) = v**2 + 6*v + 7. Let l be p(-5). Let c be l + (-1)/(4/10). Let r = -3.8 - -0.8. Sort -0.3, c, r in ascending order.
r, c, -0.3
Let o = 0.8 - 0.3. Let r(a) = a + 1. Let t be r(-2). Let j be (18/12*2)/(-8). Put o, t, j in descending order.
o, j, t
Let f be 1*3*(-3)/(-27). Suppose -q = -0*u - 2*u + 1, -4*u = 0. Let n be (q*6)/(-3) - 3. Put 3/8, n, f in descending order.
3/8, f, n
Let m = -2.7 - -1.6. Put 5, -1/7, m, -1/6 in descending order.
5, -1/7, -1/6, m
Let n be 2/(4*-1 - (-2 - 0)). Let w be 2 + -1*(0 - -5). Sort n, w, 4 in decreasing order.
4, n, w
Suppose -2*f = i + 1, -3*f - 23 = -5*i + 11. Sort -5, f, 2.
-5, f, 2
Suppose -5*z + 25 = -5*p, -1 = -2*z - p - 0. Sort -2, z, 5, 0 in descending order.
5, z, 0, -2
Let p(t) = -3*t + 2. Suppose -5*n = 2 + 8. Let d be p(n). Let i = -13 + d. Put i, -1, 5 in increasing order.
i, -1, 5
Suppose 2*v - 14 = -4*a, v + 18 = 5*a + 3*v. Put -5, -2, a, 0 in increasing order.
-5, -2, 0, a
Suppose t + 14 = -3*t - 2*u, 5*u + 7 = 4*t. Put 2, t, 53 in descending order.
53, 2, t
Let t = 17.979 - -0.021. Sort 1, -3, t in descending order.
t, 1, -3
Let x be (-3 - -4)*15/9*-3. Sort x, 2, -30.
-30, x, 2
Suppose 0 = 4*o + 15 + 9. Let t(d) = d + 5. Let p be t(o). Suppose 0 = -6*i - 4*i + 10. Sort i, -4, p in decreasing order.
i, p, -4
Suppose -25 = -5*n, 5*z - 4*z = 3*n - 17. Sort -4, z, 5 in ascending order.
-4, z, 5
Let u be ((-4)/21)/((-66)/231). Let n = -1 + 4. Put -4, u, n in descending order.
n, u, -4
Let k = -51 + 51.53. Let z = k + -0.13. Sort -1, 5, z.
-1, z, 5
Let u be ((-52)/(-65))/(12/5 + -2). Suppose 6*v - 17 = v - 3*x, 0 = -5*v + 4*x - 11. Sort u, v, -3 in ascending order.
-3, v, u
Suppose 0*b + 3 = -3*j + b, -5*j = b + 13. Let d be j/3*3/2. Let a = 2 + -2.3. Put d, -4, a in ascending order.
-4, d, a
Suppose 5 = 5*a - 3*w, a = -a + 5*w + 2. Suppose -n = -4*n + 12. Suppose n*h - 28 = -2*c, 0 = -2*h + c + 5 + 1. Sort -1, h, a.
-1, a, h
Suppose -4*r + 19 + 5 = 0. Suppose -12 = 3*i - r*i. Suppose 3*k = -2*k. Sort i, k, -1 in ascending order.
-1, k, i
Let d = 18.6 - 19. Sort -1/4, d, -5 in ascending order.
-5, d, -1/4
Let q be (-9)/(-12) - (-26)/8. Put -1, q, 25 in increasing order.
-1, q, 25
Let i = 25.56 - 26. Let w = -0.06 + i. Let p = 26/5 + -22/5. Put w, -2/7, p in decreasing order.
p, -2/7, w
Suppose 5 = 3*l - g + 6*g, 5*g + 30 = 4*l. Sort 0.4, -0.3, l in increasing order.
-0.3, 0.4, l
Let q = -68 + 65. Sort 13, q, -0.1, 0.3.
q, -0.1, 0.3, 13
Let z be 332/10 + 3/(-15). Let p(f) = -13*f**2 + 4*f - 6. Let s be p(4). Let v be (-8)/s - (-6)/z. Sort 4, v, -1/3 in increasing order.
-1/3, v, 4
Let h(u) = -u - 8. Let d be h(0). Put 0, d, 2, 3 in decreasing order.
3, 2, 0, d
Let y = -0.08 - -0.15. Let x = 0.03 + y. Sort x, -0.3, -0.1.
-0.3, -0.1, x
Let f = -8 + 13. Put f, -4, -6 in ascending order.
-6, -4, f
Suppose 10 = 2*n + 4*k, -3*k + 5 = 5*n - 3*n. Let g(z) = -z**2 - 2. Suppose 4*h + x = 0, -3*x = -h - 4*x. Let p be g(h). Put n, -3, p