ort d, j, -4 in decreasing order.
d, -4, j
Let y(w) = w**2 - 11*w - 2. Let j be y(11). Suppose -2*o + 2*l + 10 = 3*l, 0 = -3*o - l + 17. Sort 3, o, j in ascending order.
j, 3, o
Suppose -4*s = -0 - 4. Let f(o) = 2*o**3 + 2*o**2 - 1. Let y be f(s). Suppose y*t - 5 + 14 = 0. Sort 0, 5, t.
t, 0, 5
Let b(v) be the first derivative of v**4/4 + v**3 - 5*v**2/2 + 2*v - 5. Let x be b(-4). Sort -4, 0, x.
-4, 0, x
Suppose 4 = -4*v + 3*v. Let j = 104 - 101. Sort v, j, -5 in ascending order.
-5, v, j
Let x be (0 - 1)/((-3)/6). Let g be 54/(-15) + x/(-5). Sort 2, 4, g in decreasing order.
4, 2, g
Let t be ((-10)/(-6) + -1)*3. Suppose 4*q - 15 = q. Let l be (-3 + (4 - 1))*4/(-8). Sort q, t, l in decreasing order.
q, t, l
Let l = 18 - 13. Let h = l + -2. Put -2, h, -3/2 in descending order.
h, -3/2, -2
Let w = 5 - 8. Let j(k) = k**2 + 9*k. Let y be j(-9). Let l = w + y. Sort l, -7, 3 in decreasing order.
3, l, -7
Let r be (35/(-21))/(1/(-3)). Put r, -4, -1 in increasing order.
-4, -1, r
Let u = -12 - -12.4. Let z = -4 - -2. Let p = -3 - z. Put u, p, 5 in decreasing order.
5, u, p
Suppose -2*b = -7*b + 10. Sort -7, b, -3 in increasing order.
-7, -3, b
Let t(o) = -5*o - 3. Let m be t(-2). Suppose 3*q + m = -2, 12 = -3*d - 2*q. Sort d, 1, -4 in decreasing order.
1, d, -4
Let j(s) = s**3 - 6*s**2 + 6*s + 5. Let m be j(5). Let b be m/35 + (-48)/266. Let o = -0.4 + -3.6. Sort b, 4, o in decreasing order.
4, b, o
Let i be 4/2*-2 + 0. Sort i, 0, 4 in ascending order.
i, 0, 4
Let v be ((-6)/(-132))/((-2)/(-24)). Sort v, -4, -7 in increasing order.
-7, -4, v
Suppose -4*v + 0*v = 8. Let q be v/(((-16)/(-6))/(-4)). Suppose -p + 11 = -4*k, 5*k = k - 5*p - 17. Put -2, k, q in descending order.
q, -2, k
Let d be (12/(-9))/((-6)/(-9)). Sort d, -1, -5 in descending order.
-1, d, -5
Suppose 2*a - 2*i - 4 = 3*i, 3*a + 3*i = -15. Suppose 0 = -4*x + 5*f - 11, -4*x - 5*f = 19 + 2. Suppose -8 - 2 = 2*v. Sort a, v, x in descending order.
a, x, v
Let o = -1.8 + 2.3. Put o, 2, 0.2 in descending order.
2, o, 0.2
Let p(f) = -f**2 + 7*f + 4. Let k be p(8). Let l = 0 - -0.5. Sort k, 2/3, l.
k, l, 2/3
Let r = 0.9 - 0.4. Put r, 0.02, 0.4 in decreasing order.
r, 0.4, 0.02
Let t = 72 + -70. Sort -19, 0, t in descending order.
t, 0, -19
Suppose 6*y - 7*y - 2 = 0. Let b be (24/(-32))/(y/8). Sort 5, b, 2 in ascending order.
2, b, 5
Let d = 4.9 + -5. Let x(a) = -1 - a - 3 + 2*a. Let s be x(8). Put s, d, 2/19 in decreasing order.
s, 2/19, d
Let i = 11.4 - 11. Sort -2/27, 2, i, 1 in increasing order.
-2/27, i, 1, 2
Let q be ((-18)/(-4))/(12/(-48)). Put -0.4, 1/2, q in increasing order.
q, -0.4, 1/2
Suppose -5*u = 0, -2*p - 4*u + 11 + 7 = 0. Let h(t) = t**2 - 7*t - 1. Let r be h(7). Sort -3, r, p in decreasing order.
p, r, -3
Let q = 2.8 + -2.8. Put -5, 5, q, -2/65 in ascending order.
-5, -2/65, q, 5
Let q(t) = 2*t - 4. Let m be q(2). Put m, -4, -1 in descending order.
m, -1, -4
Let y = -0.45 + 0.15. Put -0.1, 2, y in decreasing order.
2, -0.1, y
Let f(c) = -4*c. Let l be f(1). Let k be 2 + 2/(l/34). Let a be -1*3/k*-3. Put a, 0.3, -0.2 in descending order.
0.3, -0.2, a
Let m be (-90)/24*4/(-3). Sort 1/4, m, -5 in descending order.
m, 1/4, -5
Let d(v) = -2*v + 5. Let n be d(4). Suppose 4*y - 17 = -7*j + 10*j, 0 = -2*y + j + 9. Put 1, n, y in decreasing order.
y, 1, n
Suppose -5 = -g - 2*y, -g = -3*y - 4 - 1. Let c be (-1)/1 + 8/(-2). Put -4, c, g in ascending order.
c, -4, g
Let h be -2*2 - (-4 - -5). Suppose 2*f - 3*f - 3*s = -6, 2*s = -f + 3. Suppose -2*x + 3*x - 3 = 0. Put f, x, h in ascending order.
h, f, x
Suppose 0 = -0*j + 5*j + 3*l, 3*l = 0. Suppose 0*d + 40 = 4*f + 4*d, j = f - d. Let q(y) = y**3 + y - 1. Let x be q(1). Sort -2, x, f in decreasing order.
f, x, -2
Let y be (-2)/6 - (-2)/(-3). Let g = -9 + 10. Suppose -g = -q, -3*u + 6*u - q + 7 = 0. Put y, -3, u in descending order.
y, u, -3
Let g be (-17)/(-3) - 16/24. Let v(b) = b**3 - 5*b**2 + b - 7. Let q be v(g). Let w = -2 - -7. Put q, 4, w in decreasing order.
w, 4, q
Let b be 23 + (32/4)/(-2). Let w = b - 18. Sort w, -3, 0 in ascending order.
-3, 0, w
Let u = 18 - 27. Let j be (u/7 + 1)/(-1). Let m = 0.9 - 1. Put m, 1, j in ascending order.
m, j, 1
Let v = -9 - -8.3. Let b = v - -1. Let x = 0.7 - 0.2. Sort -3, x, b in ascending order.
-3, b, x
Let k = 2 + 1. Let l be (-54)/(-28) + (-3)/7. Sort k, 0, l in descending order.
k, l, 0
Let r(k) = -k - 1. Let c be r(-5). Sort -1, 2, c in descending order.
c, 2, -1
Suppose 0 = 3*n + i + 5, -n - 5*i - 25 = 4*n. Let v = 4 - n. Put v, -1/2, 2 in ascending order.
-1/2, 2, v
Let r = 4 + -6. Let a = -0.5 - -2. Let p = r + a. Sort -1, 2/3, p in decreasing order.
2/3, p, -1
Let q = -131/66 - -20/11. Put q, 3, 5, -2 in descending order.
5, 3, q, -2
Suppose 12*q = 7*q + 20. Sort -2/9, 3, q in ascending order.
-2/9, 3, q
Suppose 0 = 3*s + 16 - 43. Let z = s - 8. Sort 3, -4, z in increasing order.
-4, z, 3
Let w be 4/1*(-9)/(-12). Let z = -9 - -14. Suppose -5*f - z*b - 5 = 0, 3*f + 2*b = -4 - 1. Sort f, w, 5 in increasing order.
f, w, 5
Let d = 19/39 + -2/13. Sort d, 0.4, 3 in decreasing order.
3, 0.4, d
Let s = 4 - 9. Let x = -8 - s. Sort -4, x, 3.
-4, x, 3
Let w = -3 - -3.4. Let d = -6.3 - -6.6. Sort -5, d, w.
-5, d, w
Suppose 3 = -9*y + 12*y. Sort y, -50, 5.
-50, y, 5
Let r be -2 + 2 - (6 + -7). Sort 4, -3, r.
-3, r, 4
Let c be 0 - 1/(5/(-823)). Let y = -63 + 227. Let z = c - y. Put -5, z, -2/11 in ascending order.
-5, -2/11, z
Let s = -29 + 34. Sort s, -8, 4.
-8, 4, s
Suppose -5*r + 9 = -2*k, 0*k = 4*r + k - 15. Suppose -l = r*l. Let h = l + 4. Sort 1, -5, h in decreasing order.
h, 1, -5
Let p = 0.118 - 0.188. Put -3, p, 0.5 in descending order.
0.5, p, -3
Suppose 5*r - 5*a - 10 = 0, -a = 2*r + 2*r - 8. Let l = r - 4. Suppose 4*b = -4*s, 6 = b + 3*s - 2. Put 3, l, b in descending order.
3, l, b
Let p be 1/4 + 1/(-4). Suppose k - 16 = -2*k - a, -4*k - 3*a + 28 = p. Sort -1, k, 1.
-1, 1, k
Let g = 0 - -4. Let r be 42/18 - (g + -1). Put 1/9, r, -1 in increasing order.
-1, r, 1/9
Let l = 8 - 5. Suppose -l*y + y = 0. Let h = 2 + -4. Put y, h, 4 in decreasing order.
4, y, h
Suppose 0 = -4*m + k - 21, -k = -3*m - 6*k - 10. Sort 1/8, 2, m in decreasing order.
2, 1/8, m
Let b be 0 + 1 + (231/(-12))/11. Sort -1/11, b, 3/4 in descending order.
3/4, -1/11, b
Let o = -73.5 - -74. Put -2/3, o, 5 in decreasing order.
5, o, -2/3
Let j = 6 - 2. Suppose -c + 4 = -0*c. Suppose 2*m + 2*t + 6 + 0 = 0, c*t + 28 = j*m. Sort m, -3, -1.
-3, -1, m
Let j = -5.02 - -5. Let s = j - 0.98. Put s, -5, -2 in decreasing order.
s, -2, -5
Suppose 0 = 2*d - 0 - 2. Let s = 0.01 - -3.99. Sort -5, s, d.
-5, d, s
Let l(v) = -v**3 - v**2 - 5. Let f be l(0). Suppose 2*m + 86 = 90. Sort f, m, 1 in ascending order.
f, 1, m
Let q = 12 - 12. Sort 2/9, -0.4, q.
-0.4, q, 2/9
Let y = 5 + -9. Sort 4, y, -2 in descending order.
4, -2, y
Let v(r) = 5 - 7 - 4 + r. Let a be v(6). Suppose -3*o + 5*o - 3*g = -5, 0 = -5*o - 4*g - 24. Sort a, -1, o in increasing order.
o, -1, a
Let c = 0.3 + -0.25. Let r = c - 4.05. Let b = 236/565 + -2/113. Sort b, -0.4, r in decreasing order.
b, -0.4, r
Suppose 2*h - 2 + 1 = -z, -9 = 3*z. Suppose -h - 18 = 5*p. Put p, -2, 2 in ascending order.
p, -2, 2
Let w = 7 - 7. Let y be (-20)/(-6) + 1/(-3). Let q be (0 - 1)*y/2. Put -2, w, q in decreasing order.
w, q, -2
Let p = -0.2 + 0.3. Let a = 0.3 - -4.7. Suppose 5*d + 34 = 3*q, -q + 5*d + 11 + 17 = 0. Sort a, p, q in decreasing order.
a, q, p
Let b be (-3)/9 - (-60)/(-9). Let l(c) = c**3 + 6*c**2 - 7*c - 2. Let a be l(b). Put 2, -5, a in ascending order.
-5, a, 2
Suppose 4*c - 2*c = -18. Let g be (c/(-32))/((-6)/(-8)). Let n = -12 - -7. Sort n, -2/3, g.
n, -2/3, g
Let l = 1.1 - 1.1. Sort -2/17, l, 1/5 in descending order.
1/5, l, -2/17
Let p be (3 - (0 + -1)) + -2. Suppose -p*r + 0 = -6. Sort -1, -3, r in descending order.
r, -1, -3
Let j be (-1)/3 + 686/(-21). Let u be (3 + 93/j)/(-1). Put 0.2, u, 5 in decreasing order.
5, 0.2, u
Suppose -12*i = -10*i + 10. Put i, -8, -3, 2 in increasing order.
-8, i, -3, 2
Suppose 0 = -2*m + 7*m - 10. Suppose 5*p = 6 + 4. Suppose -12 = -m*y - p. Sort -3, -1, y in decreasing order.
y, -1, -3
Let v = -25 - -29. Sort v, 0, -8 in ascending order.
-8, 0, v
Let d be (-1)/2*5 + 1. Let l = 1 - 3. Put 0, d, l in descending order.
0, d, l
Let x 