 Let m(g) = 2*g**3 + 2*g**2 + 3*g + 2. Let c be m(r). Which is bigger: 1/74 or c?
1/74
Let x be ((-2)/(-31866))/(-23*16/(-2208)). Is x != -1?
True
Suppose 2 = 2*c, -16*c + 6894 = 4*s - 18*c. Is 0 not equal to s?
True
Let x = 177 - 176.776. Let j = x - -21.776. Which is greater: -3 or j?
j
Suppose 0 = -33*v + 73*v - 13320. Does v = -4?
False
Let u = -57 - -93. Suppose 0 = -2*o - x + 28, x = 3*o + 4 - u. Let p be 0/o*(2/1)/2. Is -8/9 != p?
True
Suppose -6*j - 16 = m - j, 3*m + 2*j - 4 = 0. Let b be (-18 - (-1496)/85)/((-2)/10). Suppose -m*c = -2*c - b. Which is smaller: c or 17/4?
c
Let c be -13 - -12 - ((-26)/143 + (-5670)/638). Is 8 at least as big as c?
False
Let n = -15308 + 14151. Which is bigger: -1158 or n?
n
Let f be 5049/14130 - (-12)/(-40). Which is smaller: f or 0?
0
Let m = 25516831/143085 + -2/47695. Let f = -109678/615 + m. Are f and 0 nonequal?
True
Let i be (-357)/(18/24*1). Is i equal to -478?
False
Let n(k) = -4*k - 14. Let i be n(-4). Suppose 0 = -z - 5*h - 27, -2*z = i*z + h + 13. Let j = z - -3/2. Is j bigger than 3/7?
False
Let b = -1/10 - -8/5. Let x = 1045 + -1056. Are b and x nonequal?
True
Suppose 50*y - 58*y + 448 = 0. Let b = y + -57. Let i = 4 - 0. Is b smaller than i?
True
Let c be ((-1752)/1)/(0 - 5). Let q = c + -343. Let v(b) = -b**3 + 62*b - 84. Let p be v(7). Is p at least as big as q?
False
Let g = -2794/5 - -1444508/2585. Do g and 1/3 have different values?
True
Let r = -96.3 + -315.1. Is 0.2 smaller than r?
False
Let b(g) = -g + 4. Suppose 2*u = 3*u - 6. Let r be b(u). Let h = 828.76 - 828.42. Which is bigger: h or r?
h
Let f be 1/(-6 + -1 + 50/7). Suppose 8*i + 15*i = f*i. Which is bigger: 2/271 or i?
2/271
Let k = 27.8 + -27.9. Let i = 0.7 - -0.2. Let d = i + 0.1. Is d greater than k?
True
Let m = -1604/5 + 319. Let h = 3/10 + m. Which is smaller: 6 or h?
h
Suppose 0*y - 5 = -5*y. Let m(r) = -2*r**2 - 2*r + 1 - 461*r**3 + 471*r**3 + 3*r. Let u be m(y). Which is smaller: u or 43/5?
43/5
Let j = -700.81 + 701.2. Let h = -0.15 - 0.1. Let p = j + h. Which is smaller: -1/3 or p?
-1/3
Suppose 0 = -101*x + 95*x - 3*p + 32079, -2*x + 10696 = 2*p. Is x at most as big as 5345?
True
Let n be (4 - ((-4860)/70)/(-9)) + 8/2. Which is smaller: n or 1237?
n
Let o(l) = l**2 - 24*l - 114. Let z be o(28). Let g be -8 + (1 - (-1 - 4)) + z. Let a = -2 + -1. Is a less than g?
False
Let c = -3377/812 + 525/58. Let p = c - 15/4. Let x = -1422 + 1423. Is x equal to p?
False
Let l = 17 - 16. Let a be 24/(-990) + -3 + 3. Which is smaller: l or a?
a
Let o = -118 + 189. Let p = -17775 - -17774. Which is greater: o or p?
o
Let d = 33731530760/40797 + -826814. Is d greater than or equal to -1?
True
Let i = 140 + -95. Let s(g) = -g**2 + 18*g - 32. Let h = -327 + 329. Let k be s(h). Is k greater than i?
False
Let v(m) = -m**3 - m**2 + m. Let g be v(1). Let a = -6811/8987 + 33/43. Is g smaller than a?
True
Let y(x) = x**2 - x + 2. Let z be y(3). Suppose -5*t + 63 = z. Suppose -750 = -323*r + 3126. Which is smaller: r or t?
t
Let x = -6201 - -6118. Are -87 and x unequal?
True
Let k = 1.0234 + -3.0234. Let i = -2.8 - -3. Let q = i + 0. Which is greater: q or k?
q
Let y = -4235 + 4082. Is 1/4 < y?
False
Let m = -16.5 + 30.6. Let g = m - 9.1. Is 2 equal to g?
False
Let j be 3/2*1284*(-3425)/(-900). Is 7331 at least j?
True
Let q = 8 - 16. Let z be (-12)/(-16)*(-32)/48*22. Which is smaller: z or q?
z
Let t be (-20)/15*9060/(-920). Is 13 at most as big as t?
True
Let a = 11048 - 11045. Which is bigger: a or -6/245?
a
Let i be (-22)/(-33) + (-1326158)/(-552)*-53. Let d = 127330 + i. Let q = d - 2/69. Which is greater: q or -0.05?
q
Suppose 2*j = -16*r + 19*r - 2126, 0 = -j + r - 1061. Is j equal to -1057?
True
Let t(l) = -48*l**2 - 49*l - 85. Let j be t(-2). Which is greater: j or -174?
-174
Suppose 2*k - 1323 = -5*k. Let u be 2/(-2) - (238/k - 3). Which is bigger: u or -1?
u
Let y = 95 + -88. Suppose -c = 2*o - 0*o - 8, 3*o = -c + y. Which is smaller: 6 or c?
6
Let k = -3091 - -8646. Let w be -4 + 2/(10/k). Let i be 354/w + 10/(-45). Which is greater: i or 1?
1
Suppose -106*y - 540 = -434. Is -13 >= y?
False
Let a = -130.93748 + -0.06252. Let t = -0.324 - -129.324. Let w = t + a. Which is smaller: 1 or w?
w
Let d(m) = 4*m**3 + 6*m**2 - 3*m - 11. Let l be d(-5). Let a be (-57)/76*(2/(-1) - -50). Let i be -2*l/a + (-14)/(-63). Is i bigger than -19?
False
Let u = -164 - -60. Let w be 826/(-8) - (-15)/20. Is u greater than w?
False
Let f = 829 - 829. Is f > -1/44?
True
Let d(m) = -m**3 - 25*m**2 - 5*m - 82. Let r(s) = 4*s - 49. Let q be r(6). Let t be d(q). Is 46 at most as big as t?
False
Let g be (527/(-85))/(2/(-15)). Suppose 4*p - 12 = 2*h - 114, 0 = -4*h + 5*p + 198. Which is smaller: h or g?
g
Let m be ((-5)/(-3) + -2)*9039/253. Let t = -12 - m. Is t smaller than 4?
True
Let l be (-12)/972*9*2/(-958). Which is bigger: 1 or l?
1
Let b be (0*9/54)/(-3). Suppose b = -20*v + 24*v. Is 3/61 less than v?
False
Let x = 145259/1496 - 1068/11. Let d(g) = -2*g**2 - 5*g + 7. Let r be d(1). Which is smaller: x or r?
r
Let o(j) = -j**3 - j**2 - 2*j - 2. Let d be o(-1). Let v be d*(-4)/((-8)/2). Suppose -5*b = 0, 5*c - 27*b + 25*b - 225 = 0. Which is greater: c or v?
c
Let o be (0 - (-1 + 3)) + 3. Let n = 34487967419/123 - 280386763. Let s = -3216 + n. Which is smaller: s or o?
s
Let h = 241 - 263. Let g be (h/110)/((-2)/(-10)). Is g at most as big as 1/204?
True
Let w be ((-117)/(-27) - 7)*(-18)/8. Suppose -t = -x - 5*t + 12, -2*t = -2*x - w. Are x and 17/14 unequal?
True
Let o = 3428 + -3426.59. Which is smaller: 0.1 or o?
0.1
Let b = -15132 - -211853/14. Which is smaller: 2/119 or b?
2/119
Suppose 0 = -79*q + 3*q - 0. Is -510 at most q?
True
Let t be (1144/440)/(2/(-10)). Let r = -52 - -27. Let l = r - -12. Do t and l have the same value?
True
Suppose -275*q + 243*q = 64. Do -8 and q have the same value?
False
Let j be 23/4 - 0 - (-33)/(-44). Suppose 0 = -k - 5*a, 3*k = 10*a - j*a. Does 1/105 = k?
False
Let t = -24.07 - -23.97. Is t less than or equal to 728?
True
Let k = -3466.75 + 3467. Is 36/7 equal to k?
False
Suppose 2 = 2*r, 11*u - 6*u - 146 = -r. Let a be -2 - 0 - (u - 32). Is a greater than or equal to -2/523?
True
Let y be (-4)/38 + (18 - (-67738)/(-3762)). Is y >= -5.6?
True
Let d(a) = -50*a + 37. Let h be d(8). Let r be 361/h - (-7 + 6). Let w = 0.1 + -0.1. Which is greater: r or w?
r
Suppose -2*f + 3*f = 57. Let m = 449 - 507. Let w = m + f. Which is smaller: 0 or w?
w
Let w(y) = -7*y + 13. Let n be w(1). Let i be (n/9)/(3978/81). Which is smaller: -1 or i?
-1
Let t(c) = -2*c - 2. Let z be t(-2). Let o be (-3)/4 + (-2114)/(-56) + -31. Let q be (0/o)/(z/1). Is -7/10 smaller than q?
True
Let x be (16/30 - (-12)/18)*10. Let c = x - 11. Let y = 8/3 + -46/15. Is y greater than c?
False
Let s = 293932/12171069 + -38/1557. Which is smaller: 0 or s?
s
Let n be (-4)/(-10)*(16 - 2). Let v be ((-20)/(-3))/(2 + 123/(-63)). Let q = v + -135. Are q and n unequal?
True
Let j be (2 + 434 + -9)/1. Let z = j + -851. Is z less than -424?
False
Let a be (778/(-4))/((-21)/(-6) + -4). Let l = a - 292. Which is smaller: 98 or l?
l
Suppose -510 = -n + 5*f - 34, 441 = n + 2*f. Let u = n + -461. Is u bigger than -0.6?
False
Let j = 270 + -415. Let d = -146 - j. Which is greater: 0.01 or d?
0.01
Suppose 119*p + 286386 = -265523 - 33333. Is -4917 > p?
True
Let p(f) = -f**2 + 2*f + 66. Let z be p(-7). Suppose 0 = -z*j + 426 - 153. Is 89 at least j?
False
Let l = -657 + 1265. Let j = l - 606. Which is bigger: j or 0.14?
j
Suppose -195*m = -68*m - 700151. Which is smaller: m or 5514?
m
Let h(x) = 2*x**3 - 3*x**2 - 22*x - 4. Let i be h(-3). Is i >= 7?
False
Let c = 0.016 + -499.016. Is -7 equal to c?
False
Let f = -0.307 - 6.593. Let t = 7.3 + f. Which is greater: 26 or t?
26
Let u = -180 - -32. Let o = u - -150. Does o = 53?
False
Suppose 5*a = 3 - 8. Let z be (a - -2)/(3/(2 - -913)). Is z < 305?
False
Let z = 323 + -359. Suppose 4*w = -5*t - 127, 2*w - 18 = 3*w + 4*t. Which is bigger: w or z?
z
Let a = 80 - 52. Let v = a + -22. Let y be v/(-24) - 282/(-1064). Is y at least 1?
False
Suppose -445 = 51*a + 524. Which is smaller: -17 or a?
a
Suppose -h - 5*k + 8 = -2*k, 0 = -k + 4. Let w be (25/(-150))/(6/h). Which is smaller: w or 2/5?
w
Let x = 134697 - 134697.15. Let g