+ 18, -h*d = -2*w. Let g be (-10)/56 + w/(-12). Which is smaller: g or -2/5?
g
Let f be ((-1923)/(-5))/(6/10). Is 640 smaller than f?
True
Let o(p) = 38*p + 344. Let j be o(-9). Let v be -6 + j + 6 - (-9)/(-3). Which is smaller: v or -1/1210?
v
Suppose -2*m - 8 = -5*z, 2*z - m - 1 = z. Suppose z*i - 8*i = -6. Let r be 8/(-45) - (-6)/27. Is i smaller than r?
False
Let o = 0.0153 - 0.4153. Which is smaller: o or 0.346?
o
Let i = -73.27 + 78.5. Let u = -4.98 + i. Which is smaller: -2/9 or u?
-2/9
Let q = -576 + 578. Let b be q - -3*2/(-12). Is b <= 1.1?
False
Let z = 77/9 + -25/3. Let q(u) = 2*u**2 + 54*u + 226. Let a be q(-22). Is z at most a?
True
Let k = -102548026/65 - -1577618. Let d = k - -222/5. Which is smaller: d or -2/3?
-2/3
Let h = 2302 - 2979. Are h and -676 non-equal?
True
Let g = 7598 + -7598.0251. Which is smaller: -1 or g?
-1
Let s(t) = -126*t - 258. Let f be s(38). Let c = f + 368346/73. Which is smaller: 1 or c?
c
Let w = -16.433 - -16.3. Let l = -3.09 + 3.057. Let z = w - l. Which is smaller: z or -0.33?
-0.33
Let b = -231 + 348. Let q be (-1 + 1)*1864/(-3728). Which is greater: b or q?
b
Let d = 31 + -63. Let i = d - -14. Let w = 16 + i. Is 1.5 at least w?
True
Let s be 12/28 + 4/(-14). Let q = 120.95 - 48. Let n = 73 - q. Which is smaller: s or n?
n
Let s be 5/6*(-10)/3. Let k = 1.7118 + -1.6118. Is k equal to s?
False
Let v = -14.4757 - -546.4637. Let n = v + -533. Let m = n - -0.012. Which is smaller: m or 7?
m
Suppose -2*c + 193 = -13*o, -4*c + 10*o + 317 = 7*o. Is -2/105 less than or equal to c?
True
Suppose 5*p - 140 = 5*a, 130 = -5*a + 3*p - 14. Let b be (-55)/a - 2/(-12). Let s be b/((20/(-4))/(-25)). Which is smaller: 11 or s?
s
Let g = -3 + 4. Let k be 120/(-10 + 5)*(-2)/16*4. Which is greater: k or g?
k
Let c be 2*((-25)/10 - 4/(-2)). Let s be ((-36)/(-20) - 3)/(c/(-5)). Let x = 1258/3 + -424. Is s > x?
False
Let v(x) = x**2 - 9*x + 20. Let z be v(7). Suppose z*l + 76 = 22. Let m be l + 6 + -48*(-6)/93. Is 0 at most m?
True
Let d be (-65)/25 + (0 - -1). Suppose 4*m = -24*m - 56. Which is smaller: m or d?
m
Let t(p) be the second derivative of -3*p**5/20 + p**4/3 + p**3/3 - p**2 - 6*p. Let m be t(2). Let n be m/10 + 14/(-35). Which is smaller: n or -8/9?
n
Let i be -2 + 9 - ((-7592)/184 + 0 - 8). Which is bigger: i or 57?
57
Let y be (((-16)/(-10))/(7/35))/2. Suppose -y*r = -3*v - r + 276, -v = 2*r - 86. Let z = v - 96. Is -46/7 less than z?
True
Let k be (-8*(-5)/(-20)*(0 - -1))/19279. Is 1 at least as big as k?
True
Let a(n) = n**3 - 5*n**2 - 8*n + 6. Let k be a(6). Let j(r) = -167*r - 39. Let y be j(k). Let c = -97264/101 + y. Which is smaller: 1 or c?
c
Suppose 8 = -4*x + 108. Suppose -2*o - 10 = -3*v + 24, 5*o = -x. Let d be 10*(7 + ((-252)/(-7))/(-6)). Is d not equal to v?
True
Let y(x) = -24*x - 48. Let h be y(-2). Let a be (h/2)/((-8)/(-2 + -6)). Which is smaller: -52 or a?
-52
Let b be ((-12)/36)/(((-4)/12)/1). Let v be ((-297)/54)/(b/(-22)). Does 121 = v?
True
Let s = 187 + -317/2. Let c = 6071 - 6043. Is s at least c?
True
Let d(k) = -k**3 - k**2 - k. Let h be d(0). Suppose 2*a - a + 1 = h. Let x = 791 - 2372/3. Which is smaller: x or a?
a
Suppose 8 - 24 = 4*u. Let i be (33/(-22))/(2/u). Let s be 4/6 - (-1)/i. Is s smaller than 3?
True
Suppose 2*w = -283 + 293. Suppose -11*m + w*m = 258. Which is greater: m or -46?
m
Let g = -43 - 153. Let c = 202 + g. Do -0.06 and c have different values?
True
Suppose 0 = 3*p + 9, -5*u - 5*p - 5 = -45. Suppose -130 = -198*a + 185*a. Is a bigger than u?
False
Let k(s) = 2*s**2 - 14*s + 43. Let u be k(6). Suppose -u*a + 4 = -32*a + f, -2*a + 10 = 4*f. Are -2/95 and a equal?
False
Let j(k) = 4*k + 5. Let u be j(-6). Let a = u + 18. Let f = -482/14719 + 3/359. Which is smaller: f or a?
a
Let z = 9649168875606/5855 - 1648022004. Let d = 54509 + -63830033/1171. Let y = z - d. Which is bigger: 8 or y?
8
Let i(z) = 2*z**2 - 65*z + 28. Let n be i(39). Let b = n + -619. Is b at least -86?
True
Let b be 15/5 + (2 - 213). Let f = b + 2714/13. Let g = -3 - -3. Which is smaller: g or f?
g
Let v = -882296/2693691 + 166/507. Do v and 0 have different values?
True
Let q = -17 - -22. Suppose 0 = -q*d + 67 - 7. Let n be (4/d)/(1/(-3)). Which is smaller: n or 4/11?
n
Let s(j) = -9 + 2*j**2 + 7*j + 11 - 2*j + 0*j. Let a be s(-2). Let h be 22/6 + (87 - 91). Which is bigger: a or h?
a
Let a be (2 - ((-24)/4)/(-2))*-9. Suppose 37 = -4*n + a. Let x be (2 - 3)/((16/28)/4). Is n >= x?
True
Let a = -6691/56 + 55/56. Let c = 386 + -267. Let w = a + c. Is w greater than 1?
False
Let k(t) = -t**3 + 9*t**2 + t - 10. Let c be k(9). Suppose 0 = -6*b + 10*b + 52. Let f(l) = -l**2 - 15*l - 29. Let y be f(b). Which is greater: c or y?
c
Let a = -1.6 + 1.7. Let d = a + 67.9. Let w = 0.03 + 0.97. Which is smaller: d or w?
w
Let a = -90396 + 904749/10. Which is greater: 80 or a?
80
Let q = 9911 - 7076. Is 2836 != q?
True
Let j = -1756 - -2461. Suppose 3*x = -15, b + 4*b + 5*x = -j. Are b and -136 nonequal?
False
Let w(r) = r**3 - 12*r**2 - 15*r + 20. Let c be w(13). Let b = c + 6. Let o be 0*(b + (-3)/3). Is o greater than or equal to -5/7?
True
Suppose 3*f = 12 + 3. Suppose -4*p - 16 = p + b, f*p + 3*b = -8. Suppose -15*d - 77 = -47. Which is smaller: d or p?
p
Let k = 2173113/39100 - 5643/100. Let u = 25/23 + k. Suppose 0 = -2*p + 1 - 3. Do u and p have the same value?
False
Let m(c) = 9*c**3 - 7*c**2 - 4*c + 186. Let h be m(8). Is h not equal to 4314?
False
Let r(q) = -9*q**3 - 91*q**2 - 9*q + 17. Let j be r(-10). Let s = -24 - -34. Is j equal to s?
False
Let h(p) = 23*p - 35. Suppose 3*o = z + 8, -5*z = -6*o + 5*o - 16. Let q be h(o). Which is greater: -2 or q?
q
Let r = 2.4 - -42.6. Let y = r - 45.039. Let g = -0.139 - y. Which is greater: -6/11 or g?
g
Let h = 749 - 755.2. Let k = -67.7 + 74. Let v = h + k. Which is smaller: v or 51?
v
Suppose 4*t + 911 = -25. Let h be (-31 + 357/4)*-4. Is h less than t?
False
Let d = -128 - -128.825. Let k = -11.88 - -11. Let g = d + k. Which is smaller: g or 1?
g
Let w be ((400/(-60))/(-20))/(1/(-3)). Let q be (2/41)/((-2)/9). Are w and q non-equal?
True
Let v be (-351600)/(-16)*(0/(-1) - 1). Let y = v - -109218/5. Let g = 131 + y. Do 1 and g have different values?
True
Let o = 797103 - 797117. Let z be (-212)/15 - 2/(-6). Which is smaller: o or z?
o
Let o = -270.977 + 270.877. Let u be 4/14 + (-46)/112. Is o at most as big as u?
False
Suppose -488 = t - 4*t - 5*a, -t - 5*a + 156 = 0. Which is smaller: t or -0.08?
-0.08
Let l = -53 + 64. Let v = -5.3 + l. Let x = v - 5.6. Which is smaller: x or 24?
x
Let a = -55 + 133. Suppose -d = d - 424. Suppose 5*h - d - a = 0. Is -2/5 <= h?
True
Let c be 412/16 - ((-22)/(-8) + -3). Suppose c*k = 31*k. Let m = k - -3/29. Which is smaller: 0 or m?
0
Let x be (-1)/(60/(-90)*15/(-4)). Which is bigger: -24 or x?
x
Let y = -11036 + 15433. Do 4396 and y have the same value?
False
Let h = 3781 - 4306. Which is greater: h or 2?
2
Let w be (-1*2/87)/((-15)/((-540)/11652)). Which is smaller: -1 or w?
-1
Let i = -38 + 38. Suppose 1 = -2*n + 7, -4*s + 3*n + 231 = i. Suppose -5*z - 100 = 4*d, z - 3*d = -2*z - s. Which is bigger: -2/3 or z?
-2/3
Let n be (-8)/(-10)*(-2)/(-8). Suppose -3*j = 2*j + 20, -c + 2*j = -471. Let t = c - 459. Which is greater: t or n?
t
Let a be (((-386)/584)/(-1))/((-232)/290). Let t = 13/16 + a. Which is smaller: t or 0?
t
Suppose -8*k - 39 - 113 = 0. Let b be (0 - -3 - k) + 24/(-6). Suppose 65 = 5*m - 25. Are b and m equal?
True
Suppose 401 - 380 = 7*k. Suppose 24*j = 4*z + 28*j - 1376, -k*z + 2*j + 1057 = 0. Is 348 != z?
True
Let n = 2/27747 - 249853/1803555. Is n >= -1?
True
Let d be (-2)/(-56) - (-4)/16. Let c be (6 - ((-684)/8)/(-9))*-4. Let b be 120/(-840) + 86/c. Does d = b?
False
Let p(a) = -2*a**2 + 11*a - 25. Let f be p(11). Let v = -304 - -158. Is f bigger than v?
False
Suppose -6*o - 5 - 19 = 0. Let x be 1*(-8 + (-4 - o) - -3). Let g be (42/10 + x)/(-46). Which is greater: -1 or g?
g
Let d be (5 + (-34)/(-4))*246/15. Do 220 and d have different values?
True
Let v = 7 - 6. Let g be (21/(-12) - -1)*8. Let q = g + 5. Does v = q?
False
Suppose -29*g + 26*g + 2*p - 3 = 0, 3*g + 3 = -4*p. Is g less than or equal to -107.25?
False
Let c be 0/(2/((-2)/2)) - 33. Let a be (116/(-20) - -4)*c. Let b = a + -59. Whi