1, 5
Suppose -796*s = -823*s. Put 1, -6, s in increasing order.
-6, s, 1
Let q = -2734 + 2749. Sort 36, 4, q in increasing order.
4, q, 36
Let g = -629/145 - -120/29. Put g, -3/2, -14/9 in decreasing order.
g, -3/2, -14/9
Let y = -79 + 83. Let m be 0 + -3 + y + (-6)/(-2). Suppose -4 = 2*i - 0. Put 0, m, i in descending order.
m, 0, i
Suppose 2*u - 11 = 83. Suppose -31 - u = -13*w. Suppose -16*f + 10*f = w. Put f, 2, -2, 0 in decreasing order.
2, 0, f, -2
Suppose 5*u = -5*v, 4*v + u - 1 + 10 = 0. Let a = -44 + 49. Sort -5, a, v, 0 in increasing order.
-5, v, 0, a
Let x be (14/8 - 2) + (-2061)/(-36). Suppose -z + 28 = -0*c + 2*c, 4*z + x = 5*c. Sort 2, c, 1, -3 in decreasing order.
c, 2, 1, -3
Let b = -2614 + 28748/11. Sort -0.5, b, -2/7, -2/5 in increasing order.
b, -0.5, -2/5, -2/7
Let z(x) = x**2 + 47*x + 244. Let s be z(-41). Let c = -57 + 56.8. Sort -0.1, c, s, 1/28.
s, c, -0.1, 1/28
Let t = -52.5 + 46. Let o = t - -1.5. Let q be 2 + (-3 - (-5)/(30/8)). Put 4, 1, o, q in descending order.
4, 1, q, o
Let o = 277/1410 + -7/235. Sort -2/5, -13, o, 3 in increasing order.
-13, -2/5, o, 3
Let x = -1922 + 1931. Let b be (4 - -1)*(2 - -1). Let t = b - x. Put -3, t, 5 in descending order.
t, 5, -3
Let x be -3 + 1 + (0*(-14)/(-140))/2. Put -1/5, 5, x, 0.3 in descending order.
5, 0.3, -1/5, x
Let u(x) = -x**3 + x**2 + 28*x + 16. Let p be u(6). Put 8, -1/18, p in decreasing order.
8, p, -1/18
Let i = 28 + -20. Suppose 3*q = i + 1. Suppose -y - q*h = y - 10, -4*h + 21 = -5*y. Sort 5, y, -6.
-6, y, 5
Suppose 9 = -3*o + 3*f, o + 23 = 49*f - 44*f. Sort -7, 53, o.
-7, o, 53
Let q be (-29 - -1)/2*(-410)/20. Let t be (1 + 5)/(q/(-98) + 3). Let b be (-1)/4*t/(-7). Sort 5, b, -2 in ascending order.
-2, b, 5
Let y be (-40)/18 + (2 - 0). Let z = -3/217 - 639/868. Put y, z, -5/3 in descending order.
y, z, -5/3
Suppose 4280 - 63214 = 79*c. Sort 1, c, -1 in descending order.
1, -1, c
Let a = 9043.5 + -9043. Sort 0, -13, 1/25, a in decreasing order.
a, 1/25, 0, -13
Suppose -2*p + 4 = 2*p, h - 1 = 4*p. Let u be (4/(-10))/((-5)/(-150) + 0). Let s be (-5)/(31 + -1)*u. Put 4, h, s in decreasing order.
h, 4, s
Suppose 0 = -5*z + 136 - 101. Put z, -0.3, 0 in decreasing order.
z, 0, -0.3
Suppose -5*a = o + 2*o - 44, o + a = 12. Let d = -60001 - -60002. Sort -5, d, o in ascending order.
-5, d, o
Let q = -663 + 599. Let r(p) = 2*p**2 + 1. Let y be r(-1). Sort q, y, 5 in increasing order.
q, y, 5
Let m(q) = -30*q + 629. Let o be m(21). Put 10, -13, o in increasing order.
-13, o, 10
Suppose j - 25 = 6*j. Suppose -4*g - 10 = -5*x, -2*x - g + 9 + 8 = 0. Sort 0, j, x in descending order.
x, 0, j
Let i = 2/317 - -2181/6023. Let h = -3536/9443 + i. Let u = -925/11431 + h. Sort 2, u, -2/39, -0.4 in ascending order.
-0.4, u, -2/39, 2
Let k = -0.22503 + 0.28803. Put k, -1.3, -2 in descending order.
k, -1.3, -2
Let f be (-1)/1 + (18 - 18) + (0 - 6). Sort 5, f, -5, -10, -4.
-10, f, -5, -4, 5
Let t(f) = 4*f. Let n be t(-2). Suppose 0*g + 1 = g. Suppose -9*r - 32 = 4*m - 13*r, 5*r - 32 = -3*m. Sort m, n, g in increasing order.
n, m, g
Let a = -4092 - -4089. Sort 5, -2/7, -1/7, a.
a, -2/7, -1/7, 5
Let r = -7 + 7.023. Let h = r + -56.023. Let g = 55.7 + h. Sort g, 2/19, 2, -0.1 in descending order.
2, 2/19, -0.1, g
Let t be 1 + (41 - -1)/3. Let z = 14 - t. Suppose 18*d - 24 = 48. Sort -6, z, d in descending order.
d, z, -6
Let u be (-3 - (-3 - -2)) + -3. Let f = -15573/5 - -3115. Sort 1/4, 19/3, u, f in decreasing order.
19/3, f, 1/4, u
Suppose 0 = w + 3*r - 41, 3*w - 3*r - 5 = 70. Let i = w - 27. Let b be (-4)/(-5)*(-10)/(-6). Sort i, 0, -1, b in decreasing order.
i, b, 0, -1
Let x = -5.8862 + -0.1138. Let h = 758/9 + -84. Sort h, x, 2.
x, h, 2
Suppose -326 = 3*m - 311. Sort -305, m, 1.
-305, m, 1
Let d be 14 + 1 + 186 + -196. Sort -3, 35, d in ascending order.
-3, d, 35
Let k = 245 - 259. Let p be 1*2/k - (-16)/(-56). Put 0.3, -0.19, p, -3 in decreasing order.
0.3, -0.19, p, -3
Let v be 6/(-35)*(-966)/(-207)*5. Let g be (-18)/4*(0 - 2). Suppose 4*p - 3 = g. Sort 1, 11, p, v in decreasing order.
11, p, 1, v
Let n = 2650 + -2649. Sort -77, -5, n, 3 in increasing order.
-77, -5, n, 3
Let r = -312 + 312.3. Let i = 0.9 + 0.4. Sort 0.5, r, i in ascending order.
r, 0.5, i
Suppose 4*w + w - 15 = 0. Let j(l) = -l**2 - 3*l + 11. Suppose -4*u = 2*a + 26, -2*a + 4*u = a - 1. Let s be j(a). Sort w, 4, -7, s.
-7, s, w, 4
Suppose 3*k - 4*a = -1, -3*a - 22 + 16 = 0. Put 5, 3, -1, k, -5 in ascending order.
-5, k, -1, 3, 5
Let v = -1.15 + 0.65. Let k = 1 + v. Sort -3, k, -0.3, -4.
-4, -3, -0.3, k
Let i be 3*(2 - (-45)/(-27)). Put i, -5, -4, 155 in descending order.
155, i, -4, -5
Let c = 19414 + -19416. Sort 116/5, c, 2 in descending order.
116/5, 2, c
Let v(d) = 4*d + d - 8*d - 17. Let p be v(-5). Let g = 89 - 89. Put -3, p, g, -12 in decreasing order.
g, p, -3, -12
Let i = -186.41 - -188. Let k = i - 3.59. Suppose 21 + 19 = -m - 4*p, 112 = -5*m + 2*p. Put m, k, 2 in decreasing order.
2, k, m
Let y(r) = r**3 + 9*r**2 - 1. Let a be y(-9). Let t = -21.947 + 0.147. Let b = -21.86 - t. Put 3/2, a, b in decreasing order.
3/2, b, a
Let c be (20/(-45))/(7/((-504)/16)) - 204. Put 2, -5, c, -2, -3 in descending order.
2, -2, -3, -5, c
Let i = 37 - 112/3. Suppose -3*q + 4*q = -2*b + 156, 0 = 4*q - 2*b - 614. Let u = -1384/9 + q. Sort i, 0.2, u in increasing order.
i, 0.2, u
Let u(n) = -n**3 + 7*n**2 + 7*n + 10. Let t be u(8). Suppose -t*g - g = 15. Let f(k) = -71*k - 3758. Let i be f(-53). Put i, 1, g in decreasing order.
i, 1, g
Let m = 1448.13 - 1367.1. Let t = m + -81. Let q = t - 0.03. Sort 4, 2/23, q, -3.
-3, q, 2/23, 4
Let r = -682 - -690. Let f be 1*4*r/32. Sort -14, -3, f.
-14, -3, f
Let y(o) = 9*o**2 - 25*o - 176. Let v be y(6). Sort 20, -0.1, -0.5, v, 1 in descending order.
20, 1, -0.1, -0.5, v
Let x = 454 + 282. Let d be x/5*25/(-2945). Let z = d - -42/31. Sort 0.1, -9, z in decreasing order.
z, 0.1, -9
Let s(o) = -4*o + 40. Let q be s(9). Suppose g - 2*m = -7*m + 24, 5*g - 15 = -q*m. Let a = 0.1 - 0.6. Sort 1, g, a in increasing order.
g, a, 1
Let h = -1531 + 1529. Put -2/5, -3, h, -0.5, 2/7 in descending order.
2/7, -2/5, -0.5, h, -3
Suppose 0 = -2*d + 41 - 9. Suppose -3*u - d = -10. Let c = -58.8 + 59. Put 1, c, u in increasing order.
u, c, 1
Let v(h) = -301*h - 3310. Let k be v(-11). Put k, 3, 79 in decreasing order.
79, 3, k
Let x = 797 - 793.328. Let l = 0.328 + x. Sort 34/5, -4, 0.3, l in decreasing order.
34/5, l, 0.3, -4
Suppose 24*g - 50*g = -29*g + 45. Sort -5, -0.02, g in increasing order.
-5, -0.02, g
Suppose -2*y + 2*t - 6*t = 0, 3*t = 0. Sort 1, -470, y, 5.
-470, y, 1, 5
Let m(k) = 13*k**2 - 144*k + 7. Let g be m(7). Let h = g - -342. Sort 1, h, 3, 5 in ascending order.
h, 1, 3, 5
Suppose -4 = j + 3*b + 3, -4*b = -j + 21. Let l be 6/9*18/7*(229 - 236). Put -1, l, j in increasing order.
l, -1, j
Let j = -48 - -73. Let d = -109 - -133. Let m = j - d. Put m, -1, 4, 3 in increasing order.
-1, m, 3, 4
Let o = 185.2 + -185. Suppose -20 = -3*b - 2*b. Let s be (8*7)/b - -4. Put o, -3, s in increasing order.
-3, o, s
Suppose c + 0 + 2 = 0. Let h be c + 2 + (-32)/8. Suppose 0 = -2*s + 5*k - 26, s = 2*s - 3*k + 15. Sort 2, s, h, 4 in decreasing order.
4, 2, s, h
Let p be (-2)/(-3) + (-78)/(-18). Suppose -v = 5, 45 = -4*d - d + 2*v. Let f = -35 + 32. Sort d, 2, f, p in decreasing order.
p, 2, f, d
Suppose -5*o - 12 = 5*a - a, 2*a = 3*o - 6. Sort -1712, 5, o in descending order.
5, o, -1712
Let p = -919 + 452. Let r = p - -471. Let h = -0.4 - -0.5. Put -1/5, h, 1, r in decreasing order.
r, 1, h, -1/5
Let d be 2*-1 - (-3 + 9)*-1. Let u be 1305/108 - d/48. Sort -1, 6, u in decreasing order.
u, 6, -1
Let w = -0.8 - -0.4. Suppose 36*v = 39*v - 45. Suppose -v = 3*m - 7*s + 8*s, 20 = -4*m - 3*s. Put w, 2.7, -1, m in increasing order.
m, -1, w, 2.7
Suppose 0*l - 18 = -3*l - y, -l - 5*y + 20 = 0. Let h(s) = s**3 + 24*s**2 + 99*s - 39. Let n be h(-6). Sort l, 2, n, 0.
0, 2, l, n
Let q be ((1 - -7) + -6)*(-4 + 3)/(-91). Sort 4, -25, q in increasing order.
-25, q, 4
Let n(k) = -18*k + 12. Let g be n(-2). Suppose -10*r = -g + 28. Put r, -33, 5 in descending order.
5, r, -33
Let k(r) = -r**3 - 27*r**2 - 31*r - 67. Let n be k(-26). Sort -5, 0, n in increasing order.
-5, 0, n
Let d = 1061/7 + -152. Let h = -25087