.
n, -4, -2
Let n(q) = -q**2 - 6*q + 5. Suppose 0 = -3*j - 14 - 4. Let l be n(j). Sort l, 4, -2 in ascending order.
-2, 4, l
Let v = -2 + -1. Suppose -151*p = -150*p + 5. Sort 5, v, p in ascending order.
p, v, 5
Let u(b) = -4 - 3 + b + 0 + 5. Let c be u(5). Let k be ((-3)/2)/(c/(-4)). Sort k, 3, 0 in descending order.
3, k, 0
Let d(a) = 6*a**3 - 2*a**2 + 1. Suppose 7 = 3*s + w, 5*s + 5 = 2*s + 2*w. Let m be d(s). Put 1, m, -4 in descending order.
m, 1, -4
Let p = 9 - 5. Let o = p - 8. Put -2, 4, o in decreasing order.
4, -2, o
Let m = 35 + -33. Sort 0.4, -5, m, 1 in increasing order.
-5, 0.4, 1, m
Let t be (4/(-3))/((-30)/45). Put -5, 3, t in ascending order.
-5, t, 3
Let b = -70 - 29. Let u = 399/4 + b. Let c = 9 - 11. Sort u, 2, c in increasing order.
c, u, 2
Suppose 2*r + 5*k = -10 - 4, -10 = 4*r + k. Sort -26, 3, r, 1 in increasing order.
-26, r, 1, 3
Let g = -27 - -19. Sort g, 2, -3 in descending order.
2, -3, g
Let s be (-64)/6*3/(-2). Suppose 9 = 5*g - s. Suppose 6 = 2*t, -4 + 21 = 5*r + 4*t. Sort r, g, -4 in decreasing order.
g, r, -4
Suppose 5*j = -3*f - 13, 5 = -j - 3*j + 3*f. Suppose -g + 7 = h - 4*g, 3*h = 2*g + 14. Put j, 1, h in ascending order.
j, 1, h
Let v = -79/235 - 3/47. Sort v, 11, -4, 0.5 in increasing order.
-4, v, 0.5, 11
Suppose -2*h + 15 = 3*y, 0 = -4*h + y - 5*y + 20. Let f = -1 + h. Let n = -4.5 + 7.5. Put n, f, 2 in descending order.
n, 2, f
Let u = 97/12 + -33/4. Put 1, u, 0.1 in ascending order.
u, 0.1, 1
Suppose 0 = 5*u - 4 - 6. Suppose 0 = -4*m + 2*m - u. Put -2, -3/7, m in descending order.
-3/7, m, -2
Suppose 3*n - 4 = 4*n. Let s = 7 - 4. Suppose 0 = -3*f + 5*g - 40, s*f + g + g + 5 = 0. Sort n, f, -2 in descending order.
-2, n, f
Let w(x) = x + 3*x**3 + 0*x**3 + 2*x - 2*x**3 - 6*x**2 + 6. Suppose -2*y + 5*g + 9 = -11, -2*y + 8 = g. Let a be w(y). Sort 5, a, 0.
a, 0, 5
Suppose 4*u - 14*u = 30. Let t be 2/6 + (-16)/3. Sort 2, t, u in decreasing order.
2, u, t
Let a = 23 - 18. Sort -4, a, -6 in decreasing order.
a, -4, -6
Suppose -w - 3*w + 5*z = 4, 4*w - 4*z = 0. Let t be 2/4*-2*-1. Put 5, w, t in decreasing order.
5, w, t
Suppose j - 3 = 4*j. Sort 3, j, -2 in increasing order.
-2, j, 3
Let m = 17 - 16. Put m, 3, -3 in ascending order.
-3, m, 3
Let r be ((1 + -5)/2)/1. Let n(w) = -w**2 + 11*w - 4. Let h be n(10). Sort r, 2, h in descending order.
h, 2, r
Let f = -2236/21 + 8902/35. Let b = f + -148. Let l = 0 + -1. Sort l, 2, b in decreasing order.
2, b, l
Suppose 5*f = -0*q - 5*q + 40, -4*q - f + 20 = 0. Put q, -1, -4 in descending order.
q, -1, -4
Let l = 5 + -2. Sort -2, l, 2.
-2, 2, l
Let x be 6/(-18) - 7/6. Sort -0.9, x, 1/3 in ascending order.
x, -0.9, 1/3
Let q = 49 - 50. Put q, -4, 0, 5 in descending order.
5, 0, q, -4
Let d be ((-6)/(-9))/((-2)/3). Suppose -5*f = -6*f. Put d, -3, f in decreasing order.
f, d, -3
Let w = 17 + -15. Sort -4, -2, w in increasing order.
-4, -2, w
Let k = 7 + -4. Suppose 2*n + 2 = -4*q, -n - k*q = n + 3. Let v = 2 - n. Sort v, -1, 0 in decreasing order.
v, 0, -1
Suppose 2*g - 125 = -3*g. Let i be (-2)/5 + 20/g. Put -5, 2/17, i in ascending order.
-5, 2/17, i
Let f = -0.01 - 0.49. Sort f, 0, 3 in descending order.
3, 0, f
Suppose 9 + 16 = -5*z - 5*h, -2*z + 5*h = 17. Put z, -2, 3 in decreasing order.
3, -2, z
Let b = -5.11 - -0.11. Let l = 234 + -233.6. Sort b, l, -1 in decreasing order.
l, -1, b
Let j = 0.053 + 7.747. Let v = 7.93 - -0.07. Let g = j - v. Sort -2, g, 5.
-2, g, 5
Let s be ((-11)/(-22))/(1/(-2)) - -6. Sort -1, 1, s, 2 in descending order.
s, 2, 1, -1
Let y = -9 - -12. Let o(g) = -g - 1. Let s be o(-1). Put s, y, 2 in ascending order.
s, 2, y
Suppose -6*u = -3*u. Suppose -5*n + 1 = t - u, -3*n - 3*t = -3. Suppose -2*w + 12 = 2*w. Put n, 4, w in decreasing order.
4, w, n
Suppose -4*r + r - 9 = 0. Suppose 7*j + 48 = 19*j. Put j, r, 5 in ascending order.
r, j, 5
Suppose -4*g = -30 + 10. Sort -13, -3, g in increasing order.
-13, -3, g
Let j(x) = -x**2 - 4*x + 5. Let z be j(-4). Let m(c) = c. Let a be m(3). Suppose -20 = a*b - 5. Put z, 0, b in decreasing order.
z, 0, b
Let t be 0*(4 - 33/9). Suppose -5*r + 66 = 3*v - 2*r, -5*r = -4*v + 88. Suppose -4*g + 2 = v. Sort t, g, 4 in decreasing order.
4, t, g
Suppose -4*j - v = -5*j - 4, j = 5*v - 24. Let c = 6 - 5.7. Let y = -1.7 - c. Sort y, j, 1/4 in ascending order.
y, 1/4, j
Let k = 27 + -29. Put 0.2, -2/9, k in descending order.
0.2, -2/9, k
Let o = 8 + -4. Let y = -4/29 - -110/377. Sort -0.3, o, y in decreasing order.
o, y, -0.3
Let c(p) = p**2 + 7*p + 1. Let g be c(-7). Put g, -4, 2 in decreasing order.
2, g, -4
Suppose 2*l - j - 3*j = -10, -j - 8 = 3*l. Let u = l - -5. Suppose -u*m - m = 0. Put -3, -1, m in increasing order.
-3, -1, m
Let g(l) = l**2 + 6*l - 6. Let o = -25 + 18. Let u be g(o). Sort u, -2, -4 in ascending order.
-4, -2, u
Let c(s) = -s + 2. Let r be c(4). Sort r, -1, 4 in ascending order.
r, -1, 4
Let x be ((-9)/6)/(6/10). Sort -1, -1/5, x in ascending order.
x, -1, -1/5
Let v = 14 - 15. Sort -10, v, -1/5, 4.
-10, v, -1/5, 4
Let m be (-35)/((2/4 + -1)*-2). Sort 2, -3, m in increasing order.
m, -3, 2
Let d be (-6)/(-18) - (-1)/(-3). Suppose d = -0*l - l + 5. Put -1, l, 3 in decreasing order.
l, 3, -1
Let f = 6 - 4. Let b be 8/(-12)*(f + 1). Suppose -v + 4 = -1. Sort -1, b, v in ascending order.
b, -1, v
Let c = 1.9 + -2.35. Let g = 0.05 - c. Sort -2/5, g, -2 in descending order.
g, -2/5, -2
Let i = 236/21 - 35/3. Sort 2/9, i, -0.4 in ascending order.
i, -0.4, 2/9
Let z = 29 + -25. Put -4, 1, 5, z in ascending order.
-4, 1, z, 5
Let z be (0 + 0)*4/(-4). Let b = 4 + -9. Put b, z, -3 in descending order.
z, -3, b
Let n = 1.3 + -5.3. Let m = 3.6 + n. Sort -0.5, 5, m in ascending order.
-0.5, m, 5
Let s(i) = 2*i**2 + 2*i + 1. Let r be s(-1). Let u be 4/2 + (0 - r). Put 1/3, 5, u in descending order.
5, u, 1/3
Let v = 6.16 + -0.16. Let c = 0.878 + 0.122. Sort -0.2, c, v.
-0.2, c, v
Let y = 9 - 15. Let o = 5.5 - 4.5. Put o, 0.3, y in descending order.
o, 0.3, y
Let s = 0.6 - -3.4. Let a = -2 + s. Let r = a - 2.4. Put r, 5/3, 1 in ascending order.
r, 1, 5/3
Let l = 10.72 + -11. Let j = l + -0.02. Put j, -2/9, 2 in ascending order.
j, -2/9, 2
Let s = -3/5 + 6/5. Put 3/7, -8, s, 2/11 in increasing order.
-8, 2/11, 3/7, s
Let w be -3 - (-7)/((-28)/(-48)). Let a(t) = -t**3 + 9*t**2 - t + 11. Let m be a(w). Put 4, m, 5 in increasing order.
m, 4, 5
Suppose 0 = r + r + 4*q, 5*q + 4 = -2*r. Let o(l) = 3*l + 11 + r*l + l**3 + 0*l**2 - 2*l + 9*l**2. Let j be o(-8). Sort -2/9, -3/7, j in decreasing order.
j, -2/9, -3/7
Let s = -17.4 - 0.6. Let r = 0.02 - -12.98. Let t = s + r. Sort t, -0.5, -3/8 in descending order.
-3/8, -0.5, t
Suppose 3*r = -3 - 9. Let t(d) = -d**2 + 7*d - 1. Let a be t(7). Sort 4, a, r in descending order.
4, a, r
Suppose 5*r + 20 = 0, 0 = 2*z - z + 3*r + 9. Suppose 5*d + 16 = -3*q, -3*q - z*d = 15 - 3. Sort 4, 5, q in ascending order.
q, 4, 5
Let n(s) = -s**3 + s + 3. Let p be n(0). Suppose -7 = -3*t + 8. Sort t, p, 2 in ascending order.
2, p, t
Suppose 8 = -12*t + 10*t. Put -10, 3, -1/3, t in descending order.
3, -1/3, t, -10
Let x = -13.64 - -1.64. Sort x, -0.3, 0 in increasing order.
x, -0.3, 0
Let u(o) = -3*o**3 + 4*o + 3. Let i be u(-1). Sort i, -0.3, -4, -2/17.
-4, -0.3, -2/17, i
Let n = 3 - 1. Let y(x) = -x**3 + 4*x**2 + 4. Let g be y(4). Sort -4, n, g in increasing order.
-4, n, g
Let f = 5 - 5.4. Let o = 0.6 - 0.8. Let t = -0.5 + -1.5. Put o, f, t in descending order.
o, f, t
Let w = 4.38 + -2.38. Let b = 3 - 2. Sort w, 0.2, b in ascending order.
0.2, b, w
Let c = -1.8 + 2. Let x = 3.4 + -4.4. Sort c, 0.4, x in descending order.
0.4, c, x
Suppose -7*f = -15 - 13. Sort 2, f, -4.
-4, 2, f
Let l = 1 + -1.3. Let w = -12.6 - -12.4. Let i = 43/111 - 2/37. Sort l, w, i.
l, w, i
Let k(l) = -2*l. Let q(b) = 15*b + 6. Let o(h) = -14*k(h) - 2*q(h). Let f be o(-8). Sort 5, f, 2.
2, f, 5
Let j(v) = v - 2. Let z be j(2). Suppose 0 = -5*f + 8 - 3, -3*k + 3*f - 3 = z. Let w be (-1*2 - k) + 1. Put w, 3, 2 in descending order.
3, 2, w
Let s = 0.8 + -0.7. Suppose -v - v - 6 = 0. Sort v, 1, s.
v, s, 1
Let h be (-1 + 0 - -6) + -11. Put 5, 3, h, -5 in decreasing order.
5, 3, -5, h
Let t = -21 - -22.3. Let b = 1 - t. Sort b, 1/2, -4.
-4, b, 1/2
Let v(j) be the first derivative of -j**3/3 - j**2/2 - 3. Let