 g = 6.9 - c. Is g >= 4?
False
Let r = 723 + -724. Is r at most -22/157?
True
Let x(n) be the second derivative of 49*n**3/6 + 7*n**2 + 25*n. Let d be x(-2). Let i be (0 - (3 - (-256)/d))/(-1). Is i > 1?
False
Let z = 3231/13 - 5689804/22893. Is z != 0?
True
Let h be (-25)/7 + 3 - (-314)/(-14). Which is smaller: h or -304/13?
-304/13
Let x = 233/18 + 5/9. Suppose -6 = 3*q - 441. Suppose -138*f - 91 = -q*f. Are x and f non-equal?
True
Suppose 4 = o - 8. Let q = 59 + 142. Let u = -203 + q. Which is smaller: o or u?
u
Suppose 4 = 4*l - 0. Let h be (-43)/((30/42)/5). Let u = h - -300. Are l and u equal?
False
Let x be 3 + (-2 - (4 + -5)). Let j be x*((-30)/(-12) - 3). Let y be -3 + 1708/525 + j/3. Are -7 and y non-equal?
True
Let a(j) = 469*j - 1177. Let o be a(5). Which is greater: 1165 or o?
o
Let s(b) = -b**3 - 2*b - 1. Let c be s(-1). Let a = 1826 - 9118/5. Are a and c equal?
False
Suppose 2*k - 7*k = -2*k + 3108. Which is greater: -1035 or k?
-1035
Let t = -332 + 335. Suppose -2*x = -7*a + t*a + 28, -3*a + x + 23 = 0. Is 16 bigger than a?
True
Let b be (2 - (0 - -4)) + 6. Suppose 0 = b*s - 0 + 28. Let h = 4 - 14. Which is smaller: h or s?
h
Let b be (4/70)/(4/20). Let y be 0*(-8)/(-16) - 2. Let r be ((-3)/12)/(y/104). Which is bigger: b or r?
r
Let a = 2591 + -2593. Does a = -3205?
False
Suppose -5*a = 5*d + 490, 2*d - 81 + 259 = 4*a. Let r = 873 + -967. Which is greater: r or d?
r
Let t = 9078 + -9061. Which is greater: -1/39 or t?
t
Let k = -7519908/421 + 17862. Is k != -1?
True
Suppose y + 4*f - 2 = 0, -3*y = y - f - 8. Let k be 176 - 172 - (0 + 10/y). Is -6 bigger than k?
False
Let o(f) = -6*f**2 + 6*f - 9. Let y be o(5). Let j = y + 160. Which is smaller: 37 or j?
j
Let z = 2429 - -7748. Are 10177 and z non-equal?
False
Let r = 3750/59 + -43727/2124. Is r at most as big as 44?
True
Let n = 14168 - 13765. Which is smaller: 396 or n?
396
Let j = -4714 - -4751. Is 200 <= j?
False
Suppose -4*d - 13630 = i + 16507, -3*i = 4*d + 90339. Is -30102 < i?
True
Suppose -25*s = -27*s + 6. Let r be s - (-12530)/(-2090) - -1*3. Which is smaller: -1 or r?
-1
Suppose 14 = 4*h + 18. Which is smaller: h or -2/7777?
h
Suppose -110*u - 3919 = 5*f - 107*u, 774 = -f - 2*u. Is -4 > f?
True
Let a be ((12/(-7))/3)/((-6)/21). Suppose 0 = 5*t - 3*u - 18, 0*u + a*u - 38 = -5*t. Suppose 5*v - 3*c = 2*v - 3, -4*c = -3*v - t. Which is smaller: v or 10/11?
10/11
Suppose -3*j = -h + 1171, -5*j - 2*h - 1970 = -0*h. Let l = j + 389. Do -42/25 and l have the same value?
False
Let u = 24 - -7. Let o = u - 31.4. Which is smaller: -6/11 or o?
-6/11
Let r be (-2624)/16*(-1)/(-4). Suppose -26 = -5*i + 24. Let x be ((-5)/i)/((-3)/(-246)). Is x less than r?
False
Let x = -811 + 220. Let t = x - -590. Is 0.852 at least as big as t?
True
Let q = -603/100 - -897/140. Which is bigger: q or 1?
1
Let k = 5 - 4. Let v be 2*5/(-35) + 2679/6426. Let z = v + -5/34. Which is smaller: k or z?
z
Suppose -8*w = -10*w + 34. Let i = w - 117/7. Let n = 4/179 - 1452/895. Is n >= i?
False
Suppose -3*y - 9 = 0, -5*y - 76 = 5*b + 204. Suppose 11*n = 8*n - 159. Is b at most as big as n?
True
Let i = -348 + 3125/9. Let p(l) = 2*l**3 - 49*l**2 + 23*l + 49. Let d be p(24). Let o(y) = -y + 23. Let m be o(d). Is m <= i?
True
Let x(r) = -487*r - 1329. Let u be x(-3). Is 112 less than u?
True
Let f = 1797 - 1764. Is -40 at least f?
False
Let l = -10889 - -19099. Which is bigger: 8209 or l?
l
Let u = 1/5724 - -56983/1471068. Let i = u + -12644/311741. Is i bigger than 1?
False
Suppose -n + 3*z + 0*z = 10, -5*n + 22 = 3*z. Suppose 9*o + n = 11. Do o and 9/13 have different values?
True
Suppose 15 - 11 = 2*v. Suppose -2*h + 36 = -5*w + 2, -4*h + 3*w = -26. Is h <= v?
True
Let c(p) = p**3 + 7*p**2 + 9 - 43*p + 49*p - 26. Let o be c(-5). Suppose 0 = s + g, -4*g - o = 2*s - 5. Is s at least as big as -4/25?
False
Let c = -1423/41 + 18272661/526481. Is 0 less than c?
False
Let m be (-6)/271*(34/(-4) - -8). Is 0 at most as big as m?
True
Let d(q) = q**2 - 6*q + 5. Let m be d(5). Let z(k) = -17*k - 5. Let i be z(-10). Suppose 0 = -m*h - 5*h + i. Are h and 33 equal?
True
Suppose -911 = -29*s - 882. Which is greater: 1/4370 or s?
s
Let v = 448/9 + -8897/180. Are -1 and v nonequal?
True
Let y be 1/4 - (-2090796)/(-27504). Let d = y + -108/191. Let b = 73 + d. Which is smaller: -3 or b?
b
Let t = -59 + 59. Suppose t = -3*h + 4*r - 1, -h + 4*r - 6*r = -3. Is h <= -7/24?
False
Let r(b) = -b**2 - 39*b + 147. Let p be r(7). Which is bigger: p or -177?
p
Let m = 482 + -479. Let o be (m/(-8169))/((-6)/21). Which is bigger: -1 or o?
o
Suppose 284 - 384 = 2*x. Is -49 > x?
True
Let n = 445 + -444. Let t be -2 - (79/3 + 0). Let g = t - -28. Which is bigger: n or g?
n
Let t = 48.3251 + 1.6209. Let s = -50 + t. Let v = s - 0.046. Is -1/10 bigger than v?
False
Suppose 0 = -38*g + 42*g - 4. Which is bigger: 6/151 or g?
g
Let o = -0.06164 - -1521.06164. Which is bigger: o or 0?
o
Let w(u) = -7 - 1 + 2*u**3 + 0 - u**2 + 2 + 2 - 2*u. Let v be w(0). Which is smaller: v or -44/17?
v
Let f be (3/(-7))/((-48)/17136). Which is greater: 145 or f?
f
Let r be (-1)/34*-5*(-18)/30. Is 10 <= r?
False
Suppose 4*x - 1 = -5, -4*x = -p - 175. Let b = -107 - p. Let k = -723/10 + b. Which is smaller: 0 or k?
k
Let v = 5 + -2. Let r(x) = -25*x + 1. Let f be r(10). Let b be 8/f*(5 + (-85)/20). Which is bigger: b or v?
v
Let b = -68072/15 + 13615/3. Let y = 1 + -3. Let n be (-5)/y*(-1)/(-10). Is n at least as big as b?
True
Suppose -b - t - 4 = 0, 0*t = -3*b - 2*t - 16. Let g be b - -6*(-9)/54. Is -132/13 < g?
True
Suppose 4*b - 3*b = 4. Suppose 5*v - 330 = 4*t, -7*t + 3*t = 0. Suppose -v = -b*u + 2*q, 3*u - 5*q = -0*u + 60. Is 15 bigger than u?
False
Let f be -8 + -1 + 2 + 0. Let o(a) = a**2 + 7*a + 1. Let k be o(f). Suppose 11 = 4*g - 3*i, -4*g + 14 - 1 = -5*i. Is g at least k?
True
Let o = 145 + -136. Suppose -2*q - 1 + 7 = 2*w, -5*w - 2*q = -o. Which is smaller: w or -1/206?
-1/206
Suppose -6*w + 5*w = -62. Suppose -w = -2*q + 42. Let l be 2/(-3) + q/42. Are 0 and l equal?
False
Let c be 4*15/540*0. Is c greater than or equal to -1/2028?
True
Suppose z = 5*p - 315, -16*z = -14*z + 3*p + 552. Which is smaller: -283 or z?
z
Suppose 3*y - 2*y = 2*g - 27, 2*y - 37 = -3*g. Suppose -m - g = -166. Is m greater than or equal to 154?
False
Let s(q) = 2*q**3 - 15*q**2 - 5*q - 22. Let r(t) = -t**3 + 14*t**2 + 4*t + 23. Let d(b) = -3*r(b) - 2*s(b). Let x be d(-12). Which is bigger: 7/17 or x?
7/17
Let k(b) = -b**3 + 16*b**2 + b - 11. Let a be k(16). Suppose 5*p - a = 0, 5*q + 3*p = p + 22. Suppose q*t + 3 + 33 = 0. Which is bigger: t or -8?
-8
Let o be 9 + (-59)/((432/9)/8). Let y be ((-1)/(-2))/((-6)/12). Do y and o have different values?
True
Suppose -3*x = -l - 9, -252*l + 14 = -2*x - 248*l. Let h be (0 + (-39)/9)/(-1). Is h at most as big as x?
True
Let n be -5 + 85473/(-30)*(-5)/(-6). Let k = -2391 - n. Are -12 and k non-equal?
True
Let v be (-120)/(-100) + (-32)/20. Are 2/4257 and v unequal?
True
Let q be (((-16)/96)/((-21)/14))/(2/12). Do -1535 and q have the same value?
False
Let n(q) = -2*q**2 - 112*q + 745. Let w be n(6). Do w and 1/308 have different values?
True
Let n be (-16)/56 - (-29)/28 - (-3717)/(-7552). Which is bigger: -1 or n?
n
Let c be 0*(2 + -7 - -6). Let p = -494.9261 - 0.0739. Which is greater: p or c?
c
Let c = 0 + 1. Let g = 78 - 78.017. Let n = g + -0.383. Which is greater: n or c?
c
Let s be 4*1 - (-15 + 15). Let w be (s/8)/((-363)/(-12)). Let t = w - 3033/484. Is -7 <= t?
True
Suppose -16 = -10*a + 44. Let s be a - 15*(-13 + 2). Is s smaller than 172?
True
Let i be ((-132)/22 - (-70)/8)*-141. Let a = 381 + i. Which is smaller: -7 or a?
-7
Let f(r) = 3*r + 53. Let c be f(-16). Let m be (-30)/24*((-17)/c - -3). Let o = 0 + 0.02. Is o > m?
False
Let g = 508669/9 + -56519. Let d be 4/78*(-3 + 0). Is d at least as big as g?
True
Let t = 15201 - 15136. Which is bigger: 25 or t?
t
Let f be (-11 + 13)/(1/((-87)/(-30))) + -6. Is f greater than -969?
True
Let j(c) = -260*c - 4154. Let l be j(-16). Which is bigger: 15 or l?
15
Let p be (195/(-40) - -6)/((-6)/604). Let n = 201 + -87. Let c = p + n. Which is bigger: c or -11?
c
Suppose -9*o + 5*o + 20*o - 17920 = 0. Which is smaller: 1119 or o?
1119
Let i be 4/10 - 2903957/7700280. Let o = 8588