 + 3*y(w). Let a be v(0). Is -81 at least as big as a?
False
Let j = 502.1 - 502. Let p = -28.16 - -29. Is j bigger than p?
False
Let j(h) = h + 8. Let m be j(-7). Suppose -2*f + 2 = -2. Suppose -1 - f = 3*o. Which is greater: m or o?
m
Let n(t) = 2*t**3 - 21*t**2 - 6*t + 29. Let b be n(9). Is -268 > b?
False
Let k = -11/3 - -3. Suppose 0 = -0*y + 4*y - 24. Let c be 4/72 - 1/y. Is c > k?
True
Let t(w) = -w**3 - 2*w**2 + 2*w + 4. Let c be t(-4). Let q(s) = -s**2 - 5*s + 63. Let o be q(-9). Is o less than or equal to c?
True
Let r = -2 + -63. Let j be 1/(-4) - (r/20 - 4). Which is bigger: j or 11?
11
Let y be 8*(-1)/2*2. Let a(v) = -11*v + 17*v - 15 - 7*v. Let n be a(y). Is n >= -7?
True
Let r = -397 - -407.6. Which is smaller: 0.1 or r?
0.1
Let f = 274 - 267.95. Let q = 15 + -14.95. Let s = f - q. Is s bigger than 0?
True
Let p = 1.234 - 1.484. Which is smaller: -10 or p?
-10
Let n be 4/6 - (-34)/3. Let s = 25 - n. Which is smaller: s or 11?
11
Let g(y) = y**2 + 2*y + 1. Let t be g(-3). Suppose -v + 5 = t*v. Suppose 3*p + 0*p - 3*s = 0, 0 = 3*p + 5*s - 16. Does v = p?
False
Suppose 19*h + 690 = 9*h. Are -67 and h non-equal?
True
Let k = 163 + -239. Let p = 76 + k. Is p < -2/5?
False
Let s be 1/(-2) + 9/6. Suppose 2*p - 4*p + 630 = 0. Let c be 87/p + (-1)/3. Do s and c have the same value?
False
Let k be (-48)/(-648) + (-11)/(-3132). Which is smaller: -0.2 or k?
-0.2
Let h = -162 - -84. Let r be (-16)/(-12) + h/9. Is r < -6?
True
Let n be 4/6 - 1995/(-45). Let k be (-14)/18 - (-10)/n. Which is bigger: -1 or k?
k
Let j be 3/(-4) - (-9 - -8). Let f = 0.1766 + 9.9134. Let i = 0.09 - f. Is j greater than i?
True
Let v = 4.09 - 4. Let i be (224/6)/(-4) + 0. Let j = i + 9. Which is bigger: j or v?
v
Suppose -20*l = -l + 5966. Which is greater: l or -313?
-313
Let m be (-9)/15 - (-54)/90. Which is bigger: 1/137 or m?
1/137
Let t = 38.1 + -38. Let l = 61129/124287 - 4/2437. Let d = -3/17 - l. Which is bigger: d or t?
t
Let f be (-2 + 1)*1*1. Let u be (-7)/((-14)/(-48))*14/147. Which is smaller: f or u?
u
Suppose -4 = -y + 8. Let n = y - 8. Suppose 4*f = -n + 8. Is 2/11 smaller than f?
True
Let l = 7 - 7. Let v be 71 - (16/4 - 0). Let t be ((-16)/(-24))/(v/(-3)). Which is smaller: l or t?
t
Let u be (-246)/2*(-4)/(1 + 3). Suppose -u = -17*d + 30. Which is bigger: 1 or d?
d
Let r = -21 + 24. Suppose 4*w - 2*w - 17 = 3*j, -j = 4*w - 55. Let b = w + -8. Which is smaller: r or b?
r
Suppose -1 = -x - 0*x - 2*f, 5*x - 5 = -3*f. Let p be 3/(-1) + -17 + 17. Let g be 1*-1*(-4 - p). Is x at least as big as g?
True
Let u(o) = 10*o**3 + o**2 + 17*o - 119. Let x be u(5). Is 1/2 at least as big as x?
False
Let j be (4 - -1) + (-666)/74. Suppose -2*y - 8 = -c, 2*y = 5*y - c + 14. Which is smaller: y or j?
y
Let h = 28 + -16. Let g = 12/29 - -701/58. Which is smaller: h or g?
h
Suppose 20*r = 22*r. Let d be (1 - r - 0)*3. Which is smaller: -9 or d?
-9
Let h(o) be the second derivative of -o**5/10 - 2*o**4/3 - o**3/6 - 5*o**2/2 - 8*o. Let s be h(-4). Which is bigger: s or 1?
1
Let x = 2074 - 2069. Let h = -2 + 4. Let q = 3 - h. Is q at most as big as x?
True
Let t = -19.046 - -0.046. Let g = 16 + t. Is g greater than or equal to 0.08?
False
Let l be 1*(2 - (-3 - -5)). Suppose -3*n + 2*n = l. Which is greater: -2/25 or n?
n
Let r = -43/230 + 2/23. Which is bigger: 1 or r?
1
Let l = 31/3 + -583/57. Let w = -0.19 - -0.28. Let n = w + 0.11. Does l = n?
False
Let c be 8 - (4617/45)/9. Suppose -3*k + 2*g + g - 15 = 0, 5*g - 23 = 4*k. Which is greater: c or k?
k
Let h(z) = 4*z**2 + 4*z + 2. Let b be h(-2). Let s be 58/b - 5/(-25). Let l be s/42 + (-2)/14. Is l smaller than -0.1?
False
Let q = -32 + -4. Let g = q + 36.12. Is -1 not equal to g?
True
Let q be 18/120*-8*(-15 + 0). Is 28 <= q?
False
Let d = -6 + 9. Suppose -3*u - 1 - 8 = -d*l, 0 = -3*u - l + 7. Which is greater: -4/17 or u?
u
Let i be ((-8)/(-6))/(-7 - (-200)/24). Suppose 3*o + 18 = -3*z, 3*o - 4 = -5*z - 24. Is i bigger than z?
True
Let o = -4022/5 - -804. Which is greater: -387 or o?
o
Let l = -29 - -28.933. Let q = 0.067 + l. Is q at least as big as 0?
True
Let b be ((-9)/(-6))/((-2799)/24). Which is smaller: 1 or b?
b
Suppose 0 = -y + 2*o + 9, 5*o = -5*y - 0*y. Let p = 0 - -18. Suppose 0 = 2*w - 3*h - p, 5*w - 2*w + 3 = -3*h. Is y at least w?
True
Let c = 1238/33 + -19856/429. Is c at least -9?
True
Suppose 17 = -p - x, -5*x = -p + 2 + 11. Let z = 20 + p. Let s be (2 - 6)*5/(-2). Which is bigger: z or s?
s
Let q = -72 - -79. Which is bigger: q or -14?
q
Let h be ((-6)/72)/((-11)/4). Are 0 and h unequal?
True
Let i(p) = -4*p**2 + 2*p + 4. Let d be i(3). Let h = 3804527/145860 + -1/12155. Let r = d + h. Which is greater: r or 0?
r
Let g(h) be the third derivative of h**4/24 + h**3/2 - h**2. Let l be g(0). Suppose l*x - 3 = -0*x. Which is smaller: 2/13 or x?
2/13
Let a be (3 + -6)*(-2)/(-27). Let w = 7.3 + -7. Let v = -0.4 + w. Which is bigger: v or a?
v
Let t = 2 - -5. Suppose t*w - 4*w = 0. Which is smaller: -7/6 or w?
-7/6
Let q = 115 + -1361/12. Which is smaller: q or 2?
q
Let v(w) = w**3 - 10*w**2 - 10*w - 6. Let i be 1*(15 - (3 + 1)). Let a be v(i). Which is smaller: a or -0.1?
-0.1
Let b(t) = -t**3 - 56*t**2 + 61*t + 136. Let o be b(-57). Is o at least -95?
True
Let v(w) = w**3 + 10*w**2 - 8. Let i be v(-10). Let u = -8 - i. Let a = -0.88 - -0.78. Which is smaller: u or a?
a
Suppose -4*b + l + 1609 = 0, -3*b - 2*l + 5*l + 1209 = 0. Are b and 402 equal?
True
Let p be 6 + -3 - ((-167)/(-36) + -2). Let v = p - -8/9. Suppose 4*r = -12, -5*l + 20 = -5*r - 0*r. Which is smaller: v or l?
l
Let l = 235 + -275. Does -36 = l?
False
Let s = 26/145 + 18/29. Let d(x) = 16*x + 273. Let a be d(-17). Which is smaller: s or a?
s
Let o = 0.41 - 5.41. Which is smaller: o or -1?
o
Suppose 2*g - g = -6. Suppose 0 = -0*m - 2*m - 14. Do m and g have different values?
True
Let j be 4/2*6/4. Suppose -4*k - k + 5*f = 90, -j*f + 86 = -5*k. Let h(n) = -n**2 + n + 5. Let r be h(-4). Which is greater: k or r?
r
Let x be (-4)/39*(-3)/2. Suppose 24 = 21*r + 15*r + 24. Which is bigger: r or x?
x
Let p(y) = -y**3 - y**2 + y - 2. Let h be p(0). Let x = h + 5. Suppose -5*k + d + 16 = 0, -k + 3*k + 3*d = 20. Is k at most x?
False
Let c = -226 - -208. Do c and -37/2 have the same value?
False
Let r = -574 - -5165/9. Is -0.098 greater than r?
True
Let h = -672 - -672. Which is bigger: -5/113 or h?
h
Let j be (10/12)/(175/28). Suppose -p + 5*r + 9 = 0, 2*r = -p - 0*r - 5. Is p <= j?
True
Let o(f) = f**3 + 10*f**2 - 3*f + 9. Let g be o(-8). Let d = -135 + g. Is 29 smaller than d?
False
Suppose 5*r + 20 = r. Let t = r - 8. Let l be (-3 - t/5) + 1. Do 1 and l have different values?
True
Let l be (1 - 1/2)*14. Let m be (-5)/((-1 - 3) + l). Suppose 2 = t + 2*a, 0*t = t + 5*a - 8. Is t smaller than m?
True
Let g = 108/809 - 355907/5663. Suppose 2*l = 3*t + 114, -4*t - 73 - 163 = -4*l. Let h = l + g. Which is greater: -1/2 or h?
h
Let l be (-2480)/48 - (-5 + (-50)/(-15)). Is l bigger than 2/15?
False
Let l be (14/5)/(1/35). Suppose j + l = 110. Which is bigger: j or 7?
j
Let j = -316 - -312. Is -19/5 >= j?
True
Let t be (-2)/(-6)*(7 - 10). Is 291 > t?
True
Let u(y) = 0*y**2 - 78 + y**3 - y + 80 - 4*y**2. Let v be u(4). Which is bigger: -5 or v?
v
Suppose 3 = 4*v - 13, -87 = -3*p - 3*v. Which is smaller: p or 12?
12
Suppose 5*i - 19 = -t + 16, -4*i + 52 = -4*t. Let b be ((-2)/i)/((-5)/2). Let o = -43 + 45. Which is smaller: o or b?
b
Let c(t) be the second derivative of -t**4/12 - 7*t**3/6 + 19*t**2/2 - 3*t. Let g be c(-9). Suppose -3*w - 1 = 2*j, 4 = -5*w - 4*j - g. Is 1 greater than w?
False
Let t = 79 + -80. Let s be 65/(-4 + t) + (-5 - -2). Do s and -15 have the same value?
False
Let g be (-70)/(-18) - (-64)/(-16). Let p = -161.15 - -161. Do p and g have the same value?
False
Let v = 165 - 23429/142. Let r = v + 31/639. Let n = -76 + 77. Is r > n?
False
Suppose -2*p = -4*p - 12. Let w be 3 + p + (-385)/(-125). Which is smaller: w or 1?
w
Let d(b) = -b. Let g be d(-1). Let n = -1.1 - -2.08. Let p = -1.02 - n. Which is smaller: g or p?
p
Suppose -4 = y, 0*y = -5*j - 4*y + 1614. Let o = 2278/7 - j. Suppose -4*v + 0*v = 0. Which is bigger: o or v?
v
Suppose -5*k = -4*l - 1303, 4*k + 4*l - 1064 = -0*l. Is k greater than 263?
False
Let d(g) = -18*g + 2