 than y?
False
Let o(p) = -p**2 + 22*p + 33. Let c be o(23). Suppose c*a + 19 = -21. Do a and -4 have the same value?
True
Let l = 0.001 - -10.899. Let f = 11.28 + -0.28. Let u = f - l. Do u and -4 have the same value?
False
Suppose 2*p + 3*p = -5*b - 5, 14 = p - 4*b. Suppose 4*l = p*l + w - 10, -4*l - 4*w - 44 = 0. Let c = l - -11. Which is greater: c or 2?
c
Let h be 210/4*(-12)/(-15). Suppose 0*s + 2*y - h = -2*s, -2*s - y = -42. Does s = 19?
False
Let p = 1105 - 1106. Is p less than or equal to -6.27?
False
Let l be -5 - -2 - 45/(-5). Suppose 3*s = -3*p - 0*s + l, 0 = 3*p + 4*s - 9. Let x be -2 + (-3)/(30/(-16)). Which is smaller: x or p?
p
Let l = 0.095 - 0.09. Let b = -0.095 - l. Is b not equal to 0.2?
True
Let l be 1/(3 + -2 - 0). Let z = 2 - l. Let n = -52 + 51. Is z less than n?
False
Let x = 7 + -6.86. Let z = x - -1.86. Which is smaller: z or -1?
-1
Let f(p) = p**2 + 10*p + 17. Let b be f(-8). Let z = 0.247 - -12.753. Is b at most as big as z?
True
Let p be 15/20 - 213/12. Let m be (p/(-3))/1 + -4. Let o(z) = z + 6. Let k be o(-3). Which is greater: k or m?
k
Suppose -4*q - 12 + 88 = 0. Suppose 5*s + q - 14 = 0. Is 26 > s?
True
Let m be 1/4 - 26/(-56). Let c = -1515 - -1515. Which is bigger: m or c?
m
Let p = 2/40199 + -683615/4663084. Let o = p + 1745/10324. Which is greater: 1 or o?
1
Let y be (0 - -7)/7*28. Are 35 and y non-equal?
True
Let b = -35 + 31. Are b and 115 unequal?
True
Let n = 5/294 + 3991/7350. Which is smaller: n or 1?
n
Let a be (-36)/(-10)*(0 + (-5)/(-33)). Which is smaller: -1.5 or a?
-1.5
Let q = -118.1 + 118. Which is greater: -295 or q?
q
Let b = 29.03 + -7.03. Is 10 at least b?
False
Let y(x) = -14 - 3*x**3 + 4*x**3 - 9*x + 34 - 8*x**2. Let m be y(9). Is 1/3 bigger than m?
False
Let n = -20 + 30. Let b = n - 0. Is 10 less than b?
False
Let s(c) be the third derivative of -c**4/24 - 13*c**3/6 + 19*c**2. Suppose -14 + 69 = -5*t. Let g be s(t). Is g < -1?
True
Let h(w) = 145*w - 444. Let j be h(5). Which is greater: 280 or j?
j
Suppose 3*p + 5*k = -28, -p + 17 = -3*p - 3*k. Let j = 163 + -173. Do p and j have different values?
True
Let u(y) = 3*y + 4. Let x be u(2). Let r be (-5)/(-2)*(-1)/x. Which is greater: r or 10?
10
Let c(b) = b**3 - 9*b**2 - 7*b - 2. Let x be c(10). Suppose -4*k + 5*k - 2*t = -1, -4*t - x = 4*k. Are -16/3 and k non-equal?
True
Suppose 0 = 25*h - 16*h + 11043. Do h and -1227 have the same value?
True
Suppose -4*w = 5*u + 50, 2*u - 2*w + 28 = 26. Which is bigger: -86/17 or u?
-86/17
Let y = 53 - 30. Suppose 5 = -3*r + y. Let k be (4/(-3))/(r/(-9)). Is 3/5 smaller than k?
True
Let w = 952 + -951. Are -6/77 and w nonequal?
True
Let z = 3/59 - -144/649. Let h(b) = -b**2 + 2*b - 3. Let j be h(0). Is j greater than or equal to z?
False
Let s be 1011*8/312 + -7. Which is smaller: 20 or s?
s
Suppose -3 = c, -5*o + 3*c = -35 + 11. Suppose 4*b + 2 = -3*k, -6*b = 2*k - o*b. Which is bigger: k or -4?
-4
Let w = -30.87 + 3.87. Is 1 greater than or equal to w?
True
Let l = 187 + -187.1. Let m = -0.1 + 0.2. Let v = m - -1.9. Which is smaller: v or l?
l
Let c(v) = v**3 + 14*v**2 + 10*v + 15. Let l be c(-13). Let k be (l/(-15))/((-6)/15). Let t = -8 + k. Is t at least 1/11?
True
Suppose -89*c + 91*c = 6. Which is smaller: 45 or c?
c
Let c(l) = 8*l**2 - 11*l + 27. Let m be c(3). Is m greater than or equal to 69?
False
Let o(n) = n**2 - 4*n + 3. Let p be o(4). Let i = 4 - p. Let u(y) = -y**3 - 2*y**2 - y - 9. Let v be u(-3). Which is smaller: v or i?
i
Let v(l) = l**3 - 38*l**2 + 69*l + 152. Let k be v(36). Which is smaller: -10 or k?
-10
Suppose -5 = 5*w - 0. Let q be 2*1 + 0 + w. Let l be 3/(1 - 0) - 216/64. Which is bigger: l or q?
q
Let c = 195 - 204. Is 2/11 less than c?
False
Let n = -1977/13 - -152. Suppose w = -w + 6. Let c be -1 + w/(-6) + 2. Is n at least c?
False
Suppose 18*s + 1981 = 25*s. Which is greater: 282 or s?
s
Suppose 0 = 4*l - 3*c - 16, -2*l - 3*l + 20 = c. Suppose 0 = -l*a + a. Suppose -3 = -a*z - 3*z. Which is greater: z or 0?
z
Suppose -2*z + 4 = -4*z. Let c be -1*1 + 4/(-4). Do c and z have different values?
False
Let h be (10/(-15))/((-6)/(-9)). Let q be 9/3 - (h - -4). Let l(t) = -16*t - 2. Let m be l(-1). Is q <= m?
True
Let v be (2 - 1)/(12/12) + -24. Let a = v + 24. Suppose 0*x = 4*x. Is a equal to x?
False
Suppose -4*a - 28 = d, -5*a + 2*d - 56 = -2*d. Let k be -2*(-5)/(10/a). Let l be 10 - (0 - 38/(-2)). Does k = l?
False
Suppose -t - 4 + 2 = 0. Let f be (8896/(-2716) + 3)*t. Let v = f + 2/97. Is v less than 1?
True
Suppose -14*z - 3 = 39. Let l be (-8)/(-10)*((-33)/z + -6). Let i be -1 - ((-10)/2 + 1). Which is smaller: i or l?
i
Let i = 2307680515/708 + -3259438. Let l = i + -1/177. Which is smaller: -3 or l?
-3
Let r be -1 + 1 + 350 + -348. Suppose -6 + 0 = t. Is r at most t?
False
Let t(x) = -x**3 - 8*x**2 + 37*x - 9. Let p be t(-12). Is 123 bigger than p?
False
Suppose 42 = -d - d. Suppose -y = 2*a + 26, 85*a - 86*a - 2 = 0. Is d less than y?
False
Let o = 4 + 5. Let g = 12 - o. Let u = -1 + g. Is u smaller than 2?
False
Let h = 1835 - 1853.1. Which is smaller: h or -0.3?
h
Let h be -2 - -1 - (-12)/2. Let t = 3 + h. Let v be 3 + 0 + (-28)/t. Which is smaller: v or -0.1?
v
Let v(y) = y + 20. Let u be v(-23). Let w be 192/261 + (2 - (-8)/u). Let a be 0 - (1 + -2*1). Is w smaller than a?
True
Suppose -137*o + 8 = -135*o. Suppose 0*r - 4*s - 4 = -o*r, 2*s = -2*r - 14. Which is greater: r or -1?
-1
Suppose 7*j = -7 + 7. Suppose j = -7*o - 3 - 18. Is -27/7 at least o?
False
Let w = 72 + 32. Let l be 16/4 + (-412)/w. Is 0 < l?
True
Let w(x) = x + 11. Let i be w(-5). Let v = i - 1. Is v smaller than 5?
False
Let v(c) = c**3 - 4*c**2 - 19*c + 77. Let y be v(4). Which is greater: 3/14 or y?
y
Suppose -897*h = -894*h - 18. Suppose -29 = 4*x + 51. Let c be (h/x)/(-2 - -4). Which is smaller: c or -1?
-1
Let t(u) = -u - 4. Let n be t(-3). Let a = 39711 - 516249/13. Which is bigger: a or n?
a
Let s be (-24)/45 + 2/6. Let b(p) = -p**3 - 16*p**2 - 16*p - 12. Let m be b(-15). Let k be (36/24)/(27/6 - m). Is k at least as big as s?
True
Let i = -5029/12 - -419. Suppose -60 + 10 = 5*z. Let k be (-2)/(-9) - z/(-45). Which is smaller: k or i?
i
Let p = -0.2 + 0.4. Let j = -36 - -32.8. Let f = j - -3.3. Is p greater than or equal to f?
True
Suppose -83 = 4*c - 15. Let y = 5 + c. Which is bigger: -13 or y?
y
Let h be 26/(-5) - (-10)/50. Let l be (-9)/h + 2 + -4. Which is bigger: l or -1/2?
l
Suppose -2*j - 5*i = -47, -j + 5*i - 4*i + 13 = 0. Suppose -o + 2*o + 3*k + j = 0, 5*o + 5*k = -30. Let h be o*((-1)/1)/35. Which is bigger: h or 0?
h
Let q(m) = m**2 + 9*m + 3. Let a be q(-6). Let w = 207 + -197. Let t be (16/w)/((-6)/a). Are t and 5 non-equal?
True
Suppose 3*d + 3 - 21 = 0. Suppose -10 = -5*m - 0. Suppose -m*a = -d*a + 12. Are 0.2 and a unequal?
True
Suppose 6*o = 3*o + 351. Let z = o + -49. Is 67 less than z?
True
Suppose 0 = -6*i - 216 + 1830. Are 269 and i unequal?
False
Let o = -67.11 - -1.11. Let m = o - -61. Which is bigger: -0.04 or m?
-0.04
Let a be 54 - (0 - 2 - 1). Let v be (-1190)/(-20) - (1 - -2). Is v greater than a?
False
Let p = 813/7 + -863/7. Which is bigger: p or -7?
-7
Let g be 84/10 + (14 - 576/40). Let h(i) be the first derivative of i**4/4 + 2*i - 2. Let s be h(2). Is g not equal to s?
True
Suppose 390 = 17*b + 1104. Which is greater: b or -47?
b
Let y(j) be the second derivative of j**3/3 + 9*j**2/2 - 4*j. Let q be y(12). Let h = q - 10. Is 23 greater than h?
False
Let j = -25 + 28.3. Let b = 3.5 - j. Which is smaller: 7 or b?
b
Let x = -45 - 94. Let q = -139.1 - x. Let o(m) = -m + 3. Let k be o(6). Which is greater: q or k?
q
Let n(p) = p**2 - 4*p - 6. Suppose -y - u = 0, -3*u + 0 = 2*y - 4. Let d be n(y). Let t be d/6 + (-2)/6. Are t and 3 non-equal?
True
Let z = -99.994 - 0.106. Let s = -100 - z. Which is smaller: s or -46?
-46
Let k(j) = -210*j**3 + j**2 + j. Let u be k(-1). Let v be (4/(-6))/((-10)/u). Let h = v + -13. Which is bigger: -2/17 or h?
h
Let f = -95 + 68. Is f at least 1?
False
Let w be (2/6)/((-12)/(-576)). Let l = -16 - -31. Do w and l have different values?
True
Let n be 6 - 0/(7 - 3). Suppose 7*w = w + n. Suppose 3*f + 2*f - 5 = 0. Is f >= w?
True
Let j = 143.5 + -144. Is 15/7 >= j?
True
Let i(r) = r**3 - 6*r**2 + 6*r + 2. Let a be i(5). Le