= -5*a. Let n be b/2*(-12)/(-9). Sort -4, n, -3 in decreasing order.
n, -3, -4
Let g = -4 - -5. Let h = -23/2 + 11. Put h, g, 0.1 in ascending order.
h, 0.1, g
Suppose 0*y + 35 = 5*y. Suppose 5*g - y = -2*h, 4*g = -0*h + 3*h + 1. Let u be -2*h + 0 + 5. Sort -5, 1, u in increasing order.
-5, 1, u
Let v be ((0/(-2))/(-2))/1. Suppose 9 = x + 5*p - 3*p, 2*x + 2*p - 14 = v. Let c = 20 + -25. Sort c, x, -2 in ascending order.
c, -2, x
Let p = 1.5 + -1. Let i = 14 - 4. Let h = i + -15. Put p, h, -1 in descending order.
p, -1, h
Let s be 75/27 - 6/(-27). Let p = s - 6. Suppose -6*x + x - 20 = 0. Sort p, x, -0.2 in descending order.
-0.2, p, x
Let i = 0 + 0.1. Let v = 0 + i. Let t = 0 + v. Sort t, 3/2, 3 in increasing order.
t, 3/2, 3
Let f = 0.3 + 0.7. Let x = -4 + f. Let n = x - -3.5. Sort n, 3, 2.
n, 2, 3
Let c be (-3 + 1)*(-18)/(-12). Let x = -0.4 + -0.2. Sort -4/7, x, c.
c, x, -4/7
Let a(r) = r + 8. Let p be a(-6). Let j = -3 - -3. Put j, -3, p in descending order.
p, j, -3
Let u(o) = -o**3 + 6*o**2 + o + 4. Let n be u(6). Let k = n - 8. Suppose -2*m + 2 = 10. Sort 1, k, m.
m, 1, k
Suppose -2*l = -3*l + 2. Suppose 4*z + 2*y = 2*z - l, 5*z + 14 = 4*y. Put -3, 6, z in descending order.
6, z, -3
Let d = 57 + -56. Sort 0.2, -3/2, -0.01, d in ascending order.
-3/2, -0.01, 0.2, d
Let h = 0 - 0. Let y = -0.03 + 2.03. Sort h, -2, y.
-2, h, y
Suppose 2*a + 2*a = o + 15, 0 = -3*o + 5*a - 10. Suppose -4 = z, 6*z - o = -5*n + z. Sort -1, n, 3.
-1, 3, n
Let m = -44.1 + 46. Let r = 1.4 - m. Put 0.05, r, -0.2 in decreasing order.
0.05, -0.2, r
Suppose -16*q + 21*q + 25 = 0. Sort q, -4, -1, -3 in increasing order.
q, -4, -3, -1
Let n be ((-2)/2 - 0)*0. Suppose -2*b - 5*o + 11 = 0, n*o - o + 13 = 4*b. Let s = 30 - 33. Sort b, -1, s in descending order.
b, -1, s
Suppose -5*a = -2*p - 0*p - 11, 3*a + 9 = -4*p. Let q = -3 + 1. Sort 0.3, p, q in descending order.
0.3, q, p
Let v = 21 - 22. Sort -1/4, v, 2.7, 3.
v, -1/4, 2.7, 3
Let l = -0.47 + 0.47. Put l, 1, 3, 0.7 in descending order.
3, 1, 0.7, l
Let h = -8.16 - -0.16. Let a = h - -5. Put 1/8, -5, a in ascending order.
-5, a, 1/8
Let x(l) = -2*l - 6. Let k be x(-5). Let u = -120 + 117. Put k, 2/3, u in ascending order.
u, 2/3, k
Suppose -72 + 5 = 5*y + 2*o, -95 = 5*y - 5*o. Put -4, 3, y in decreasing order.
3, -4, y
Let a = 0.227 - 0.027. Let t = 11 + -16. Sort a, 2/7, t in descending order.
2/7, a, t
Let g(i) = i**3 - 5*i**2 + 3*i + 3. Let z be g(3). Let y be 2*(-5)/(20/z). Put 1/2, 4, y in ascending order.
1/2, y, 4
Suppose 3*b = 2*r - r + 7, 2*r = 5*b - 10. Put r, 0, -10 in ascending order.
-10, 0, r
Let w = 106 - 106. Put w, -0.1, 0.08 in increasing order.
-0.1, w, 0.08
Let k be (-1)/(-2) + 9/(-6). Let a = 5 - 6. Let v = a + -4. Put k, v, 0 in descending order.
0, k, v
Suppose -2*u = 2*u. Sort -1, u, -8.
-8, -1, u
Suppose -z + 1 = h + 2, z = 2*h - 10. Sort -4, h, 7, 2 in decreasing order.
7, h, 2, -4
Let o = -0.1 + -0.1. Let c = 0.04 + 0.06. Sort c, o, -1 in decreasing order.
c, o, -1
Suppose 0*j + 3 = -j, 10 = -5*l - 5*j. Let i = -3 - -2.9. Let n = i - 0.4. Sort -4, l, n in ascending order.
-4, n, l
Suppose 3*t - 7*t = 4. Let i = 0 + -3. Sort t, i, 4 in decreasing order.
4, t, i
Let d = 29 - 27. Put d, -16, 3 in descending order.
3, d, -16
Let l(q) = q**3 - 2*q**2 - 5*q + 2. Let m be l(3). Let z be ((-8)/50)/(m/(-10)). Sort z, -2, 1 in decreasing order.
1, z, -2
Let o = -10 + 15. Put -5, 16, o in decreasing order.
16, o, -5
Let k = -0.016 + -0.024. Sort k, 2/9, 1 in decreasing order.
1, 2/9, k
Let g = -5.1 - -0.1. Sort -1/3, g, 3.
g, -1/3, 3
Let w = -13 + 8. Let o = 15 + -21. Let t = o - -6.2. Put 0.5, t, w in descending order.
0.5, t, w
Suppose -3*y - 15 = 2*y. Let v be (-3 - 9/y)/1. Suppose -p = -2*z, z - 3*p = -0*p - 5. Put v, z, 3 in ascending order.
v, z, 3
Let g = 15 + -26. Put g, 4, 3 in descending order.
4, 3, g
Let g(o) = o + 3. Let s be g(-4). Let i = 94.01 + -96. Let n = 0.01 - i. Sort n, 1, s in descending order.
n, 1, s
Let n(p) = 8*p**3 + p**2 - p - 1. Let f be n(-1). Let c(m) = -m**2 - 8*m - 2. Let t be c(-6). Let w = f + t. Sort w, -4, 5.
-4, w, 5
Suppose 0*r = -4*r. Suppose 4*f + 4 = -8. Sort r, 1, f in descending order.
1, r, f
Suppose 5*i = 2*i + 18. Let n be (3/i)/((-3)/18). Sort -1, n, -2.
n, -2, -1
Let a = 0.15 + -0.05. Let l = 0.2 - 0.2. Let w = -0.4 - l. Sort 1/2, w, a in descending order.
1/2, a, w
Let c(v) = v**2 - 6*v - 1. Let q be c(6). Let f = 4 + -5. Let z be f/(-1 - (-3)/4). Put q, -4, z in ascending order.
-4, q, z
Suppose -10*i = -7*i - 12. Let o(m) = -m**2 + 2. Let u(y) = y + 1. Let z be u(-3). Let j be o(z). Put i, 0, j in ascending order.
j, 0, i
Let c(f) = 4*f**3 - 2*f**2 + 1. Let a be c(-1). Suppose -2*h - 4*u = 16, 2*u + 22 = -5*h - 26. Let t = -8 - h. Sort 1, a, t.
a, 1, t
Let x = 3 - 2. Let q = -1 - x. Put 2, q, -1 in ascending order.
q, -1, 2
Let n = 2 - 6. Let p be n*(20/8 - 3). Put -1, -4, p in decreasing order.
p, -1, -4
Let l = -0.1 + 0.3. Let i = -11/3 + 127/33. Sort i, -2/17, l in descending order.
l, i, -2/17
Let p be -2*(30/4)/5. Let m be 28/5*(p + 8). Suppose 3*d + m = 7*i - 2*i, -4*i = 2*d - 18. Sort 3, 4, d.
d, 3, 4
Suppose -2*g + 7 = -2*f + 3*f, 4 = -4*f. Let h = g + -2. Let z be -3 - (h + -5 + 1). Put z, 4, 1 in ascending order.
z, 1, 4
Suppose -3 = h - 5. Suppose -2*z = -5*y, -y = -5*z - h*y. Put z, 3, -2 in descending order.
3, z, -2
Let o = -20 + 19.86. Let a = o + -0.86. Put 2/3, a, 4 in increasing order.
a, 2/3, 4
Let a(m) = -m**2 + 6*m - 2. Let c be a(5). Let d = -15 + 19. Sort 5, d, c.
c, d, 5
Let d = -91 + 90.8. Put 2/17, 0.05, d in decreasing order.
2/17, 0.05, d
Let d(v) = -2*v - 1. Let h be d(-1). Suppose -3*f - 9 = 3*k, -h = k + f + 2*f. Let n be (-26)/(-5) + (-2)/10. Sort k, n, 1 in descending order.
n, 1, k
Let w = 1.7 + 0.3. Sort w, 0, 4 in increasing order.
0, w, 4
Let g = 9 - 4. Let c(p) = p + 6. Let z be c(-5). Let l be (-2 - (-9)/6)/1*6. Sort z, l, g in ascending order.
l, z, g
Let j(r) = r + 18. Let z be j(0). Suppose 4*f - 2*t + z = 0, 3*t - 9 = -5*f + 2*f. Sort 5, f, -5 in descending order.
5, f, -5
Suppose 0 = 5*t + 5 - 10. Let w = 30 + 7. Let y = w + -42. Put t, y, 3 in descending order.
3, t, y
Let c = -0.03 + -2.97. Sort -1, -4, c, -0.2 in ascending order.
-4, c, -1, -0.2
Suppose -3*k = 5 - 11. Suppose 2*r = -k*r + 4. Put 4, r, 5 in decreasing order.
5, 4, r
Let i(t) = -t**3 - 2*t**2 - 2*t + 2. Let f be i(-2). Let k be (15/(-4) - -5)*4. Sort f, 4, k in increasing order.
4, k, f
Let v be (2 + (-5)/2)*0. Suppose l + 4*i = -4, 3*l + l - 5*i + 16 = 0. Sort v, l, 3 in descending order.
3, v, l
Suppose -9*n + 50 = -4*n. Put 3, 2, 4, n in ascending order.
2, 3, 4, n
Let w = -0.062 + -0.038. Sort 0.3, 2/9, w, -2/11.
-2/11, w, 2/9, 0.3
Let i = -17 - -21. Let y be (-1)/4 - 1/(-2). Let k be -4 - 3/(30/(-41)). Sort i, k, y in decreasing order.
i, y, k
Let s = 2 - -1. Suppose -8 = g + 3*g. Let n = 35 - 38. Put s, n, g in increasing order.
n, g, s
Let o = 0.3 - 0.8. Let k(w) = w + 3*w**2 - 2*w**2 - 5 + 4. Let z be k(0). Put z, o, -4 in decreasing order.
o, z, -4
Let y = -2.96 - 0.04. Let c = y - -6. Put c, 1/3, -1/2 in decreasing order.
c, 1/3, -1/2
Let x = 11.7 + -6.6. Let g = x - 5. Sort 5, -3/4, g in descending order.
5, g, -3/4
Suppose 3 = 5*s + 43. Let g = s - -8. Suppose g + 1 = -m. Sort -5, 5, m in decreasing order.
5, m, -5
Let z = -16.65 + 13.7. Let i = z + -0.05. Put -5, 0.2, i in increasing order.
-5, i, 0.2
Let v(c) = -c**2 - 15*c - 17. Let i be v(-14). Let q be 2/(-7) - (-5)/(-7). Sort -2, q, i in decreasing order.
q, -2, i
Let w = -21 + 24. Put w, -4, 5 in decreasing order.
5, w, -4
Let s = 3 - -2. Sort s, -0.5, 0.5.
-0.5, 0.5, s
Let c = 45.4 + 0.6. Sort -3, c, 0.3 in ascending order.
-3, 0.3, c
Let d = -4.97 - 0.03. Let k = 3.6 + -4. Sort d, 0, k in descending order.
0, k, d
Let d = -14 - -20. Suppose -2*m + d = -n - 4*m, 30 = 5*n - 2*m. Suppose -3*q = -6 - 9. Put n, 1, q in decreasing order.
q, n, 1
Let o(q) = -q**3 + 2*q**2 - q + 2. Let d be o(2). Suppose 636 = -4*a + 628. Sort a, 3, d in decreasing order.
3, d, a
Let t = -3 + 3.1. Let a be 1/(-7)*(-21)/(-414). Let v = a + -89/414. Put t, -0.1, v in descending order.
t, -0.1, v
Let t = -14 + 26. Let s = t - 11.5. Put 3, s, 0.1 in descending order.
3, s, 0.1
Let s = 103 + -1