, -8, -3, 4, 5
Let m be 14 - 2 - (-5 + 11). Let k be m/12*(-2 + (223 - -1)). Sort -1, k, 1.
-1, 1, k
Suppose h + 7 = 3*i + 17, i + 40 = 4*h. Suppose -13*s + 11*s = -h. Let x(d) = 3*d**3 + d**2 - 1. Let b be x(1). Sort -5, b, s.
-5, b, s
Let v be ((-8)/3 - -2)*3. Let x = 36 + -34.3. Let d = 1.3 - x. Sort d, v, -1, -13 in decreasing order.
d, -1, v, -13
Let q = 0.43 + -0.63. Let b = -9.97666 + -0.02334. Let k = -193/35 - -40/7. Put k, q, 3, b in decreasing order.
3, k, q, b
Let o(x) = x**3 + 40*x**2 + 3*x + 123. Let d be o(-40). Put 64, 1, d in decreasing order.
64, d, 1
Let g = 33 + -58. Let i = 4 - g. Let z = i - 28.5. Sort z, 1, 4 in decreasing order.
4, 1, z
Let o = 0.1718 + 25.8582. Let c = o - 25. Let y = 0.03 - c. Sort -2, y, 1 in decreasing order.
1, y, -2
Let l(w) = w**3 + 9*w**2 + 11*w + 7. Let f be l(-8). Let u = -23 - f. Let g = -1916 + 1921. Sort g, u, -3 in increasing order.
u, -3, g
Let t = 15975 - 15972. Suppose 4*c - 5 = 7. Suppose -5*v = -c + 8. Sort -2, v, t, -3.
-3, -2, v, t
Let c(g) = g**3 - 5*g**2 + 5. Let f be c(5). Suppose -726*x = -759*x. Put f, 4, x, 3 in decreasing order.
f, 4, 3, x
Let m = 48.03 + -48. Let y = -3 + 0. Let q = -0.31 + 0.81. Sort y, q, m in ascending order.
y, m, q
Let o(p) be the first derivative of -p**3/3 + 3*p**2 - 10*p + 16. Let d be o(5). Let k(i) = 3*i + 38. Let m be k(-12). Sort m, -4, d, 5 in increasing order.
d, -4, m, 5
Let i = 1.82 + 0.18. Let q = -0.0986 - 0.0014. Sort -2/9, q, i, 5 in ascending order.
-2/9, q, i, 5
Let x be -1 + (-94)/(-8) - (-2 + 12). Sort 32, x, 4, 1/5.
1/5, x, 4, 32
Suppose 0 = 2*y - 4*o - 30, 5*o = -4*y - 1 - 17. Sort 18, -3, 11, y in decreasing order.
18, 11, y, -3
Let k(m) = m - 18. Let o(s) = -2*s + 27. Let y(t) = 7*k(t) + 5*o(t). Suppose -380*u + 341*u = -156. Let j be y(u). Put j, 3, 2 in increasing order.
j, 2, 3
Let u be (-15)/(-7 - -4) - 4. Let m = 4095 - 4100. Sort u, -3, 5, m in ascending order.
m, -3, u, 5
Let r be 1/(-4 + 3 - 0). Suppose 0 = 4*f - 4*t, -5*t + 15 = 4*f - 4*t. Suppose 5*k - 3*p - 5 = 0, -f*k = -7*k - 2*p - 18. Put k, -8, r in increasing order.
-8, k, r
Suppose f = -f + 10. Suppose -44*o + 44 = -55*o. Sort f, 1, -2, o.
o, -2, 1, f
Suppose 0 = -3*j + 3*y - 108, 508*j = 507*j + 3*y - 44. Put 0, j, -3 in descending order.
0, -3, j
Suppose 0*a - 10 = -2*a. Suppose -a*h - 54 = 66. Suppose -7*x - 33 = -36*s + 35*s, 0 = -2*s + 3*x + 11. Put s, h, 0 in descending order.
0, s, h
Let c = 1181/36 + -284/9. Sort 0, c, -0.46 in decreasing order.
c, 0, -0.46
Let q = -4428 + 4427.7. Sort -2, -2/13, 1.1, q, 1/3 in descending order.
1.1, 1/3, -2/13, q, -2
Let w = -0.1 + -0.5. Let p = w - -0.2. Let j = -1470 - -1465. Sort j, p, -1/5.
j, p, -1/5
Let i = -24 + 18. Suppose -x = x + 5*y + 15, 0 = y + 5. Sort x, i, -1, -2.
i, -2, -1, x
Let f be (12/8)/(-3)*7208/(-17). Put f, 3, 1 in decreasing order.
f, 3, 1
Suppose 47*p + 163 - 69 = 0. Put -9, p, -3, -18 in increasing order.
-18, -9, -3, p
Suppose -5*y + 163*y - 2318 = 36*y. Put -3, 34, y, 2 in decreasing order.
34, y, 2, -3
Suppose 0 = 2*i + 2*m - 125 + 111, -2*m + 11 = -i. Let l = 5 + -7. Put l, -3, 40, i in descending order.
40, i, l, -3
Let h = 39 - 193/5. Let c = -2.523 + 3.223. Let n(i) = -i + 1. Let o be n(0). Put o, c, h in ascending order.
h, c, o
Let j = -0.451 - 0.549. Sort -3, j, 41 in ascending order.
-3, j, 41
Let l be ((-9)/(-42))/((-20)/(-35)). Let h be (-7)/(-4)*(5 - -3). Let w be ((-4)/h)/((-30)/14). Put l, 3, w in increasing order.
w, l, 3
Let k = -1 - 0. Let m(u) = -u**3 - 331*u**2 - 976*u + 6. Let x be m(-3). Sort 5, k, x in decreasing order.
5, k, x
Suppose -u - 3*c = -0*c + 4, 0 = 3*c + 9. Suppose 90*p - 893 = -263. Sort -1, u, p, -2 in increasing order.
-2, -1, u, p
Let s = 11448 - 11447. Suppose -10*y = -15*y + 10. Suppose 0 = u + 2*u + 18. Sort y, u, s in decreasing order.
y, s, u
Let s be 656/(-40)*(-10)/4. Let i = 39 - s. Suppose -2*w + 11 = -3*t, -3 + 7 = -t + w. Put t, i, -4 in increasing order.
-4, t, i
Let i(a) = a - 2. Let n be i(7). Suppose d = 5, 0 = -5*m - 38*d + 42*d - 15. Sort -72, m, n.
-72, m, n
Let p = -1.013 + 0.309. Let o = p + 0.304. Put -0.04, -0.3, o in ascending order.
o, -0.3, -0.04
Let l = 18059 - 18058. Sort l, 14, 5, -5, -3 in descending order.
14, 5, l, -3, -5
Suppose 6*a = w - 12, -4*w - 8*a = -7*a + 2. Suppose 1 = q + t, -2*t - 9 = -3*q - 7*t. Put -4, -5, q, w in ascending order.
-5, -4, q, w
Let z = 3897 - 3914. Put -8, z, 3, -1, -2 in increasing order.
z, -8, -2, -1, 3
Let a = 63 - 59. Suppose 0*s + 2*n + 128 = a*s, -s + 30 = -n. Let i = -32 + s. Put -7, i, -2, 0 in increasing order.
-7, -2, 0, i
Let r = -2/1145 + 2312/12595. Put -14, 0, r, -4 in increasing order.
-14, -4, 0, r
Let h = -104134 + 104134. Let f(r) = r**3 - 4*r**2 - 6*r + 4. Let a be f(5). Sort 5, h, a, -12 in descending order.
5, h, a, -12
Let n = -206 - -205.593. Let k = -0.207 - n. Sort k, 33, 1/4.
k, 1/4, 33
Let f = 260.2 + -244. Let i = f - 16.4. Put 0, -2/17, i, 3/4 in increasing order.
i, -2/17, 0, 3/4
Suppose 5*r - 35 = -4*y, 2*y + 25*r = 30*r - 5. Put y, 3, 4, 25, -107 in decreasing order.
25, y, 4, 3, -107
Suppose -45*a + 16*a = -116. Sort 6, -3, 13, a in decreasing order.
13, 6, a, -3
Let d = -64 + 64. Suppose -u + 4*u + 12 = d, 0 = 3*m + 3*u + 12. Let w = 473 - 471. Sort m, 2/9, -3, w.
-3, m, 2/9, w
Let y = -3714 + 3717. Put 5, 2, y, 18 in decreasing order.
18, 5, y, 2
Let w be (20/3)/(12/18). Let c be 76/133 - (-1 - 80/7). Suppose -w*r = -c*r. Sort -4, -2, r in descending order.
r, -2, -4
Let b be (-39)/(-84) - 2/(-7). Suppose -3*n - 40 = 2*z + 2*n, -5*z + 3*n = 69. Let a be 4/8*4/24*z. Sort b, a, 5, 1 in decreasing order.
5, 1, b, a
Let j = -1.668 + -0.332. Let n(x) be the first derivative of -x**4/4 - 4*x**3/3 + x**2/2 + 4*x - 2. Let y be n(-4). Sort -1, y, j in descending order.
y, -1, j
Let c be (-12)/(-432)*14 - 4/8. Put 4, 7, c in ascending order.
c, 4, 7
Let u be (-1)/(-3)*6 + -4. Let f(s) = s**3 + 9*s**2 + 7*s - 8. Let v be f(-8). Suppose 2*k - 4 = -4*d + 2*d, 3*d = v. Put u, k, 0, -4 in descending order.
k, 0, u, -4
Suppose 2582 = 288*b - 1162. Put -11/9, b, 0, 2/17 in descending order.
b, 2/17, 0, -11/9
Let r = 308.6 + -309. Let t = 0.0164 - -0.0836. Put 13, t, r in decreasing order.
13, t, r
Let q = -129.9788 + -0.0212. Let k = 134 + q. Put k, 0.1, 0.2, -5 in descending order.
k, 0.2, 0.1, -5
Suppose -6*c - 3 = -7*c + 2*y, 2*c - 5*y - 9 = 0. Put -4, c, -985 in ascending order.
-985, -4, c
Suppose -2*b = -5*v - 7, -8*v - b = -4*v + 3. Sort v, 332, 2.
v, 2, 332
Suppose 0 = -v - 4*l, 5*v + 4*l = -0*l. Suppose 3*t + 21 = 3*g, -g + 6*g - t - 27 = v. Sort g, -7, -3, 1 in decreasing order.
g, 1, -3, -7
Let y = -30 + 20. Suppose -25 = -24*g - 97. Put y, g, 2 in increasing order.
y, g, 2
Let m = -13 + 12.5. Let k = 2.21 + -1.71. Let t = m + k. Sort -2, -4, t in descending order.
t, -2, -4
Let c = -12398 + 12403.199. Let q = 0.199 - c. Sort -6, 2, q in descending order.
2, q, -6
Let y be (-4 + (-189)/(-35))*10. Put 37, y, 4, 0 in decreasing order.
37, y, 4, 0
Suppose 21*n + 384 = 5*n. Let p be (2/(-4))/(n/48). Sort p, -25, -4 in ascending order.
-25, -4, p
Let g be ((-6)/(-10) - 10/(-25))*-3. Let d(i) = -i**3 - 4*i**2 + 4*i - 3. Let x be d(-5). Suppose 0*u = x*u. Put g, u, -4 in increasing order.
-4, g, u
Let a = 4.04 - 0.04. Let c be (-35)/42*2*(702/60)/13. Put -1, c, -3/4, a in increasing order.
c, -1, -3/4, a
Suppose 5 = 4*s + 5*d, 0 = -17*s + 15*s + 3*d - 25. Let u(w) = 3*w + 14. Let x be u(-3). Put x, 2, s, -1 in descending order.
x, 2, -1, s
Let y(n) = n**2 + n - 2. Let d be y(0). Suppose -m = -4*b - 16, -3*b - 30*m + 32*m = 7. Sort -0.5, b, -2/25, d.
b, d, -0.5, -2/25
Let z = 2541 + -2537. Sort -1/4, 2, -5, z.
-5, -1/4, 2, z
Let m = 27 - 30. Let g(n) = n**2 + 3*n + 2. Let z be g(m). Let b be z - 2 - (-6)/(-9). Put 4, -3, b, -4 in decreasing order.
4, b, -3, -4
Suppose -122*q - 32*q = -616. Put -3, 2, q, -7 in decreasing order.
q, 2, -3, -7
Suppose -1017 = 14*r + 2469. Let z = r - -256. Put z, -5, -3, -4 in ascending order.
-5, -4, -3, z
Let u = -2528 - -2524. Sort u, -18, -3.
-18, u, -3
Suppose 3*v + 37 = -5*g + 2*v, 5*g = -5*v - 65. Put g, 19, 23 in descending order.
23, 19, g
Let u = 22351 - 22351.1. Sort u, -3/5, -8.31.
-8.31, -3/5, u
Let p(n) = -10*n**2 - 10*n + 5. L