der.
-0.4, t, c
Let j(r) = 4*r**2 + 4*r + 7. Let l be j(-2). Put 2, l, 0, -2 in decreasing order.
l, 2, 0, -2
Suppose 0*r - 2*r - 5*x + 6 = 0, 0 = -2*x. Suppose -h - 4 = -0. Sort r, 2, h in descending order.
r, 2, h
Suppose -9*n + 7*n = 0. Let a = -7 - -3. Let v = -3 - a. Put v, n, 3 in decreasing order.
3, v, n
Let i(x) = x + 7. Let h be i(-7). Put 28, 4, h in ascending order.
h, 4, 28
Let s = 5 + -8. Suppose -6 = 3*w - 3. Let a be 0/((1 - -1) + 0). Put a, w, s in descending order.
a, w, s
Let i = 0.13 + 0.27. Sort -0.02, -0.1, i in decreasing order.
i, -0.02, -0.1
Suppose 2*f - v = 3, 28 = f - 4*f - 5*v. Let x be 15/(-9) + 8/12. Let l = x - f. Put -4, -3, l in ascending order.
-4, -3, l
Suppose -6 - 12 = -9*l. Let c = 0.3 - 0.24. Let p = 2.94 + c. Sort 3/5, l, p.
3/5, l, p
Let v be 0/((-2)/(-10)*5). Let j(z) = 2*z + 4. Let u be j(0). Sort 6, v, u in increasing order.
v, u, 6
Let m(h) = -h**2 + 2*h + 5. Let d be m(4). Let w be (d/12 - 0)*3. Put w, 0, 0.3 in increasing order.
w, 0, 0.3
Let j be (-4)/24 + 34/108. Let a = 1/189 - j. Put a, -2/17, 4 in decreasing order.
4, -2/17, a
Let u = -8 + 9. Suppose 0 = -d + u. Let s(q) = q**3 + 3*q**2 + 3*q + 4. Let l be s(-3). Put l, d, 2 in ascending order.
l, d, 2
Let g be 2580/630 + (-4)/42. Put g, 5, 1, 19 in ascending order.
1, g, 5, 19
Let n = 22 + -13. Let v be 6/(-4)*(-7)/((-21)/4). Let c be n/18 + v/(-4). Sort c, -3, -5 in descending order.
c, -3, -5
Let h = 3 + 0. Suppose -4*f + 6 = 5*m, 4*m = 5 + 3. Let z be 3*f - 81/(-18). Put z, -4/7, h in increasing order.
-4/7, z, h
Let k = 13 + -6.9. Let i = -1.1 + k. Put i, -9, 0 in ascending order.
-9, 0, i
Let p(v) = v - 4. Let m be p(5). Let l be 4 + -3 - (-1 + 4). Sort -1, m, l in ascending order.
l, -1, m
Let o = -13/6 + 8/3. Put o, 4, 3 in increasing order.
o, 3, 4
Let g be 12/(-42) + (-37)/(-7). Let n be g/(-15) - 11/3. Sort 0.1, -0.4, n.
n, -0.4, 0.1
Let f = 170 + -1188/7. Let t = 3 + 1. Put 0.3, f, t in decreasing order.
t, 0.3, f
Let v be (-6734)/(-72) - 2/(-8). Let a = v + -94. Let m = -474 + 473.9. Sort m, a, 1/3 in descending order.
1/3, m, a
Let j = -11.5 - -11. Sort -3, j, -4 in decreasing order.
j, -3, -4
Suppose -2*o = o. Suppose o = -5*q - 5. Let w be 0 - 3*q/(-3). Put -4, w, -2 in decreasing order.
w, -2, -4
Let y = 4 - 3.6. Let q = -3.5 - -3. Let u = -10.5 + 11. Sort y, u, q in ascending order.
q, y, u
Let w be (-112)/(-6)*(-6)/(-4). Suppose 0 = 4*h - 8 + w. Sort -3, 0, h.
h, -3, 0
Suppose 24*c = 22*c - 2. Put 1, c, -3, 0 in descending order.
1, 0, c, -3
Let q = 13 - 9. Let x(o) = 10*o + 0 + 1 - 7*o - o**2. Let h be x(4). Sort h, q, 1 in descending order.
q, 1, h
Let x(p) = p**2 - p + 2. Let z be x(2). Let f be z/(4 - 6/3). Let i(n) = n - 2. Let s be i(1). Sort f, s, -3 in ascending order.
-3, s, f
Let g = -0.3 + 0.2. Let z = -41 + 46. Put 0.5, g, z in decreasing order.
z, 0.5, g
Let n = 11 - 6. Sort 3, n, -4 in decreasing order.
n, 3, -4
Let i = 6 + -5.96. Let h = i - 1.04. Sort -0.4, h, -1/9 in increasing order.
h, -0.4, -1/9
Let j = -3 - -5. Suppose j + 3 = r. Suppose 2*a = -2*v - 23 + 5, -2*a - 22 = 3*v. Put 0, a, r in increasing order.
a, 0, r
Suppose 2*z + 2*z + 20 = 0, -4*n + 7 = z. Let h(i) = 9*i + 14. Let x be h(-2). Sort 0, x, n in ascending order.
x, 0, n
Let d = -1407 - -1405.018. Let h = d + -0.068. Let j = h - -0.05. Put j, -0.3, -4 in decreasing order.
-0.3, j, -4
Let g = 0.5 + -0.1. Let a = -1.6 - 6.4. Let j = 8.1 + a. Put j, 1/2, g in decreasing order.
1/2, g, j
Let j = 1 - 4. Let v be j/6 - 3/10. Sort -2, v, 2.
-2, v, 2
Let s = 8305/4 - 2065. Let z = 11 - s. Let l be ((-4)/(-10))/(3/(-5)). Sort l, z, 0.4 in decreasing order.
0.4, z, l
Let n(f) = -f**3 + f**2 - 1. Let g = 6 + -4. Suppose 0*c - g*c - 2 = 0. Let l be n(c). Sort 4, -3, l in ascending order.
-3, l, 4
Let m = 0.8 + 0.2. Let u = -9 - -1. Let i = u - -7.8. Sort m, i, 2.
i, m, 2
Let m(o) = o**2 + 1. Let c be m(-2). Suppose 0*k + k = c. Let z be (-8)/(-12) - k/12. Put -3, z, 0.4 in ascending order.
-3, z, 0.4
Let h = 12 - 8. Let f(b) = -b**2 - 9*b + 13. Let w be f(-10). Suppose -4*u + 9 = -0*u + w*q, -2*u - h*q + 2 = 0. Sort -3, 2, u in increasing order.
-3, 2, u
Let t = -22 - -20.3. Let s = t - -0.7. Sort -1/5, s, 2.
s, -1/5, 2
Let j = -0.18 + 0.68. Put -2/7, j, 0 in ascending order.
-2/7, 0, j
Let m = 19.4 - 19. Sort -0.3, m, -0.5, 0 in increasing order.
-0.5, -0.3, 0, m
Let r = -58/21 + 24/7. Sort -2/5, -5, r in descending order.
r, -2/5, -5
Suppose -f = -0*f - d - 8, 2*f + d - 7 = 0. Suppose -36 = f*p - 4*s - 7, p = -2*s - 3. Sort p, 5, -1 in ascending order.
p, -1, 5
Let z be (3*10)/2 + 9/(-3). Sort z, 4, -3 in descending order.
z, 4, -3
Let f = 12 - 0. Let y = f + -14. Sort y, -1/5, 0.3 in descending order.
0.3, -1/5, y
Suppose -o + 2*v + 16 = 4, 3*o = v + 11. Suppose n = -o + 4. Let x be 2/(n + 8/(-6)). Sort -1, x, 1 in descending order.
x, 1, -1
Let i = -3 + 6. Let a = i + -2. Let h = 0.052 - -4.948. Sort 0.2, a, h in descending order.
h, a, 0.2
Let a = 5 + -10. Sort a, 5, -1 in increasing order.
a, -1, 5
Let b = -23 + 28. Put -5, 2/7, b in descending order.
b, 2/7, -5
Let p = 5 + -10. Put p, 9, 2 in decreasing order.
9, 2, p
Suppose 5*l = -0 + 5. Sort -2, 5, l, 2.
-2, l, 2, 5
Suppose -5*r = -s - 4, -4*s + 1 = s - 4*r. Let l be s/(-4) - (-3)/(-4). Suppose 4*k = -4*z + 8, 6*z - 2*k = 2*z + 26. Put 2, z, l in ascending order.
l, 2, z
Let p(x) = x**2 - 9*x + 10. Let i be p(8). Let t = -53 + 53.2. Sort i, t, -3/4 in descending order.
i, t, -3/4
Let a(m) = -m + 1. Let z be a(6). Sort -3, -2, z in ascending order.
z, -3, -2
Let i(m) = m**2 - 14*m + 31. Let t be i(11). Sort -3, t, 4, 5.
-3, t, 4, 5
Let i = -51 - -46. Sort 2, 0, i, -2 in decreasing order.
2, 0, -2, i
Let j = 0.066 + 0.434. Sort j, 4, 1, 0.1.
0.1, j, 1, 4
Suppose 0 = 25*n - 23*n - 2. Sort n, 3, 8 in descending order.
8, 3, n
Let v = 4.859 - -0.141. Put 2, 1, v, 2/3 in descending order.
v, 2, 1, 2/3
Suppose 0*j + 3*l + 17 = j, -4*j - 5*l = 17. Let u be (-8)/(-20) + (-5)/(175/24). Sort u, j, 0.1 in ascending order.
u, 0.1, j
Let n be (12/15)/(7/((-1260)/(-8))). Put -3, 1, n in ascending order.
-3, 1, n
Let h be 0 + -2 - (-2 - 1). Let b(t) = -t + 5. Let n be b(5). Suppose -k - 2*o - h + 0 = n, -5*o + 5 = 0. Put 1, -1, k in descending order.
1, -1, k
Let n = 17 + -30.5. Let f = 13 + n. Sort 5, -4, f in decreasing order.
5, f, -4
Suppose -28 = -2*y - 8. Suppose 4*k = j - y, -1 = 2*j + 2*k - 3*k. Suppose 4*r - 18 = 3*z, -4 + 3 = -r - z. Put -5, j, r in increasing order.
-5, j, r
Let r = 40 + -43. Put r, 2, 0, 3 in ascending order.
r, 0, 2, 3
Suppose -3*x - 4*z - 13 = 0, 7*x + 2*z + 17 = 2*x. Sort -4, x, -1 in descending order.
-1, x, -4
Let o be 3/((-33)/(-6) - -2). Let z = 5.4 + -5. Let l = -0.1 - z. Sort 0.5, o, l in descending order.
0.5, o, l
Let k = -1 - 0. Let b = -1.5 - k. Put 4, b, -0.1 in increasing order.
b, -0.1, 4
Suppose -v - 5*b + 45 - 18 = 0, 14 = -3*v + 4*b. Let k = v + 3. Suppose 2*t + 16 = k*t - y, 0 = -3*y - 12. Sort 1, -4, t in ascending order.
-4, 1, t
Suppose 4*q + 0*q + 4 = 0. Let w be q/(((-3)/12)/1). Suppose 2*o + 3*i - 4 = 0, -3*o + 4 = 3*i - 5. Sort o, -2, w.
-2, w, o
Let j be (9/(-60))/(45/(-40)). Put j, 2, -8 in ascending order.
-8, j, 2
Suppose 5*k - 8 - 7 = 0. Suppose -2*l + 30 = 3*l. Suppose 3*x + l = x. Put 5, k, x in ascending order.
x, k, 5
Let a be ((-18)/9)/(2/10). Let o = 9 + a. Let u = -2 + 2. Sort -2, o, u in increasing order.
-2, o, u
Suppose -5*q = -2*i - 17, 5*q = -6*i + 2*i + 41. Suppose -q*m + 3*m = 3*u + 8, 4*u + 5*m + 13 = 0. Sort 4, u, 3 in decreasing order.
4, 3, u
Let p = 4 - 4. Let y = -2 - -6. Sort -3, y, p in descending order.
y, p, -3
Let f be 2*(4 + -2)/4. Suppose f + 2 = 3*p. Let t(q) = q - 1. Let h be t(1). Sort -1, h, p in ascending order.
-1, h, p
Let x be 2/10 - 110/50. Put 5, x, 3 in ascending order.
x, 3, 5
Let t = 3/5 + -4/15. Suppose 4 = -4*k + s, -k - s + 6 = 2. Let l = 0.32 - 0.42. Sort t, l, k in decreasing order.
t, k, l
Let f be 2/3 + 44/6. Let q be (4/f)/(2/(-16)). Put q, -2, 4 in decreasing order.
4, -2, q
Suppose -d = m + 3*m + 15, -2*m - 3 = 5*d. Let n be 7 + -3 + 2 - 1. Let u(j) = j**2 + 5*j. Let s be u(-5). Put n, m, s in descending order.
n, s, m
Let v be 0/5*(-1)/2. Let h = -2.8 + 3. Sort -2, v, h.
-2, v, h
Let j = -0.4 