 5
Let d(z) = 5*z**3 - 2*z + 1. Let t be d(1). Suppose 0 = -4*i + 2*f - 2, 4*i - 5*i - 3*f - 11 = 0. Sort i, 1, t in decreasing order.
t, 1, i
Let x be (0 - (0 + 0))/(-2). Let u = -11 - -15. Sort u, x, 3.
x, 3, u
Let l = -5 - -8. Let f = 0 - l. Suppose -18 = 4*c - 2. Put c, 0.2, f in descending order.
0.2, f, c
Let s be 0/((7 - 2) + 0/(-2)). Put -13, -1, s in decreasing order.
s, -1, -13
Let g = -5.7 - -5.4. Put -16, g, 6 in decreasing order.
6, g, -16
Suppose 9*u - 7*u + 10 = 0. Let z(d) = -d + 5. Let y be z(0). Sort u, y, 4 in decreasing order.
y, 4, u
Suppose -3*n = c + 14, 2*c = -5*n + 5*c - 28. Sort n, -9, 3.
-9, n, 3
Let y(m) = -m**3 + 5*m**2 - 5*m + 3. Let g be y(3). Let n = g - 5. Sort -4, -0.2, n in decreasing order.
n, -0.2, -4
Let t be (8/(-6))/(8/(-12)). Sort t, 0.5, 2/5.
2/5, 0.5, t
Let w = 1 + -1. Suppose w = -4*d + 12. Suppose -6 = -4*i + i. Sort i, 1, d in increasing order.
1, i, d
Let s = -3 + 2.2. Let r = s - -1. Let x = 0.119 - -0.181. Sort x, r, 4 in increasing order.
r, x, 4
Let v = 0.31 - 1.31. Put v, -1/8, -2/7 in increasing order.
v, -2/7, -1/8
Let g(s) = -s**3 + s**2 - s + 2. Let y be g(2). Sort 3, 4, y in ascending order.
y, 3, 4
Let c(y) = 6*y**3 - 2*y**2 + 2*y - 1. Let h = 3 - 2. Let a be c(h). Suppose 0 = g - 0 + 3. Sort g, a, 3.
g, 3, a
Let c be 64/(-28) - 8/(-28). Sort -1, c, 5.
c, -1, 5
Suppose 2*y + 6 = 2. Let p be (-1 - 0 - -1)/(-1). Suppose p*s = 2*s. Sort s, -1, y in ascending order.
y, -1, s
Let v = -2.4 + 13.4. Let l = 6 - v. Let j = -2225/19 + 117. Put l, j, 4 in descending order.
4, j, l
Let h be (-3 - (-8)/4)/((-3)/6). Put -1, -4, -5, h in ascending order.
-5, -4, -1, h
Let b be 72/20 - (-9)/(-15). Sort 4, 1, b in decreasing order.
4, b, 1
Let i = -1.14 - -0.14. Sort 0.3, 4, -3/2, i in decreasing order.
4, 0.3, i, -3/2
Let d(y) = -y**3 - 6*y**2 + 1. Let w be d(-6). Put -3, w, 5 in ascending order.
-3, w, 5
Let x = -1 + 0.7. Let u = 0.1 - x. Let s(i) = -i. Let k be s(1). Put k, u, -2 in decreasing order.
u, k, -2
Suppose -12 = -2*b + z, 0*b + z = -4*b + 12. Let u = 30 + -30. Sort u, b, -5.
-5, u, b
Let g be 2/(-4)*(-72)/12. Put -4, g, 5 in increasing order.
-4, g, 5
Suppose 16 = -7*k + 11*k. Let g = 3 - 6. Sort k, 0, g in increasing order.
g, 0, k
Let x(i) = i**3 - 2*i + 1. Let b be x(2). Let d = -40.3 + 54. Let z = 14 - d. Put b, z, 0.2 in decreasing order.
b, z, 0.2
Suppose -2*w - 2*b + 2 = 0, -w + b - 5*b - 11 = 0. Sort 0, -1, 4, w in descending order.
w, 4, 0, -1
Let h = 1.6 - -2.4. Sort -6/7, 0.2, -4, h in descending order.
h, 0.2, -6/7, -4
Let l = 26 + -31. Sort -1, l, 2 in ascending order.
l, -1, 2
Let v = 1.5 + -6. Let c = -14 + 9. Let a = c - v. Sort a, -4, -0.1.
-4, a, -0.1
Let x = 45 + -181/4. Sort 1/4, x, 0.
x, 0, 1/4
Let w(t) = t**3 - 3*t**2 - 10*t - 1. Let r be w(5). Put r, -3, 0 in increasing order.
-3, r, 0
Let q(f) = -2*f**3 + f**2 - 2*f + 1. Let t be q(2). Let h = t - -12. Suppose 0 = -7*s + 2*s - 10. Put s, 1, h in descending order.
1, s, h
Suppose -q - 9 = -5*d, -5*d - q = -4 - 7. Suppose 4*h = d*h - 10. Let s(v) = -v**2 - v + 20. Let n be s(-5). Sort h, n, 4 in ascending order.
h, n, 4
Let y(q) = q**3 + 6*q**2 + 5*q + 3. Let d(r) = r. Let l be d(-2). Let h be l*1*(-35)/(-14). Let b be y(h). Put 2, -5, b in decreasing order.
b, 2, -5
Let k(g) = 4*g**3 - 3*g**2 - g - 2. Let u = -3 - 2. Let w(a) = 7*a**3 - 6*a**2 - 3*a - 3. Let q(z) = u*k(z) + 3*w(z). Let b be q(4). Sort -4, 0, b.
-4, 0, b
Suppose i + 18 = 5*r, -16 = -3*r + 2*i - 1. Suppose -3*y - 20 = y. Put r, y, -3 in decreasing order.
r, -3, y
Let y = -29 + 31. Sort -0.1, y, -1, -0.4 in decreasing order.
y, -0.1, -0.4, -1
Let s = -1.9 - -0.9. Let m = -71/3 + 23. Sort 0.3, s, m in increasing order.
s, m, 0.3
Suppose 4 = 3*q - 7*q. Suppose 125 = 5*y - 5*d, 36 = 4*y - 5*d - 64. Suppose -4*n = y - 5. Sort 2, n, q in decreasing order.
2, q, n
Suppose -20 = z + z. Let h = z - -6. Sort 1, 0, h.
h, 0, 1
Let h = -0.3 - 0.2. Let d = h - -0.3. Let t = -12 + 11.7. Sort t, d, 1/8.
t, d, 1/8
Let t be (4/8)/((-9)/(-6)). Sort 5, 0, -3, t.
-3, 0, t, 5
Let w = -57 - -56. Put w, -0.5, 1/5 in increasing order.
w, -0.5, 1/5
Let c = -14.1 + 14.5. Put 0.2, c, -4 in descending order.
c, 0.2, -4
Let v = -3 + 0. Suppose -5*i - 4*r + 6 = 0, 2*i + 3*r = -0*i + 8. Let h = 0 - i. Put 0, h, v in ascending order.
v, 0, h
Suppose -3*t = 9 + 3. Sort 3, 1, 9, t in descending order.
9, 3, 1, t
Suppose n + 5 = -4*r, 7*r - 4*r = 3*n - 15. Let z(x) = x**3 - 5*x**2 - 3*x - 6. Let s be z(6). Sort s, r, 4 in ascending order.
r, 4, s
Let x = -1573/9 + 175. Sort -5, x, 6 in decreasing order.
6, x, -5
Let i(d) = -2*d - 9. Let o be i(-5). Suppose -5*n - 7*j + 15 = -2*j, 0 = -n - 2*j + 3. Suppose n*p + 4 = -5. Put p, o, 5 in descending order.
5, o, p
Let d = -0.1 + 0.5. Let c be (-9)/(-12) + 2/8. Sort c, 2/9, d in descending order.
c, d, 2/9
Let k = -1 - -1.5. Let j = -217 + 217. Sort j, 3/4, k in descending order.
3/4, k, j
Let i be (0/(-1))/2 - -1. Let m(v) = v - 3. Suppose -24 = -4*h + 8. Let a be m(h). Sort a, -4, i in decreasing order.
a, i, -4
Let t be (-23)/(-7) + 12/(-42). Let i = -1 + 5. Sort -5, i, t in increasing order.
-5, t, i
Let l = -7 - -7. Let s = 3 + l. Let h(g) = -g**3 - 6*g**2 - g - 7. Let b be h(-6). Sort s, b, -4 in ascending order.
-4, b, s
Let s be 0/4*2/4. Put s, -4, 1 in descending order.
1, s, -4
Let m be 150/54 - (1 - -2). Put 0.3, 3/8, m in descending order.
3/8, 0.3, m
Suppose -43 - 7 = 10*q. Suppose -3*g - 3 = 3. Sort q, -3, g in ascending order.
q, -3, g
Let x = -0.8 + 1. Suppose -2*c - 14 = -4. Let n = 0.16 - 0.36. Sort c, x, n in decreasing order.
x, n, c
Let m = -21 - -17. Let l = -2.1 - -2. Let y = l - -0.4. Sort m, 4/5, y.
m, y, 4/5
Suppose -4*b = 3 + 1. Let n = -19 + 19. Put n, b, 5 in increasing order.
b, n, 5
Suppose -5*c + 0 = -15. Suppose z + c*z = -12. Let a(t) = t + 1. Let w be a(-3). Sort 3, z, w in decreasing order.
3, w, z
Suppose 0 = 3*b - 0 - 3. Put 0, b, -1 in descending order.
b, 0, -1
Suppose -4*n = 4*c + 28, 2*c - 5 = c + 2*n. Put 0.04, c, -5 in decreasing order.
0.04, c, -5
Let w = -2.2 + 2. Sort w, 2, 0.1 in descending order.
2, 0.1, w
Suppose v - 61 = 3*n, -v + 2*v = 4*n + 81. Let i be (-2)/(-4) - (-14)/n. Sort -5, -4, i in descending order.
i, -4, -5
Suppose 5*s = -15, l + l + 11 = -s. Let c be 3*(-2)/6 - 4. Sort -2, l, c.
c, l, -2
Let p = 1 - 7. Let b be p/10 + 2/(-5). Sort 0, 5, b in decreasing order.
5, 0, b
Suppose 3*o + 12 = 0, -3*s + 0*o + 14 = -2*o. Let r = 40 + 19. Suppose 18 = 2*u - 2*x, 5*x + r - 22 = 3*u. Sort -2, s, u.
-2, s, u
Let r = 0.018 + -0.118. Sort r, 0, 3.
r, 0, 3
Let j = 151 - 150.4. Put 3, j, 3/2, 2/17 in increasing order.
2/17, j, 3/2, 3
Let f be (-1)/(-5) + (-3)/5. Let s be 1/(-2*(-1)/(-10)). Put f, s, 4/3 in descending order.
4/3, f, s
Let x = 12 - 15. Sort 1, -4, x in decreasing order.
1, x, -4
Let f = 8 + -6. Let s be (-2 + 3)/(f/(-4)). Put 5, -1, s in descending order.
5, -1, s
Let u = 7 + -9. Let z = -1.5 - u. Put z, -1, 2 in decreasing order.
2, z, -1
Suppose 22*q - 16*q - 12 = 0. Sort -6, 5, q, -3 in ascending order.
-6, -3, q, 5
Let v = 2220890/30719 - 324/1807. Let i = -72 + v. Put i, 0.1, 4 in increasing order.
0.1, i, 4
Let i = 0.3 + -0.8. Let n = 2.19 + -11.19. Sort -4, n, i in increasing order.
n, -4, i
Let k = -134 - -158.9. Let u = k + -26. Let v = -0.9 - u. Sort 1/4, -2, v.
-2, v, 1/4
Let p be 4/18 + (-4)/18. Suppose -a - 10 = -0*i - i, 4*a + 2*i + 16 = p. Let m(w) = -w - 6. Let s be m(a). Put 3, s, 1/4 in decreasing order.
3, 1/4, s
Suppose 3*r - 3 = -4*j, -2*j + 6*j - 5*r = 27. Put j, -2, 1 in descending order.
j, 1, -2
Suppose 18 = 5*o + 2*l, 5*l - 8 = -3*o + l. Suppose -2*u + m = -9 + 3, 12 = 4*u - o*m. Sort 4, u, 2 in descending order.
4, u, 2
Let o = -13763/10257 + -18/263. Let x = 28709/273 - o. Let m = -106 + x. Put 0.1, -2, m in descending order.
m, 0.1, -2
Let w = 31.5 + -32. Put 0.1, 4, w in ascending order.
w, 0.1, 4
Suppose 0*q = 3*q + 2*c - 9, 5*q = 3*c + 15. Sort -1, -3, -5, q.
-5, -3, -1, q
Let o = -1 + 3. Suppose -c = o*v + 9, -2*v + 3*c + 24 = -7*v. Let a be 1 - 1 - -1 - v. Sort 1, 3, a in decreasing order.
a, 3, 1
Let b = 0 + 5. Let a be 25/(-10)*4/(-5). Put a, b, -3 in descending order.
b, a, -3
Suppose 8 = 7*t - 5*t. Put -3, -1, 5, t in decreasing order.
5,