ig as 1?
False
Let d = -4756 - -4757. Is -678 not equal to d?
True
Suppose 0 = 4*x + 71 + 57. Let d be x - ((-1)/(-4) + 27/36). Is -35 at least d?
False
Let w = 0.98 - 183.98. Let a = w + 163. Is a at least as big as 1?
False
Let u = -23.9 - -24. Let c be ((-2)/1)/(-151 + 218). Which is smaller: u or c?
c
Let j be ((-3)/8)/(3510/(-440)). Does 1 = j?
False
Suppose -2*d = -4*l, 3*d - 10*l + 15*l - 11 = 0. Suppose -3*j = 3*a + 9 - 30, 16 = a - d*j. Suppose 5*p = -0*p + 40. Which is smaller: a or p?
p
Let p = 3640 + -3639. Let r = -86 - -86.67. Does p = r?
False
Let g(m) = -11*m**3 + m**2 + 2*m + 1. Let s be g(-1). Suppose 133*f - 863 - 691 = -89*f. Is f at most as big as s?
True
Let d = -532 + 2664/5. Let x = 34.2 - 34. Is x smaller than d?
True
Let u = 5898 + -5645. Is u less than or equal to 12?
False
Let d be ((-56)/(-20) - 2)*5200/32. Let t be (-54)/(-1130)*d/39. Are t and 0 nonequal?
True
Let m = -13099 - -13091. Is 92/11 greater than or equal to m?
True
Let x = -0.3 - -152.3. Let s = x + -155. Do 0.37 and s have the same value?
False
Let f = -64.41 - -62.05. Which is smaller: f or 2/3?
f
Let u be (1 - 4)*(-260)/3. Suppose -156 = 3*w + r, 4*w + w - 2*r = -u. Suppose 156 = -3*n - 2*f - 5, n = -f - 54. Is n smaller than w?
True
Let z be 24/(-120) + (-1 - (-52)/10). Let u(n) = -4*n + z*n + n - 3*n**2 - 4*n. Let s be u(-1). Which is smaller: s or 50?
s
Let c be 1252/28 + 912/399. Let w = -55 - -103. Are w and c equal?
False
Suppose -50*k + 36 = 336. Is -21 > k?
False
Let h = 4 - 3. Let y be (-1797)/(-2396) - (905/332 - 2). Which is bigger: h or y?
h
Let z(s) = 24*s**2 + 7*s - 39. Let m be z(-11). Let l be 6/5*1230/m. Is l smaller than 0?
False
Suppose -2*d + 3 = -5*j, -3*j + 1 = -d + 2. Let t be (2/6)/(((-32)/408)/4). Let y = 19 + t. Are y and d unequal?
True
Let u(n) = -n**2 + 113*n - 231. Let o be u(111). Which is greater: o or 34?
34
Let s = -107 - -112. Suppose s*i = 3*i + 8, 4*i - 6 = -5*c. Which is smaller: c or 0?
c
Let q = -1/742 + -1361/12614. Which is bigger: q or 1?
1
Let u be (-90450)/78323 - 16/(-14). Let a be (-1)/(-2)*0/2. Are u and a non-equal?
True
Suppose -5*d - 20 = 2*v, -v - 4*d - d = 20. Suppose -15*i + 13*i + 1284 = 0. Let r be ((-60)/(-80))/(i/16). Is r at least as big as v?
True
Let z = -345535/1359 - -2287/9. Let g = 2260/13439 + z. Which is bigger: 1 or g?
1
Let v = -5637681441/136 - -41454644. Let k = 1104 - v. Is -1 >= k?
False
Let i = -433142/153 + 2831. Which is smaller: 1 or i?
i
Let v(k) = -48*k**2 + 18*k**2 + 22*k**2. Let j be v(2). Which is greater: -31 or j?
-31
Let m = 19.604 - 23.104. Which is bigger: 1/137 or m?
1/137
Let g be -12*16/5 - 9/(-15). Let a = g - -2467/65. Let c be (10 - 7) + (-2 - 0) + -2. Which is greater: c or a?
a
Let r(v) = v**3 + 49*v**2 + 77*v + 1440. Let g be r(-48). Suppose 63 = 4*y - 133. Is y < g?
False
Let x(i) = i**2 + 2*i. Let b be x(-2). Let o be (-62)/(-60109)*(-105)/30. Which is smaller: o or b?
o
Let x = -63 - -118. Let a = 49 - x. Let l be 3/9 - (-116)/a. Is l <= -20?
False
Let t be ((-28)/6)/((-158)/237) + 1172/34. Which is smaller: 42 or t?
t
Let l = 0.05419 - -62.94581. Let z = -0.21 - -0.31. Are z and l unequal?
True
Suppose -822 = -6*m + 3012. Suppose 3*k - m = -24. Does 205 = k?
True
Let p(n) = n**2 + 6*n - 23. Let h be p(15). Let s be ((-1461)/h + 5 + 0)*2. Which is bigger: s or 0?
0
Let x be 6/5*(15/(-6) + (-7475)/138). Suppose 2*q - 7*q + 5 = 0. Which is smaller: q or x?
x
Let z be (-5)/(4 - 114*(-2)/(-56)). Let m be (z/32 + -2)*1080/(-30). Is 1 at least m?
True
Suppose 10*o = -8*o - 126. Let u = 786/5 - 5777/35. Which is bigger: u or o?
o
Let a be -62*(2/(-5) - (-14)/10). Let q = -64 - a. Let t be (-18)/10 - (q - 0). Which is bigger: 0 or t?
t
Let c(j) = -3*j**2 - 5*j + 33. Let f(o) = 13*o**2 + 19*o - 131. Let l(k) = -9*c(k) - 2*f(k). Let b be l(3). Which is smaller: -37 or b?
-37
Let w = -2.2 - -2.282. Let n = w + -1.982. Let z = n - -2. Is -17 at least z?
False
Let a be (-19 + 4)/5 - (-45153)/14906. Is a greater than 0?
True
Let y(p) be the first derivative of p**4/4 - 4*p**3 - 13*p**2/2 - p + 238. Let x(c) = -c**3 + 5*c**2 - c + 1. Let z be x(4). Let a be y(z). Is a equal to -4/11?
False
Suppose 0 = o + o - 2. Let v = 37297 - 37465. Is o greater than v?
True
Let g(t) = 19*t. Let l be g(1). Let a = 154459 - 154450. Which is greater: a or l?
l
Let o = 2.44 + -378.44. Let l = o + 376.4. Let v = -0.8 + 1.6. Which is bigger: v or l?
v
Suppose -4 + 6 = -46*n + 48. Which is greater: n or 8/493?
n
Let l be -8 - 7826/(-112) - 2/(-16). Is -9/2 less than l?
True
Suppose 33*b - 24*b = -9. Let a(k) = -27*k + 3. Let f be a(2). Let g be (-6)/(-14) + 34/f. Which is bigger: b or g?
g
Let u(y) = -5*y + 2. Let f be u(-1). Suppose -w + f - 25 = -r, -r = 3*w + 50. Let p(k) = 2*k**2 + 34*k. Let v be p(w). Which is smaller: v or -2/9?
-2/9
Let b(m) = -m**2 + 4*m + 6. Let t be b(0). Suppose s - 3*h = 22, -t*h = -5*h + 1. Do s and -5 have the same value?
False
Let b = 247 - 226. Suppose 0 = -3*t - 2*v + 178, -237 = -4*t - 5*v + 2*v. Let k = t - 40. Which is greater: b or k?
b
Let o(q) = 421*q - 78. Let d be o(13). Which is bigger: d or 5394?
d
Let v = -0.065 - -0.265. Let t = -189 + 143. Is t at most v?
True
Let c = -1941 - -2297. Which is smaller: 351 or c?
351
Let y(a) = -2*a**3 - 3*a**2 + 3*a - 287. Let m be y(-9). Which is smaller: 2 or m?
2
Let b = 279 + -275. Is b at most 122?
True
Let h(o) = -2*o**3 + 60*o**2 + 81*o + 23. Let c be h(30). Which is smaller: 2452 or c?
2452
Let i = -245 - -248. Suppose -5*p = 0, i*p = 2*z - p - 2. Is 1 bigger than z?
False
Let b = 88.32 + -88. Let j = b + -0.03. Let k = j + 47.71. Does 0 = k?
False
Let j be (-108)/(54/(-6))*(-15)/225. Is 0 less than j?
False
Let p = -67449/73 + 924. Which is greater: p or 0?
p
Let r = 7 - 6. Suppose -9*t + r = -10*t. Let z be 5*(-10)/195*12/(-10). Is t smaller than z?
True
Let v = -1931 - -1907. Suppose -3*f + 125 = 2*f. Let y = v + f. Are y and 1/138 equal?
False
Suppose 76 = -6*s + 25*s. Let b be ((-18)/10 - -3)/(s/(-10)). Do -0.38 and b have different values?
True
Suppose -4*p + 13 = 5*i, -6*i + 4*p = -7*i + 9. Suppose -o = 109 - i. Is -108 at least o?
True
Let c = 5892/5 - 1178. Does c = -339?
False
Let q = -23 + 27. Suppose 9 - 1 = q*l. Let w be (l/(-4))/((-21)/(-1008)). Is -23 >= w?
True
Let z(f) be the third derivative of -f**5/60 + 29*f**4/24 - 12*f**3 - 2*f**2 + 3. Let o be z(22). Is o equal to 84?
False
Let s(w) = w**3 - 45*w**2 + 49*w - 253. Let d be s(44). Is d greater than -831/26?
False
Let g(z) = z**3 - 2*z**2 - 22*z - 45. Let i be g(-2). Which is greater: i or -660/41?
-660/41
Let k = -56389/5 - -11325. Let f be ((-141)/9)/((-11)/33). Which is greater: f or k?
k
Let s = -45 - -495. Let i = -4968/11 + s. Is -1 <= i?
False
Let t be (-2)/(-1) + (-81)/(-2). Let j = -339/8 + t. Which is greater: -16/3 or j?
j
Let k = -343 + 346. Suppose k*o + 0*q - 58 = 2*q, 4*o - 96 = -2*q. Let w(n) = n**2 + 5*n + 8. Let h be w(-7). Is h < o?
False
Let k = -4264 + 4641. Which is smaller: -2 or k?
-2
Suppose -2*x + 6 = 0, -x + 1037 = 5*o + 334. Suppose -31*r - o = -36*r. Is 29 >= r?
True
Let h(d) = 8*d - 1. Let q(o) = 2*o + 1. Let k(n) = -h(n) + 3*q(n). Let b be k(2). Which is greater: b or 2/125?
2/125
Let u = 15727 + -15428. Which is smaller: u or 1499/5?
u
Let w be 11 + (4/5)/(30/(-225)). Let g be -7*(21 - w)*2. Which is smaller: g or -225?
-225
Let a(h) = -h**2 - 8*h - 13. Let b be a(-6). Let z = 1/750 + -2401/113250. Which is smaller: z or b?
b
Let i = 4143 - 4141. Which is smaller: 78/43 or i?
78/43
Let v(o) = -o**2 + 9*o - 6. Let s be v(8). Let n be (-3)/(s - 2 - 7). Suppose -121*i + 42 + 39 = -40. Is n not equal to i?
True
Let w = 49 - 168. Let p = w + 120. Which is bigger: -3/157 or p?
p
Let l be -1021*((-648)/(-27) - 35). Is l greater than 11230?
True
Let x(k) = k + 3. Let o be x(-3). Let p = -29/55 + -18934/495. Let i = p + 39. Which is bigger: o or i?
i
Let f be -3*(-2)/3*2. Let l = 709 + 138. Let v = -837 + l. Is v at most f?
False
Suppose -57*f - 7451 = -2492. Is f equal to -436/5?
False
Let a(q) = q**3 + 22*q**2 - 3*q - 1. Let r be a(-22). Suppose -n - 2*h = 70, 0*h - 2*h = -8. Let z = n + r. Is z equal to -13?
True
Let w be ((-648)/(-405))/(2/8380). Are w and 6703 unequal?
True
Let a(j) = j**3 - 8*j**2 +