 = n + 730/9. Let q be (-4)/(-10) + (-14)/10. Which is bigger: d or q?
d
Let l(b) be the first derivative of -b**4/4 + 4*b**2 - 4*b - 1. Let t be l(3). Is 1 greater than or equal to t?
True
Suppose 3*m + 616 - 106 = 0. Let h be (-5)/(m/(-132)) + 4. Suppose y - 3 = 0, 0*p + p + 4*y = 11. Which is smaller: p or h?
p
Suppose k + 9 = 4*f, 3*k = -3*f + 7*k + 23. Is f > -5/357?
True
Let m = 1.1 + -1.3. Let v = -0.353 - 0.047. Which is bigger: m or v?
m
Let o = -51.954 + 52. Let b = 0.254 + o. Does -3 = b?
False
Let d(z) = z**2 - 6. Let a be (4 - 2) + (-2 - 3). Let w be d(a). Let m be (-4)/(-2)*(-4 + w). Is -3/5 less than or equal to m?
False
Suppose 3*f + 2 = 14. Suppose 4*a + 3*v - 11 = 0, 4*v - 2 = 3*a - f. Which is bigger: -2 or a?
a
Suppose y + 4*f - 1 = 6, -4*f + 8 = 0. Which is smaller: -4/219 or y?
y
Let k(h) = -h**3 - 7*h**2 + 6*h - 9. Let n be k(-8). Suppose 5*a + 75 = -5*j, -4*j - n - 53 = 5*a. Is -15 <= j?
True
Let s(l) = 4*l + 3. Let o be s(5). Let h be -2*(o/11 - 2). Let r = 0.028 + -0.128. Is h not equal to r?
True
Let w(l) = -l**3 + 3*l**2 + 2*l - 6. Suppose -5*c + 7 = 4*k, k - 21 = -5*c + 4*k. Let f be w(c). Which is bigger: f or -3?
f
Let o = -1607/7 + 229. Let p = -396 + 573. Let z = 1237/7 - p. Is z bigger than o?
True
Let h(f) = -f**3 - 10*f**2 - 11*f - 13. Let o be h(-9). Suppose -o*y + 9 + 10 = t, 16 = -4*t + 3*y. Is t at least -2/7?
False
Suppose -x - 2*z - 10 = 0, -6*z + 16 = -10*z. Suppose 0 = 4*r + 65 + 79. Let t be 1/x + r/24. Which is greater: t or -3?
t
Let j = -199 - -191. Which is smaller: j or -3/40?
j
Let j = -33311 + 766023/23. Which is greater: -5 or j?
-5
Let v = 1613528358 + -145215634703/90. Let d = -107274/5 + v. Let y = d - -149. Are y and -1 unequal?
True
Let l be (-1)/(-2 - 6/(-4)). Suppose 3*k - j = 5, 3*j = -4*k - 0*k - l. Let i = -158 - -1739/11. Which is bigger: k or i?
k
Let u = 820 + -479. Does u = 342?
False
Suppose 20 = -5*l + 120. Let q(m) = -6*m - 10. Let a be q(-5). Is a equal to l?
True
Let i(q) = q**3 - 5*q**2 + 3*q + 3. Let f be i(4). Let z be 20*(-2)/(-36)*-1. Do f and z have the same value?
False
Let t(q) = 41*q - 787. Let y be t(39). Is y equal to 812?
True
Let r = -9.48 - -9.4. Is r at least -37?
True
Suppose 4*v = 5*g + 410, 16*g + 8 = 12*g. Is 101 > v?
True
Suppose 0 = 27*l - 90*l - 3969. Which is bigger: -65 or l?
l
Let y be (-1)/(-2) - (-5)/(-2). Let k = -60 + 62. Which is smaller: k or y?
y
Let f be (6/(-5))/(9/30). Let g = f + 2. Suppose 0 = 4*c - 8*c - 4. Which is smaller: g or c?
g
Let s = -204 + 203. Let q = -1832 + 181366/99. Which is greater: q or s?
q
Let m be (-33)/42 + 0 + 1. Let k = 2601 + -2600. Is k less than m?
False
Suppose 5*l - 3*k + 0 = -15, -17 = 2*l + k. Let u be l/(-9)*9/(-15). Let n = -96 + 96.1. Are n and u non-equal?
True
Let h = 87/7 - 1605/119. Suppose 4*p + 6 = p. Which is smaller: h or p?
p
Let t = 1053 - 1066. Which is smaller: t or -15?
-15
Let x = 157 + -157.04. Is x greater than or equal to 4?
False
Let m be (-1)/((-18)/4) + (-532)/(-36). Which is smaller: 23 or m?
m
Let a = 9.78 + 0.22. Let y = a + -8. Let w = 0 - 0.2. Which is smaller: w or y?
w
Suppose 4 = -4*z, 4*k + 20 = -2*z - 14. Let f be (-12)/12*2/k. Is -1/5 smaller than f?
True
Let s be (1390/(-105) + 2)/((-2)/(-3)). Let c = 27053/7 + -3879. Let o = c - s. Which is smaller: o or 4?
o
Suppose -6*f = -7*f - 3*u + 11, 0 = -3*f + 5*u + 61. Suppose -3*v + 3*h = 6*h + 12, 2*h = 3*v + 2. Let i be (1/v)/((-6)/204). Are i and f equal?
True
Let q be ((-2)/(-4))/((-2367)/414 + 6). Which is smaller: q or 3?
q
Let l(p) = p**3 - 9*p**2 + 8*p - 5. Let v be l(8). Suppose -1230*y + 54 = -1239*y. Is v > y?
True
Let t(n) = -27*n**2 + 8*n + 12. Let v be t(-2). Are v and -112 non-equal?
False
Let w(u) = 12*u + 2. Let c be w(0). Let t(n) = -2*n**3. Let i be t(c). Let p(m) = -m**2 - 3*m + 1. Let l be p(-6). Is i at most as big as l?
False
Suppose -2*y - 5*x = -581, 9*x - 4*x = -y + 278. Is y greater than 305?
False
Let n(x) = -x**2 + x + 14. Let a be n(9). Are a and -56 nonequal?
True
Suppose -5*y = -2*y + 24. Let i = -7 - y. Are 2/19 and i non-equal?
True
Let i be ((-1)/(45/10))/(4/(-6)). Let a be 16/6*12/8. Let w be a/60*(-1 + -1). Which is smaller: i or w?
w
Suppose -2*y = -2*c + 2, 2*c - 5*c + y = -7. Suppose 3*n + 5*m = -495 - 30, 0 = 4*n - 2*m + 674. Let v be ((-6)/15)/(16/n). Is c bigger than v?
False
Let f be 33 - 29 - (0 + 13). Which is greater: f or 2.9?
2.9
Let b = -0.41 - 36.59. Let o = 29 + b. Is 0 less than o?
False
Let w = -200 - -252. Let l be 27/6*(-102)/(-9). Are l and w non-equal?
True
Suppose 4024 = 32*n + 21560. Is n not equal to -547?
True
Let f be (44/(-55))/(6/5). Do 25 and f have different values?
True
Suppose 3 = -3*z, -5*v = -4*z + 3*z - 46. Let b = v - 10. Which is bigger: b or -3/5?
-3/5
Let k be (-256)/16 + (-1 - 0). Let f(a) = -a - 18. Let g be f(k). Let x be -1 - g - (2 - 1). Is x bigger than -1/29?
False
Let j = -31.93 - -32. Let x = 24.17 + -24. Let g = j - x. Which is smaller: g or -2/9?
-2/9
Let o = 24 + -10. Let y = o - 18. Let b = y + 8. Are 0 and b nonequal?
True
Let f(w) = -w + 7. Let s be f(8). Let t = -16 - -16. Suppose -d = 1 - t. Are d and s nonequal?
False
Suppose 0 = -46*i + 17*i + 580. Do 18 and i have the same value?
False
Let h = 2247391 + -141806183/63. Let m = h - -22824/7. Let x = m + 240. Which is greater: x or 1?
1
Let j be 8/14*350/(-450). Suppose -4 = 2*t + 2*t. Which is smaller: t or j?
t
Let y = 2479 - 17385/7. Is y equal to -5?
False
Let s = -3.28 + 0.28. Let m = -109 + 112.02. Let c = s + m. Which is greater: -0.1 or c?
c
Let y be 68 + 4*2/(-4). Let c be 107/(-6) - 11/y. Is -16 greater than c?
True
Suppose 5*i - 5*k = -135, 0 = k - 0 + 3. Let g be ((-13)/(-26))/(1/i). Let x be (-2 + (-24)/g)/2. Is -0.2 bigger than x?
False
Let g be 3/4 + (-322670)/(-174200). Let m = 2/871 - g. Let r = 34/15 + m. Which is smaller: -14 or r?
-14
Let w be ((-2)/3)/(1/(-6)*4). Is 103 equal to w?
False
Let t = -45300192/2677 + 16922. Do 1 and t have different values?
True
Let x be -2 + 14/10 - (-1008)/855. Are x and 1 equal?
False
Let u = 114 + -109. Suppose r - 6*r + l - 50 = 0, 4*l = -u*r - 75. Is r > -14?
True
Let o be (252/(-35))/(6/20). Let f(k) = -30*k + 7. Let q be f(1). Which is bigger: q or o?
q
Let d(z) = -3*z**2 + 23*z - 14. Let l(m) = m**2 - 8*m + 5. Let t(g) = 6*d(g) + 17*l(g). Let a be t(0). Are -11 and a equal?
False
Let u(m) = -3*m**3 - 3*m**2. Let k be u(-2). Let n(b) = -54*b - 323. Let g be n(-6). Do k and g have the same value?
False
Let t be 2/(-2) + (25740/(-2316))/(-11). Is 1 greater than t?
True
Suppose 3*v - 4*u = 23, u + u = 2*v - 16. Suppose -v*s - 4 = -7*s. Let c be (s/6)/((-13)/156). Which is greater: 1/2 or c?
c
Let b(w) = w**2 + 7*w + 2. Let n be ((-8)/12)/(3/27). Let j be b(n). Let k = -8 - -4. Is k greater than j?
False
Let l = 1433/85 + -732/17. Is -27 not equal to l?
True
Let v = 743/440 + 24/55. Is v >= 2?
True
Suppose -3*s + 7*s = 0. Let a be (-25)/(-165)*-3*(-3 + 2). Is a >= s?
True
Let j = -4821/5 + 964. Is j smaller than 0?
True
Let g(i) = i**2 + 5*i - 6. Suppose 4*w = w - 18. Let o be g(w). Let h be ((-16)/(-30))/(16/(-40)). Which is smaller: o or h?
h
Let h be 7/(1 + -29) + (-247)/4. Let r be h/(-306) + (-10)/45. Which is smaller: 1 or r?
r
Let m = -18 + 19. Let u be 14*12/(-52) + 3. Is m at most as big as u?
False
Let o(p) = 177*p + 157. Let r be o(2). Which is smaller: r or 512?
r
Let w be (2*-1)/(-2 + 0). Let f be (91/2)/((-1)/(-2)). Let x = -90 + f. Is x greater than or equal to w?
True
Let h = -5.3 + -3.5. Let q = -329.9 - -330. Which is greater: h or q?
q
Let w = 51.5 + -67. Let k = 2.5 + w. Let d = 14 + k. Which is smaller: d or -4/3?
-4/3
Let p(l) = -l**2 - 29*l + 63. Let b be p(-31). Which is bigger: b or 1/142?
b
Suppose 10*v = -4*h + 13*v + 48, -4*v = 16. Is h at most as big as 108/11?
True
Let b(y) = 5*y + 2. Let d be b(2). Suppose -2*v = d - 2. Let q = 0 + v. Which is bigger: q or -3?
-3
Let q = 4.237 - 0.037. Let v = -2.5 + q. Let f = v + -1.65. Which is smaller: f or 1?
f
Let b be (-20)/(-15) - 15/(-9). Suppose 2*a + 2*c + 2*c = 8, -b*a = -4*c - 2. Which is smaller: 4 or a?
a
Let t = 0.265 - 3.265. Which is bigger: 43 or t?
43
Let k = 1022459/7 - 145765. Let y(i) = -39*i**3 + 2*i**2 + 3*i - 2. Let x be y(2). Let c = k + 