et r = d + 17. Sort 5, r, 0 in ascending order.
r, 0, 5
Let r be (24/(-20) + 0)*5. Let k(p) = -2*p - 9. Let f be k(r). Suppose -6*w = -4*w + 6. Sort -5, w, f in decreasing order.
f, w, -5
Suppose 5*v + 1 - 6 = 0. Let y be 26/(-24) + (-1)/4. Let m be (-1 - 0) + 3/9. Put v, m, y in ascending order.
y, m, v
Let h be ((-10)/4)/(19/(-38)). Put h, -2/11, -48 in ascending order.
-48, -2/11, h
Let r(m) = -m**3 - 14*m**2 + m + 16. Let u be r(-14). Sort u, 32, 5 in increasing order.
u, 5, 32
Let h be (28/2 - 2) + 0. Suppose 0*o + 4*o + 2*m - 24 = 0, -4*o + m + h = 0. Put 5, 5/2, o in descending order.
5, o, 5/2
Let x = 1.09 + -0.09. Sort 4, -2/25, x in increasing order.
-2/25, x, 4
Let j be (22/(-1))/(1*2). Put 1, j, 2 in decreasing order.
2, 1, j
Let q = -1 + 2. Let p(n) = 4*n - 1. Let u be p(1). Suppose 5*j = -5*b - 30, 6 + 9 = -u*b. Put -2, q, j in descending order.
q, j, -2
Let u = 26 + -21. Sort u, 3, -0.3 in decreasing order.
u, 3, -0.3
Suppose 0*k - 5*k = -5, -4*h = -k - 11. Suppose 5*u - 7*r + 12 = -3*r, 2 = 2*u - 5*r. Put -2, u, h in ascending order.
u, -2, h
Let u be 6/(-4)*40/(-15). Let d = 4 - u. Let i be (d - -1)*(-6)/3. Sort -5, i, 5 in increasing order.
-5, i, 5
Suppose -7*f + 2*f - 70 = 0. Let i = 23 + f. Suppose 2*l - 4*c + 13 + i = 0, 11 = 4*l + 3*c. Put -3, l, -2 in descending order.
l, -2, -3
Suppose 0 = -2*b - b + 3. Sort b, -0.4, -3/2.
-3/2, -0.4, b
Let o = -2 - 2. Suppose 0 = -3*c + 2 - 5. Let x(d) = 4*d**2 - 1. Let z be x(c). Sort -5, o, z in ascending order.
-5, o, z
Let l be -5 + ((-306)/(-42) - 2). Sort 4, l, 3/4, -0.5.
-0.5, l, 3/4, 4
Let x = 42 + -46. Let q(b) = -b + 2. Suppose 6 = 2*u - 0*u. Let g be q(u). Sort x, g, 1 in decreasing order.
1, g, x
Suppose -8 = 2*t + 6. Let p = -2 + t. Let h be (-6)/(-9) + 6/p. Sort h, -0.5, 5 in increasing order.
-0.5, h, 5
Let z = -123 + 129.1. Let a = z - 6. Put -2, -5, a in decreasing order.
a, -2, -5
Let n = 0.2 - 0.2. Let i = 0.017 - 0.317. Put 0.1, n, i in ascending order.
i, n, 0.1
Let u = 0 - 4. Suppose 0 = -4*h - 13 + 25. Sort u, -3, h in decreasing order.
h, -3, u
Suppose -4*h + 3*h - 3 = 0. Suppose 3*t - t + 3 = -3*p, -2*p = -2*t - 8. Put h, -2, p in ascending order.
h, -2, p
Let o = -0.52 - -0.92. Sort 2/7, o, -1.
-1, 2/7, o
Let v(a) = -a**3 + 7*a**2 - 7*a + 8. Let y be v(6). Suppose d - 3*t + 6 = -d, t = y*d - 2. Put d, -1, 5 in descending order.
5, d, -1
Let v(y) = -y**2 - 2*y - 1. Let o be v(-1). Put 4, 1, o in decreasing order.
4, 1, o
Let h(i) = -2*i - 1. Let j be h(1). Suppose -19 = -2*m - 3. Let y = -13 + m. Sort 0, j, y in descending order.
0, j, y
Let n(q) = q**3 + 4*q**2 - q - 4. Let j be n(-4). Sort j, -1/4, -6 in ascending order.
-6, -1/4, j
Let u = 6 - 6. Let v = 0.218 - -4.702. Let d = 0.08 + v. Sort -2, u, d in decreasing order.
d, u, -2
Let h = -30 - -30.2. Sort h, 0.4, 5.
h, 0.4, 5
Let u = -12 - -9. Let t be 64/28 - 2/7. Sort u, t, -5 in descending order.
t, u, -5
Let y = 9 - 8. Let k(i) = -i + 10. Let o be k(10). Suppose 2*j = -0 - 2. Sort j, y, o in decreasing order.
y, o, j
Suppose 3*c + 4 = 5*x - 6, 2 = -2*x. Let d = 6.2 - 6. Sort d, c, 4/7 in ascending order.
c, d, 4/7
Let d(k) = k - 4. Let h be d(3). Suppose -7*n = -3*n + 176. Let s be 168/n + (-4)/22. Sort h, 2, s in increasing order.
s, h, 2
Let o(w) = w**3 - w - 1. Let g(a) = -4*a**3 + a**2 + 5*a + 9. Let z(y) = g(y) + 5*o(y). Let m be z(0). Let i = 1 + 4. Sort 2/11, m, i.
2/11, m, i
Let o(c) = -c**2 - 7*c - 7. Let k be o(-3). Suppose 0 = 2*g + g - 2*f - 7, 3*g - 3*f - 9 = 0. Put -3, g, k in descending order.
k, g, -3
Suppose 2*n - 3*d = -9 + 3, -2 = -d. Put -1, -3, n in decreasing order.
n, -1, -3
Let x be -3*4/6*2. Let n(a) = -6*a + 11*a - 3*a**2 + 2*a**2 + 1. Let q be n(4). Sort 3, q, x.
x, 3, q
Let h = 0.7 - 0.68. Let c = 0.38 + h. Put -0.1, c, -4 in descending order.
c, -0.1, -4
Suppose -j + l - 15 = 5*l, 24 = -4*j - 4*l. Put -4, j, 4 in increasing order.
-4, j, 4
Suppose q + 4 = 2*q. Suppose q - 16 = -4*n. Suppose 5*m = 25, -3*a - 3*m + 4*m = 2. Put a, n, 0 in descending order.
n, a, 0
Suppose 3 = -k + 6. Sort -5, 1, k in increasing order.
-5, 1, k
Let d(v) = v**2 + 7*v + 10. Let f be d(-7). Sort -4, 2/15, f.
-4, 2/15, f
Let m = 0.32 - -0.08. Sort m, -0.5, 0.3.
-0.5, 0.3, m
Let k = 0.04 - 0.44. Let q = 5 - 10. Sort k, -3, q in increasing order.
q, -3, k
Suppose 0 = -3*w - q - 16, 0 = -w + 6*w - 3*q + 22. Put 5, 0, w in decreasing order.
5, 0, w
Let l be (-6)/(-14)*(-2)/3. Sort l, 2, -0.2, 0 in descending order.
2, 0, -0.2, l
Let n be (12/2)/2*1. Suppose -15 = z - 6*z - 4*g, -z - 16 = -n*g. Put -1/2, 1/5, z in ascending order.
z, -1/2, 1/5
Suppose -5*g + 30 - 11 = -3*z, -35 = -5*g - 5*z. Suppose 6 = 3*h, -3*u + 6*u = h - 5. Sort g, u, 0.
u, 0, g
Let p = -0.7 + 1.7. Put -1/5, -1, p in decreasing order.
p, -1/5, -1
Let l = -91/5 - -18. Let u = l + 9/20. Let i = 274 + -271. Sort u, i, 1/2 in decreasing order.
i, 1/2, u
Let x = 17.3 + -18. Let v = 0.3 - x. Let j = -3.5 + 3. Sort -3/7, v, j.
j, -3/7, v
Let r(t) = -t + 6. Let n be r(5). Suppose -n + 13 = 3*z. Suppose -z*h - 22 = -2. Put -4, 3, h in descending order.
3, -4, h
Let k = -1/36 + 5/18. Let d = -0.1 + 0.07. Let a = -45 - -49. Put k, a, d in ascending order.
d, k, a
Suppose 0 = -2*p + 3*p - 3. Let r = 8 - 9. Put p, r, 2 in decreasing order.
p, 2, r
Let l be 1/(-4) - 17/(-4). Let u be 2*((-11)/(-88))/((-1)/(-4)). Sort -1, l, u in descending order.
l, u, -1
Let l = 2 - 2. Let t(i) be the first derivative of -i**4/4 + 8*i**3/3 - 7*i**2/2 + 5*i + 2. Let y be t(7). Put 2, l, y in descending order.
y, 2, l
Let q = -38 - -42. Suppose 2*n = 33 - 11. Let o = 6 - n. Sort q, 2, o in decreasing order.
q, 2, o
Let z = -16 + 18. Let f be (6/4)/((-1)/z). Let k be (-10)/(-4)*2*1. Sort f, k, -5.
-5, f, k
Suppose 4*t - 66 = 5*t + 4*x, -t + 4*x - 26 = 0. Let r be 6/(-39) - t/130. Sort r, -2, 7.
-2, r, 7
Let a = -51 - -257/5. Let d be ((-6)/4)/(12/(-32)). Suppose n - x + 11 = -d*x, 3*n = 5*x - 5. Sort n, 0.3, a in descending order.
a, 0.3, n
Let t = 2 + -3. Let c be (-243)/6 - -2 - t. Let x = -36 - c. Put 0.1, 5, x in decreasing order.
5, x, 0.1
Let z = 10.3 + -10. Let a = -3 - -2.9. Sort z, 2/7, a in increasing order.
a, 2/7, z
Let i be (-2 - -1)/(2/(-6)). Sort i, -5, 2, 1.
-5, 1, 2, i
Suppose 2*w - 1 + 7 = 0. Put -17, w, 2, -4 in decreasing order.
2, w, -4, -17
Suppose -5*f + 4*r - 30 = -r, 0 = 3*f - 5*r + 22. Suppose 8 = 2*h - 0*h. Suppose -3*z + 1 + 0 = -u, 3*z = h*u + 4. Sort -2, z, f in decreasing order.
z, -2, f
Let a = -2 - 3. Let s = -0.65 + 0.05. Let u = -2.4 + s. Sort u, a, 0.5 in descending order.
0.5, u, a
Let s = 169 + -168.9. Put 9, -5, s, 2/11 in increasing order.
-5, s, 2/11, 9
Suppose 11 = -f - 5*t, 2*f + 4 = -5*t - 3. Let k = f + -3. Let q(m) = -m**3 + m - 1. Let h be q(k). Put -2, h, 2 in descending order.
2, h, -2
Let t be (-4)/(-6) + (-88)/6. Let q = -10 - t. Let l(v) = -v + 6. Let j be l(6). Sort -0.1, j, q in descending order.
q, j, -0.1
Let h = 0.6 + -1. Let g be -4 - (-368)/60 - 1*2. Sort g, -3, h in descending order.
g, h, -3
Let g = 0.19 + 2.81. Let b = -32.2 + 29. Let z = b + g. Sort z, -0.5, 3 in ascending order.
-0.5, z, 3
Let c(g) = -g**3 - 5*g**2 - 1. Let s be c(-5). Let q = -10 - -5. Sort s, q, 5 in ascending order.
q, s, 5
Let r(j) = j**2 + 4*j + 4. Let d be r(-2). Put -1, -4, 2, d in ascending order.
-4, -1, d, 2
Let o = 3 - 2.8. Let r = o - 0. Let q(l) = -l**2 - 9*l + 26. Let a be q(-11). Put 0.5, r, a in increasing order.
r, 0.5, a
Let r = -73 - -581/8. Put 2, 5/6, r in increasing order.
r, 5/6, 2
Let c = 29 + -115/4. Let l = -2 + 1. Let t = l - -0.6. Sort 0, c, t in decreasing order.
c, 0, t
Suppose 2*p + 18 = -4*c, 2*c - 4*p = -0*p + 16. Let y be ((-16)/6)/(2/(-3)). Put 1, y, c in decreasing order.
y, 1, c
Let y be (-8236)/45 + 2/9. Let z = y + 182. Let r(a) = a**3 + 7*a**2 + 8*a + 7. Let n be r(-6). Put n, z, 3/5 in decreasing order.
3/5, z, n
Let h(w) be the second derivative of -w**5/20 - w**4 - w**3/6 - 4*w**2 + 2*w. Let k be h(-12). Suppose -12 = -0*l - k*l. Sort l, 5, -3 in decreasing order.
5, l, -3
Suppose 1 = -2*x + x. Let h be (-2 + 2 + -2)/x. Suppose 0 = -2*v - 0*v - 8. Sort 4, v, h in decreasing order.
4, h, v
Suppose 5*y - 2*v = -125, -v + 22 = -y - 0*y. Let c be (-2)/(-3)*y/(-6). Put -2, -1, c in decreasing