is bigger: 2 or k?
2
Suppose -c - 1350667 = -i, c + 5*i + 741915 = -608746. Let o be (c/105138)/((10/(-12))/(-5)). Let b = o - -848/11. Which is smaller: 0 or b?
0
Suppose 1285*h + 271759 = 1256*h. Is h equal to -9372?
False
Suppose -178*x = 154*x. Is 1/6380 at least x?
True
Suppose 4*b + 8 = -3*v, 4*b - 19*v = -16*v + 16. Which is greater: b or 4/3123?
b
Let y be -1 + (4*-1)/(-4). Let h = 79.6021 + 0.3979. Is h smaller than y?
False
Let p be 11/((-16665)/6)*(-60)/546. Which is smaller: 1 or p?
p
Let a(v) be the second derivative of v**5/20 - 5*v**4/2 + 9*v**3/2 - 36*v**2 - 229*v. Let c be a(29). Which is smaller: -128 or c?
c
Let n = -0.415 + -0.585. Does n = -2768?
False
Suppose -233 = 5*u - 308. Let r be -1*((-378)/u + -1). Which is greater: r or 27?
27
Suppose -1032*c + 10 = -1027*c, c - 10 = -s. Is s at most 347?
True
Let c = 2170/9 - 4060088/16839. Let v be -2*2/(-18) - 27474060/(-17226297). Let y = c - v. Which is greater: -2 or y?
y
Suppose -7 = -4*h + 13. Let c = -1391/4 - -1409/4. Do c and h have the same value?
False
Let o be -50*(-310)/(-150)*(-1 - 64/2). Which is greater: o or 3407?
o
Let a = -536 - -537. Are a and 845/3 nonequal?
True
Let g = 1 - 0.12. Let a = g + 1.12. Which is bigger: a or 10?
10
Let o = 112 + 23. Let q = o + -147. Let z = 13 + -19. Is z at most as big as q?
False
Suppose -3*n + 1035 = 288*t - 292*t, -2*n + 3*t + 688 = 0. Is n at least -37?
True
Suppose 4 = o - 5*o. Let d = 433/2 - 3035/14. Is o bigger than d?
False
Let y(w) = -234*w - 3744. Let r be y(-16). Is r at least -2/2915?
True
Let z be (-80)/15 - 28/(-4). Suppose -u + 21 = -4*s, -7*s = -4*s + 15. Let a be -4*(-2 + 1) - u. Which is bigger: a or z?
a
Let j = -7 + 9. Let h = 204 + 96. Let a = h - 298.4. Is a > j?
False
Let v be (238710/2520)/((-2)/(-6)). Let k = v - 1171/4. Let y(c) = -c - 14. Let s be y(-5). Which is smaller: k or s?
s
Let b be 14/(-8) + -49*6/(-168). Let a = 41.8 - 137.8. Which is greater: a or b?
b
Suppose -3*k - 74 = -56. Let h(o) = o**3 + 3*o**2 + 16*o + 6. Let t be h(k). Is t > -198?
False
Suppose 2*i - 5*n - 343 = 0, 79*i - 83*i + 711 = -5*n. Which is greater: 735/4 or i?
i
Let b(t) = -7*t**2 - t. Let r be b(-1). Let h(g) = -2*g - 6. Let f be h(r). Let j be ((-9)/f)/(-1 + 4). Which is bigger: 34 or j?
34
Suppose -11*q + 93*q = 26732. Is q at least as big as 313?
True
Let b be (-5 - (-292)/(-48)) + -31 + 42. Is -11/5 >= b?
False
Let b = -122459957/213 + 574931. Let v = b + 3/71. Let p = 29/12 - v. Which is greater: 1/2 or p?
p
Let z be (7 + -8)/(2/(-24)). Let d = 144224/15 - 9598. Let m = -52/3 + d. Which is bigger: z or m?
z
Let w(a) = -4*a**3 - 2*a - 4. Let v be w(-2). Let b be (-14 + v)*(-1 - 0)/2. Do b and -14 have the same value?
False
Suppose 0 = n + 5*x - 16, 5 = -3*n - n + 3*x. Let t be ((-1)/2)/(n*(-2)/(-72)). Is t smaller than -134/7?
False
Let b = -54084 - -379300/7. Let o = b - 102. Let a = 7098/19 + -50028/133. Is a > o?
False
Let i be 10/8 + ((-63756)/48)/33. Are i and -85 unequal?
True
Let f be (-6)/(-12) + 13*1/2. Let u be (4/16 - -2)*(-16)/(-6). Suppose -r + 3*c = u, -2*r = -3*c + 1 - 4. Which is bigger: f or r?
r
Let h = -7871/5 - -15747/10. Which is smaller: -306 or h?
-306
Let g be ((9 + -8)/1)/((-1)/(-19)). Suppose 5*i - g*i = 1344. Is -96 > i?
False
Let h = -2023 - -2103.05. Let y = 1.05 - h. Let m = y - -78. Which is bigger: m or 0.17?
0.17
Let h = -1678 + 1710. Which is smaller: 0 or h?
0
Let o = -2 + 2. Suppose d - 4*p = -3, o = 3*d - 7*d + 4*p. Let r = -1134/11 + 28328/275. Which is smaller: r or d?
r
Suppose -601 = -10*d + 1269. Let r = -173 + d. Which is bigger: 12 or r?
r
Suppose 0 = -3*y - 50 + 269. Let t be 12*7 - (-1)/(-1)*(17 - 8). Is t smaller than y?
False
Let l be ((-36)/15)/((-1)/5). Let b = 183 + -125. Let r = 58 - b. Which is bigger: r or l?
l
Let u(l) = -7*l**2 + 4*l + 18. Let h(i) = i**2 - 1. Let p(n) = 6*h(n) + u(n). Let c be p(-2). Let d = -1781 + 33825/19. Which is smaller: c or d?
d
Let p be 4/10 - (-2529223)/(-3420). Let a = p + 739. Is -1 smaller than a?
True
Let s(t) = 5*t**3 + 3*t**2 - 1. Let g be ((-8)/(-4) - 1)*1. Let j be s(g). Let l = -48 + 56. Is l > j?
True
Suppose 5*r = -2*f + 16, -r + f = 2*f - 5. Suppose -3*w - r*i + 3 = 0, 5*w - 2*i + 8 = 3*w. Is 7/17 equal to w?
False
Let n(j) = j**2 + 27*j - 11. Let a be (-1)/((-6)/(-9))*348/18. Let p be n(a). Which is greater: 49 or p?
49
Suppose 0 = -22*q + 68 - 24. Let p be (-5)/((-60)/61) + q. Is 8 <= p?
False
Suppose 0 = -4*d + 33 - 89. Let s be (-32)/d - (-4)/(-14). Which is smaller: s or -3?
-3
Let o = -9754 + 10080. Is o smaller than 4?
False
Let m(q) = 2*q**2 - 7*q. Let h be m(7). Let p = h + -85. Let x be ((p/3633)/3)/((-2)/7). Are -1 and x nonequal?
True
Let d(z) = -z**2 - 7*z - 6. Let c be d(-4). Let v be 20/15*c/(-4). Let y = -24/5 - -177/40. Is v at least as big as y?
False
Suppose -770 = 15*h - 4*h. Let g be -2*((-34)/h + (-10)/35). Is 85 bigger than g?
True
Suppose 4*c - 20 = -d, -2*d + c = 3*d - 100. Suppose 8*f = 13*f - d. Is 35/8 equal to f?
False
Let j be (-188)/329*(-14)/4. Is j less than 102/49?
True
Let n(b) = -38*b + 9. Let k(r) = 40*r - 8. Let p(o) = 3*k(o) + 4*n(o). Let a be p(-5). Is 173 greater than or equal to a?
True
Let w(i) = -i**3 + 6*i - 2304 + 2251 + 5*i**2 + 4*i**2. Let j be w(9). Is 3 at least as big as j?
True
Let j = -234 + 225. Let m(g) = -3*g - 28. Let f be m(j). Are -3 and f non-equal?
True
Suppose 10*a + l = 12*a - 5460, 10932 = 4*a + 4*l. Which is greater: a or 5459/2?
a
Suppose -660 = -216*i + 150*i. Does i = 50?
False
Let f be (-12)/15 + 12/(-11430)*-837. Let x = f - 96/4445. Is x less than or equal to 2?
True
Suppose -4977 - 303 = 9943*v - 9723*v. Let i(g) = 42*g + 1. Let s be i(3). Suppose -5*z - s = 2*r, z - 4*r + 7*r = -28. Is v bigger than z?
True
Let r be (-8 - 40/(-6))/(2/6). Let i be (r/(-6)*3)/((-24)/(-48)). Is 64/19 greater than i?
False
Let m = 128 + -59. Let z = -46 + m. Let i = z - 23.1. Which is smaller: i or 0?
i
Let m be 4/((-4)/7) - (782/23 - 36). Let f = 0.05 - 0. Is m < f?
True
Suppose 5*w = p - 46, 12*p - 14 = 11*p - 3*w. Let s be ((-58)/(-4))/(2/4). Is s equal to p?
False
Let h = 131.5 - 134. Let b = 2.43 + h. Which is smaller: b or 6?
b
Let l = -70 - -72. Suppose 5*t = 4*y - 8, 2*y = -l*t + 5*y - 6. Let q = 20/147 + 326/245. Which is smaller: t or q?
t
Let a be ((-11 - -15) + (-16)/5)*170/272. Which is bigger: -70.4 or a?
a
Let z = -31/70 - 2/35. Let k = -117.974 - -118. Let o = k - 0.326. Which is smaller: z or o?
z
Let o(x) = -x**3 - 7*x**2 - 4*x + 11. Let s be o(-7). Suppose -s + 7 = 16*i. Let c(v) = -6*v**3 + 3*v**2 + v - 4. Let l be c(i). Are 54 and l non-equal?
False
Let z(g) = -46*g + 973. Let f be z(22). Let l(v) = -13*v + 17. Let b be l(4). Is f at least as big as b?
False
Let d be ((-1740)/40 - -40)*8/(-14). Which is smaller: d or 6/173?
6/173
Let v = 3664 + -3601. Do 12 and v have the same value?
False
Let z(s) = s**2 - 7*s - 167. Let t be z(-10). Let r be t + 234/(-75)*1. Which is smaller: 1 or r?
r
Let q(j) = -29*j + 7. Let l be q(5). Suppose -5*w + 381 + 200 = -4*o, 5*o = -4*w - 675. Is o less than or equal to l?
True
Let z = -17/86 - 4447/344. Let s = z + 9539/728. Which is bigger: -1 or s?
s
Suppose 0 = 5*s - 2*l + 34, -2*l - 2 = 2*s - s. Let q = s + 6. Let r be 5 + -4 - (q + 0). Is r > -3?
True
Let x = -2101.4 - -2100.5. Is x greater than 1305?
False
Let o be 9 + -10*14/28. Let t(j) = -j**3 + 2*j. Let y be t(-2). Suppose -y*r + 10 = -2*h, -3*h = -o*r + 2*r - 5. Which is greater: 6 or r?
6
Let o = 1570839 + -1143570611/728. Let q = -1/728 - o. Is q < 30/23?
True
Let t be 1/7 + 4895/35. Let f be 2*-181*(-70)/t. Which is greater: f or 180?
f
Let t be (-28)/(-126)*54/34. Is 0 != t?
True
Let p be (70/21)/((-1)/699). Let z = 170094/73 + p. Which is greater: 1 or z?
1
Let h = 277383/4856 + -457/8. Let t = 132520 - 132520. Which is smaller: t or h?
h
Let z = 40 - -1. Let p = z - 163/4. Let m = 102.2 + -103. Which is bigger: p or m?
p
Let r be (135/(-12))/(((-28)/(1792/(-24)))/((-18)/(-12))). Suppose -3*a - 47 = -2*a. Is r less than a?
False
Let n be ((-55)/2035)/((140/8)/5). Is n not equal to -0.014?
True
Let i = -1559 - -2088.2. Let s = 526 - i. Let o = 3.2 - 3. Which is bigger: o or s?
o
Let f(l) = 5*l**2 + 18*l + 10. Suppose 42 + 57 = -33*g. Let j be f(g).