ller: s or 9?
s
Let j(o) be the first derivative of -16*o**2 + 16*o - 2. Let w be j(7). Let n be (-1)/2 + (-328)/w. Is n != 1?
True
Suppose -8098 + 36883 = 57*t. Is 508 >= t?
True
Let a(j) = j**3 - 6*j**2 - 8*j + 16. Let u be a(6). Are u and -65/2 unequal?
True
Suppose 19 + 11 = -5*c. Let o = -72 + 80. Suppose 16 = -3*u - o. Is c < u?
False
Let x(h) = 34*h**2 - 7*h + 5. Let g be x(2). Which is smaller: g or 128?
g
Let j = 11 - 5. Let l be 8/30*j + -2. Do 0 and l have different values?
True
Let f = 7/1261 + -13005/1261. Which is smaller: f or -9?
f
Suppose 0 = -5*i - 0*i + 290. Let k be (-24)/108 - i/(-126). Let o = k - -1/21. Is o at most as big as 10?
True
Let r(g) = 3*g + 10. Let i be r(-4). Let y be 0 + (i/44)/((-5)/240). Is y equal to 1?
False
Let j = -0.322 + 0.082. Let v = -21.76 + 23. Let k = v + j. Are k and -12/5 unequal?
True
Suppose 4*v - 7 + 3 = 0. Let i be -7*((-1377)/90 - -15). Which is smaller: v or i?
v
Suppose -13*a = -18*a + 55. Let u(d) = -1 + 2 - 11*d + 4 - 3 + d**2. Let h be u(a). Is 3 at most as big as h?
False
Let h = -37.97 - -49. Let q = h + -11. Let u = q + -3.03. Which is smaller: 0 or u?
u
Suppose 5*v - 6 = -2*h + 6*v, -2*h + 3*v = -2. Let o = 47 + -46. Is h at least o?
True
Let b be 9/12 - (-13)/4. Let r be b*(2 - 0 - 4). Are -20/3 and r non-equal?
True
Let f = -1944 - -1964. Let l be ((-2)/(-4)*2)/3. Is l at most as big as f?
True
Let o be 4479/99 + 1/(-3). Let m = o - 45. Is 1 not equal to m?
True
Let x = 979 - 4901/5. Is x bigger than 0.023?
False
Let x be (-12)/2*(-9)/((-27)/46). Is -90 bigger than x?
True
Let h(p) = -p**3 + 18*p**2 + 19*p - 8. Let l be h(19). Which is smaller: -1 or l?
l
Let z = 245 + -240. Is 35 greater than or equal to z?
True
Let q be -6*(0 - 2 - 50/(-20)). Let m be (-4 + (-4 - -7))/q. Let x = 0.7 + -0.5. Is x greater than or equal to m?
False
Suppose -4*y + 19 = -3*g, -8*g - 11 = -y - 6*g. Let v be 6/(-18) + 2/6 - y. Which is smaller: v or -7/11?
v
Let f be (-10)/(140/886) + (-4)/(-14). Are f and -58 nonequal?
True
Let g = -623 + 615. Is g greater than -8?
False
Let h = -66 - -77. Which is greater: h or 4?
h
Let h = -29 - -30. Let t(i) = -i**3 + 4*i**2 - i + 9. Let f be t(4). Suppose -3*q + 2 = -a - 5, 2*q - f*a = 9. Is h equal to q?
False
Let x be 18/(-45) + 64/10. Let l be (x/8)/(-1 - -2). Is l at most 3?
True
Let y be (40/(-320) - (-210)/16)*-8. Which is greater: -109 or y?
y
Let c be 11136/368*(-1)/(-4). Which is smaller: c or 9?
c
Let m = 320 - 503. Which is smaller: -182 or m?
m
Let a = -54 + 56. Let k be (a/(-4))/(2/(-4)). Which is bigger: k or 1/5?
k
Let l = -1/22 + -41/66. Let w(p) = 2*p**2 + 7*p - 1. Let s be w(-6). Suppose -2*t - 23 = -j, s = -4*j + 7*j + 4*t. Which is greater: j or l?
j
Let j be 8859/924*4 - (-6)/2. Let r = 370/11 - j. Which is greater: r or -9?
r
Suppose 11*n - 184 = -173. Which is greater: -0.251 or n?
n
Suppose 3 + 12 = 3*a. Let q(n) = n**2 + 6*n + 6. Let s be q(-4). Let u be (-1 + s + a)/1. Which is greater: 1/3 or u?
u
Let t(q) = -q**3 - 4*q**2 + q - 6. Let y be t(-6). Let f = y - 39. Is 21 less than or equal to f?
True
Let j be ((-216)/(-10))/((-84)/(-600)). Let n = -154 + j. Let d(l) = -l - 1. Let q be d(0). Which is bigger: n or q?
n
Let c = 0.3 + -0.2. Let s be ((-3)/7)/(-4*3/(-8)). Is c at most s?
False
Let k(s) = s**3 - 15*s**2 + 12*s + 18. Let i be k(14). Suppose 24 + 16 = -4*b. Do i and b have the same value?
True
Let f = 1537 - 1546. Let m be (-1 - 3) + -1 + 2. Which is smaller: m or f?
f
Let d = -347.8 - -325. Is 1/3 < d?
False
Suppose -5*j = -r + 57, 6*r = 3*r - j + 235. Which is greater: r or 78?
78
Let d be ((-11)/(-2) - 4)*(-14)/(-3). Let n(p) = -p**3 + 7*p**2 + p - 8. Let j be n(d). Let a = -297 + 3269/11. Which is bigger: a or j?
a
Suppose 3*p + 18 = 2*p. Let h be 22/18 - (-4)/p. Which is smaller: h or -16?
-16
Let o be 770*4/((-48)/(-4)). Let d = -240 + o. Is d not equal to 18?
True
Let c = -11451/7 - -1633. Which is bigger: c or 1/2?
1/2
Suppose 32 + 52 = 14*u. Suppose -30 = -4*z - u*z. Let v be (-4)/(-14) - 34/(-28). Which is smaller: z or v?
v
Suppose -3*b = 4*b - b. Is -15/52 equal to b?
False
Let c = 256 + -8962/35. Suppose -4*y + y - 4*f - 17 = 0, -4 = -2*y + 5*f. Let a(d) = -d**3 - 4*d**2 - 4*d - 4. Let h be a(y). Are c and h non-equal?
True
Let z(w) = w**2 - 2. Let n be z(2). Let l be (-1 - 622/42)*(-15)/(-5). Let r = l + 1702/35. Which is smaller: n or r?
r
Let x(h) = -10*h**2 + 4*h + 1. Let k be x(3). Suppose -2273 = 6*y - 1811. Is y greater than k?
False
Suppose m + 14 + 3 = s, 3*m - s = -61. Let r = m - -23. Suppose a + 2 - 3 = 0. Is a bigger than r?
False
Suppose v + 2*v + 78 = 0. Let o = -5629 + 5604. Does v = o?
False
Let y be 1/(-5) - 4444/55. Let s = -85 - y. Which is greater: s or 0?
0
Let z(b) = b**2 + 3*b - 29. Let l be z(4). Is l less than 0.55?
True
Suppose v = -4*y - 11, 2*v + 0*y - 33 = 3*y. Suppose -2*f = -2*t - 10, t = -5 + 10. Is v at least f?
False
Let g = 1800 + -1803. Is -39/20 < g?
False
Suppose -4*h - 7 = -11, 3*k + 4*h = 7. Let r = -2 + 5. Which is smaller: r or k?
k
Let q = -3/7651 + 696307/168322. Which is smaller: 5 or q?
q
Let t be (-6)/(-12) + 1/(-2) - 0. Is t greater than or equal to -11/105?
True
Suppose 5*q - h - 386 = 144, 0 = 3*q - 2*h - 325. Let x = q - 92. Let l = 21 + -9. Is l greater than or equal to x?
False
Let l(v) = -9*v**2 + 15*v - 7. Let f be l(-4). Which is smaller: -210 or f?
f
Let w(u) = 1. Let m(o) = o**2 - 8*o - 16. Let f(k) = m(k) + 6*w(k). Let c be f(9). Which is greater: -12 or c?
c
Let o = 1 + 0. Let m = -128 + 816. Let t = 21326/31 - m. Which is smaller: t or o?
t
Let p be -4*((0 - 1) + 2). Let g = -126 - -117. Let v be (g/(-6))/(2/p). Which is smaller: v or 1?
v
Suppose -27*r - 1410 = -22*r. Which is greater: r or -283?
r
Let u = -1334/1005 - 2/335. Suppose 3*l + 0*g - 5*g = -18, l + 2*g - 5 = 0. Is u greater than l?
False
Suppose -6*v + 5*v = 1, -2*v - 26 = -2*p. Let u(n) = -9*n**3 - 3*n**2 - 3*n - 3. Let o be u(4). Let x be (3/2)/(o/p). Do 0 and x have the same value?
False
Suppose 0 = 4*k - k - 1608. Let g be (-2)/(0 - k/132 - -4). Which is smaller: g or 31?
31
Let i be 2 + (-3)/((-6)/8). Let w be -3 + (56/i)/2. Suppose 15 = -2*m - m, -5*l - 10 = 4*m. Is l != w?
True
Let d be (-6 - (-205)/(-15)) + 2/(-6). Suppose 5*x + 65 = -5*g - 20, -4*x = -4*g + 92. Are d and x equal?
True
Let q = 24 + 2. Let d = q - 25. Let n be ((-11)/(-22))/(d*4). Which is smaller: 0 or n?
0
Let m = -608/7 - -5731/63. Which is bigger: 5 or m?
5
Let v(y) = y**2 + 21*y + 42. Let k(h) = -h**2 + 4*h + 2. Let w be k(-3). Let r be v(w). Is 3 bigger than r?
False
Let z be ((-15)/6)/(3/30). Let g be 4/(-18) + (-436)/(-18). Let j = z + g. Which is smaller: j or -1/13?
j
Let p = -0.57 - -0.41. Let u = p + -0.03. Which is greater: 0.2 or u?
0.2
Suppose 4*r = -4*k + 8, 3*k + 2*r + 0*r - 4 = 0. Suppose 5*o - 8*o = k. Which is bigger: o or -8/11?
o
Suppose n - u = 72 - 235, -2*u = -5*n - 824. Let b = n - -1499/9. Are 0 and b equal?
False
Let r be -2*((-63)/(-14) + -5). Which is greater: r or 5/4?
5/4
Let p(o) = -65*o - 292. Let f be p(-5). Do f and 286/9 have the same value?
False
Let i be (-156)/9 + (-12)/18. Let c = 101 - 102. Are i and c non-equal?
True
Let m = 8.5 + 3.5. Let h = -13.2 - -13. Which is smaller: m or h?
h
Let x(v) = 21*v**2 + 4*v + 31. Let p be x(-5). Which is greater: p or 0?
p
Let a(o) = o**2 - 4*o + 7. Let d = -19 + 22. Let n be a(d). Is n at most 5?
True
Let j be -4 - ((-140)/12 + 3). Is j smaller than 5?
True
Let u(d) = -3*d + 14. Suppose 3*s + 4*p = 15, 3*s + p + 6 - 21 = 0. Let m be u(s). Is 4 greater than or equal to m?
True
Let x be 2*(0 + 3) + -3. Suppose -10 = -x*z - 2*z. Which is bigger: 4/5 or z?
z
Let t = -6/17 - -107/255. Let g = -10969 - -10968.8. Which is greater: t or g?
t
Let v = 1.1 + -1. Let r = 8 + -8. Suppose -3*w + 0*w + 9 = r. Is w greater than v?
True
Let l = -5695 + 3439. Which is smaller: l or 0.1?
l
Let z(r) = -r**2 + 15*r + 7. Let n be z(15). Is n bigger than 7?
False
Suppose -p + 141 = -90. Is 230 equal to p?
False
Let q = -1/2307 + -32269/66903. Is -1 at least as big as q?
False
Let r(v) = -2*v**3 - 5*v**2 - v - 10. Let k be r(-4). Let f = -32 + k. Is -4 < f?
True
Suppose 2*w - 60 = -4*p, -4*w + 2*w - 10 = -p. Let k(n) = n**2 - 15*n + 11. Let s be k(p). Is -2/9