 0
Suppose 0 = -5*g + 4*g - 8. Let x be (0 - -6) + 1 + -2. Let w = x + g. Put w, -1, -5 in increasing order.
-5, w, -1
Suppose -5*s + 12 = -s. Suppose 18 = -4*x + 2. Sort -5, s, x.
-5, x, s
Let a be 26/6 + (-5)/15. Let r = 9 + -7. Suppose 2*n + r = -0. Put n, a, 1 in descending order.
a, 1, n
Suppose 0 = -5*i + 2*f - 20, 3*i = 3*f - 0*f - 12. Sort i, -3, 3, 5.
i, -3, 3, 5
Let j(s) = 2*s - 31. Let w be j(16). Sort w, -3, -1 in decreasing order.
w, -1, -3
Let p = -11 + 15. Let z = -6/7 - -19/14. Sort p, z, -0.5.
-0.5, z, p
Let i = 9.5 + -6.6. Let u = -3 + i. Let y = -0.4 + u. Sort 0.2, y, -5 in descending order.
0.2, y, -5
Let p = -68.59 - -69. Let t = p + -0.11. Sort t, -0.2, -0.3 in decreasing order.
t, -0.2, -0.3
Let b be -1 + (-66)/18 + (-2)/(-3). Suppose 3*h = -0*h - 3. Put h, b, -5 in descending order.
h, b, -5
Let l = -1 - -3. Let a = l - 2. Put a, -3, 3 in decreasing order.
3, a, -3
Let v = -21 + 23. Put v, -3, 1 in ascending order.
-3, 1, v
Let g = -27 - -43. Suppose -14*z - g = -10*z. Sort 1/3, z, 0.5 in decreasing order.
0.5, 1/3, z
Let o = -12 + 16. Sort 2, -1/4, o in ascending order.
-1/4, 2, o
Let d = 5 + -9. Put 6, 0, d in increasing order.
d, 0, 6
Let r = 2 - 1.6. Let a = -28 - -7. Let g = a + 24. Put g, r, -2/21 in decreasing order.
g, r, -2/21
Let w = 3 - 7. Let s = w + 5. Put 5, s, -5 in descending order.
5, s, -5
Suppose 0 = -x + 4 + 1. Let h = -21319/5 + 4195. Let o = h - -69. Put -2, x, o in increasing order.
-2, o, x
Suppose -c + 28 = 4*p + 3*c, c + 29 = 5*p. Suppose -w - p = -4*w. Suppose -4*m + 8 = 0, 0 = 5*d - w*d + m + 4. Put -3, 2, d in descending order.
2, d, -3
Suppose 50 = -4*i - 38. Let y = 16 + i. Put 5, y, -3 in descending order.
5, -3, y
Suppose 5*h + 8*h = 39. Put 11, 4, h in descending order.
11, 4, h
Let o = -16 - -10. Let x = o + 6. Let f be (-1)/2*(0 - -2). Sort -5, x, f.
-5, f, x
Let a(v) = 3*v - 4. Suppose 5*b - 7 - 8 = 0. Let t be a(b). Put t, 4, 1 in decreasing order.
t, 4, 1
Let q be (-60)/28 + 3 + (-80)/28. Let h be 1/1*-1*4. Sort h, -5, q.
-5, h, q
Suppose 0 = k + 1, 2*l + 0*k = -2*k - 8. Let j = 0 + l. Put 2, -1, j in increasing order.
j, -1, 2
Let i = -12337/174 - -425/6. Sort 2, 3, -4, i in decreasing order.
3, 2, i, -4
Suppose 3*b - 5 - 4 = 0. Suppose -c - 15 = -6*c - z, -z + 9 = b*c. Put 2, c, 0 in decreasing order.
c, 2, 0
Suppose -6*k + 6 = -4*k. Suppose k*u + 1 = -z, u + 1 = -3*z + 2*z. Let f be 96/(-42) - (-4)/14. Put z, f, -4 in ascending order.
-4, f, z
Let n(d) = d**3 - 14*d**2 - 30*d - 23. Let u be n(16). Put -2, 4, u in decreasing order.
u, 4, -2
Let a(g) = g**3 - g**2 - 8*g + 6. Let k be a(3). Put -42, 4, k in descending order.
4, k, -42
Let t = -286/7 + 41. Let v = 332 - 641/2. Let j = v - 10. Sort j, t, 0.1.
0.1, t, j
Let b = 8.1 + -8. Let y = b + 0. Let c = 3 + -2. Put c, -0.1, y in descending order.
c, y, -0.1
Suppose 0 = 8*l - 4*l. Let c be (3 + -2)*(4 - l). Sort -2/7, 3, c in descending order.
c, 3, -2/7
Suppose -6 = 2*q - 5*q. Let v be 27/15 - 0 - q. Put -2/13, 3/2, v in increasing order.
v, -2/13, 3/2
Suppose s - 2 = -5*a, -1 = -5*a - 3*s - 5. Suppose -g - 2*m + 7 = 0, -g - 4*m = -5*g - 32. Sort g, a, -2 in increasing order.
g, -2, a
Let n = -5 + 5.4. Let w = n + -0.7. Let l = 2 - 1.5. Sort w, l, 4 in increasing order.
w, l, 4
Let k = 0.116 + 0.184. Suppose 12 = j + 3*j. Put k, 0, j in decreasing order.
j, k, 0
Let a = 1.9 - -1.1. Sort -1/11, 0.4, -1, a in decreasing order.
a, 0.4, -1/11, -1
Let p(c) = 2*c**2 - 3*c + 1. Suppose 5*q - 25 = -2*g, -10 = -4*g + 2*g. Suppose -1 = o - q. Let m be p(o). Put m, -4, 5 in descending order.
5, m, -4
Let y(i) = i - 3. Let q be y(4). Suppose l - 2 = -3. Suppose -2*s + 3 - 11 = 0. Put q, l, s in descending order.
q, l, s
Let i = -4 + 3. Let d(z) = -z**3 - 2 - 2*z + z**2 + z**2 + 2*z**3. Let c be d(-2). Put 0, i, c in descending order.
c, 0, i
Let d = 77 + -151/2. Let b = 4.5 + -4. Sort d, -0.1, b in ascending order.
-0.1, b, d
Suppose -3*l - 3*h = -18, 5*l + 3*h - 26 = 2*h. Put l, 1, 0 in descending order.
l, 1, 0
Let j(x) = -x**3 + 2. Let g be j(0). Sort g, 22, 0, -5 in decreasing order.
22, g, 0, -5
Let s = 317/72 - 37/8. Let n = -54 - -49.4. Let r = 5 + n. Sort s, -0.2, r.
s, -0.2, r
Let y(z) = 3*z**2 + 2*z**2 - 7 + 6*z - 5*z**2 + z**2. Let w be y(-7). Sort 3, -1/4, w in decreasing order.
3, w, -1/4
Suppose 2*p + 10 = 4*v - 10, 8 = 3*v + 2*p. Suppose -5*z + 17 = -3*n - 5, -n - v = 0. Sort 5/4, z, 4.
5/4, z, 4
Suppose -5*k + 2*d - 84 = 0, k + 0*d - d + 18 = 0. Let b be (-4)/k - (-11)/4. Put b, 0, -4 in ascending order.
-4, 0, b
Let o = -6 - -9. Suppose -6 = 4*b - 26. Let r = 0 - b. Sort o, 4, r in ascending order.
r, o, 4
Let p = -16/11 - -117/88. Put 0.3, p, -3 in increasing order.
-3, p, 0.3
Let g be ((-4)/33)/((-18)/27). Put -1/4, g, -2 in increasing order.
-2, -1/4, g
Let l(y) = 0*y**2 + 1 - y - 6*y**2 + 1. Let b be l(1). Sort -2/17, -2, b in ascending order.
b, -2, -2/17
Let w be (-1)/(-5) - 26/5. Let a(h) = h**2 + 7*h + 7. Let k be a(w). Sort 5, k, -5 in decreasing order.
5, k, -5
Let x = -3.96 - 0.04. Let m = -0.2 - -0.2. Put m, -2, x in descending order.
m, -2, x
Let t = -91.8 - -92. Sort -3, t, -0.2.
-3, -0.2, t
Suppose -5 = 7*n + 2. Put -5, -4, -3, n in decreasing order.
n, -3, -4, -5
Let n be (1280/(-70))/8 + 2/7. Let z = 17 + -10. Sort 4, n, z.
n, 4, z
Let x be 2/9 + 33/(-27). Put x, -3, 1 in decreasing order.
1, x, -3
Suppose -2*t + 0 = -3*h - 11, 0 = 5*t - 2*h - 11. Let o = -2 + -3. Sort o, -1, t in increasing order.
o, -1, t
Let p be (-6)/((-3)/1) - 0. Sort 4, -1, p.
-1, p, 4
Suppose 0 = 13*i + i. Let x = -8 - -11. Suppose 3*l - 5 + 15 = 2*b, 0 = -x*l. Sort i, b, -1.
-1, i, b
Let r be 208/(-240) - (-4)/(-30). Suppose -2*v + 15 = -5*v. Sort r, 0, v in decreasing order.
0, r, v
Let s be 2*1 - 4/2. Suppose -8*t + 3*t + 25 = s. Suppose -u + t*u + 8 = 0. Put 5, u, 2 in ascending order.
u, 2, 5
Suppose 45 = 4*a - a. Suppose 0 = -3*g + a. Put 3, g, -5 in increasing order.
-5, 3, g
Let u = -3 - 0. Let r = -107 + 213/2. Put r, 3, u in ascending order.
u, r, 3
Suppose -18 = -2*a + 20. Let c = a + -17. Sort -3, -2, c in increasing order.
-3, -2, c
Let d = -11 + 9. Suppose 0 = 3*q + 2*q + 25. Put d, q, 4 in ascending order.
q, d, 4
Let p be 1/(((-15)/12)/5). Let g be p/(-10) + (-58)/(-5). Let y = -7 + g. Sort -1, -3, y in descending order.
y, -1, -3
Let t(p) = 15*p. Let a be t(2). Sort a, -2, 3.
-2, 3, a
Suppose 4*v = 5*v - 4*u + 12, 0 = -2*v - 3*u + 9. Let y(l) = -l**3 + 8*l**2 + 8*l + 11. Let m be y(9). Suppose 0 = m*h - 6, -6 = 2*f - 2*h - 4. Sort -5, v, f.
-5, v, f
Suppose -2*l = -5*f + 23, 4*f - 2*l - 28 = 2*l. Suppose -z + 18 = -4*j, -z + 18 = -5*j - 2*z. Suppose 0 = -2*h - 0 + 2. Put h, j, f in decreasing order.
f, h, j
Suppose 4*c = 5*a + 29, 0 = 5*a - 0*c + 2*c + 23. Suppose 3 + 2 = -5*z. Let p be (0 + -2 + z)*1. Put a, 1, p in descending order.
1, p, a
Suppose -4*r = -3*j + 7 - 26, -4 = -r. Put -7, 2, j in ascending order.
-7, j, 2
Let q = 19 - 11. Let a = -11 + q. Put 5, 2, a in decreasing order.
5, 2, a
Let q = 1 + 1. Let x be 14862/55 - 4/10. Let k = x - 270. Put -2, k, q in increasing order.
-2, k, q
Let m = -5.05 - -0.05. Let n = -4.5 + 5. Sort 5, n, m in decreasing order.
5, n, m
Suppose -4 = -0*c - 2*c. Let j = 11 + -6. Sort j, 3, c in increasing order.
c, 3, j
Let s = -1 - 10. Let c be (-4 - (-6)/(-3))*-1. Let x = c + s. Sort 2, -2, x in descending order.
2, -2, x
Let h = 43 - 43. Let l be 5/(-1) - (0 + -1). Let c = -0.2 + 5.2. Put l, c, h in decreasing order.
c, h, l
Let k = 3/4 + -19/20. Let d = 154 - 1235/8. Put k, 1, d in ascending order.
d, k, 1
Suppose 3*g = -t + g - 4, 0 = 3*t - 2*g + 12. Sort 1, 11, t in descending order.
11, 1, t
Suppose 0*c - 4*q = 4*c + 36, -q + 27 = -5*c. Put 2, 4, 1, c in decreasing order.
4, 2, 1, c
Let y = 68 - 66. Suppose 3*j = 3 - 0. Sort 4, j, y in decreasing order.
4, y, j
Let z be ((-2)/(-4))/(1/(-4)). Let l = -82.94 + 83. Sort -2/17, z, l.
z, -2/17, l
Let f(y) = -y**3 + y**2 - 3*y + 1. Let v(o) = -o**3 - 4*o + 1. Let c(a) = -3*f(a) + 2*v(a). Let h be c(2). Put h, 1, -1 in descending order.
1, -1, h
Let h = -0.028 + -2.972. Let r = 0.2 + 0.3. Sort h, r, -0.5 in ascending order.
h, -0.5, r
Suppose -o - 5*t = 2 - 4, 0 = t - 1. Suppose -4*c + 4*s - 20 = 0, -c + 2*s - 8 = -0*c. So