et p = -11407 - -11767. Is p bigger than -14?
True
Let b = -4347 - -4398. Which is greater: b or -24?
b
Let b = -834.05 + 839.05. Let z be 1/(-1 - (1 + -1)). Which is bigger: b or z?
b
Let n = -1763 - -1712. Suppose -5*d - 66 = z, 0*z + z + 45 = 2*d. Are z and n non-equal?
False
Suppose 379 = -2*t + 5*m, -182*t = -185*t + 4*m - 579. Is t at most as big as -0.1?
True
Let p be -6*(-2)/(-3) + (-298)/(-35). Let g = 33/7 - p. Let i = -0.43 - -0.53. Which is greater: i or g?
g
Suppose 116*h + 215*h = -33*h - 1997996. Is -5488 smaller than h?
False
Let z(r) = -r**3 + 6*r**2 + 14*r - 19. Let q be z(9). Let t be q/(-22) + 42/(-231). Suppose -t*p = -0*p. Is p at least 2/7?
False
Let x = 89 + -39. Let a be ((-2)/(-5))/(1281/915). Which is smaller: a or x?
a
Let b = -1761143477/9503 - -185325. Which is greater: 0 or b?
0
Suppose 3*z - 5*a = -57 - 261, -4*a = -12. Which is greater: z or -99?
-99
Let o be (-9)/((-351)/(-390)) - (-992)/98. Let z = -6 - -5. Which is smaller: o or z?
z
Let g = 0.04367 + 0.07733. Let n = -22 - -43/2. Which is bigger: n or g?
g
Let f be 40/25*10/12 + (-48)/(-72). Let n = 0 - -2. Suppose 0 = n*w - j + 63, 4*w - f*w + 68 = 2*j. Which is bigger: w or -31?
w
Let q(j) = j**3 + 14*j**2 + 15*j - 10. Let h be q(-16). Let g = h + 242. Let l = g + 9882/19. Which is bigger: 0 or l?
l
Let r = 82406 + -247390/3. Let f = 28 - 84. Are r and f equal?
False
Let j(y) = 13*y**3 - 2*y + 3. Let u be j(2). Let m(o) = 107*o**2 - 78*o + 75. Let d be m(1). Is d at most as big as u?
False
Let d = 7.5 - 7.524. Let s = d - 5.976. Let u(a) = -a - 4. Let l be u(-3). Is l equal to s?
False
Let h(t) = t + 45. Let i be h(-21). Let l be 7/((-126)/i)*-3. Suppose -4 = 5*a - l*a. Do -5 and a have the same value?
False
Let h(y) = 3*y**3 - 3*y + 2. Let m be h(1). Suppose -x - m*x = 2*v + 14, 0 = 3*v - 5*x + 59. Which is smaller: v or -10?
v
Suppose -p + 241 = -7*f + 12*f, 4*f + 704 = 3*p. Let s be 947/4 - 0 - 15/(-60). Which is bigger: s or p?
s
Let c = 5182/387 + -245/18. Is -1 at least c?
False
Suppose -903 = 4*x - 3*o - 877, -x + o = 7. Which is smaller: x or -419?
-419
Let z be ((-8)/12)/((-1)/(117 + -3)). Let j = -114 + z. Let f = j + 36. Is -5/8 bigger than f?
True
Suppose -13 = d - 5*y, 2*d - 3*y + 19 = -0*y. Let i(q) = -4*q - 19. Let a(o) = o. Let n(j) = -2*a(j) - i(j). Let r be n(d). Which is smaller: 4 or r?
r
Let k(z) = -6*z**2 - 3*z + 57. Let a(g) = -g**2 - g. Let c(q) = -3*a(q) + k(q). Let t be c(-8). Is t > -136?
True
Suppose -4*n - i + 1152 = 0, -2*i = 3*n - 2*n - 281. Let z = -313 + n. Is z <= -27?
False
Let s = 597.9 - 619.9. Is s less than -44?
False
Let l = -186/269 + 296836/428517. Which is bigger: 1 or l?
1
Let t(z) = 6*z**2 + 21*z - 528. Let w be t(48). Is w less than or equal to 14304?
True
Suppose -604*z - 50*z = 881 - 36197. Suppose -3*g + 166 = 4. Is g not equal to z?
False
Let d be ((-2)/(-176)*99/6)/(0 + -2 - -1). Let n(a) = -3*a**2 + 3*a + 1. Let x be n(3). Are d and x equal?
False
Suppose 0 = -3*f - 2*f + 4*d, 4*d = -3*f. Suppose -2*v = -5*k - 3, 2*v - 10 = -f*k - 2*k. Which is bigger: k or 10?
10
Let o = -1613 - -1615.694. Let w = 0.306 + o. Is w greater than or equal to -3.9?
True
Let u be (5 - (-1638)/(-330))*75/20. Suppose f = 3*d - 7, -2 - 7 = -d + 2*f. Let p = d - 2. Which is greater: u or p?
u
Let y be 1/(-3) - 1896/144. Let v = y + 13. Is -23 <= v?
True
Let q be (-4)/6*(-207)/92. Let m = 0.35 + -4.15. Let i = 4 + m. Are q and i non-equal?
True
Suppose -125758*s - 20 = -125778*s. Which is smaller: s or -4/6429?
-4/6429
Let h be (-4)/18*(250/(-80) - -2). Is h at most as big as 4452?
True
Let s = -6812 + 3286. Let w = s - -959071/272. Which is smaller: 1 or w?
w
Let g = -18276/35 - -4428/5. Which is greater: g or 363?
g
Let d(h) = h**3 - 3*h**2 - 5*h + 4. Let k be d(4). Let z = 2083431/265 + -7862. Is k less than or equal to z?
True
Suppose -2*d + 6 = -3*j, -d = 79*j - 80*j - 3. Which is smaller: j or 1/7512?
j
Let v(l) = l**2 + 4. Let n be v(0). Let s(j) = -57*j + 182. Let o be s(n). Is -47 greater than o?
False
Suppose 3*p + 2 = -1. Suppose 0 = -446*d + 247*d - 5970. Which is smaller: d or p?
d
Let a = 146768/5 - 29354. Which is smaller: 242.6 or a?
a
Let k = -762 - -761. Let c be (15/10)/((-5)/82). Let u = c - -146/5. Is k at most u?
True
Let o = 1.62899 - -7.37101. Let r = 2 + -6. Is r > o?
False
Let v = 229 + -228. Suppose 25*r = -60*r + 5780. Which is smaller: v or r?
v
Let g(h) = -h**3 - 5*h**2 + 4*h - 8. Let z be g(-6). Suppose -8 = -z*k, -7*k - 386 = 4*q - 6*k. Is -97 greater than or equal to q?
True
Let u be (-12 - (-30 + 16)) + ((-8)/2 - 7969). Is -7971 smaller than u?
False
Let k = -472/473 - -39/43. Are k and -428 equal?
False
Suppose -27 = 3*d - 39. Let j be (-5)/((-10)/d) + 1. Suppose j*z = -2*z - 5*g + 45, 5*z - 90 = 4*g. Which is smaller: 67/5 or z?
67/5
Let o = 4.2874 - -2.8126. Let r be 2*(-5 + 2)/(-18). Which is greater: o or r?
o
Let n be (-7 + (-16842)/(-2310))/((-4)/(-250)). Is n >= 17?
True
Let y = 558425536 + -32609259173582/58395. Let h = -8/687 + y. Is 0 at most h?
True
Let i(k) = 2*k**2 + 37*k + 18. Let b be i(-18). Suppose 4*r = -3*n + 297, 301 = -r + 5*r - n. Let t be b/(-2) + (-2 - r/(-6)). Is t > 11?
False
Let i = -35744 + 35747. Suppose r = -4*r - 20, -212 = -4*j + 2*r. Let y = j - 203/4. Is i smaller than y?
False
Suppose -4*a = 3*w, -2*a - 5*w = -a - 17. Let h(g) = -11*g + 345. Let b be h(32). Do a and b have the same value?
False
Let v(f) = -f**2 + 121*f + 1825. Let k be v(-14). Is -113 less than k?
True
Let x(n) = n**3 - 12*n**2 - 2. Let k be x(12). Let d = -880 - -883. Let f be (17/(-4) + d)*k/(-8). Which is smaller: f or 0.1?
f
Let g = -39.1 + 39. Suppose 2*r - 12*p + 8*p - 26 = 0, -5*r - 5*p + 95 = 0. Is r not equal to g?
True
Let p = -123 - -132. Let d(k) = 3*k + 33 - p - 10. Let a be d(2). Is 20 <= a?
True
Let l be (-6)/16 + (-156)/(-32). Let b be (-2 + 3 + -4)*-2. Suppose -9*q + b*q + 15 = 0. Is q bigger than l?
True
Let y = -49.764 + 49.2. Let m = -0.404 - y. Which is smaller: m or 1/2?
m
Let v = 0.3 - 0. Let d = 93.52 - 2.52. Is d greater than v?
True
Let t = 32 + -29. Let g(c) = -5*c**2 - c + 4. Let i be g(t). Let d = i - -45. Which is smaller: d or -2/11?
-2/11
Suppose -40*j - 562 + 522 = 0. Which is greater: -15/259 or j?
-15/259
Suppose -60 = 2*v + 8*v. Let b be (v/7)/(42/196). Which is bigger: b or -32/7?
b
Let f = 13 + 7. Suppose f = 192*o - 196*o. Is -30/7 bigger than o?
True
Suppose -24257 + 25097 = -24*c. Is c less than or equal to -625/18?
True
Let x = 319 - 318. Suppose 12*z + x - 13 = 0. Do z and 9/28 have different values?
True
Let f(j) = -2*j**3 - 45*j**2 + 29*j - 71. Let v be f(-23). Are v and -219 nonequal?
True
Suppose 4*u - o + 14338 = 0, -62*o + 17933 = -5*u - 59*o. Is -3584 greater than or equal to u?
False
Let n(t) = -62*t + 686. Let c be n(16). Which is smaller: c or -6?
c
Let x = 5.04 + -5. Let v = 26102 + -26091. Is v >= x?
True
Suppose 6*z = 14*z - 32. Suppose z*g = -137 - 39. Let i be 2/1 + g/21. Is i >= 1?
False
Let q = -640/3 - -1062/5. Let k be 6/39 + (30/(-26) - -3). Which is greater: q or k?
k
Let l = 206/819 + 4/117. Let x = 929.24 - 949. Let y = x - 0.24. Is y at least l?
False
Suppose 3 - 1 = 2*d. Let m be (-1)/(-1*(d - 2)). Let s be 3 - (m + 156/9). Which is smaller: -13 or s?
s
Suppose 0 = -3*a - p + 8, 3*a - 2*p - p = 12. Suppose 4*t - z = -212, t = -3*t + a*z - 204. Let l = t + 30. Is l at most -26?
False
Let j be 1035885/1113*(0 + 7). Which is bigger: 6514 or j?
j
Let t(u) = 11*u**2 - 32*u + 201. Let k be t(27). Let j be 9/72 + k/32. Is 229 <= j?
True
Let s be 100*(-5)/((-50)/4). Suppose -42*q = -s*q + 18. Which is bigger: q or -11?
q
Let w(b) = -b**3 + 8*b**2 - 2*b - 4. Let o be w(7). Let j = 15 - o. Let s be ((-18)/(-12))/((-12)/j). Is s smaller than 2?
False
Let m = 628 + -628. Let j(f) = 3*f - 22. Let o be j(12). Which is bigger: m or o?
o
Let m(b) = 2*b**2 - 15*b - 2. Let u be m(10). Let r be (-1362)/(-18) + (-32)/u. Are 76 and r non-equal?
True
Let s = 3111 + -2935. Which is bigger: s or 173?
s
Let q(p) = -p**3 + 6*p**2 + 9*p + 14. Let t be q(6). Suppose 3*w - 3*o - 72 = 0, -72*w + o = -t*w - 84. Let y = -59 - -237/4. Which is smaller: w or y?
y
Let u = 561 - 4479/8. Which is greater: u or -3/8?
u
Let b = -23524 - -23524. Which is bigger: 