 4
Suppose -a - 3*y + 9 = -6*y, 0 = -a + 2*y + 11. Suppose -4*j = j - a. Put 5, j, -1 in descending order.
5, j, -1
Let a = 9.9 + -0.9. Let o = a - 5. Sort o, -1, 5 in decreasing order.
5, o, -1
Suppose -3*q + 3 = -3*i, -3*i = 2*i + q + 5. Let v = -2 - i. Suppose -3 = 4*a - 2*a + 3*c, 7 = -a + 4*c. Put a, 1/3, v in decreasing order.
1/3, v, a
Suppose 61*c = 58*c + 12. Suppose 0 = 4*o - 0 - 4. Put c, o, -4 in ascending order.
-4, o, c
Let b = -0.7 + 2.6. Let n = -1.5 - 0.5. Let d = b + n. Put d, -3, 3 in decreasing order.
3, d, -3
Let w(f) = -2*f**3 + 8*f**2 - 3*f + 1. Let u(n) = -n**3 + n**2 - n + 1. Let z(d) = -3*u(d) + w(d). Let v be z(-5). Put 3, v, 5 in descending order.
5, 3, v
Suppose 3*k - 6 = -f + 4*k, 2*k = -f. Let z be (3/(-4))/(f/16). Let b be -2 + 3 - (1 - -1). Sort z, b, 4 in descending order.
4, b, z
Suppose 5*v = 2*p + 23, 3*p - 5*v = 2 - 29. Put -2, -5, p in ascending order.
-5, p, -2
Let h = -3 + -2.4. Let f = -5 - h. Sort f, 4, -1 in decreasing order.
4, f, -1
Let y = -8 + 4. Let u = 9 + y. Suppose -17*c - 7 - 10 = 0. Sort 2, u, c.
c, 2, u
Let u be (-56)/(-6) - (-1)/(-3). Let c be (3/u)/(2/18). Sort c, 0, 1.
0, 1, c
Suppose -10 = -4*k - 2. Let v = -32 - -33. Sort v, k, -5.
-5, v, k
Let o = -0.013 + -0.087. Put 4, 1/3, o in descending order.
4, 1/3, o
Let j be (-39)/2 - 2/(-2). Let z = j + 19. Sort 0.2, z, -3 in increasing order.
-3, 0.2, z
Let s be 6/(1/((-3)/(-6))). Let p(h) = -h**2 - 1. Let v be p(-2). Put -4, v, s in ascending order.
v, -4, s
Suppose 0 = 3*s - 15 - 36. Suppose 4*i = -s + 5, -i = 4*p + 31. Let w be (5 + p)*(-1 - 1). Put 1, w, -3 in descending order.
w, 1, -3
Let m be 14/(-18) + 1 + 442/117. Let h be 58/(-18) - (-2)/9. Sort m, -2, h in descending order.
m, -2, h
Let w be ((-66)/10)/((-3)/15). Suppose -3*i = -0*i + w. Let t = 7 + i. Sort t, 3, 1 in descending order.
3, 1, t
Let q be ((-167)/3)/(140/48). Let i = 94/5 + q. Put i, 2, 0.5 in decreasing order.
2, 0.5, i
Let j be (-6)/(-30) + (-39)/(-5). Suppose j*o = 10*o. Sort o, 1, -5 in decreasing order.
1, o, -5
Let b = 0.02 + -0.02. Let v = -0.03 - 2.97. Let k = v + b. Put k, -0.3, 3 in increasing order.
k, -0.3, 3
Let k be 2/((-5)/5)*2. Put k, 2, 7 in decreasing order.
7, 2, k
Suppose 4*o - 24 = 3*o. Let r be 4/(-10)*(-20)/o. Let a = -28/39 - -2/39. Sort a, 1, r.
a, r, 1
Let x = 1.4 - 0.4. Let w = 1.5 - x. Let u = 0 - w. Put -5/2, -0.4, u in increasing order.
-5/2, u, -0.4
Let y be -3*12/(-81)*(-36)/(-8). Sort y, 0.2, -1/3 in ascending order.
-1/3, 0.2, y
Let b = 3 + -3.1. Let p be ((-31)/(-33))/(4/12) - 3. Put 4, b, p in descending order.
4, b, p
Let f(a) = a - 9. Let n be f(13). Sort 0, n, 5 in descending order.
5, n, 0
Let u = -10.6 - -12. Sort u, -5, -4.
-5, -4, u
Let u = -0.14 + 5.14. Sort 0.5, -0.4, u, -3 in descending order.
u, 0.5, -0.4, -3
Let o be (3/(-9))/((-14)/90). Let w = -38/21 + o. Sort w, -1/4, 2 in descending order.
2, w, -1/4
Suppose 0 = -n - n - w + 24, 8 = -2*w. Suppose 4*i + n = 2*k, i + 3*i + 10 = -2*k. Let z = 62 - 60. Put z, -2, i in decreasing order.
z, -2, i
Let g = 29.1 - 29. Sort 2, 1, 0.2, g in decreasing order.
2, 1, 0.2, g
Let t = -4 - -4.02. Let v = t - 2.02. Let k = v - -1.8. Put k, -4, 0.2 in decreasing order.
0.2, k, -4
Let b(s) = s**3 - s**2 - 3*s + 3. Let k be b(2). Let y(x) = -1 - 5*x**2 + 0 - x**3 + 5*x - 5. Let d be y(-6). Sort k, d, -1.
-1, d, k
Let b be 5*(1 - 81/75). Sort 0.2, 4, b in decreasing order.
4, 0.2, b
Let z = 32 + -32.1. Sort -2/15, 0.5, z.
-2/15, z, 0.5
Let s = 0.09 + -0.19. Let v = -3.7 + 4. Sort s, 4, v in decreasing order.
4, v, s
Let v = -32 + 35. Let x = -1 + 2. Sort -2, x, v in decreasing order.
v, x, -2
Let u = -414 + 7036/17. Let m = -59/68 - u. Let p = -1.9 - -2.3. Put m, p, 4 in increasing order.
m, p, 4
Suppose -3*r = -7*r - 20. Let a = -9 - -53/6. Put 2/7, a, r in descending order.
2/7, a, r
Let t be (4/8)/((-36)/16 - -2). Put -19, t, 1 in decreasing order.
1, t, -19
Let y = 7 + -5. Suppose 3*p - 14 = 3*j - y*j, p = -5*j + 10. Let t = j + -4. Sort t, 1, -2 in decreasing order.
1, -2, t
Let a = 0.03 + -2.03. Suppose -3*t + o = -647 + 47, t - 200 = 3*o. Let h = -1403/7 + t. Sort a, h, 2 in increasing order.
a, h, 2
Let i(u) = -u - 5. Let q be i(-4). Suppose 0 = 2*o + 98 - 102. Sort q, o, -3.
-3, q, o
Let m = -10 - -19. Let f = -9.3 + m. Sort f, -0.4, 4.
-0.4, f, 4
Let x = 0 - -2. Let m be (0 - 0)*1/2. Let y be -1*(0 + -1) - 2. Sort x, m, y in ascending order.
y, m, x
Let y be -6 - (-1)/2*-4. Let j = 7 + y. Put 4, 2, j in ascending order.
j, 2, 4
Let x be ((-2)/(-15) + 2717/(-1140))/(-6). Let r = 3.6 + -4. Put r, 3/5, x in decreasing order.
3/5, x, r
Let h = 0.5 + -1. Let u = 0.057 + 0.443. Sort h, -1, u in descending order.
u, h, -1
Suppose -3 = 2*b - 7. Let u be (b/(-4))/(1/10). Sort -2, -3, u in decreasing order.
-2, -3, u
Let i = 15 + -21. Let d = 10 + i. Put -1, d, 0.5 in ascending order.
-1, 0.5, d
Let l = 0.04 + -4.04. Let d be (2/(-7))/(2535/(-35)). Let s = -3020/5577 - d. Sort l, 1/3, s in decreasing order.
1/3, s, l
Let b(d) = d**2 + 3*d - 3. Let u be b(-3). Let l = -0.4 + 0.1. Let s = 4.7 - l. Put -0.1, s, u in decreasing order.
s, -0.1, u
Let y = 1.3 - 1. Let p = -0.7 + y. Let x = -29 + 115/4. Put 0.4, x, p in ascending order.
p, x, 0.4
Suppose -s - 2 = 0, g + 3*g = 2*s + 4. Let l be ((-9 - 0) + g)/1. Let y = -11 - l. Put -5, y, 1 in decreasing order.
1, y, -5
Suppose i - 3*q = -q + 2, -4 = 5*i - 3*q. Let d be ((-3)/i)/(9/4). Let p be 1/2*12/(-27). Put d, 0, p in descending order.
d, 0, p
Suppose 5*b + 3*w - 13 = 21, -w = -2*b + 7. Put 4, b, -5 in increasing order.
-5, 4, b
Suppose -12 = -4*a - 0*a. Suppose 0 = -5*z, -g - 4*z + 3 = 2*g. Put g, -5, a in increasing order.
-5, g, a
Let m = -1.05 + 0.05. Let n = -0.6 - m. Let s = 2 - 16/9. Put 0.5, n, s in descending order.
0.5, n, s
Suppose 16*y - 7*y + 9 = 0. Put y, 2, -12, -5 in increasing order.
-12, -5, y, 2
Suppose -7*s = -6*s - 4. Put -1/8, s, 2/13, 5 in increasing order.
-1/8, 2/13, s, 5
Let n = -121 + 121. Put n, -1, -4, -59 in ascending order.
-59, -4, -1, n
Let h = -289 + 3759/13. Sort h, -5, -0.2.
-5, -0.2, h
Suppose -3*d + 3*k = -26 + 5, -5*k - 15 = 5*d. Suppose d*i + 0 = 10. Put -1, 0, i in descending order.
i, 0, -1
Let w = 14.3 + -9.19. Let x = w + -0.11. Sort x, 0.3, 1/3.
0.3, 1/3, x
Let i = 7/10 + -1/30. Let w = 0.3 + -0.9. Let k = -1.6 - w. Sort k, -2/3, i.
k, -2/3, i
Let n = 1.9 - 1.4. Let j = -4 - -7. Sort n, 3/2, j.
n, 3/2, j
Let k(u) = -u**2 + u - 8. Let p be k(0). Let s = p - -11. Suppose -4*l - 18 = 2. Sort 2, s, l.
l, 2, s
Let q = 6 - 3. Suppose q = o + 6. Suppose -2*k = k - 2*r - 9, -r = 2*k + 1. Put o, -5, k in increasing order.
-5, o, k
Let j be -3*(-4)/6*1. Suppose s = -2*h - 5, 0 = 3*h - 2*s - 0*s - 3. Let k be (-1)/(-1) - -1 - h. Put -3, k, j in decreasing order.
k, j, -3
Let g(w) be the first derivative of w**3/3 - 4*w**2 - 8*w + 5. Let f be g(9). Put -2, f, -0.9 in decreasing order.
f, -0.9, -2
Let q = 10 + -5. Suppose -24*p + 52 = -11*p. Put p, q, -3 in descending order.
q, p, -3
Let y(v) = -v + 7. Let z be y(7). Suppose 5*l + 3*c + z*c = 11, 0 = 3*c + 9. Let p(o) = -o + 5. Let w be p(4). Sort -2, w, l in ascending order.
-2, w, l
Let i = 1/6 + -5/6. Sort i, 0.2, -0.4.
i, -0.4, 0.2
Let m = -153 - -152. Suppose -f = 4 + 1. Sort m, -4, f in descending order.
m, -4, f
Let n(r) = -2*r**3 + 17*r**2 - 8*r + 5. Let t be n(8). Put 0, -4, t in descending order.
t, 0, -4
Let r(l) = -l**2 - 7*l. Let v be r(-3). Let m = -8 + v. Put 5, m, 2 in ascending order.
2, m, 5
Suppose -1 = 2*k + 5*r, 2 - 7 = 5*r. Let n = 1.01 + -0.58. Let x = n - 0.23. Sort 3/4, x, k.
x, 3/4, k
Let h be ((-4)/(-14))/(12/14). Sort 1, h, 1/9, -0.2.
-0.2, 1/9, h, 1
Let t = -137/102 - -20/17. Sort 0.1, -3, t in increasing order.
-3, t, 0.1
Let v = 546 - 66068/121. Let r = v - 478/363. Let u = 12 + -13. Sort r, u, 4 in ascending order.
r, u, 4
Let u = 285 - 3133/11. Put -2, u, 2, 3 in ascending order.
-2, u, 2, 3
Let z = 3.1 + -3. Let r = -4.3 - 0.7. Put 1, z, r in ascending order.
r, z, 1
Let c be (1*6)/((-3)/(-4)). Let g be c/6*3/2. Sort 1, -4, g in descending order.
g, 1, -4
Suppose -2*x - 1 = -j, 5*j + x - 32 = 2*x. Suppose 5*v = 4*l - 0*l - j, -5*v - 5 = -5*l. Sort l, 1, 0.
l, 0, 1
Let k be (-10)/(-6) - 1/(-3). Suppose -t - 7 = -k. Put