0. Let z be g(b). Is z at least -3?
True
Let f = -2 - -3. Let b = 0.019214 - -6.380786. Is f greater than b?
False
Let l be 22509/(-23165) + 6/10. Is l not equal to -1?
True
Let g = -1283 + 1032813/805. Let k be (-4)/14 + (-4)/(-14). Which is bigger: g or k?
k
Let s = 0.2 - 0.1. Let a = -6435/1052 + -35/263. Is s smaller than a?
False
Let c be ((-1)/(-8) - 0)/2. Let q = 554 + -359. Let j = 194.8 - q. Is c at least j?
True
Let f(h) be the first derivative of 11*h**2 + 3*h - 49. Let o be f(9). Which is smaller: 199 or o?
199
Let z be (14/70)/((-5)/(-15425)). Let p = z + -686. Let n = 0.4 + -0.3. Which is greater: n or p?
n
Let o be (-20577)/2717 + 2/(-13). Suppose 23*c = 550 - 757. Is c at most as big as o?
True
Suppose -3*t + 205 + 39 = 2*s, 4*s = 2*t + 456. Let v(h) = -h**3 + 17*h**2 + 80*h + 201. Let a be v(21). Which is smaller: s or a?
s
Let g(p) = -p**2 + 7*p - 10. Let y be g(5). Let n be (9/783)/((-48)/36). Are y and n nonequal?
True
Let v(p) = -p**3 - p**2 - 3*p + 1. Let r be v(-3). Let q be 49 - ((-6)/(-18))/(26/1248). Is r less than or equal to q?
True
Let q = -2834 + 1684. Let v = q - -586. Which is bigger: -565 or v?
v
Let t(z) = -z**3 + 7*z**2 + 8*z + 2. Let h(u) = -u + 14. Let d be h(6). Let c be t(d). Let v = -25/16 - -43/16. Is v greater than or equal to c?
False
Let z be (-116)/20 + 4/(-20). Suppose 0*b = -4*b - 4*p - 24, 4*b = 2*p - 24. Is z equal to b?
True
Suppose -3*z + 93 + 87 = 0. Suppose z*h = 58*h + 34. Let v = 14 - h. Which is greater: -16/7 or v?
-16/7
Let j(d) = -207*d**3 - 7*d**2 - 6*d - 2. Let n be j(-6). Let f be n/495 - 2/(-9). Let y = f - 456/5. Which is greater: -1 or y?
-1
Let h = -10.018 - -0.468. Let x = h + 3.55. Is x greater than 0.05?
False
Suppose -105*s = -93*s + 61200. Are -5099 and s equal?
False
Let q(l) = 10*l - 8. Let o be q(2). Suppose o = -m + 5*n - 17, 0 = -2*m + 4*n - 28. Let i be (m/(-10))/(4/45). Which is smaller: 4 or i?
4
Suppose 5*q = -4*r + 11 + 64, 3*q - 3*r = 18. Suppose -21 = 8*g + q. Let j(c) = 4*c + 4. Let w be j(g). Which is greater: -14 or w?
w
Let x = 554 - 553. Let u be (x - (3 - 0))*110/(-20). Let g = -3 - -3.1. Which is greater: g or u?
u
Let g(k) = k**3 - 30*k**2 - 89*k - 331. Let b be g(33). Is b >= 1/6230?
False
Let l = -2535 - -2529. Suppose 3*b + 32 = 5*b. Let q be ((-12)/b)/(15/8). Is l < q?
True
Let y = 254 + -250. Suppose -3*w - b + 58 = 0, -y*b - 2 = 9*w - 10*w. Do w and 1/9 have the same value?
False
Let k be (((-158424)/105)/23)/(6/(-5)). Is k greater than 54?
True
Let w be ((-54)/(-10))/(60/200). Suppose 3*r + 3*u = 30, u + 45 = 4*r + 6*u. Suppose 90 = r*c - 0*c. Do w and c have the same value?
True
Let f = 87337 + -3318229/38. Are 15 and f unequal?
True
Suppose -261*b = -123*b - 94*b. Which is smaller: b or 5/11992?
b
Let d be (-5)/(-35) - 2/6*(-30)/(-70). Let g = 13 + -92/7. Let f = g - d. Is f greater than -2/9?
True
Let c = -397 + 396. Let g = -0.2 + 0.272. Let s = 0.382 - g. Do s and c have the same value?
False
Let o(g) = -g**2 - 26*g - 46. Let p be o(-24). Let q be (-5)/(14560/1256) + p/14. Let l = q - -387/1612. Which is smaller: l or 0?
l
Let l = 109.775 - -0.225. Let w = 2425 - 2592. Let z = l + w. Which is smaller: 0 or z?
z
Let c be 2 + -6 + (-15435)/10773*(-14)/5. Which is bigger: 0 or c?
c
Let a(w) = 88*w - 34. Let d be a(1). Let l = d + -53. Let f = -1060 + 20146/19. Which is greater: f or l?
l
Let o = -606 - -841. Let g = -541 + o. Do -306 and g have different values?
False
Let f = 22499/123684 - 1/11244. Is 51/4 greater than f?
True
Let n(g) = 7*g**2 + 4*g + 2. Let c be n(-1). Suppose -z - 4*s - 161 = 0, -3*z - c*s + 680 = -8*z. Which is smaller: -142 or z?
-142
Suppose -141*r - 3300 - 14889 = 0. Is r less than or equal to 59?
True
Let i be -477 - -339 - (-2 - -1)/(-1*1). Is i at least -12?
False
Suppose -f - 54 = 4*w, w - 4*f = -9 - 13. Let i be 497/42 + -12 + w/(-12). Which is smaller: 11/17 or i?
11/17
Let z = -750 - -345. Let c be (-5)/(-15) - 12/z*-12. Which is bigger: c or -1?
c
Let a = -2 + 1. Let b be (-2)/(a - (-57)/63). Suppose 115 = 3*u + 103, -u - 88 = -4*x. Is x at most b?
False
Let x be (350/(-20) + -2)/((-2)/(-28)). Is -268 at least x?
True
Let c(x) = 4*x + 16. Let l be c(-7). Let j = 3795 - 3797. Which is greater: j or l?
j
Let j = -94.98 - -95. Let t = -39 + 44. Is j < t?
True
Let p = 23 - 13. Let g = p + -6. Let k be (140/98)/(8/28). Which is smaller: k or g?
g
Let l be 490*(1105/(-225) + 5). Let g be (0 - 0) + (-35825)/(-900). Let q = g - l. Which is smaller: -5 or q?
-5
Let o = 0.10226 - -1385.89774. Which is bigger: -4 or o?
o
Let t = -1.34 + 0.64. Is t at least 2/39?
False
Suppose 300 = -3*a + 291, j = 2*a - 52. Which is greater: -55 or j?
-55
Suppose 4*n - 7 - 9 = 0. Suppose 57 = -l + 4*l. Let t = -14 + l. Is t at most as big as n?
False
Let n(x) = -x**2 + 68*x + 982. Let l be n(-12). Is l smaller than 24?
True
Let x = -85 + -61. Let b = 152 + x. Suppose 4*c = -4*j + 40, -2*j - 5*c + 29 = -0*j. Do j and b have the same value?
False
Let y = -0.0113624 + 34.3020624. Let b = 0.3747 - y. Let p = b + -0.084. Is -0.1 less than p?
False
Let t = -21112.9 + 21110. Is 34 > t?
True
Suppose -2*m = 5*t - 2797, 0 = 2*m - 3*m - 4. Suppose 4*j - 1243 = t. Suppose -44 = 5*k + j. Which is bigger: -0.1 or k?
-0.1
Let j(b) = -17*b**3 - 2141*b**2 + 126*b + 185. Let n be j(-126). Suppose -133 = -4*p + 599. Which is bigger: p or n?
n
Suppose -4*w = -2*g - 620, -3*w + g + 41 = -423. Suppose j - 2359 = -24*j + 2589 - 1073. Which is smaller: w or j?
w
Let a = -16 - -18.32. Let c = 3.02 - a. Is c > -1?
True
Let x be (-5 - 4*(-63)/56)*0. Which is smaller: -50/61 or x?
-50/61
Let t = -7.584 + 6.374. Which is smaller: t or -1?
t
Let n(g) = -g**3 - 20*g**2 - g + 6. Let l be n(-20). Let i(j) = 2*j - 12. Let p be i(6). Suppose p = -3*c + 92 - 23. Are l and c unequal?
True
Let t = 5974 - 5968. Which is greater: t or 931?
931
Suppose 276 + 408 = -9*n. Let v be 12/8 - (111/n)/(-1). Is v bigger than 1?
False
Let w = 52355 + -363599/7. Which is smaller: 413 or w?
w
Let a = -113 + 133. Suppose 5*b - 18*i + 15*i = -a, 19 = b + 4*i. Are -6/65 and b nonequal?
True
Let r be (-546)/630 - (-10)/(-75). Are -2/19467 and r equal?
False
Let i = -18491329/547 - -33805. Is 1 bigger than i?
True
Let o be 4*(-2)/36 + 377/117. Let p(v) be the second derivative of v**4/12 - v**3 - v**2/2 - 4*v. Let m be p(o). Which is bigger: -9 or m?
-9
Let y(l) = 3*l**2 - 38*l - 55. Let v be y(14). Which is smaller: v or -6/547?
-6/547
Suppose g + 8 = 4*v - 4, 5*v - 33 = -g. Suppose -4*u - 15 = -3*c, -3*c = -g*c + 5*u + 20. Let r be (2 - -14) + -97 + 77. Is c at most r?
False
Suppose 0 = 89*u + 68*u + 166263. Which is bigger: -1057 or u?
-1057
Let h = 13490 - 7864672/583. Let n be 0/2 - (0 - 1). Is n smaller than h?
False
Suppose -7 = -2*s + 3*d, 0 = s - 3*d - 5. Suppose 3*n - 82 + 439 = 3*c, -s*c + 3*n = -237. Let g be 2 - 4 - (-256)/c. Which is greater: 0 or g?
g
Let i be -1352 - -2*4/40*5. Is -1350 <= i?
False
Let z = -1594 - -1709. Suppose 3*v - 5*v = -228. Which is smaller: v or z?
v
Let z = -3869 + 3868.9. Which is bigger: -2 or z?
z
Let i = -3/1430 - -2711/610610. Is i <= 0?
False
Suppose 148 = 16*z - 76. Suppose -13*f = -z*f + 1. Which is smaller: f or -25?
-25
Suppose -11*y = -16*y + 10. Let q be y/5 - (-117)/45. Suppose -w = 4*z - 3*w + 14, q = -3*w. Is z > -48/13?
False
Let d = -15422/8265 - 2/2755. Let s(q) = -q**3 - 10*q**2 + 15*q + 42. Let o be s(-11). Which is smaller: o or d?
o
Let b be 9/(-6) - (-38)/20. Suppose -32 = -5*v + 4*t, 2*v - 3 = -3*t - 4. Suppose 3*p + 8*j = 4*j + 80, 0 = 2*p + v*j - 56. Which is smaller: p or b?
b
Let c = 2743 + -1693. Is 1048 > c?
False
Let n = 1164/25 - -8/75. Suppose -74 = -c - 27. Let d = c - n. Is 0.2 at least as big as d?
False
Let r be ((-5)/(-3))/(-4*(-17)/204). Which is smaller: r or 294/79?
294/79
Let u be -3 + (9*-4)/4. Let r be u/12 + (-8)/(-1). Let o be 22/18 - (-4)/((-28)/r). Which is smaller: 0.4 or o?
o
Let h = 13/356 - -108/89. Suppose -3*c + 8*c = -4*a + 25, -c + 5 = -3*a. Which is greater: h or a?
h
Let v be 5975/(-6) - (-11)/(-66). Let n = v - -2035/2. Are 21 and n non-equal?
True
Let f = 167 + -145. Let j = 23 - f. Which is greater: 1/18 or j?
j
Let y = -2172 + 8691/4. Is 584/5 less than or equal to y?
False
Let h = 1/7 - -4/