e -7*m = 109 - 116. Suppose m = -3*t - 23. Are t and j nonequal?
False
Let g = -34089/2 + 17369. Suppose 0 = 2*r - 0*r + 620. Let j = r + g. Is 14 equal to j?
False
Suppose -6563 - 4805 = 5*v + 297. Is v >= -2333?
True
Let x(j) = j**2 - 56*j + 7. Let l(k) = 2*k**2 - 57*k + 9. Let h(o) = -4*l(o) + 5*x(o). Let n be h(-7). Which is greater: n or 218?
218
Let n be 2*(-1 + 1 - (-6)/3). Let p be 8/(-4) - 538/n. Let k = p + 131. Is -7 at most k?
True
Suppose -3*s - 132 = -a, -3*a + 5*s + 366 = 2*s. Let b = a + -112. Let c be (-3)/b + (-10)/(-25). Do 2/5 and c have different values?
True
Suppose -121 - 11 = -4*q. Let c = 290 - 149. Let r = -107 + c. Which is smaller: q or r?
q
Suppose -987*r + 924*r - 4599 = 0. Is -93 at least as big as r?
False
Let q(a) = -a + 26. Let j be q(11). Let n = j + -4. Let c(v) = -2*v**3 - 5*v**2 + 10*v + 5. Let l be c(-4). Which is smaller: l or n?
n
Suppose -6*c = -71*c - 65. Let v be (1 - 61) + (c - (-3 + 7)). Is -65 >= v?
True
Let l = -1748455/289 + 6050. Which is smaller: 1 or l?
l
Let p = -268 + 265. Let k be (p/(-9))/(4/12). Is k less than or equal to -2/329?
False
Let s(k) = -2*k**2 + 6*k + 5. Let h be s(5). Let r = 31224/13 - 2418. Which is greater: r or h?
h
Suppose -45*u = 4190 + 25735. Which is bigger: -663 or u?
-663
Suppose -5*d + 2*d = -18. Suppose 7 = 7*s - 42. Let g(b) = -b**2 + 12*b - 29. Let a be g(s). Is a greater than or equal to d?
True
Let f = -28709 - -28708.98. Are f and 377 equal?
False
Let j be (-5)/(-20) - ((-4)/(-2) + (-95 - -94)). Let w = 88/15 - 26/5. Which is smaller: j or w?
j
Let o(l) = 759*l + 6776. Let a be o(-23). Which is bigger: a or -10682?
a
Let c be ((-9)/(-30))/((-504)/260). Let a = -2/21 + c. Let p(u) = -u**3 - 7*u**2 - 10*u - 23. Let g be p(-6). Which is smaller: a or g?
a
Let v = 0.0202 - 0.0762. Suppose 5*q + 25 = 0, 4*y - 1 = -4*q - 29. Which is greater: v or y?
v
Let k be 0 + (-1)/(2/2). Let h = 1215 + -1241. Let d be 7 + -10 + (-85)/h. Is d >= k?
True
Let u = 13 + -9. Suppose 4*c + 46 = 2*x - 120, -c + u*x = 31. Let f = c - -37. Is f greater than -6?
False
Let t be ((-40)/(-100))/((-4)/10). Let w be 94/6*t*9/3. Which is smaller: -49 or w?
-49
Suppose 5*x + 0*x + 5*g = 0, -9 = -x + 2*g. Let f(y) = 2*y**3 - y**2 + 4*y + 1. Let w be f(x). Suppose 62 = -6*p + 416. Which is smaller: p or w?
w
Let z(q) = -q**2 + 6*q. Let l be z(6). Let t = 124 - 124. Let m be (-4 - (2 + -4)) + (t - -20). Is l less than m?
True
Let a = 1.3817 + 0.5553. Is 1 != a?
True
Let x = 78.55 + 2.55. Let c = -81 + x. Which is greater: c or 53/4?
53/4
Suppose -2 = 3*m + 4*j + 249, -4*m = -5*j + 283. Let v be (-602)/m + 4/22. Suppose -v*k = -k + 7. Which is smaller: -1/32 or k?
k
Suppose 0 = -5*v - 3*f - 1806, -6*v + 3*v - 1104 = -5*f. Let o = 403140 + -10894580/27. Let y = v - o. Do y and 1 have the same value?
False
Let v(b) = -b - 3. Suppose -c - 1 = 0, 7*c = 5*q + 3*c - 64. Let a be ((-6)/(-4))/(q/(-16)). Let i be v(a). Is i < -4/7?
True
Suppose -a - 1 = -4, 3*n = a - 15. Let o(h) be the third derivative of h**4/12 - 65*h**3/6 + 178*h**2. Let c be o(30). Which is greater: n or c?
n
Let u(g) be the second derivative of 65/2*g**2 + 0 + 34*g + 1/2*g**3. Let p be u(-22). Which is bigger: p or 1/8?
1/8
Let j = 0.33 - 33.33. Let l = j - -33.64. Let k = 0.42 - l. Which is greater: k or -0.1?
-0.1
Let q be 45/6*168/(-140). Let y be (q/6)/(9/(-24)) + -9. Which is bigger: 2 or y?
2
Let o(t) = 54*t + 517. Let u be o(-27). Which is greater: -942 or u?
u
Suppose -18*o - 2*j = -12*o - 11898, -5*j - 9975 = -5*o. Is 1990 less than o?
False
Let f(n) = -313*n**3 - 2*n + 2. Let d be f(1). Let t = -10186 - -10185. Are d and t equal?
False
Suppose 4*i + 64 = l - 4, 4*l - 246 = 3*i. Let d = 30 - l. Let z be d/(-9) + (-5)/15. Is 5/3 at least as big as z?
False
Suppose 3*j = 4*m + 209, -m - m = 2*j - 130. Suppose -5*q + 3*z = -38 - j, -q = -3*z - 9. Suppose -q + 27 = -3*w. Does w = 5/17?
False
Let c = -3438/145 - -239/10. Let z = -5651/174 - c. Is z != -33?
True
Let t be 16263/20988 - 20/((-960)/(-36)). Do t and 0 have the same value?
False
Let w = -49.879 - -49.679. Let j = -27 + 26.956. Is w greater than or equal to j?
False
Let c(g) = -g**3 - 68*g**2 - 971*g + 11. Let t be c(-20). Is t != -2/117?
True
Suppose 0 = 3*h + 4*w + 36, -46*h + 4*w - 12 = -45*h. Let m be ((-6)/((-48)/(-548)))/((-2)/h). Is 0 >= m?
True
Let m be (-27)/(-60)*(-80)/15. Suppose 0 = -5*t + 6*c - c, -2*c = -4*t + 10. Suppose 4*w = -5*p + 2*w - 17, -20 = 5*p + t*w. Which is bigger: m or p?
m
Let p be 1/25 - (-2911020)/2625. Is p bigger than 1112?
False
Let p(c) = -15*c**2 - 594*c + 241. Let y be p(-40). Is y < -1/4115?
False
Let o(u) = -2*u**3 - 3*u**2 + 6*u + 9. Let s be o(-2). Is s bigger than -1/1647?
True
Let q = -132 - -140.3. Let j = -25.6 - q. Let i = -34 - j. Which is smaller: i or -1/4?
-1/4
Let i = -304639/6220559 + 48/977. Which is smaller: 1 or i?
i
Let i = 973.97 - 980. Is i smaller than -1?
True
Let b be (-15)/((24/9)/(-8)). Suppose -195 - 5 = 5*a. Let w = a + b. Is 5 > w?
False
Let w = 358774795 - 11515594609955/32097. Let b = -47009/54984630 - -1/22270. Let m = w - b. Which is greater: m or 0?
0
Let u be (-356)/18 - (-22)/(-99). Suppose 9*q + 135 = 34*q + 2*q. Is u at least as big as q?
False
Let p be ((-10)/(-8))/(4*(-5)/(-1360)). Let k = p + -319. Which is greater: k or -235?
k
Let t(a) be the first derivative of -11*a**4/2 - 2*a**3/3 + a**2 + 2*a + 19. Let c be t(-1). Let h be (69/12 - 5)/(6/c). Which is bigger: h or 0?
h
Let q be 11 + (-16838)/23 + 94/1081. Is q >= -727?
True
Let l = 22593 + -22593. Let v be 4/(-14) + 347/1141. Is l smaller than v?
True
Suppose 5*x - 59 = 21. Let j be (2/8)/(396/x). Suppose -3*v + 4 = -5*c, -11*v + 17 = 5*c - 7*v. Which is smaller: j or c?
j
Let f be (1/(9/2) - (-14668)/7866)*24. Which is smaller: 49 or f?
49
Let k(d) = 6906*d**2 + 23*d - 22. Let y be k(1). Which is smaller: 6906 or y?
6906
Suppose -17*h + 32 = -53. Suppose -h*r - 9 = -4. Is r <= -4/59?
True
Let d = -18413 - -276169/15. Which is bigger: -1 or d?
-1
Let l be (-22)/(-1) - (-14942)/(-744). Is l at least 2?
False
Let s be 7 + (-1 + -4)*-5. Suppose 122 = -s*d - 870. Are d and -148/5 nonequal?
True
Let q = -20254/120009 - -18/109. Is 0 smaller than q?
False
Let g = 398 - 219. Suppose -421 + g = -11*c. Suppose a = -a + 2*l + c, 5*a - 39 = -3*l. Is -2 at most a?
True
Let u = 1497823/21 - 71325. Let p be (0 - 0)/(1 + 0). Suppose 0 = -p*c - c. Which is smaller: c or u?
u
Let z(f) = f**2 + 61*f - 49. Let l be z(-33). Let g = l - -516. Is g smaller than -458?
False
Let o be 16/40 - (-666)/10. Suppose 0 = -3*n - 4*r + 28 + 40, 3*n + 5*r = o. Let h = -36 + n. Is h greater than or equal to -17?
True
Let b be (-1 + 92/24 - 3) + (-9)/(-54). Which is bigger: b or 4/689?
4/689
Let i be (-2)/25 + 273060/3507000. Which is smaller: i or 1?
i
Let r be 8/12*270/(-20). Let a = 32 - 30. Let j be 2/2*(5 - a - 8). Which is smaller: j or r?
r
Let f be (28/6 + -3)/(6/4). Let q = 0.048 + 10.952. Let d = -6 + q. Which is greater: d or f?
d
Suppose -26*s = -0*s - 3510. Suppose 0 = -7*g - s - 264. Suppose -4*j + 20 = 2*z, z + j - 5 = 4*z. Which is smaller: g or z?
g
Let d = -2096 - -2114. Which is smaller: -0.012 or d?
-0.012
Let r = 4549.91 - 4505. Let q = 0.61 - 45.61. Let w = r + q. Which is smaller: -3 or w?
-3
Let g be 3 - 71/(-4543)*(0 + -191). Let m = 1/154 - g. Let c(b) = -b**3 - b**2 - b + 2. Let n be c(1). Which is bigger: m or n?
m
Suppose 3*p - 227 = 5*u, 4*u - 4*p - 5 = -177. Let t be 2/(3 + (-596)/196). Is t at most as big as u?
True
Suppose -9*z = -14*z - 115. Let w = z + -60. Let r = w - -84. Which is bigger: -2/41 or r?
r
Let y be 1 + 2 - (-11 - -12). Let j be (-3)/1 + (3 + 1)*y. Let p be (-4)/(-2)*7/2. Which is smaller: p or j?
j
Suppose 79*h - 77 - 81 = 0. Suppose -4 = -v + 5. Let i = v - h. Is 9 > i?
True
Let x(a) = -6*a + 4. Let p(m) = 13*m - 7. Let b(u) = -2*p(u) - 5*x(u). Let d be b(3). Suppose -5*i - g = -d, 2*i = -2*i - 2*g + 6. Which is bigger: -1/16 or i?
i
Let c = 17661/2 - 8830. Is c < 1751?
True
Let g = -7.7 - 23.3. Let x = 30.967 + g. Is x equal to 1?
False
Suppose -3*c - 12 = -45. Let k(f) = -f**3 + 12*f**2 + 14*f + 27. Let j be k(13). Let n = -28 + j. Is n greater than c?
True
Let z be 6/57 - (-11607)/19. Is z at least as big as 615?
Fa