der.
5, k, -3
Let z = 11 - 4. Let t = -6.6 + z. Let k = -0.7 + t. Put 1/3, k, 0.2 in decreasing order.
1/3, 0.2, k
Let p = -8 + 12. Suppose 0*b + 5 = b. Put b, p, -3 in decreasing order.
b, p, -3
Let k = -129 - -134. Put 1/11, 0.04, 1/2, k in increasing order.
0.04, 1/11, 1/2, k
Suppose 3*g = 3*a - 3, 2*g - 5 = 7*g. Put a, 11, 2 in decreasing order.
11, 2, a
Let l be (2/(-4))/((-1)/(-2 - -4)). Sort l, -2, 5, -1.
-2, -1, l, 5
Suppose a - 3 = -4*h + 3, -2*a - 12 = -4*h. Suppose -i + 29 = -4*k, -2*k = -3*k - 4. Suppose 3*t - 1 = -i. Put -3, a, t in ascending order.
t, -3, a
Let u = -1.9 - 0.1. Let c = -1.81 + 1.79. Sort -4, c, u.
-4, u, c
Suppose -2*b = -4*x + 10, 0 = -3*x + x + 5*b - 15. Suppose -5*z + 0 + 7 = 4*y, 7 = z - 2*y. Put z, x, -1 in increasing order.
-1, z, x
Suppose 4*r - 3*j - 7 = 0, -5 = -5*r + 4*j + j. Put 5, r, -3 in increasing order.
-3, r, 5
Let a(r) = -r**3 - 2*r**2 + 4*r + 3. Let t be a(-3). Let h(u) = -12*u - 2. Let j be h(2). Let q = -25 - j. Sort q, 5, t in ascending order.
t, q, 5
Let y = -25/21 + 6/7. Sort y, -3, -1 in increasing order.
-3, -1, y
Let k = 91/5 + -18. Let o = 102 - 101. Put k, 5, o in descending order.
5, o, k
Let p = 4 + -12. Let x = -5 - p. Suppose 0 = x*u + 3*a - 21, -u + 5*a - 9 = -4. Sort 2, u, 2/3.
2/3, 2, u
Let q = 5314872459 - 208002848573641/39136. Let t = q - 4/1223. Let j = t - 1/32. Put -1, 0.2, j in increasing order.
-1, j, 0.2
Let q(d) = 9*d**2 - 1. Let w be q(1). Suppose -6*i + 4*i + w = 0. Sort i, 0, 5 in increasing order.
0, i, 5
Let m = 6.5 - 3.45. Let p = m + -0.05. Let d = p + -2. Sort -5, d, -2/11 in ascending order.
-5, -2/11, d
Let f = 12 + -13.1. Sort f, 1, 4 in decreasing order.
4, 1, f
Let s(p) = 0 - 5 + 3*p**2 + 6*p + 1 - 2*p**2. Let u be s(-6). Let v be (-1)/(-1)*u/4. Sort v, -0.2, 3 in ascending order.
v, -0.2, 3
Let o be (-26)/(-10) - 2*1. Let q = 5.8 - 1.8. Put 3, o, q in increasing order.
o, 3, q
Let m(s) = 2*s - 3. Let q(z) = -4*z + 5. Let b(a) = 11*m(a) + 6*q(a). Let f be b(-5). Suppose 0 = 2*p + 2*t, f = 4*t - 1. Sort 3, 0, p in decreasing order.
3, 0, p
Let d be ((-10)/3)/(4/(-6)). Suppose -4*c + 5*s - 9 = 18, 19 = -2*c - 3*s. Let i = -5 - c. Put 0, d, i in decreasing order.
d, i, 0
Let d be 4 + 0/(-4) + 1. Suppose d*v + 27 = 37. Sort 5, v, -3 in descending order.
5, v, -3
Let n = -38 - -43. Sort 1/3, 2, n.
1/3, 2, n
Suppose u = -4*l + 17, 18 = 3*l + 6. Suppose -s = -u - 2, -2*n - 8 = -4*s. Let r = 5 + 0. Sort r, n, -5 in increasing order.
-5, n, r
Suppose 0*j + 4*z = j - 13, -1 = -5*j + 4*z. Let t be 0/(0 + 4 + -5). Put j, t, -2 in decreasing order.
t, -2, j
Let p = 3 + -3.2. Let m = 7 - 11. Sort -0.5, p, m in increasing order.
m, -0.5, p
Let b = 39 + -38. Sort 0.01, 3/4, b, -0.2.
-0.2, 0.01, 3/4, b
Let t be 4/14 + (-524)/(-28). Let p = t + -15. Sort p, 7, 2.
2, p, 7
Let m(l) = l - 6. Let x be m(6). Suppose 2*y - 3 - 1 = x. Sort y, -1, 0.03 in descending order.
y, 0.03, -1
Suppose 4*v - 6*v = 6. Let x be (-12 - (-1 - -1))/1. Let s = x - -17. Sort 4, v, s in increasing order.
v, 4, s
Let a(p) = 5*p + 2. Let y be a(3). Let j be 4/(-12) - y/(-6). Let x = 0.18 - -0.02. Put j, x, -1/2 in decreasing order.
j, x, -1/2
Let v(q) = 2*q + 8. Let h be v(-5). Put h, 5, -5 in decreasing order.
5, h, -5
Let z be (-4 - -6) + -1 + -1. Sort -5, z, 9, 1 in decreasing order.
9, 1, z, -5
Suppose 0 = -2*g + 8 + 10. Let y = -8 + g. Sort 4/3, y, 0.3 in ascending order.
0.3, y, 4/3
Suppose 0 = 2*p - 3*c + 9, -3*p = 2*c - c - 3. Put p, -3, 1 in ascending order.
-3, p, 1
Let c = -1 - -1. Let a = -2 + c. Let w = -805/1203 - -1/401. Put 3, w, a in ascending order.
a, w, 3
Let u = 11 + -7. Suppose 3*w - u = 7*w. Let r be 1*w*(6 - 8). Put -1, r, 0 in ascending order.
-1, 0, r
Let s = -22 - -38. Suppose -2*h = -3*h + s. Suppose 0 = 2*g + 2*g + h. Sort -3, g, -1 in ascending order.
g, -3, -1
Let d(p) = -p**3 - 5*p**2 + p + 4. Let a be d(-5). Let u = 1 - -4. Put a, 0, u in decreasing order.
u, 0, a
Suppose 13*x - 20 = 9*x. Sort 2, x, -1, -5 in descending order.
x, 2, -1, -5
Let l = -0.27 - 0.13. Put 2/13, l, -1/4 in descending order.
2/13, -1/4, l
Let y = 3 - 12. Let f be ((-6)/y)/(4/6). Put -2, f, 5 in decreasing order.
5, f, -2
Let s(q) = q**2 + 5*q + 4. Let z be s(-4). Suppose -9*p + 11*p = 6. Put -5, p, z in descending order.
p, z, -5
Let f = -0.16 - -3.16. Sort 4, 2/13, f in decreasing order.
4, f, 2/13
Let y = 2 + -1. Let u = 1 + 4. Suppose -u*m - 16 + 1 = 0. Put 2, m, y in decreasing order.
2, y, m
Let g(p) be the third derivative of p**6/120 + p**5/12 + 5*p**4/24 - 2*p**2. Let x be g(-4). Let j = 1.7 + -2. Sort 4, x, j in decreasing order.
4, j, x
Let c(v) = v**3 + v**2 + 22. Let g be c(0). Let b be 4/6 + g/(-6). Let y = 115 + -112. Sort -5, y, b in descending order.
y, b, -5
Let i(x) = -2*x**3 - 34*x**2 + x + 13. Let s be i(-17). Sort -8, -1, -2, s.
-8, s, -2, -1
Suppose 0*k + 2*k - m = -2, m = k. Suppose -5*c + 240 = 4*i, 4*i = c + 9 - 33. Let z be c/(-10) + (-4)/(-10). Sort 3, z, k in decreasing order.
3, k, z
Suppose 8*u = -2*u + 40. Sort 3, u, -4, 13.
-4, 3, u, 13
Suppose -9 = 3*s + x - 45, 4*s + 2*x - 46 = 0. Suppose 4*h = 7 + s. Suppose -15 = 5*w + h. Sort -5, 4, w in descending order.
4, w, -5
Let f = -3 + 1. Let k be 3/(3 + 0) + f. Let y be (4 + -1)/k + -1. Sort 1, y, -2 in ascending order.
y, -2, 1
Suppose -2*u = o + 147, -448 = 5*u - 5*o - 118. Let w = u + 498/7. Let c = -0.4 + 0.1. Sort c, 3/5, w.
c, w, 3/5
Suppose -2*p + 2*w + 6 = -0*p, -9 = -p - 2*w. Sort p, -3, -4.
-4, -3, p
Let z be (-6 + 44/8)*3/1. Let u = -6 + 4. Sort u, z, -1.
u, z, -1
Suppose -2*f = 5*l - 70 - 20, 3*l - 33 = 3*f. Let d be l/(-6) - (2 - 3). Sort -4, -3/7, d.
-4, d, -3/7
Let r(q) be the third derivative of -q**5/60 + 11*q**4/24 - 2*q**3 + 3*q**2. Let v be r(10). Put v, 0, -3 in ascending order.
-3, v, 0
Let x be 16/24 - (-121)/(-42). Let i = -26/7 - x. Let c = -6 - -5.6. Sort c, 0.3, i.
i, c, 0.3
Let r be (-14)/10 - (-12 + 11). Let f = -4 - -3. Let q = 842/7 + -120. Sort r, f, q in ascending order.
f, r, q
Let t be ((-1*6)/(-2))/((-45)/30). Sort -6, t, 2, -3 in descending order.
2, t, -3, -6
Suppose 5*x - x = -20. Sort -2, 7, x in descending order.
7, -2, x
Let u be (36/5 - 6)/(8/10). Sort -3, u, 4/7, 1/2.
-3, 1/2, 4/7, u
Let o = -15/8 + 7/4. Let z = -190162 - -1713665/9. Let m = z - 245. Sort o, -4, m.
-4, o, m
Let k be ((-5)/4)/((6 + -2)/16). Sort -0.5, k, 0.41 in ascending order.
k, -0.5, 0.41
Suppose -7*o - 2*c = -2*o + 2, -4*o = 4*c - 8. Suppose -5*l = -6*t + t + 35, -3*t - 11 = 5*l. Sort o, -6, l in decreasing order.
o, l, -6
Let y = 8 - 3. Suppose x + 3*n + y = -0*n, -4*n - 28 = -4*x. Sort x, 6, -3 in descending order.
6, x, -3
Let l be 2 + -1 - 21/18. Sort -3, 10, l.
-3, l, 10
Let g = 4 + -2. Suppose 0 = 3*x + g + 1. Put 0, x, -3 in ascending order.
-3, x, 0
Suppose 0 = 2*l - l - 5. Let c be (-3 - 1 - 0)*-1. Let x = c - 7. Put 4, x, l in decreasing order.
l, 4, x
Let c be (2 - 1)*(2 - 7). Let n(t) = t + 2. Let o be n(-5). Sort c, o, -2/9 in increasing order.
c, o, -2/9
Let o(u) be the second derivative of 0 - u**2 + 1/6*u**3 + 3*u. Let x be o(7). Put -4, x, -2 in ascending order.
-4, -2, x
Let q be 22/33*3*-4. Let z be q/60*3/2. Let r = -6 - -5.7. Put r, z, 0 in decreasing order.
0, z, r
Let j = 0.6 + 9.5. Let x = -10 + j. Put x, -5, 1 in descending order.
1, x, -5
Let a = -0.7 + 3.7. Let f = -4.48 + 5.48. Sort f, a, -5.
-5, f, a
Suppose -2*d = -7*d - 40. Sort 0.4, d, 5 in ascending order.
d, 0.4, 5
Let h = 0.12 + 0.08. Put 3, -0.3, -3, h in ascending order.
-3, -0.3, h, 3
Let n = 3 + 2. Put -1, 0.1, 0.4, n in ascending order.
-1, 0.1, 0.4, n
Let a be (12 - 3) + (1 - 5). Sort -7, -2, a in descending order.
a, -2, -7
Let f = 137 + -1093/8. Let v(b) = b - 3. Let a be v(6). Sort -2, f, a in increasing order.
-2, f, a
Suppose 3*j + 2*j + 15 = 0. Let w = -0.1 - -0.1. Suppose -5*z - 5 = -20. Sort j, z, w in descending order.
z, w, j
Let s = 0 + 0.3. Let t = -0.4 + 0.2. Let u = t + 0. Sort 1/2, u, s.
u, s, 1/2
Let a = 4 + 3. Let d be (-17)/(-7) + (-3)/a. Sort 1, 4, d in increasing order.
1, d, 4
Let y = 2.02 + -1.9. Sort y, -2/19, -2/13 in ascending order.
-2/13, -2/19, y
Let q be 3 + (-4 - -6)*1. Put -3, q, -2, 0 in descending order.
q, 0, -2, -3
Let d = -5 + 4.9. Suppose 15 = 2*v + v. Suppose -24 = -2*b