es 8 = d?
False
Let d = 349 + -360. Is d >= 21?
False
Let f be (-435)/12*(-288)/90. Which is greater: 87 or f?
f
Let k = 1322 + -1317.999. Let g = -18.073 + k. Let c = g + 0.072. Which is smaller: c or 3?
c
Let r = -9335 - -10485. Are 1151 and r unequal?
True
Let n(t) = 22*t**2 - 2*t - 1. Let m be n(-1). Suppose -104 = 35*q + 71. Let c be (168/(-64) - q)*10. Is m at most c?
True
Let j = 459 - 378. Let d = 84 - j. Which is smaller: 20 or d?
d
Let m = -11550 - -57748/5. Is 7197 > m?
True
Let n be (-35)/(-45) - (-4)/18. Let x = 1.07217 - 0.34217. Which is bigger: x or n?
n
Let w(i) = -2 - 2 + 0*i - i + 20. Let p be w(9). Let q be (-5 + 63/72)/(6/(-8)). Which is smaller: p or q?
q
Let d = -4133 + 4878. Is d greater than or equal to 748?
False
Suppose -4*i - i - 5*z + 70 = 0, 3*i - 34 = z. Let u(y) = i*y + 9 - 10*y - y. Let r be u(13). Is r greater than 22?
False
Let m(z) = -4*z**2 + 89*z + 820. Let g be m(-7). Let f(n) = -9*n**2 - 6*n - 6. Let w be f(7). Let d be (-4)/6 - 320/w. Which is smaller: d or g?
d
Let y be (3/(-8))/3 + 0. Suppose -32 = 12*a - 8*a + 2*t, 0 = a + 4*t + 22. Let g be (-6 + 3)/a - (-3)/6. Which is smaller: g or y?
y
Let j(m) = 2*m**2 + 7*m - 106. Let z be j(-10). Let h be (72/10)/(30/100). Is z bigger than h?
False
Let p = 0 - -1. Suppose -4*f + 24 = 4*u, -f + 12 = -4*u + 4*f. Suppose 0 = -u*x - 15 + p. Which is smaller: x or -6?
x
Let n = -18575 - -18574. Let w be 3/4*(-1)/(-126). Which is bigger: w or n?
w
Let x(i) = 2*i**3 + 49*i**2 + 42*i + 292. Let u be x(-24). Which is smaller: u or -123?
u
Suppose -86*o - 88080 = -45*o - 281*o. Is o at least 365?
True
Let t = -764/517 + -16/47. Let g(v) = 8*v - 42. Let r be g(6). Suppose -r*x - 9 - 3 = 0. Is t at least as big as x?
True
Let k(b) = -b**3 + 9*b**2 - 8*b + 2. Let a be k(8). Let r be a/8*(-6 - -2). Let m = 39 - 37. Which is smaller: m or r?
r
Suppose -5*h = -6*f + 2*f - 119, -2*f - 63 = h. Let i = 420 - 414. Let m be 4/2 + 4 + (-32 - i). Is m < f?
True
Suppose -1248*t = -1242*t + 6. Which is smaller: t or 16/407?
t
Let q be ((-2)/(-3))/((-7)/(84/(-8))). Let r = -25806900/1177 + 21926. Is r greater than q?
False
Let w = 171808 + -41405803/241. Which is greater: 1 or w?
1
Let h = 28.18 - 28.13. Is -510 less than h?
True
Let j = 87 - 97. Let i be (-445)/j + 4/8. Which is bigger: i or 0?
i
Let n be (-23)/(-323) + (-10)/(-76)*(-224)/(-280). Let j = -4 - -3. Let q = -1 - j. Which is bigger: n or q?
n
Let y = 88501983/3019 - 29315. Which is greater: -1 or y?
y
Let z = 13.4 - 13.144. Let n = 118.744 + z. Which is greater: 1 or n?
n
Suppose 0 = -b + h - 4*h + 3, h + 47 = 5*b. Let g be -4 + 7 + b/(-3). Suppose g*q - 4*q - 148 = 0. Are -37 and q non-equal?
False
Let b be (-110)/(-275) - (-22)/(-30). Is b at most 2/1463?
True
Suppose -5*z - 2675 = 4*d, 10*z = -4*d + 13*z - 2651. Which is smaller: -660 or d?
d
Let p be 2/5*(-661 + 731). Is p smaller than 645/22?
True
Suppose n + 4*t + 178 = 3*n, 3*n = -2*t + 267. Suppose -7*j = -223 + 181. Let q = j - n. Which is greater: q or -84?
q
Let p be 294*3*2/64*18. Let q = p + -497. Are -2 and q equal?
False
Let p(i) = -5*i + 15. Let d be p(-10). Suppose -18*j + d = -313. Let r(l) = l**2 - 3*l + 6. Let y be r(6). Which is bigger: j or y?
y
Let m be 3/(-9) + (-166)/42. Let d = 165667 - 165670. Which is greater: m or d?
d
Let g be (0 - 6) + (-102408)/(-1200). Let z = 159/2 - g. Which is bigger: z or -1?
z
Let g = 11.89491 - -0.10509. Which is smaller: 2/61 or g?
2/61
Suppose 3*l - 11*k = -14*k + 9, 5*l = 3*k + 55. Which is greater: l or 435/49?
435/49
Suppose 3*p - 3*m = 244 - 880, 5*m + 1472 = -7*p. Which is smaller: -215 or p?
-215
Let f = 376 + -670. Is f bigger than -291?
False
Suppose -5*u = u - 384. Let f be (7 - 7) + 1*-6. Let h be f/(-8) + 16/u. Is h > 1?
False
Suppose -3*v = 7*d + 3, -3*v + 2 = -4*d - 5*v. Which is greater: d or 64/153?
64/153
Let z = -670 - -675.95. Let y = -6.05 + z. Is y greater than 714?
False
Let w(g) = g**2 + 5*g + 7. Let h be w(-5). Suppose i + i = 3*u - 18, 2*u = -5*i - h. Suppose u*x = x - 6. Is x > -7/3?
True
Suppose 23*q - 92 = -0*q. Suppose 7*g - 10*g + 109 = -4*n, -q*g = n - 177. Which is smaller: g or 41?
41
Let k be (-16)/(-2 - 38/(-20)). Which is smaller: 319/2 or k?
319/2
Let b = 32 + -20. Let l be b + -13 - (-9)/11. Let v(c) = -c**3 - 14*c**2 + 15*c - 7. Let f be v(-15). Which is smaller: f or l?
f
Let w = 229 + -221.5. Let q = -11.5 - w. Which is greater: q or -2/13?
-2/13
Let p be ((704/144)/22)/(6/(-18)). Let c = 10 - 3. Which is smaller: p or c?
p
Let s be ((5/15)/((-3)/207))/(-1). Suppose s*g = -1040 - 18. Which is smaller: -45 or g?
g
Let y be 18069/1184148*38 - (-1)/(-2). Let o = 20/259 - y. Which is greater: 0 or o?
0
Suppose 2*h - 62 = -5*t, 0 = -4*h + 4*t - 5*t + 124. Suppose h*l = 7*l + 24. Are l and -170 equal?
False
Let d be (-7)/(-147)*(-942)/4. Is -11 greater than d?
True
Suppose -4*y + 4751 = 17*l - 22*l, 4*l - 5*y = -3799. Which is smaller: l or -947?
l
Let a = -20 - -22. Suppose 0 = -5*k - 3*z + 5 + a, -5*k = -3*z - 13. Which is smaller: k or -1/29?
-1/29
Let w be (3 + (-53)/19)*(-1)/5. Suppose 4*f + 15 = -3*i, 4*f + 5*i + 10 = 3*i. Is w > f?
False
Let d = 118666 - 118715. Let z = -1 - -4. Which is greater: d or z?
z
Let w = 32.98 - 35. Suppose -q + 1 = 3*v, 4*q - 26 + 22 = -v. Is v at least as big as w?
True
Let h = 16.9 + -3.09. Let l = h - -0.19. Let s = l - 4. Which is bigger: 2 or s?
s
Let u be (-4)/18 - ((-1724812)/(-129492) + -1). Let t = -10/2943 + u. Is -13 at least t?
False
Suppose 2*n = -2*n + 48. Let o(s) = -32 + 0*s - 2*s - 37 - 29 + 109. Let r be o(n). Which is smaller: r or -14?
-14
Let g be ((-10)/(40/14))/((-1)/(-2)). Let o be ((-875)/(-10))/g*24/(-10). Is o != 29?
True
Let p be 13084/18 + (-49)/(-441). Let k = -3636/5 + p. Is -1/134 >= k?
True
Let y be 124/3 - (-12)/(-36). Which is greater: y or -30?
y
Let m be (-5 - 2/(8/106))*-14. Let s = 1765/4 - m. Which is bigger: s or 2/9?
s
Suppose 17 = 6*b - 55. Suppose 9*f = -3*f + b. Suppose 0 = -4*r - 3 - 1. Which is bigger: r or f?
f
Let s(h) = h**2 + 7*h + 4. Let d be s(-11). Let a = d + -49. Let t be a/7 + 27/(-7). Is t not equal to -18/5?
True
Suppose -7*c + 21 = 3*a - 4*c, -a - 5*c + 15 = 0. Suppose a*s = 3*i + 17, -i + 4*s = -0*i + 15. Suppose -5 = 4*h - i. Which is bigger: h or 2?
2
Let l(c) = c**2 + 19*c - 18. Let n be l(-20). Suppose -96 = 2*b - n*f, 6*b - 72 = 8*b + 4*f. Is -44 less than b?
False
Let w be 0/1 + (-216)/28. Let h = -394 - -386. Is h >= w?
False
Let r = -8729 + 8729.03. Which is bigger: r or -61?
r
Let d(s) = 24*s**2 + 1080*s + 3. Let b be d(-45). Which is smaller: b or -231?
-231
Let v be 32102/(-70) + (3 - (-51)/(-15)). Let y = 458 + v. Which is smaller: y or 20?
y
Let r = 2/3709 + -25973/18545. Which is smaller: r or -81?
-81
Let h = 12.8 + 1.2. Let n = 185.9 - 172. Let t = h - n. Which is greater: -25 or t?
t
Suppose 0 = -5*o + 2*o + y + 55, 0 = 5*o - 3*y - 97. Let i be o/(-102) + (-1046)/(-6204). Let l = 1049/7755 - i. Which is smaller: l or 1?
l
Let k = 681.2 + -672.905. Is k at most as big as -2/3?
False
Let u = 47234430/2509 + -18826. Is 2/7 greater than u?
True
Suppose 0 = -5*q, -f - 4 = f + 5*q. Let x be 5*(-1)/((-237)/f). Let u = x + 1555/8769. Is 0 smaller than u?
True
Let f = -810531/32 + 25329. Is f at most -127?
False
Let y be ((-1)/(-5))/(41/(-410)). Let r = -2 + 0. Let k = y - r. Is k < 2/3?
True
Let f = 647.9 - 647.64. Are 6/11 and f non-equal?
True
Let f(j) = 25*j**2 + 295*j - 27. Let w be f(-12). Does 54 = w?
False
Let k = -199/4 - -88. Is -3/11 smaller than k?
True
Let v(f) = -4009*f - 495. Let s be v(-4). Is 15541 >= s?
True
Let l be (-19)/((-570)/1580)*(-2 + -1 - 30). Which is smaller: -1735 or l?
l
Suppose 4*i = -4, 2 + 6 = -3*g + i. Let l be (g - 528/(-87)) + -3. Is -1 >= l?
False
Let j = 14 + 22. Let s be 535/210 - ((-6)/(-1))/j. Is s > 2?
True
Let n(q) = q**2 - 126*q + 1368. Let k be n(11). Which is smaller: 724/7 or k?
k
Let w be 5*(-5)/(-175) - (-643)/7. Suppose -3*z - w = -17. Let m be 10/z - ((-194)/60 - -2). Is m less than 2?
True
Let s be (-74)/8 + (-2)/(-8). Let f(v) be the first derivative of -3*v**2/2 - 5*v + 2289. Let m be f(s). Are m and 23 non-equal?
True
Let d = 1.5489 - 0.2489. Is d equal to 0.116?
False
Let t = -9351.8909 - -9352. Which is smaller: 0.2 o