/(-11). Let f = i + 6054. Which is greater: f or -1?
f
Let p = 0.58059 - 0.68059. Let a = -313 - -29. Which is greater: p or a?
p
Let k = 489/979 + -4/89. Let h(a) = a**2 - 2*a - 15. Let r be h(5). Let f be (r*(3 + -1*4))/(-1). Is f bigger than k?
False
Suppose 4*i = -5*q - 27, -29*q = -31*q + i - 16. Which is smaller: q or 3?
q
Let l = -79056/36674545 + -2/40435. Let c = 975/30838 + l. Let t(v) = -v**2 + 3*v - 1. Let k be t(3). Is c smaller than k?
False
Let f(h) = -h**2 - 21*h - 88. Let t be f(-7). Suppose -25 = 54*s - 49*s + 4*g, -5*s + 3*g + t = 0. Which is smaller: s or -5?
-5
Let r be -5 + (-160)/(-35) + (241/7 - 0). Is 35 at least r?
True
Let n = -488 + 488. Suppose n = 2*w - y - 10, 6 = 14*w - 15*w - 5*y. Which is smaller: 42/13 or w?
42/13
Suppose 0 = 5*j + 3*v + 23, 3 + 4 = -3*j + 5*v. Suppose -2*w + 57 = 45. Suppose -7*x + w*x = -5*q, -4*q = x. Is j less than or equal to q?
True
Let t = 20.966 + -8.766. Which is smaller: 11 or t?
11
Let f be (-12 - (-13 - -2)) + 0/(-4). Let d = -760/221 - -31/17. Which is greater: f or d?
f
Let u = 3.1 - 0.1. Let b(n) = 6*n + 1. Let k be b(1). Let i = k + -15/2. Which is smaller: u or i?
i
Let w = 12075 + -12014. Suppose u - 236 = -3*u. Is u less than or equal to w?
True
Let c = -7 + 20. Let i = -69 - -56.2. Let d = c + i. Which is greater: d or -0.4?
d
Let w = 339.11 + -15.11. Which is bigger: w or -1?
w
Let h = -33 + 35. Let l be h/(-8) - 255/(-12). Suppose -35 + l = -2*u. Is 6 bigger than u?
False
Let g = -3149 - -1187. Is g <= -0.1?
True
Let q = -202.6 - -200.513. Let f = -20.8 + 20.713. Let j = f - q. Does j = 0?
False
Let g = 34592/33 + -5741/11. Which is greater: 525 or g?
g
Let p = -83.5221 + -7.2559. Let v = p - -91. Let b = 0.082 - v. Which is bigger: b or 1?
1
Let h = -5166 + 5185. Which is smaller: h or 8.6?
8.6
Let o = -3 + 2.5. Let s = -37392 - -37388.9478. Let r = s + 0.0522. Is r greater than o?
False
Let o = -26.8 + 29. Let d = 2.1 - o. Which is bigger: d or -0.123?
d
Let h be 4/(-22) + (10724/(-44))/7. Let x = h + -95. Is x at most -130?
True
Let v be (-2188)/(-1641) - 43/3. Is -609/43 greater than v?
False
Let s = -2429 + 3089. Is 657 >= s?
False
Let n(c) = -c**3 + 17*c**2 + 6*c**3 + 11 - 6*c**3 + 0 + c. Let d be n(17). Suppose -d*b + 24*b = 12. Do b and -4 have the same value?
False
Suppose -20*m = -1992 - 2208. Let s be -305*(-36)/m - -3. Is s at least as big as 55?
True
Let k = -92 + 160. Let q = 71 - k. Let h be 450/(-3)*(6/4)/q. Which is smaller: -76 or h?
-76
Let k = -956 - -861. Let u = -0.266 + -0.134. Which is bigger: u or k?
u
Let g = -13147/3 + 4382. Which is bigger: 13.27 or g?
13.27
Suppose -245*r + 7678 = 77*r + 27*r. Is 122 not equal to r?
True
Let i = 298 - 340. Suppose 0 = -j - 3*j + 236. Let w = j + i. Is 16 at least w?
False
Suppose -35 + 296 = -46*z + 77. Let b be -2*(-1)/(-1 + 0). Is b at most z?
False
Let p(m) = -m**3 + 2*m**2 - 2. Let b be p(2). Let n be (0 - b)*-2 - 576/(-96). Is 19/11 not equal to n?
True
Let z(i) be the second derivative of -i**5/20 + 25*i**4/12 - 7*i**3 - 42*i**2 + 9*i. Let c be z(23). Which is smaller: c or 27/4?
27/4
Suppose 0 = -10*p + 12*p - 18*p - 39392. Which is bigger: p or -2460?
-2460
Let l = -5038 - -5038.1373. Which is smaller: l or 2?
l
Let h(v) = -v**3 + 6*v**2. Let g be h(6). Suppose -1 = -r - g, -4*d = -r - 7. Suppose -3*l + d*l = -7. Is 10 >= l?
True
Let k be 227/266*(2462 + 14 + -7). Let m = k + -2107. Which is smaller: 1 or m?
m
Let l = -724 + 662. Let p(c) = 10*c + 19. Let o be p(-8). Which is greater: o or l?
o
Let h be (40745/25 - -25)/((-6)/20). Is h at least as big as -5515?
False
Let h = -243 - -383. Let y = -140 + h. Are -1/19 and y equal?
False
Suppose -q + 3*i = -1773, 5*q + 2*i = 2*q + 5352. Let u be q/(-418) + 3 + 0. Let w be (-4)/(-10) - (-144)/(-60). Which is bigger: u or w?
u
Let z = 346 + 430. Suppose 18*k - 10*k - z = 0. Is k > 195/2?
False
Suppose -5*z + 21 = -2*z. Suppose v + z + 8 = 0. Suppose 25 = -5*j + 5*k - 55, -5*k = -2*j - 35. Is v greater than j?
False
Let j(y) = -1152*y + 12501. Let t be j(10). Which is smaller: t or 980?
980
Let c = -282 + 287. Suppose 2*x + x = -3*s + 240, -c*x - s = -408. Is x bigger than 82?
False
Let d = -2266 - -11253/5. Which is smaller: d or 0?
d
Suppose -17 - 13 = -3*h. Let o = -34 - h. Let k = 22 - 65. Do k and o have the same value?
False
Let z be (-6)/(-9)*(-72)/(-16). Suppose -3*n = -z*r - 2*r + 10, r = -3*n + 20. Is 3 bigger than n?
False
Let j = 6046 + -6046. Are j and -26/673 equal?
False
Suppose 3*f - 56 - 25 = 0. Let q be f/(-45) - (-4)/(-10). Let n = 96.4 - 58.4. Are q and n nonequal?
True
Let y be (-2956)/(-2640) - 74/2035. Let r = -17 + 17. Is y equal to r?
False
Let t = -2010 - -1992. Which is greater: t or 0.6?
0.6
Let q be (-20)/(-2) - 31132/2322. Which is greater: q or -2?
-2
Let o = -9203 + 9202.9. Which is bigger: o or 5679?
5679
Let u = 8.873 - 8.773. Let s = -136 - -136.664. Which is bigger: s or u?
s
Suppose 0 = j + 6, -5*v + 3*j = -24 + 386. Which is bigger: -82 or v?
v
Suppose 16 = -2*w + 16. Let g be 4/((-80)/45) - w. Suppose l - 6 = 4*l. Do g and l have different values?
True
Let h = -401753/331449 + 244/201. Which is bigger: 1 or h?
1
Suppose -4*l = -3*c - 306 - 371, 2*l - 4*c - 326 = 0. Is 165 > l?
False
Let r = -7826 + 7806. Is r not equal to -329/16?
True
Suppose 2*j + q - 127 = -7, 252 = 4*j - 4*q. Is 48 equal to j?
False
Let l = -2/2447 - -73516/129691. Which is smaller: 1 or l?
l
Let g = -6/527 - -2059/227137. Let a = g + -809/22843. Let b(h) = -h**3 - 2*h**2 - 9. Let d be b(-3). Which is bigger: d or a?
d
Let d = -24334 + 3090466/127. Which is smaller: d or 1?
d
Suppose 44 = 3*p - 5*a, 3*a = -5*p - 0*a + 62. Let c = -10 - -13. Which is smaller: c or p?
c
Let u(g) = g**3 + g**2 - 130*g + 62. Let y be u(10). Is -160 equal to y?
False
Suppose 5*o = -5, -4*k = 65*o - 63*o + 94. Let r be ((4/(-4))/1)/(1*-1). Which is smaller: k or r?
k
Suppose 47*l - 1748 = -1748. Which is bigger: l or 12/455?
12/455
Let n(a) = 2*a**3 - 22*a**2 + 19*a + 25. Let r be n(9). Is r <= 21?
True
Let s = 43894 - 42809. Which is bigger: 1081 or s?
s
Let z be ((-2)/(-6))/((-8)/(-744)). Which is smaller: 18 or z?
18
Let t be -8 + (86 + 40)*(-2)/2. Do -133 and t have the same value?
False
Let p = 28 + -28. Suppose p = -3*m - 11 + 23. Let u be m/(-2*(-5)/10). Which is smaller: u or 6?
u
Let s = -22.37 - -22.47. Is -2162 at least s?
False
Let t be (33/1)/((-3)/(-4)). Suppose 0 = -5*w + 4*l - 215, -4*l = -3*w - 69 - 60. Let q = w + t. Which is smaller: 0 or q?
0
Let s(p) = 4*p**3 - 12 + 400*p - 5*p**2 + 434*p - 826*p. Let y(m) = -2*m + 1. Let l be y(-1). Let z be s(l). Are 1 and z non-equal?
True
Suppose -g - 99 + 31 = -u, -4*g - 2*u = 248. Let w be 2*(-5)/(-10) - -67. Let k = w + g. Which is smaller: k or 30/11?
30/11
Suppose -4*a = x + 172, 2*a - x + 86 = -0*x. Is -2/35 smaller than a?
False
Suppose -5*c = -4*c + 2*n - 18, 4*c - 3*n = 50. Suppose c + 98 = 8*h. Let m be (h/3)/((-4)/(-18)). Is 22 greater than m?
True
Let b = -2983/15 - -199. Suppose 5 = -5*c - 5*z, 4*z + 12 + 4 = 0. Suppose 4*u + u = -k, -4*k + c*u = 0. Which is greater: b or k?
b
Let u = 2935159/1595 - 9201/5. Does 0 = u?
False
Let n(l) = l**2 - 6*l + 5. Let d(x) = x**2 + 11*x - 10. Let r be d(-12). Suppose -r - 21 = -3*o + h, -3*h - 45 = -5*o. Let a be n(o). Is a greater than 5?
False
Suppose c = 2*s - 231, c + 0*s + s + 237 = 0. Let b = -342 - c. Do b and -108 have the same value?
False
Let b = 6011/2904204 + 5/4588. Suppose 0 = 12*p - 17*p + 3*n - 20, 5*p - 5*n = -30. Is b at most p?
False
Let h(k) = k**2 + 4*k - 3. Let z = -79 + 74. Let f be h(z). Is f at most 14?
True
Suppose 86*p - 87*p + 3 = 0. Suppose v + 3*q + 4 = -3*v, 5*v = -p*q - 5. Let f = 262/13 - 20. Is v at most as big as f?
True
Let s(i) = -4*i - 1. Let n be s(-7). Let z be -42*(5 + (-187)/33). Is n at most as big as z?
True
Let v = 234.28 + -234.39. Let k = -6 + 4. Let b = k + 2.1. Is b less than or equal to v?
False
Suppose 5*u + 4*w = -11, 5*w = -2*u + u + 2. Is -32/15 bigger than u?
True
Suppose 0 = 3*a - 12 - 3, -4*p + 2*a + 114 = 0. Suppose -4*i + 35 - p = 0. Which is smaller: i or -1/148?
-1/148
Let z = -5241 - -5373. Is z > 129?
True
Suppose -2 = z, 2*z - 20 = -4*g - 0*z. Suppose 406 = -4*k - g. Are -104 and k nonequal?
True