g <= 2/9?
True
Let m = -26306 + 26325. Let k be (-4)/6 + 56/12. Let z be -3*(k/(-3) + 2). Is m >= z?
True
Let y be 7 - ((4 - 3) + 0 - (-1007)/(-11)). Is y > 98?
False
Let r be (-3)/9 + 1 - (-32)/(-68). Let z = r + -313/816. Let s = -3 + 4. Which is greater: z or s?
s
Let c = 29 + -28. Let b be (0 - c) + (-2 - 3). Let o(i) = -4*i - 10. Let m be o(b). Is 13 bigger than m?
False
Let b = -0.147 + -10.853. Let d = 249.4 - 249.63. Is d <= b?
False
Suppose 0 = b - 3*w - 10, -50 = -5*b + 5*w - 0*w. Let o(a) = -b*a + 12 + 6*a - a**2 + 7*a. Let f be o(8). Is f at least as big as 2?
False
Suppose 10*p - 598 + 2868 = 0. Let i = -189 - p. Which is greater: i or 40?
40
Let r(z) be the third derivative of -z**6/120 + z**5/20 - 5*z**4/24 - 5*z**3/3 - 40*z**2 + z. Let c be r(5). Is -84 >= c?
True
Let x(z) = 11*z**2 - 57*z - 112. Let h be x(8). Is h <= 136?
True
Suppose -2*v = 4*v. Suppose m - 3*m - 2 = v. Let y be ((-12)/(-72))/((-11)/3). Which is greater: y or m?
y
Let m be 53/(-59678)*(-1 - -9). Is -1 bigger than m?
False
Let w(f) = 21*f**3 + f. Let d be w(1). Let j = 17 - d. Let k be 2/(-1 + (-4)/(-12)). Do k and j have the same value?
False
Let g = 16368 + -16369. Is 7.328 >= g?
True
Let m = 30572 + -30571. Are -2/13255 and m equal?
False
Let s(i) = i**2 - 155*i + 1451. Let a be s(10). Which is greater: a or -17/346?
a
Let u = -139 + 65. Let q(w) = 2*w**3 - 17*w**2 + w - 18. Suppose -l = -v + l + 16, -l = -4*v + 36. Let t be q(v). Do t and u have the same value?
True
Let f(z) = -z**3 - 33*z**2 - 35*z - 15. Let x be f(-32). Let u = x + -79. Which is bigger: 6 or u?
6
Let c be ((288/(-192))/((-18)/8))/((-8)/(-18)). Which is smaller: 9 or c?
c
Let m = -2198 - -2198.2. Which is greater: m or 2623/2?
2623/2
Let u be ((-138159)/(-38))/(-9) + (0 - 2). Let s = u + 406. Which is smaller: s or -1?
-1
Let u be (3/(-4))/((-36)/17616). Is u less than 363?
False
Let c be (90/(-25))/(1/(-50)). Let j be 2/c*(-3490)/(-5). Let n = 39/5 - j. Which is greater: -1 or n?
n
Let n = -25.07 + 23.07. Which is smaller: 0.084 or n?
n
Suppose -11 + 501 = -q - 3*h, -2*q - 2*h - 980 = 0. Is q > -489?
False
Let z = 61564 - 61680. Let c(t) = -118*t. Let o be c(1). Which is greater: o or z?
z
Let h = -280946 - -3654067/13. Let v = h + -136. Suppose 12*r - 3*r = -r. Which is bigger: v or r?
v
Let o = 249068/93716293 - 20/18401. Which is bigger: o or -1?
o
Let q = 56 - 5. Suppose -2*w + 10 = 4, 0 = -4*n + 5*w - q. Let f = -30 + 29.9. Which is greater: f or n?
f
Suppose 7*z - 134 = 104. Suppose -4*k - 2*o = 2*o - 196, -3*o = 4*k - 193. Let x = z - k. Are -9 and x unequal?
True
Suppose -1068 = 38*i - 32*i. Let b = i + 179. Let t = 0 + 0. Is b at most t?
False
Let o = -0.08 + 1.08. Suppose 204 - 256 = 2*r. Is r != o?
True
Let w = -0.07235 - -3.68235. Which is greater: 9 or w?
9
Let c = -12.4 + -27.6. Let z = 40.3 + c. Which is bigger: z or -0.27?
z
Let c = -76 + 101. Let z be (-8)/10*c/10. Is 0.165 at least z?
True
Let x = 1.3 - 6.3. Let i = -7 - x. Let q = 12808 + -12808. Which is smaller: i or q?
i
Suppose 2*n - 45*g = -42*g - 5, -6*n - 2*g = 4. Is -9/614 bigger than n?
True
Let s = 1327 + -1275. Which is smaller: 55 or s?
s
Let p = 7489 + -7520. Let u be ((-194)/8)/((-9)/(-12)). Which is smaller: u or p?
u
Let n = -1.1 - -1.03. Let h = 159708 - 159711. Which is smaller: n or h?
h
Let v be 83/9 + -27 + 18. Suppose -4*j = -14 + 58. Let r be j/6 + (-12)/(-24). Is v at most as big as r?
False
Let c = -9249 + 9247. Which is bigger: -77/142 or c?
-77/142
Let d be 5 + -1 - ((-30)/(-10) - 0). Let k be 160/(-1206) + 4/18. Is k greater than d?
False
Let u be -21 + 13 - 374/(-45). Let a = u + -637/1035. Suppose 0 = -2*f + 3*g - 9, -5*f + g + g = 6. Are f and a unequal?
True
Let l(o) = -o - 72. Let u(k) = -k - 35. Let f(p) = 2*l(p) - 5*u(p). Let n be f(-7). Is 15 at most as big as n?
False
Suppose -3*g = 4*v - 0*v + 1128, 3*g + v + 1128 = 0. Let u = -261 - g. Let y = -107 + u. Is -1 > y?
False
Let v = -1.946 + -0.054. Let z = -1849 - -1982. Which is greater: v or z?
z
Let m be (-4)/36 - (-38489)/(-117). Which is greater: m or -328?
-328
Suppose -3*j + 2*o = 114, 0 = -3*j - j + 4*o - 148. Let l = 72 + j. Suppose 0 = -l*a + 30*a + 50. Is a less than or equal to 26?
True
Let g be 30/195 + 2/((-78)/357). Let j be g/20*-2*150/225. Let x = 0 - -1. Which is greater: j or x?
x
Suppose 11*h - 15*h - 2668 = -4*a, -5*a = -4*h - 3333. Is a at least 665?
True
Let q be 2*2 - (-340)/(2 + -7). Let h be 241/4 + 16/q. Suppose -4*o = 2*z + h, 4*o + 0*z + 70 = 3*z. Is o >= -0.4?
False
Let d = -0.0168 - 268.9832. Let l = 268 + d. Which is bigger: -48 or l?
l
Let i(w) = 4*w**3 + 15*w**2 - 6*w + 5. Let x(y) = -3*y**3 - 13*y**2 + 5*y - 4. Let m(b) = -4*i(b) - 5*x(b). Let f be m(-2). Which is greater: f or 143/5?
f
Suppose -c = c, -144 = a + 3*c. Suppose -5424 + 651 - 6381 = 78*n. Do n and a have different values?
True
Let g = 6325589999/2128374 - -487/21942. Let w = -2972 + g. Is w equal to 0?
False
Let k = 11850 - 177428/15. Which is bigger: 22 or k?
22
Suppose 35*f = 49*f. Is -1/2462 < f?
True
Let r = -2/55 + -13/55. Let l(a) be the third derivative of -a**5/60 - a**4/2 - 11*a**3/2 - 6*a**2. Let n be l(-8). Is n not equal to r?
True
Let b be (-11 + 11)/(-1 - 1). Let f(h) = 2*h**2 - 60*h - 129. Let m be f(-2). Which is greater: b or m?
b
Let z = -0.6283 + 1.2083. Let u be 2 + -1 + 105/(-364)*4. Is u >= z?
False
Suppose -25*c = -22*c + 12. Let v be c/(-14) - (-3)/(63/(-48)). Let x be (-3 - -3)/(-4 - v). Which is smaller: 9/8 or x?
x
Let c = -2667 + 3307. Is 642 >= c?
True
Let p be (-6)/(-5) - (-1)/(-5). Which is smaller: p or -4/2641?
-4/2641
Let x(g) = 2*g**3 + 15 + 17*g + 11*g**2 - 3*g**3 + 14*g - 20*g. Let t be x(12). Suppose 4*b = -4, -2*o = 8*b - 3*b - t. Is 4 at least as big as o?
True
Suppose 3*v - 336 = -3*v. Suppose v*j = 44*j - 840. Is 1 not equal to j?
True
Let m = 694.93 + -613.2. Let a = m - -3.27. Which is greater: 0 or a?
a
Let s = 37459 + -38831. Is -9601/7 > s?
True
Let z = -14642 - -55903155/3818. Which is bigger: 0 or z?
0
Let v = -7282/15 - -1457/3. Which is greater: 6/445 or v?
v
Suppose 2*k + 12 = -3*y, -4*y - 21 = -5. Suppose k = -18*w + 19*w + 21. Which is bigger: w or -20?
-20
Suppose -20*g = -15*g - 10, g + 3526 = 3*n. Let d be ((-23440)/n)/(-5) + -4. Which is bigger: -0.4 or d?
d
Let o = -29130 + 50679. Are o and 21549 unequal?
False
Let k = -3386 + 3388. Suppose 5*q = 3 + 12. Let b be 2/q - (-2 - -2). Which is smaller: k or b?
b
Let q be ((-2955)/(-45) - 5)*-6. Does -362 = q?
False
Suppose 300 = -5*f - 5*d, 5*d = f + 72 + 6. Let y be 738/(-4)*(-2)/(-6). Which is smaller: y or f?
f
Let o = -17314 - -16868. Do o and -3 have the same value?
False
Let x = -11878/9 - -1322. Let l = -377 - -3416/9. Let m = l - x. Which is smaller: 0.08 or m?
0.08
Let k = -261.9395 - -263.9. Let v = -0.0395 - k. Let a = -1 - -0.84. Which is smaller: v or a?
v
Let q be (-14)/(-4)*(2 - -10). Let t be 26/q - 10/35. Let c = -73 + 72.94. Which is greater: t or c?
t
Let m be 6 + 0 + 14*12/30. Which is bigger: 11 or m?
m
Let w be 78/52 - (-393)/(-6). Let g be (-19)/38*w/(-86). Is 1 equal to g?
False
Let i = -238 + 56. Let v = -3461/19 - i. Let g = v - -58/247. Which is bigger: -1 or g?
g
Let k(q) = q**2 - 7*q + 4. Let v be k(3). Suppose -4*d - p + 20 = 96, p - 68 = 4*d. Let s = v - d. Which is smaller: s or 12?
s
Let u(q) = -q**2 + 6*q + 4. Let n be u(6). Suppose 0 = n*i + 3 - 15. Suppose -i*t - 69 = 5*l, -86 = 4*l - 4*t - 18. Is -81/5 < l?
True
Let d = 2757 - 2745. Let x = 2 - 2. Let f be ((-108)/(-3))/3 + x. Is f equal to d?
True
Suppose 6 = 2*a + 3*f - 4, 5*a - 25 = -4*f. Is 1/3 < a?
True
Let r(y) = 2*y**2 - 26*y - 6. Suppose 0 = -5*f - 2*v + 55 + 20, 5*v = f + 12. Let u be r(f). Which is greater: 0.13 or u?
0.13
Let i be (-5)/((-10)/(-58))*-2. Let h = i - 62. Let z be 11/h - (-7)/(-28). Which is bigger: -22/7 or z?
z
Suppose -4*b + b = 4*g + 1, 4*g - 2*b + 6 = 0. Let d be 14/91 - (5145/(-1625) + 4). Which is greater: d or g?
d
Let h be (1/2)/(4/(-8)). Let a be h - (6/5 + -2). Let x be 10 - (-1917)/(-198) - (5 + (-285)/55). Is a at least as big as x?
False
Let f = -344 + 343.73. Let s = -0.27 - f. Which is smaller: -10.7 or s?
-10.7
Let h = -15.83495 - 0.16505. Is -24/5 not equal to h?
True
Suppose 10*i - 2 = -12. Suppose