-3 - -15)/(-2))/2. Put -4, g, 10 in descending order.
10, g, -4
Let n be 1 - -1 - (-14)/(-6). Let u(x) = -3*x - 14. Let k be u(-6). Let w be 1 - ((-3)/4 + 1). Put n, w, k in descending order.
k, w, n
Suppose 0 = -4*f + j + 7, 0 = 2*f + 2*j - 1 - 15. Let k = 0.06 + -0.36. Let z = k - -2.3. Sort -2, z, f.
-2, z, f
Suppose 3*g + 10 - 4 = 0. Sort 3, 1, g, 22 in increasing order.
g, 1, 3, 22
Let w = 297.98 - 301. Let p = 0.02 + w. Let c = 22 - 22. Sort -5, c, p in descending order.
c, p, -5
Suppose 0 = -2*a - 2. Suppose 22*w = 18*w - 16. Sort 1, w, a in descending order.
1, a, w
Let q = -5.4 - -0.4. Let u = q - -4.8. Let b(a) = -a. Let m be b(1). Sort -2, u, m in descending order.
u, m, -2
Let a be 2*(-15)/42 - -1. Put -1/2, a, -0.3 in descending order.
a, -0.3, -1/2
Let u = 0.21 - -0.09. Let h = 0.1 - 4.1. Sort u, h, -1/7 in increasing order.
h, -1/7, u
Let m = -84.7 - -85. Sort 0.2, m, -3.
-3, 0.2, m
Suppose -3*h = 5*i + 11 + 12, 10 = -3*i + 2*h. Let r be ((-20)/325)/(i/10). Put -5, r, 0.3 in increasing order.
-5, r, 0.3
Let m be 2*(-2*1)/(-2). Suppose 4 = -4*q + 2*p - m, -19 = q + 3*p. Let t(u) = 8*u - 61. Let h be t(7). Sort h, 1, q in decreasing order.
1, q, h
Let y be (1 - -2) + (2 - 1). Suppose l - 5*n - 13 = 0, -5*l + 2*n + 1 = 5. Put 2, l, y in descending order.
y, 2, l
Let i(k) = -k**2 + 6*k + 8. Let p be i(7). Let r = 8 + -11. Put r, 4, p in decreasing order.
4, p, r
Suppose 6*u - 3*u = 2*j - 15, -2*u = -5*j + 10. Let c = 1 + -2. Put u, 0, c in decreasing order.
0, c, u
Let u be ((-12)/16)/((-20)/(-16)). Sort -0.2, u, 0.05 in decreasing order.
0.05, -0.2, u
Suppose 81 = -2*j + 71. Let w(v) = -v**2 + 4*v + 4. Let p be w(4). Sort j, p, -1/3.
j, -1/3, p
Suppose -2*i + i = -2. Let w be 1/(-5) + 64/20. Suppose w*q + 2 = 17. Sort q, i, 0 in descending order.
q, i, 0
Suppose -5*s - 4*x = 5, -5*x - 40 = -5*s - 0*x. Suppose 0*n - s*n = 9. Put 2, 0, n in decreasing order.
2, 0, n
Let v be ((-4)/2)/(8/3). Put v, 3, 2/5 in decreasing order.
3, 2/5, v
Let u(a) = a + 4. Let c be u(-2). Sort c, 3, -3.
-3, c, 3
Suppose -3*m = 2*k + 9 - 2, -4*k - 4*m - 12 = 0. Put 4, k, -1 in decreasing order.
4, -1, k
Let b(c) = 2*c - 9. Let t be b(6). Suppose 0 = 11*g + 10 - 65. Put t, g, 2 in increasing order.
2, t, g
Let l = 31 - 215/7. Let i be (-4)/(-3)*15/(-70). Put l, -5/6, i in increasing order.
-5/6, i, l
Let t = -1642/7 + 234. Let j = -110 - -116.3. Let b = j - 1.3. Sort t, b, -1/10 in descending order.
b, -1/10, t
Let y be ((-10)/(-3))/(14/21). Put y, -4, 1, -3 in ascending order.
-4, -3, 1, y
Let p = 2.93 + 0.07. Let h = -50 + 47. Sort 0.5, p, h in descending order.
p, 0.5, h
Let t be ((-54)/(-45))/(6/(-20)). Put t, 8, 0, 5 in decreasing order.
8, 5, 0, t
Let v = -1 - -6. Let q = 5 - v. Put 2, q, 4 in ascending order.
q, 2, 4
Let f = -26 + 51. Let w be f/10 + (-1)/(-2). Put -2, -1, w in decreasing order.
w, -1, -2
Let m = 11 - 10.6. Sort -4, 3, m in increasing order.
-4, m, 3
Suppose -4 = 2*i - 6*i. Suppose b + 2 = 5. Sort 5, i, b.
i, b, 5
Suppose 3 - 23 = -4*c. Suppose c*r = -d + 9, 0 = 2*r + 3*d + d. Sort -5, r, -1.
-5, -1, r
Let l(q) = -2*q**2 + 18*q - 6. Let t be l(8). Sort 1, t, -5 in descending order.
t, 1, -5
Let q = 11 + -7. Let s = -2.8 - -3. Let n be -2 - 3*1/(-2). Sort s, n, q in descending order.
q, s, n
Let x(v) = v**3 - 7*v**2 + v - 9. Let l be x(7). Sort 0, l, 2, -3.
-3, l, 0, 2
Suppose -2*w - 19 + 9 = 0. Sort -4, -3, w in decreasing order.
-3, -4, w
Let o(b) be the first derivative of b**4/4 + 5*b**3/3 - b + 2. Let g be o(-5). Let s = 2.05 - 0.05. Sort g, s, 4 in ascending order.
g, s, 4
Let f(m) = -m - 9. Let j be f(-12). Let h be j - 3/(39/41). Put h, 0.4, -5 in decreasing order.
0.4, h, -5
Let u = 1/10 + -53/30. Sort -1, 5, u in ascending order.
u, -1, 5
Let t = 3089/14490 - 54/161. Let s = -5/18 + t. Put s, -1/7, -9 in descending order.
-1/7, s, -9
Let j = 20 + -24. Put 5, j, -10, 0 in increasing order.
-10, j, 0, 5
Let i(z) = z + 7. Let b be i(-5). Suppose 2*f - f = -2. Let l be ((-21)/(-6) - 1)*f. Sort l, -2, b in descending order.
b, -2, l
Let s = 1.3 + 0.7. Put -4, s, -0.1 in decreasing order.
s, -0.1, -4
Let v(i) = 2*i - 3*i**3 - 4 + 0*i - 2*i**2 + 3 + 0. Let f be v(1). Put f, 0, 3/8 in decreasing order.
3/8, 0, f
Let v = 18 + -12. Let z = v - 2. Let f = -4.4 + z. Put f, 2/5, 2/9 in increasing order.
f, 2/9, 2/5
Let z = 3.4 + 0.6. Let o = z + -4.05. Let f = o + 0.55. Sort f, -5, -0.1.
-5, -0.1, f
Let u be (-51)/(-17)*2/(-10). Put 0.2, u, 5 in descending order.
5, 0.2, u
Let v = 9 + -7. Sort v, 2/11, -5, 1/6 in increasing order.
-5, 1/6, 2/11, v
Let w = -0.7 - -0.6. Put w, 3/2, 0.5 in decreasing order.
3/2, 0.5, w
Let j be 7/((-28)/(-8)) + -1. Put -2/3, j, 5 in decreasing order.
5, j, -2/3
Let f = -4/9 - -2/3. Let w be 1/3*6/8. Put f, 2/7, w in increasing order.
f, w, 2/7
Let l = -0.2 - 0.8. Let v = 6 + -6.3. Put l, 2, v in increasing order.
l, v, 2
Let d(z) = -z**3 + 18*z**2 - 14*z - 44. Let l be d(17). Put -3, 2, l, -4 in increasing order.
-4, -3, 2, l
Suppose -1 - 9 = -2*h. Suppose 0 = -4*z + f + 1, -4*z - 2 = -z + 2*f. Let r be (1 + -1)/(z + 1). Sort 2, h, r in increasing order.
r, 2, h
Let u = -28 - -17. Let c = u - -7. Let s be (-3 - -2) + -1 - -5. Put c, -3, s in decreasing order.
s, -3, c
Suppose -3*q = 2*q - 10. Let h be ((-35)/2)/((-2)/4). Suppose -3*z + 0*z = -3*a, 5*z + h = -2*a. Put a, q, 3 in decreasing order.
3, q, a
Let i = 5 + 2. Let m be 112/49 + (-2)/i. Put 0.1, 0.5, m in ascending order.
0.1, 0.5, m
Let j(z) = z**3 + 5*z**2 + 5*z + 6. Let t be j(-4). Let v be (12/4)/(30/(-4)). Sort t, v, -1/4 in descending order.
t, -1/4, v
Suppose -q + 6*q = 20. Let d = 8 - 10. Put -3, q, d in decreasing order.
q, d, -3
Suppose -12 = -4*g - 4*j, -5*g + 0*j + 15 = 2*j. Let y be 1*(-1)/(g/(-6)). Suppose 0 = 5*z - 2*d - d - 2, 3 = 3*d. Put 3, z, y in increasing order.
z, y, 3
Suppose 4*w + w = -65. Let n = -9 - w. Put n, -4, 5 in decreasing order.
5, n, -4
Suppose -6 = -2*l - 2. Sort -3, l, 0 in descending order.
l, 0, -3
Let h(i) = -i**3 - i**2 + 2*i + 1. Let o = 6 - 7. Let t be h(o). Put 1, t, 4 in descending order.
4, 1, t
Suppose -4*s = -o + 24, -3 - 13 = -4*o. Let x = -1 + 0.9. Put x, 1, s in increasing order.
s, x, 1
Let f(u) = -u**3 + 11*u**2 - 11*u + 8. Let r be f(10). Suppose k = -3*a - 0 - 1, a - 56 = 4*k. Let n be r/(-6) + k/30. Sort n, 0.3, -0.4.
-0.4, n, 0.3
Suppose -3*d + d - 12 = 5*f, -4*d = 2*f - 8. Suppose o + d*o = 5. Let k(u) = -3*u**3 - u**2 + 2*u - 1. Let s be k(o). Sort s, 1, 3 in descending order.
3, 1, s
Suppose 4*t + 19 = 59. Suppose x = -5*u + 26 - t, 4*x + 8 = -2*u. Let z be (4 + -3)/((-1)/3). Put z, 1, u in descending order.
u, 1, z
Let l(s) = s**2 - 6*s - 8. Let j be l(7). Let x be -4 - j/(0 - 1). Let k be (3 + -2)/((-1)/x). Sort 2, -3, k in increasing order.
-3, 2, k
Let v = 0.1 - 0.2. Let z = 0.2 + v. Let p = 0 + z. Put -1/3, p, -5 in decreasing order.
p, -1/3, -5
Let n = 1.2 + -8.2. Let o = -5 - n. Sort o, 3, -0.3 in descending order.
3, o, -0.3
Suppose -5*j = 6*j - 55. Let l = 1 - 0. Put -2, l, j in decreasing order.
j, l, -2
Let r(c) = 2*c - 5. Let p be r(7). Let s = p - 10. Let x(l) = l**3 - 6*l**2 + 6*l - 2. Let m be x(5). Sort s, m, -5 in decreasing order.
m, s, -5
Let x = -158 + 165.1. Let a = x - 7. Sort 0.3, -3/5, a in decreasing order.
0.3, a, -3/5
Let j = -48 - -49. Put j, -1/4, 0.1 in decreasing order.
j, 0.1, -1/4
Let x = -5.4 + 5. Let l be (2/(-6))/(2/(-8)). Put -1/2, l, x in decreasing order.
l, x, -1/2
Suppose 0 = -3*a - 3*h - 3, -a + 5*h - 9 = a. Put 16, 5, a in ascending order.
a, 5, 16
Let u be -5*((-68)/(-20) + -3). Let p = 5 - 2. Sort u, 1, p in increasing order.
u, 1, p
Suppose -20 + 5 = 3*a. Let x(q) = q**2 + 6*q + 6. Let g be x(a). Sort g, -4, 0.
-4, 0, g
Suppose -3*j + 11 = -5*k - 10, -4*j = -5*k - 28. Sort 5, 0, j in descending order.
j, 5, 0
Let c be 6/27 + (-141)/27. Let k(n) = n + 3. Let h be k(c). Put -3, 4, h in descending order.
4, h, -3
Let h = -194 - -1555/8. Let g = -134 - -134.5. Sort g, h, 3.
h, g, 3
Let u be 5 - (-1 + 1 - 0). Suppose -5*x - 8 - 7 = 2*o, -5*x + 5 = -2*o. Sort x, 1, u in descending order.
u, 1, x
Let a(f) = f**3 + 4*f**2 - 6*f - 4. Let l be a(-5). Suppose 4*g + 17 = d, 4*d - 3*g - 34 = -4*g. Suppose d - 1 = 4*x. Sort -3, x, l in increasing order.