er: 3/2132 or h?
3/2132
Let s(m) = -m**3 + 6*m**2 - 2*m. Let y be s(3). Let i = y + -11. Suppose 0 = -i*k + 6*k + 4. Is k < -1/7?
False
Let d(w) = w**2 - w - 10. Let s be d(-3). Suppose -s*u - r = -69, -r - 3*r = 20. Let b = -36 + u. Which is smaller: -2/57 or b?
-2/57
Let y = 45 + -76. Let i = y + 61. Which is smaller: i or 33?
i
Let g = -2854 - -4416. Which is smaller: 1561 or g?
1561
Let y be 2*(2/19 - 753815/(-4066)). Is -1/5 less than y?
True
Let x be (-34357)/(-91805) - 2/5. Let m = 3305/427 + x. Which is smaller: 8 or m?
m
Suppose -33*b + 10*b - 12*b = 153895. Which is greater: -4398 or b?
b
Let z = -172061/3971506 - 9/8806. Which is bigger: z or 0?
0
Let a be 1/(2/(-5)*1/(-2)). Let h be 16/56 + (1 - a/(-7)). Let r = 1 - h. Is 2/77 < r?
False
Let g = -39 + -77. Let x = -120 - g. Is x != 5.3?
True
Let p(o) = -o**3 - 5*o**2 + 23*o - 6. Let f be 264/(-40) + (2 - (-36)/(-15)). Let h be p(f). Which is greater: -71 or h?
h
Suppose 2*t = -a - 3936, -3*a - 2*t = 10594 + 1214. Which is greater: a or -3934?
-3934
Let u = 21961/16 + -1373. Suppose 3*l = 2*m + 17, -4*l + 29 = -3*m + 6. Is u < m?
False
Suppose 9*n = -350*n - 1750993 - 1707972. Are n and 1 non-equal?
True
Let q = -42980/39 - -3320/3. Suppose 7*c - 3*c - 16 = 0. Which is greater: q or c?
q
Let t = 853 - 832. Suppose 0 = 26*a - 47*a - t. Is a greater than or equal to -10/17?
False
Suppose 3*o - 2*s - 692 = 0, 5*o + 4*s - 722 = 2*o. Suppose y + 4*m = 229, 18*y - 14*y - 3*m = 935. Are y and o nonequal?
True
Suppose 13*v - 12*v = 72. Suppose 2*p = -4*x + v, 0 = -5*p - x - 3*x + 162. Let j be 48/p*((-26)/6 - -1). Is -6 < j?
True
Suppose -6*b - 14*b + 4731 = -b. Is 255 greater than b?
True
Let u = 305 + -305. Which is smaller: 110 or u?
u
Suppose -163*l = -261*l + 163*l - 4745. Which is greater: -243 or l?
l
Let n = -2468 + 9649/4. Let c = 56 + n. Is 57 greater than c?
True
Let b be (-140)/(-175) - -2*(-1621)/(-10). Let t be 4/(-26) + ((-3520)/b)/(-8). Which is bigger: t or 1?
t
Let d(s) = -145*s - 125. Let f be d(-17). Let k = f - 124016/53. Is 0 smaller than k?
True
Let f be 79 + 1 + 0 + 4. Suppose -2*r + f = -4*b + 3*r, 0 = 5*b + 2*r + 72. Is b at most as big as -16?
True
Suppose 6 = 3*l - 4*x, -3*x = -6*x - 9. Let m(t) = 40*t**2 + 67*t - 4. Let h be m(l). Let o = 6 + -4. Is h greater than o?
True
Suppose 0 = 102*x + x - 5665. Are 53 and x non-equal?
True
Let k = -5009 + 4876.7. Which is smaller: k or -2?
k
Let v be 3 - (-28)/(-12) - (-20)/(-15). Suppose 7 = -4*b - 33. Let u = 12 + b. Are u and v equal?
False
Let t(f) = -8*f + 35. Let y be t(4). Suppose 3 = -3*k + y*q, 3*k + k + 16 = -2*q. Let w be (4/(-8))/(2/(-312)*k). Which is bigger: -27 or w?
w
Suppose -3*c - 37 = -19, 2*x - c = -1222. Which is bigger: -608 or x?
-608
Let d = 50942627/2817 - 18084. Is 1 at least d?
True
Suppose 4*a - 9*s + 4*s + 1983 = 0, 0 = 2*a + 5*s + 1029. Let t = a - -503. Is t > -104?
True
Let w be 60/(-10) + 0 + (-836)/(-64). Which is greater: w or 0?
w
Let v be (0/(-14))/(-1*3). Suppose v = -3*q - q + 104. Let z = -47 + q. Which is greater: -22 or z?
z
Suppose 5*w + 20 = 0, 5*w + 14 = b - 1. Is b at least -2.51?
False
Let h(q) = -24*q + 313. Let b be 7 - (-18)/9*3. Let s be h(b). Is s at most -3/320?
False
Let z be 992/2268 + 86/(-645)*20/6. Do -1 and z have the same value?
False
Suppose -x - 4*d + 644 = 0, 0 = -4*x + 4*d + d + 2534. Suppose -1900 = -3*k + 1301*y - 1305*y, -3*k - 3*y = -1902. Is k >= x?
True
Suppose -8*m = -3*m + 10. Suppose -4*q + 162 = 3*v, 2*v - 2*q = -5*q + 108. Let x = v + -57. Which is bigger: m or x?
m
Suppose -23*u + 31*u + 1192 = 0. Let c(b) = b**2 + 28*b - 32. Let t be c(-23). Which is smaller: t or u?
u
Suppose 998060 - 1002463 = -37*n. Let p be (0 + (-238)/6)*-3. Do p and n have different values?
False
Suppose -83*q - 42801 = -30014 + 50459. Which is greater: q or -763?
q
Suppose -2*c + 16 = 2*u, 3*c = -c - u + 26. Let x be c/2 - (22 - 15). Is -32/9 at least as big as x?
True
Let z = 345 - 230. Suppose -7*p + 39 = -z. Is p <= 20?
False
Let j = -14 - 28. Let h = j + 42.22. Let g = h + -0.08. Do -1 and g have the same value?
False
Let k = 2.04 - -128.96. Let b = -183 + k. Is 1/2 bigger than b?
True
Let f = -2/106715 - -17928374/13552805. Which is bigger: f or 2?
2
Suppose 0 = 4*f - 3*s - 185, 2*f + 123 = 5*f + 3*s. Suppose -18*j + 10*j + 1032 = 0. Suppose -j*b + 135*b = 264. Does b = f?
True
Let b = 673/33525 + -5/447. Suppose 2*y - 2*r = r + 94, 4*r - 228 = -4*y. Let l = 53 - y. Is l <= b?
True
Let q = 187 - 112. Let n = -58 + q. Is n at least as big as 88/5?
False
Let a be 84/72 + 1/(-2). Which is bigger: -5.16 or a?
a
Let q(o) = o**2 + 3*o - 4. Let u be q(-4). Suppose -5*s + 24 + 31 = u. Suppose 4*j - 7 = 5*h + s, j = -4*h - 6. Does 0 = h?
False
Let n = -1759 + 1055. Let p = n + 718. Which is smaller: p or 2/3?
2/3
Let o be 1*-3 - ((-5 - -5) + -17). Let v be (-1539)/256 + (o - 8). Which is greater: 0 or v?
0
Suppose 0 = -2*x - 5*s - 42 + 189, 2*x - s = 93. Let t(w) = -w**3 + 8*w**2 + 5*w + 7. Let l be t(8). Which is greater: l or x?
x
Let s = -168 - -176. Let c be (-5)/((-280)/s)*2. Is 76 not equal to c?
True
Suppose 42*d - 40*d = -6. Which is bigger: d or -156/77?
-156/77
Let l = -10 + 10. Suppose 3*h = -l*h. Let c = -2/175 - 17/700. Is h greater than or equal to c?
True
Suppose 29*a - 36 = 28 + 81. Is a < -1473?
False
Let s = 7898 - 86899/11. Which is greater: -1 or s?
-1
Let i be (-1 - -1) + 2 + -1. Let r = 276 + -306. Let f be ((-12)/(-45))/(-123*4/r). Is f at least i?
False
Suppose -2*b - 27 = -5*p, -p = 13*b + 23 - 15. Which is bigger: -1/1354 or b?
-1/1354
Suppose -n + 0 + 3 = 0. Suppose -h + 3*h + 10 = 4*d, -5 = 4*d + n*h. Let l = -16/87 - -187/2436. Is l at most as big as d?
True
Let b = 0.072 + 0.002. Let q = -0.009 - b. Let m = 0.183 + q. Is m at most -39?
False
Let p be 1352/6 + 6/(-6). Let l = p - 221. Let m = 10 - 10.1. Is l smaller than m?
False
Let j be (-1)/22*(-1 + 13). Let x(f) = 20*f - 117. Let o be x(6). Suppose o = -20*q - 17. Which is bigger: j or q?
j
Let u(a) = -a**3 + 3*a**2 + 5*a. Let z be u(4). Suppose -8 = -z*f - 4*q, 7*f - 2*f + q - 2 = 0. Let g be -31 + f + -2*(-4)/(-8). Does g = -33?
False
Let c = -8665 - -9175. Are c and 512 non-equal?
True
Suppose 12*x = 15 + 21. Suppose 4*l + 235 = -2*f - f, -185 = x*l + 4*f. Let j be 1 - l/(-45) - 206/(-198). Is 1 not equal to j?
True
Suppose 4*s - 3*m = -248, -5*m + 233 = -5*s - 82. Suppose 2*b = d - 123, 0 = b + d + 4 + 50. Is s greater than b?
False
Let r be (-429)/(-44)*(-8)/3. Let d = -26 - r. Let j be 0 + d + (-1)/(-7). Which is bigger: j or -2?
j
Let r(b) = -b**2 - 8*b - 11. Let m be r(-6). Let a be (-4)/8 - (3 + -2 - m). Suppose 5*u + 17 = 6*u. Which is bigger: a or u?
u
Let n = -45 - -61. Let z = 33 + n. Let w = z - 50. Which is greater: -5 or w?
w
Let o = -1241.053 - 31.047. Let l = 1336 + o. Let f = -64 + l. Are 1 and f nonequal?
True
Let j = 90.208 + -0.208. Let b = 83 - j. Suppose -v + 2*z + 0 = -5, -5*z = v + 2. Which is smaller: v or b?
b
Let b = -38.309 + 38.209. Which is bigger: 704 or b?
704
Suppose -3*w + 4*j - 1 = 73, -j + 5 = 0. Suppose 4*k = 8, -432 = 4*z + 3*k - 7*k. Let a be -6 - (-119)/21 - z/(-6). Is a at least w?
True
Let h = -3178.9 + 2999. Let p = h - -180. Which is smaller: p or -57?
-57
Let y = -4284 - -4282. Is y bigger than -890?
True
Let k be (5 + -1)/(3/4). Suppose -6*c + 66 = 5*c. Let z be (-1)/((-15)/c) - 126/(-35). Is z < k?
True
Let f = 1885 - 1845. Which is greater: f or 79/2?
f
Let q(x) = -11*x + 97. Let b be q(18). Let a = b + 238. Which is smaller: a or 138?
a
Let r = 39 + -18. Suppose -63 = -n + r. Let g be (n/63)/(4/(-18)). Which is greater: -7 or g?
g
Suppose 4*u - 6604 = 4*a, 3*a - 3*u = 6*a + 4983. Are -3309/2 and a equal?
False
Let s(x) = -x**3 + 8*x**2 + 11*x - 5. Let m be s(9). Suppose m*a = 22*a - 342. Which is smaller: 41 or a?
a
Let o = 11874 - 10572. Is o at most as big as 1298?
False
Let b(p) = -p**2 + 6*p + 24. Let r be b(0). Let m be (-2 - 2)/r - 15/18. Which is smaller: -7/3 or m?
-7/3
Let u be (-369)/21 + (-2)/(-4)*-2. Let o = 19 + u. Suppose 0 = 14*y + 21 - 7. Is y at least o?
False
Let m(i) = -5*i**2 + 56*i + 723. Let w be m(19). Let k(z) = -z**3 - 9*z**2 + z + 9. Let h be k(-9). Is h at most as big as w?
False
Let k = -5754527/223 + 25805. Is 