 c
Let b = 68 - 70. Sort 5, -4, b, 1.
-4, b, 1, 5
Let n be (10/(-4))/5*2. Let b = 3 + n. Suppose -b = 3*a - a. Put 2, a, -2 in decreasing order.
2, a, -2
Let a(z) = 1 - 2*z**2 + 3*z**2 + 2*z - 3. Suppose -2*o = -2*g + 4, 2*g + 17 = -4*o - o. Let l be a(o). Sort l, 5, 4 in decreasing order.
5, 4, l
Suppose -y = 5*b + 14, -b + 2*b = -2. Put 4, 5, -2, y in increasing order.
y, -2, 4, 5
Let y be -1*(5 + -4 + -3). Sort 5, y, 0 in ascending order.
0, y, 5
Let h be 3/12*(-8)/9. Let f(b) = 11*b**2 - b. Let m be f(-1). Let i = m + -8. Sort 2, i, h in increasing order.
h, 2, i
Let q = -0.5 + 0. Let c = -4 - -5. Let h = c + q. Put -0.3, 0.1, h in descending order.
h, 0.1, -0.3
Let p = -7 - -11. Let s = 0.1 + p. Let l = s - 4. Sort 4, -0.5, l.
-0.5, l, 4
Suppose -5*i = -0*i - 2*i. Sort 12, -1, i in descending order.
12, i, -1
Let z(j) = 13*j**3 - j. Let b be z(1). Let l be 12/105*(-14)/b. Let r = 5 - 3. Put r, 0.5, l in increasing order.
l, 0.5, r
Let f = -87232/5 - -17351. Let p = -95 - f. Put 4, 2/17, p in increasing order.
2/17, p, 4
Let n(b) = -b**2 - 3*b + 4. Let i be n(-5). Let p be (-1 + 1)/(-5 - i). Sort 1, p, -1 in ascending order.
-1, p, 1
Let f = -1.58 + -0.12. Let j = 0.3 - f. Let h = 2/47 - 61/329. Put -5, j, h in increasing order.
-5, h, j
Let t(a) = 2. Let r(h) = h**2 - h - 1. Let o(s) = -2*r(s) - t(s). Let f be o(2). Put -2, f, 5 in increasing order.
f, -2, 5
Let t(n) = 2*n**2 + 3*n. Let l be t(-2). Let u be l + 0 + (-1 - -2). Let r be (3/2)/(u/(-6)). Sort 2, r, 5 in ascending order.
r, 2, 5
Suppose 5*k + 3 = -2. Let m be (-15)/3*k/1. Sort 1, m, -5 in decreasing order.
m, 1, -5
Suppose -6 + 2 = -x. Let z be (x/6)/((-28)/12). Put -1, z, -3 in descending order.
z, -1, -3
Suppose -2*t - 16 = -h, 3*h + 1 = -5*t + 5. Let y = h - 90/11. Sort 2/15, -0.2, y in descending order.
2/15, y, -0.2
Let c = -30 - -18. Let r = -7 - c. Let q = 38/3 - 12. Put r, 1/3, q in descending order.
r, q, 1/3
Let u = -0.5 + 0.3. Let j = 159 + -158.9. Let s = 2 - 3. Put j, u, s in descending order.
j, u, s
Let a(c) = -c**2 - 11*c - 10. Let o be a(-10). Let j = 5 - 8. Put j, 2, o in decreasing order.
2, o, j
Suppose -5*n = -3*r - 19, 0 = n - 0*n - r - 3. Put n, 1/7, -5 in descending order.
n, 1/7, -5
Let j = -0.3 + -0.8. Let d = 0.3 + j. Let u = -1.2 - d. Put u, -3, 1 in descending order.
1, u, -3
Let x be (3 - 1)*12/8*-1. Put 6, 1, x in increasing order.
x, 1, 6
Suppose -4*n = -40 + 24. Sort 1, n, -2.
-2, 1, n
Suppose 4*y + 28 = -n + 5*n, -5*n - 1 = 4*y. Put 5, -5, n, 0 in increasing order.
-5, 0, n, 5
Let v = 12 + -9.6. Let b = 0.4 - v. Let a = -1.6 + 2.6. Put -5, b, a in decreasing order.
a, b, -5
Suppose 0 = 5*o - f + 12, 4*o + 7*f - 2*f = 2. Let a(u) = -u**2 + 3*u - 1. Let k be a(2). Suppose -3*x = -4*x - k. Put o, 4, x in increasing order.
o, x, 4
Let w = -4 - -6. Suppose -w*q + 1 = -i, -3*i + 5 = -q - q. Let z be 1 - q - (-1 + 1). Sort 0, 4, z in increasing order.
z, 0, 4
Let d = 57 + -57.74. Let u = 0.24 + d. Sort u, -3/4, 0.2 in decreasing order.
0.2, u, -3/4
Let q = 0.33 - -0.07. Let n = q - 5.4. Sort 3, n, -1 in decreasing order.
3, -1, n
Suppose 5*q + 6 - 26 = -4*v, -v - 5*q - 10 = 0. Let y = v + -6. Let n = 3 + -2.6. Sort n, -2, y in increasing order.
-2, n, y
Let u(l) = -3*l**2 - l + 1. Let g be u(1). Let d be g/(-6) + (-10)/16. Put 4, -4, d in descending order.
4, d, -4
Let y = -2 - -3. Let d(h) be the first derivative of -h**3/3 + 2*h**2 - 3*h + 5. Let w be d(4). Sort w, y, 0 in descending order.
y, 0, w
Let f(y) = -3*y - 1. Let k be f(1). Suppose 2*t + 2*n = 18 - 4, 3*t - 5*n = 5. Suppose t*j + 10 = -15. Put k, 1/2, j in descending order.
1/2, k, j
Let a be (-88)/56 + 9/(-21). Suppose -2*z - 2*u + 12 = -6*z, 4*u - 15 = -z. Sort 5, z, a.
a, z, 5
Let m be (9/(-6))/(4/(-24)). Let d = -4 + m. Sort 4, d, 1 in ascending order.
1, 4, d
Suppose 8 = 4*u + m, 0 = -5*u - 4*m - 5 + 15. Put 5, u, -1 in ascending order.
-1, u, 5
Let m = 0.8 + -1.1. Let q = -0.05 + 6.05. Let s = q - 5.8. Put m, -1, s in descending order.
s, m, -1
Let v = -0.2 - 0.8. Let p = 0.9 + v. Put p, -2, -3 in decreasing order.
p, -2, -3
Let y = 0.343 + -0.043. Put y, 1, 1/4 in ascending order.
1/4, y, 1
Let a = -133.5 + 137.135. Let q = a - -0.065. Let l = q - 4. Sort l, -2, 0 in descending order.
0, l, -2
Suppose 21 = -3*o + 4*f - f, -2*f - 34 = 2*o. Let m = o + 8. Suppose -4*s = -0*s - 20. Sort m, 0, s in descending order.
s, 0, m
Let c = 3.2 - 3. Let w = -103 - -105. Sort -3, c, w in increasing order.
-3, c, w
Let a = 19 + -18. Let u = 28 + -23. Sort 4, u, a in descending order.
u, 4, a
Let c = -11 - -19. Let t = 7 - c. Sort t, 3, 0.1.
t, 0.1, 3
Suppose -l = l + 8. Put -2, l, 3 in increasing order.
l, -2, 3
Suppose -4*t - 7*w - 6 = -2*w, -22 = 3*t - 5*w. Let m(f) = f**3 + 10*f**2 - 9*f + 26. Let l be m(-11). Put -5, t, l in ascending order.
-5, t, l
Let t be 0 - 0 - -2 - -13. Suppose -4*i = -9*i + t. Let u be (0/(1 - -1))/1. Put i, 4, u in increasing order.
u, i, 4
Let s = -5 + 5. Suppose 2*z - 25 = 3*d, 3*z + 0*d = -3*d. Sort s, z, 1/2 in increasing order.
s, 1/2, z
Let b = 0.88 - 0.08. Let w = b - -1.2. Let f = 0.5 + -1. Sort f, 3, w in descending order.
3, w, f
Suppose 0 = -5*m - 2*p + 63, -5*m + 0*m = p - 64. Suppose -m = -5*l + 12. Suppose -t - 16 = 3*t. Sort l, -5, t in descending order.
l, t, -5
Let b = 36 + -50. Let a be -2 - -3 - b/(-18). Let k = 4.4 - 4. Put a, -0.2, k in decreasing order.
k, a, -0.2
Let b be 14/(-21) + 11/3. Let p = 1 + -1. Let k be p/((-3)/(-1) - 2). Sort k, 5, b in ascending order.
k, b, 5
Suppose -564 = -2*p - 0*p. Let n = p - 9304/33. Let s = 37/66 - n. Sort -0.1, 5, s in increasing order.
-0.1, s, 5
Let x(l) = l**2 + 5*l + 4. Let i be x(-3). Let y(h) = h**3 + h**2 + h + 2. Let v be y(i). Sort 2, 3, v in descending order.
3, 2, v
Let j = -1/47 - 179/423. Let t = -589/3 - -198. Sort j, t, -5 in decreasing order.
t, j, -5
Suppose -3*y = -0*y. Let l = 27 - 11. Suppose y = 2*s + 2*s - l. Sort s, 3, 1 in increasing order.
1, 3, s
Let m = -1.8 + -3.2. Put m, -1, 2 in descending order.
2, -1, m
Let r(j) = 1 - 2*j**2 + 3*j**2 - j**3 + 3*j - j. Let x be r(-1). Let f be (-1)/2 - x/(-4). Put f, -5, 1 in ascending order.
-5, f, 1
Let r = -0.24 + 0.1. Let l = r + -5.86. Let i = 6.5 + l. Put 5, 0, i in descending order.
5, i, 0
Let u(d) = -d**3 + 5*d**2 - 5*d + 6. Let c be u(4). Let b be (-4)/6*(8 + -14). Put c, b, 0 in decreasing order.
b, c, 0
Let z be (0/1)/((-6)/(-3)). Let k be ((-9)/3)/((-1)/(-2)). Let l be ((-9)/k)/(2/(-4)). Sort l, z, 4 in ascending order.
l, z, 4
Let q = -37 - -41. Sort 16, q, 0, -1 in decreasing order.
16, q, 0, -1
Let c(t) = -4*t**3 - t. Let p be c(-1). Suppose p = g - 4*u + 2, -g = 3*u + 4. Sort -0.2, g, -5.
-5, g, -0.2
Let h = 78.3 + -78. Put h, -6, 5, -2 in increasing order.
-6, -2, h, 5
Suppose 5*v - 8 = v. Let a be 6/(-16)*12/(-27). Put -0.2, v, a in increasing order.
-0.2, a, v
Let g be 0 + ((-4)/15)/2. Sort 0, 0.1, g.
g, 0, 0.1
Let q = -19 - -16. Sort q, 1, 5 in descending order.
5, 1, q
Let t be (8/(-10))/((-6)/(-75)*5). Put -1, 5, t in descending order.
5, -1, t
Suppose 3*z - 29 = -0*z + 5*r, z = 2*r + 11. Let u = -2 - -4. Sort z, -1, u in decreasing order.
z, u, -1
Let n = 13 + -18. Let x = -2.5 + 3. Sort x, -2, n in ascending order.
n, -2, x
Let i be 3 + -6 - 6/(3/1). Put i, 0, -2 in decreasing order.
0, -2, i
Let s(r) = r**3 + 2*r**2 - 2*r - 1. Let b be s(-2). Suppose 3*x - x = 0. Sort x, b, -4 in increasing order.
-4, x, b
Let b be -2*1/4*-6. Let d be 3/6*(-1 + b). Sort d, -1/4, -0.1 in descending order.
d, -0.1, -1/4
Let c = -3 + 3.5. Let d = 285 + -287. Let p = -79/45 + 14/9. Sort d, p, c in ascending order.
d, p, c
Let k(f) = 4*f**2 + f. Let t be k(-1). Let g = 31 - 27. Sort t, g, -2 in decreasing order.
g, t, -2
Suppose -21 = -3*h + 3*g, 3*h - 3*g = 2*g + 27. Let k = -3.71 + -0.19. Let x = -1.1 + k. Sort x, h, 4/3 in ascending order.
x, 4/3, h
Suppose 2*k - 4 + 2 = 0. Sort 0.2, k, 0.4 in ascending order.
0.2, 0.4, k
Let a = -12 - -9. Suppose 5*v = -n - 27, -v - 3*n - 5 - 6 = 0. Sort v, 1, a in decreasing order.
1, a, v
Let g(q) = -q**3 - 10*q**2 - 9*q - 8. Let z be g(-9). Let b = -9 - z. Let l = 0.2 + 0.8. Sort -4, l, b in decreasing order.
l, b, -4
Let k(c) = -6*c**3 + c**2 - 3*c + 2. Let q be k(1). Put q, 4, 3 in descending