 = -f**3 + 5*f**2 + 8*f + 10. Let w be m(7). Let x = w + 35. Is 2 > x?
False
Suppose -10*u + 6*u = -56. Let o be (91/u)/(3/(-6)). Let l = -24 - o. Is l greater than or equal to -11?
True
Suppose -15 - 9 = -3*t. Let k be (t/(-4) + -3)*-1. Which is greater: k or 3?
k
Let f(y) = y - 100. Let b be f(-9). Are -109 and b unequal?
False
Let r(b) = b**3 - 3*b**2 + 8*b - 41. Let p be r(4). Suppose 0 = 2*o + g + 25, -20 = 3*o - 6*g + 4*g. Let q = o + p. Which is smaller: -5/2 or q?
q
Let x(a) = 2*a**3 + 18*a**2 + 13*a - 26. Let q be x(-8). Suppose -2*s = 5*y + 15, -2*s = -4*y + s - 12. Is q less than or equal to y?
False
Suppose 0 = 48*o - 46*o - 5*l + 1226, 3*o - l + 1826 = 0. Is -608 less than or equal to o?
True
Let v be (-2)/6 + 1/3. Let o be (v - 4) + 565/140. Which is smaller: -1 or o?
-1
Let i be ((-4)/25)/((-2)/(-10)). Suppose 0 = w - 5*f + 25, -11*w - 20 = -16*w - 4*f. Are w and i unequal?
True
Let p(v) = -v**2 - 261*v + 1601. Let l be p(6). Let w = -3674/7 - -524. Is w greater than or equal to l?
True
Suppose 23 = 2*h + 17. Let m(b) = -b**2 + 2*b + 6. Let s be m(h). Let i be (s - (4 + -5)) + -5. Do -2/37 and i have different values?
True
Let x(h) = -26*h. Let p be x(1). Suppose -4 = -2*d - 34. Let n = d - p. Which is smaller: 10 or n?
10
Let w(v) = -v + 3. Let j be w(-3). Let m(q) = q**3 - 8*q**2 + 11*q + 1. Let n be m(j). Is -9 >= n?
False
Suppose 0 = 4*h + 12, -2*h = 2*i - 3*h + 231. Let v = i - -115. Let k be -2*((-30)/(-16))/3. Is v < k?
True
Suppose 0 = l + 78 - 110. Is -0.4 >= l?
False
Suppose -2*p + 330 = 3*c - 290, 2*p + c - 620 = 0. Is p < 309?
False
Suppose -4*v + v = -15. Suppose 0 = -k - 0*k - 4*x - 2, -v*k - 2*x = -8. Suppose 4*n - 5*i - 22 = -2, -12 = -k*n + 3*i. Is n greater than or equal to -3?
True
Let o be 4/3*(-12)/8. Let v be o/6*36/(-2). Suppose -v*p + 4*p = -4. Which is greater: p or 1?
p
Let h = -1455/7 - -18726/91. Which is smaller: h or -1?
h
Suppose -2*k - 86 = 3*j + 78, -k - 4*j = 87. Which is bigger: -562/7 or k?
k
Let r = -127 + 126. Let i = -1.1 - r. Is i <= 4.3?
True
Suppose k + 2*z = 1, -6*z = -4*z - 2. Suppose 5*o = o + u + 7, -4*u = -o + 13. Let x be (-3)/4*o/4. Is x greater than or equal to k?
True
Let x = -12.91 - -13.11. Suppose 3*t = t + 120. Let j = t + -542/9. Which is greater: x or j?
x
Let w be 2*(36/8 + -3). Suppose 0 = 5*u + z + 33, -w*u - 2*u + 5*z - 15 = 0. Let n be u/(-14)*(-24)/(-18). Which is bigger: n or 2?
2
Let y = -786 - 543. Let n be 12/(-21)*y/30. Let q = -128/5 + n. Are q and 2 nonequal?
True
Suppose -94 = 764*d - 765*d. Which is greater: d or -1/14?
d
Let u(d) = 16*d**2 + 2*d + 1. Let n be u(-1). Let g(m) = m**3 + 11*m**2 + 18*m + 8. Let c be g(-8). Suppose 0 = -k - c + 72. Is k bigger than n?
True
Let v(b) = b**3 + b**2 - 7*b - 3. Let q be v(-3). Suppose 3*m + 5*r = 1, 3*m + q - 8 = 2*r. Is m bigger than 2?
False
Let j = -9.6 - -62.6. Let w = -53 + j. Which is greater: 90 or w?
90
Let f = -7 + 7.3. Let u = f - 0.1. Let j = -143 + 143.3. Is u smaller than j?
True
Let v be (158/56)/((-150)/(-35)). Let n be ((-80)/(-15) + -6)*12/(-15). Let r = n - v. Are -1 and r equal?
False
Let u = 35311/8 - 4420. Is u equal to -7?
False
Let s be 6/4*(-2256)/(-567) - 6. Is -1 > s?
False
Let w(s) be the third derivative of -s**6/360 + s**5/24 + s**4/6 + s**3/6 + 3*s**2. Let f(y) be the first derivative of w(y). Let j be f(6). Is -2/3 < j?
False
Let p = -106.2 - -106. Is 42 equal to p?
False
Suppose -3*t - t = -3*y + 4, -3*y = 0. Let d = -1/12 - 0. Is d at least as big as t?
True
Let b(r) = 26*r**2 + 16*r + 95. Let o be b(-9). Is o greater than 2057?
False
Let k(p) = 20*p - 12*p + 2*p**2 - 12*p. Let l be k(0). Do 19 and l have different values?
True
Let r(b) = -4*b**3 - 6*b**2 + 36*b + 3. Let d(t) = 9*t**3 + 11*t**2 - 72*t - 7. Let a(g) = -3*d(g) - 7*r(g). Let p be a(-12). Which is smaller: p or -6?
-6
Suppose 0 = j + 4*f + 110, 3*j - f - 500 = 7*j. Is -128 < j?
True
Let b = -0.116 - -0.37. Let z = -0.094 + b. Which is greater: z or 0.2?
0.2
Let w be (1 - 3) + 80/42. Let a(t) = 2*t**2 - 7*t - 3. Let z be a(4). Which is smaller: z or w?
w
Let t be ((-5601)/(-120))/(-2 - (-269)/4). Let r = t + -4/261. Which is smaller: r or 0?
0
Let g be (4989/(-6))/(76/152). Which is smaller: g or -1662?
g
Suppose 2*d = f - 3*f + 10, -2*d + f - 5 = 0. Let r = 854 + -51239/60. Which is greater: d or r?
r
Suppose 0 = 4*u - 8*u. Suppose u*p = -5*c + 3*p + 17, 2*p = -8. Suppose 4*w + 5*n = 1, -13*w - 2*n - 2 = -9*w. Is c >= w?
True
Suppose 2*p - 16 = 3*j, 4*j - 5*j + 5*p - 27 = 0. Which is smaller: -93 or j?
-93
Let i = 3.0336 + -0.0336. Let z be 99/(-36) + -2 + 5. Which is smaller: i or z?
z
Let p(a) = a**2 + 5*a + 6. Let i be p(-2). Suppose 3*g + 24 - 75 = i. Which is smaller: g or 3?
3
Let v(w) = w**3 - 13*w**2 - 6*w + 62. Let d be v(13). Is d less than or equal to -14?
True
Let l = 24 + -20. Suppose -c = l*c - a + 68, -a = -4*c - 54. Do -15 and c have the same value?
False
Let z be 0 + -1 + -17 + 18. Let c be -2*(-5 - 847/(-182)). Is c < z?
False
Let f be ((-4)/10)/(8/(-40)). Let y be 5/(5/f) + 1. Suppose -5*r = -3*a - 14, 2*r - y*r - 14 = 5*a. Which is smaller: a or -4?
-4
Let b be (4/(-16))/(1026/(-648)). Suppose -2*s = s. Is b less than or equal to s?
False
Let u = -15 + -45. Let a = u - -60. Which is bigger: -2/11 or a?
a
Let h be 14/35*(-50)/4510. Which is bigger: h or -1?
h
Let g = 2 + -205. Is -203 at least as big as g?
True
Let s = -15 + 13.8. Let b = s - -3.2. Let g = -1 + 1.05. Which is bigger: b or g?
b
Let y(f) = -f**2 - 6*f + 7. Let b be y(-7). Suppose 0 = 5*w + 2*t - b - 5, -3*w - 5*t = 16. Suppose 2 - w = -q. Is q < 0?
False
Suppose -14*m + 12*m = 4*k - 70, k - 10 = m. Let v be 11/k - 4/10. Which is smaller: -24 or v?
-24
Let s = -125 + 137. Which is bigger: s or 32/3?
s
Let t = -1833 + 2073. Is t less than 481/2?
True
Let u = 33 + -203/6. Let d = -26 + 46. Suppose 4*k + p = -3 - 2, 4*p = -d. Which is smaller: k or u?
u
Let y = 25 - 25. Suppose 0 = -g - 2, 3*k - 2*g = -y*k + 121. Suppose 0 = -v + 30 - k. Which is greater: -7 or v?
-7
Let a = 203 - 19283/95. Suppose -3*h = -5*q - 8, 3*q + 3*h - 5*h + 5 = 0. Which is smaller: a or q?
q
Let j = -1433674621847/8728 - -164261530. Let o = 1/1091 + j. Is 0 != o?
True
Suppose 0*r + 4*r - t - 31 = 0, -36 = -3*r + 5*t. Suppose -10*m = 284 - 34. Let o = m - -31. Is r greater than o?
True
Let f = -76460/221 + 346. Is 0 smaller than f?
True
Let a(y) = -y - 23. Let i be a(-20). Let w be (i + -22)/5 - -5. Let n be ((0 - -1)*-2)/7. Which is smaller: w or n?
n
Let s = -1103137/190 + 5806. Is 1 not equal to s?
True
Let k = -3 - -1. Let p = 4 + k. Suppose -2*v = 7*v - 18. Is v bigger than p?
False
Suppose -107 = -10*h + 203. Suppose -12 = -d + h. Which is smaller: 42 or d?
42
Suppose 0 = h + 2*h + u - 9, 0 = 4*h - 5*u + 7. Suppose 3 = -l + h*l. Suppose 2*k + l = 1. Which is smaller: -1/12 or k?
k
Let a be (-7)/(-21) + 0/1. Let f = -0.11 + -4.89. Let u = -4 - f. Does a = u?
False
Let i(w) = -24*w + 241. Let t be i(10). Which is smaller: t or 2/2857?
2/2857
Let f = -426.88 - -426. Is f != 3?
True
Let n = -12 - -15. Suppose 0 = t + n*t. Suppose 4*l - 7 - 1 = t. Is 4 equal to l?
False
Let b = -25283/23 + 1099. Which is bigger: 0 or b?
0
Let k = 95.941 + -96. Let g = k + 0.259. Which is smaller: g or 0?
0
Let c(b) = -b**2 - 24*b - 9. Let u be c(-21). Let y = -161/3 + u. Is 13 > y?
True
Let q(j) = -j**2 - 6*j + 9. Let f be q(-7). Let t be 34/48 + f/(-6). Let b(n) = -10*n + 10. Let r be b(1). Is r less than or equal to t?
True
Let y = 372.2 - 372. Is 17/2 smaller than y?
False
Let j be -2 + 106/(-18) + (-2 - -3). Which is bigger: j or -6?
-6
Let i(q) = -6*q**2 - 6*q + 5. Let f be (-5)/((-50)/4) - (-6)/10. Let j be i(f). Does j = 0?
False
Let t be (14/(-3) + 4)/((-17)/(-153)). Is t at most -14?
False
Let v(t) = 4*t + 7. Let n be v(-2). Is 14/159 > n?
True
Suppose 5*g = -10, 2*y + 4*g = -2*y + 4. Suppose -y*b + 33 = 12. Let w = 8 - b. Which is greater: w or 1/6?
w
Let k = 3 - 2. Let x be (-4)/(-8) + 14/(-4). Let c be -3 + 3/x + 0. Is k at most c?
False
Let l(v) = v**3 + 6*v**2 + 11*v + 2. Let c(n) = n**2 - 12. Let a be c(-3). Let w be l(a). Do w and -3 have the same value?
False
Let d = 6 + -9. Let p(r) be the first derivative of r**4/4 - r**3 - r**2/2 + r - 1. Let k be p(3). Is k 