t be w(-11). Which is smaller: t or z?
z
Let d = -39153 - -36912. Are d and 2 nonequal?
True
Let c be -1 - 65/(-67) - 0. Let k(h) = 6*h - 48. Let j be k(9). Suppose j*l - l = 5. Which is smaller: l or c?
c
Let y be (144/(-6720))/(1268/14). Which is smaller: y or 1?
y
Suppose 0 = 3*f + w - 12, -f + 3*w - 5*w = -9. Suppose 0 = d + f*d + 12, -d = -2*b + 127. Suppose -5*l - h = -b, -5*l + 2*l + 46 = 5*h. Is 12 at least l?
True
Suppose -12 = 3*b, 0 = -2*c + b + 604 + 128. Let h = c - 462. Do h and -99 have the same value?
False
Let i = 142277/80614 + -1/4742. Let j = i + -103/68. Which is smaller: -283 or j?
-283
Let u = 12051/95 + -639/5. Which is bigger: u or 0.23?
0.23
Let z be ((-4)/(-8))/((-9)/126). Let k be 285/38 + 2/4. Which is smaller: z or k?
z
Let p be (3228836/(-279))/26 - (-8 + -1). Which is greater: -437 or p?
p
Let m be ((-2)/64)/(1/(-2)). Suppose -36*z - 105 + 2409 = 0. Suppose 77*p - z*p = 0. Does p = m?
False
Let d(n) = n**2 - 10*n + 13. Let p be d(9). Suppose -b - p*y = 288, -7*b = -2*b + 4*y + 1520. Are -308 and b equal?
True
Let q be ((-20)/14)/(2552/231 + -11). Suppose -3*w - 93 = -4*x, -3*w + x - 137 = w. Is q greater than w?
True
Let g(b) = 3*b**2 - 5*b - 6. Let c(a) = 14*a**2 - 24*a - 29. Let h(n) = -2*c(n) + 11*g(n). Let d be h(-5). Suppose -d = 4*p + 4*p. Which is smaller: -18 or p?
p
Suppose -2*g - 7*y = -2*y + 282, 705 = -5*g + 3*y. Let q = 124 + g. Suppose 3*j + 1 = -8, 0 = -4*p - 3*j - 29. Are q and p equal?
False
Let p be (1*8)/((-30)/9). Let a(f) = -f**3 + 10*f**2 + f - 17. Let x be a(9). Let g = 70 - x. Which is smaller: p or g?
g
Let h(c) = -3*c**3 - 27*c**2 + 117*c - 395. Let s be h(17). Are -20948 and s equal?
True
Let q be (-2455)/(-13) + (-44)/(-286). Let h = -222 + q. Suppose 3*u = -u - 136. Does u = h?
False
Let p be 152/3 + (-4590)/(-1377). Suppose 55 + 49 = 2*f. Which is bigger: p or f?
p
Let o = 695 - 641. Let g = 10.8 - 64.8. Let v = g + o. Which is smaller: v or -2?
-2
Let m be (-75)/(-60) + (-20)/16. Suppose m = -9*g + 13*g - 156. Is g less than 35?
False
Let d = -8557 - -1859. Is d != -6698?
False
Suppose 5*k + 126 = 2*k. Let w = k - -50. Let v be 225/36 + w/(-2). Which is smaller: 3 or v?
v
Suppose -5*c + 20 = 45. Let d be c + (0 - 108/(-21)). Suppose -2*w - 1 = -w + 2*j, -j = 1. Which is greater: w or d?
w
Let s(x) = x**3 + 9*x**2 - 9*x + 14. Let a be s(-10). Suppose m + 2*m + 4*k = -173, 4*m + 272 = 5*k. Let q be m/a + (-6)/(-8). Is q at least -15?
True
Suppose -21 = -5*b + 74. Let s be 1215/12*(-32)/(-160). Which is smaller: s or b?
b
Let p(z) = z**3 - 24*z**2. Let h = -350 + 374. Let b be p(h). Let v = 11/45 + -317/1665. Are v and b nonequal?
True
Suppose -11*i + i + 100 = 0. Let w be ((-9)/6)/(3/i). Let q(t) = 2*t + 3. Let f be q(-6). Which is greater: w or f?
w
Let y = 55.95503 + 0.04497. Which is smaller: y or -1/8?
-1/8
Let g = 14405 + -23255. Is -17697/2 < g?
False
Let y(d) = -5*d**3 - 243*d**2 - 146*d - 145. Let h be y(-48). Let g(o) = -24*o. Let j be g(2). Is h bigger than j?
False
Let m = 36 - 20. Let s = 25 - m. Suppose -7*u - s = -23. Are u and 2 nonequal?
False
Let u = 2384 - 2384.56. Let f = 0.025 + 0.435. Let r = f + u. Which is greater: 0.5 or r?
0.5
Let v(p) = p**3 - 8*p**2 + 8*p. Let q be v(7). Suppose 2*l + 2*u = q*l - 82, 34 = 3*l - 5*u. Suppose -21 = 3*h - l. Is -12/7 < h?
True
Suppose 4*d - 184 = 3*d. Let i = -218 + d. Which is greater: i or -106/3?
i
Let s(f) = -6*f**2 - 30*f + 8. Suppose o = -0*o - 3, 5*z = -3*o - 39. Let j be s(z). Do -26 and j have the same value?
False
Let v = -75 + 527/7. Suppose 0 = n - 201 + 171. Let d be (n/(-212))/5*(-12)/(-9). Is v >= d?
True
Let n = 80.5 - 80.406. Suppose 3*d - 4 = 2*d. Let t be (-2)/d*(-16)/(-12). Is n less than t?
False
Suppose -54*l = 5999 + 36877. Is -5559/7 equal to l?
False
Suppose -111 = -3*m - 3*c + 225, 2*m = -5*c + 209. Is m at least as big as 111?
True
Let q be (-1 - -2)*-1 - (-750)/300. Is q greater than 123/14?
False
Let w = -90603/7 + 12943. Is w greater than or equal to 141/10?
False
Suppose a - 29 = 3*a + 5*w, 0 = 3*a + 4*w + 26. Let t(s) = -s + 2. Let o be t(a). Let z be 2 + (-205)/90 - o/18. Which is smaller: z or 5?
z
Let q = 591 - 564.7. Let l = q - 23. Let n be -2 - -2 - 2/(-7). Which is bigger: l or n?
l
Let d = 3965 - 3965. Which is bigger: d or 9/881?
9/881
Let f = 16.41 + -19.21. Is -12 bigger than f?
False
Let f be (0 - -2)/(3/((-828)/(-6))). Suppose -2*k = -3*o - f, 4*o = 2*o + k - 61. Let m be 35/o*((-16)/14)/4. Are 1/2 and m nonequal?
True
Let f = -1918 - -1911. Is f >= -118/15?
True
Let u = 95 - 134.2. Let c = u + 36. Let h = -0.143 + 1.143. Is h at least c?
True
Let z = -235 + 186. Let i be z/(-35) - (-2 + (-48)/(-20)). Is -1/158 not equal to i?
True
Suppose -5*g + 12 = -8. Suppose g*c - 1 = -13. Let h be (2 - 4)*1/14. Is h at least c?
True
Suppose 0 = 5*z - t + 4, -5*z + 2*t + 1 = -4*z. Suppose -19 = 3*w - h, 5*h - 1 = 4. Let l be 1*-13 - w*z/(-3). Which is greater: -3 or l?
-3
Suppose -57 = 6*t - 69. Suppose 3*v + 162 + 313 = 5*g, -3*g = t*v - 304. Is 96 >= g?
False
Let b = -2748 + 2314. Which is bigger: b or -430?
-430
Let x = -155 + 29. Let v = 41 + x. Let z = v + 84.9. Is z != -45?
True
Let g = -606 + 150. Let y = g - -456.2. Which is bigger: 170 or y?
170
Suppose -302 = 3*m + 3*j - 899, 2*j - 806 = -4*m. Suppose -5*f = -289 + m. Are f and 10 equal?
False
Let b = -0.29 + 0.3. Let i = 105.087 - 0.087. Let v = 103 - i. Is v at most as big as b?
True
Let k = -10162.4 + 905.4. Is k < 0.2?
True
Suppose -6*m = -52252 + 52258. Are -11/1885 and m non-equal?
True
Let q be (976 - -2)/(-12 + 20/2). Is -489 greater than q?
False
Let n(t) = t**2 - 13*t + 1. Let b be n(12). Let u = 2.087 + -0.087. Is b less than u?
True
Let r = -2998 + 3137. Let p = 249 + -109. Which is smaller: p or r?
r
Let v(q) = 12*q + 30. Let f be v(-3). Let z be (-16 - f)/(4 - 68/16). Which is greater: z or 2/9?
z
Let a = -64.96 + 394.96. Are a and -0.7 non-equal?
True
Let i be ((-39)/(-442))/(1/14). Let x = 634/527 - i. Let k = 98/155 + x. Is 1/5 <= k?
True
Let g = 2416 + -1722. Let y = g + -546. Is y less than -0.1?
False
Let c = -22285 + 22199. Which is smaller: c or -1/14?
c
Suppose -5*n + 426*s - 429*s - 19388 = 0, -2*n = 4*s + 7744. Is n not equal to -3881?
True
Suppose 141*c - 2471 = 134*c. Suppose c*j - 16 = 354*j. Which is smaller: 1/3 or j?
j
Let m = -3586663/163 - -22004. Is 0 at most m?
False
Let i = -1/61 + -55/366. Let k = 18 + -19. Are k and i unequal?
True
Let y = 477 - 476.9. Which is smaller: -378.6 or y?
-378.6
Let g be (37 - 2)/(1 + -19). Suppose 0 = 3*z + 21, 4996*o + z + 1 = 4998*o. Is g not equal to o?
True
Suppose 0 = 3*q - 2*w - 100 - 358, 0 = -5*w + 25. Which is smaller: 143 or q?
143
Let t = 9226.7 + -9227. Which is smaller: -8/335 or t?
t
Let g be 0*3/(-9) + -15. Suppose 198 = 85*y - 91*y. Let l be (-354)/(-649) + -2 + (-81)/y. Which is smaller: g or l?
g
Let s(c) be the first derivative of c + 0*c**2 + 14 - 1/3*c**3. Let a be s(0). Which is bigger: a or 1/32?
a
Let n(i) = -i**2 + 18*i + 16. Let f be n(8). Let b = f + -120. Which is bigger: b or -25?
b
Let t be (364/(-1560))/((-2)/(-8) + 3/12). Let a be 0 + -1 + -1 + 2. Which is bigger: a or t?
a
Let r be (-180387)/11259 - (-16)/1. Are 1 and r non-equal?
True
Suppose -6*k = -14*k - 8. Let d be 5 - 1684*k/(-336). Let h(n) = -n - 7. Let i be h(-6). Which is smaller: i or d?
i
Let t(l) = -3*l**2 + 52*l + 5. Let o be t(19). Suppose 0 = -3*d + 2*j - 209, 0 = 2*j + 7 + 3. Let q = d - o. Do q and 18 have different values?
True
Let h(i) = -i**3 + 13*i**2 - 81*i + 457. Let m be h(16). Which is smaller: m or -11246/7?
m
Suppose -4*v - 4 = -2*w - 6, 3*w - 4*v + 5 = 0. Let l be 7/(18 - w)*-3. Let r be ((-1)/(-14))/((-3)/4). Do r and l have different values?
True
Let s(i) = -i + 148. Let a be s(1). Which is smaller: 157 or a?
a
Let k = 742 + -743. Let t be ((-2 + -6)/32)/(k/4). Which is smaller: 4/159 or t?
4/159
Let h be (-27 + 585/18)*79/(-2). Is h less than or equal to -216?
True
Let z be -304*(5/15)/(12/36). Are z and -1527/5 non-equal?
True
Let y be 1*(-2 + 0) - 0. Let s be y/(-3)*(-3)/158. Let c be 11*(-7)/(-231)*3. Which is greater: c or s?
c
Let g = 5250 + -5382. Is g <= -4?
True
Let s be (494/420 - 85/102)*(-42)/4. Is s greater than or equal to 0.1?
False
Let