23 + -19. Sort -5, w, -4 in descending order.
w, -4, -5
Suppose 5*k + 9 = 3*u, 0 = k + 2*u - 4*u + 6. Suppose 5 = 2*g + 1. Suppose g*d = -0*d + 2. Sort d, k, -1 in decreasing order.
d, k, -1
Suppose -5*g = i - 27, 5*i = g + 2*i + 1. Suppose h - 2*h = g*c + 10, -5*h = 4*c + 29. Sort 4, h, 1.
h, 1, 4
Let a = 11 + -13.2. Let i = a + 1.7. Put i, -5, 0.3 in descending order.
0.3, i, -5
Let p(q) = q**3 + 3*q**2 + 3*q + 2. Let x be p(-2). Suppose x = -5*a + 2*a. Let z = 23 + -20. Sort 5, a, z.
a, z, 5
Let c = 8 - 7. Sort 1/6, c, -4.
-4, 1/6, c
Let c = 5.2 + -6. Let v = -1.8 - c. Put -5, v, -4 in decreasing order.
v, -4, -5
Let u be -3 + 6 - (0 - 0). Let s be (3/(-2))/u - 1. Sort -0.4, 0.1, s in descending order.
0.1, -0.4, s
Let a = 0.16 - 11.16. Let q = -6 - a. Let l = -9 + q. Sort 0.5, l, -0.4.
l, -0.4, 0.5
Let l(y) = -5*y - 5. Let w be l(-1). Suppose -6*k + 3*k = -21. Let h = k - 4. Put h, 1, w in descending order.
h, 1, w
Let t be 3/5 - ((-2960)/(-225))/16. Let o = -0.1 - -5.1. Let k = 175/4 + -44. Sort t, o, k in descending order.
o, t, k
Let u = -0.5 + 3.5. Sort -4/11, u, -0.2.
-4/11, -0.2, u
Let k be (3 - 4)/(16/2). Let u = -3 - -4. Put -2/3, u, k in decreasing order.
u, k, -2/3
Let s = -0.06 + 0.1. Let a = s + 0.26. Put a, -5, 2 in decreasing order.
2, a, -5
Suppose -4*a - 3*b = 4, -3*b + 0*b - 10 = a. Let k be a/7 - (-80)/(-182). Let j = 4 + -3.8. Sort -0.1, j, k in decreasing order.
j, -0.1, k
Let i be 24/(-9)*(-18)/8. Sort 3, i, 0.
0, 3, i
Let q(c) = -2*c - 24. Let n be q(-11). Sort 1/4, 2, n, -5 in increasing order.
-5, n, 1/4, 2
Let w = 143 + -142.903. Sort -0.3, -5, w.
-5, -0.3, w
Suppose -5*z = 0, -4 - 1 = -5*m + z. Put m, -1, 4 in ascending order.
-1, m, 4
Let z = -2 - 0. Let t(k) = k + 1. Let h(m) = m**2 - 7*m - 1. Let a be h(7). Let g be t(a). Sort g, 1, z.
z, g, 1
Let i = -57 - -52. Put i, -2/25, 3 in increasing order.
i, -2/25, 3
Let j be ((0/(-1))/(-3))/1. Suppose j = 3*i - 6, 3*i + 6 = 3*w - 0*i. Let c be w/24 - (-58)/12. Put -2, c, -3 in increasing order.
-3, -2, c
Let u be (-2 - (2 - 0))/2. Sort -5, 1, u.
-5, u, 1
Let q = 84.9 + -85. Sort 0.056, q, 2 in decreasing order.
2, 0.056, q
Let g = 23.3 + -23. Let r = -2 - -2. Let k = r - -5. Sort g, k, 3/2.
g, 3/2, k
Let k = 10 - 8. Suppose 0 = -3*x - r + 8, -3*r + 14 = k*x + 2*r. Sort 4, x, 1 in decreasing order.
4, x, 1
Let k be 2 + 0 + (-1 - -2). Suppose -5 = -4*v - s, -v = v - 3*s - 13. Sort -2/15, v, k in decreasing order.
k, v, -2/15
Suppose y + 1 = 9. Suppose -d + y = 3*d. Put d, 5, -1 in increasing order.
-1, d, 5
Let a(i) = -i**2 + 8*i + 10. Let p be a(9). Sort p, 9, 0.4.
0.4, p, 9
Let q = 2 - -2. Suppose v = q*v. Sort 5, 2, v in descending order.
5, 2, v
Let h be -2 + 24 + -2 - 3. Let f = -155/9 + h. Sort 1, 4, f in decreasing order.
4, 1, f
Let o = 0.2 - -0.4. Let w = 3.6 - o. Put w, 0, -2 in descending order.
w, 0, -2
Suppose -2*q = 5*q + 28. Put 0, -2, q, 2 in decreasing order.
2, 0, -2, q
Let f(n) = -2*n - 3. Let a be f(-4). Suppose -3*o - 4 - a = 0. Let u be o/2*(-8)/3. Put -3, 1, u in increasing order.
-3, 1, u
Suppose 3*o = 2*b + 5*o + 4, 2*o = 5*b - 25. Sort b, -2, -11 in ascending order.
-11, -2, b
Let v(s) = 1. Let h(y) = y - 9. Let i(r) = h(r) + 2*v(r). Let k be i(5). Sort 4, 3, k in increasing order.
k, 3, 4
Let q = 48.6 + -49. Let o be (-1)/(-2)*(2 - 2). Let u = 0.3 - 0.1. Put q, u, o in decreasing order.
u, o, q
Let t = 33 + -31.7. Let n = t + -1.5. Put n, -1/4, 5 in descending order.
5, n, -1/4
Let w = 20.5 - 21. Let i = -1 - -2. Put w, 0.5, i in ascending order.
w, 0.5, i
Let j be ((-6)/4)/((-9)/24). Suppose -4*g + j = -4. Let z = 11 - 8. Put g, z, -4 in decreasing order.
z, g, -4
Let h(s) = s**3 - 6*s**2 + 4. Let b be h(6). Let d = -2 + -2. Sort b, d, 5 in descending order.
5, b, d
Let k be 2 - (-2 + -10)/(-2). Let t be k/(-14) + 13/(-21). Let b be -6*((-4)/30 - (-56)/240). Sort -1/2, t, b in increasing order.
b, -1/2, t
Let a = -0.047 + -1.953. Sort -1, a, 10/7 in decreasing order.
10/7, -1, a
Let t = 1 - -2. Let i be (-4)/t - 2/3. Suppose -q = -5*q + 16. Sort 3, q, i.
i, 3, q
Let s = 13.6 + 4.4. Sort s, 5/2, -3.
-3, 5/2, s
Suppose 0 = 3*m + 2*p, -4*p - 7 = -m + 7. Suppose m*t - 4*t = 0. Sort 3, t, 2.
t, 2, 3
Let w = 1.8 + 0.2. Let c = 0.106 + 0.094. Sort -1, w, c in decreasing order.
w, c, -1
Let d = 10 - 17. Let l = d - -6. Sort 4, l, -5 in decreasing order.
4, l, -5
Let b = -0.07 + -2.93. Let t = 1.3 - -1.2. Let s = t + b. Sort -0.2, s, 0.3.
s, -0.2, 0.3
Let d = -11 + 15. Suppose 0*c - 10 = -2*c. Suppose f = -3*h + 2, f - 20 = -2*h + c*f. Sort 3, h, d in descending order.
d, 3, h
Let g = 2/1137 - -894809/5685. Let v = g - 158. Sort v, 0.2, -2/3 in descending order.
0.2, v, -2/3
Let n = -3 + 1. Let z be (-1)/(n/(-10))*1. Let t be -1*(-2 - 2 - 1). Sort z, t, -4.
z, -4, t
Let t be (-120)/(-28) + 4/(-14). Put -2, 3, t in decreasing order.
t, 3, -2
Let u = -17 - -27. Suppose 5*y - 3*a - 5 = u, 5*a = -25. Put 3, y, 1 in ascending order.
y, 1, 3
Suppose 4*c + 1 = 5. Let f = -4 + 3. Let v = -2 + 2. Put c, v, f in descending order.
c, v, f
Let g = 1.3 + -2.1. Let r = g - -0.3. Put 2, r, -1 in decreasing order.
2, r, -1
Let c = 0.012 + -5.012. Put -2/3, c, 5, -4 in increasing order.
c, -4, -2/3, 5
Let h = 14.35 + 0.35. Let v = -15 + h. Put 1/8, v, 2/3 in decreasing order.
2/3, 1/8, v
Let l be ((-4)/(-10))/(3/(-15)). Put l, -5, -1, 4 in descending order.
4, -1, l, -5
Suppose 0 = 5*x + 14 + 1. Let c = -142 + 146. Sort c, x, 5 in decreasing order.
5, c, x
Let x = -24 + 22. Sort x, -15, 4.
-15, x, 4
Let o be 1 - (-9)/(7 + -4). Put o, -4, 1 in ascending order.
-4, 1, o
Let a be 1 + 1 + (-2 - -1). Let g(n) = -2*n + 8. Let p be g(6). Let w be (1 + p)/(1 + -2). Sort a, w, -5 in decreasing order.
w, a, -5
Let z = -1 - -1. Suppose -y - 2 = -3. Let b(a) = a + 6. Let q be b(-1). Sort y, q, z in descending order.
q, y, z
Let y = -1.2 + 1.2. Let s = 3 - 5. Put s, y, 0.4 in decreasing order.
0.4, y, s
Suppose 0 = 2*d - 3*x - 9 - 5, 3*d + 3*x + 9 = 0. Suppose d = f - 2*f. Let n = 5 - 3. Put 5, f, n in increasing order.
f, n, 5
Let d(x) = 6*x**3 - 2*x**2 + 1. Let h be d(-1). Let m = h - -9. Let y = 4 - m. Sort y, -3, 0 in descending order.
y, 0, -3
Let y = 15 + -17. Let w be 5/10 + y/6. Sort w, 0, 8 in ascending order.
0, w, 8
Let t = -65 - -61.9. Let w = t - -0.1. Sort 3, 1/4, w.
w, 1/4, 3
Let z(s) = 7*s - 12*s + 4*s - 13. Let k be z(-9). Put k, -0.04, -0.5 in descending order.
-0.04, -0.5, k
Let m be (9 + -8)/(2 - 1). Sort -1, m, 0.
-1, 0, m
Let l = -6 - -13. Let d = -6 + l. Sort d, -3/7, 4 in increasing order.
-3/7, d, 4
Suppose -4*a + 9*a - 30 = 0. Let g = 2 - a. Let u be 26/42 - 6/21. Put u, 1, g in ascending order.
g, u, 1
Let o = -0.06 + 2.06. Let u = o + -2.5. Let h = 7/45 + -4/15. Put h, 0.5, u in decreasing order.
0.5, h, u
Let r = 16 + -13. Suppose -s + 8 = -r*s. Sort s, -2, -5 in descending order.
-2, s, -5
Let y = -0.08 - -4.08. Let a = -3.8 + y. Sort -1/5, a, -0.3 in descending order.
a, -1/5, -0.3
Let t = 0.1 - 4.1. Let f = -5 - t. Sort f, 0, -0.3 in ascending order.
f, -0.3, 0
Let i = 31 - 26. Put -0.3, i, -3 in descending order.
i, -0.3, -3
Let l be ((-2)/40)/(2/4). Let d be (-75)/(-15) + (-2 - 0). Put l, d, -1 in descending order.
d, l, -1
Suppose 35 - 15 = 5*f. Suppose -3*j + 2 = -16. Let q(r) = r**2 - 5*r - 5. Let h be q(j). Put h, -3, f in increasing order.
-3, h, f
Let r = 2.7 - 2.2. Sort 0, 2, r in descending order.
2, r, 0
Let s = -0.1 - -0.5. Suppose 5*j + 47 - 2 = 0. Let i = -4 - j. Put i, s, -4 in decreasing order.
i, s, -4
Let t = -5.7 - -8. Let w = -1.9 + t. Put w, 0, -4 in ascending order.
-4, 0, w
Suppose 0 = 4*p - 18 - 2. Suppose 0 = -2*y - 8. Let v = y + -2. Sort v, p, -4 in decreasing order.
p, -4, v
Let o = 4 + -8. Put 3, o, 0 in decreasing order.
3, 0, o
Suppose s = 8*s - 21. Let k be (-2 - -4) + 5/(-2). Put 5, k, s in ascending order.
k, s, 5
Let v = 1.9 + -1.5. Let b = -0.02 - -0.62. Let s = b - v. Put 0.5, s, -0.3 in descending order.
0.5, s, -0.3
Let i = 7 + -2. Let v(m) = m**3 - 10*m**2 - 12*m + 11. Let o be v(11). Let r(l) = l**3 + l**2 - l. Let c be r(o). Put i, -2, c in descending order.
i, c, -2
Suppose 5 = t + 2*u, 3*t - 1 = 5*u - 19. Let x = t - 0. Let q be 2*(-1 - -1 - x). Sort q, -4, 3 in descending order.
3, q, -4
Suppose f =