se 20 = 5*t + 5*g, 0 = -4*t - 0*g - g + 16. Sort -2, t, 5.
-2, t, 5
Let g = -0.071 - 2.929. Let h = -1 - -1.1. Put g, h, -0.5 in decreasing order.
h, -0.5, g
Let d = -5.12 + 0.12. Put d, -3, -1 in descending order.
-1, -3, d
Suppose p + p - 10 = -4*x, 3*x - 12 = -3*p. Let j = -6 + p. Sort -1, 2, j in descending order.
2, -1, j
Let d = 0.1 + 5.9. Let q = d - 6.4. Put -1, q, -4 in ascending order.
-4, -1, q
Let q = 84 - 85. Put -4, -13, q, 0 in decreasing order.
0, q, -4, -13
Let n(r) = r**3 - 4*r**2 - r - 1. Let k be n(4). Put 0, -1, 5, k in decreasing order.
5, 0, -1, k
Let v = 2 - 1. Let w = 6 + -5.7. Let z = 9/4 + -15/4. Sort v, z, w.
z, w, v
Let r = 0.31 - -0.19. Sort 0.9, -3/8, r in increasing order.
-3/8, r, 0.9
Let m = 1.8 - -0.2. Let j = 0.3 - 7.3. Let n = -4 - j. Sort 0.1, n, m.
0.1, m, n
Let p = 3.005 + -0.005. Sort -4, p, -5/3 in decreasing order.
p, -5/3, -4
Let u = -3 + 5. Suppose 1 = -u*v + 5. Suppose 0 = 2*l - 13 + 3. Sort v, l, 3 in decreasing order.
l, 3, v
Suppose -2*p - 7*v + 5*v = 0, -p - 5*v = 0. Sort p, -3/19, 0.3 in increasing order.
-3/19, p, 0.3
Let y = -0.05 + -0.35. Let b = 44 - 218/5. Let x be (-2)/12 + (-2)/(-6). Sort x, b, y in ascending order.
y, x, b
Let k = 0.6 - 1. Sort 1/4, k, 1/2 in ascending order.
k, 1/4, 1/2
Let l(t) = 3*t**3 - t**2 - 2*t - 1. Let s be l(-1). Let x be ((-2)/(-1))/1 + 1. Let p = -3 + x. Sort -4, s, p in descending order.
p, s, -4
Let g = -13 - -16. Let r = 0 + g. Let t(a) = a**2 + 5*a + 4. Let b be t(-5). Sort r, -3, b in ascending order.
-3, r, b
Let h = 4 - -2. Let i = -9 + h. Let q = -20 - -23. Put q, 1, i in descending order.
q, 1, i
Let b(i) = -3*i - 22. Let f be b(-9). Let p be -6*(-3 - f/(-2)). Sort -2, -4, p.
-4, -2, p
Suppose -5*i - 15 - 2 = -4*p, 0 = -2*p + 3*i + 11. Let o be (5/4)/(p/8). Let r be (1 - 0)/(1/1). Sort o, 2, r in ascending order.
o, r, 2
Let v(w) = -w**2 - 5*w + 8. Let d be v(-6). Suppose -2*r = -0*g + g + d, 0 = 3*r - 9. Let u(a) = a**3 + 7*a**2 - 7*a + 6. Let k be u(g). Sort 3, k, 2.
k, 2, 3
Suppose 0 = 11*s - 9*s + 2. Sort s, -2, -5.
-5, -2, s
Let y be 2/9 + 18/(-81). Put -15, y, -5 in increasing order.
-15, -5, y
Let j(h) = -2*h + 12. Let c be j(7). Let y = 1 - -9. Let s = y + -5. Sort 3, c, s.
c, 3, s
Suppose 10 = -d - 4*t, 0*t - t = 5*d - 26. Let x = 16 - d. Let s be (2/(-2))/(65/x). Put 1/9, -0.3, s in descending order.
1/9, s, -0.3
Suppose 0 = -a - 2*a + 3. Let m = a - -1. Put m, 4, 5 in increasing order.
m, 4, 5
Let a(z) = z**3 - 10*z**2 - z + 9. Suppose -2*o - 7 = -3*x + 13, -2*x - o + 25 = 0. Let p be a(x). Sort 5, p, 0.1 in decreasing order.
5, 0.1, p
Let x be (-2)/2 + (7 - 6). Let t = -3/2 - x. Let j = -2 + 5. Put 0.5, t, j in decreasing order.
j, 0.5, t
Let y = -8 + 7. Let u be (4/3 + -1)/y. Sort u, -1/4, 0 in ascending order.
u, -1/4, 0
Let p be (-2 - -2)*(-3)/6. Let v = p - 4. Sort 1, 3, v in decreasing order.
3, 1, v
Suppose d + 3*d = 100. Suppose -3*w = -4 - 2. Suppose 7*j = w*j + d. Sort 2, 4, j in descending order.
j, 4, 2
Let m = -43 - -48. Let v be 9/12*(-74)/(-6). Let p = -325/36 + v. Sort 2/7, m, p in increasing order.
p, 2/7, m
Let o = 3 + -1. Let p = o + 3. Suppose -2 + 27 = p*l. Put l, 2, 4 in ascending order.
2, 4, l
Let i(z) = -z**3 + 12*z**2 + z - 15. Let o be i(12). Sort 2, 4, 5, o in descending order.
5, 4, 2, o
Suppose 4*o = -1 - 15. Sort o, 5, 3 in descending order.
5, 3, o
Let y = 117 - 118. Sort -2, y, 1 in descending order.
1, y, -2
Let u be (-3 - (4 + -4))*-1. Sort -2, 4, u in ascending order.
-2, u, 4
Suppose 0 = -j + 4*g - 12, -5*g = -2*j + 4*j - 15. Put j, -4, 1 in descending order.
1, j, -4
Let l = -0.2 + -0.3. Sort -3/2, 1/2, l in descending order.
1/2, l, -3/2
Let k = -4 + 4. Suppose a - 2*b + k = -8, 20 = -4*a + 2*b. Sort a, 0, -2 in decreasing order.
0, -2, a
Let x be 1*(-5)/2*4. Let s = x + 7. Sort -1, 5, s in ascending order.
s, -1, 5
Let d = -263.1 - -240. Let l = -22 - d. Let f = l + -0.6. Put -5, f, -3/5 in increasing order.
-5, -3/5, f
Let d = -44 + 265/6. Sort 1, d, 5 in ascending order.
d, 1, 5
Let c be (-27)/(-5) + 6/(-15). Suppose 0 = -y + 1, c*t + 2*y + 3*y - 15 = 0. Sort -1, 4, t in decreasing order.
4, t, -1
Let a = 2/4941 + 3028823/24705. Let p = 122 - a. Sort 2/9, p, -1/2 in ascending order.
p, -1/2, 2/9
Let z = 63 - 43. Suppose -3*y = y + z. Put 2, -2, y in descending order.
2, -2, y
Let g(o) = 2*o + 4. Suppose -2*i + 10 = 2*b, 4*b + 0*b + 5*i - 21 = 0. Let z be g(b). Let c be (z/8)/(2/4). Sort c, -3, 4 in ascending order.
-3, c, 4
Let y be (-3)/(-1) + (-21)/7. Put -1, 1, y in decreasing order.
1, y, -1
Let c = 0.3 - -0.6. Let o = 1 - c. Suppose -2*a + 4*q = 2, -5*q = a - 8 - 12. Put a, 0.3, o in decreasing order.
a, 0.3, o
Let j = -14 - -13. Sort 0.2, j, -3/2 in increasing order.
-3/2, j, 0.2
Suppose 2 = -2*v + x + 3, -x - 1 = 0. Let i be 60/9 - (-1)/3. Let m = -3 + i. Sort v, m, -2.
-2, v, m
Suppose 0*l = 3*l. Put -2, l, 2, -5 in increasing order.
-5, -2, l, 2
Suppose 2*g = 7*g - 25. Let t be g/10 + (-3)/2. Let p = 9 - 5. Sort t, 0, p.
t, 0, p
Let u be (-5)/((-1)/(2 + -1)). Put -1, 3, u in increasing order.
-1, 3, u
Let d be -4 + (4 + (-44)/12)*30. Put -5, d, 5, -1 in descending order.
d, 5, -1, -5
Let g = -2.283 - -0.313. Let s = g + -0.03. Sort s, -5, 5.
-5, s, 5
Suppose -4*q - p = -9, 5*p + 6 = 2*q + 29. Let r = 37 - 40. Put r, 5, q in descending order.
5, q, r
Let u be (-1)/((5 + -2)*2/(-6)). Suppose -5*a - 22 = c + 2*c, -4*a = 8. Sort u, 1/8, c in increasing order.
c, 1/8, u
Let a = 0.2 - -4.3. Let z = 5 - a. Put z, -1/4, 1 in increasing order.
-1/4, z, 1
Let c = 7/24 + 7/3. Let v = -19/3 - -155/24. Let f = v - c. Put -3, f, 3/4 in decreasing order.
3/4, f, -3
Let r = 0.03 - 1.03. Let o = -13 + 11. Sort r, -0.5, o in descending order.
-0.5, r, o
Suppose w - 4*q - 5 = 0, 6*w - 4*q + 4 = 2*w. Sort -46, -1, w.
-46, w, -1
Let m be 10*((-9)/6 - -1). Suppose 0 = -5*n + 6 + 69. Suppose 5*s - 2*s - n = 0. Put 2, m, s in increasing order.
m, 2, s
Let h(y) = 2*y + 6. Let g be h(-5). Let w be 3/12*16*10/8. Sort w, g, 0.2 in ascending order.
g, 0.2, w
Let l be 1/(-1) - (-1 + 0). Suppose l*a = -5*a. Suppose 0*f + 5*f = 10. Sort a, -4, f.
-4, a, f
Let h(v) = v**3 + 4*v**2 + 3*v + 1. Let p = 6 - 8. Let b be h(p). Sort 0, b, 1 in increasing order.
0, 1, b
Let q(s) = -5*s + 49. Let u be q(10). Let t = -5 - -1. Sort 2, t, u in increasing order.
t, u, 2
Let l = 169 + -164. Let s = -1 - 2. Sort s, 4, l in descending order.
l, 4, s
Let i = 0.042 + 10.158. Let v = 10 - i. Put 2/5, 4, v in increasing order.
v, 2/5, 4
Let a(w) = -w + 4. Let x be a(2). Sort -4, x, -5.
-5, -4, x
Let w = -0.3 - 0.1. Let u be (3 + (-44)/15)*14/(-7). Put w, u, -4 in increasing order.
-4, w, u
Let b = 4.11 + -4. Let i = -0.89 - b. Sort 0.1, i, -3 in ascending order.
-3, i, 0.1
Let u = -7 + 8. Suppose 8 = -3*o - 4. Let l = o + 3. Sort u, -2, l in decreasing order.
u, l, -2
Let f = 1.6 + 0.4. Let d be 15/(-12)*(-24)/(-18). Put d, -2/7, f in descending order.
f, -2/7, d
Let v = 24 - 47/2. Let p = -17.8 + 16. Let x = -2 - p. Put x, -2, v in decreasing order.
v, x, -2
Let r(k) = -k**3 - 6*k**2 - 6*k - 3. Let f be r(-5). Suppose 0*g = f*g. Suppose 2*t - 7*t + 3*w + 20 = g, -3*w = -t + 16. Put 3, -4, t in descending order.
3, t, -4
Let a(m) = -m**3 + 4*m**2 - 4*m + 1. Let n be a(3). Suppose 0 = -0*v - 4*v + 12. Put -4, v, n in decreasing order.
v, n, -4
Let t(q) be the first derivative of -q**4/4 + q**2/2 + 4*q - 3. Let d be t(0). Let y = 0.3 + -0.4. Sort -2, d, y in descending order.
d, y, -2
Suppose 4*g - 3*q - 7 = -8*q, 0 = g + 4*q - 10. Let t = -15 - -9. Sort -5, t, g in descending order.
g, -5, t
Let s be ((-1)/2)/(2/(-16)). Let i(r) be the third derivative of r**5/60 - r**4/4 - 2*r**3/3 - 3*r**2. Let p be i(7). Sort s, -2, p in descending order.
s, p, -2
Suppose 3*t - 203 = 4*d, 5*d - 2*d - 254 = -4*t. Let x = t + -110. Let g be 4/(-6) - 66/x. Put g, -2, -0.4 in descending order.
g, -0.4, -2
Let u = 63 - 66. Put 9, -2, u in descending order.
9, -2, u
Let h be (4/6)/(140/24). Let d = -121/140 + h. Suppose 0 = -2*w - w + 6. Sort -4, d, w in increasing order.
-4, d, w
Let p = 2 - 4. Let o be -13*(7 + -1)/3. Let k = o + 53/2. Sort -5, p, k.
-5, p, k
Let p = 11.01 - 11. Sort 4/7, p, 5.
p, 4/7, 5
Let y = -3.2 + 2.5. Let b = 11.9 + -13. Let g = b 