et o be f(0). Is o >= y?
False
Let l be 64/10 + -3*(-10)/(-75). Suppose -9*f - 85 = h - l*f, 4*f = -3*h - 280. Which is greater: -101 or h?
h
Let t(m) = -1 + m**2 - 2*m**3 + 5*m + 3*m**2 - 7*m + 4*m. Let h be t(-2). Suppose -2*p + 3*v = -10 + h, 5*p - 2*v + 15 = 0. Is -1/35 equal to p?
False
Let d = 99 - 25. Let c = 1347.1 - 1273.03. Let s = c - d. Is s not equal to -1/4?
True
Suppose -2*m + 4*z + 8 = 12, 0 = 2*m - 5*z + 1. Is -700/101 <= m?
False
Let n be ((-1)/(-4))/(2/(-36)). Suppose 4*g + 2*i - 63 = -83, 0 = g + 3*i. Which is bigger: n or g?
n
Let m be (7 - 0 - 38)*-16. Suppose -m = 9*i + 278. Are i and -85 non-equal?
True
Let w = -13 + 18.8. Let s = 116 + -121.9. Let k = s + w. Is k at most as big as -0.8?
False
Let w be ((-332)/(-1660))/((-26)/(-15) + -2). Does w = 467?
False
Let c(l) = l**3 + 6*l**2 - 9*l + 5. Let b be c(-7). Let o be b - (1 + -1)/(1 + 1). Let a = o + -11. Which is greater: 9 or a?
9
Let f = -137 + 136.798. Let j = f - -0.002. Which is greater: -14/17 or j?
j
Let w(d) = -525*d - 1768. Let y be w(-8). Is 2431 > y?
False
Let y = 30 - 28. Suppose 3*j + 2*m - 2 = 0, -y = 3*j + 2*j - 2*m. Suppose -5*u + 2*n - 71 = -j*n, -u - 5*n - 25 = 0. Which is greater: -16 or u?
u
Let z = -378 + 379. Let w be 6720/147 + z/(14/4). Is 224/5 not equal to w?
True
Let x = -577 - -376. Let o = 199 + x. Do 0.08 and o have different values?
True
Suppose -31264*a + 31263*a - 1755 = 0. Is -1755 >= a?
True
Suppose 0 = 2*j - 4*h - 20 - 32, -5*h - 110 = -4*j. Suppose 26*x + 212 = j*x. Let r = x + -53. Is r != 2/73?
True
Let p(s) = -2*s - 2. Let x be p(-1). Suppose 5*b = 3*n - x*n - 195, -5*n + 169 = -4*b. Let g = 37 + b. Are 0.4 and g non-equal?
True
Suppose -4*p + 331 = -77*j + 80*j, -p + 1 + 3 = 0. Let a be 4/18 - (-934)/9. Which is bigger: a or j?
j
Let r(z) be the second derivative of z**3/2 - 31*z**2/2 - 2*z - 17. Let y be r(14). Are 87/7 and y unequal?
True
Let g be 20/(-8)*(-2)/(-10). Let x = 3.461 - 16.561. Is g at least as big as x?
True
Let o = -6.088 + 6.788. Is -42.9 >= o?
False
Let h = -21058 + 23076. Which is smaller: 2020 or h?
h
Let q = 13431/400985 - 16/12935. Suppose 2*p - 3 = -5*h + 1, 0 = 3*h - p + 2. Which is greater: q or h?
q
Suppose 3*k + 104 = 47. Let s be 24 + k - 147/29. Let d be -3*(-2)/2 + -2. Which is smaller: d or s?
s
Let d = -580501881/4771 - -121673. Is 1 at least d?
True
Let i be 14*(2 - (-14)/4). Suppose -4*d = a - i, 6*a - 3*a - 51 = -3*d. Is 20 smaller than d?
False
Let k(l) = -l**2 - 61*l + 2160. Let h be k(-65). Is 1900 > h?
False
Let u be (1/(-38))/((-10)/(-12)). Let r(h) = 3*h**2 - 45*h - 378. Let n be r(-6). Is u greater than n?
False
Suppose 31 + 5915 = 2*h. Let t = h + -74336/25. Is 0 equal to t?
False
Suppose -6*b + 0 = -84. Let t be (-11308104)/(-4494) - 4/b. Let c = t - 2516. Do 1 and c have different values?
True
Let x be 11/((-33)/(-6)) - -448. Let b = x + -3139/7. Which is smaller: b or 1?
1
Let i be 5454/324 + 3/(-1). Are 13 and i unequal?
True
Let t = -79.9 + 80. Let j = 0.004 + -0.004. Let r = -0.02 - j. Which is bigger: t or r?
t
Suppose h + 29 = 2*u + 174, -5*u = -5*h + 730. Let j be (-8)/3 - -2 - (-245)/h. Is j at least 4/415?
True
Let q be 1792/840 + (-4)/30. Suppose 2*s = -2, -4*s = o - 2*s + q. Which is greater: o or -8/39?
o
Let i = -2068.2 - -2068. Which is bigger: 3/118 or i?
3/118
Let i be -3*6*(-5)/165*-251. Which is greater: -136 or i?
-136
Let n = -18567 + 18566. Which is greater: n or -16/61?
-16/61
Let t = -72 - -105. Suppose 3 - t = 3*p. Suppose -16 = 2*q + 4. Is q greater than or equal to p?
True
Suppose 4*l + 5*w - 484 = 0, -5*l - w + 614 = 3*w. Suppose 4*p - 3*c - l = 0, 2*c - 103 = -5*p + 2*p. Let u = p - 37. Which is smaller: -6 or u?
-6
Let f be (((-12)/4)/(-3))/((-3)/(-24)). Suppose -t + 4 - f = l, -l = -t + 6. Is t >= -6/185?
True
Let s = -419 + 53. Let o be (3/(-9))/(4/(48/s)). Is 1 bigger than o?
True
Let u(f) = f**3 + 4*f**2 - 7*f + 25. Let g be u(-11). Let i = g + 8205/11. Suppose a - 2*a - p + 3 = 0, 0 = 4*a + p - 6. Which is bigger: a or i?
a
Let m = 1023.263 + 2.737. Is 0 != m?
True
Let g be (18/27)/((-3)/9) - -2. Suppose 0 = 3*w - 17*v + 22*v + 97, g = 4*w + v + 118. Do w and -36 have the same value?
False
Let s = -0.02347 - 344.97653. Is -1 >= s?
True
Let s(p) = p**3 + 38*p**2 + 11*p + 418. Let t be s(-38). Suppose 29*h + 84 - 55 = t. Let c be 8/21 + (-4)/14. Which is smaller: c or h?
h
Let y(j) = 5*j**2 - 12*j - 27. Let s be y(5). Let b be 7/(21/120) - (-17 + 20). Are b and s equal?
False
Let w = 472 - 472. Suppose -2*d = -2*n - 30, -2*n = -w*n - 4*d + 30. Let x(u) = -3*u**2 - 5*u - 2. Let f be x(-3). Which is bigger: f or n?
f
Let c = -14049 + 8569. Are -5479 and c unequal?
True
Suppose 3*d - 680 = -695. Do -6 and d have different values?
True
Let g(l) = l**2 - 6*l - 4. Let n = 10 + -4. Let q be g(n). Let p(y) = -40*y - 9. Let r be p(0). Is r at most q?
True
Let a = -804.59 + 413.68. Let y = -391 - a. Is 21 less than or equal to y?
False
Let k = -3 - -14. Suppose -3*v + 181 = 4*h, -4*h = v - h - 62. Suppose -4*x = -2*t - t - v, -3*t = -x + 26. Are k and x equal?
True
Let f(r) = r**3 + 43*r**2 + 28*r - 81. Let i be f(-42). Let g = i - 500. Which is smaller: 3 or g?
3
Suppose -5*w + 4*o + 25 = 0, 2*o + 4 + 2 = -4*w. Which is smaller: w or -28/111?
-28/111
Suppose -4*k - k + 5 = 5*x, x = -4*k - 11. Let c = -1/65317 + -279929/65317. Is k less than c?
False
Let l = -170961/1112 + -1478/139. Is -164 at least as big as l?
True
Suppose 0 = 22*b + 13378 - 43078. Which is smaller: 1351 or b?
b
Let l = 45778 + -45778. Which is smaller: l or -3/22259?
-3/22259
Let j = -2114891990265551/91908 - -92043869407/4. Let m = j + 726/23. Is 0 at least as big as m?
False
Let g = -327.64 + -3.36. Let x = g - -223. Is x greater than or equal to -0.1?
False
Let r(j) = j**3 + 6*j**2 - 12*j - 86. Let k be r(-5). Which is smaller: -1/2422 or k?
k
Let r be 4*-1*132/(-48). Let z = 213 - 210. Suppose z*q - q = -3*g - 14, -q - 14 = 5*g. Is g at most r?
True
Suppose 71*g - 79 + 576 = 0. Is g at most as big as -596?
False
Let r = -805 + 45079/56. Suppose -40*u = -752 + 112. Let o be u/152 - (-63)/(-57). Which is bigger: o or r?
r
Suppose -4*x + 9208 = 3*l, 0 = -3*x + 49*l - 54*l + 6884. Which is greater: 2307 or x?
x
Suppose -2 = -13*z + 37. Let o be (580/(-30))/((-14)/(-6) - z). Which is greater: o or 26?
o
Let x = 73.016 - 72.6. Let p = 2.416 - x. Are -116 and p equal?
False
Let s be (-72)/(-7) - (-4)/(-14). Let q = -3932 - -3929. Which is bigger: s or q?
s
Suppose 6*c = 5*c. Let n(b) = -b**3 - 3*b**2 + 7*b + 15. Let p be (-3)/(9/(-8))*15/(-10). Let u be n(p). Is u at most as big as c?
False
Let v be (-14370)/9*(638/(-55) - -14). Which is smaller: 1/7 or v?
v
Suppose -52 = -a - 3*m, m - 172 = -4*a - 2*m. Let z be 14/3*((-236)/a - -5). Which is bigger: -0.2 or z?
-0.2
Let i = -264.3 + 32.3. Let k = i - -357. Is -2 at least as big as k?
False
Let d = -120.21 - -116.21. Do 96 and d have the same value?
False
Suppose 33*t = 13*t - 4*t - 1632. Is t not equal to -468/7?
True
Let c = 410 + -412. Which is bigger: -198/91 or c?
c
Let i = -3795 + 17140. Is 1 at least i?
False
Let r = 395 + -402. Let t be (-4)/r + -5 + 124/28. Which is bigger: 0.04 or t?
0.04
Let s = -0.0815 - 471.9185. Let w = 473 + s. Is -73 at most as big as w?
True
Let f be (-6429)/21 + 1323/1029. Which is bigger: -304 or f?
-304
Suppose 3*f = -12, 0 = -27*x + 29*x - f + 48. Which is bigger: -41 or x?
x
Let m(j) = 2*j**2 - 2*j. Let d = -27 + 26. Let g be m(d). Suppose -h = h - y, g*y = -2*h. Which is bigger: -3/38 or h?
h
Let x(i) = -i**3 - 9*i**2 - 10*i - 16. Let h be x(-8). Suppose h = -2*c + 25*c - 299. Are c and 13 equal?
True
Let i(q) be the second derivative of -q**5/20 - 7*q**4/6 + q**3/3 + 2*q. Let g be i(-14). Let x = 11483 - 11512. Is g less than or equal to x?
False
Let h = -10136 + 50838/5. Is 2 greater than h?
False
Suppose 2*z - 251 - 93 = 0. Suppose -4*p = 8, 3*p = 4*f + 314 + z. Is f bigger than -123?
False
Let m be (-1)/20 + ((-41997)/5260 - -8). Are m and 1 nonequal?
True
Let t be (0 - 46) + -2 + -44 + 51. Are t and -293/7 unequal?
True
Suppose -7*u = -13 - 8. Suppose 4*x + 17 = 3*a, -x = u*x - 4. Let o = 17 + -11. Is o not equal to a?
True
Let i = -22 - -43. Let c = -12 + i. Suppose 0 = -9*y + 8*y - 3, -4*b - 4