 5*y - 11596, -5*y + 12514 = i + 932. Which is bigger: y or 4/5?
y
Let c be 4 - 5914 - (-18 - (-44 + 22)). Which is smaller: -5915 or c?
-5915
Let g = -775 + 775. Let q(v) = 60*v - 92. Let s be q(g). Is -97 != s?
True
Let b(v) = -103*v**2 + 326*v + 72. Let z be b(9). Is z != -5338?
True
Let p be ((-4544056)/(-220))/(278/(-10)). Let f = p - -743. Which is greater: 0 or f?
f
Let a = -3.216 - -2.826. Let r be 2/(-8)*(0 - 0). Is a != r?
True
Let c = 60.92 + -62. Suppose -50 = -8510*r + 8460*r. Is c < r?
True
Let x = 1116 - 1124.256. Let j = x + 8.2. Let q = -2.056 - j. Which is greater: -0.09 or q?
-0.09
Let k = -186/749 + -4/107. Suppose 2*c + 10 = 4*b, 4*b - 3*b + 4*c + 20 = 0. Suppose q = -f - 3, b*f + 3*q = 3*f - 15. Is k smaller than f?
True
Let x be (-17 + 180/28)*(-749)/4. Is 1979 > x?
False
Let r(x) = -2*x**2 + 138*x + 434. Let t be r(72). Which is smaller: -60 or t?
-60
Let q be (-9)/(1*(-1)/4). Suppose 45*x = 40*x + 4*k + 205, -2*x - 2*k + 82 = 0. Which is smaller: q or x?
q
Let j be 4/((1 - -2) + -2). Suppose 0 = 67*a - 72*a. Suppose a = 11*n + n - 36. Which is smaller: n or j?
n
Let i = 8665/3 + -61564/21. Which is smaller: i or -44?
-44
Let w be 1014/4*40/30. Let l = -9461/28 + w. Let h = -474 - -474. Does l = h?
False
Suppose 2*p - p = 2. Let j be (-130)/(-104) + p/(-8). Is 4/11 at most as big as j?
True
Let y be (-72)/42*(-70)/2. Let b = 48 - y. Let t = b - -12. Which is smaller: t or 2?
t
Let b be ((-1492)/894 - (0 + -1)) + (-1594)/(-2391). Let c = 42 - 42. Is c >= b?
True
Let p be (-16936)/(-88) - 82/451. Is p at most 192?
False
Let q = -0.3594 + 1.3594. Is q at most -1266?
False
Let r = -35235/11396 - -1/1036. Let f be (-8 - -7)/((-2)/(-4)). Is f > r?
True
Suppose -4*g = 3*q - 8, 5*q - 2 = -16*g + 15*g. Suppose -j = -z + 5*z + 13, q = 2*j - 2*z - 14. Is 42/19 greater than j?
False
Let u = -7751 + 7750.9. Is u at least -183?
True
Let d(f) = -f**3 - 44*f**2 - 127*f - 165. Let z be d(-41). Do z and 0.278 have different values?
True
Let w be (-9)/(-12) - ((-99)/276)/((-153)/309). Do 0 and w have different values?
True
Suppose -119631 = 64*a + 108*a + 429393. Is a greater than -3190?
False
Let k = -310 - -4040/13. Suppose -2*d = 4*c - 30, 4*c + d - 8 = 3*c. Suppose -2*b - 12 = -4*j, 0 = -4*j + 3*b + c + 7. Are k and j non-equal?
True
Let l(t) = 13*t**2 + 37*t - 1. Suppose -20*f - 81 = 7*f. Let p be l(f). Are 80/13 and p non-equal?
True
Let z = -36 - -34. Let d(u) = -2*u**3 + u**2 + 3. Let v be d(z). Suppose 4*h = 5*y + 11, 0 = 2*y + y + 5*h - v. Is y at least as big as -2/9?
True
Let s(n) = -n + 30. Let f(v) = 31. Let l(x) = -3*f(x) + 2*s(x). Let i be l(-17). Let k be (-8)/(-78)*(-6)/4. Which is greater: k or i?
i
Let b = 27.258 - 22.06. Let h = -0.198 + b. Is h less than or equal to 3/4?
False
Let i(d) = 2*d**2 - 473*d + 12389. Let v be i(30). Let m be (-2 + 1)*(3 - 1). Let k be 0 + ((-6)/(-7))/m. Which is bigger: v or k?
k
Let b = -15 - -14. Let x = -50 - -52. Suppose 0 = 2*t + 3*j + 13, t + j = -8 + x. Is b greater than t?
True
Let i = -0.914 + 5.584. Let y = 1.67 - i. Is 1/37 at most y?
False
Suppose -1273 = -16*o - 2789 - 1796. Is o <= -164?
True
Let t be ((-20)/265)/(-4 - 2). Let p be 5 - (3345/(-5))/3. Let b = 227 - p. Is b <= t?
True
Let l be ((-7)/4)/((-316)/(-208) - 45/30). Which is smaller: -85 or l?
l
Let k(p) = -577*p + 20. Let f be k(-10). Let l be (-10)/6*2/(20/f). Are l and -966 equal?
False
Let o be -6*((-14 - -16) + 69511/(-34755)). Which is smaller: o or 0?
0
Let z(o) = -o**2. Let g(p) = -4*p**2 - 13*p + 21. Let w(i) = g(i) - 5*z(i). Let v be w(9). Let d be 2 - 2 - (0 - (-5)/v). Are -0.1 and d equal?
False
Suppose 44 = 4*x + 4*u, 0 = -x - 4*u - 4. Let l be (-26)/(-39)*36/32 + (-679)/(-44). Is x at least l?
False
Suppose -3*p - 101 = f - 2*f, 4*f = -4. Let t(b) = -4*b**2 + 16*b + 2. Let w be t(4). Suppose -v + w*l - 25 = 0, 3*v + 26 + 77 = -l. Which is smaller: p or v?
p
Let y(w) = -3*w + 3. Let v be y(-4). Let l(d) = -d**3 + 4*d**2 + 4*d + 9. Let c be l(5). Suppose -6*i + v = -2*p - i, c*p - 4*i = -12. Is 4 > p?
True
Suppose -4*m + 130 = -2*m. Let s(o) = 285*o - 1647. Let d be s(6). Which is greater: m or d?
m
Let d(b) = 7*b**3 + 21*b**2 + 32*b + 91. Let u(k) = -3*k**3 - 11*k**2 - 16*k - 46. Let t(j) = 2*d(j) + 5*u(j). Let h be t(-12). Are 2/65 and h nonequal?
True
Let g = 0.138 + -0.404. Let s = -3693 - -3692.934. Let n = g - s. Is 0.2 smaller than n?
False
Let y = 0.41 + -0.01. Let g be (2/(-15))/((-1)/(-5)). Are y and g unequal?
True
Let l be ((-7)/(-2) + -1)*272/171020. Let z be 3/(-9)*(-2 + 2). Are l and z equal?
False
Let h = 0.296 + -0.196. Let y = 10.01 - 0.41. Let w = y - 12. Which is smaller: w or h?
w
Let i = -16 + 16. Suppose -2*p - 204 + 338 = i. Is p smaller than 67?
False
Suppose -403*y + 207*y = 1372. Which is greater: y or -173/21?
y
Let b be 16904/1188 - -20*(-18)/(-990). Which is bigger: 16 or b?
16
Let k be 0 + (0 - 2 - -552). Suppose -l + 6*l = -k. Let a be (3/(-4))/((-132)/l). Is -1 bigger than a?
False
Let t(u) be the third derivative of -u**5/60 + u**4/2 + 16*u**2. Let d be t(12). Let j be ((-2)/(-7))/((-108)/(-81)). Which is smaller: j or d?
d
Let v = 10 - 2. Let i = -3 + -7. Let s = i + v. Is 1 less than s?
False
Let j = -26190 + 44813. Is j less than 18623?
False
Let j(t) = t - 7. Let q be j(11). Let x be (-42)/q*1/9. Suppose -8*m + 20 - 20 = 0. Is m smaller than x?
False
Let z(k) = -7*k. Let u be z(-2). Suppose 2*m + 2 = 2*l - 2, -3*l - 2*m = u. Let t = 564 + -2829/5. Which is smaller: t or l?
l
Suppose 27*x - 31*x + 732 = 0. Suppose -8*d + 257 = -x. Is -1/3 less than d?
True
Let t = 361770236664253/31822273176142374 + -2/106080608757. Let z = t - -1/5202. Is -1 less than z?
True
Let i(l) = -l**2 - 13*l + 35. Let j be i(-15). Let t = 420 + -414. Is t > j?
True
Let l be -17*(-8 - -33) - 6. Let h = 13360/31 + l. Which is smaller: -3 or h?
-3
Suppose -4*o + 13 = 3*j, -j - 3*o + 12 = 2*j. Suppose -11*y + 19*y = 232. Suppose -d = y + j. Is d smaller than -32?
False
Let i be (-6)/(-4) - (-2*3393/252 + 7). Let o be (-216)/(-10) - (-2)/5. Is i < o?
True
Suppose 74*w - 216 = 20*w. Let r(i) = -5*i**3 + 6*i**2 + 3*i - 7. Let t be r(w). Which is bigger: -218 or t?
-218
Suppose 0 = -19*h - 17 + 74. Suppose -h*a + o = 4*o + 315, -5*a - 495 = -o. Is -100 bigger than a?
False
Let k = -993 + 848. Which is smaller: k or -17?
k
Let z = 1645 - 1762. Is -1/26 >= z?
True
Let m(b) = -6*b - 9. Let j be m(-2). Let f(w) = -19*w + 22. Let y be f(j). Which is smaller: -40 or y?
-40
Suppose -14 = -2*g - f, 4*g - 28 + 8 = 2*f. Is g != 266/53?
True
Let k(w) = -21*w**2 + 87*w + 168. Let r be k(-2). Is r bigger than 27?
False
Suppose -78 + 8762 = -26*k. Are k and -324 unequal?
True
Suppose -314*t + 320*t = 534. Which is smaller: t or 104?
t
Suppose -5*k = -2*y + 4*y - 44, -3*y = -5*k - 16. Let i be (5 - 102/y)/((-3)/18). Which is bigger: i or 15?
i
Let a = -1.27 - 4.83. Let c = -5.466 + 4.566. Let o = c - a. Which is bigger: o or 2/7?
o
Let i be (102/(-9) - -11) + (6 - (-7890)/18). Is i smaller than 450?
True
Suppose m - 425 = -432. Let i be ((-225)/36 - m) + 34/8. Which is greater: i or 11/2?
11/2
Let w = -185350/793 - 326/61. Is -239 equal to w?
False
Let k = 6614.13 - 6564. Let w = k - 50. Let a = w - 17.13. Which is smaller: 0.2 or a?
a
Let f = 29703/16 - 1866. Let l = 37/4 + f. Suppose -q - 3*b + 8 = 0, -3*q = 4*b - 8 - 1. Are l and q equal?
False
Let k(z) = -z**2 + 20*z + 93. Let p be k(24). Let f be ((-1728)/60)/(p/60*-4). Is f <= -1/2?
True
Let v(p) = 7*p**2 + 40*p - 12. Let o be v(-6). Which is greater: o or -17/40?
o
Suppose 0 = 17*t + 21 - 242. Let v(q) be the third derivative of -q**4/24 + 17*q**3/6 - q**2. Let k be v(t). Which is smaller: k or 3?
3
Let z(s) = -s**3 - 17*s**2 - 18*s - 19. Let v be z(-16). Suppose 2*o = 2*h - v + 39, o - 43 = 4*h. Which is greater: -6 or h?
-6
Suppose -37*f + 41*f + 8 = 0, 0 = -4*v - 5*f - 13298. Is -3321 smaller than v?
False
Let k = 2633636/3113 + -9308/11. Are k and 1 unequal?
True
Let o(i) = -i**2 + 9*i + 2. Let h(z) = 9*z**3 - z**2 + 1. Let g be h(1). Let t be o(g). Let w = 3894.21 - 3894. Is t >= w?
True
Let h be 34/16 - (8 + (-378)/48). Suppose h*l + 2*l = -152. Let a be (-6)/(-2)*l/(-57) + -3. Is -1/223 at least as big as a?
True
Let h = -119538/5 + 3341923856/139