False
Let v = 13848.902 - 13849. Does v = 41?
False
Let j = 2.055 - -37.565. Let o = 40 - j. Let a = o - 0.38. Which is bigger: a or -30?
a
Let g be (5 + 1387/(-275))*(-192)/1152. Let x be 0/(-2) - (-1)/(-1). Is x equal to g?
False
Suppose -2*a - 8*a + 2470 = 0. Let f = a - 1737/7. Which is bigger: f or 0?
0
Let f(p) = -p**3 + p**2 + 17*p - 28. Let g be f(4). Let r be 268/4 + -4 + 0. Let d be (g/14)/(54/r). Which is smaller: -6 or d?
-6
Suppose g + 4 = 0, -8*x - 2*g - 13 = -3*x. Which is smaller: x or -1/1309?
x
Let x be ((-16)/(-10))/(-2) + 1/(-5). Let w(p) = 4*p**2 - p + 1. Let g be w(x). Let j be 2 + 4 + (-33)/g. Which is bigger: j or -2/3?
j
Let y = 0.8 - -0.2. Let l = 2.2165 + 200.7835. Is l at least as big as y?
True
Suppose -16*r + 32*r - 32 = 0. Suppose -363 = -r*o - 47. Is 158 smaller than o?
False
Let m = 3178 - 3164. Which is bigger: 238 or m?
238
Let g be 0 - 1 - ((-990)/(-178))/(-5). Let l = g + -1712/979. Let z = 25 - 24. Is z >= l?
True
Let j be (14 - (15 - -5) - 702/(-34)) + -3. Are 13 and j non-equal?
True
Let w be (-7 - (-24)/4)*(44 + 0). Let h(z) = z**3 + 41*z**2 - 119*z + 65. Let c be h(w). Is c less than or equal to -506?
True
Let i be ((-1173)/629)/(3/20614). Let f = i - -12815. Let n = 1759/185 + f. Which is smaller: 10 or n?
10
Let k = 5/767 + -2711/62894. Let o = 0 + 0. Is o bigger than k?
True
Let j = 368 - 368.07. Let d = j + 0.1. Which is bigger: d or 3?
3
Suppose -32 = 3*m - 4*m. Let g be 28 - 1946*15/1050. Does g = m?
False
Suppose 10 = -3*h + 5*o, 4*h + 4 = -h + 2*o. Suppose -z - 4*v = 18, -2*v = 4*z - 0*v + 2. Let b be 1/z - (-180)/(-136). Is h at least as big as b?
True
Suppose q = 5*q + f + 67, -2*q + f - 29 = 0. Let m be (-4)/q - (-483)/(-108). Is m at least as big as -3?
False
Let b be (567/(-84))/(-27)*52. Let w(u) = 13*u - 5. Let g(k) = 12*k - 4. Let o(h) = -6*g(h) + 5*w(h). Let a be o(-2). Is b equal to a?
True
Suppose w = 4*c + 23 + 151, 5*w - 4*c - 854 = 0. Suppose -12*n + 178 + w = 0. Which is greater: n or 30?
30
Let x(g) = 3*g**2 + 13*g - 10. Let a be x(-9). Suppose -b - a = -5*b. Let t = 19 - b. Are t and -11 unequal?
True
Let s be -2 + ((-505)/22)/(115/(-10)). Let f be ((-1)/3)/(14/(-42)). Is f at least s?
True
Suppose -6857 = -8*f + 671. Which is smaller: f or 944?
f
Let x = -321039 - -1272607/4. Let k = -2869 - x. Suppose -2*g + 36 + 0 = 0. Is g > k?
False
Let x be 56/48*3 - (2 - -2). Let a = 507 + -484.1. Let i = -26 + a. Is i equal to x?
False
Suppose -565*q = -576*q - 1232. Let t = -627 - -518. Is t < q?
False
Let j be -16*4/24*-3. Let h be ((-4)/38)/(j/20). Let z = 259 - 259. Is h bigger than z?
False
Suppose 3*a = 5 + 13. Let i(n) = 2*n**2 + 26*n - n**2 + 0*n**2 - 66*n + 34*n. Let f be i(a). Is 3 greater than or equal to f?
True
Suppose -7*g + 3*g + 256 = 0. Let v be 0 - (g/(-66) - -1). Suppose 2*o + 2*o - 4 = 0. Which is smaller: o or v?
v
Let f = -74/855 - 536/17955. Let x = 37189/378 - f. Let b = x - 96. Which is greater: 3 or b?
3
Suppose 21*y - 22*y + 151 = 0. Is 150 >= y?
False
Let f = 31.57 - -6.53. Let w = f - 22.8. Is w > -0.1?
True
Suppose 0*g = 2*g - 180. Suppose -g + 10 = -8*y. Suppose -2*o + 2*x + 6 = -4*o, -5*x - y = 0. Do o and -17 have different values?
True
Let f = 895151/237 + -3777. Let o = f + 2113/2370. Which is greater: o or 5?
5
Let s(h) = h**3 - 5*h**2 + 7*h - 1. Let p be s(3). Suppose -2*a + z = 2, 20*a = 15*a + p*z - 3. Which is bigger: a or -2?
a
Suppose 166*l + 120 = 164*l. Do -17 and l have the same value?
False
Let z(r) = 27*r + 730. Let u be z(-27). Which is greater: 29/40 or u?
u
Let a = 4923 + -4351. Is a greater than or equal to 572?
True
Let w = -443.6544 - -444. Let c = -0.0456 + w. Let t be 216/(-15) - 2/(-5). Which is smaller: c or t?
t
Let y = -240 + 374. Suppose 3*w + 3*s = 129, -3*w + 3*s + y = 5*s. Which is smaller: 50 or w?
w
Let w be 1022/(-22) - (-45)/((-1485)/6). Is -0.1 smaller than w?
False
Let n be 5/(-10) + (-6)/4*-117. Suppose 25*d + 0*d = n. Which is bigger: 58/7 or d?
58/7
Let q be 30/3220*1/(-6). Let x = 4147 - 4146. Is x >= q?
True
Suppose -3*h - 13 = -z - 30, 3*z + 3*h - 33 = 0. Which is bigger: -35 or z?
z
Suppose 124 = p + 121. Suppose 0 = -z + j + 6, 5*z - 8 = p*j + 18. Suppose -2*l - z = 8. Is -31/5 smaller than l?
True
Suppose -7 = -3*s - 25. Let x be ((2 - 4)/s + -1)*-6. Suppose m + 2 + 1 = 3*b, -m = x*b - 4. Which is bigger: -0.7 or b?
b
Let t(y) = 3*y**3 + 5*y**2 - 3*y + 10. Let h be t(-5). Let d = 120 + h. Let u = -99 - d. Is 6 at least u?
True
Let n be (-1800)/(-32) - (22/(-8) + 2). Let s = 60 - n. Let v be (s - (-1 - -6))/(-95*1). Which is bigger: v or 1?
1
Let n = -6722 + 5910. Is n equal to -813?
False
Suppose 360 = 4*k + 4*r, -2*k - 3*r = -2*r - 185. Let l = 44 - k. Is l bigger than -50?
False
Let p be -12 + 14 - -6*5/(-15). Let g be (-4)/26*(-5)/10. Is g greater than or equal to p?
True
Let w = -78915/56966 + 3/4382. Suppose -3*s - 2*s = 0. Which is greater: w or s?
s
Let m = 13/383 - -9263/9192. Is 2 > m?
True
Let z = -173 + 179. Suppose 2*g = -2*m + m + z, -2*g = -4*m - 16. Which is greater: -16 or m?
m
Let m = -80 - -82. Suppose 5*h = m*f + 74, 49 = -f - 3*h - 10. Let z = f - -45. Which is smaller: -14/9 or z?
z
Let d = 212/3 + -105. Do -34 and d have different values?
True
Let i = -2 + 18. Suppose -i - 8 = -4*n. Let l be (1 - -3)/(n/3). Do 3 and l have different values?
True
Let m = 1723 - 1720. Are m and 370 nonequal?
True
Let k = -39.24 - 0.76. Let z = 40.29 + k. Let q = z - 3.29. Is q greater than 0.04?
False
Let v = 71.25 + -72.573. Which is smaller: v or 0.3?
v
Let l = -51 - -55. Suppose l*w + 0*w = -f + 17, 0 = -2*f + 2*w - 6. Suppose -97 = -3*d - f. Is 33 at most d?
False
Let m(l) = l + 4. Let i be m(-4). Suppose 2*d + i*g + 2*g = 4, -2*d + 4*g = 8. Is d at most as big as -3?
False
Let g = 0.267 + -0.951. Is g less than 1?
True
Let x = -20146 + 382684/19. Which is greater: x or -5?
x
Suppose -24*o - 25389 = 7*o. Let y = o - -819. Which is smaller: -0.505 or y?
-0.505
Let o be 10/(-95) + (-29628)/114. Which is greater: o or -1043/4?
o
Let n = 38 + -37.932. Let u = 0.068 - n. Which is bigger: u or -6?
u
Let l = 11957 + -35870/3. Is l at most as big as -5/27?
False
Let h(s) = -9*s + 25. Let m(w) = 27*w - 78. Let u(p) = 11*h(p) + 4*m(p). Let b be u(4). Is -1/100 less than or equal to b?
False
Let o = -33 + 36. Suppose -6 = -o*z, 4*y + 504 = y - 3*z. Let s = -93 - y. Is s less than or equal to 77?
True
Let x(p) be the third derivative of p**4/12 - 22*p**3/3 - 18*p**2. Let c be x(0). Let j = c - -66. Which is smaller: 19 or j?
19
Let g = -35.323 - -36.323. Is -289.7 at least as big as g?
False
Let k(d) = 86*d**2 - 309*d + 308. Let g be k(1). Which is bigger: g or 94?
94
Suppose -12 + 14 = a + z, -5*a + 3*z = -26. Suppose 3*f + 2*r + 3*r + 23 = 0, -4*f - a*r = 20. Is f equal to 1/30?
False
Suppose 0 = 2*h - 5*q + 25, -5*q = 4*h - 1 + 6. Let o be ((-89)/(-24) + h)*-9. Is o >= 11?
True
Suppose 1 = a, -i - 4*i - 3*a - 837 = 0. Let f be 63/i*(2 + -182). Which is smaller: f or 69?
f
Let q = -2211/2 - -11209/10. Let c be (-19880)/(-1320) + 4/(-66). Which is greater: q or c?
q
Suppose -2*i - 4*m = 15 - 25, -4*i = -4*m + 16. Which is greater: 32/197 or i?
32/197
Suppose -25*h - 684 = -129*h + 71*h + 2484. Let m = -134 + 229. Which is smaller: h or m?
m
Let n = 1/2725 - -1095437/35425. Is 32 less than n?
False
Let t = 0.06 - 1.86. Let x = t - -2. Let l = 20.4 - 20.4. Which is smaller: x or l?
l
Suppose 4*x = -3*u + 8 + 66, -4*x + 3*u + 86 = 0. Let t = -0.1 - -0.3. Is x bigger than t?
True
Let w = -961 - -960.7. Let x be 6 - (6/1)/3. Suppose x*d = 5 - 21. Is w at least d?
True
Suppose 0 = -2*j + 5*a + 7404 - 1679, -2856 = -j - 4*a. Which is bigger: 2861 or j?
2861
Let i be (528/440)/(3/10). Which is smaller: i or -63?
-63
Let o = -127 + 129. Let p = 103.6 - 96. Let y = p - o. Which is bigger: y or 2?
y
Let g = -387 - -339. Let n = -14 + g. Which is bigger: n or -64?
n
Let g = 1772 + -1772. Let i = 10/21 + 443/84. Let a = -227/36 + i. Which is smaller: g or a?
a
Let g(b) = b**3 - 5*b**2 + 4*b. Let d be g(4). Let n = -4501614/11 + 409765. Let u = n + -527. Which is greater: d or u?
u
Let u(g) = -4*g**2 + 18*g + 39. Let w be u(8). Which is smaller: -72 or w?
w
Let w(t) = -202*t**3 + 2*t**2 + 4*t + 3. Let j be w(-1). Let g = 2