v = -381 - -379. Sort v, 1, -8, 0 in increasing order.
-8, v, 0, 1
Suppose -1 = -2*v - 5*d, 3*v = -v - 3*d - 5. Let k be ((-4)/(-18))/(-1) + 4/18. Let i be ((-2)/4)/1*-4. Sort v, i, k in ascending order.
v, k, i
Suppose 0 = 3*m - m. Suppose m = 3*d - 7 + 1, 0 = 4*s + 5*d - 10. Put s, 3, -2 in ascending order.
-2, s, 3
Suppose -12 = -t + 3*b, -5*t - 32 = 3*b - 2. Let i be t/(-2) + 9/(-2). Let w be 4 - 8 - i*2. Put -4, -0.2, w in ascending order.
-4, -0.2, w
Let l = -123 - -127.28. Let a = l - 4. Let v = -0.12 - a. Sort v, 0.2, 3 in ascending order.
v, 0.2, 3
Let q = -124.5 + 36. Let i = 88 + q. Put -3, -0.1, i, 2 in ascending order.
-3, i, -0.1, 2
Let l = 0.0157 + -0.5157. Sort -0.1, -0.223, l.
l, -0.223, -0.1
Let s = -56.24 - -1.74. Let y = 54 + s. Sort 2, 2/7, y, 1/2.
y, 2/7, 1/2, 2
Let z = -802/7 - -114. Let j = -2.12 + 1.82. Sort j, 7/2, z.
z, j, 7/2
Suppose 0 = -5*z + 13 + 7. Let n(y) = -3*y**2 - 3. Let a(x) = 4*x**2 - x + 4. Let s(u) = -4*a(u) - 5*n(u). Let m be s(z). Put -5, m, -4 in decreasing order.
m, -4, -5
Let h = 2.8 + -3. Let g = -45 + 45.2. Let l = -30.4 + 30.3. Put h, l, g in decreasing order.
g, l, h
Let h = -83 - -74. Let z be (245/h - -2) + (-4)/(-18). Sort z, 1, -3.
z, -3, 1
Let j = 2 + -2. Let s(g) = g - 6. Let x be s(7). Suppose 2*o + 3*p = -x, -2*p = 4*o - 0*p + 6. Sort j, o, -1.
o, -1, j
Let z = -49.2 + 51.2. Put 0.07, 0.3, z, -4/9 in descending order.
z, 0.3, 0.07, -4/9
Suppose -44*x + 314 - 270 = 0. Sort -258, x, -2, 5.
-258, -2, x, 5
Suppose -4*c = -0*c + 12. Let o = 0 + c. Suppose 0*i - 13 = -3*a + i, 2*i = 5*a - 21. Sort -4, a, o in descending order.
a, o, -4
Suppose 5*x = 5*o - 25, -x = -3*o - 2*o + 5. Suppose -4*s + 57 = -o*s + w, -2*s = 2*w - 30. Let u = 15 - s. Put u, -2, -4 in decreasing order.
u, -2, -4
Let s = -0.26 - -6.26. Sort -1/2, -2, s, 5 in increasing order.
-2, -1/2, 5, s
Let z = 0.03 - 0.43. Let q be 1*15/(-10) - 0. Sort q, z, 1 in ascending order.
q, z, 1
Let r = -0.281 - 0.519. Let z = -11.4 - -11. Let p = z - -0.5. Sort 5, r, p in increasing order.
r, p, 5
Suppose 10*y + 45 = -145. Put 4, -16, y in descending order.
4, -16, y
Let h(g) = -9*g**2 + g - 1. Let y be h(1). Let v be 3/(-9) + (-3)/y. Suppose 3*s - 2 = 2*s. Put v, s, -4 in decreasing order.
s, v, -4
Suppose -q + 7*m = 4*m + 1, 2*m - 3 = q. Suppose v + 3*t - 14 = 0, 4*v + t + 4 = 5. Sort q, v, -0.2.
q, v, -0.2
Let v be 9/63 - 26/(-14). Suppose -4 = v*p + 2. Let f = 19 + -24. Sort p, f, 3 in increasing order.
f, p, 3
Let k = 1965 + -2023. Put k, 12, 3 in increasing order.
k, 3, 12
Suppose 5*z + 32 = -11*z. Suppose 0 = -5*u + c + 14, 5*c + 12 = 2*c. Suppose -2*k = 4*o - 4 - 8, 5*o - 3*k = -7. Put u, o, z in increasing order.
z, o, u
Let n = 3.17 + -3.13. Put 4, -1/2, n in decreasing order.
4, n, -1/2
Let z = 64 - 52. Suppose -3*l + z*l = -9. Let o = -4 + 7. Sort l, 8, o.
l, o, 8
Let m be 11 + 1*(-8 - -8 - -7). Put 5, m, 12 in increasing order.
5, 12, m
Let f be (6/(-9))/(24/36). Sort 3, 4, f in decreasing order.
4, 3, f
Let x(z) = -30*z**2 - 5*z - 1. Let y be x(0). Let a(w) = -w**3 + 7*w**2 - 5*w - 2. Let d be a(6). Let t be d/14 - 4/14. Sort 6, t, y in ascending order.
y, t, 6
Suppose 13*m = g + 8*m + 5, 2*m = 2*g + 10. Sort -2, -20, g in decreasing order.
-2, g, -20
Let i = 21 - 24. Let p be (-2)/7 - i/(-63). Let a = 228 + -2510/11. Sort a, 1/6, p.
p, a, 1/6
Suppose 7*i = 2*i - 2*h + 12, 0 = -3*h - 12. Put 3, i, 2, 1 in decreasing order.
i, 3, 2, 1
Suppose 0 = z - 4*o - 2 - 4, -6 = -2*o. Suppose 3*u - u - z = 0. Suppose 2*t = u - 1. Put -0.2, -3, t in decreasing order.
t, -0.2, -3
Let b = 128 + -137.5. Sort b, -0.5, -4 in ascending order.
b, -4, -0.5
Let u = 2 + 1. Let l = -28346 + 28348. Put u, -3, 0, l in increasing order.
-3, 0, l, u
Let d = -397 + 402. Let h = -6 - -10. Put 2, d, -1, h in increasing order.
-1, 2, h, d
Let j = -122 + 128. Suppose 9*x = -j*x - 15. Sort 29, x, 5 in ascending order.
x, 5, 29
Let s be ((-9090)/108)/(2/(-4)). Let a = s - 167. Sort a, -0.4, 0, 1 in increasing order.
-0.4, 0, 1, a
Let h(r) = -2*r + 51. Let j be h(23). Suppose -4*f + 4 = 4*z, f = z + 2*z - 7. Sort -4, f, j in descending order.
j, f, -4
Suppose 11*s - 165 = -4*s. Sort 0, -3, s, -5.
-5, -3, 0, s
Let y = 45.52 + -33.3. Let q = y - 0.22. Put -1/4, 1, q in decreasing order.
q, 1, -1/4
Suppose -z + 5*z - 12 = 0. Suppose 2*w + 2*g = 9 + 13, 5*g + 5 = 0. Suppose -4*s = 16 - w. Sort s, -9, z.
-9, s, z
Let s(r) = -r**3 + 11*r**2 + 4. Let z be s(11). Suppose 0 = -9*p + 13*p + z. Sort -5, p, 2, -4.
-5, -4, p, 2
Let h = -37 + 34. Suppose 0*m + 301 = 3*z + m, 0 = -2*z - 2*m + 202. Let g be 45/z*(-10)/(-12). Sort h, g, 5.
h, g, 5
Suppose -x + 6*x + 20 = 0, -3*m + 18 = 3*x. Suppose -23 - 31 - 12 = 22*o. Sort m, 3, o.
o, 3, m
Let d = 0.2 + -12.2. Let v = -9 - d. Let s be ((-4)/(-2))/6*-1. Sort v, s, -2/9 in descending order.
v, -2/9, s
Suppose -3 = -3*l - 2*d - 22, 4*d + 8 = 0. Sort l, 5, -0.1, -19 in descending order.
5, -0.1, l, -19
Let z(h) be the first derivative of -h**2 + 9*h - 6. Let s be z(4). Sort s, 2, -5 in descending order.
2, s, -5
Let h = -48.8 + 43.8. Sort h, -41, -4 in descending order.
-4, h, -41
Let z = -213.5 - -297. Let t = z + -84. Sort t, 0.024, -2/7 in descending order.
0.024, -2/7, t
Let b(v) = -6*v + 79. Let w be b(15). Sort -2, w, 16.
w, -2, 16
Let a be -1 + 6 - 2/1. Suppose -4*z + 2*z - 14 = 0. Let s(j) = j**2 + 8*j + 3. Let h be s(z). Put a, 2, h in decreasing order.
a, 2, h
Let s = 0.69 - -2.31. Sort -0.2, s, 0.2.
-0.2, 0.2, s
Let t = 2.4 + -1.96. Let f = t + -0.44. Sort f, -3/4, 1/5 in increasing order.
-3/4, f, 1/5
Let u = -23 + 20. Let a be 2*(-2 - u) + -9. Let q = a + 4. Sort -4, q, -5.
-5, -4, q
Let y = 11.8 + -12. Sort -17, -2, y.
-17, -2, y
Suppose 38 = -42*n - 46. Let a be (-9)/6*(-2)/(-3). Sort 2, a, n.
n, a, 2
Suppose 5*n + 12 = 6*n - 10*y, 0 = -5*n + 4*y + 14. Put n, -1, -5 in decreasing order.
n, -1, -5
Let n = 182.2 + -180. Sort n, -1, 4, 5/3 in decreasing order.
4, n, 5/3, -1
Let m be (-2)/((-1)/(-2)*2). Let n be (-4)/9 + ((-113)/(-72) - 1). Sort n, -3, 1/3, m.
-3, m, n, 1/3
Let h be (-2)/(-4)*(5 - 5). Let t = 9 - 8.86. Let q = -2.14 + t. Put q, 2, h in descending order.
2, h, q
Let t be ((-6)/(-18))/((-2 - 1)/(-54)). Sort t, -3, -2, 3.
-3, -2, 3, t
Let c be (-11 - -7) + -2 + (2 - 1). Sort 0, 2, c, 20 in increasing order.
c, 0, 2, 20
Let i = 79.8 - 79.2. Let s be 24/(-150)*(-5)/(-6). Sort 5, 2, i, s in descending order.
5, 2, i, s
Let w be (8/3)/(12/18). Suppose 2*x = q + 8, 2*x - 4*q - w = x. Let z be x/(-18) + 40/990. Put -2, z, -4 in increasing order.
-4, -2, z
Let p be 4*-1 + 1 + (18 - 10). Let f = 3.04 + -0.04. Sort -5, p, f in decreasing order.
p, f, -5
Let j = -5 + 0. Let b(r) = -r**2 - 19*r + 3. Let v be b(-18). Put v, -3, j, 2 in ascending order.
j, -3, 2, v
Let p = -0.1 - 0.2. Let n = p - -1.3. Let a = -1.3 + n. Sort -0.2, 1/5, a in decreasing order.
1/5, -0.2, a
Suppose 0 = 5*w + 2*y - 4 + 2, 5*w - 3*y = -3. Suppose c + c + 8 = 2*f, -5*f = 3*c - 28. Suppose 5*u - l + 2*l = -20, 0 = u - 4*l - 17. Sort f, w, u.
u, w, f
Let d(n) = n**2 + 14*n - 76. Let f be d(-18). Put -3, f, 45, 1 in increasing order.
f, -3, 1, 45
Suppose 5*x + 3 = -2. Let j = 34691/5 + -6800. Let r = j + -139. Put 1, x, r in descending order.
1, r, x
Let w be (-5)/(-5) - 5*-7. Let j be ((-5)/(-15))/(75/w + -2). Sort 5, 1, j in ascending order.
1, j, 5
Let l(u) = -8*u - 7. Let b be l(-11). Let v = 73 - b. Sort -1, v, -3, 5 in descending order.
5, -1, -3, v
Let x be (-192)/(-224) + (-8)/(-14). Sort x, -5, -0.2, 5 in decreasing order.
5, x, -0.2, -5
Let o = 143 + -259. Let y = 582/5 + o. Put y, -1/5, -1 in descending order.
y, -1/5, -1
Let p = 0.3 - 1. Let y = 0.96 - -0.04. Let n = y + p. Put 0.5, -3/4, n in increasing order.
-3/4, n, 0.5
Let z = -2.01 - -2.129. Let v = z - 6.119. Sort 2, v, 1/2 in descending order.
2, 1/2, v
Suppose 0 = -14*a - 255 - 67. Put 9, 0, a in increasing order.
a, 0, 9
Let f = -1193 + 1198. Put -208, 2/9, 1, f in decreasing order.
f, 1, 2/9, -208
Let w(m) = -1 - 3 + 7 + m - 2. Let y be w(1). Let c(v) = -v**3 + 3*v**2 + v - 4. Let l be c(y). Sort l, 3, 1 in decreasing order.
3, l, 1
Let b be 2/7 + 349/(-21). Let p be (-40)/36*123/8. Let u = b - p. Sort 2, u, -0.2 in decreasing order.
2, u, -0.2
Let m be 56/42*(-30)