se -122*v + 66*v + 1056 + 512 = 0. Put v, -132, -2 in descending order.
v, -2, -132
Let c be (25/(-10) + 2)*(7 - -3). Let q(g) = 64*g - 642. Let d be q(10). Put 5, c, 254, d in ascending order.
c, d, 5, 254
Suppose -16364*q = -16347*q. Sort q, 2, -2, -38 in descending order.
2, q, -2, -38
Suppose -2*y - 48 = -2*q, 0 = 5*y + 2*q - q + 138. Let n = 25 + y. Sort -16, n, -1 in decreasing order.
-1, n, -16
Let v = -8 + 13. Let q = -12650 + 12645. Sort 0, v, 3/2, q in descending order.
v, 3/2, 0, q
Suppose 0 = 5*r - 9*r - 4. Let y(f) = 5*f**3 - f**2 + f + 1. Let h be y(r). Let v = 183 + -183. Put 3, -4, v, h in descending order.
3, v, -4, h
Let v(z) = 7*z - 45. Let c be v(9). Suppose 14*x + c = 74. Sort -1, x, -5, 0.
-5, -1, 0, x
Suppose -599 = 2*m - 4*t - 601, 3*m - 3*t = 0. Let j(d) = 5*d**2 + 2*d + 1. Let y be j(-1). Put -3, y, -18, m in descending order.
y, m, -3, -18
Suppose -17 = -4*n - 29. Let j = 33 - 20. Let f = 15 - j. Put n, -4, f in ascending order.
-4, n, f
Let p = -0.03 + -0.27. Suppose -5*v + 22 = y, y - 2*v + 0*v = -13. Let r = -44 + 45. Sort p, y, r in ascending order.
y, p, r
Let u(z) = -2*z**2 + 40*z + 10. Let d be u(-5). Let p = -243 - d. Sort 3, -2, p, 10 in decreasing order.
10, 3, -2, p
Let c = 0.8 + 3.2. Let l be 2/(-13) - (-15)/(-156). Let o = 5.12245 - -0.87755. Put c, l, o in increasing order.
l, c, o
Suppose -61*d + 56 = -33*d. Sort d, 852, 1, 5 in decreasing order.
852, 5, d, 1
Suppose -111*v + 144 = -63*v. Suppose 0 = 5*f + 26 - 6. Put -2, 2, f, v in descending order.
v, 2, -2, f
Let j = 0 - 3. Let d = 29550 + -29547. Sort -1, j, d, 2 in ascending order.
j, -1, 2, d
Let t = -5109 - -5111. Sort t, -26, -0.25 in decreasing order.
t, -0.25, -26
Let a be 17 - (15 + -37 - -19). Let c = 6 + -1. Sort a, c, 1/4, 3 in descending order.
a, c, 3, 1/4
Let w(n) = n**2 + 3. Let a be w(0). Let s be (-23)/((-46)/(-12)) - (-2 + -2). Put -4, 1, s, a in increasing order.
-4, s, 1, a
Let a be ((-2)/6)/(-2255*5/27210). Let t = -2/451 + a. Put 1, -2, -1, t in descending order.
1, t, -1, -2
Let x = -4 + 6. Let w(j) = 9*j + 47. Let g be w(-3). Let u be 0*(-2 + g/12) - -17. Sort u, x, 5.
x, 5, u
Let q = 3.24304 - -0.35696. Let z = -0.079 - -5.179. Let a = z + -1.1. Sort q, -2, a.
-2, q, a
Let h = -485/2 + 243. Let g = -6 + 3. Sort 14, h, g.
g, h, 14
Let z = 15971 - 16100. Put 4, z, -5, 2 in ascending order.
z, -5, 2, 4
Let y be ((-5)/11)/(2/(-22)). Let o(b) = -b**2 + 2*b - 1. Let u be o(2). Put 1, y, -2, u in increasing order.
-2, u, 1, y
Let o be 18 + (6 + -6 - 1). Suppose o*t - 32 = 25*t. Put 156, 5, t in increasing order.
t, 5, 156
Let i be (5/((-50)/8))/((-24)/(-180)). Put 31, 0.1, i in descending order.
31, 0.1, i
Let y be -11 + 1 + 45/(9 - -6). Sort 3, -283, y in increasing order.
-283, y, 3
Let g = 52567/11 + -4779. Suppose -4*h = 35 - 91. Let n be (-1 + -2)*2/h. Sort 0, g, n, 2 in descending order.
2, 0, g, n
Let u(t) = 143*t + 1004. Let g be u(-7). Sort 77, -35, g, 5, -4.
-35, -4, g, 5, 77
Let v = 4.53 - 3.11. Let h = v + -1.12. Sort -39, h, 5 in decreasing order.
5, h, -39
Let c(t) be the first derivative of -t**3/3 + 3*t**2 + 2. Let h be c(5). Let q = 11.9793731 + 0.0206269. Put h, q, -2/11 in increasing order.
-2/11, h, q
Suppose 237*r - 100*r = -8905. Put -3, 3, 0, -1, r in ascending order.
r, -3, -1, 0, 3
Let o be 0 + ((-5)/(-1) - 0). Let u be (((-4940)/(-57))/(-26))/((-15)/(-54)). Put o, u, -1 in decreasing order.
o, -1, u
Let w be (44/(-12))/((-7)/21). Let s = w - 11. Suppose -6 = 4*i - 2*t - 0, -2*i + 3*t + 3 = 0. Sort s, i, 1.
i, s, 1
Let q = -1.18 + 200.18. Let m = 198.7 - q. Sort 0.1, 0, -3, m in decreasing order.
0.1, 0, m, -3
Let p = 2814 + -2812.7. Put 4, p, -2/3, -4/5, 0.04 in increasing order.
-4/5, -2/3, 0.04, p, 4
Let q = -908.1 + 908.7. Sort q, 0.5, -0.5, 2/13.
-0.5, 2/13, 0.5, q
Let x = 3529.8 + -3530. Sort -0.32, 1/11, -19, x, 1/5.
-19, -0.32, x, 1/11, 1/5
Let j = 17898 + -89488/5. Let t = 15 - 9. Sort 0.2, t, j in increasing order.
0.2, j, t
Let x = -4868 + 4866. Put 0, -4, x, 251 in descending order.
251, 0, x, -4
Suppose 56 = 4*u + 64. Let f(t) = -2*t - 8. Let d be f(-2). Sort -1/2, -8, d, u in descending order.
-1/2, u, d, -8
Let r = 166 + -171. Let z = -5.27 + -0.33. Let l = -12.6 - z. Put l, r, 2/17 in descending order.
2/17, r, l
Let q = -3561/55 + 710/11. Sort q, 2, -2/7, 0, 3/7 in decreasing order.
2, 3/7, 0, q, -2/7
Suppose 139 + 141 = 5*l. Let h = l - 61. Let w(c) = c + 9. Let p be w(h). Sort -1/4, 5, p, 2/3 in decreasing order.
5, p, 2/3, -1/4
Let l = -13355 - -13354. Sort l, -92, -20 in increasing order.
-92, -20, l
Let w(m) = -2*m**2 + 29*m - 15. Let l(n) = -1. Let x(r) = -l(r) - w(r). Let h be x(12). Sort h, 4, -4, 0.
h, -4, 0, 4
Let r = 935 + -921. Let w be -1*(50/18 + 8/36). Put w, 3, r in decreasing order.
r, 3, w
Let s = 5187.3 + -5599. Let b = s + 412. Sort 1, b, -2/5, -8/5 in descending order.
1, b, -2/5, -8/5
Suppose 11*h = 5*h - 6. Let w(o) = -2*o + 2. Let b be w(2). Let v = 475 + -471. Sort v, b, h in increasing order.
b, h, v
Suppose 53 = -48*w + 101. Put 5, 0, w in descending order.
5, w, 0
Let n be (-3)/2*-6*9/(-27). Sort -4, 3, n, -92.
-92, -4, n, 3
Suppose 5*n = -4*g + 145, 0 = -0*n + 2*n + 2*g - 60. Suppose -4*h + 4*b = -b + 20, 4*b + n = -5*h. Let x = 4 + h. Put 3, -3, x, -20 in ascending order.
-20, -3, x, 3
Let t = 2038 + -2035. Put 5, 0.08, t, -6 in decreasing order.
5, t, 0.08, -6
Let s = -4.62 + 4.967. Let f = s - 4.347. Sort f, 2/7, -18/11, 2/5 in decreasing order.
2/5, 2/7, -18/11, f
Suppose -2*y = -w + 3*w, -4*w = 5*y - 3. Let j = -159 - -175. Let m be j/(-12) - 2/3. Sort 0, m, w, 1.
w, m, 0, 1
Let h = 40.077 + -0.077. Let v = -43 + h. Put v, 4, 0.2, -1/6 in decreasing order.
4, 0.2, -1/6, v
Let s = -3/101671 - 484360623/711697. Let z = -681 - s. Let o be 10*((-1)/2)/(-1). Sort -2, o, z in decreasing order.
o, z, -2
Let x(y) = y**3 - 4*y**2 + 9*y - 1. Let s be x(0). Sort 3, -10602, s in increasing order.
-10602, s, 3
Let a be 4 - 16/(-24)*-12. Sort 5, -20, a, 47 in ascending order.
-20, a, 5, 47
Let u = -1250 + 1026. Let l = 223.9 + u. Let s = 5 - 3. Sort s, l, -1/4, -1.5.
-1.5, -1/4, l, s
Let d = -42 + 49. Let a = d - 2. Let z be (-1)/(1 + 0)*12. Sort -2, -3, a, z in decreasing order.
a, -2, -3, z
Let b be (-200)/(-15) + 4/6. Let i be b/14*13*1. Sort 0.2, -6, i.
-6, 0.2, i
Suppose -8*r - 252 = 4*r. Suppose -8*j + 9 = -7. Suppose j*b - 3*y + 2 = 0, 5*y - 15 = b - 0*y. Sort 2, -3, b, r in decreasing order.
b, 2, -3, r
Let h be -4*21*(-7)/252 - 3. Sort h, -0.49, -13, 5 in descending order.
5, -0.49, h, -13
Let x = 11462 + -11511. Sort 4, -5, -9, x, -1 in decreasing order.
4, -1, -5, -9, x
Suppose -30*j + 3912 = -6*j. Let x = j + -143. Sort -3, 5, x, -2 in increasing order.
-3, -2, 5, x
Suppose 24*h - 28*h - 3*u = 338, 4*h + 2*u = -340. Let n = h - -81. Put n, -77, 4 in increasing order.
-77, n, 4
Let v = 3.699 + -5.699. Put -4/23, v, 2/7 in increasing order.
v, -4/23, 2/7
Let r = 1151/60 - 77/4. Let g = -70 - -69.7. Sort 3, g, 2/7, r.
g, r, 2/7, 3
Suppose 25*s - 22*s + 111 = 0. Put s, -7, 1 in ascending order.
s, -7, 1
Let g(h) = -2*h**3 + 88*h**2 + 90*h - 4. Let f be g(45). Suppose 0 = -u + 4, 3*v - 9 = 5*u - 26. Sort 23, v, f, 0 in decreasing order.
23, v, 0, f
Let s = -2.522 - -10.522. Sort -2/11, s, -2/7, 0.5 in decreasing order.
s, 0.5, -2/11, -2/7
Let u be (-2136)/(-18) + 1/3. Let q = u + -269. Let z = 136 + q. Sort 3, 1, z in decreasing order.
3, 1, z
Let i(r) = 21*r - 1634. Let q be i(78). Put 3, 0, 14, q, 2 in decreasing order.
14, q, 3, 2, 0
Suppose -4*w - c - 25 = 0, 61*c + 10 = 3*w + 56*c. Put 3, w, -12, 11, 5 in increasing order.
-12, w, 3, 5, 11
Let i(x) = 30*x - 23. Let j(b) = 61*b - 48. Let u(p) = 7*i(p) - 4*j(p). Let m be u(1). Put -4, m, 4, -23 in ascending order.
-23, -4, m, 4
Let c = -210 + 210. Let s = 8 - -1. Suppose 3*m - l + 18 = m, m + s = -5*l. Sort m, -4, c in decreasing order.
c, -4, m
Suppose -3*z = 210*a - 209*a + 11, -3*z = -2*a + 5. Put -1, 0, z, 2, -23 in descending order.
2, 0, -1, z, -23
Suppose 271399 = -177*w - 670949. Sort w, 5, 1 in decreasing order.
5, 1, w
Suppose -4*x + 7 = 2*j - 1, 4*j + 3*x + 9 = 0. Let l be (-8)/(-12) - (-28)/j. Suppose 21*m + 27 + 120 = 0. Put 2, l, 5, m in decreasing order.
5, 2, l, m
Suppose 0 = -9*t + 435 + 8