Let m = s + 2. Sort 3, -0.3, m in descending order.
3, -0.3, m
Let d = 8 - 8. Let h = d + -0.8. Put 2/7, 0.4, h in decreasing order.
0.4, 2/7, h
Let l = -0.235 - 0.065. Put 0.05, l, 0.5, -1/4 in increasing order.
l, -1/4, 0.05, 0.5
Let u = -5 - -6. Let j = 0.7 - u. Put j, 1, 2/15 in decreasing order.
1, 2/15, j
Let f = -312 - -2812/9. Sort f, 0, 5, 3 in ascending order.
0, f, 3, 5
Let u(b) = 3*b - 2. Let s be u(-1). Put s, 6, -1 in descending order.
6, -1, s
Let z(c) = -c**3 - 2*c**2 + 1. Let f be z(-1). Let x(k) = k**2 - 18*k - 1. Let l be x(18). Suppose 5*a + 8 = -3*g - 3, -3*a - 3 = 0. Sort f, g, l.
g, l, f
Suppose 4*f - 3*f + 4 = 4*s, -1 = -s + 4*f. Let g be s*6*(-4)/(-6). Let d be g/(-6) + (-10)/12. Sort d, 5, 2/17 in decreasing order.
5, 2/17, d
Let p(h) = -h**3 + 2*h**2 + 2*h + 6. Let t be p(3). Suppose 7 = f + 2*m, -f + m + 13 = 5*m. Sort -2, f, t in ascending order.
-2, f, t
Let s(x) = -x**2 + 12*x + 19. Let q = 34 + -21. Let j be s(q). Let b = j + -2. Sort -1, b, -2 in decreasing order.
b, -1, -2
Suppose -4 = -2*x + 2*u, -x - 2*x + 2 = -5*u. Sort -7, x, 1/7.
-7, 1/7, x
Let h be (-28)/(-12) + (-2)/(-3). Suppose 18 = -3*r - 3*n, 3*r + 3*n + 14 = -2*n. Put r, h, -1 in ascending order.
r, -1, h
Suppose r + 10 = h, -2*r - 14 = -h + r. Suppose w + h = 2*u + 5*w, -3*w + 20 = 5*u. Sort -2, u, 5 in descending order.
5, u, -2
Let b be (10/20)/(2/(-4)). Sort 18, 2, -2, b in increasing order.
-2, b, 2, 18
Let g = -45/7 + 339/56. Let m = -1.1 - -0.1. Sort g, 0.1, m.
m, g, 0.1
Let b = -0.9 + -0.4. Let p = b - 0.7. Let a = 0.3 + 0.1. Sort p, a, 4.
p, a, 4
Let m(n) = -5*n + 1. Let a be m(1). Suppose j - t + 6 = 0, 2*t - 7 - 3 = 0. Sort -3, a, j in increasing order.
a, -3, j
Let f = 95/28 - 22/7. Sort f, 4/7, -1 in ascending order.
-1, f, 4/7
Let r = -0.08 + 0.28. Suppose 2*s = 3*s - 5. Let j = 409/4 + -103. Put r, s, j in descending order.
s, r, j
Let l = -5 + 8. Let d(b) = b - 1. Let m be d(-3). Put m, l, 5 in decreasing order.
5, l, m
Suppose 3*h + 2*s - 20 + 8 = 0, 5*h = 4*s + 20. Put h, 3, 2 in descending order.
h, 3, 2
Let y = 0.08 + -0.2. Let b = -4.88 + y. Let j = -144/5 - -29. Put -1, j, b in increasing order.
b, -1, j
Let k(s) = 2*s + 6. Let v be k(-2). Put v, -3, -2, -6 in descending order.
v, -2, -3, -6
Let p(v) = v**2 - 4*v - 7. Let d be p(6). Let x = -12 - -7. Suppose -3*j - 8 = h - 8*j, -2*h + 6 = j. Sort x, h, d in decreasing order.
d, h, x
Let s = 9.6 - 0.6. Let m = -8.6 + s. Sort m, -0.2, 2.
-0.2, m, 2
Let x(o) be the first derivative of -o**2/2 - 4*o - 1. Let l be 2*-2 + 3 + -2 + 0. Let p be x(l). Put p, 4, -3 in increasing order.
-3, p, 4
Suppose b + 4*b = -10. Let i(j) be the first derivative of j**4/4 - 5*j**3/3 + 3*j**2 - 4*j + 2. Let h be i(4). Sort b, -4, h.
-4, b, h
Let y(k) = -k**3 + 5*k**2 + 7*k - 3. Let x be y(6). Put -6, x, -1 in increasing order.
-6, -1, x
Let x(z) = -z**2 + 7*z - 9. Let a be x(6). Let c = 3 - 4. Put c, -4, a in ascending order.
-4, a, c
Suppose 0 = 2*j - 17 + 7. Put j, -4, -1 in decreasing order.
j, -1, -4
Let d(q) = -q + 3. Let z be d(4). Suppose 0 = 5*f - v - 17, -2*v + 4*v + 7 = f. Put f, 5, z in decreasing order.
5, f, z
Suppose 6*l + 3 = 3*l. Suppose -3 = 4*h + 9. Sort h, 2, l.
h, l, 2
Let t = 0.07 + -0.57. Put t, -0.2, 3 in ascending order.
t, -0.2, 3
Suppose -3*o = n + 10, -2*n = 5*o - 7*o + 4. Put -18, n, 4 in decreasing order.
4, n, -18
Let p = 7 - 11. Put 1, p, -5, -5/2 in increasing order.
-5, p, -5/2, 1
Suppose 0*g = g + 5. Put g, -1.5, -2/3 in ascending order.
g, -1.5, -2/3
Let b = -1 + 6. Suppose -2*s = -b - 1. Suppose s*x + 12 - 3 = 0. Put x, 3, 5 in increasing order.
x, 3, 5
Let j = 3.5 - 7. Let h = j + 0.5. Let y = -8 - h. Put 2/17, y, -0.3 in descending order.
2/17, -0.3, y
Let q(v) be the second derivative of v**5/20 + 7*v**4/12 - v**3 + 9*v**2 + 4*v. Let g be q(-8). Put -0.07, 0, g in increasing order.
-0.07, 0, g
Let j = 18 - 19. Suppose 0 = t - 3*t - 18. Let i be ((-2)/6)/(3/t). Sort -5, i, j in descending order.
i, j, -5
Let y = 0.082 + 0.118. Put -0.3, y, -4 in increasing order.
-4, -0.3, y
Suppose 3*h - 9 = 3. Let z(x) = -6*x - 57. Let p be z(-10). Put h, -4, p in increasing order.
-4, p, h
Suppose -2*z + i + 7 = 0, -3*z + 21 = z + 5*i. Let y = z + -3. Let b be (-3)/(-6) + y + -2. Sort 2/9, b, 0.5 in ascending order.
b, 2/9, 0.5
Let w = -0.34 + 1.34. Put w, -0.1, -8 in descending order.
w, -0.1, -8
Let h(q) = 3*q - 12. Let n be h(5). Let t be 1/(-5) + (-11)/(-5). Let i be (18/(-12))/((-1)/(-2)). Sort i, n, t in decreasing order.
n, t, i
Let s(f) = f**2 - 5*f - 7. Let o be s(6). Let n = -0.024 + 4.824. Let w = -0.2 - n. Sort -0.3, o, w in increasing order.
w, o, -0.3
Let o(h) = h**3 + 12*h**2 + 10*h - 9. Let d be o(-11). Sort -0.3, 0.3, d in decreasing order.
d, 0.3, -0.3
Suppose 2*r = r + 5. Suppose 4*y - r*k - 36 = -13, -2*y - 3*k - 5 = 0. Let t be 10*((-28)/(-8))/7. Sort 0, t, y in increasing order.
0, y, t
Let v be 8/40 - 152/10. Let g be 21/v + 4/10. Put g, 1, -5 in descending order.
1, g, -5
Suppose 25 = 5*b - 0*b. Suppose -4*z = 5*k + 15, 2*z = -6*k + k - 5. Put 0, b, k in decreasing order.
b, k, 0
Let g = -11 + 13. Let a be 6/4*(-8)/(-3). Suppose -3*l = 5 + a. Put g, -4, l in increasing order.
-4, l, g
Let c(z) = -z**3 + 4*z**2 + 7*z - 4. Let j be c(5). Suppose -j*k + 70 = -k. Suppose 5*p + 6 = -k. Sort 0, 5, p in ascending order.
p, 0, 5
Suppose 4*s = 2*h - 8, -2*s = 4*h - 4 + 8. Suppose 0 = 3*f - f - 6. Sort h, -3, f.
-3, h, f
Let m be (-3 + (8 - 9))/(1*-1). Sort m, -1, 3 in descending order.
m, 3, -1
Let t = -2 - -1.8. Let a be (-2)/(-3)*(-45)/(-6). Suppose -n - 7 = -5*p, 2*n + 19 = a*p + 5*n. Sort p, t, 1/4.
t, 1/4, p
Let x = -1.2 - -0.6. Let s = -38 - -33.4. Let q = x - s. Put -1/4, q, -2/3 in descending order.
q, -1/4, -2/3
Suppose -9*s + 12*s = 45. Suppose 0 = -n - 2*h - 8, -n + 5*h = -6*n - s. Suppose 0 = 5*g - 4*q - 0*q + 36, -5*g - q = 16. Sort g, 5, n in decreasing order.
5, n, g
Let c = 0 + 1. Suppose 5*m + c = -4*f + 11, 5*m - 2*f - 10 = 0. Let u be 14/(-35) - m/(-5). Put u, -0.3, 3 in decreasing order.
3, u, -0.3
Let u(k) = -k - 1. Let p be u(6). Let q = p + 1. Let f = q - -5. Sort f, 5, 1.
f, 1, 5
Let c = 0.3 - 0.35. Let y = c + 3.05. Let b = 13 - 8. Sort y, b, 0.5 in ascending order.
0.5, y, b
Let f(d) = 2*d**3 - 5*d**2 - 3*d - 2. Let m be f(5). Suppose -5*j = -j + m. Let k be (-6)/j + 88/(-234). Sort -4, k, 5 in decreasing order.
5, k, -4
Let n = 8/231 + -307/11088. Let z = 427/720 + n. Let t = -251/11 + 23. Sort 0, t, z.
0, t, z
Let n be 0 + 2 - (-3 + -4 + 6). Put 4, n, -5, 7 in ascending order.
-5, n, 4, 7
Let h(x) = x**3 + x**2 + x. Let o be h(-1). Sort o, 1/8, 0.01 in decreasing order.
1/8, 0.01, o
Let x(v) = v**3 - 12*v**2 + 5. Let b be x(12). Let a be 6*(-2)/(6 - 2). Put a, b, 3 in descending order.
b, 3, a
Let y = 46 + -32. Put 0.2, y, -5 in ascending order.
-5, 0.2, y
Suppose 0*r - 6 = -r. Let w be 8/(-3) - (-4)/r. Suppose -41 = 5*y + 4*k, -y + 5 = -3*k - 2. Put w, -4, y in ascending order.
y, -4, w
Let z be (4/7)/((-3)/(-21)). Sort 0, z, 5 in descending order.
5, z, 0
Let p be ((-4)/20)/(8/(-10))*-4. Put 3, p, -3 in ascending order.
-3, p, 3
Let u = -14/13 - -17/52. Put u, 0.2, 0.4 in decreasing order.
0.4, 0.2, u
Suppose -3*k - 4 = 2. Sort -4, -1, k, -14 in ascending order.
-14, -4, k, -1
Let q = -3.7 - -4. Suppose s + 5*v + 12 = 0, s = 5*s + 3*v + 14. Let f be 0 - s*2/4. Put q, f, -1 in decreasing order.
f, q, -1
Let l(t) = -t**2 + 20*t + 1. Let u be l(20). Sort -3, 2, u.
-3, u, 2
Let z = -0.85 - -0.65. Sort 5, z, -2, -1/2 in decreasing order.
5, z, -1/2, -2
Suppose -2*f - 6 = -b, -2*b = -5*b + 4*f + 8. Let u be 2/(-4) - (-2)/b. Put u, 1, 0 in decreasing order.
1, 0, u
Let n be (-8)/6*(-6)/2. Suppose -4*u = -3*o, 0 = n*o + o - 3*u. Let t = o - -2. Sort 5, t, 0 in descending order.
5, t, 0
Let t = -0.047 - 2.953. Let u = 21 - 20.71. Let z = 0.01 + u. Sort -1/3, z, t in increasing order.
t, -1/3, z
Let c = -0.19 - 0.26. Let i = c + 0.03. Let d = i + 0.02. Sort 0.1, d, 0.5.
d, 0.1, 0.5
Suppose 4*v = -z - z + 28, -2*v = -3*z + 2. Put 1, v, 4 in increasing order.
1, 4, v
Suppose -17 = -5*i + 2*t, -i + 6 = -3*t - 0*t. Let u(f) = f + f - 10 - 3*f. Let q be u(-7). Put i, -4, q in descending order.
i, q, -4
Let d = -54 + 55. Put -2/9, d, 4 in decr