ing order.
z, 1, 4
Let n be (-14)/(-10) + 42/(-105). Sort 3, -2, n in ascending order.
-2, n, 3
Suppose 15 = -t + 5*w - 12, t - 8 = -2*w. Put t, -7, -4 in increasing order.
-7, -4, t
Let u = -13 - -13.12. Let m = 0.08 + u. Sort m, 1, 2/7 in increasing order.
m, 2/7, 1
Let m be (5 - 5) + (-1 - 6/(-5)). Let t = -1.2 - -0.2. Put t, m, 0.3 in decreasing order.
0.3, m, t
Let c be (-246)/(-21) - 4/(-14). Let o be c/(-54) - (-32)/(-99). Let y be 4/(-5)*(-5)/(-3). Put -2, o, y in decreasing order.
o, y, -2
Suppose 5*q + 0*q = -10. Let b be q/(0 - -1*2). Suppose 3*f - 3*r + 5 = 2*r, 2*f = -r + 14. Sort 3, b, f.
b, 3, f
Let a = -91 - -363/4. Sort a, -5/2, 0.4, 5 in ascending order.
-5/2, a, 0.4, 5
Let z = -5.5 - 0.5. Let q = -11 - z. Put -0.3, 2, q in decreasing order.
2, -0.3, q
Suppose 0 = -4*a - 5*v - 19 - 1, 0 = a - v - 4. Suppose n - 3 - 3 = a. Put n, -3, -2 in descending order.
n, -2, -3
Let c = 2 - -2. Let w(h) = h**2 - 4*h - 4. Let z be w(c). Suppose 4*k - 2*l = 16, -3*l + 3 = -k + 12. Put z, k, -2 in decreasing order.
k, -2, z
Let s(v) = -v**3 - v**2 + 3*v - 4. Suppose 0 = 3*u - u + 6. Let g be s(u). Put 0.4, 1, g in increasing order.
0.4, 1, g
Suppose -2*v - 57 + 63 = 0. Sort 29, v, 4, 5 in decreasing order.
29, 5, 4, v
Suppose 0*u - 4*u + 8 = 0, 5*g + 5*u - 30 = 0. Suppose -4*r + 7 = -2*b - 3, g*r - b = 7. Let n = -12 - -11. Sort n, r, 5.
n, r, 5
Suppose 0 = -2*l - 5*v + 30, 2*l - 2*v = 3 - 1. Let x be 2 - -4*(-1)/2. Sort -2, x, l.
-2, x, l
Let g = -0.05 - -0.15. Let t = g - 0.3. Let a = 2/79 - -140/711. Sort 1/4, a, t in ascending order.
t, a, 1/4
Let x be (0*(-4)/(-16))/2. Suppose x - 10 = -5*m. Sort 1, -4, m.
-4, 1, m
Let l be 2/(-12) + 94/(-12). Let k(a) = -a - 9. Let g be k(l). Put g, 5, 0 in ascending order.
g, 0, 5
Suppose -6*z = -8*z + 8. Let j(r) = -r - 3. Let t be j(-4). Suppose 3*h - 5 = t. Sort h, -3, z in descending order.
z, h, -3
Let b = -3 - -9. Let o = 10 - b. Put 1/6, o, -2/7 in increasing order.
-2/7, 1/6, o
Suppose -3*k = -2*b + 13, 0 = k + 3*k + 3*b + 23. Let a be 2/10 + 46/k. Let y = a + 6. Sort -2, 1, y in increasing order.
y, -2, 1
Let i = 2 - -1. Suppose 0 = -0*t - i*t. Sort t, 1, -1 in ascending order.
-1, t, 1
Let y = -9 - -5. Let s = 0.292 - -3.708. Sort y, 3, s in increasing order.
y, 3, s
Suppose -13 = 5*k - 3*v, 0*k - 5*k - 11 = -v. Sort -9, k, 0 in decreasing order.
0, k, -9
Suppose 5*t - 2*r = -5 - 0, -r + 6 = t. Let x = -1 + 8. Let q = 11 - x. Put q, t, 3 in decreasing order.
q, 3, t
Let a = 0.6 - -0.4. Let g = a - -1. Let m = g + -1. Sort m, -1/3, 4 in descending order.
4, m, -1/3
Suppose 2*y = 4*x - 10, 15 = 4*x + 2*y + y. Put 1, x, 1/10, -2 in increasing order.
-2, 1/10, 1, x
Suppose -4*w - 14 = -2*w. Let u be 2 - (1 - w/9). Let c = -179 - -901/5. Sort -1, c, u in descending order.
c, u, -1
Let p = 6 - 1. Let n = 15 - 19. Put n, -12, p in descending order.
p, n, -12
Let b = 0.2 + -0.2. Let a = -0.47 + 0.07. Sort b, -1/2, a.
-1/2, a, b
Let g = -0.6 - -0.9. Put 1, -0.4, g in decreasing order.
1, g, -0.4
Let m = -2/4773 + -133113/1591. Let l = 83 + m. Put l, 2/11, -4 in ascending order.
-4, l, 2/11
Let p(z) be the first derivative of z**3/3 + z**2/2 + 3. Let w be p(-2). Suppose 0 = h + 2. Sort h, w, -4 in descending order.
w, h, -4
Let r(z) = z - 1. Suppose -1 = -4*m + 11. Suppose m = 2*w + y + 1, -2*y = 8. Let v be r(w). Put v, -3, 4 in decreasing order.
4, v, -3
Suppose g + 0*f - 4*f = 4, -g - 4 = 4*f. Let t(z) = z**3 - 5*z**2 - 6*z + 1. Let p be t(6). Put g, p, 3 in descending order.
3, p, g
Let h = -21 - -21.3. Let r = -3.8 - -0.8. Sort h, -2, r in ascending order.
r, -2, h
Suppose -3*g = 6*q - 2*q + 7, g + 1 = -q. Sort g, 5, 4.
g, 4, 5
Let k = 3 - 2.8. Let w = 7.5 - 7.4. Sort 2, k, w in ascending order.
w, k, 2
Let g = 15 - 14. Sort g, -4/9, 2/3 in descending order.
g, 2/3, -4/9
Let i = -2.8 + -0.2. Put -1/3, 0, i in decreasing order.
0, -1/3, i
Let b(z) = -z**2 + 5*z. Suppose 2*j = -2*d + 3*d + 11, 4*d = 5*j - 26. Let x be b(j). Put x, -2/11, -0.5 in descending order.
-2/11, -0.5, x
Suppose 2*p - 5 = -m - 0*p, -5 = -m + 3*p. Suppose 25 = -m*u, -3*h + u = 5*u + 20. Sort h, 1, -4.
-4, h, 1
Let h = 0 - -1. Sort h, 6/11, 4/7 in increasing order.
6/11, 4/7, h
Suppose -2*p + 4*p = -8. Sort -5, 10, p in ascending order.
-5, p, 10
Suppose 32 - 12 = -4*d. Let y = d - 0. Let u(f) = -5*f**3 + f**2 + f. Let t be u(-1). Sort y, 1, t in increasing order.
y, 1, t
Let z = 0.61 - 0.6. Sort z, 4, 5 in decreasing order.
5, 4, z
Let l = 10 - 8. Let c = -2.05 + l. Put c, -3, 0.2 in descending order.
0.2, c, -3
Let z(t) = -t - 1. Let p be z(-5). Suppose 0 = -3*a + 4*g - 14, -5*a + 5*g - 11 - p = 0. Sort a, 1, -3 in descending order.
a, 1, -3
Suppose -5*l - 4 = -l. Let q = l + 6. Let d(y) = 2*y + 8. Let f be d(-6). Sort f, 1, q in increasing order.
f, 1, q
Suppose -4*u = -6*d + 2*d - 144, -d + 2*u = 41. Let m = d - -17. Let s be -1 + 2/m*-5. Sort s, -0.2, 3.
s, -0.2, 3
Suppose -25*l = -24*l - 2. Put -1, l, 1, 4 in decreasing order.
4, l, 1, -1
Let o(b) = -b**2 + 6*b - 2. Suppose z - 12 = -2*t, -5*t = -4*z - 26 - 4. Let s be o(t). Sort 5, -0.1, s in decreasing order.
5, -0.1, s
Suppose -3*d + 0 = -15. Suppose d*u + 0*n + n - 2 = 0, -3*u = n - 2. Sort u, -0.3, 0.2 in decreasing order.
0.2, u, -0.3
Suppose -2*y + 14 = -j, 3*y - 35 = 5*j - 0*y. Let r(i) = i - 8. Let n be r(9). Put j, -5, n in descending order.
n, j, -5
Let t be (-4)/3*(1 + 2). Let k = 64 + -62. Sort t, k, 4 in decreasing order.
4, k, t
Suppose 7*t = 10 + 4. Let o be -3*(-1)/(-2)*-2. Sort o, 4, t in ascending order.
t, o, 4
Let z be (-12)/(-9) + 2/3. Let g = 3 - 7. Let r be (2 - 39/12)*g. Put z, r, -1 in decreasing order.
r, z, -1
Let p = 4.8 - 1.8. Put p, -0.1, 12 in increasing order.
-0.1, p, 12
Let k be ((-4)/(-5))/(2/10). Suppose 4*z + 3*g = 20, 5*g - k + 19 = 3*z. Suppose 2*s - s = 0. Sort 4, s, z in increasing order.
s, 4, z
Let h = 0.1 - -0.9. Let x = -17 + 12. Suppose 0 = 147*l - 148*l + 3. Sort x, l, h in decreasing order.
l, h, x
Let o be (-88)/20 + 6/(-10). Let p(u) = -u**2 - 7*u - 5. Let w be p(o). Sort w, 3, 2 in decreasing order.
w, 3, 2
Let i(l) = -l**2 - 7*l - 6. Let p be i(-6). Put -2, p, 2 in decreasing order.
2, p, -2
Let w = 107 - 103. Sort w, 0.1, -5, -1/3.
-5, -1/3, 0.1, w
Suppose -5*o + 3 = -4*v, 3*v = -v - 8. Let p = 70 - 72. Sort p, -5, o in increasing order.
-5, p, o
Let z be 6/4*2/(-3). Sort 2, z, 38, -4.
-4, z, 2, 38
Let s be (1 + 14/(-18))*1. Let m = -9 + 1. Let a = m + 11. Put a, s, -1 in ascending order.
-1, s, a
Suppose 0 = -0*r - 5*r + 40. Suppose 7*q + r = 3*q. Let g be (q - (-8)/2)*2. Sort g, -2, -1 in decreasing order.
g, -1, -2
Let l = 0.06 - 0.04. Let j = -0.18 - l. Let a = j + 0.7. Put -3, a, 0.2 in decreasing order.
a, 0.2, -3
Let j = -60 - -64. Sort j, 3, 7.
3, j, 7
Let b = 13 + -12.99. Sort 2/7, b, 2/5.
b, 2/7, 2/5
Suppose -2*a - 4 = -r, -r = 5*a + 3 - 7. Sort r, -4, 0.9 in increasing order.
-4, 0.9, r
Let z(o) = -o**3 + o**2 + o + 5. Let h be z(0). Suppose h*f = 4*f - w - 2, -3*w = f - 4. Sort 4, -4, f.
f, -4, 4
Let m be -6*(-3)/144 + 39/(-120). Put -0.4, m, 0 in decreasing order.
0, m, -0.4
Let q(s) = 7*s + 45. Let x be q(-6). Suppose 15 = -5*i - 0*i. Sort i, x, 5 in ascending order.
i, x, 5
Let k be 3*3/(-9) - 3. Let i be (-3 - -1)*(-1)/2. Put 5, k, i in decreasing order.
5, i, k
Let b = -3 + 4. Suppose 4*i + 7 = 3*i + 2*p, -3*i - 5*p + 34 = 0. Put i, 2, b in decreasing order.
i, 2, b
Suppose -7*d + 3*d - 4 = 0. Put 4, 2, d in increasing order.
d, 2, 4
Let c = -0.05 - 0.04. Let q = 0.29 + c. Let r(j) = -j + 5. Let v be r(4). Sort q, -4, v in descending order.
v, q, -4
Let p be (3/(-9))/((-4)/(-36)). Let n be (p/(-6))/((-1)/(-2)). Suppose 2*r = 2*a - 10, -2*r - 5 = -n. Sort -2, a, 0 in ascending order.
-2, 0, a
Let z(k) = -k**3 - 12*k**2 - 10*k + 13. Let x(y) = 6*y + 1. Let b be x(-2). Let u be z(b). Sort 0, -5, u in descending order.
u, 0, -5
Let f = 8 + -11. Put f, -5/3, -5 in descending order.
-5/3, f, -5
Suppose -3*a + 30 = 3*s, -1 = -3*s - 4*a + 31. Let n = -7 + s. Sort 5, n, -4 in decreasing order.
5, n, -4
Let d = 0.64 - 5.64. Sort 6, 9, d in decreasing order.
9, 6, d
Let w = -11 - -6. Let g be (-5)/(-8)*(-6)/(-51). Let s = -71/884 - g. Sort w, s, 2/3 in decreasing order.
2/3, s, w
Let v = 7 + -6. Let b(j) = 