der.
v, k, 1
Let x = 222.8 - 201. Let g = -22 + x. Put 4, -1, g in descending order.
4, g, -1
Let l be ((-2)/6)/((-24)/(-18)). Let f = -2.6 - -3. Sort l, 0.1, f in descending order.
f, 0.1, l
Let q be ((-4)/(-122))/((-1)/(-3)). Let p = 135/488 + q. Put p, -0.1, 0.1 in increasing order.
-0.1, 0.1, p
Let w = 17.5 - 18.5. Put 1, w, -2/5, -0.04 in decreasing order.
1, -0.04, -2/5, w
Suppose -3*j + 3*u = -6*j, 2*j = -u + 5. Let a be (-5)/30*(j + -1). Sort 2/19, a, 0.2.
a, 2/19, 0.2
Let t = 41/238 - 1/34. Sort -4/9, 0.4, -2/11, t in ascending order.
-4/9, -2/11, t, 0.4
Let j = -6 - -6. Suppose 2*r - 4*r = -8. Suppose s = -0 - r. Sort j, s, -1 in decreasing order.
j, -1, s
Let j = -2173/6 - -363. Let q = j + -1/12. Put 2/11, 1/4, q in increasing order.
2/11, 1/4, q
Let h(y) be the second derivative of y**4/24 + y**3/6 - y**2 + 2*y. Let w(f) be the first derivative of h(f). Let z be w(-1). Sort z, 3, -4 in increasing order.
-4, z, 3
Let p = -2 - -5. Let o = -11 - -16. Put -1, p, o in descending order.
o, p, -1
Let l = -51 + 46. Sort 2, l, 0 in decreasing order.
2, 0, l
Let s = -3.7 - -4. Sort s, -0.4, 13 in descending order.
13, s, -0.4
Let n = 9 + -18. Let t = n + 1. Let c = -5 - t. Put 0.1, -2/7, c in descending order.
c, 0.1, -2/7
Let a = 13/2 - 7. Suppose -q + x - 5*x - 5 = 0, -q + 2*x - 5 = 0. Sort 0, a, q in decreasing order.
0, a, q
Let j = -47 + 44. Sort j, -4, -0.2, 2 in decreasing order.
2, -0.2, j, -4
Let p = 6 - -12. Let s be 1*3 + (-48)/p. Sort -1, s, -2 in increasing order.
-2, -1, s
Let f = 0.37 + -0.17. Sort 1/2, f, 3 in decreasing order.
3, 1/2, f
Suppose 0*r + 4*j - 4 = 3*r, -r - 8 = -3*j. Suppose 0 = l + 3*i - 5, -3*i + 0*i = 2*l - 7. Let c be 4 + 5/(-1) + l. Put -5, r, c in descending order.
r, c, -5
Let t be ((-1)/1)/((-2)/(-10)). Put -3, t, 4 in ascending order.
t, -3, 4
Suppose -4*y + 0*z - 2 = z, -y - 2*z + 3 = 0. Put y, 1, 7 in ascending order.
y, 1, 7
Let f be (4/(-7))/(((-24)/(-14))/(-6)). Put f, -5, -6 in decreasing order.
f, -5, -6
Let k = 0.4 + 2.6. Let q = -3/38 - 13/76. Sort k, q, -5 in descending order.
k, q, -5
Let i be -1 + -3 + (-2 - -5). Let k be (2/(-6))/(i/(-6)). Sort 4, k, -5.
-5, k, 4
Let i = 1 + 3. Sort -2, i, -5, 5 in increasing order.
-5, -2, i, 5
Let k be (((-58)/(-28) + -2)*-4)/(-1). Sort 1, 0.3, k, -0.1 in descending order.
1, 0.3, k, -0.1
Suppose -48 = 7*d + 1. Sort 1, 0.1, d, -0.4 in increasing order.
d, -0.4, 0.1, 1
Let w = -45 + 43. Let c be (-2 + 4)/((-2)/3). Sort w, c, 3 in ascending order.
c, w, 3
Let v = -1 - -3. Suppose -v*u = 8 - 16. Suppose 28 = 4*y - z, 0*z - 18 = -y + 3*z. Sort u, 3, y in descending order.
y, u, 3
Suppose 22*b + 10 = 20*b. Sort 2, b, 4 in ascending order.
b, 2, 4
Let l(x) = x**2 + x - 1. Let i be l(1). Let p(j) = -5*j**2 + 1. Let k be p(1). Sort k, i, -1.
k, -1, i
Let y be 2/(-4) + 1/(-2). Suppose 7*k - 3*k - 44 = -4*n, -4*k + 43 = 5*n. Suppose 2*j - 3*s - 1 = 1, -5*j - s - k = 0. Sort j, y, 3 in descending order.
3, y, j
Let a = 107 + -106. Put 0.1, -2, a, -0.2 in ascending order.
-2, -0.2, 0.1, a
Suppose 3*x - 2 = 2*x. Suppose -284 = 5*w + x*n, 4*w + 370 = -4*n + 138. Let u be 2/8 - (-46)/w. Sort u, -5, 0.1 in decreasing order.
0.1, u, -5
Suppose a + 2 = -1. Let j be (a/1)/1 + 7. Put j, 1, 5 in decreasing order.
5, j, 1
Let g = -16 + 125/8. Sort g, 4, -5 in descending order.
4, g, -5
Let y = -12 + 1. Let t = 10.61 + 0.49. Let u = y + t. Sort -1, -0.5, u in ascending order.
-1, -0.5, u
Let m be 4/2 - (-2)/1. Put -3, -4, m, 2 in ascending order.
-4, -3, 2, m
Let d(l) = l**3 - 5*l**2 - 8*l - 7. Let n be d(7). Let f be 2/5 + (-29)/n. Let b be 0 + (-3)/((-12)/(-8)). Put b, -5, f in descending order.
f, b, -5
Let p = -32 - -32. Put -5, p, 13 in increasing order.
-5, p, 13
Let c be 1*(7 - (0 - -2)). Suppose -2 = -c*u + 13. Suppose -3*f + 7 + 5 = 0. Sort u, f, -5.
-5, u, f
Let f(b) = b**2 - b - 2. Let o be f(-2). Suppose 0 = -4*r + 12, -q - o = 5*r - 8*r. Let t = -3 + 0. Put t, 0.2, q in ascending order.
t, 0.2, q
Suppose -5*z - 8 = 12. Let u be 2/(-3)*(-4)/24. Let o = 11/18 - u. Sort z, 2/9, o in increasing order.
z, 2/9, o
Let j(d) = -d**3 - 6*d**2 - 3*d + 11. Let y be j(-5). Sort y, 5, -4 in ascending order.
-4, y, 5
Let p = -8 + 5. Let j = p + 1. Sort j, 1, 5 in descending order.
5, 1, j
Suppose y + w = 3*y - 3, 2*y + 2*w - 18 = 0. Sort y, -2, -3, 1 in increasing order.
-3, -2, 1, y
Suppose 3*i + 5*h = -i - 550, 4*i - 4*h + 568 = 0. Let d = i + 416/3. Sort -4, -5, d in decreasing order.
d, -4, -5
Suppose 0 = 4*i + 4 - 20. Put i, -5, 0.4 in descending order.
i, 0.4, -5
Let q be 0 - -1 - (3 + -3). Let h be 1 - -3*q*-1. Let y(b) = -b**3 - 12*b**2 - 10*b + 7. Let a be y(-11). Put -1, a, h in descending order.
-1, h, a
Suppose -3*r + 8*t + 1 = 3*t, 2*t - 5 = 3*r. Suppose -2*s = -4*s + 2. Put r, -5, s in descending order.
s, r, -5
Let l = 7 + -11. Let j be l/(-4) - (68 + -3). Let i = j - -830/13. Sort i, 2/7, -4/5 in ascending order.
-4/5, i, 2/7
Let u = -35 - -247/7. Let z = -0.1 - -0.3. Let g = z - 0.4. Put 0.4, g, u in increasing order.
g, u, 0.4
Let z = -1.6 - 1.4. Let m = -3 - z. Sort m, -2/3, -1 in increasing order.
-1, -2/3, m
Let x be (-18)/(-2)*3/9. Suppose 2 = -p - 5*c, 2*p + x*c + 9 = 4*p. Suppose 17 = -j - 2*m + 5*m, 3*j + 4*m - 14 = 0. Put 4, j, p in descending order.
4, p, j
Let q(x) = -x**2 + 2. Let l be q(-2). Let i be (-34)/(-4) + 4/(-8). Let k be (-45)/12 - 2/i. Sort k, 3, l.
k, l, 3
Let c = -24 - -26. Put c, -4, 0 in ascending order.
-4, 0, c
Suppose 2*t - 7 - 1 = 0. Suppose t*y - 16 - 16 = 0. Let s = -13 + y. Put s, 0, 5 in decreasing order.
5, 0, s
Suppose 2 = 3*a - 2*t + 10, 2*a = -4*t. Let w = a + 4. Put w, 5, -1 in increasing order.
-1, w, 5
Let i = 2.03 + -0.03. Let r = -6 + 5. Let y = r + i. Put 0.5, 0.2, y in decreasing order.
y, 0.5, 0.2
Let b = -85 + 681/8. Let q be (0 - 1)/(2/(-10)). Let a = -3.99 + -0.01. Sort b, q, a in descending order.
q, b, a
Let k = 5 + -3. Let g = -5.6 - 0.4. Sort g, -0.2, k.
g, -0.2, k
Let a = -0.06 - -2.46. Let m = a + -2.9. Sort m, 0.2, 5 in increasing order.
m, 0.2, 5
Let i(k) = 7*k - 2. Let a be i(1). Put a, -3/2, -0.1 in decreasing order.
a, -0.1, -3/2
Let u = -44 - -32. Sort -1, u, 1 in ascending order.
u, -1, 1
Suppose 4 - 12 = -4*s - j, -3*s + 6 = -5*j. Let l be (4 - s) + 1 + 1. Sort -1, -3, l.
-3, -1, l
Let t = -19.3 + 19. Put t, -5, 0.4 in descending order.
0.4, t, -5
Let s be 3 - 3 - -2 - -32. Suppose 3*k - s = 5*i, -2*k - 4*i - 14 = -0*k. Put 2, k, 1 in descending order.
k, 2, 1
Let y be (-10)/(-4)*(-8)/(-20). Suppose -3*r - w = 7, r = -2*r - 4*w - 10. Let i be 6*(-2)/(-8)*r. Sort i, y, 5 in ascending order.
i, y, 5
Let m = 24 + -15. Suppose -1 = -2*h + m. Put -0.5, h, 2 in descending order.
h, 2, -0.5
Let z be ((-6)/(-15))/(-2) + 12/(-15). Put -2, -5, 0, z in decreasing order.
0, z, -2, -5
Let n(a) = -3*a - 4. Let b be n(-3). Let s be (-2)/20*(1 - b). Sort 4, -3, s in ascending order.
-3, s, 4
Let v = -8 + 14. Suppose -v = 2*h - 0*h. Let p be 38/9 - 4/18. Sort h, -4, p in decreasing order.
p, h, -4
Let v = -75.1 + 65. Let n = v - -11. Put n, -1, 0.3 in ascending order.
-1, 0.3, n
Let o be (1/15)/(16/200). Sort o, 3, 5, -1 in decreasing order.
5, 3, o, -1
Let q(g) = 3*g. Let u be q(-1). Let c = 122/55 - 20/11. Sort c, u, 5 in descending order.
5, c, u
Let y = 0.25 + -0.36. Put -1, y, -3/8 in descending order.
y, -3/8, -1
Suppose 15 = -2*y + 23. Sort y, 5, -4, 3.
-4, 3, y, 5
Let i = -143 - -144. Let j = 6 + -8. Put j, -1, i in ascending order.
j, -1, i
Let o = -0.036 + -5.964. Put o, 0.4, 1/7 in descending order.
0.4, 1/7, o
Suppose -2*l + 15 = -5*l, -l - 30 = -5*b. Let w be -2*b*2/4. Sort w, 3, 2 in descending order.
3, 2, w
Let s(r) = 3*r**2 - 23*r - 7. Let w be s(8). Put 2, w, -1/8, 0.1 in descending order.
2, w, 0.1, -1/8
Let f = 89/132 + 7/44. Put f, 0.4, -6, -3 in ascending order.
-6, -3, 0.4, f
Suppose -2*z = m + 12, -z - 3*z + 2*m - 32 = 0. Let q(d) = d**2 + 7*d + 5. Let o be q(z). Let x(r) = r - 7. Let j be x(4). Put o, j, 1 in decreasing order.
o, 1, j
Let n be 3*(1/(-1))/(-1). Suppose c = n*c - 4. Let t = 18 + -14. Put c, -4, t in descending order.
t, c, -4
Let k(l) = -2*l - 10. Let v be k(-7). Put 0, 7, v in increasing order.
0, v, 7
Let z = -1 + 5. Suppose 0*r + 15 = 3*r. Suppose -5*i = 5*s + 5, r*i +