 and b unequal?
True
Let o = -146 - -73. Suppose 5*h - 16*r + 18*r + 351 = 0, 4*h + 2*r = -278. Is h greater than o?
False
Let z be ((-12)/(-8))/(15/280). Let m be (22/105)/(-2) - z/(-210). Is m >= 0.2?
False
Let a be (-2)/30 + (-10)/(-25) - (-60)/(-504). Is -4/59 < a?
True
Let p = 154 + -176.8. Let q = 24 - 46. Let f = p - q. Is f > -1?
True
Suppose -n + 3*w - 3 - 2 = 0, 13 = -n - 5*w. Let x be ((-2)/n)/((-39)/876) - -3. Which is bigger: x or -3?
x
Suppose 0 = -14*v + 18*v + 416. Let a = 10845775/103912 - -5/12989. Let y = a + v. Is y greater than or equal to 1?
False
Let g be -4*(34/(-2) + 2). Suppose 11*y - 1008 = -13*y. Let f = g - y. Is f equal to 17?
False
Let d be ((-824)/96 - -10) + 10/40. Are -1/788 and d equal?
False
Suppose 3*d + 12 = 3*z, -2*z + 8 = 4*d - 0*d. Suppose -2*v + d*v = 5*b + 347, 3*v - 3*b + 468 = 0. Which is smaller: -160 or v?
v
Suppose -3*j = -4 - 2. Let g = -44 + j. Let h = g + 40. Which is smaller: h or 3?
h
Let w = 590603/67 + -8815. Let p = -4 - -7. Let x = p - 2. Are x and w unequal?
True
Let p be (-176525)/30700 + ((-2)/4 - 0 - (-26)/4). Let b be ((-2)/(-1))/(-2) - 371. Which is greater: p or b?
p
Suppose 27*x + 759 = -9366. Let a = x + 1499/4. Is 4/5 <= a?
False
Let p = -0.5183 - -0.1183. Which is greater: p or 1051?
1051
Let j be 4 - 1/(48/(-604832)*4/(-6)). Is -18896 != j?
True
Let l = -13045 + 15970. Is 2927 at least as big as l?
True
Let h = 30 + -19. Let g(o) = 2*o**2 - 22*o + 11. Let z be g(h). Suppose -z*u = -u - 20. Which is smaller: u or 3?
u
Let u = 3967 + -91243/23. Let f be 1 - 4 - 110/(-38). Which is smaller: u or f?
f
Let a(n) = n**2 + 19*n + 87. Let q be a(-12). Suppose -33 = 4*t + q*j - 52, -2*t + 4*j = -4. Which is bigger: t or 2?
t
Let t = -346 - 101. Let r = -447 - t. Do r and -140 have the same value?
False
Suppose 3*n = -10*w + 6*w - 329, 726 = -7*n - w. Are n and -103 unequal?
False
Let s be 60/33 + -4*7/(-154). Let u be ((-38)/76)/(s/228). Is -63 less than u?
True
Let f = 51816 + -51817. Let w be (2/(-7165))/(3/15). Which is bigger: f or w?
w
Let n = 28 + -29.52. Let g = -1.52 - n. Let l = -2 + 1. Do l and g have the same value?
False
Let z = 1604 - 1603.97. Which is greater: z or -5.3?
z
Let z = -1374 + 1397. Which is bigger: z or 462/19?
462/19
Let c = -69510265181/67 - -1037509233. Let f = c - 37631372855/883596. Let z = f - -1/628. Which is smaller: z or 0?
z
Suppose -4*q + 10 = 2*o + 6, -3*o = q - 11. Is q < -8/591?
True
Let x(w) = -12*w**2 + 390*w - 192. Let r be x(32). Is r less than -2/26445?
False
Let f be (-4 - (-9 - -2))/(-1). Let h(p) = -p**2 + 0*p + 6*p - 4*p - 3*p. Let j be h(-2). Are f and j nonequal?
True
Let p be 58/62 - (-1 + 2). Let m = -13.498 + 10.498. Is m greater than or equal to p?
False
Let s = 1/47 + -146/235. Let x = s - -1. Let t be 207/12 - (-1)/(-4). Which is smaller: t or x?
x
Suppose -3*y - 10 = 2*u, -4*u - 6 = 5*y + 10. Let h be -2*(y/26 - 1/(-91)). Which is bigger: -3.8 or h?
h
Let z(p) be the first derivative of -p**2/2 + 18*p - 1. Let d be z(9). Suppose 0 = i + i. Which is bigger: d or i?
d
Let r = 73266090/5473 + -4460000336449/333163402. Let t = 2/30437 - r. Let h = t - 5059/5894. Is h less than -1?
False
Suppose 2*k - 4*w - 2390 - 568 = 0, 2*w = 2*k - 2960. Let g be k/(-370) - (-16)/4. Which is smaller: 1 or g?
g
Let d(k) = 21*k**3 - 2*k**2 - 3*k - 2. Let g be d(-1). Let o = 2 - g. Let i = o - 23. Do -2/97 and i have the same value?
False
Let h(g) = -10*g**2 + 40*g - 7. Let j be h(6). Let f = j + 127. Which is greater: 1/6 or f?
1/6
Let c = 55 - 52. Suppose -6*o - 225 = -c*o. Let q = 53 + o. Is -22 at most q?
True
Let a = -227 - -238. Suppose 0 = k + 3, -c - k = 3 - a. Which is smaller: c or 21/2?
21/2
Suppose -12*z = -17*z + 20, -z + 14 = 5*m. Let g be ((-11)/((-6006)/9))/(1/m). Is g at most -1?
False
Let g = -27029 + 27078. Is 2.14 not equal to g?
True
Suppose -3*u = -4*w - 8, -3*u - 2*w = 8 - 4. Let p be (u + 8)/((33/18)/11). Which is smaller: 47 or p?
47
Let l be 0 - -30 - (-9 - -8). Suppose l*q = 27*q. Let j = 227564/97 + -2346. Is q greater than j?
False
Let q = 2266.2 + -2266. Is q bigger than -6/1057?
True
Let t = -627418454/315 - -1991877. Let a = -507/7 + t. Is -1 at most a?
True
Suppose -2*y - 2*d + 4 = 0, -2*y + 3*d = 4*d - 6. Suppose 4*l + y*z = -l + 3, 5*z - 6 = -4*l. Is -165 greater than or equal to l?
False
Let o(i) = i**2 + 14*i - 5. Let l be o(-6). Suppose 5*b - 577 - 504 = -4*n, 0 = -4*b + n + 848. Let h = 160 - b. Is l bigger than h?
False
Suppose -6*f + 11*f + 6688 = 2*y, -4*f = -4*y + 5348. Let r = 2581/2 + f. Which is greater: r or -48?
r
Let x = -2071 - -2114. Let i(h) = -6*h + 5. Let d be i(2). Which is bigger: x or d?
x
Let q = 103.597 + -0.097. Let s = 14.5 - q. Which is greater: 1/4 or s?
1/4
Let n = 547 - 503. Let k = n + -45. Is -1/84 smaller than k?
False
Let o be ((-20)/6*3)/1. Let r = -126 - -129. Suppose 5*t = 4*c - 33, 4*t + 36 = -t + r*c. Which is smaller: o or t?
o
Let j = 0.5 + -1. Let s = -0.249 - -80.249. Let k = s - 75. Is j > k?
False
Let p(h) = 1413 - 1410 + 0*h**3 + h**2 - 12*h**3. Let s be p(-3). Which is greater: 335 or s?
s
Let y = -0.13 + 0.015. Let u = y - -3.115. Let g = -0.9 + 0.85. Which is greater: g or u?
u
Let x be (20/(-14))/((-1)/(245/14)). Is -6 bigger than x?
False
Suppose -3*u = 2*p - 39, 10*u - 5*u - 65 = 4*p. Let f(q) = -q**3 - 67*q**2 + 80*q + 827. Let h be f(-68). Which is greater: h or u?
u
Let p be (34/(-85))/(2/50). Let w = 14 + p. Let r be (w + -3)*-5 - 38. Does -41 = r?
False
Let f = 2.78 + -43.18. Let n = f + 1.4. Let s = -39 - n. Which is smaller: 1/13 or s?
s
Let b = 236 - 232.71. Let d = 2.99 - b. Is d less than or equal to 19?
True
Let c = -618 - -617.997. Let s = 1033/5 - 207. Which is smaller: s or c?
s
Suppose b - 1 = 7. Let a be 3/3 + (-6)/b. Let t be (1/2)/(9/18). Which is bigger: t or a?
t
Suppose 34607 = -28*x - 86353. Which is smaller: -4319 or x?
x
Let u = 4999 + -5412. Which is greater: -417 or u?
u
Let v be (-8)/2*(-4 - -2). Suppose -5*y = -v - 22. Suppose -5*k = 0, -4*x = 38*k - 34*k - 24. Is y smaller than x?
False
Let q be (10 + 3800/(-375))/((-4)/(80/6)). Let r(m) = -2*m**3 - 2*m**2 + m - 1. Let f be r(-2). Suppose 2*n = -0*n - 5*g + f, -4*g = -4*n - 4. Is n >= q?
False
Let d(q) = -4*q - 12. Let t be d(-6). Suppose -13 = t*p + 47. Which is greater: -32/5 or p?
p
Let z be 2 - 7*1652/98. Is -346/3 at least as big as z?
True
Let n(r) = -r**2 + 5*r - 1. Let l be n(4). Suppose 0 = 7*f - l*f - 156. Let u = -112653 + 112690. Which is smaller: u or f?
u
Let i = 1.09 + -451.09. Let a = i + 450.2. Which is greater: a or -0.5?
a
Let l(y) be the second derivative of -1/12*y**4 + 29*y - 23/6*y**3 + 14*y**2 + 0. Let x be l(-22). Which is greater: x or 48?
x
Let z(h) be the third derivative of -h**5/30 + 5*h**4/24 - 2*h**3 - 7*h**2 - 2*h. Let f be z(3). Which is smaller: -23 or f?
-23
Let m = 7957/16 + -497. Suppose 677*p = 682*p. Which is greater: p or m?
m
Let g = -20223/128 + 158. Let h = -3502 + 3503. Is h > g?
True
Suppose -b = -15156 + 3708. Let c be ((-144)/b)/(4/(-18)). Which is bigger: c or 1?
1
Suppose 3 = -2*n + 3*n. Suppose 12 = 9*y - n*y. Let o be (y - 0) + (-1 - -2). Are 1/5 and o nonequal?
True
Suppose 0 = -y - 3*l + l + 178, 5*y + l = 863. Suppose -20*c = -16*c - y. Which is bigger: c or 41?
c
Let v = 9117 - 9116.71. Let t = -1.1 - -1.6. Which is smaller: t or v?
v
Suppose -178*f - 124 = -54*f. Let g be (-88)/(-72) + (-2)/9. Let y = g + -2. Is f <= y?
True
Suppose 88*g - 11*g - 9467 - 697 = 0. Which is smaller: 118 or g?
118
Suppose -7*f = -8 - 6. Let i be (3/(-3))/(((-6)/(-39))/f). Is -13 equal to i?
True
Let w = 88 + -81. Suppose -3*d = -z - z + w, 0 = -4*d - 4*z - 16. Let q = 12 - d. Is 15 equal to q?
True
Let o = 1.4903 + -0.0703. Let k = -1.32 + o. Are 32 and k non-equal?
True
Suppose 4*h + 1 = -3. Let n = -68612/7359 + 34/669. Do h and n have different values?
True
Let w(f) = -5*f + 15. Suppose -a + 4*a + 94 = 2*v, 5*v - 235 = 2*a. Let q = v - 47. Let h be w(q). Is h greater than or equal to 14?
True
Let z be ((-69)/816)/((-1)/(-41687)). Let v = 3525 + z. Does -1 = v?
False
Let l = -37437 - -37444. Which is smaller: 272 or l?
l
Suppose -2*m - 56 = 4*p + 2*m, 0 = 2*m + 6. Let w = -6 + 138. Suppose -w = h + 11*h. Is h less than p?
False
Let q = 4046 + 