o(0). Let z = 63 - n. Is z bigger than 18?
False
Let d = 2334 + -904. Let h be (d/238 - 6)/4. Which is greater: 1 or h?
1
Let z = 129.09 - 129.1188. Is z not equal to 0.04?
True
Suppose 24*y - 29*y = -45. Let x(f) = -2*f**2 + 18*f. Let m be x(y). Suppose 0 = -m*a + 6*a - 12. Is 12/23 equal to a?
False
Let a(n) = -274*n + 824. Let g be a(3). Are 20/21 and g equal?
False
Let r be 17575/133 + (-18)/(-21). Suppose -138*c + r*c = -185. Do c and 37 have different values?
False
Let x be 3/(-6) - 597/(-6). Let t = 79 - x. Let v be -21 + (-2 - -3)*3. Which is bigger: t or v?
v
Let w be ((-12)/21)/((-11)/(1540/8)). Suppose -5*s + w = 5. Which is bigger: -7 or s?
s
Suppose -3*l = 2*h + 7, 7*h - 4*l - 36 = 3*h. Let q be (h + -31)*(-4 - 40/(-12)). Is q at least 4?
True
Let d be (6/(-318))/(-5 + 105/25 - -1). Which is bigger: 0 or d?
0
Suppose -2*n + 2*u = -68, 6*n + 420 = 19*n - 2*u. Let w be (11/(-3))/(3/(-27)). Which is greater: n or w?
w
Let t(d) = -256*d**3 - 20*d - d + 257*d**3 + 20*d**2 + 2. Let j be t(-21). Suppose 6*q = j + 4. Which is smaller: q or -2/17?
-2/17
Let f = 2627/11 + -239. Let l = -47/9 - -9221/1764. Which is smaller: f or l?
f
Let v = 1/27 + -32/135. Suppose 3*y + 5*y = 37*y + 15*y. Which is smaller: v or y?
v
Let h be (-280)/10185*4/48. Which is smaller: h or 1?
h
Let w be (-2*9/(-8))/((-1509)/1706176). Is -2542 at least w?
True
Let k be 20356/23 + 51/(-1173). Which is greater: 3539/4 or k?
k
Suppose -o + 929 = 5*j, 0*j + 945 = 5*j + 5*o. Let y = -5793 + 5803. Suppose 0 = 5*n - y, -3*u = -0*u + n - j. Which is smaller: 62 or u?
u
Let k = -8719 - -8703. Is k < -163/10?
False
Let l be 3/(-9) - (-21)/9. Let i be (43/(-4))/(5/(-20)). Suppose -n + i = 4*o + 2*n, -o - l*n = -7. Is 13 equal to o?
True
Let b = -0.033 - 0.067. Let w be 2/(-9) + (-11)/((-297)/492). Let j be 1/(0 - (1 - (-111)/w)). Is b < j?
False
Let o(l) = 2*l - 3. Let w be o(3). Let i be (69 + 1)/((-1)/w). Let u be (-278)/i*3 - 4. Which is smaller: 1 or u?
u
Let r be -127*((-22)/18)/(4/(-8)). Let t = 2684/9 + r. Is -1/2 greater than or equal to t?
True
Let v = 1.2086 - 0.1316. Let c = 144.023 - 144. Let j = c + v. Which is smaller: -5 or j?
-5
Let t be (-40)/35*14/(-40)*-2. Let c = -0.35 - -0.05. Is c <= t?
False
Suppose -20756 - 116203 = -107*n + 151834. Is n at least as big as 3?
True
Let h = -3338 - -3323. Let v = -0.06 - 0.54. Let z = v - -2.6. Which is smaller: h or z?
h
Let g = -11328 + 3896841/344. Is -1 at most g?
True
Let x be 36*((-462)/117 + 336/(-6552)). Let v(c) = 24*c + 1. Let l be v(-6). Are x and l unequal?
True
Let i = 57767/36 - 6495/4. Let y = -20041 + 20023. Which is greater: y or i?
y
Let i = 22540 + -22487. Which is smaller: i or 44?
44
Let z = -2974 - -5923. Is z >= 2949?
True
Suppose -5*w + 12 = -w. Suppose b + 0 = 3*p + 6, w*p = 2*b - 3. Let y be (p - -3)*-1 - 2. Which is greater: y or -9?
y
Suppose -650 - 75 = -2*f + 3*l, 3*l + 1453 = 4*f. Let b be (f/39 + -8)/(1/9). Suppose -5*q = -5*y + 75, y + 20 = 2*y - 2*q. Which is smaller: y or b?
y
Let f = 12.724 + -12.624. Is -2.33 at most as big as f?
True
Let u = -38415 + 63335. Is 24919 bigger than u?
False
Let w = 2614 + -2615. Which is greater: w or -53/37?
w
Let r be 2002/(-3465)*(-2 + 12). Which is smaller: 0.4 or r?
r
Let a = 9 + -7. Let r = 9/37 - -789/407. Which is bigger: r or a?
r
Suppose 66*m - 69*m - 4*g + 7 = 0, -2*m = -2*g. Are m and -1/5053 equal?
False
Let s(r) = 11*r**3 - 3*r**2 - 13*r - 3. Let i be s(-3). Let g be (76/3)/(i/(-216)). Is g less than or equal to 15?
False
Let p = -11/20 + 39/20. Let k be 1*-3*-1*(-2)/(-6). Let l be (-3)/(0/k + -3). Is l greater than p?
False
Let y(u) = -4*u + 2. Let k be y(3). Let q(n) = n**3 + 8*n**2 - 21*n + 3. Let l be q(k). Is l at least as big as 14?
False
Let x(i) = -i**3 + 2*i**2 - 44*i + 197. Let b be x(6). Do b and -31 have the same value?
False
Let p(u) be the second derivative of 1/12*u**4 + 23*u + 0 - 5*u**2 + 3/2*u**3. Let t be p(-10). Does t = 2/71?
False
Let j(d) = -d**3 - 31*d**2 - 30*d + 8. Let i be j(-30). Which is greater: 3 or i?
i
Suppose 4*q + 39 = 3*i, -65 = -5*i + 4*q - 9*q. Suppose -i*p + 66 = -24*p. Let r be 1 + (2 + -4)*1. Is r < p?
False
Let u be 5/((-100)/4168) - (-6)/(-10). Let p be ((-3)/7 - (-1418)/(-7)) + -16 + 10. Are u and p equal?
True
Let x = 141 + -155. Let t = x + 13.8. Let w be ((-22)/(-20) + -1)*-1. Is t at least as big as w?
False
Let u(x) = -x**3 + 2*x**2 + x - 11. Let n be 1*((-3 - 0) + 3). Let p be u(n). Let i(o) = -o**2 - 10*o + 11. Let h be i(p). Do 1/21 and h have different values?
True
Let w = 2349 + -1626. Which is bigger: w or 724?
724
Let o = 37 - 47. Let g(c) = -c - 6. Let a be g(o). Suppose -3*q - 28 = q - a*u, 19 = -q + 4*u. Which is smaller: q or 0?
q
Let x(a) = 5*a**2 + 492*a + 142. Let m be x(-98). Suppose 2*u - 70 = -c, c - 4*u - 40 = -0*c. Suppose -46 = 2*h + c. Is m at most h?
True
Let d be ((-6)/(-8))/((-4)/208). Let n = d + 49. Let m be (n/7)/(18/42). Are m and 0.1 equal?
False
Let q = 5/53 + 28/265. Let u be (-380)/28 + 7 + 6. Which is smaller: q or u?
u
Let v = -37222264/11 - -3386192. Which is smaller: 2349 or v?
2349
Let s = -1523/45 - -167/5. Let z = -106.02 - -106. Are z and s equal?
False
Let v(p) = -p**3 + 6*p**2 - 5*p + 6. Let l be v(5). Suppose u - c + 70 = 0, -3*u + 226 = -l*u - c. Is u less than or equal to -71?
True
Let t = -0.02556 - -3.02556. Is t greater than 56/69?
True
Suppose 24*i = 2*i + 42067 - 105097. Is i greater than -2867?
True
Let q = -1059 + 5293/5. Is q less than or equal to 9/115?
True
Let l = -22.03 + 22. Let d = 0.37 + 217.63. Let p = 214 - d. Is l <= p?
False
Let q(a) = -31*a - 41. Let u be q(-1). Let h = 15 + u. Let o = 7 + -5. Which is smaller: o or h?
o
Let x be (2/45)/((-3)/((-39153742680)/28)). Let c = -20714558 + x. Let i = c - 1708. Which is smaller: 0 or i?
i
Let n be (-50)/56 - 3/(-21). Suppose -53*v = -39*v - 1722. Let q = v - 124. Is n at most q?
False
Let q(r) = r**3 + 23*r - 13*r - 9*r - 88. Let m be q(0). Let o be (m/(-315) - 0) + (-26)/117. Is 3/4 equal to o?
False
Suppose -4*r = 4*x - 9*r + 351, -3*r = x + 75. Let y = x + -135. Are -219 and y nonequal?
False
Let r be (21/(-35) - 12)/(423/(-30)). Is 0 greater than or equal to r?
False
Let q = 129993902/134625 + -2/134625. Is 967 greater than q?
True
Suppose 5*n + 69 - 11 = t, 5*t = 4*n + 311. Suppose j + 3*v = 23, 2*j + 2*v = -3*j + t. Suppose -2*x = 1 + j. Which is smaller: -7 or x?
-7
Let f = 183.74 - 181. Let p = f + 170.26. Is 0 bigger than p?
False
Let n = 4199708/17 + -247047. Suppose -5*a = -k + 32, 4*k + 11 + 11 = -5*a. Is a > n?
False
Let h be 4329/(-3330) - (-6)/20. Which is greater: 3/6841 or h?
3/6841
Let y be (-4)/(-2)*3/4*108/162. Let d = -1723 - -101653/59. Does y = d?
False
Let g be (-20)/28 - (-7 - 1870/(-77)). Let y = -5207/3 + 1719. Which is greater: y or g?
y
Suppose 13*p - 601 + 562 = 0. Let q = -10 - -9. Let n be 2*q/2*-2. Is p at most as big as n?
False
Suppose 18*m = 26*m - 3480. Suppose -s + m = 2*s. Suppose -y - b = -5*y - s, 0 = 3*y + 2*b + 95. Is -36 at least as big as y?
False
Let f(k) = 4*k - 1. Let r be f(-8). Let l = r + 30. Let q be ((-6)/9*1)/((-2)/l). Is q smaller than 2/11?
True
Suppose 0 = -2*u - 4. Let x be ((-7)/((-28)/(-1000)))/u. Suppose 5*i + x = n, 2*i + 3*n + 23 = -2*n. Which is bigger: i or -1?
-1
Suppose 0 = 2*p + 2*f + 12, 15*p + 5*f = 18*p - 30. Which is smaller: -17/1021 or p?
-17/1021
Let r = -0.232 - -0.111. Let b = r + 4.621. Which is bigger: b or 0.4?
b
Let b(q) = -17*q**2 + 202*q + 4340. Let z be b(-23). Are -9300 and z equal?
False
Let v(k) = 307*k - 5791. Let c be v(19). Do 51 and c have the same value?
False
Suppose -4*k - 4*v - 8 = 0, 2*k - 4*v - 4 = -2*v. Let h(u) = 65*u - 1. Let b be h(-3). Let s be (-1 - b/50)*-1 - -3. Is k less than or equal to s?
True
Let u be (-1)/(1/7) - (4418 - -34). Which is greater: -4460 or u?
u
Let f be 8994/(-749) + 2/(-8). Let o = 15702791/749 - 20965. Let j = o + f. Which is smaller: -12 or j?
j
Let m(a) = a**3 + 7*a**2 - 11*a - 16. Let b be m(-8). Suppose 4*g + t - 1 = 0, -g - 5*t - 22 + b = 0. Which is bigger: g or 2/65?
g
Suppose -60701 = 3*n - i, 764*n - i = 763*n - 20235. Is -20233 at least as big as n?
True
Let f(o) = 11*o - 117. Let g be f(11). Suppose -51 = -4*m + 9*m - k, -g*m - 2*k - 52 = 0. Is m