 = 1 - 1.2. Sort f, k, p in increasing order.
p, f, k
Let f(c) = c**3 + 3*c**2 + 3*c + 1. Let q be f(-2). Let v be -4 + q + 3 - -3. Put -5, v, -1 in decreasing order.
v, -1, -5
Let x = 12 - 9. Suppose 7*h + 12 = 3*h. Let o be (x/(-3))/((-1)/h). Put o, 4, -1 in ascending order.
o, -1, 4
Let a be (2*(-2)/20)/1. Put a, -2/11, 0.2 in descending order.
0.2, -2/11, a
Let x = -0.011 - 0.489. Sort 2/11, x, 0.5, -0.17 in decreasing order.
0.5, 2/11, -0.17, x
Suppose 2*f - 5*f = 21. Let c = f - -1. Let j = -6 - c. Put j, -4, -2 in descending order.
j, -2, -4
Let q = -2.897 - 0.003. Let b = -3 - q. Let p be 3 - 0*(4 + -3). Put p, 0, b in descending order.
p, 0, b
Let x(u) = u**2 + 2*u + 1. Let v be x(-1). Let p = 2.7 + -6.1. Let s = -0.6 + p. Sort -1/7, s, v.
s, -1/7, v
Let j(p) = 2*p + 8. Let k be j(-7). Let x be (k/(-3) - 2)/1. Let y be -1 - -2 - (1 - -5). Sort y, x, 5 in increasing order.
y, x, 5
Let z = -38.6 - -39. Sort -5, -3, -4, z.
-5, -4, -3, z
Let r be 92/9 - (-4)/(-18). Put 2, -4, r, -3 in descending order.
r, 2, -3, -4
Let g = 7 + -2. Let v = -6 + g. Put -2, v, -0.3 in ascending order.
-2, v, -0.3
Let l(h) = -3*h - 1. Let a be l(5). Put 1, -5, a in descending order.
1, -5, a
Suppose 2 = -5*l - 3, c - 3 = -l. Suppose 3*v - v + 8 = 0. Sort 0, v, c in increasing order.
v, 0, c
Suppose 0 = 3*q + 9 + 3. Let z(u) be the first derivative of -u**4/4 + u**2/2 - 2*u + 1. Let x be z(-2). Put q, x, 1 in ascending order.
q, 1, x
Let i = -14158409481/2669 + 5304762. Let l = i - -1/157. Sort 1, -1, l in ascending order.
-1, l, 1
Suppose 0 = 3*x - 4 - 2. Suppose 2*b = -0*o + o - x, 3*b - 4*o + 3 = 0. Suppose -4*f - t + 0*t - 17 = 0, -2*t = -4*f - 2. Sort f, -4, b in increasing order.
-4, f, b
Let m(l) = l**2 + 5*l - 22. Let y be m(-8). Put 1, y, -5 in ascending order.
-5, 1, y
Let o(z) = -z**2 - 6*z + 16. Let k be o(-8). Put 1, -4, k, 2 in increasing order.
-4, k, 1, 2
Let y = -21 + 85/4. Sort y, 3/2, -4 in decreasing order.
3/2, y, -4
Let z = -4.24 + -0.72. Let n = -0.04 + z. Suppose m = -1 - 2. Put n, m, 5 in decreasing order.
5, m, n
Suppose 0 = 3*f + 2*f + i - 13, 3*i = -5*f + 19. Suppose -6*w = -4*w - 4. Suppose q - 2 = s, 0 = 2*s + w*s + 3*q + 22. Put s, f, 0 in descending order.
f, 0, s
Let x = -16 - -11. Let j = 9 - 12. Sort -2, j, x in descending order.
-2, j, x
Let o = -12 - -16. Sort -2, o, 0.01 in increasing order.
-2, 0.01, o
Let u = -46 + 51. Let m(l) = -2*l**3 - 3*l**2 + 0*l**2 + 2*l**2 - l. Let f be m(-1). Sort 1, f, u in descending order.
u, f, 1
Let f = 135 - 134.8. Let g be (-1)/2 + (-2)/(-3). Sort g, f, -5/3.
-5/3, g, f
Let v = 1 + 1. Suppose 3*t - 2*w = 2 + 23, 2*t + 4*w + 10 = 0. Put v, -3, t in descending order.
t, v, -3
Let a be 46/(-8) - (-7)/(-28). Let c be -1 - (-7 + a/(-3)). Sort c, -2, -4.
-4, -2, c
Let o(k) = 5*k - 4. Let d be o(3). Suppose 0 = -3*x - 1 - d. Let c be (-48)/(-6) + -17 + 6. Put 0, c, x in increasing order.
x, c, 0
Suppose 3*a = 3*x + 5*a, 5*x + a + 7 = 0. Sort -5, -7, -4, x in descending order.
x, -4, -5, -7
Suppose -y + 0*y = 4. Let l be 3 + 8/4*y. Sort 0, l, -1/3 in ascending order.
l, -1/3, 0
Let g(n) = -n - 2. Let s be g(-6). Let y = 2 + -1.5. Sort s, y, -0.1 in ascending order.
-0.1, y, s
Let m = 0.21 + -1.21. Put 0, 0.5, m in decreasing order.
0.5, 0, m
Let r = 56 + -170/3. Sort r, 2/9, -2/11 in ascending order.
r, -2/11, 2/9
Suppose 4*j + 2*p + 3*p + 20 = 0, -2*p - 10 = 2*j. Let u be (-2)/j + (-7)/(-20). Put u, -0.02, 1/5 in descending order.
u, 1/5, -0.02
Let j be 2/(-4 + -2 + 5). Put j, -13, 0 in decreasing order.
0, j, -13
Let o = -23 - -19. Put o, 2, -0.4 in decreasing order.
2, -0.4, o
Suppose 3*o - 14 = 8*o - 2*y, 2*o - 3*y = 1. Let k = -1 + 7. Let d = k - 5.8. Sort o, d, -0.2.
o, -0.2, d
Let b = 0.23 - 0.63. Sort b, 0, -8/3 in increasing order.
-8/3, b, 0
Let g = 4 - 2. Let q = 2 - 4. Let j = q - -3. Put g, -1, j in ascending order.
-1, j, g
Suppose 0 = 7*b + 10 + 4. Put b, -0.4, 7/5 in decreasing order.
7/5, -0.4, b
Suppose -4*d + 4*u + 16 = 0, 4*u - 5*u - 4 = -5*d. Put 3, 4, d in increasing order.
d, 3, 4
Let g = 18 + -22. Let q be -1*-2*(-2)/4. Put 2, g, q in ascending order.
g, q, 2
Let i be -8*4/(-32)*-2*1. Sort 43, 1, i.
i, 1, 43
Suppose 0 = 2*a + s + 3*s + 26, -35 = 5*a + 4*s. Suppose -w - 4*c = 12, -4*c + 3*c = -2*w + 12. Sort a, w, 11 in descending order.
11, w, a
Let a(l) = -l**2 - 5*l - 3. Let t be a(-2). Suppose -t*o + z + 16 = 3*z, -23 = -3*o + 5*z. Sort o, -4, 1.
-4, 1, o
Let h = 50 - 50. Sort 3, h, 5 in descending order.
5, 3, h
Let i(r) = 13*r**2. Let z be i(1). Let u = z + -17. Let c(y) = 3*y - 1. Let h be c(1). Put h, u, -1 in ascending order.
u, -1, h
Let u be (2 - (-68)/(-36))*-2. Put -7, u, 0.4 in increasing order.
-7, u, 0.4
Let b(p) = p**3 - p**2 + 2*p - 5. Let u be b(0). Sort -6, u, 0 in ascending order.
-6, u, 0
Suppose -l - 2*l + 6 = 0. Suppose -5*v - 2*d = 17, 4*v + d + 7 = 2*v. Put l, v, 2/7 in ascending order.
v, 2/7, l
Let j = 0.1 + 0.2. Let q = 2 + -2.1. Let z = q - 0.3. Sort j, -1/4, z.
z, -1/4, j
Let l = -8 + 8. Sort l, 4, 3 in increasing order.
l, 3, 4
Let x(q) = -q**3 + 4*q**2 - 4*q + 2. Let f be x(3). Sort 0, 8, 5, f in increasing order.
f, 0, 5, 8
Let x = -1730/9 - -192. Put x, 3/5, 5, 0.3 in decreasing order.
5, 3/5, 0.3, x
Suppose -5*g = -4*g - 3. Let s be 27/6 - 2/(-4). Sort -1, g, s in ascending order.
-1, g, s
Suppose x = -3*x. Let w(a) = a - 1. Let j be w(x). Let c be (-1 - (-66)/70)*-15. Sort c, 0.2, j in decreasing order.
c, 0.2, j
Let r = 3.997 + 0.103. Let g = -0.1 + r. Put g, -1/4, 2/17 in descending order.
g, 2/17, -1/4
Suppose -4*u + 0*s - 4*s - 4 = 0, 4*u - 36 = 4*s. Let c = -9 - -9. Put -2/5, u, c in decreasing order.
u, c, -2/5
Let q = 30 + -24. Sort -2, q, 1/4 in descending order.
q, 1/4, -2
Let l = -0.06 + 0.01. Let q = l - 0.05. Put q, -0.4, 2 in ascending order.
-0.4, q, 2
Let g(f) = f**3 - 13*f**2 + 2. Let t be g(13). Let u be ((-3)/(-8))/(5 - t). Put u, 1/7, 1/3 in ascending order.
u, 1/7, 1/3
Let u = 223/30 + -41/6. Let l = 0.069 + -0.169. Sort u, l, 1 in increasing order.
l, u, 1
Suppose 15 = -d + 4*u, -3*d - 2*u = -u - 7. Put 38, d, 2 in increasing order.
d, 2, 38
Suppose -2*k = 2*b - 8, 4*b + 0*b + 5*k - 20 = 0. Let z = -41 + 39. Put 1, b, z in increasing order.
z, b, 1
Let n be 1/2*(-64)/(-16). Sort -1, -5, n in ascending order.
-5, -1, n
Suppose r + 10 = -5*g, 2*g + 21 = 3*r - 0. Let l = 1 - g. Sort -2, -1, l in increasing order.
-2, -1, l
Let h = 75 + -378/5. Let u(m) = m**2 - 6*m + 7. Let g be u(5). Let o be g/(-5) + (-8)/(-10). Sort o, h, -1/3.
h, -1/3, o
Suppose 0 = -2*y - 5*j + 47, y - 2*j - 1 = -0. Suppose -4*p + 5*w = -0*w, p + y = 4*w. Sort -3, p, 1.
-3, 1, p
Let d be (3 - 2) + -27 + -2. Let t be 76/d - 4/14. Sort 7, t, -2 in ascending order.
t, -2, 7
Let j = -0.033 - 20.967. Let o = 18 + j. Let p = 0 + -2. Sort p, 0, o in ascending order.
o, p, 0
Let t = -12 - -4. Let d be (t/(-20))/((-4)/40). Sort -1, -3, d.
d, -3, -1
Let y = 70 + -74. Sort 7, 5, y, -2 in descending order.
7, 5, -2, y
Let k = 2.6 - -0.4. Let q = -9.2 - -10.2. Sort k, 0.5, q in decreasing order.
k, q, 0.5
Let f(y) = y**2 + 2*y + 1. Let b be f(-2). Let i = -6 + 21. Let s be i/10*(-4)/6. Sort b, s, -2 in ascending order.
-2, s, b
Let i = -396 + 396. Let g = -16 - -10. Put i, g, -4 in descending order.
i, -4, g
Let k = 21 - 13. Let f(x) = -x**3 - 5*x**2 - 4*x - 3. Let w be f(-4). Let b = k + w. Put -5, b, -3 in increasing order.
-5, -3, b
Let g = 0.13 - 0.01. Let a = -4.12 + g. Put 0, -3, a in ascending order.
a, -3, 0
Suppose 36*h - 35*h = 2. Let k be ((-12)/56)/(3/4). Sort -3/2, h, k.
-3/2, k, h
Suppose -3*n = 0, -4*n + 1 = 3*j + 10. Let b be (2/4)/(j/(-6)). Let g be -1 + -1*b/(-2). Sort -2, -0.3, g in descending order.
-0.3, g, -2
Suppose -33 = -4*n + 5*w, -3*w - 15 = -0*w. Put 3/2, -2/3, n in decreasing order.
n, 3/2, -2/3
Suppose -4*g + 12 = -0*g - 4*o, -10 = -4*g + 5*o. Sort 0, 1, g in descending order.
g, 1, 0
Let h = -14 + 14. Let l be h/(6 + -1 + -1). Put -4, 3, l in decreasing order.
3, l, -4
Suppose 2*q - 2 = 0, 3*x = 5*x + q - 5. Suppose -4*o = -14 - x. Put -5, -2, o in ascending order.
-5, -2, o
Suppose 2*i + 4*m = 0, 3*i + 18 = 3*m - 0*m. Sort 4, -12, i in descending order.
4, i, -12
Let b = -3 + 6. Suppose b*z + 6 + 0 = 0. Put z, 1, -1 in desce