alse
Let r be (1/6)/(54/3168). Let z = r - 652/63. Which is greater: z or 2/35?
2/35
Let p(t) = -t**2 - 11*t + 3. Let q be p(-9). Let r be q/63 - 2/3. Which is bigger: -0.06 or r?
-0.06
Let b = -96667 + 450951559/4665. Is b > -1?
True
Let h = 4200 - 4200.2. Which is smaller: h or -1362?
-1362
Suppose 4835 = 63*w - 24082. Which is smaller: 2298/5 or w?
w
Suppose -841*p - 18*p = 47245. Which is smaller: -589/11 or p?
p
Let s = -379 + 380. Is -3/155 greater than s?
False
Let x = -532 - -521. Is -10 smaller than x?
False
Suppose -1672*k = -1696*k - 24. Let q be 91 + (-2 - -2) + 2. Which is greater: k or q?
q
Let w(m) = -m**3 - 3*m**2 + 8*m + 9. Let y be w(-4). Let n be (y + 8)/((1 - 2)/1). Let b = n - -1/2. Is b greater than or equal to -10?
True
Let r(b) = b**2 - 52*b + 673. Let y be r(26). Which is smaller: y or -45/19?
y
Let n be (-182)/14 - (-408)/34. Which is smaller: n or 497/6?
n
Let h = 12 - 22. Let o be (-2)/(-9) - (120/(-24) - (-2217)/135). Is o bigger than h?
False
Let w = -85 - -62. Let r = 15 + w. Let m = r + 7.9. Which is smaller: m or 43/5?
m
Let t = -6596 + 6951. Which is smaller: t or 0?
0
Let m(v) = -3*v**3 - 91*v**2 - 458*v + 83. Let t be m(-24). Which is greater: t or 57?
t
Let q = 3 + -2.6. Let y = -1993 - -33821/17. Let p = y - -574/153. Is q > p?
True
Let f be 4023/(-12) - ((-1)/4 + 0). Let t be 1338/f - 36/(-9). Do 1 and t have the same value?
False
Let m be 116 + (1 - 1) - (-4)/(-4). Let a = -2871/25 + m. Which is smaller: a or 0?
0
Let r = 12 - 11.667. Let y = -0.147 - r. Which is smaller: y or 1/3?
y
Let n be 12/(-2214)*12/24. Which is smaller: n or 1?
n
Let d = -32 - -46. Let j = -135 + 123. Let w = j + d. Is -5/2 > w?
False
Let u be (-52132)/6 + ((-48)/108*21 - -10). Which is greater: u or -8687?
-8687
Let n = 0 - -1. Let l = -57.3 - 15.7. Let v = l - -95. Is v greater than or equal to n?
True
Let k be (-17)/(8 + -9) - 18. Do 3/5155 and k have different values?
True
Let j(t) = -t + 2. Let m be j(-10). Let b be (-18)/m*4/201. Suppose -5*f + 4*v = 4, -69*f = -65*f + v - 1. Is f > b?
True
Suppose 109*p = 106*p - 2*h - 580, -2*p = -5*h + 355. Which is smaller: -948/5 or p?
p
Suppose -2*r = -3*p + 637, 4*p + r + 2*r = 872. Suppose -4*f = 46*w - 49*w - 879, 4*w - 5812 = -27*f. Is f greater than p?
True
Let d = -253274/11 - -23008. Which is smaller: -18 or d?
-18
Let b = -11333 + 147295/13. Suppose 0*v - 20 = 5*v. Which is greater: v or b?
b
Let z = 36 + -30. Suppose 0 = 9*w - 12*w + z. Suppose 0 = 3*k + w + 7. Is k bigger than -13/7?
False
Let s = 22144/3 + -66424/9. Suppose 4*h + 0*h - 4 = 0. Which is bigger: h or s?
h
Suppose 0 = 9*m - 5*m - 2*n - 204, -5*n = 2*m - 114. Suppose 0 = -2*x + 222 + m. Are x and 137 nonequal?
False
Suppose 0 = -2*u - 451*f + 447*f + 26, -u = -5*f - 34. Which is greater: u or 23?
23
Let q = -3149.1 - -3148.94. Let v = -3 + 2.8. Which is smaller: q or v?
v
Let o be 5 + 7/(35/(-60)) - 11060/(-1570). Which is smaller: -1 or o?
-1
Suppose -18*g + 4339 = -2771. Let y = -44634/113 + g. Is 0 equal to y?
False
Suppose 0*t = 2*t + n + 3, 0 = 2*t - n + 5. Suppose -5*v - 127 = -2*g, 3*g - 183 = -13*v + 18*v. Let i be g/(-66) - (-192)/(-3168). Which is smaller: i or t?
t
Let a = 348614/33 - 10563. Let z = -93/22 + a. Which is bigger: z or -4?
z
Let w be (-54)/18 + 3 + 136 + 0. Let k = -480 + w. Is -345 > k?
False
Let r = 3160 + -3355.1. Let x = -194.2 - r. Let i be 1/(-2)*-1*2. Which is greater: x or i?
i
Suppose -n = -z - 0 + 5, -4*z + 18 = -2*n. Suppose -a + 4*p = -43, a + 1 = -z*p + 28. Let m be 0*(3 + a/(-10)). Is 2/41 at least m?
True
Let m = -21940 - -21939.9. Which is smaller: m or 394.3?
m
Let f(v) = -22*v - 4. Let k be f(14). Let p = k - -305. Is p bigger than -4?
False
Let k = -89.39 + 120.6. Let w = k + 1.79. Which is smaller: w or -0.2?
-0.2
Suppose 2*f + 3*f = -3*d + 194, -d - f + 64 = 0. Let s = 163 + -100. Are s and d equal?
True
Let g = -794700041/1388453 + 3/126223. Let n = -572 - g. Which is bigger: 1 or n?
1
Let b = 1705503 + -1711359.935. Let q = b + 5871. Let k = q - 0.065. Is k smaller than -2?
False
Let z = -4051/785169 + -87/847. Which is smaller: z or -1?
-1
Suppose 224 = -2*l - 4*o, -3*o - 460 = 4*l + o. Let d = l - -116. Let f(r) = -r**3 - r**2 + 2*r - 1. Let u be f(d). Which is bigger: u or 2?
2
Let n be 339682/(-15561) - (-6)/117. Which is greater: 5 or n?
5
Suppose 0 = -0*p - 12*p + 3516. Let y = 293 - p. Is y at least as big as 0?
True
Let a = 196 - 335. Let v = -87 - a. Let l = v - 55. Is l bigger than -3?
False
Suppose 191 = -3*k + 38. Let j = -31 - k. Let s be (j/(-60))/(1/(-3)). Which is smaller: -3.8 or s?
-3.8
Let j(o) = o**3 + 2*o**2 + 3*o + 3. Let i = 276 - 277. Let w be j(i). Are 4/23 and w unequal?
True
Let i(t) = 3*t + 4. Let c be (0 + 2)*1 - -1. Let n be i(c). Let f be ((-26)/6)/((-1542)/4626). Is f at most n?
True
Suppose 53*z = -0*z - 72160 - 1510. Is z bigger than -1392?
True
Suppose 6 = 3*i + 9. Let z = -5564974/607 + 9168. Which is bigger: i or z?
z
Suppose -295 = -124*h + 183*h. Which is bigger: h or -29/6?
-29/6
Let r = -369 - -629. Let i = -305 + r. Which is bigger: -47 or i?
i
Let l = -53103 - -126863069/2389. Let t = 11937/9556 + l. Suppose 0 = 5*a - 4 - 11. Which is smaller: t or a?
t
Suppose -j = -2*z + 3*z + 4, 4*z - 4*j + 16 = 0. Let u be z/(-7) - (19 + -19). Which is greater: u or -0.2?
u
Let f be -1 + 16/12 - (-292)/(-12). Let s be 7 - 1 - (-560)/f. Which is bigger: s or -1/4?
-1/4
Let i(y) = y**3 + y**2 - 3*y - 2. Let l be i(-2). Let v = -8462/287 - 12552811/9471. Let w = v + 1355. Which is smaller: l or w?
l
Suppose 19*k + 22*k - 1025 = 0. Suppose -3*g - 86 = -5*v, g + 18 = -3*v + 4*v. Does v = k?
False
Let c = -6647 - -6641. Is c equal to 237?
False
Let m = 6586 + -6591. Which is greater: m or -4/11?
-4/11
Let p = -573 + 571.8. Which is greater: 37 or p?
37
Let k = 3/121 + 1047/1694. Let b = 109/1604 - 349677/460348. Let q = b + k. Which is smaller: 0 or q?
q
Let v = -30382 - -1610182/53. Which is smaller: 3/2 or v?
v
Suppose -2*q + 3*v + 19 = 0, -v + 10 = -3*v. Let x be (7 + -8)/(q/(-4)). Let f(c) = c**3 - 2*c**2 - c + 6. Let t be f(x). Is 4 at most t?
True
Suppose -3*o = -13*o + 570. Let t be (-148)/78 - (-95)/o. Which is smaller: t or 1?
t
Suppose 9*w = -5*w + 336. Suppose 0 = -w*d + 1764 - 732. Is d at most 44?
True
Let c(g) = g + 2 - 6 + 5. Let r be c(1). Suppose r*b = -5*a + 23, 19 = b + 3*a + a. Is b greater than or equal to -1?
True
Let w = 0.5 - 0.3. Let u be (-323)/351 + 1 + ((-9180)/351 - -26). Is u < w?
True
Let q(b) = -37*b + 667. Let s be q(20). Suppose 3*w + 5*x + 247 = -0*w, -4*x = -4*w - 276. Which is greater: s or w?
s
Suppose 2*p + 8*l = 3*l + 141, -p = l - 78. Let z(s) = -8*s - 22. Let c be z(-13). Is p bigger than c?
True
Let q = -3608 - -3600. Let w = -9 + 8. Is q smaller than w?
True
Let s = 5226 + -5357. Is s less than -131?
False
Suppose -3*m - 4*q - 10 = 0, 0 = m + 5*q + 5 + 2. Let l = -120 + 344. Suppose 7*j - l = 21*j. Is m bigger than j?
True
Let z be -8 + (74 - (-15 - -4)). Is 79 bigger than z?
True
Suppose 0*o = 5*o. Let a be -3*(-3)/(-15) - o. Suppose -4*k - 19 = 3*g, 7*g - 25 = 12*g + 5*k. Which is bigger: a or g?
a
Let l = 84 + -86. Let s be (-192)/112*l/(8/182). Let x = -78 + s. Is x at most as big as 2?
True
Let f = 40 - 110. Let s be f - -75 - (-12)/(-2). Let o be (-9)/4 + (-2 - -4). Which is smaller: s or o?
s
Suppose -57*n + 1629521 = -143236. Which is smaller: 31100 or n?
31100
Let k = 35603 + -35604. Which is bigger: -54/1205 or k?
-54/1205
Let b = -1279/38 - 966/19. Is -85 less than b?
True
Let m(q) = 145*q - 7396. Let z be m(51). Which is smaller: 2/37365 or z?
z
Let k be 56/(-13)*9/(-18). Let p = k - 170/91. Let d = -0.0328 + 0.0828. Does d = p?
False
Let o be (-1 + 3 - 2) + -2. Let z be 3/((-21)/252 + 22/(-24)). Is o at most z?
False
Let w be -15 + 8 + 0 + 2360/356. Is -1 greater than or equal to w?
False
Let q be (26 - 27)*3*(-3*1)/9. Is 1 less than q?
False
Let r be 42/(-46) + 6/6. Let o = 68/253 - r. Suppose 28 - 25 = 3*n. Is o != n?
True
Let f = -4/19661 + -9830432/334237. Is f at most as big as -0.2?
True
Let o be (24/(-30))/((-1)/130). Let p = o + -57. Suppose 4*b + p = -g, 0 = -4*g - 0*b - b - 218. Which is smaller: g or -1?
g
Let g = 5.2 - 4.15. Let h = 7.72 - 6.72. Let y = g - h. Which is