= -6087 - -5558. Is c less than or equal to 1/5?
True
Let m = -2886 - -6766. Which is smaller: m or 3879?
3879
Let a = 298.2 + -224.2. Which is greater: -1/3 or a?
a
Let s(g) = -g**2 - 47*g - 6587. Let r be s(-76). Which is greater: r or -8789?
-8789
Let k be 0/(0 - -1)*(109 + -110). Suppose 150 = 3*q + 3*b + 30, b - 4 = k. Are q and 31 equal?
False
Suppose 0 = 3*m + a - 25, 0 = 6*m - 9*m + a + 17. Is m less than 83/12?
False
Let b = 177012 - 176940. Let f(j) = 75*j - 1. Let q be f(1). Is b != q?
True
Let o = -1948.068 + 1948. Let z = -0.468 - -0.3. Let x = z - o. Which is greater: -4.4 or x?
x
Let k = -160744/398717 - -1/5951. Let b = k - -20359/50853. Is 1 at most as big as b?
False
Let q(c) = c + 2. Let h be q(3). Let d(m) = m**3 - 6*m**2 + 7*m - 9. Let a be d(h). Let j be a*2/2 - (-1 - -2). Which is smaller: j or 2/55?
j
Suppose 4*h - 9 = -5*d, -4*h - 1 = -3*d - 2. Let l = -109104475043/5244 + 20805582. Let c = 2/437 - l. Which is smaller: c or d?
c
Suppose -t = -5*q - 6, 0 = 8*q - 7*q - 3. Suppose -77 = -t*y - 14. Is 15 equal to y?
False
Suppose 0*w = 15*w. Suppose w = 28*x - 33*x - 10. Let y be (10/(-4))/((-6)/(-2)). Are y and x nonequal?
True
Let q(t) = -t**2 - 33*t + 1. Let s be q(-10). Let o = s - 235. Does o = -1?
False
Let z = 1464193029/918940 + -31867/20. Is 1 at most as big as z?
False
Let d be ((-48)/(-40))/((-6)/(-20)). Let l be (-1)/d - ((-1512)/32 - 1). Is 49 less than or equal to l?
False
Let o = 41 + 30. Let n = -71.9 + o. Let m = -1.1 - n. Is 0.1 less than m?
False
Let n(j) = -34*j**3 - j - 1. Let z be n(3). Let u be (1 + -2 - -2) + (-1270954)/1377. Let w = z - u. Which is greater: -1 or w?
w
Let f(d) = -d**3 - 27*d**2 - 26*d + 114. Let g be f(-27). Which is smaller: g or 0.2?
0.2
Let r = 2 + -2. Let l = 163 + -9619/59. Let t = -112/177 + l. Is r at most t?
False
Suppose -4*f - 153 = -5*g, -5*g + 180 = 5*f - 0*f. Suppose n - 51 = g. Let u = -58 + n. Is u less than or equal to 25?
False
Let s be ((-1075)/220 - -4)/(-28 - 2). Let d be (1 + (-153)/165)/6. Let j = s + d. Do -1 and j have the same value?
False
Let k = -12353 - -1087109/88. Is k smaller than 1?
True
Let o(v) = -278*v**2 - 3*v + 2. Let p be o(1). Let r = -320 - p. Which is greater: -42 or r?
r
Let p be ((-3)/(-9))/((-22)/(-21) - 1). Suppose 0 = p*u - 8*u - 160. Which is smaller: u or -161?
-161
Suppose -25*h = -117 + 17. Let b be 1 + h/(-6) - (-74)/(-234). Suppose -2*n + 10 = -3*w, 5*w - 5*n = 9 - 34. Which is greater: b or w?
b
Let b be (-2364)/(-858) + (-2)/4 + 2/22. Is b bigger than 2?
True
Suppose -5*k + 596 = -259. Let c(j) = 10*j**2 + 3*j. Let q be c(4). Which is smaller: q or k?
k
Suppose 5*j - 6*g - 13339 = -2*g, 0 = -4*j + 5*g + 10673. Are 2669 and j non-equal?
True
Let f = 34021/51 - 667. Let z(s) = s**2 + 8*s + 9. Let a be z(-7). Suppose 3*h + 4 = -5*l, -4*l + 5 = -a*h - 5. Is l smaller than f?
False
Let j = 4543/15 - 302. Let z = j - 38/15. Is -31 > z?
False
Let z(j) = 3*j**3 + 38*j**2 - 15*j - 11. Let u be z(-13). Let x be ((-3)/(-5))/((-6)/u)*-204. Which is smaller: 307 or x?
x
Let i = 36 - 33. Let c be 2 - (10/(1 + -6) + i). Which is smaller: c or -3/8?
-3/8
Suppose -2*d - 68 = -36*d. Suppose -25*p + 168 = -5*a - 23*p, 84 = -d*a + 5*p. Is a greater than -32?
False
Let r be ((-11)/22*123)/((-2)/(-72)). Is -2209 greater than r?
True
Let y = 15.485 - 15.885. Are y and 4603 equal?
False
Suppose -2*l + i + 10 = 0, 3*l - 11*i = -14*i - 3. Suppose l*c - 3*y - 4 = -13, c - 3*y = -3. Is -21/10 bigger than c?
True
Let k = 1660 + -1249. Do k and -3 have different values?
True
Suppose 5*b = 3*f + 16, 0 = 5*f - b - 10 - 0. Let n(q) = 21*q. Let w(s) = -20*s - 1. Let h(o) = f*n(o) + 4*w(o). Let g be h(1). Which is smaller: g or -19?
g
Let o = -13424 + 13423.3. Is o < -680?
False
Suppose 42*h = 43*h. Let k be 1/(-2) - (h + (-86)/4). Suppose 6*t - k = 9*t. Is t less than -7?
False
Suppose -2*b = 2*i - 4, 2*b - 4*i - 5 - 29 = 0. Let u be 53 - -18*b/(-14). Is 392/9 >= u?
False
Let l = -578 + 579. Which is smaller: -4/1879 or l?
-4/1879
Suppose -3*f = -177*j + 179*j - 1757, 3*f - 1736 = j. Which is greater: f or 582?
582
Suppose 19*c = 24*c + 5*n + 380, 2*c = -n - 153. Let u = -8431/2 + 4139. Which is bigger: c or u?
u
Let h(b) = -582*b - 25. Let s be h(-1). Let w = s + -552. Is w <= 2?
False
Let d be (212/2120)/(2/10). Which is bigger: -2014 or d?
d
Suppose -219711 + 42052 = -40*l + 174381. Which is smaller: l or 8800?
8800
Let n(z) = z**2 + 6. Let c be n(0). Let d be 80/c + 4/6. Let m be (-17 + (5 - 4) - -3)/((-18)/18). Which is greater: m or d?
d
Let l be -14*(160/(-70) + 4). Is -920/39 smaller than l?
False
Let w = 76 - 86. Let k(a) = -8*a - 75. Let u be k(w). Suppose 11*m - 28 = 8*m - 2*s, u*m + 3*s - 46 = 0. Do 7 and m have the same value?
False
Let d = -0.34896 + 0.06436. Is -1 at most d?
True
Let y be -2 + 1 - (12 + -14). Let i = 125/504 - -13/72. Is y > i?
True
Let a(g) = g**3 + 5*g**2 - 14*g - 12. Let y be a(-6). Suppose 0*x = -2*x - 74. Let u = y + x. Which is bigger: u or -2/105?
-2/105
Let x be 51/(-68) - (-30)/8. Let k = x + -3. Let n be (8/(-370))/((-44)/(-110)). Which is smaller: k or n?
n
Let p = 75.82 - 75.72. Which is greater: -5150 or p?
p
Let j = 45838 + -45984. Suppose z + 150 = c, -3*c = -4*z - 2*c - 591. Which is bigger: z or j?
j
Let s = 2.9 - 2.71. Let j = 0.09 - s. Let w be 7056/1197 + (-5 - 1). Are j and w non-equal?
True
Suppose 5 = 2*d + 5*o - 20, -5 = -4*d + 5*o. Suppose t + 3 = d. Let i be 4/6 - (-10)/15. Is t less than or equal to i?
False
Let q be (-14)/(-49) + (-64)/28 + 4. Suppose -q*n = -3 - 67. Is 32 bigger than n?
False
Let s = -3939117 + 3939486.0301. Let i = s - 0.0301. Is 0.1 != i?
True
Suppose -2*b = -0*b - 4, 2*w = -4*b + 104. Let u = w - 57. Let f be 1 + -2 + (-6)/u. Is f at most as big as 6?
True
Suppose -p = p - 2. Let w = -75 + 65. Let y be ((-9)/30)/((-15)/w). Is y > p?
False
Let r = -699422797 + 83310347614226/119113. Let p = -11/311 - r. Which is bigger: p or 0?
p
Let f = 1086.76 - 315.73. Let n = f + -824. Let l = 53 + n. Which is greater: -2/7 or l?
l
Let i(p) be the first derivative of p**3/3 - 17*p**2 - 36*p + 171. Let q be i(0). Suppose -5*j + 2*v - 182 = 0, -j - 2*j = -5*v + 113. Is q > j?
False
Let f(k) = 23*k - 120. Let h be 24/16 + 14/4 - 0. Let o be f(h). Which is bigger: o or -11?
o
Let h(a) = 2*a + 17. Let j be h(-6). Suppose 4*n + 3 = q, -4*q - 13 = -n + j. Let d = -2 + n. Is d smaller than -4?
False
Let m be (-3)/1 + 3 + 4. Suppose -4 = 4*z, -5*f = -0*f - m*z + 1. Which is smaller: f or 1/83?
f
Let d be ((-5)/(-25))/(-1) - 14495226/(-71727880). Let i = d + 2/15869. Let u = 13547/5876 + i. Is -1 > u?
False
Suppose 2*o = -0*o. Suppose 3*m - p - 141 = 0, 3*p + 172 = 3*m + 37. Let f be (-4 - -9)/20 + 28/m. Is f less than or equal to o?
False
Suppose 314*w - 301*w + 1898 = 0. Let c be ((-128)/80)/(1/90). Which is greater: c or w?
c
Suppose 2*m - 57 = -q + 80, -3*q = 4*m - 271. Let z = m - 66. Suppose -5*h - 56 = z*p, h = -p - 3 - 9. Are h and -10 equal?
False
Let y = 3829/9 + -424. Suppose 5*p + 66*h = 62*h - 50, h = 2*p - 19. Is p greater than y?
True
Suppose -a = -3*o + 2822, 7*o - 1881 = 5*o + a. Suppose i - 1036 + 115 = 4*t, 0 = 4*t - 5*i + o. Is t not equal to -229?
False
Let i be (4/(-11418))/((-13)/(-6) + 24/(-36)). Which is greater: i or 0?
0
Suppose -3*y + 4*h - 1643 = 0, 8*y + 5*h - 1639 = 11*y. Is -551 less than y?
False
Suppose 125*r - 78*r + 143*r + 211280 = 0. Which is smaller: -1107 or r?
r
Let o(b) = b**3 - 9*b**2 - b - 1. Let a = 1 - -8. Let u be o(a). Let s = -449 - -877/2. Is u < s?
False
Let x = -22 + 17. Let f be 2/3 + ((-9443)/1659 - x). Suppose -9 + 12 = -3*p. Which is bigger: f or p?
f
Let a(d) = 241*d**2 + 135*d - 53. Let f be a(8). Which is smaller: f or 16450?
16450
Suppose 2*c = -5*u - 25, -5 = 35*c - 39*c + u. Is c > 15/487?
False
Let c = -74 + 335. Let n = c - 261.3. Which is greater: -0.2 or n?
-0.2
Suppose -5*h + 144*v + 35 = 139*v, 2*v + 24 = 4*h. Which is greater: 43/8 or h?
43/8
Let v be 126/(-38)*(-1872)/3640. Which is smaller: 3 or v?
v
Suppose -5*z = 4*c - 1001, c - 155 = -z + 45. Let m = 409 - z. Suppose 2*l - 104 = -0*l + 2*u, -m = -4*l - 2*u. Which is bigger: 0 or l?
l
Let t = 7841 + -7840.9. Is 137 at least as big as t?
True
Suppose 2*p = -0 + 48. Let r be p/(-10