36 = 29. Let g be (-2)/6 - j*14/21. Which is bigger: g or -43/7?
g
Let j = -65/2 + 32. Let o(l) = l**3 + 16*l**2 - 20*l - 44. Let u be o(-17). Suppose 4*b - 16 = 7*a - 9*a, a = b - u. Is a greater than j?
False
Let s be (2/117)/((-142)/213)*561/1. Is s greater than -13?
False
Let q = 11468 - 11470. Which is bigger: q or -14/551?
-14/551
Let y = -69.898 + -0.102. Let w = y + 72. Which is smaller: -1/4 or w?
-1/4
Let b = -70.16 + 73. Let v = b + -2.54. Which is smaller: 5/8 or v?
v
Let f = -13626 - -13602. Is f < 17?
True
Suppose 0 = -2*u + 5*u - 6, -24 = -5*z + 3*u. Let w be 2808/15 - z/30. Let t be ((-16)/(-44))/2 + (-78)/w. Which is greater: t or 0?
0
Let m(p) = p**3 - 14*p**2 + p + 30. Let u be m(14). Let s be (3 - 62/22) + (-283)/u. Let k be -2 + 3 + -5 - 2. Which is smaller: s or k?
s
Let q(h) = h**3 + 28*h**2 - 27*h + 59. Let j be q(-29). Which is smaller: j or -10/447?
-10/447
Let b = -37.854 + 2.854. Is b < 25?
True
Suppose 4451 = -20*u + 4951. Which is bigger: u or 554/21?
554/21
Let y = -3.952 + 7.892. Which is smaller: y or 18/11?
18/11
Let m be 6/(-66) - 876/(-198). Let p = -9/2 + m. Which is smaller: -0.3 or p?
-0.3
Let k = -27295.1 + 27295. Is 579 equal to k?
False
Let o(j) = j - 6. Let a be o(6). Suppose -42*z - 678 = -45*z. Let t be -4 + z/57 + 7 + -7. Is t less than a?
True
Let t(w) = 2*w**3 - w**2 + w. Let s(p) = 6*p**3 + 15*p**2 + 12*p + 5. Let a(b) = -s(b) + 2*t(b). Let n be a(-8). Which is bigger: -1 or n?
n
Let h = 3/1661 + -2933/704264. Is 0 at most as big as h?
False
Let t = -0.04996 - 25.95004. Let k be (-13)/91 - 270/(-1694). Let w = -355/484 - k. Which is greater: t or w?
w
Let d = -15526 + 14665. Is -864 at most d?
True
Let m(v) = 2*v**2 + v - 2. Let z be m(-9). Let r = z - 394. Do r and -243 have the same value?
True
Let u = -54.05 + -0.95. Let k = u - -54.9. Which is smaller: -105 or k?
-105
Let j = -7687 + 7633. Suppose 0 = 3*w - 9, -6*z + 3*w - 233 = -2*z. Which is greater: j or z?
j
Let y = -3580.7 - -3584. Which is bigger: y or 110?
110
Let m = 1714 - 2115. Which is greater: m or -405?
m
Let s = -2956.9 + 2956. Is -865/6 equal to s?
False
Suppose 191 - 31 = 10*a. Suppose 4*j = -a, -d - 2*j = 66 - 171. Which is greater: d or 0.1?
d
Let k = 325 + -857. Let u be (-18)/171 + 1464/k. Is -0.1 bigger than u?
True
Suppose -1061*l = -1018*l - 86. Is -5.24 <= l?
True
Let z = 24 - 43. Let x(n) = 3*n + 16. Let h = 1104 + -1115. Let b be x(h). Is z less than or equal to b?
True
Let p = 3758 - 4138. Which is bigger: p or -391?
p
Suppose 0 = -v - 5*p + 4*p + 101, v - 99 = p. Let x = -107 + v. Let q(b) = b**2 + 7*b. Let k be q(x). Are -1/4 and k nonequal?
True
Let l be (6/4)/(33/(-44)). Suppose 0 = -2*h - 19 + 5. Let v be (-4)/(-3 - 31/h). Is v smaller than l?
True
Let s be (-11)/(-66)*-9 - ((-49)/10 + 5). Which is smaller: 12 or s?
s
Let d be ((-70)/(-55) + 0)*-2. Let v(n) = -2*n**3 + 20*n**2 - 40*n - 18. Let g be v(7). Which is smaller: d or g?
g
Let h = -61 - -77. Let g be 2/((-1)/(-4)*(h - 14)). Let y be (g/10)/((96/(-20))/(-6)). Is y greater than -0.002?
True
Let g = -32.81 - -33. Let w = -346 + 360. Let y = -14 + w. Which is smaller: y or g?
y
Let r be (0 + -9)*600/1431900. Is 0 at least as big as r?
True
Let p(y) = y**2 + 12*y - 30. Let j be p(-14). Let v be (-20)/15 - j/2. Suppose 0 = -3*a + 8*a. Are a and v nonequal?
True
Let z(u) = -98*u**2 - 17*u - 24. Let h be z(-2). Which is greater: h or -387?
h
Let g = -29803 - -655135/22. Is g at least -24?
False
Let u = -292.17 - -290.756. Which is smaller: -5 or u?
-5
Let v = -24.01 - -23.01. Let a = 63 + -88. Is a <= v?
True
Suppose 3*u - 8*u - 72 = -4*w, -u - 4*w = 24. Let z be ((9/u)/1)/(21/(-14)). Which is greater: 3 or z?
3
Suppose 5*f + 40 = -5*f. Let l be f/46 + (-21140)/230. Which is smaller: l or -93?
-93
Let k be (-175177)/(-1698) - 14/12. Which is smaller: k or 84?
84
Let z = 258 - 251. Let s(u) = u - 1. Let q(c) = 3*c - 9. Let t(w) = q(w) - 2*s(w). Let r be t(z). Which is smaller: r or -2/25?
-2/25
Suppose -w + 16*w + 105 = 0. Let q = 2.1 - 1. Let o = q + -1.1. Which is greater: w or o?
o
Let o = 23004257/857269 - 2764/103. Is 0 at most as big as o?
False
Let i = -0.046 - 0.484. Let z = i + -66.47. Let c = z + 60. Which is bigger: 0 or c?
0
Let j be 8/6 + 41/(-861)*-812. Do j and 24 have the same value?
False
Let q(i) = i**3 + 2*i**2 - 7*i - 6. Let n = -138 + 134. Let r be q(n). Is 6 at least r?
True
Suppose 27*c + 32 = 11*c. Let d be (c + (-50)/(-6) - 5)/15. Which is smaller: 0 or d?
0
Let m be (92/230)/((-1336)/(-6665)) - (2 - 0). Which is smaller: m or 1?
m
Let u be (-12)/(21/7)*1/(-17). Let k = 136835/6 + -22867. Let o = 61 + k. Is u greater than or equal to o?
True
Suppose -51*f + 41*f = -1720. Suppose -68 = 8*p + f. Is p != -33?
True
Let d be 3/(-72)*4 + (-2)/(-4). Let o be 10/(-24)*(-352)/66. Is o <= d?
False
Let q(d) = -242*d + 2186. Let k be q(9). Suppose -5*o = -5 - 5. Let v be o*4 - 8/4. Which is greater: k or v?
k
Let r = -48341 + 225269059/4660. Is r less than 1?
True
Let x be (-2)/4*(-10 - 7/((-42)/72)). Do -17188 and x have the same value?
False
Let k = -743 - -737. Let z be 16/10*(k - (-10 + 9)). Which is smaller: -9 or z?
-9
Let a be (3 - 9) + -384 - 1. Let u = a + 367. Is u at least -22?
False
Let h(d) = d**2 - 65*d + 2022. Let z be h(31). Which is bigger: 966 or z?
z
Suppose 4*h + 6 = -2*f, 2*f + 12 = h + h. Let i = 13688/5 - 1601501/585. Which is greater: h or i?
h
Suppose -6883 = -16*u + 2141. Let y = u - 564. Which is greater: -4/139 or y?
y
Let b = -16 - 7. Let d = b + 28. Let m be (-30)/11 + (-12)/(-28)*7. Is m at least d?
False
Suppose 4*p + 990 = -13*w + 18*w, 0 = -5*w + 3*p + 990. Suppose -201*x + w*x - 732 = 0. Is -243 less than x?
False
Let k(y) = y**3 + 6*y**2 - 8*y - 3. Let u be k(-7). Suppose -u*q + 2 - 6 = 0. Let w be (9 - (11 + -3))/((-4)/1). Is q greater than w?
False
Suppose 75*g = 77*g - 10, 0 = -t + g - 6. Which is bigger: t or -1/2349?
-1/2349
Suppose -25*o + 28*o + 9 = -2*a, -3*o + a + 9 = 0. Which is smaller: o or 1/34?
1/34
Let x = -2299 - -1960. Is 9 bigger than x?
True
Let j = 222 + 396. Suppose -4*t + 1126 = -j. Are 437 and t equal?
False
Let x = 2 - 23. Let i = 22 + x. Suppose 0 = -9*b + 4*b - 3*c + i, -2*b - 4*c = 8. Which is smaller: 5 or b?
b
Let z be ((-332)/90 - -2)*155/(-31). Let y(j) be the first derivative of j**2/2 + 15*j - 5. Let u be y(-6). Is z less than or equal to u?
True
Let g = 338 - 330. Suppose -60 = 2*t + g*t. Let j = 3 + -8. Are t and j non-equal?
True
Suppose 5*v + 16 = 4*g, -5*v + g - 2*g = 21. Let q(z) be the first derivative of z**3/3 + z**2 + z - 29. Let r be q(v). Which is smaller: 17/2 or r?
17/2
Let v = -257 + 261. Suppose 4*q - 4 = 5*x, 3*q = -v*x - 0 + 3. Let k be (-10)/(-15) + (-2)/(-6). Are k and q equal?
True
Let m = -0.236 + 0.736. Let d = m + -0.5. Is d less than or equal to -14/5?
False
Let z = 3.7259 + -3.72. Let u = z - -21.9941. Which is smaller: -7 or u?
-7
Let r be 10 - (-205)/(-20) - 201/(-4). Let h(x) = 8*x**2 + 21*x + 5. Let w be h(-4). Which is greater: w or r?
r
Let j(d) = d**3 + d + 1. Let a(f) = 6*f**3 - 23*f**2 + 22*f - 32. Let v(q) = a(q) - 4*j(q). Let l be v(10). Is l greater than or equal to -158?
True
Let w = 10 + 69. Let i = w + -78. Do 60 and i have different values?
True
Let u(b) = 215*b - 153. Let g be u(-13). Is -2947 <= g?
False
Let t = 33866 + -23942. Is t less than or equal to 9924?
True
Let v = 152 - 149. Suppose -7*c - 4*c = -3080. Let u be -1*(-2)/8 + 370/c. Which is smaller: v or u?
u
Suppose 38 = 2*o - 12. Suppose 492 = -21*v + o*v. Suppose 7*p - 2*p - 77 = -3*t, -5*t - 3*p + v = 0. Is t <= 23?
False
Let w(y) = 2*y**3 - 4 - 2*y**2 - 3*y**3 - 6*y**2 + 9. Let l be w(-8). Suppose -l*b - b = -3*b. Which is greater: 2/29 or b?
2/29
Suppose 0*z + 2*z + 2*b - 10 = 0, -40 = -3*z + 2*b. Suppose z = 15*w - 5. Let k be (-3)/12 + (-42)/(-40). Is w < k?
False
Let g = -6518/47 - -49/141. Are -138 and g nonequal?
True
Let g = -1277 - -1276. Suppose -u + 5*u = -228. Let i = -23 - u. Is g greater than i?
False
Suppose 1260 = -352*k + 334*k. Which is smaller: -90 or k?
-90
Let w = -219 + 490. Let v = w + -167. Is 105 at least v?
True
Let q be (-1 + 2)*(0 + 60). Let m = -184.34 + 186.34. Are q and m unequal?
True
Let c be ((-10)/(-4))/(3/6). Suppose -c*g - 7 - 3 = 0. 