8). Is s greater than or equal to m?
False
Let i be 4/(-18) + 983854/(-522). Let l = -1837877/975 - i. Which is smaller: l or -1?
-1
Let p(y) = -6*y + 26. Let j be p(4). Suppose 10 = -7*k + j*k. Let z be (-35)/55*(-60)/14 + k. Which is smaller: z or 1?
z
Let g be (91/(-95) - -1)/(217798/3570 + -61). Is g >= 5?
True
Let z = 2/45813 + 3267988/137439. Let s be 50*(-3)/(-6) - 0. Which is greater: s or z?
s
Let p = -2220 + 3475. Suppose 5*u = 1300 - p. Is -9 not equal to u?
True
Let i(h) = -11*h. Let v be i(-1). Let a = -439 + 440.764. Let c = 0.236 + a. Is v != c?
True
Suppose 223*k + 20104 + 50364 = 0. Is -318 >= k?
False
Let g = 110.83 + -1.83. Let j be 55/25 + -2 - (-24)/(-20). Which is smaller: g or j?
j
Let b be 2038/18 + (5 - (-235)/(-45)). Let f = b + -153. Are f and -39 non-equal?
True
Suppose 0 = -3*o - 42*s + 37*s + 599, 0 = 3*o - s - 611. Let f = o - 164. Does f = 350/9?
False
Suppose -11*c - 7*c = 5*c. Suppose -9 = b + 5*w, -b + 5*b + 2*w = c. Which is bigger: 3/19 or b?
b
Let i = -2.97 - -359.97. Let d = -358 + i. Is -30 at least d?
False
Let l = -297 - -303. Let a = 5.78 + -6. Let h = 1.22 + a. Are l and h unequal?
True
Let u(c) = -c**2 + 19*c - 26. Let b be u(8). Let f = b - 38. Let v be (0 + 7)*529/161. Are f and v unequal?
True
Let m be -1*(-5 - (-1 - 1)). Suppose 8*l + 11 = -m*l. Is l smaller than -3/151?
True
Let w = -40 + 10. Let p be 15/6 + (287/(-14) - 10). Is w less than or equal to p?
True
Suppose -21*v + 19*v = -8. Suppose -v*o + 64 = -4*n, -5*n - 2*o + o - 74 = 0. Which is smaller: n or -18?
-18
Let c = 167 - -33. Suppose -28*l = -8*l + c. Let j(r) = -r**2 - 2. Let x be j(3). Which is smaller: x or l?
x
Let d(i) = 2792*i**2 + 11*i - 2783*i**2 + 13*i - 7. Let q be d(-3). Which is greater: q or 21/23?
q
Let f = -183/28 + 46019/7084. Which is smaller: f or 0.1?
f
Let h be ((-4)/26)/(((-2241)/879)/(-3)). Let x = -8/39 - h. Which is smaller: 0 or x?
x
Let z = -16418927 - -34364814990/2093. Let t = z - -2/161. Let s = -0.14 - -0.14. Is s less than t?
True
Suppose -5*x - 23 = l, -5*l - x = -2*x - 15. Suppose 8*c + 3*c = l*c. Which is bigger: c or -3/8?
c
Let w = -34732 + 381488/11. Let h = 11313/220 + w. Which is bigger: 14 or h?
14
Let n(b) = 20*b - 93. Let x be n(23). Suppose 12*l + x - 1015 = 0. Which is smaller: 55 or l?
l
Let c be (-3)/((-81)/(-6)) + (-8)/(-36). Suppose c - 5 = k - 3*s, -3*s + 2 = -4*k. Let o be (k - -2)/(11/((-22)/(-6))). Is o at most -1?
False
Let c(o) = o**2 + 18*o + 80. Suppose -4*f + 16 = 0, -i = 2*f - 5*f + 20. Let n be c(i). Which is smaller: n or 16/27?
n
Suppose 6*v = 2*v - 56. Let q be (-4)/30 - v/(-21). Let x(b) = -b**3 - 18*b**2 - 18*b - 19. Let i be x(-17). Which is smaller: q or i?
i
Let f = -396 - -498. Let k = f + -132. Let h = 5 - 6. Is h bigger than k?
True
Suppose -3*y + 7*y - 2*z - 118 = 0, 5*y = -2*z + 125. Let g(a) = -50 - 42 + 125 - 49 - 14*a. Let s be g(-3). Which is smaller: y or s?
s
Let m = 16 + -15.996. Let t = m + -0.644. Let q = t - 47.36. Which is smaller: q or 1/4?
q
Let n(b) = -31*b**3 - 8*b**2 - 18*b + 14. Let z be n(-5). Which is bigger: z or 3778?
z
Let l be 4/(-2) - 33/(-11). Let n(d) = -d**2 - d - 3. Let k be n(0). Let p be (-50)/(-15)*k/(-26). Do p and l have the same value?
False
Suppose -3*f - 18 = -3*d, 3*f + 0*f + 14 = d. Suppose 2*p + 1670 = -v, 7 = p + d. Let x = 18494/11 + v. Is 1 >= x?
False
Let l = 1 - 1. Suppose 8*j - 521 - 231 = l. Is j greater than 95?
False
Let n = 995.27 + -1055.6. Let b = 9.33 + n. Is b equal to 0.2?
False
Let g = -1.0281 + 0.9481. Which is greater: g or 27?
27
Let i = 0.209 + -207.209. Let c = 408 + i. Is -1 greater than c?
False
Let o = -57/935 + 213396/3546455. Which is bigger: 1 or o?
1
Let j = 0.2 + -0.2. Let v = 0.2 - j. Let l = -1671 + 1672. Which is smaller: l or v?
v
Let b = -1.5242 + 0.5242. Is -46/17 greater than b?
False
Suppose -5*f - 20 - 9 = -r, -35 = -5*r + 3*f. Suppose r*c - 10*c = -24. Suppose 11 = c*d - 9. Is 8 >= d?
True
Let y = 4247 + -1546. Which is smaller: y or 2700?
2700
Suppose -l + 12*d - 14*d = -23, 41 = 2*l + 3*d. Let f be l/5 + -4 + 1. Which is smaller: f or 16?
f
Let i be 1 - -1*76/(-116). Let s(z) = -2*z**2 + 18*z + 140. Let l be s(14). Is i equal to l?
False
Suppose -15*c - 54*c + 10971 = 0. Let q be 80/7 - c/371. Which is greater: 9 or q?
q
Let x = -21.6 + -28.7. Let c = -50 - x. Let i be (1 + 1)/(84/12). Which is bigger: i or c?
c
Let a = 4 - -24. Let p = -25 + a. Suppose 5*b = p*b. Which is smaller: -0.13 or b?
-0.13
Suppose 0 = -7*m + 11*m - 84. Let o(l) = -6*l + 85. Let f be o(m). Is f >= -43?
True
Suppose 36 = p + 33. Suppose 0 = -p*w + 4*x - 8, 0 = -2*w - 2*x - 6 - 4. Suppose 8*l - 8 = -40. Is l bigger than w?
False
Let r be 4/10*(2 + 10 + -7). Suppose -r*s = p - 2, 6*p = -3*s + 5*p + 4. Let z be -3*(-2)/(-2)*-1. Does s = z?
False
Let p(r) = 3*r**3 + 2*r**2 - 4*r**3 + r - 3*r**2 + 1 - 4*r**3. Let z be p(-1). Suppose -2*f = z*b - 6*f + 8, -4*f = -b - 5. Is -6/5 != b?
True
Let g = 69 - 97. Let m = 67781 - 67779. Are g and m unequal?
True
Let c(z) = -23*z + 137. Let l be c(6). Let t be (l + 17)*(21/(-6) + 4). Which is smaller: 0 or t?
0
Suppose -10 = -32*v + 22. Is v greater than -7/482?
True
Let j(o) = -12*o - 68. Let s be j(-9). Let d = -122 + s. Does d = -82?
True
Let o(i) = -i**3 + 50*i**2 - 183*i - 174. Let s be o(46). Is -101 != s?
True
Let r = 449.1 - 54.1. Let u = r + -394.9. Is u less than or equal to -1.8?
False
Suppose -6*q + 121 - 559 = 0. Are -11 and q equal?
False
Let t = -17636/7 + 105781/42. Let c = 9 + -5. Suppose -c*d = d. Is d bigger than t?
True
Let s(w) = w**2 - 2*w - 8. Let v be s(6). Let i be 3/2*v/8 + 42. Let d = 2/297 + 64/297. Which is bigger: d or i?
i
Let m(z) = 7*z + 103. Let c be m(-14). Suppose -x = 7*i - 9*i - 192, c*x = 2*i + 936. Do -1 and x have the same value?
False
Suppose -14*y = -5*y + 56970. Is y smaller than -6332?
False
Let o = 67 - -105. Let i = 0.035 + 0.065. Which is smaller: o or i?
i
Suppose 0 = 13*x - 3*x + 31*x. Let d = 17 - 87. Let s be (3 + 0 - 6)/d. Which is smaller: x or s?
x
Let v = -115 + 116. Let c(w) = -2*w**3 - w**2 + 1. Let h be c(v). Do h and 1.4 have different values?
True
Let q = 9612 - 9696. Which is smaller: -116 or q?
-116
Let d = -2.574 + 1.256. Let f = d + -0.182. Which is smaller: f or 5?
f
Let h = 64 - 64.109. Let w = -234.9 - -235. Which is greater: w or h?
w
Let t(o) = -25*o + 58. Let j(v) = -11*v + 29. Let a(u) = 5*j(u) - 2*t(u). Let b be a(6). Is 2/595 >= b?
True
Let a be 348/(-45) + 12/(-20) - (-18 + 10). Is -19204 less than a?
True
Let j(t) = 12*t**3 + 12 + 12*t**2 - 9*t**3 - 2*t**3 + 23*t. Let c be j(-7). Is 96 > c?
False
Let n = -4973 + 12213. Which is bigger: 7241 or n?
7241
Let u = 9007.1 - 9437. Let n = u + 429. Which is greater: -9 or n?
n
Let b = 6 - 4. Suppose 196 + 76 = 634*h - 996. Does b = h?
True
Let s = -3700 - -55481/15. Which is bigger: s or -2?
s
Suppose 5*u + 5*g = -109 - 306, 2*u + 4*g + 156 = 0. Which is smaller: -90 or u?
-90
Let v = -0.8305 + 1.8305. Let d = 3.99 - 4. Which is smaller: v or d?
d
Let w = -49/2 - -26. Let i = -871/4 - -1753/8. Let n = i - w. Which is greater: 0 or n?
0
Let q = -1227 - -1226. Is -134/347 greater than q?
True
Let l = -30002 + 30004. Is 14821 <= l?
False
Let y(i) = 6*i**2 - 3*i - 24. Let m be y(-4). Let b = m - 4203/50. Let v be ((-2 - -2)/(-2))/(-1). Which is smaller: v or b?
b
Suppose 0 = 4*q - 4*t + 728, -4*q - 4*t + 293 = 1053. Which is smaller: -741/4 or q?
q
Let l = -51 - -38.1. Let h = l - -11.9. Which is bigger: -4 or h?
h
Suppose 4*f = -0*f - 100. Let y = f - -29. Let u be 1*(-3 - -2) + 8. Is y >= u?
False
Let i = 335 + -318. Let q be 6/3 + 60/(-3). Let w be (-318)/q + 2/6. Does i = w?
False
Let n = -1080 + 1079. Which is greater: n or -3/269?
-3/269
Let d(j) = 13 + 80*j + 95 + 43*j. Let n be d(3). Is 476 <= n?
True
Suppose -104 = -10*f - 24. Let i be (f - (-10)/(-1)) + 274/138. Suppose 0 = -3*m - m. Which is greater: i or m?
m
Let x be 116/28 - (-2)/(-14). Suppose 60 = h + x*h. Let z be ((-3)/6)/(24/(-576)). Is h greater than or equal to z?
True
Suppose -5*b = 4*r - 5669, 2*r + 5*b = 3*r - 1386. Suppose -18*q = -q - r. Is q at least as big as -2?
True
Let j be 2/1016*-2*(1 - 3). Let c = -3855990 - -3427974595/889. Let z = j + c. Which is smaller: z or 0?
z
Let p(q