= 3. Let r(h) = h**2 + 11*h + 12. Let i = -13 + 3. Let u be r(i). Sort u, v, 0 in descending order.
v, u, 0
Let r be ((6*-1)/3)/(-2). Suppose 11 = 4*j - 5. Put j, r, -4 in increasing order.
-4, r, j
Suppose -16 = -w - 3*w - o, -5*w = -o - 11. Put w, -5, -0.3 in decreasing order.
w, -0.3, -5
Let u be (-14)/(-21)*18/4. Let y be u/2*112/21. Let d be ((-7)/14)/(3/y). Sort d, 5, -2 in descending order.
5, d, -2
Let q be 4/(-12) + 3/9. Suppose q = -5*x + 6 - 21. Suppose c - 3*w = -8, -3*c = -w + 5*w - 15. Put x, 0, c in descending order.
c, 0, x
Let c(q) = q - 4. Let a be c(6). Suppose 0 = -a*o - 10. Suppose -4*i + 3*i = 0. Sort i, 2, o in descending order.
2, i, o
Let z = -1918/15 + 128. Suppose 4*u = 6*u - 6*u. Sort u, z, -0.3.
-0.3, u, z
Let k be 2*(-1)/(-3)*3. Put -30, 0, k in ascending order.
-30, 0, k
Suppose 16*x = 8*x. Let c = 3 - -1. Sort x, -7, c in decreasing order.
c, x, -7
Let f = -48 + 49.9. Let l = 2 - f. Let y = l - 0.3. Sort y, 5, -2/7.
-2/7, y, 5
Let m(d) = d**3 + 9*d**2 - 3. Let t be m(-9). Let b(v) = -v**3 + 5*v**2 - 3*v - 4. Let l be b(3). Put 1, t, l in increasing order.
t, 1, l
Suppose 0 = -i - i + 4. Suppose -6*k + i*k = -28. Suppose 2 - k = -5*s. Sort -5, s, 4 in descending order.
4, s, -5
Let n = -178 + 177.9. Put 1, n, 5/3 in decreasing order.
5/3, 1, n
Let n(u) = -u**3 - 3*u**2 - 2*u - 10. Let z be n(-3). Sort -1, 10, z in decreasing order.
10, -1, z
Let v be (4 - 1)/(2/((-12)/(-99))). Let p = -4 - 1. Sort v, p, -4.
p, -4, v
Let t = -0.03 + -2.97. Let s = 2 + -6. Let h = t - s. Put 0.2, -2/7, h in decreasing order.
h, 0.2, -2/7
Let k be 1/((-9)/4 + 2). Let j be (k/(-6))/(5/30). Let z = -7 + 4. Put -1, j, z in decreasing order.
j, -1, z
Let t(d) = 4*d**3 + 2*d**2 + d. Let u be t(-1). Sort -7, u, 0.
-7, u, 0
Let j(w) = w**3 - 6*w**2 - 15*w - 5. Let q be j(8). Put -2, q, -3 in ascending order.
-3, -2, q
Suppose 2*y + y = 0. Suppose -3*h + 9*h = -6. Sort 4, h, y.
h, y, 4
Suppose -4*b = 2*i - 6, -2*i + 2*b - 5*b = -7. Sort 2, i, 0, -4.
-4, 0, 2, i
Suppose 5 = -3*f - 4. Sort 5, 4, f in decreasing order.
5, 4, f
Let q be ((-6)/15)/((-1)/(-5)). Let a be (-4 + 8)/(q/2). Sort -3, 4, a.
a, -3, 4
Let h(o) = -o - 7. Let v(g) = -8*g. Let n be v(1). Let p be h(n). Let a(i) = -3*i + 1. Let t be a(-1). Sort p, t, -3 in increasing order.
-3, p, t
Let c be (6/(-4))/(36/48). Sort -1, 1, c in decreasing order.
1, -1, c
Let u(b) = -b**2 + 10*b + 10. Let q be u(10). Let f = 15 - q. Put -0.4, f, -3/5 in decreasing order.
f, -0.4, -3/5
Let i(o) = 35*o - 2. Let d be i(-2). Let u be d/140 - 4/14. Put u, -2, -3 in decreasing order.
u, -2, -3
Suppose 6 = -2*g + 14. Sort g, 1, -2 in decreasing order.
g, 1, -2
Let v = 15 - 11. Let w = -0.2 + 0.5. Put v, w, -5/3 in descending order.
v, w, -5/3
Suppose 0 = 2*s - 6*s - 12. Suppose -4 + 10 = 2*r. Suppose -25 = 5*z - r*c, 2*z = -2*c - c + 11. Put s, 2, z in decreasing order.
2, z, s
Let v be (-8)/(-12)*3*2. Let n = v - 9. Sort 2, n, 3 in descending order.
3, 2, n
Let y = 2 - 9.8. Let x = y + 8. Let t(q) = q. Let m be t(4). Sort x, m, -4.
-4, x, m
Let s(q) = -q**3 + 3*q**2 - q - 1. Let y be s(3). Let u be y/(-14) - 60/14. Put 1/2, 0.1, u in ascending order.
u, 0.1, 1/2
Let i(k) be the first derivative of k**4/4 + 5*k**3/3 - k**2 - 2*k + 1. Let x be i(-5). Suppose 5*w - x + 3 = 0. Sort -4/5, w, -0.2 in ascending order.
-4/5, -0.2, w
Suppose 0 = 4*n - 4*h + 156, 0*n = -n - 5*h - 69. Let y = -175/4 - n. Put -0.5, y, 4 in descending order.
4, y, -0.5
Let m(n) = -n**3 - 6*n**2 - 5*n - 7. Let p be m(-5). Let h = p + 5. Suppose 2 = -3*o + o. Sort o, -5, h.
-5, h, o
Let r(d) = 4*d + 1. Let n be r(2). Suppose -4*s = 5*f + n, 0 = -0*f - f + 5*s + 4. Put -5, f, 4 in descending order.
4, f, -5
Let o = -7 - -4. Let d(g) = -5*g**3 + g**2. Let n be d(1). Sort o, n, 4 in descending order.
4, o, n
Let q = -0.3 + 2.3. Let v = -199 - -193.83. Let p = -0.17 - v. Sort -0.5, q, p.
-0.5, q, p
Let u = 25064/5 + -5032. Let o = 399/20 + u. Let a = -8 - -11. Sort a, o, 5 in decreasing order.
5, a, o
Let d(i) be the third derivative of i**4/12 - i**3 - i**2. Let k be d(4). Suppose -5*g - 20 = -a, 0*a - 2*a + 12 = -3*g. Put g, 4, k in decreasing order.
4, k, g
Let u = -1.4 - -1. Let s = -695/2 + 366. Let w = s + -19. Put u, 0, w in descending order.
0, u, w
Let q be (0 - (0 + -2)) + -7. Suppose 21 = 4*s + 5. Sort -1, s, q in decreasing order.
s, -1, q
Suppose 0 = 3*y - 10 + 4. Sort y, 3, -9, 5 in decreasing order.
5, 3, y, -9
Suppose -n + 6 = y - 1, 3*y - 6 = 0. Let d be 4/(-6) - (-8)/(-6). Put d, -3, n in descending order.
n, d, -3
Let d be 2/3 - (-60)/18. Let o = 5 + -2. Put o, 2, d in increasing order.
2, o, d
Let v be 2/6 + 3/(-9). Let h = 73.1 - 73. Put v, 5, h in descending order.
5, h, v
Let y = -43 - -38. Put 0.4, 0.3, y in descending order.
0.4, 0.3, y
Suppose -15 = -i - 4*i. Suppose h + 2*b = -3, 3*h - 5*b - 7 = -i*b. Suppose 0 = 3*w - h + 7. Sort 2, -4, w in decreasing order.
2, w, -4
Let j be (-1)/2 - (2 - (-40)/(-16)). Sort j, -2, 4 in descending order.
4, j, -2
Suppose 0 = 14*j - 17 + 73. Sort j, 1, -1, 6 in ascending order.
j, -1, 1, 6
Let n = -10 + 7. Suppose -4*q + 20 = -4*r, 0 = 5*r - 1 + 6. Suppose q*a = -v + 5, -5*a + 0*v + v = -13. Sort -1, n, a.
n, -1, a
Suppose 4*q + 15 = -q. Sort 24, 2, q in descending order.
24, 2, q
Suppose -3*x = x + 20. Suppose 2*j + 4*h = -26, -h - 19 = -3*j + 6*j. Let u = -8 - j. Put u, x, 2 in ascending order.
x, u, 2
Suppose 7*k - 15 = 20. Let v(m) = -m**3 - 7*m**2 - 6*m + 3. Let c be v(-6). Put k, c, -1 in ascending order.
-1, c, k
Let z(r) = r - 2. Let t be z(5). Suppose 0 = t*k - 0*k - 6. Let g = 0.2 + 2.8. Sort g, -0.1, k in ascending order.
-0.1, k, g
Let m be -1 - (-7)/((-70)/(-4)). Put -2, 1/2, m in increasing order.
-2, m, 1/2
Let p be 1/7 + 464/(-112). Let a(r) = -r + 4. Let y be a(6). Sort y, p, 0 in descending order.
0, y, p
Let p = 7 - 15. Let c be p/(-56)*(-7)/138. Let s = 545/966 - c. Put -0.3, s, 1/6 in ascending order.
-0.3, 1/6, s
Suppose n = 4 - 9. Sort -8, -1, n in descending order.
-1, n, -8
Let g be 36/16*2 - 2/(-4). Sort -3, 0, g in decreasing order.
g, 0, -3
Suppose -p - 2*a = 6, 0 = -3*p - 0*p - a + 2. Suppose 14 = -p*h + 3*w, -2*w - 17 = 5*h - 1. Let u = 3 + h. Sort u, -0.3, 2/15 in decreasing order.
2/15, -0.3, u
Suppose -4*w + 17 = -m, 2*m - 4*m - 5*w = -31. Let p = -0.98 - 0.02. Put 1, p, m in decreasing order.
m, 1, p
Suppose 5 = -5*h + 3*a + 17, 5*a = 4*h - 20. Sort h, 3, -1 in ascending order.
-1, h, 3
Let r = -69 - -102. Sort 0.4, -4, r in ascending order.
-4, 0.4, r
Let r be ((-3)/(-6))/((-22)/(-2561)). Let w = r - 235/4. Let y = 0 + -1. Sort w, y, -5 in descending order.
w, y, -5
Let m = 9 - 6. Put m, 2, 0, -4 in decreasing order.
m, 2, 0, -4
Let y be 26/4 - (-2)/(-4). Let b(p) = -p**3 + 5*p**2 + 7*p - 4. Let t be b(6). Suppose 4*h = t*h + y. Sort h, -5, 5 in decreasing order.
5, h, -5
Let b(z) = z**2 - 12*z + 4. Let y be b(11). Let d be (y + 3)/1*1. Sort 3, 0.2, d.
d, 0.2, 3
Suppose 0 = 3*l - 10 - 5. Suppose 0*r = -5*r - 10. Sort 0, r, l.
r, 0, l
Let q = 111 + -111.93. Let a = 0.07 - q. Put -1/3, 0.1, a in decreasing order.
a, 0.1, -1/3
Let f = -67 + 57. Sort 5, -3, f in increasing order.
f, -3, 5
Let q = 1 + -1.7. Let d = q + 0.3. Put d, -3, 1/3 in increasing order.
-3, d, 1/3
Suppose -24*u + 23*u + 3 = 0. Put 5, u, 10, -5 in decreasing order.
10, 5, u, -5
Let o(l) = l + 6. Let g be o(11). Suppose 0 = 4*d - 12, -w - 5*d + g = -d. Sort -1, -5, w in increasing order.
-5, -1, w
Let f be (-1)/7 + 117/378. Put -1/3, f, -0.2 in increasing order.
-1/3, -0.2, f
Let u = 0.02 + -1.02. Let z = -1.5 - u. Let n = 0 + 3. Put -0.1, n, z in ascending order.
z, -0.1, n
Let q = -18 + 19. Let j = -3 + q. Put j, -4, 4 in ascending order.
-4, j, 4
Suppose 3*h = -2*h + 10. Let n be 1 - 1 - (2 - 0). Put h, 4, n in descending order.
4, h, n
Let f be 6*(3/2 - 0). Let h = 6 - f. Sort 5, 4, h.
h, 4, 5
Let l(t) = 5*t**2 - 9 - 4*t**2 - 8*t + 18. Let o be l(6). Let m = -0.4 + 0.2. Sort 0.4, m, o in ascending order.
o, m, 0.4
Suppose -5*x = 25, q = -4*q - 3*x + 10. Sort q, 1, -4.
-4, 1, q
Suppose -2*w = -5*z - 11, 3*z = w - 2 - 4. Put w, -4, -6, 4 in descending order.
4, w, -4, -6
Suppose 3*x + 2*x + 15 = 0. Let f be (-1 - -1) + 2 - -2. Sort f, 1, x in descending order.
f, 1, x
