: m or k?
k
Let j = -0.24 - 1.46. Let d be (-2)/(-8) - (-27)/(-12). Let h be (d/(-20))/(18/(-72)). Is j greater than or equal to h?
False
Let x be 5/(-6) + 53431/64092. Let l = x - -18233/241108. Which is smaller: l or -1?
-1
Let m = 20/167 + 742/2171. Is m > -19.6?
True
Let s(g) = 2*g**3 + 12*g**2 - 3. Let x(k) = -12*k + 29. Let m be x(3). Let w be s(m). Do w and -101 have different values?
False
Let w be 70*(-32)/(-40)*(-16)/(-2040) - 2/5. Suppose 9*d - 4*d = -5. Let x = -2 - d. Which is greater: w or x?
w
Let u be ((-795)/396 + 2)*(-321306)/4. Let x = u + -1217/2. Is x at least 1?
False
Let z = 128497/283608 + 92/1313. Which is smaller: z or 1?
z
Let p be (0 - 0)/(-1 + -1). Let k = 138 - 133. Suppose k*w + 15 = -g, g + 12 = -4*w - 2*g. Which is smaller: p or w?
w
Suppose 295*j - 595*j = -290*j + 530. Let f(v) = -10*v - 3. Let d be f(5). Is d != j?
False
Suppose 12*i = 15*i - 6, 5*i + 1328 = -l. Which is smaller: -1346 or l?
-1346
Let m = -11 + 111. Let a be (-3)/((24/m)/((-12)/(-105))). Are -2 and a non-equal?
True
Let f be (-2 - (-4 + 2 - -9))/(5934/(-860)). Is 1 at least f?
False
Let x = 0 - 52. Let j be (-1)/(12 - 19313/1612). Is j equal to x?
True
Let m(o) = -o**2 - 47*o - 4. Let q be m(18). Is q greater than -1172?
False
Suppose -63 = -54*w + 45*w. Suppose 2 = -9*t + w*t. Which is greater: 15/52 or t?
15/52
Let d = -13.624 - -14. Let y = d + -112.376. Is -2/3 >= y?
True
Let m = -168 + 170. Let r(h) = -13*h - 74. Let n be r(m). Is n less than -103?
False
Suppose -261 + 1237 = 16*t. Are 795/13 and t non-equal?
True
Let c = -26.2 + -148.8. Let u = c + 174. Which is smaller: u or 36?
u
Let o be ((-261)/24)/((-60)/48). Let z = o - -311/20. Is z >= 25?
False
Suppose -13*i = 957 - 2218. Let f = -171 + 272. Is i at least as big as f?
False
Let o(c) = 433*c - 12. Let m be o(-4). Let r = -555 - m. Let z be (0 - -1) + (-1218)/r. Which is smaller: -2/7 or z?
-2/7
Suppose 0 = 28*f + 3*f - 5080 + 182. Is f smaller than 149?
False
Let h be 94194/(-170) + (-542)/4607. Is -553 at most h?
False
Suppose -w = 3*p - 6*p - 8, -3*p = -5*w + 28. Suppose 4*s = w*s - 4. Suppose -3*g + 2*g + 159 = -s*j, -4*j + 3*g - 149 = 0. Which is smaller: j or 1/2?
j
Let l be (0 - -6)/(10/(-100)). Let a be -8*(974/l)/(-1). Let p = 130 + a. Is p at least as big as -1?
True
Let l = -490421 - -490421.03. Let f = -2 - -2.2. Let v = -0.24 + f. Is v < l?
True
Let l be (10/40)/((-3)/(-1908)). Suppose -l*b = -158*b + 28. Suppose -u - 4*u + 23 = -x, -2*x = -3*u + 53. Is b != x?
False
Let l(z) = 39 + 24*z + 88 - 54*z + 25*z. Let f be l(25). Is f less than or equal to 2?
True
Let q be ((-4)/(-6))/((-29)/19227) - (-3 + 0). Is q at least as big as -431?
False
Let u = 1321 + -1321.1. Is u at least as big as -418?
True
Let s = -11645 + 16669. Is -2 < s?
True
Suppose -47 = -6*j - 17. Suppose -3*c = w - 4*w - 405, 659 = -j*w + c. Which is smaller: w or -129?
w
Let z(h) = 4*h - 5. Let a be z(-7). Let d(v) = -3*v**2 + 30*v. Let l be d(11). Let q = a - l. Are q and 0 equal?
True
Let v be -11 + (-7)/(-8 - (-335)/50). Which is greater: -5 or v?
-5
Suppose -2*t = -2 + 4. Let z be ((-74)/48729)/(36/27). Is z not equal to t?
True
Let f = 43 - 40.59. Let a = f + -1.41. Which is smaller: a or -0.041?
-0.041
Let b = -8.0753 + -0.0447. Let o = 1.88 - b. Which is smaller: 3/7 or o?
3/7
Suppose 13137 + 8767 - 944 = 10*l. Which is smaller: l or 2100?
l
Let r = -149 + 300. Let y = 148 - r. Which is greater: y or 4?
4
Suppose -531 = 4*a + 249. Let c be (-3)/((-6)/10 - a/200). Let p(v) = v**2 + 8*v - 6. Let f be p(c). Which is smaller: f or 0?
f
Let u = -686 - -703. Suppose -5*q = -y - 0*y + u, 0 = -5*y + 10. Let j = 36 + -55. Which is bigger: q or j?
q
Let g be -3 - (291*(-8)/(-142 - 2))/(-1). Let i(u) = -2*u + 2. Let a be i(-6). Which is bigger: a or g?
a
Let a = -3978.19 - -4039. Let z = a - 61. Which is bigger: z or 0.3?
0.3
Let g be (-2)/(-11) - (2 + (-17874)/9867). Let n = -9 + 9. Is g equal to n?
False
Let v = -806693090 - -105676238567/131. Let a = v - -4246. Is a less than or equal to -1?
False
Let s = 1591 - 15891/10. Let z = s + -289/160. Suppose 0 = -3*p + 6*p. Which is smaller: p or z?
p
Suppose 94648 - 6403 = 53*z. Which is smaller: z or 1667?
z
Let c(r) = -6*r + 62. Let z be c(10). Suppose 177 = u + z*a, 87 + 96 = u + 4*a. Suppose d + u = -8*d. Is 1 smaller than d?
False
Let j = -252262 - -408412154/1619. Which is greater: j or 1?
1
Suppose 750 = -5*j + 5*m, -42*m = 4*j - 37*m + 591. Which is bigger: -156 or j?
j
Suppose -300*d = -295*d - 2180. Let f = 439 - d. Which is smaller: 2 or f?
2
Let j = 81957.01 - 82631. Let d = j - -668. Let h = 6 + d. Are h and -0.2 equal?
False
Suppose z = 3*k + 11, -4*z + 8*k = 4*k - 12. Let s = -15808/1525445 + 1/5171. Is z >= s?
False
Suppose 7*q - 2*q - 5 = 0. Let t = -558 + 1692. Let j = -1137 + t. Which is greater: q or j?
q
Let r(y) = 14*y**3 - y**2 - 2. Let u be r(-2). Let w be (-8781)/75 - (32109/825 + -39). Is w greater than u?
True
Let p = 13516799/960 + -14080. Which is bigger: p or -1?
p
Suppose -4*v - 311 = 757. Let o be (1 - 9)/(-1)*201/(-6). Are o and v nonequal?
True
Let y(x) = 19*x + 322. Let h be y(-17). Is h greater than 7/151?
False
Let s = 156257484577/15660 - 9978128. Let i = 1/116 + s. Which is smaller: i or -1?
-1
Let f be -7*5/10*7/(294/408). Which is bigger: f or 8?
8
Let c = -2/7399 - 154657/2671039. Is c less than 1?
True
Let v(i) = -i**3 - 27*i**2 - 87*i - 148. Let j be v(-24). Is j equal to 212?
True
Let a(c) be the third derivative of -c**4/24 - c**3/3 - 12*c**2. Let d be a(-7). Let p = 7 - d. Is p greater than or equal to 0?
True
Suppose s = 74*n - 77*n - 10, 0 = 3*n + 9. Which is smaller: s or 5/7099?
s
Suppose 1263 + 3052 = 23*z - 5207. Is z at least as big as 414?
True
Let i(s) = 17*s**2 - 519*s + 1257. Let q be i(28). Let l be 4/6 - 417/(-9). Is q at most l?
False
Let h = -29/6 - -829/174. Are h and 217 unequal?
True
Let m = 451 - 448.51. Let u = -2.05 + m. Let y = -0.014 + 0.014. Which is greater: y or u?
u
Let h be 1/1 + (-30752)/(-3 + -1). Let q = 69271/9 - h. Which is bigger: 9 or q?
9
Let p = -0.318 + -0.012. Let f = 30.33 + p. Let z = f + -34. Is z > 2/5?
False
Let o be 45/(-36) - (((-74)/8 - -5) + 3). Which is smaller: -1/32563 or o?
-1/32563
Let r = -917.4 - -539.4. Is 4/11 at most as big as r?
False
Let h = 374 + -504. Let a be (-13)/(h/20) - (-4)/(-2). Which is smaller: a or 3?
a
Let j = -2/1073 - -18255/7511. Let o(g) = -28*g - 81. Let c be o(-3). Which is smaller: c or j?
j
Let x be -6*(-1)/4*86. Let l = x - 126. Is 33/16 smaller than l?
True
Let u(q) = 9*q - 9*q - 14 + 3*q. Let i be u(5). Let o be i + (-7)/4 - -1. Which is bigger: o or 0.3?
0.3
Let p(b) = 3*b - 2. Let w be p(-2). Let j be (4/(-184))/((-1)/w). Let n = -17349 - -17348. Are n and j equal?
False
Let f be 12*(11 + (-68)/6). Let c(x) = 2*x - 3. Let i(v) = 9*v - 11. Let w(g) = 26*c(g) - 6*i(g). Let m be w(f). Are -19/4 and m equal?
False
Let o be 2*(-7)/(-13)*170022/172. Let v = o + -1066. Which is smaller: v or -2?
-2
Let z(h) = 46*h + 424. Let a be z(-10). Is a at most as big as -55?
False
Suppose -4*g + j = 13, -5*g - 5*j + 23 = -4*g. Let l = 27342 - 27339. Which is smaller: l or g?
g
Let k = -0.3 + 1.3. Let h = 10.8 - 53.8. Let d = h + 43.02. Are d and k equal?
False
Suppose -415*r = -435*r + 21680. Which is greater: 8661/8 or r?
r
Let f = 14357 + -14391. Suppose 0 = -4*b + 4*q + 40, 5*b + q - 3*q = 35. Suppose b*k + 179 = 4. Is f > k?
True
Suppose k = 3*g + 439, -k + 418 = 14*g - 10*g. Let i = -407 + k. Is i > 25?
False
Suppose 4783*r = 2390*r + 2392*r - 205. Which is smaller: -196 or r?
r
Let c(z) = -464*z + 8816. Let r be c(19). Is r equal to -19/542?
False
Let o = 27.9 + -163.3. Let a = o + 99.4. Let t be -1*1*(-2)/(-4). Which is bigger: t or a?
t
Suppose 3*l = -3*g, 2*l + 17 - 23 = -4*g. Suppose -4*b + 8 = -g*v, 7 = -5*v + 2*b + 3. Is v greater than 11/40?
False
Let y = 1.69 + -7.42. Let p = -9.4 + 3.7. Let x = y - p. Is x equal to -1?
False
Suppose -3*z - 3*b = z + 815, 3*z - 4*b + 630 = 0. Which is bigger: z or -202?
-202
Let q = 19579 - 19579.6269. Which is greater: q or -0.1?
-0.1
Let o = 765 + -765.1. Is 2/545 at least o?
True
Let o = 58931/12 - 4939. Is -27 > o?
True
Let b(i) = 6*i + 33. Let v be b(-6). Let h be (-167)/v - 20/(-15). Let