 i?
i
Let x = -15675 - -15639. Let c be (3 - (-16 + -3))/(-1). Which is smaller: x or c?
x
Let h(j) = j**3 + 15*j**2 + 8*j. Let v be h(-11). Suppose -4*l = 5*u + 392, 10*u - 6*u = -4*l - v. Let n = -151 - -49. Is n at least l?
True
Let v = 0.119 + -125.119. Let s = 146 + -13. Let m = v + s. Which is smaller: -1/4 or m?
-1/4
Suppose d = 2*t - 1989 + 141, 3*d = -24. Which is bigger: -2/7 or t?
t
Let x = 20429/1335595 + -13/1769. Is 1 at least x?
True
Suppose 61 = 3*n + 5*u - 27, 3*n = u + 94. Let m be (161 - -7 - 0) + -8. Suppose -m = 1871*h - 1876*h. Are h and n nonequal?
True
Let x = 370 - 412.2. Let y = x - -42.1. Which is greater: 269 or y?
269
Let t(m) = -2*m**2 - 37. Let p(u) = 5*u**2 + 74. Let f(a) = 3*p(a) + 7*t(a). Let v be f(6). Is -2/613 at most v?
False
Suppose 65 = 5*o - 4*q, -3*q + 6*q = -5*o + 30. Let i be -1081 + 1095 - 2/((-2)/(-5)). Is o < i?
False
Let c be ((-77)/308)/((-10)/8) - 14732/10. Is c smaller than -1475?
False
Let z = -75 + 107. Suppose 5*g = -2*b - 2 + 133, -3*b = g - 34. Is z greater than or equal to g?
True
Let j = 0.03346 + 11.31954. Let h = 11.88 - j. Let n = h - 0.127. Are 1/13 and n equal?
False
Let h(n) = -31*n + 2941. Let j be h(95). Let q(i) = i**2 - 6*i - 4. Let t be q(-7). Which is smaller: t or j?
j
Suppose 0 = -3*k - 2*t + 88, k + 11*t - 9*t = 28. Let a be (0 + 3/(-5))*k/264. Which is greater: 0 or a?
0
Suppose -9*j + 11*j = -4*x - 2, 8 = 5*j - 3*x. Which is smaller: -8/787 or j?
-8/787
Suppose 26*w + 7*w = 462. Suppose 2*j - 632 - w = 0. Is 324 not equal to j?
True
Let i = 15937364207/792 - 20122938. Let f = i - -27/8. Let s = -19/2 - -9. Is f at most s?
False
Let x(j) = j**2 + 79*j + 815. Let t be x(-70). Is 180 smaller than t?
True
Let g be ((-6)/4)/(18/60). Let k = 288.3 - 174.4. Let p = k - 114. Is g bigger than p?
False
Let x be 2/(-6) - 221/(-6). Let u be (-6139)/560*-6*(-30)/(-54). Let s = x - u. Is s at least -1?
True
Let h = -9412649/6072 + 17052/11. Which is bigger: -1 or h?
h
Let h = -1808 - -1810. Let o = -0.2 + 0.2. Let a = 0.7 - o. Which is smaller: h or a?
a
Suppose 2020*b - 2018*b + 534 = 0. Is b <= -271?
False
Let d = 3597 - 4302. Is -704 <= d?
False
Let n = 4.69 + -4.49. Which is bigger: n or 3356?
3356
Let o = -1151850 - -17271643/15. Let v = o - -407. Let i = 1/2 - 0. Is i < v?
False
Let k be 52/(-91) + 8702/14. Suppose 4*v + 195 = -c, k = -10*c + 7*c - 3*v. Is -209 greater than or equal to c?
True
Let p = -116075/1512 + 4365/56. Let i = p - 2/189. Let f = 18 + -18. Which is greater: f or i?
i
Suppose -3*q = -16*q - 26. Let c be 26*-1 - (4 + q + -2). Let b = c + 39. Is 1 < b?
True
Let g = 1070 - 1072. Do g and -627 have the same value?
False
Let p be -1*(-1 - -1)*1. Let t be 2 + (4 - 8) - ((-174)/93 + 0). Is t at least p?
False
Let f = -368.989 - -369. Is f < 11?
True
Let k = 1452914091771/32500 + -44705049. Let v = k - -2/625. Let a(w) = 17*w + 356. Let j be a(-21). Is v at least j?
True
Let i = 812897/304 - 2674. Let a be 3/2 - 17/34. Are i and a nonequal?
True
Let n = -20 - -32. Let g = -14 + n. Let d = -770 - -772. Is g smaller than d?
True
Suppose -104 = i + 204. Let z = i - -309. Is 2/355 greater than z?
False
Let z = 116549/156940 + 1/4484. Let t = z - 8/7. Is t > 4?
False
Let m = 33853 - 43365695/1281. Let r = -5014/70455 + m. Which is bigger: 0 or r?
0
Let n = -0.04703 + -0.05297. Let d be (1 + -841)/(-4) + 3. Is d less than n?
False
Let v(z) = z**2 + 29*z + 40. Let k be (-4)/(-3) - 60/45. Let t be v(k). Which is bigger: 155/4 or t?
t
Let o = -7314 + 7375. Which is smaller: o or 59?
59
Suppose -4*k + 5*l + 408 = 6534, -10 = 5*l. Which is smaller: -1533 or k?
k
Suppose -10102*v + 10093*v = 53352. Is -5927 equal to v?
False
Let g be (-2)/5 + 0 + 1. Let n = 2659 + -2665.884. Let h = -0.884 - n. Which is smaller: h or g?
g
Let o = -268.98 - 4.02. Let b = -272 - o. Which is bigger: 35 or b?
35
Suppose 0 = 3*b + 2*b - 360. Let t(u) = 50*u - 12. Let l be t(6). Suppose 0 = 10*x - 6*x - l. Are b and x non-equal?
False
Suppose 2*c - 4*c - 32 = -4*j, -37 = -5*j + c. Suppose 0 = j*y + 105 - 112. Suppose y = -x + 3*l - 7, 6 = 2*l. Is x >= -1/60?
True
Suppose 588 = 11*s - 1761 - 973. Is 311 greater than or equal to s?
True
Let x be ((-2)/4)/(4 + 9). Let m(z) = -2*z. Let d be m(6). Let l = d + 13. Which is smaller: l or x?
x
Let r(q) = 4*q**2 + 2*q - 1. Suppose -8 = -2*j - 2. Suppose 4*s + 5*h + 5 = -5, -s = -j*h + 11. Let f be r(s). Is f > 89?
False
Let u(x) = x**3 - 58*x**2 + 12*x - 695. Let b be u(58). Which is smaller: b or 28/141?
28/141
Suppose 512*d = 1030*d - 514*d - 21652. Is d greater than or equal to 5413?
True
Let y = 4128.23 - 4128. Is y >= -75?
True
Let n be -2 - 7/(-1) - (7 - 4). Suppose -7*m = -n*m - 25. Suppose 0 = 2*v - 4*y - 30, 5*v + 3 - 83 = m*y. Is v bigger than 17?
False
Let c = -22434 - -25659. Is 3226 greater than c?
True
Suppose 135 = -5*y + b, 512*y - 2*b + 135 = 507*y. Is y smaller than -3.3?
True
Suppose -17*s = -12*s - 25. Let h(k) = k - 35. Let i be h(s). Let t = -41 - -12. Which is smaller: i or t?
i
Let z = -80370/73 - -1101. Which is bigger: z or -1/6?
z
Let p = -198.158 - -200.2. Which is smaller: 3 or p?
p
Let f(t) = -373*t**2 - 8*t + 27. Let m be f(-9). Let d = -3583528/119 - m. Let r = d + -3/17. Which is bigger: 0 or r?
r
Let q = -79449 + 5243471/66. Which is greater: -1 or q?
-1
Let h be (12 - 2)/((-4 - -8) + -6). Which is greater: h or -308/71?
-308/71
Suppose -7*k - 371 = -392. Suppose -m = -k*l + 10, 2 - 22 = 2*m - 4*l. Suppose 14 = -4*n - 26. Is n greater than or equal to m?
True
Let a = -154 + 187. Suppose -125 = -17*k + 402. Is k > a?
False
Let u = -194.3 - -193.3. Let v(l) = -l**3 + 5*l**2 - l - 14. Let k be v(-5). Which is smaller: k or u?
u
Let x(n) = -81*n - 1185. Let v be x(-21). Is 516 > v?
False
Let g be -2*3236/(-2152) + -3. Suppose 3*b = -58*j + 54*j + 9, -5*j = 4*b - 11. Which is bigger: b or g?
g
Suppose -14*m - 5 = -13*m. Let g be -1 - -6 - (7825/(-315))/m. Is 0 < g?
True
Let d be -1 - (-34)/8 - 13080/10464. Suppose -x + 4*x = 6. Suppose 0 = o + 1, 2 = -f + x*o + 4. Which is smaller: d or f?
f
Let v be ((-18)/27 + (-8)/(-30))/(10/(-25)). Which is greater: 1/1246 or v?
v
Suppose 2*t + 17 = -3*m + t, 5*t = 3*m + 5. Let r = -101 - -98. Is r < m?
False
Let y = -5026 + 5026. Which is smaller: y or 268/13?
y
Let o = -41.01919 + -0.01981. Let a = o - -0.039. Let b = 40.9 + a. Which is greater: b or 2/15?
2/15
Let f(h) be the third derivative of h**6/120 + h**4/8 - h**3/2 - 35*h**2. Let x be f(0). Let v = x - -3. Which is bigger: v or 8/19?
8/19
Suppose 4*o = -y - 26, -105*y = -106*y - 3*o - 20. Which is smaller: y or -130?
-130
Let l(o) = -o**3 - 11*o**2 - 8*o + 24. Let x be l(-8). Let a = -103 - x. Does -3/29 = a?
False
Let x = -3324 + 3339. Let i(z) = z**2 + 4*z - 5. Let t be i(-6). Let j be 114/t - 2/7. Are j and x unequal?
True
Let a be (5 - (18705/4677 + 1))/2. Let q = -12433/121602 - a. Let l be (-4)/28*1*-2. Does q = l?
False
Let r(u) = -2*u + 69. Let g = 201 - 181. Let i be r(g). Is -4 >= i?
False
Let s = 180207.2 - 180207. Let v = 99.94 + -97. Let r = 0.06 + v. Which is smaller: s or r?
s
Suppose -2*d + 184 = -4*d. Let g = 643 - d. Is 734 not equal to g?
True
Let y be ((-2)/(-2))/(-1 + 2). Let v be (-300)/155520*16*((-9)/5 + 1). Is v < y?
True
Let b = -271 - -251.7. Let c = -69.3 - b. Is 4/7 greater than or equal to c?
True
Let y(o) = -o - 16. Let i be y(24). Let b be (0 + 8)/(i/340). Let l = b - -71. Which is smaller: 0.06 or l?
0.06
Let l be (-12)/8*-2 - (290 + -4). Let s = l - -201. Is -81 bigger than s?
True
Let g be 4/(-6) - 9899/285*25. Is -871 at least g?
False
Let p(r) = -r**3 + 5*r**2 - 1. Let t be p(5). Let b be (36/2)/(13/((-91)/14)). Let k = t + b. Which is bigger: 1/2 or k?
1/2
Let n be (-4650)/9*330/1540. Which is smaller: n or -112?
-112
Suppose -5*o + 1410 = 5*q, 6 = 3*o - 15. Which is smaller: 1103/4 or q?
q
Let d be (-12)/38*(-2)/(-54). Suppose -1247 = -348*r - 1247. Is d bigger than r?
False
Suppose -4*q + 40 = 24. Let v be ((-19)/q)/((-12)/48). Is v != 88/5?
True
Suppose -8*v = -525 + 2469. Let p = 192 + v. Are -53 and p non-equal?
True
Let q be (7 - 1207101/101592) + 3. Let f = q - 1/1992. Which is greater: -2 or f?
f
Let c(g) = -5*g**3 - 2*g**2 + 16*g + 49. Let z(j) = 6*j**3 + 2*j**2 - 17*j - 51. Let w(