ecreasing order.
a, 3, t
Let x = 1.9 - 2. Let q be 16*7/(-21) + 6. Sort x, -4, q, 4.
-4, x, q, 4
Let y be 25/(-3) - 4/(-12). Let u(c) = c - 10. Let g(z) = -2*z + 29. Let s(b) = y*u(b) - 3*g(b). Let f be s(-5). Sort f, -5, -8.
-8, -5, f
Let m(y) = y + 1. Let s be m(0). Suppose 0 = -84*o + 102 + 150. Sort -1, s, o, 0 in decreasing order.
o, s, 0, -1
Let d be 6*(9 - (-232)/(-24)). Sort -7, 14, d in decreasing order.
14, d, -7
Let r be ((-7 - -3) + 3)*5. Suppose -3*u = -0*u - 9. Suppose 0 = -4*i - 5*g - 7, -4*i = -4*g + u*g - 11. Put 3, r, i in increasing order.
r, i, 3
Let y = 43812/13 - 26023093/7722. Let j = 2/297 + y. Sort 2/21, j, -5, -1/5 in decreasing order.
j, 2/21, -1/5, -5
Let u = -330 - -328. Suppose 5*i - 4*r - 40 = 0, -5*i + 2*r + 3 = -27. Suppose -c = i*c - 20. Sort -2/9, u, c in ascending order.
u, -2/9, c
Let y = -6.93 - -7. Let u = y + 1.93. Let v = -2 + -3. Sort u, 0.4, v in decreasing order.
u, 0.4, v
Let q(t) = 35460*t - 4. Let b be q(2). Let g = -566431/8 + b. Let s = -112 + g. Sort 0.3, s, -3 in descending order.
0.3, s, -3
Let q = -0.023 - 0.067. Let t = 81 + -241/3. Put 0.2, q, t in descending order.
t, 0.2, q
Let d = 137.1 + -137. Suppose -5*a - b - 13 = -38, 26 = 4*a + 2*b. Sort d, a, 3 in decreasing order.
a, 3, d
Let c = 43 + -45. Put 2/9, -0.29, c in increasing order.
c, -0.29, 2/9
Let j(c) = -163 + 125 + c - 3*c. Let y be j(-17). Sort y, -5, 3, 1.
-5, y, 1, 3
Suppose -4*t + 9*t + 150 = 0. Let l be 152/t + (-4)/(-10). Let q = 4 + l. Put q, -3, -5 in ascending order.
-5, -3, q
Suppose 0*j + 25 = 5*j. Suppose 0 = 4*a - 2*k - 2, 0 = -3*a - k + 2*k. Sort 1, j, a in ascending order.
a, 1, j
Suppose -2 = -10*m - 12. Sort -55, 0, m, 4 in decreasing order.
4, 0, m, -55
Let u be ((-4)/(-4))/((48/(-18))/8). Sort u, 4, -18 in increasing order.
-18, u, 4
Let s be (0 - 2)/((-38)/665). Let p be (-6)/5 - (-7)/s. Put p, 4, -2 in ascending order.
-2, p, 4
Suppose -376 = 5*n - 371. Suppose -r + 6*r = 0. Sort 3, r, 5, n in increasing order.
n, r, 3, 5
Let f = -6.4 + 6. Let t = 2 - 2.1. Let p = t - f. Put p, -3, 0 in decreasing order.
p, 0, -3
Suppose 3*d = -j + 5, -3*d = -j - 7 - 0. Let b = -3374 - -3372. Sort d, -3, -5, b in increasing order.
-5, -3, b, d
Let a = 3.5 + -3. Suppose -2*k = 3*f - 24, 5*k + 5*f - 20 - 35 = 0. Let u be 6/((k - 1)/4). Put u, 2/19, a in decreasing order.
u, a, 2/19
Let m be -4 + (-2 - -2)/5. Sort 5, m, 2 in increasing order.
m, 2, 5
Let v be 0/(0/2 + -2). Suppose 0 = j + 3*c - 0 + 2, 3*j = -3*c + 18. Sort v, 3, j in increasing order.
v, 3, j
Let s = 244 - 239. Put s, -3, 2, 1 in increasing order.
-3, 1, 2, s
Let y(l) = 2*l**2 - 12*l - 4. Let t be y(6). Suppose 8*r + 4 = 4*r. Sort t, -5, 36, r in decreasing order.
36, r, t, -5
Let u(m) = -m**3 - 8*m**2 - 6*m - 8. Let p be u(-7). Let d = p - -14. Sort d, -2, 0.
-2, d, 0
Let u(p) = p**2 + 32*p + 90. Let q be u(-3). Suppose -r - 6 = 3*v - 0*v, 4 = 2*r - 2*v. Put q, -3, 1, r in descending order.
q, 1, r, -3
Let q = 1 - 14. Let g = -12.5 - q. Sort 3/8, 0, g.
0, 3/8, g
Let d(y) = y**2 + 22*y - 29. Let z be d(-23). Sort z, -1, 1, -2 in decreasing order.
1, -1, -2, z
Let y = 336 + -338. Put -1/4, 19/7, y in decreasing order.
19/7, -1/4, y
Let p be (-9)/(-12)*(1 - 138/90). Put -2/11, 5, 0.11, p in increasing order.
p, -2/11, 0.11, 5
Suppose 33 = 20*o + 93. Put 185, -5, o in descending order.
185, o, -5
Let y(o) = o + 37. Let c be y(-41). Sort c, -1, -2 in increasing order.
c, -2, -1
Let g = -40 + 40.1. Put 9, g, -5, -0.3 in decreasing order.
9, g, -0.3, -5
Let x = -345 - -339. Sort -0.09, x, 0.5 in increasing order.
x, -0.09, 0.5
Let q = 384 + -404. Sort -3, q, 2, 4.
q, -3, 2, 4
Let b = 115/476 + 3/68. Let h = -97 - -97. Put h, -1, b, 3/7 in ascending order.
-1, h, b, 3/7
Let f be (2/3)/((-24)/(-27)). Let c be 120/(-6)*((0 - -3) + -1). Let v = -239/6 - c. Put f, v, -4 in descending order.
f, v, -4
Let r = -0.82 + -0.13. Let k = r - 0.15. Let p = k - -1.3. Put 1, p, -3/2 in decreasing order.
1, p, -3/2
Let f = -0.24 + -18.76. Let t = -16 - f. Put t, 0.2, -2 in descending order.
t, 0.2, -2
Let s(w) = 2*w**3 + 18*w**2 - 2. Let t be s(-9). Sort 1, 9, t in descending order.
9, 1, t
Let w = 0.028 - 0.228. Suppose -4*t = -t + 12. Let n be ((-2)/t)/((-7)/4). Put n, w, -5 in descending order.
w, n, -5
Let p = 279 - 280. Sort 10, p, 4 in descending order.
10, 4, p
Let l = 11.8 + -14. Let m = -1.8 + l. Sort m, 0.1, 0.3 in increasing order.
m, 0.1, 0.3
Let o = 0.1722 - -0.0278. Put o, -3/5, 2/9, -2 in decreasing order.
2/9, o, -3/5, -2
Let f = 23 + -47. Let s = 18 + f. Sort 0.1, 2/19, s in decreasing order.
2/19, 0.1, s
Suppose -14*t = -8*t - 330. Let n = t + -55. Suppose 0 = 5*q - 3*x - 0 - 4, -8 = -4*q + 4*x. Sort q, n, 2/3 in ascending order.
q, n, 2/3
Let n = 35 + -33. Suppose -v + n*v = -v. Let x = -1 - -3. Sort x, 1, v.
v, 1, x
Let b = 1229 - 1228.9. Let q(a) = -a**3 + 7*a**2 - 6*a + 3. Let p be q(6). Put p, 1, -1/4, b in ascending order.
-1/4, b, 1, p
Suppose -2*x = -3*h - 5, 2*x + 0*x = h + 3. Suppose -5*l = 3*n + 22, -5*l + 2*n - 38 + 11 = 0. Put x, 4, l in increasing order.
l, x, 4
Let x = -14 - -10. Suppose 0 = -3*w - w - 32. Let d(k) = k**3 + 8*k**2 - k - 2. Let q be d(w). Sort x, 5, q in descending order.
q, 5, x
Suppose 3*i = x - i - 11, -5*i - 35 = 3*x. Suppose -8 = 7*q - 9*q. Suppose 1 = g + q. Sort -2, x, g in increasing order.
x, g, -2
Let b(l) = l + 3. Let r be b(-2). Let k be 8/r + 2/(-2). Let i(f) = -2*f + 15. Let y be i(k). Put y, -2, -5 in ascending order.
-5, -2, y
Let r(i) = -2*i**2 + 40*i - 4. Let y be (-3 - 7)/((-2)/4). Let b be r(y). Put -14, b, 4 in ascending order.
-14, b, 4
Let p be ((-48)/9)/(-1) - 18/54. Suppose 12 = -2*m - 2*m. Sort p, m, 4 in descending order.
p, 4, m
Let d = -4 - 1. Suppose 0*p - 6 = -p. Let b(h) = -h**2 + 5*h + 6. Let k be b(p). Sort k, 1, d in increasing order.
d, k, 1
Let d = -14 + 12. Let y = 0.0487 + -1.0487. Sort -1/5, 4, d, y.
d, y, -1/5, 4
Let x(n) be the second derivative of n**4/12 - 2*n**3 - 15*n**2 - 3*n. Let h be x(14). Put -6, h, 3 in ascending order.
-6, h, 3
Let l be 36/(-567) + 2/(-9). Let u = -137/28 - -19/4. Sort -2, u, l in decreasing order.
u, l, -2
Let d(f) = -f**3 - 28*f**2 + 94*f + 33. Let w be d(-31). Let z = 1 - 3. Put 0.2, w, z, -1/4 in increasing order.
z, -1/4, 0.2, w
Let u be 0 - (-2 + (-22)/(-4)). Let f = -23/6 - u. Let r = 0.12 - -0.88. Sort f, r, -0.3.
f, -0.3, r
Suppose 135 - 103 = 8*y. Sort 2.77, y, -0.3 in descending order.
y, 2.77, -0.3
Suppose 2*j - 2*b = 6, 9 = 3*j - 2*b + b. Put 4, j, -10, 1 in decreasing order.
4, j, 1, -10
Let n = 2404 + -2402. Put -1, -18, n, 5 in increasing order.
-18, -1, n, 5
Suppose 0 = -h - 5*b + 1, 14 = -2*h - 2*h - 2*b. Let m be 1*-9 - (-5 + 1). Sort h, m, -1, 2 in decreasing order.
2, -1, h, m
Let u = -6.6 + 6.11. Let q = -0.51 + u. Put -1/8, q, -4 in decreasing order.
-1/8, q, -4
Suppose -3*z - 3 = -0. Let q be (-5 + 6)/(z/2). Let w = -41 + 47. Sort w, q, 0 in increasing order.
q, 0, w
Suppose -8 - 7 = 3*q. Let x(t) = -t**2 - 18*t + 945. Let r be x(-41). Put q, r, -30 in increasing order.
-30, q, r
Let v(g) = -g**2 + 20*g - 38. Let d(h) = -h**2 - 11*h - 6. Let y be d(-8). Let t be v(y). Put -8, 3, t in decreasing order.
3, t, -8
Suppose i + 248 = -2*t - 63, -t + 5*i = 183. Put 3, t, 0 in decreasing order.
3, 0, t
Let l = 420 - 419. Sort -30, l, -1 in ascending order.
-30, -1, l
Let k(c) = c**3 + 3*c**2 - 2*c + 4. Let o be k(-4). Suppose -5*t - 2820 = -2*w - 2841, 0 = 2*t - 5*w. Sort -1, t, o in descending order.
t, -1, o
Let p = 95 + -93. Let r be (((-21)/(-18))/(-7))/1. Put r, p, 1 in increasing order.
r, 1, p
Suppose -3 = 11*z - 14. Let y be 3/9*-7 - (-1 - z). Let u = -8 + 6. Sort -2/13, y, u in ascending order.
u, y, -2/13
Let x = 0.35 - -0.05. Let u = 0.055 + -0.04. Let j = u + -2.015. Sort x, j, -1/4 in ascending order.
j, -1/4, x
Let q = -16 + 19. Suppose q*m = 4*m - s + 2, -10 = 5*m - 2*s. Sort m, -1, -5 in decreasing order.
-1, m, -5
Let n = -2092/3 + 697. Put -89, 4/7, n in ascending order.
-89, n, 4/7
Let x(g) = -g**2 + 4*g - 3. Let s be x(0). Sort 5, s, 12 in decreasing order.
12, 5, s
Suppose -l = 3*l - 228. Let w = l + -63. Put 3, -2, w in descending order.
3, -2, w
Suppose -2*j - 4*s = 19 + 3, -3*j + 7 = -4*s. Let w be ((-1)/j)/((-2)/6). Let v