 n, p
Let l be ((-14)/(-4) + -1)*-2 - -1. Put -2, 5, l in decreasing order.
5, -2, l
Suppose 1 = -4*q - 3. Let u = -2 - -14. Let i be 2/8 + (-39)/u. Put q, i, -2 in descending order.
q, -2, i
Let l = -21 + 187/9. Sort l, 1/3, 5 in increasing order.
l, 1/3, 5
Let g = 12 + -17. Let u(i) = 2*i**2 + 13*i - 4. Let h be u(-7). Sort h, g, -3 in increasing order.
g, -3, h
Let s = -0.6 + 0.2. Let o = 0.4 + -0.3. Let q = o - s. Sort 0.3, q, -2 in decreasing order.
q, 0.3, -2
Let y = 1.069 + -0.019. Let i = 0 - y. Let c = i + 0.05. Sort -0.1, -3/5, c in increasing order.
c, -3/5, -0.1
Let c(x) = -x**3 + 2*x. Let m be c(2). Let j be (-1 + (2 - 16))/(-1). Let d be 3/j*5/m. Sort -3/7, d, 2/5.
-3/7, d, 2/5
Let l(o) = o + 2. Let w be l(-6). Let v be 2/w + 28/(-8). Let y be (-40)/(-15)*(-1)/v. Sort y, -1, -5.
-5, -1, y
Let c = 5 - 8. Sort 2, c, -7.
-7, c, 2
Let x(z) = z + 6. Let b(j) = -5*j - 31. Let n(a) = -2*b(a) - 11*x(a). Let r be n(-4). Suppose 2*v - v = r. Put 5, 2, v in ascending order.
v, 2, 5
Let j = 6 + -9. Let s be ((4 + j)*-1)/2. Let y = 4/3 + -17/6. Put y, s, 3 in descending order.
3, s, y
Let v = -7 - -4. Suppose 0 = -h + 4, 2*l - 2 = -0*h + h. Suppose -l = 2*m + m. Sort m, v, 1 in increasing order.
v, m, 1
Let t be 0 - (2 + 0) - 1. Let y be (2/8)/((-3)/3). Sort t, y, -4/3 in descending order.
y, -4/3, t
Let f = 50 - 48. Suppose 11*p - 9*p = -6. Sort f, p, 0 in decreasing order.
f, 0, p
Suppose -3*m = -m. Let u = 4 + -9. Sort m, 2, u in increasing order.
u, m, 2
Suppose -2*q + 7 = -3. Suppose 1 = q*v - 4. Sort v, 0.2, -0.1 in descending order.
v, 0.2, -0.1
Suppose 0 = 3*t - 15, 3*y - 5*t - 13 = -41. Let a = y - -4. Suppose a = u - 2. Sort u, 3, -2 in ascending order.
-2, 3, u
Let c be (-2)/2*(-24)/(-4). Let k = 6 - 17. Let b = k - c. Sort b, -2, -4 in ascending order.
b, -4, -2
Let d be ((-8)/20*-5)/((-4)/6). Sort -4, 1, d, -1 in descending order.
1, -1, d, -4
Let n = 1.06 - 1. Let i = -0.04 - n. Put 5, -2/7, i in descending order.
5, i, -2/7
Suppose 10*t + 482 = 142. Put 1, t, 0, 4 in ascending order.
t, 0, 1, 4
Let n = 21 - 22. Put n, 1/4, -7 in descending order.
1/4, n, -7
Suppose -a = 2*a + 6. Let t be (-5)/24 - a/6. Let y = -21.3 + 21. Sort y, t, 2/7 in decreasing order.
2/7, t, y
Let w be 5 - (0 - (-1 - 0)). Let j = 0 - -3. Suppose 7*d - 20 = j*d. Put w, -1, d in decreasing order.
d, w, -1
Let y(v) = v - 7. Let q be y(7). Sort 1, q, 4 in ascending order.
q, 1, 4
Suppose -4*h - 1 = -3*z, -z - 3*h - 14 = 3. Sort z, 0, -0.9.
z, -0.9, 0
Let u(f) = -f**3 - 5*f**2 + 7*f + 12. Let g be u(-6). Suppose -g = 2*x - 10. Sort 4, x, -3 in decreasing order.
4, x, -3
Let l = 8.2 + -5. Let a = -6 + 3. Let p = l + a. Sort p, -1, 0 in decreasing order.
p, 0, -1
Let t = 2 - 2.05. Let s = -0.06 - t. Sort -4, s, 1 in decreasing order.
1, s, -4
Let r = 17.7 + -18. Let q = 13.29 + -0.29. Let w = q + -18. Sort w, r, 1/2 in descending order.
1/2, r, w
Suppose -5*s + 3*v = -2*v - 20, -2*s + 3*v = -10. Let k be (-5)/10 - (-2)/(-4). Sort s, k, 1 in decreasing order.
s, 1, k
Let n = 26 + -31. Put 5, 15, n, -0.4 in increasing order.
n, -0.4, 5, 15
Let s(k) = -9*k**2 + k. Let u be s(-1). Let a = -13 - u. Put -1, 0, a in increasing order.
a, -1, 0
Suppose 3*d - i = 5, 6 = 5*d - 4*i - 7. Put -2, 3, d in increasing order.
-2, d, 3
Let t(x) = x**3 - 4*x**2 - x. Let p(r) = -r**2 + 7*r. Let b be p(6). Suppose 4*j = -2*v + b*v, 0 = 4*j - 2*v - 8. Let s be t(j). Sort 5, s, 0.
s, 0, 5
Let d = -20010 + 380344/19. Let k = d - 8. Let u be (2*(-3 - -2))/7. Sort k, 2, u.
u, k, 2
Suppose 23 = 4*z + 7. Put z, 3, -4 in descending order.
z, 3, -4
Let j be (5/(5/(-12)))/(-2). Sort j, 1, -2 in descending order.
j, 1, -2
Let j = -0.9 + -5.1. Let t = j - -4. Let r = -4 + 3.5. Sort r, t, -1 in decreasing order.
r, -1, t
Let r = 127.71 + -127. Let y = r - 0.21. Let u = -0.8 + 0.3. Put 5, u, y in decreasing order.
5, y, u
Let u(x) = x + 8. Suppose 40 = -4*h + 4*k, -2*k + 3 + 7 = 0. Let g be u(h). Let a = 0 - -2. Put 0, g, a in increasing order.
0, a, g
Let z = 11 + -10.76. Let w = z - 0.14. Sort 1, 4, w in descending order.
4, 1, w
Let s be 17/(-34) - (-11)/2. Put s, 1, 6 in descending order.
6, s, 1
Let i = 125060 + -125887.13. Let l = -832 - i. Let j = -0.13 + l. Put 0.1, j, -0.4 in descending order.
0.1, -0.4, j
Let s = -11 + 14.5. Let t = -3 + s. Sort 0.2, -0.2, t in descending order.
t, 0.2, -0.2
Suppose 3 + 1 = 2*n. Suppose 3*h - c = -1 - 0, 0 = -c + 4. Let q be h/(n - (1 - -2)). Put 3, -3, q in ascending order.
-3, q, 3
Suppose -c - c + 12 = 0. Let n be (-8)/c + (-3)/(-3). Let f = 0.5 + -3.5. Sort -2, f, n.
f, -2, n
Let y be (1*-4)/((-6)/12). Let r = y + -6. Sort r, -3/8, 2/5.
-3/8, 2/5, r
Let d = -10 - -7. Let k = d - -1. Let i be (8/50)/(2/5). Sort i, 4, k in increasing order.
k, i, 4
Let u = -150 + 154. Sort -14, u, 3.
-14, 3, u
Suppose 6 = 3*t - 9. Let u be (-1 - -11)/((-10)/5). Sort t, u, 4 in increasing order.
u, 4, t
Let l(v) be the first derivative of v**4/4 - 8*v**3/3 - 5*v**2 + 8*v - 4. Let z be l(9). Let x be (-1 - -1)/(2 - 3). Put -5, x, z in increasing order.
-5, z, x
Let v = 0.325 - 0.025. Put v, -2, -11 in descending order.
v, -2, -11
Let z = 4 - 0. Let i = z + -4. Sort 4, 0.1, i.
i, 0.1, 4
Suppose x + 1 = 2. Let j be -1*(x + 3 + -4). Sort -3, j, -1 in increasing order.
-3, -1, j
Let d = 0.008 - 0.408. Put -3/4, d, -4, -3 in increasing order.
-4, -3, -3/4, d
Let j = 0.106 - 0.606. Sort -2, j, -2/3, 5 in ascending order.
-2, -2/3, j, 5
Let o be ((-20)/(-16))/((-1)/(-16)). Suppose -2*v = 2*v - o. Sort 4, v, 1 in decreasing order.
v, 4, 1
Let o be 4/(-22) - 96/(-165). Sort 0, -1, o.
-1, 0, o
Suppose -14 = -8*a + a. Put a, -4, -1 in decreasing order.
a, -1, -4
Let z(j) = -3 - 96*j**2 + 1 + 97*j**2. Let d be z(2). Put -5, d, -3 in ascending order.
-5, -3, d
Let d = 69 - 66. Put d, -1, -4 in increasing order.
-4, -1, d
Suppose -3*v = 10 + 5, -n + 4*v + 18 = 0. Suppose 13*y = 12*y + 2. Put n, 2/11, y in descending order.
y, 2/11, n
Let w(y) = -y + 8. Let h = -17 + 23. Let s be w(h). Let l = 1 + 2. Sort -6, s, l in decreasing order.
l, s, -6
Let x(p) = p - 4. Let f be x(6). Let i = -2 + 4. Suppose -w - 5*n = -3*w - 1, -i*n = -f*w + 2. Put 3, 4, w in increasing order.
w, 3, 4
Let d = 22 - 18. Sort -3, 5, -5, d in decreasing order.
5, d, -3, -5
Suppose -3*j - 7 = -k - 20, -3*k - 9 = -3*j. Suppose k*s + 7 = -v - 0, -5*s - 12 = -3*v. Sort s, 4, 5 in ascending order.
s, 4, 5
Let f = -33/140 + 1/28. Put -0.3, f, 0.1 in ascending order.
-0.3, f, 0.1
Let l be (-2)/6 + (-48)/(-63). Let a be (4/(-8))/(1/(-2)). Suppose 0 = -r - c + a, -4*c = -3*r - 3*c - 5. Put r, l, 2/11 in descending order.
l, 2/11, r
Suppose -9 = -f - 5. Sort 5, f, -1 in ascending order.
-1, f, 5
Let w(p) be the first derivative of p**4/24 + p**3/3 - p**2/2 - 1. Let n(s) be the second derivative of w(s). Let q be n(-3). Sort -2, q, 1 in ascending order.
-2, q, 1
Let p = 19 - 8. Let f = p + -6. Suppose 5*i - v + 4*v = -f, 0 = 3*i - 3*v + 27. Put -5, i, 3 in ascending order.
-5, i, 3
Let d = 1 + -0.99. Let m = d - 0.01. Put m, -4, -1 in decreasing order.
m, -1, -4
Let n = -0.084 + -0.066. Put 1/3, -3/4, n in decreasing order.
1/3, n, -3/4
Suppose -2*r = 3*r + 10, 2*y - 3*r = 0. Let n be (-56)/147 + (-2)/y. Let b = 1 - 0.8. Put b, n, -5 in decreasing order.
n, b, -5
Let l = -43 - -43. Sort l, 0.8, -5, -3 in decreasing order.
0.8, l, -3, -5
Suppose 3*r + 4*r - 14 = 0. Suppose -20 = -l - 4*l. Suppose 24 = 3*o - 3*w, l*o - w = -5*w. Sort o, r, 3 in decreasing order.
o, 3, r
Let k = 3 - 2.9. Let v be ((-9)/12)/(90/(-48)). Sort k, v, -0.1 in decreasing order.
v, k, -0.1
Let x = 0.26 - 0.06. Put x, -3, 3 in ascending order.
-3, x, 3
Suppose 5*q - 3*k = 16, 5*q - 2*q - 12 = 3*k. Suppose 13 - 4 = 4*b - 3*r, 5*b - 3*r - 9 = 0. Let j = -0.7 - 0.3. Sort j, q, b.
j, b, q
Let u = 4/111 + 277/1554. Let v = u + 2/7. Sort v, -4/7, 0.
-4/7, 0, v
Let x = 4 + -3. Let h(j) = -1 + j + 5 + j. Let i be h(-4). Sort i, 5, x in increasing order.
i, x, 5
Suppose 0 = 3*u + u + 20. Suppose 0 = 2*v - 0*v - 12. Suppose v = -d + 2. Put u, 1, d in decreasing order.
1, d, u
Let f be (-3)/3*2/(-2). Sort 2, -2, f in decreasing order.
2, f, -2
Let z be 1*6*(-3)/6. Let u be ((-4)/(-8))/(1/(-12)). Let c be 9/u + 33/6. Put -1, c, z in descending order.
c, -1, z