 -3 in ascending order.
-3, p, 2
Suppose -11 = 4*m + 1. Sort 2/3, 5, 0.4, m in descending order.
5, 2/3, 0.4, m
Suppose -5*t - 29 = -4*x, -t + 3*x - 8 = -0. Sort -1, -4/7, t in decreasing order.
-4/7, -1, t
Let y = -5 + 7. Let j = y + 0. Let o = 1.4 + 1.6. Put o, j, -1 in increasing order.
-1, j, o
Suppose -3*h = -6*h - 15. Put 4, -2, h in increasing order.
h, -2, 4
Let l = -38 + 38. Put l, 6, -1 in decreasing order.
6, l, -1
Suppose 2 = 2*a + m, -3*a - 7 + 1 = -3*m. Suppose -4 = 2*c + 2*u, -24 = 5*c - 6*u + 4*u. Put c, 3, a in increasing order.
c, a, 3
Suppose -2*i + o - 3 = 0, 0*i - 5*o = 2*i - 27. Put 3, i, 13 in descending order.
13, 3, i
Let r = 1.2 - 0.8. Let o be 1/1 - 77/55. Sort 2, o, r in descending order.
2, r, o
Let m = 26 - 14. Let q(i) = -i + 2. Let g be q(-5). Let f = g - m. Sort -2, f, -1 in increasing order.
f, -2, -1
Let r(d) = 2*d**2 - d - 1. Let x be r(2). Suppose 15 = x*h - 5. Put -5, h, -1 in descending order.
h, -1, -5
Let c(u) = -u + 3. Let n be c(1). Let b = 10 - 9. Put -4, n, b in ascending order.
-4, b, n
Let u(b) = b**2 + 6*b + 9. Let g be u(-4). Suppose -2*h - 15 = h + y, -3*y - 5 = h. Sort g, 2, h in ascending order.
h, g, 2
Let u = 1.5 - 1.7. Put 2/3, u, -5 in ascending order.
-5, u, 2/3
Let l(g) = g**3 - 4*g**2 + 5*g - 2. Let x be l(3). Suppose -t = 2*h + x, -1 - 5 = -4*h + 5*t. Put 3, -5, h in ascending order.
-5, h, 3
Suppose 11 = -2*n - 25. Let f be (2/n)/(2/(-6)). Suppose -5*b - 5*b = 0. Sort f, -5, b in decreasing order.
f, b, -5
Let t = -22.951 + -0.049. Let k = -22.7 - t. Put k, 0.5, 1/8 in decreasing order.
0.5, k, 1/8
Let q(h) = h + 1. Let l be q(-2). Sort 2, 4, -3, l.
-3, l, 2, 4
Let h = -0.13 - -0.03. Let v = 0.06 + 0.24. Let n(i) = -i**3 + 9*i**2 - 8*i - 3. Let b be n(8). Sort h, b, v in ascending order.
b, h, v
Let k(t) = -4*t**2 - t - 1. Let p be k(-1). Let z be 8*(2 - 3/2). Let i be z/(-34) + -2 + 2. Sort -0.1, p, i.
p, i, -0.1
Let x = -154 - -1076/7. Put -4, 4, 0.02, x in descending order.
4, 0.02, x, -4
Let b = 48 - 53. Put 2/17, -1/4, b in increasing order.
b, -1/4, 2/17
Let r = -1 + 5. Sort r, -1/6, -2, 1 in decreasing order.
r, 1, -1/6, -2
Let n = 23.2 - 23. Put n, 0.06, 1 in descending order.
1, n, 0.06
Let v be (((-2)/(-3))/(-2))/3. Let k = -493/3 - -1451/15. Let h = 67 + k. Sort -0.4, v, h in descending order.
v, -0.4, h
Let j be 36/(-10) - 18/(-6). Sort -0.09, -2, j in descending order.
-0.09, j, -2
Suppose -3*j = 2*j - 25. Suppose -j*o + 0*o = 0. Sort 5, o, -5 in increasing order.
-5, o, 5
Suppose -18 = -4*i - 5*i. Sort i, -2, -3 in descending order.
i, -2, -3
Let a(f) = f - 9. Let n be a(5). Sort -1, -1/4, n in decreasing order.
-1/4, -1, n
Suppose -w + 4*r - 1 + 0 = 0, 5*r + 5 = -5*w. Put w, 4, 5, -3 in decreasing order.
5, 4, w, -3
Let v be (176/(-10))/((-1)/(-5)). Let z = v + 179/2. Let m = 13/15 + -1/5. Put 0.1, z, m in decreasing order.
z, m, 0.1
Let c be (1*-6)/2 + 5. Put 1, c, -11 in increasing order.
-11, 1, c
Suppose 4*k = k + 15. Suppose -5*u - 9 = 4*l, 0 = u - 5*u - k*l - 9. Sort u, -2, -0.4 in descending order.
-0.4, u, -2
Suppose -2*w = 2*w - 8. Suppose w*a - 14 = a. Put 3, 2, a in descending order.
a, 3, 2
Suppose 0 = 5*k - 5*i, -2*k - 3*i + 25 = -0*k. Sort k, 2, -7.
-7, 2, k
Let d(t) = t**2 - 2*t - 7. Let x be d(4). Let g be (0 - -1)*(3 - 1). Let l be (2 - g)/(0 - 1). Put x, l, -5 in ascending order.
-5, l, x
Let i = 3 + -1. Let n = i - -2. Suppose -4*v = -6 - 6. Sort n, v, -3 in decreasing order.
n, v, -3
Let p = -0.04 - -4.94. Let n = -0.1 - p. Sort -4, -3, n in decreasing order.
-3, -4, n
Suppose 2*p - c + 0 = 8, 5*p - 3*c = 21. Suppose p*m + 3 = 4*m, -5*m + 15 = 5*s. Let r be 57/(-9) + (-1)/(-3). Sort r, s, 5 in descending order.
5, s, r
Suppose 6 = 4*s - 14. Sort 2, s, -1 in descending order.
s, 2, -1
Let t = -4 - -7. Suppose 0 = -5*g + 20, -2*p = -g - t - 3. Put p, 3/5, -4 in ascending order.
-4, 3/5, p
Suppose 0 = -2*s + 4, -5 = 3*l + 3*s - 4*s. Suppose -4*d - 3*z - 32 = 0, -2*d + 5*d - 5 = 5*z. Sort l, d, -2 in decreasing order.
l, -2, d
Let a = 63080/279 + 748/31. Let r = 250 - a. Let y = -152 + 149. Sort 2/9, r, y in descending order.
2/9, r, y
Let x = -16.7 - 0.1. Let r = 17 + x. Put 3, 5/4, r in decreasing order.
3, 5/4, r
Let f = 64.9 - 65. Sort 0.5, 5, -5/6, f in increasing order.
-5/6, f, 0.5, 5
Let s = -106 - -105.8. Sort -2, s, -4 in descending order.
s, -2, -4
Let a = -1 - 4. Let t = 32 - 32. Sort a, t, 3 in decreasing order.
3, t, a
Let d = 9 - 20. Let y = d + 19. Suppose 0*m - y = -2*m. Put 1, -3, m in ascending order.
-3, 1, m
Let j(f) = -f**3 + 6*f + 9. Let n(d) = 3*d**3 + d**2 - 17*d - 26. Let y(g) = -11*j(g) - 4*n(g). Let u be y(-4). Sort -5, 2, u in descending order.
2, u, -5
Let t = 117 - 130. Suppose 0 = -3*d + 4*z + 7, 2*d - 27 - 1 = -2*z. Let o = t + d. Put o, 1, -2 in increasing order.
o, -2, 1
Suppose 5*t + 2*r = 20, 3*t - 4*r - 38 = -0*t. Let b be (-9 - 0)/3 + -2. Sort b, t, -3 in decreasing order.
t, -3, b
Let u = -81/170 - 2/85. Sort 3, u, -4, 1 in decreasing order.
3, 1, u, -4
Let d be 2/1 - (1 - -6). Let q(r) = -r**2 - 6*r - 4. Let h be q(-3). Put h, -1, d in ascending order.
d, -1, h
Let h be 5 - 7 - (-27)/15. Sort h, 2, 0.08, -4/7 in descending order.
2, 0.08, h, -4/7
Let h = -5 - 25. Let n be ((-12)/h)/((-2)/(-2)). Put 1/2, 4, n in descending order.
4, 1/2, n
Suppose -101 = -5*g - 4*q, -4*g + 61 = q - 11. Suppose -5 = g*i - 12*i. Sort -4, 0, i in decreasing order.
0, i, -4
Suppose -1 = 2*q + 3. Let g = -10 + 15. Put q, g, 4 in decreasing order.
g, 4, q
Let c be -3*(0/(-3) - -1). Let t(w) = w**2 + 2*w - 4. Let x be t(-4). Sort 2, c, x in ascending order.
c, 2, x
Let g = 6 + -10. Let b = 4 + g. Put 1, b, 0.3 in descending order.
1, 0.3, b
Let d = 0.17 - -0.13. Let g = 0.3 + -0.3. Let w = -0.5 + g. Sort d, w, 5/2 in decreasing order.
5/2, d, w
Let x = -0.4 - -0.1. Let o be (6 - (-64)/(-10)) + 24/35. Put o, -0.4, x in decreasing order.
o, x, -0.4
Suppose -q = -3*q - 2. Suppose -5*c - 1 = z - 0*c, -4*z = -4*c - 20. Put z, -2, q in ascending order.
-2, q, z
Let u = -0.8 - -1.2. Sort u, -3, -2/9 in descending order.
u, -2/9, -3
Suppose -5*k = -3*v + 15, k + 1 = 4*v - 2. Sort -2, -5, 8, v in decreasing order.
8, v, -2, -5
Let m(c) = c**2 + c - 17. Let x be m(5). Suppose -4*g = -4*q + g - 3, -3*g - x = 5*q. Sort q, -5, 2 in ascending order.
-5, q, 2
Let k be 0/(-5) - 2/8. Let d = 0.5 - 0.3. Put k, d, 2 in decreasing order.
2, d, k
Let z(g) = g - 5. Let f be z(10). Let p be 1/(-2) - (-2)/4. Suppose p*b + 10 = -f*b. Sort 0, b, -2/3 in descending order.
0, -2/3, b
Let n be ((-18)/15)/(21/(-70)). Sort -5, -3, n.
-5, -3, n
Let x be (-2)/10 - (-11)/5. Let c(n) = n - 6. Let m be c(5). Let w(d) = d**3 - 5*d**2 - 4*d - 8. Let i be w(6). Put x, i, m in descending order.
i, x, m
Suppose s + 3*i = 7, -s = s - 2*i - 6. Sort 3, -2, s in ascending order.
-2, 3, s
Suppose 0 = 5*z - 4*k - 17, -2*z - 5*k + 0*k - 13 = 0. Suppose -3*i + 7*i = 8. Suppose -b - 2 = -0*b. Put b, z, i in descending order.
i, z, b
Suppose 3*y = -y + 40. Let z be (-4)/(-10)*(-37 + 12). Let a = z + y. Put -3, 4, a in descending order.
4, a, -3
Let b(h) = h**2 + 6*h - 2. Let t(p) = -3*p**2 - 18*p + 5. Let i(c) = -11*b(c) - 4*t(c). Let o be i(-4). Put -5, o, -1 in descending order.
-1, -5, o
Let s(w) = -w**2 - 8*w - 1. Let i be s(-6). Suppose -6*z + 2*z - q = 13, -5*q = 2*z + i. Sort -0.4, z, 2 in descending order.
2, -0.4, z
Let n = -7 + 29. Suppose 3*g = 4*w + 63, -2*g - 1 = 3*w + 59. Let x be n/w + (-6)/(-27). Sort -2/5, x, 2/7 in descending order.
2/7, -2/5, x
Let q(y) = y**3 + 4*y**2 - 5*y + 5. Let z(l) = l - 5. Let b be z(0). Let m be q(b). Suppose 5*j = -0*j. Sort m, 3, j.
j, 3, m
Suppose -8 = -5*s - 48. Let r be (-1)/(-4) - (-2)/s. Suppose 2*v - 5 = v. Put 4, r, v in ascending order.
r, 4, v
Suppose -d - 3*d + 3*w = -44, 3*d - w - 38 = 0. Suppose -2*v - 4 = 2, -2*v = -4*c + d. Let l = 4 + -9. Put 0.3, c, l in ascending order.
l, 0.3, c
Suppose 2*i - 4*g - 20 = 0, 0 = -3*i + 2*i + 4*g + 18. Suppose -i*u = -4*u - 4. Let f = 9 - 5. Put u, -1, f in decreasing order.
f, -1, u
Let q be 4/3*(-2 + -1). Suppose -5*b + 0*b + 18 = -4*c, 0 = -4*b + 5*c + 18. Sort 4, b, q.
q, b, 4
Let x be 1/((-4)/(-16)) + 1. Suppose 0 = -3*y - w - 12, 0*y = -3*y - x*w. Suppose -4*p - 14 + 6 = 0. Sort y, 