 greater: 42/11 or c?
c
Let n be 3*(8704/24)/8. Let s be 51/n + (-6)/16. Which is bigger: 4/145 or s?
4/145
Let p = -7242 + 7238. Is p greater than -165/49?
False
Let l(h) = 2024*h**3 - h**2 - 19*h + 19. Let r be l(1). Does 2025 = r?
False
Let y(o) = o - 40. Let k be y(40). Suppose k = 2*t + 357 - 357. Which is greater: t or 2/1003?
2/1003
Let y = -0.16 - -0.06. Let n = 10425 + -10467. Which is bigger: n or y?
y
Let t = -14 + 11. Let h be (-3)/t - 1 - 43. Suppose 10*b = 8*b - 84. Which is bigger: b or h?
b
Let m be (-2)/(-5) + (-16)/10. Let j be (4/36)/(79/(-711)). Is j less than m?
False
Let z = 0.01383 + -9.01383. Suppose -4*k + 40 = -6*t + 2*t, 2*t = 0. Is k > z?
True
Let x = -7114 - -8943. Which is smaller: 1831 or x?
x
Suppose -4*f + 1211 = 5*l, -f - 4*f + 967 = 4*l. Let t = 6076/25 - l. Do 0 and t have the same value?
False
Suppose -3*a = 2*z - 8*a - 15, -2*a = 2*z + 20. Let h be -156 + (-6 - (-14 - z)). Is h > -153?
False
Let q(t) = 3*t**3 - 13*t**2 + 44*t - 29. Let h(p) = 2*p**3 - 9*p**2 + 29*p - 19. Let o(d) = -8*h(d) + 5*q(d). Let x be o(4). Which is bigger: 5 or x?
x
Let c = -87452063/17017286 - -1737/338. Is c at most -1?
False
Let a = -277587/131 + 2119. Suppose -9*b - 22 - 5 = 0. Let r be 4 - (b + 3 + 4). Which is smaller: r or a?
r
Let t be (32595/24)/(-5)*209/(-33). Let j = 1720 - t. Is j greater than 0?
False
Suppose 0 = -11*y + 379 - 2798 - 3488. Which is smaller: y or -535?
y
Let o be (-1*2)/(-2 + 4). Let v = 2 + o. Let i = 2/115143 - 230296/575715. Which is bigger: v or i?
v
Let g(x) = -x**3 + 6*x**2 + x - 7. Let h be g(6). Let v = -643598/1089 - -591. Let m = v - -4325/33759. Which is bigger: m or h?
m
Let f = -0.02709 - -45.04709. Let o = f - 45. Let j = -0.5 + o. Is 0 greater than j?
True
Let m = 8.68 - 9.667. Let t = 0.013 - m. Which is smaller: -119 or t?
-119
Let l(n) = 6*n + 54. Let s be l(-9). Suppose 0 = -s*m - 7*m + 2499. Let p be (-13)/(273/6) + 88/m. Which is bigger: -1 or p?
p
Suppose -52*y + 49*y + 504 = 0. Is y greater than or equal to 171?
False
Suppose 4 = -2*n - 0*r - 4*r, -3*n + 27 = -5*r. Suppose -5*c = 3 + 57. Let v(d) = 6*d + 74. Let y be v(c). Are y and n nonequal?
True
Let s = 226 + -393. Let x = -165 - s. Is x at least 9/14?
True
Let c be 5/(-25) - 144/(-45). Suppose -31*j = -c*j - 1624. Is 172/3 at most as big as j?
True
Let n = -3.6 - 10.4. Let k = -33 + n. Let r = 46.8 + k. Is r less than or equal to -6/5?
False
Suppose 3*g = -4*u + 3133, -2*g + u = 31 - 2127. Suppose -2*t - g = -1049. Is 6/29 greater than or equal to t?
False
Let y = 537029/381 - 4229/3. Which is bigger: -1 or y?
y
Let o = 7 - -23. Let p be ((-243)/(-9) - -10) + -7. Is o greater than p?
False
Let d = 3436 + -2099394/611. Which is bigger: 3 or d?
3
Let u = -3094.9 - -3095. Is -574 smaller than u?
True
Let l be 53/(-3) + (-2)/(-3). Let c be 651/12 - 9/(-12). Suppose 3*d + c = 43. Which is smaller: d or l?
l
Let h = 3 - 4. Let m = 681 - 210. Let w = m - 495. Are w and h unequal?
True
Let g = 105 + 6. Suppose -g*t = -116*t - 155. Let o = t + 27. Does -3 = o?
False
Suppose 13*d = n - 2947, 18*d + 3*n = 16*d - 466. Which is bigger: d or -233?
d
Let u = -7.8 - -8. Let i = -135 - -577. Let f = i + -442.25. Is f != u?
True
Let r = -10 + 11. Let j = -51 - -49.8. Let x = r + j. Which is smaller: -7 or x?
-7
Let n = -37423/6 + 6237. Is n at least -11/48?
True
Let j = 3.74 + 41.26. Which is bigger: 62/5 or j?
j
Let v be (112/(-84))/((-8)/16620). Is 2770 less than v?
False
Let c be -1 + (-5)/(-2) - (-33)/(-22). Let s be (119 - -1) + (c/(-14))/(-7). Are s and 120 unequal?
False
Let a = -26404/2205555 - 2/13367. Let n be ((-2)/(-4))/(1/2). Which is greater: a or n?
n
Let p(w) = -w**3 - 14*w**2 + 16*w + 22. Let q be p(-15). Let c be (2/q)/(2/(-28)). Which is smaller: -8 or c?
-8
Let x be -305 - (-4 + (13 - 2)). Which is bigger: x or -2/17?
-2/17
Suppose -5*s + 125 = -k + 81, -48 = -3*k - 5*s. Which is smaller: k or 1/3674?
1/3674
Let z be ((-43)/(20511/(-42)))/(824/(-12)). Which is smaller: z or 1?
z
Suppose 3*x + 3*n - 34 = -n, 5*n = 4*x - 4. Let l = 0 - x. Let f be (-2)/3*-1*27/l. Is f <= -22/9?
True
Let m be -13 + (-84)/(-7) - 1*-3. Suppose 2*u = m*l - 66, -2*l + u - 54 = -4*l. Is l greater than 35?
False
Let s = 317816.369 + -317618. Let l = s - 0.369. Do l and -2/5 have different values?
True
Let p be 963/(-31) + 19/((-589)/(-2)). Which is smaller: -29 or p?
p
Let s = 9/5977 - -12593449/59770. Suppose 3*m - 196 = -5*g + 865, -3*m + 428 = 2*g. Let i = s - g. Is 0 bigger than i?
True
Let r = -6923.2 + 6965. Which is smaller: r or 2?
2
Let l = -32587 - -45697. Which is bigger: -2 or l?
l
Let a = -4/7777 + -3616253/101101. Which is bigger: a or -35?
-35
Let d be (14756/(-350) + 43)/(3/10). Suppose -4*x - 1 = -9. Is d greater than or equal to x?
True
Suppose 2*q + 232 = -308. Let n be ((-34)/(-3))/((-30)/q). Is n at most as big as 102?
True
Let q(n) = 105*n**2 - 8*n + 1. Let m be q(-2). Suppose 15*j - 12*j - o - 1308 = 0, -3*j + 2*o = -1305. Is j greater than m?
False
Suppose -3*a = -2 - 13. Suppose 4*y + 2*v = -198 - 20, -a*y - 270 = 2*v. Let p = -126 + 74. Is y smaller than p?
False
Suppose -7*i - 6 = -104. Suppose -3*n = -2*l + i, 0 = 3*l - 3*n - 7 - 8. Let t be l/((-42)/129) + 4. Is t equal to 2?
False
Suppose 0 = 11*k - 20*k + 297. Let g = k - 23. Is g greater than or equal to 37/4?
True
Let u be 1916625/(-442350) - 13/(-3). Which is smaller: -1 or u?
-1
Let l = 15105 + -15105. Is l <= 7885/2?
True
Suppose 5*w + 873 = -c, 16*c - 4221 = 21*c + w. Is -844 bigger than c?
False
Let b be (-7 + 1)*(1994/332 - (-50 - -56)). Which is smaller: b or -3?
-3
Let p be (2 - (-64)/(-48))/(4/3 - 2). Is 2/2589 > p?
True
Let y = 33 + -179. Let i = y + 149. Let w be 0 + 1 + -2 + 4. Is w greater than or equal to i?
True
Let h = 1.5227 + 413.4773. Which is greater: h or -0.7?
h
Suppose 0 = 16*x - 43 - 277. Suppose -4*y + i = -8, i + x = 4*y + 3*i. Suppose -3*s = -7*s + 12. Is y > s?
False
Suppose 0 = -8*v - 5 + 5. Suppose 5*n + v*n - 120 = 0. Let i be (-294)/(-36) - ((-76)/n + 3). Which is smaller: 8 or i?
8
Let h be 270/(-4) - 33/(-22). Let f be (-2)/(-12) + (-517)/h. Is 64/9 less than f?
True
Suppose -v + 8*v + 29 = 36*v. Is v smaller than 12/25?
False
Let y(s) = -2*s**2 - 32*s - 123. Let i be y(-7). Let l = 5 + -8. Let o = -3.04 - l. Which is greater: o or i?
i
Suppose 0 = 2*m - 4*w - 14, 2*m - 5*w - 22 = -7. Suppose -p - 5*t = -292, 3*t + 292 = -m*p + 6*p. Which is smaller: 291 or p?
291
Let v = -46.2 - 171.8. Let w = v + 208. Which is smaller: 9 or w?
w
Let b = 18880.9 - 18881. Which is bigger: b or -219?
b
Suppose 3*s - 29 = -26. Let g(u) = -27*u**3 - 2*u**2 + u. Let c be g(s). Let i = -76 - -49. Is c < i?
True
Let g = -749471/6 + 125266. Which is bigger: g or 355?
355
Let x(a) = -a**3 - 15*a**2 + 6*a + 159. Let j be x(-15). Let p be 4/50*(-1 + 6). Is p at most as big as j?
True
Let a = -281/40 + 5257/40. Are a and 124 nonequal?
True
Suppose y = -5*f + 1398 - 3701, 0 = -4*y - 3*f - 9212. Which is bigger: -2302 or y?
-2302
Let l = -9054 + 9370. Which is smaller: l or 317?
l
Let y = -8617 + 8616. Let t = -2/249 - -109/3237. Is y not equal to t?
True
Suppose -68*i = -19*i + 98. Suppose -v - 3*n = 0, -3*v + 8 + 4 = -3*n. Are i and v unequal?
True
Let k be 0/10*(-29)/58. Are k and 1/11821 non-equal?
True
Let s(b) = b**3 + 14*b**2 + 24*b - 12. Let q be s(-12). Let z(p) = 15*p + 178. Let j be z(q). Which is smaller: -4/3 or j?
j
Let t = 5851 - 5846. Which is smaller: t or -1/16?
-1/16
Let u = 3914.1 - 3919. Let l = -11 + 6. Let t = u - l. Which is smaller: 9 or t?
t
Let b = -12138.4 + -337.6. Which is smaller: -0.2 or b?
b
Let c = 2009 + -2052. Let z be (-1)/((-1)/2*-1). Let r be z/5 + 872/(-20). Which is bigger: c or r?
c
Let i = 168 + -1001/6. Let o(g) = -g**3 - 8*g**2 + 20*g. Let x be o(-10). Suppose x = -2*l + 18*l. Are i and l nonequal?
True
Suppose -5*c - 6*g + 835 = 0, -9*c + 5*c + g + 697 = 0. Is c at least 172?
True
Let a be 11 + (-13286)/735 + 7. Are a and 0 unequal?
True
Let t = -47 - -29. Let u be (-10)/12 + 1 + 1731/t. Let i be (7/((-28)/u))/((-4)/6). Is i at most -36?
True
Let z be (-13)/((-91)/(-921)) + 36/14 + -2. Which is smaller: z or -134?
-134
Let z = -614 + 646. Let c = -95 - -56. Let h = z + c. Which is greater: h or 2?
2
Let c = 3099 