5*i + 3*c. Let d = 1.15 + -1.05. Is d at most as big as i?
True
Let j(g) = 4*g**2 + 2*g - 9. Let p be j(4). Suppose p = -3*l + 2*n, 2*l + 16 + 26 = -n. Let s be (-573)/846 - 14/l. Which is smaller: -1 or s?
-1
Suppose 0 = -6*j + 2*j - 132. Let y = -634 - -417. Let m = y + 183. Which is bigger: j or m?
j
Let s = -19943 + 15466. Which is greater: s or -4475?
-4475
Let j(y) = 8 + 7*y - 3*y + 0*y. Let i be j(-2). Let q be (i + 4)*(-4)/616. Is q < 0?
True
Let s be -4*2/185072*(-6 + 8 + 0). Which is smaller: 0.1 or s?
s
Let a = -0.38 + 0.28. Let c = -97 + 67. Let p be c/36*(-8)/(-15). Which is smaller: a or p?
p
Suppose 1332081 + 1841497 = -503*k - 297625. Is k at least as big as -6902?
True
Suppose -g + 66 = -355. Let a = g - 1276/3. Let q be (3/2*-4)/2. Is q < a?
False
Suppose -544 = -67*q - 477. Which is bigger: -5/81 or q?
q
Let x be (-196)/(-84)*(-5484)/(-56). Which is smaller: x or 228?
228
Let f(j) = -633*j - 17479. Let r be f(-24). Which is bigger: -2290 or r?
r
Let n = -15.834 - -19.834. Let x = -5/7 + 8/7. Which is smaller: n or x?
x
Let d be ((-192)/(-44))/(-8) - (-1224)/1155. Let z be 5*6/15 + 0. Is z not equal to d?
True
Let h = 20775 - 20745. Is h at most as big as -115?
False
Suppose -12*x - 307 + 463 = 0. Suppose -4*s = s - 150. Let m be (4/(-10))/((-1)/s). Is m < x?
True
Suppose -5*j = 3*b - b - 558, -2*b + 530 = -2*j. Is b less than or equal to 1886/7?
True
Suppose 266 = -6*k - 4732. Let w = 10820/13 + k. Is w at most -2?
False
Let o(m) = m**3 - 7*m + 4*m + 96*m**2 - 94*m**2 - 1. Suppose -4*h + 40 - 52 = 0. Let i be o(h). Which is greater: 3 or i?
3
Let b be ((-8)/(0 - -8))/((-5)/(-715)). Which is greater: -14 or b?
-14
Let x = -49634 - -25321. Does -24313 = x?
True
Suppose -67 = 3*g + 215. Let b = g + 187/2. Is b bigger than -1?
True
Suppose 29*i - 30*i = 833. Is -838 < i?
True
Let g = 1293 + -623. Let d = 671 - g. Which is bigger: 1/777 or d?
d
Let c = 2735.32 + -2735.87. Let i = -1 + 1. Let v = i + 0. Which is smaller: v or c?
c
Let r be 1573/7 + 2/(-7). Let n = r - 224. Let c = -1945379 - -1945378.9. Is n at most c?
False
Suppose t = 3*v + 10, v - 3*t = 394 - 416. Let u = 5 - 3. Let d be ((-14)/(-88))/(u/(-16)). Which is bigger: v or d?
v
Suppose -3*b = 2*u + 8, -5*b + 10*b = -4*u - 16. Suppose b = 10*h + 5 - 15. Is -2/559 at most h?
True
Let g = -301 - -318. Let q(v) = v**2 - 42*v - 4. Let x be q(g). Are x and -429 nonequal?
False
Let j be -1 + 13 + -2 + 1. Let z be 6/40 - j/(-44). Is 0.05 >= z?
False
Let k = 0.63 - 75.63. Let b = 64 + k. Which is smaller: -0.08 or b?
b
Suppose h - 292 = -5*n + 6700, 0 = 4*h - 2*n - 27858. Is h at most as big as 6967?
True
Let g(c) = -c**3 - 7*c - 3*c - 12 - 15*c**2 - 5*c + 0*c**2. Let a be g(-14). Suppose 0 = -5*f - 4*x + 14, a*x = -3*f + 6 + 4. Is f >= 6?
True
Let t be (35 - (-2 + 3)) + 4. Suppose -22 = 4*s + t. Let p be 2*5/s*1. Is p > 35?
False
Let v = 12 + 10. Let x = 420.093 - 0.093. Let k = x - 421. Is v <= k?
False
Let v = -26 + 7. Suppose -2*r - 3*r - 7 = 2*u, 5*r = -5. Which is greater: v or u?
u
Let g = -4.17 + 7.17. Let j = 76 + -42. Let t = -376/11 + j. Which is bigger: g or t?
g
Suppose -8*n - 15 = -9*n - 5*l, 3*n - 4*l + 12 = 0. Let b(f) = 2*f**2 + 7*f - 17. Let x be b(n). Which is bigger: x or -20?
x
Let g be ((-25)/(150/(-36)))/((-3)/(-2)). Let v(z) = -2*z**3 + 6*z**2 + 8*z. Let a be v(g). Does 2/2543 = a?
False
Let j(x) = -24*x**3 + 59*x**3 - 34*x**3 - 48*x - 22*x**2. Let p be j(24). Are -2/341 and p equal?
False
Let b = -16627 - -49874/3. Which is greater: b or -10?
b
Let r be (-7 - 13699/(-2002))*(-8)/(-50). Is -1 greater than r?
False
Let l be (-24)/(-9549)*288/(-64). Is 0 at most l?
False
Let c(w) = -w**2 + 257*w + 257. Let s be c(-1). Do s and -1/4193 have the same value?
False
Suppose 4*m = 2*s - 6, 5*m + 13 = 4*s + 1. Suppose 272 = -2*r - 4*q, -4*r + m*q = 5*q + 556. Let d be ((-78)/9 + 8)/(2/r). Is 46 >= d?
False
Suppose 0 = -4*k - 2*y + 612 + 628, 0 = -3*k - 5*y + 916. Let p be (2/k)/(20/(-6) + 1). Is 2/5 smaller than p?
False
Suppose d = -3*p + 1471, d - 2449 = 48*p - 53*p. Which is smaller: 484 or p?
484
Let r be -42*445/(-50)*(5 - 0). Suppose r = -3*a - 711. Let m = a - -35257/41. Which is bigger: 0 or m?
0
Suppose 227*b = 221*b. Let a be 4/(-2) + 8 + 1. Suppose b = a*l - l. Which is bigger: l or -1?
l
Let i be (24/(-40))/(36/(-40))*126/39252. Is 1 != i?
True
Let f(i) = i**3 - 46*i**2 + 87*i + 53. Let j = -666 + 710. Let b be f(j). Suppose -v + 6*v = 50. Which is greater: v or b?
v
Let l = 922 + -929. Let d(r) = -r**2 + 4*r + 8. Let j(q) = 6*q**2 - 20*q - 40. Let z(k) = 11*d(k) + 2*j(k). Let w be z(l). Is w at most as big as 29?
True
Let o(r) = 3*r + 28. Let y be o(-7). Let h(x) = -y*x + 9*x - 11*x + x**2 - 16. Let b be h(9). Is -15 less than or equal to b?
False
Let h = -800 + 768. Which is greater: -54 or h?
h
Let z be 2/(-6)*2/(-31). Suppose -n = -8*h - 55, 58*n - 61*n - 2*h = 17. Is n > z?
False
Let v = -523029737/9141 - -57218. Which is greater: -1 or v?
v
Let j = 12.061 + -0.061. Let d = 111 + -110.7. Is j >= d?
True
Let a = -258 - 3610. Which is greater: 2 or a?
2
Let j = -1341401 - -732404633/546. Let k = j - -5/26. Is -1 less than k?
True
Let z = -60 - -60. Suppose -7*l + 18 + 31 = z. Let k(v) = -v**2 + 9*v - 9. Let s be k(7). Is s greater than or equal to l?
False
Let u = 7241.5 + -7232. Is 7 equal to u?
False
Let a be ((-105300)/(-17553) - 9) + 5 + -2. Which is smaller: -1 or a?
-1
Suppose -2*t + p = t - 254, 5*t - 442 = -3*p. Let f = t - 188. Which is smaller: f or -101?
f
Let i = 2699408/178871 + -1524/101. Which is smaller: i or 0?
0
Let o be -2*(4 + 1)*(-26)/13. Suppose 3*d - 4 = o. Suppose 5*h = 3*g + 28, 2*g - d = -2*h + 4*g. Which is smaller: 23/3 or h?
23/3
Suppose 3*k + 3*n - 34 = 2*k, 5*n = 3*k - 46. Suppose -32*p + k*p = 0. Which is smaller: p or -3/13?
-3/13
Let b = -538 + 541. Suppose -22*h + 17*h - 4*d = -3, b*h = d - 5. Which is smaller: 4/11 or h?
h
Let t = 3 - -5. Which is smaller: t or -136?
-136
Let c be (-1)/3 + 0 + 100/180. Which is smaller: c or 2?
c
Let w(i) = i**3 - 9*i**2 + 6*i + 18. Let y be w(8). Let j be ((-37)/y + 2)*10. Let b = j + 96. Is b less than or equal to -68?
True
Let q be 165/(-22)*4/(-10). Suppose f = -0*f + 5. Suppose 2*y = -w + f - 2, y - 5 = q*w. Which is smaller: w or -1/112?
w
Let w be (-8 - 136/(-16))/((-2)/404). Let v = w + 85. Let h = v + 77. Is 61 smaller than h?
False
Suppose 0*s = -2*s + 4*i - 90, i - 216 = 5*s. Let l(r) = -r**2 + 8*r - 13. Let t be l(4). Suppose 109 = -t*c + 4*d, -5*d - 51 - 103 = 3*c. Is c >= s?
True
Let f = -4220 - -4220. Let t = -2.8 - -4.1. Let q = t - 1. Is q != f?
True
Suppose -3*m + 0*m + 2*c = 0, -2*m + 5*c = 0. Let a be ((-1)/(-282))/((-105)/9 + 11). Which is smaller: a or m?
a
Let o = -8012/517 - -170/11. Let p be ((50575/420)/(-85) + (-5)/(-3))/((-4)/(-16)). Which is smaller: o or p?
o
Suppose 0 = -35586*w + 35616*w. Is w <= 2/2181?
True
Suppose -11*t = 137 - 126. Let p be (-26)/91 - (-4874)/(-2884) - -2. Which is greater: t or p?
p
Let h = 6555 + -5139. Is h >= 1417?
False
Let a = 3/1193 - -2347/15509. Is -9.4 less than a?
True
Let j = -1689 - -1692. Is -2/1003 greater than or equal to j?
False
Let m be (107/58)/(5/(-6)) - (-11)/(-55). Is m >= -3?
True
Let z = 1272/2431 - 105/221. Which is smaller: z or -1?
-1
Suppose 0 = 3*i - 5*k, -5*i = -2*k - k. Let x = 141613 + -1134329/8. Let r = x - -177. Which is smaller: i or r?
r
Let v = 3574 - 3062. Which is smaller: 513 or v?
v
Suppose -11*j = -4*j + 92 - 99. Which is smaller: j or 52/311?
52/311
Let u be (4 - 28/6)/(208/48). Let r(k) = -k**2 + 7*k - 6. Let z be r(7). Is z > u?
False
Suppose -238 = -6*v - 1378. Let x = -954/5 - v. Is x at most as big as -2?
False
Let q be 18/8*(-6)/(-10620)*(-7 - -11). Is q greater than or equal to 0?
True
Suppose -5*j + 89 = a, 5*j + 77*a = 75*a + 88. Is j equal to 283/16?
False
Suppose 96 = -k - k. Let j be ((-2)/(-6))/((-8)/k). Let f be (-1350)/756 + 12/8. Which is smaller: j or f?
f
Let p(k) be the first derivative of k**3/3 - 7*k**2/2 - 14*k + 56. Let j be p(9). Let g(w) = -w. Let i be g(-6). Is i equal to j?
False
Let s be 8/(-2)*(-7)/(168/(-339)). Let f = s + 1239/22. Is f equal to 1/2?
False
Suppose 243 + 125 = r. Let d = r - 327. Which is greater: 38 or d?
d
Let x(u) = -2613*u + 23