t w = -104278/11 - -9480. Is w greater than or equal to 28/25?
False
Suppose 3*w - 62 = -0*k - 4*k, -5*w = -4*k - 50. Let v(m) be the third derivative of m**4/24 - 11*m**3/6 - 8*m**2. Let r be v(w). Which is smaller: r or 2?
2
Let m = 386 + -384. Let k be ((-9)/5 + m)*(-5)/28. Suppose 5 - 1 = 5*q - h, 4*q + 16 = -4*h. Which is smaller: q or k?
k
Let v = -14047 - -43517607/3098. Is v greater than or equal to -1?
True
Suppose -2*c - 230 = -4*w, 2*w - 14 - 100 = 2*c. Suppose -2 - w = 4*z. Let n(k) = k**3 + 16*k**2 + 17*k + 21. Let h be n(z). Is -9 less than or equal to h?
True
Let j = -1 - -3. Let t be -2*j/4*3. Let s be (t + 3)*6/(-18). Which is greater: 2 or s?
2
Let d = 166 - 61. Let a = 107 - d. Is a bigger than 56?
False
Let w = -690 + -519. Let l = -110020/91 - w. Are l and 1 unequal?
True
Let y(d) = -d**3 + 12*d**2 - 41*d + 32. Let g be y(6). Let f be (-46 + g)*125/50. Is -112 at least as big as f?
False
Let v = -0.107 - 35.493. Let r = 6.6 + v. Let n = -29.5 - r. Is n > -1/2?
False
Let o be 17962*(-1)/(-4492) + -4. Which is smaller: 0 or o?
o
Let p = 14.843 - 14.8. Let j = 0.343 - p. Which is smaller: j or -1/7?
-1/7
Let r be -2 + (-20)/(-8) - 42/28. Is r greater than -3/1267?
False
Let s = -1681 - -3517. Does s = 1836?
True
Let h = -82.2 + 72.2. Suppose -u + 3 = -2*z - 0, 0 = -5*z - 5*u - 30. Let i be (2 + z + -1)/(-6). Which is bigger: h or i?
i
Let d = 118 - 139. Which is smaller: -11 or d?
d
Let r = 31714 + -108652165/3426. Is r less than 0?
True
Suppose -29*z + 16 = -25*z. Suppose 0 = 5*h - 3*m - 16, 5*h - 2 = -2*m + z. Let c(y) = -y**3 - 9*y**2 + 10*y + 2. Let g be c(-10). Is g greater than h?
False
Let h = 124 + -116. Suppose h*g - 2244 = -460. Let v = g - 635/3. Which is greater: 11 or v?
v
Suppose -7*u - 3*u + 40 = 0. Suppose q - 2*v = 5*q + 300, 3*v = u*q + 320. Let p = q + 106. Which is greater: 28 or p?
p
Let a(x) = -17*x + 639. Let k be a(37). Suppose 4*v - 5*v = -558. Suppose -k*p + p = -v. Which is greater: p or 63?
63
Let a be ((-28)/(-84))/(2/(-42)). Which is smaller: a or 13?
a
Let n be 3 + 1344/(-45) - ((-729)/45 + 16). Which is greater: -28 or n?
n
Let j be (-21 - -13)/((-36)/10). Which is greater: j or 0.5?
j
Let h = -229751/6 - -38510. Is 217 smaller than h?
True
Let q(g) = -g**2 + 89*g - 140. Let x be q(89). Which is smaller: -104 or x?
x
Let b(z) = z**3 + 8*z**2 - 9*z + 75. Let i be b(8). Let c = 1075 - i. Suppose -2*j + 5*p = 2*j - 225, 120 = 2*j - 4*p. Which is smaller: c or j?
c
Suppose -39*y - 248*y = -2009000. Is 7000 at least y?
True
Let m = 7596/13 - 584. Suppose 2*i + i = 4*p + 230, 8 = 2*p. Let j = i + -83. Which is bigger: m or j?
m
Let u = -2767871795/16162 - -171258. Which is bigger: -1 or u?
u
Let j be 6595/50 - (-2)/(-5). Let o = j + -2887/22. Let z = -131 - -132. Is o < z?
True
Let m(v) = v**3 - 14*v**2 - 70*v + 156. Let l be m(19). Is 4407/7 at least as big as l?
False
Let z = 618 + -619. Let g be z/((-6)/4) + 15/(-9). Is g greater than or equal to 1/49?
False
Let c = 139 - 137. Suppose 0 = 2*w + 3*b + 10, 0 = -0*w - c*w + 2*b. Let n be 24/(-6) + 24/10. Which is smaller: n or w?
w
Let a = -1137 - -1109. Which is smaller: a or -115/4?
-115/4
Let n be (-9)/(-1 - -4) + -1. Let d be (21/252)/(n/(-3)). Which is smaller: 1 or d?
d
Suppose 0 = 3*k + u + 1048, -9*k + 4*u + 1042 = -12*k. Let b = k - -349. Is b at most -188?
False
Let n(a) = -22*a + 295. Let v be n(12). Which is bigger: v or 61?
61
Let p be 95*((-680)/50 - -8). Are -543 and p nonequal?
True
Suppose -91*d = -108*d + 374. Suppose 6 = 3*g - 4*c, 4*c - d + 26 = 4*g. Which is smaller: 20 or g?
g
Let q = 3868.183 + -3880. Let g = 0.183 - q. Which is greater: g or 1?
g
Let o be 1/5 - 624/3195. Let y = o - 433/1491. Let g = 91.09 - 91.49. Which is greater: y or g?
y
Suppose 0 = 5*w + 15. Let y = 10627 + -7355. Let f = y - 36020/11. Is f <= w?
False
Let t be 51/(-68) + (-11305)/68. Which is bigger: t or -147?
-147
Let k be 1800/3 + 140 + -142. Is 598 at least as big as k?
True
Let o be 114/(-11) - (-188)/517. Which is bigger: -9 or o?
-9
Let p = 729492/1105 - -50/221. Which is smaller: p or -0.1?
-0.1
Let k = -81 - -84. Suppose k*c - 14 - 19 = 0. Are c and 11 nonequal?
False
Let q = 30341 + -30193. Let m be (-3 - -3)*-1 - -149. Which is smaller: q or m?
q
Let q = -8812 - -13297. Do q and 4483 have the same value?
False
Let y = 718 - 1277. Let z = y + 585. Which is greater: 25 or z?
z
Let w = 36 + -62. Let f be w/(-13)*(1 - 0). Let a = 0.118 - 23.118. Which is greater: a or f?
f
Let t be ((-8)/(-10)*2)/(8/20). Let u(w) = 14 - 7*w + t*w + w. Let g be u(6). Which is smaller: g or -1/2?
-1/2
Let q(g) = g**3 - 8*g**2 + 11*g + 7. Let f be q(6). Let j be 3*-4*(-1)/(-2). Let t be j/(-16)*6/(-27). Which is bigger: f or t?
f
Let u = -1.6 - -4.6. Let m = u + 1. Let y = -3.8 + m. Which is bigger: -17 or y?
y
Let p = 128653/50388 - 407/156. Which is smaller: p or 1?
p
Let g = -365.48 - -368. Let a = -2.59 + g. Is a at most as big as 71?
True
Suppose -47*t + 204 = -13*t. Let c be (1/t)/(14/(-63)). Suppose -39 = 3*s - 9. Which is smaller: c or s?
s
Let i(k) = -6*k**2 + 18*k + 6. Let x(n) = 2*n**2 - n. Let l(w) = i(w) + 2*x(w). Let h be l(8). Which is bigger: h or 4?
h
Let n = -193 + 207. Suppose -n - 36 = -x + m, x - 40 = -4*m. Are 51 and x non-equal?
True
Let w be 372/62*3/(-8622). Which is smaller: w or -2?
-2
Let u = -223 + 387. Let h be ((-2)/u)/(21/(-3)). Is h smaller than 0?
False
Let i = -6008/13 - -462. Let l be ((-48)/660)/(11/5). Let o = 383/605 + l. Which is bigger: i or o?
o
Suppose 2*j - j = -4*i + 16, j - 52 = 5*i. Suppose -4*s + 24 = 3*o, -o - 3*s = -5*o + j. Let c be 1/(-5) - o/10. Which is smaller: c or 0.03?
c
Let u = -303729/10 + 30327. Which is bigger: u or -46?
u
Let n be (3289/(-26))/(348/136). Let q = n - -148/3. Which is smaller: q or -1?
-1
Let k = 47 - 48.6. Let v = -1.5 + 1.511. Let d = v - 0.111. Is d less than k?
False
Let v = -2/14731 + -27392/15246585. Suppose -2*a = 3*a - t - 1, -4*t = 3*a + 4. Is v greater than a?
False
Suppose -22*t = 21913 + 25695. Is t != -2163?
True
Let a be 3 - (133772/(-840))/(-53). Let l be ((-1)/(-1) - 1)/(-2). Which is bigger: l or a?
l
Let k be (7/28)/((-6)/(-80)). Let l be 1 - (-6)/(-3) - -6. Suppose -3*i = 4*a + 2*i + 2, -l*i = 10. Which is bigger: a or k?
k
Let h(w) = -w**2 - 9*w - 6. Let m be h(-7). Suppose 59 = -17*g - 60. Let l = g + m. Which is bigger: 3/43 or l?
l
Let t = -15111.1 - -15111. Is t smaller than -0.1434?
False
Let d = 129 - 125. Suppose 4*j = 7*u - 2*u + 254, d*u + 4*j = -196. Is u not equal to -51?
True
Suppose 11 = -5*l + 26. Suppose -i + l*a - 18 = 0, -7 = 4*i - 3*a + 56. Is -110/7 != i?
True
Let o = -197 + 200. Suppose -f = 5*d - 12, f + 0*f - 8 = -o*d. Which is greater: f or 7/12?
f
Suppose -4*h = -5*r - 1864, -5*r = 4*h + 1322 + 574. Is -381 greater than r?
False
Let h be 65/(-13) - (33*1 - 13/(-13)). Is -683/17 equal to h?
False
Let w be 6572/68418 - ((-8)/(-2))/(0 - -42). Which is smaller: 1 or w?
w
Let x be (-78162)/(-105) - (40/(-25) + 2). Does 746 = x?
False
Suppose -2*h + 22*o = 19*o - 2114, 0 = -5*h + 5*o + 5280. Let j = -5316/5 + h. Is -9 greater than or equal to j?
True
Suppose r = -5*m + 404, 5*m + 20*r - 15*r = 420. Suppose 2*y = 125 + 39. Which is smaller: y or m?
m
Let m = 41/290 + -6017/43790. Is -2 at least as big as m?
False
Let f be (-1 - (1 + -1))*(-1171 + -16 + 46). Which is greater: 1138 or f?
f
Let a = -121.74 - -117.74. Is a < 219?
True
Let f = -3669/119 + 216/7. Suppose -96*r + 99*r + 9 = 0, 0 = -2*y + 2*r + 4. Which is bigger: y or f?
f
Let c = 10495/8 + -1311. Which is smaller: c or 1?
c
Let g = 31/14 + -12/7. Let w = -0.6856 + 0.6176. Which is greater: w or g?
g
Suppose -2*m = 5*c - 10, -6*c + 8 = -2*c. Suppose 3*v + 48 = 6*v - 4*y, 3*v = -y + 33. Let n be (8/18*v/(-88))/1. Which is bigger: n or m?
m
Suppose 5*p = 6*p. Let b = -17.994 - -17.624. Is p bigger than b?
True
Suppose -12*w + 1613 = -2827. Suppose 2*r + 2*d - 70 - w = 0, 5*r - 1132 = 3*d. Is r at least 225?
False
Let d = 348 + -348.011. Let b = -0.189 + d. Is 44/9 at least b?
True
Suppose -346 = -58*z + 1046. Which is smaller: z or 2/75?
2/75
Let i(s) = -2*s + 7. Let d be i(3). Let m be (-12)/(-34)*d/3. Let k = 273 - 273. Which is smaller: k or m?
k
Let s(k) = k**2 + 4*k - 6. Let f be s(-5)