)/(-10) + 1/(-2). Let s = -356/489 + 10/163. Is s greater than i?
False
Let s be 10/4*96/(-220). Let q be -5*(-6)/45 - 62/(-132). Let r = q + s. Is r bigger than -1?
True
Let m = 3 - 3.3. Let h = 6 + 8. Let r = -13 + h. Which is bigger: m or r?
r
Let j(h) = 11*h**2 - 4*h - 6. Let f be j(-10). Let q be (-14)/(-49) + (-296)/f. Which is greater: 1 or q?
1
Let v be (119/(-170))/(12/(-20)). Let z be -2*3/6 + 2. Let j be 2*3/6*z. Which is greater: v or j?
v
Let d = -5 - -4.82. Let z = d + 0.27. Let r = -3.91 - z. Which is greater: r or 0.2?
0.2
Let d = 54 + -56. Let q = -0.3 + 0.1. Are q and d non-equal?
True
Suppose 0 = 5*v - 2*v + 105. Let s = 35 + v. Is s > -1?
True
Let i = -1537 - -102981/67. Let k be ((-9)/135*5)/((-2)/(-6)). Is i greater than or equal to k?
True
Let b(i) = -8*i**2. Let a be b(1). Suppose -18*t = -171 + 153. Is t not equal to a?
True
Suppose -3*m - 12 + 2 = -2*y, 3*m + 16 = 5*y. Suppose 4*f + j + 3*j = -20, -5*j - 5 = f. Are y and f equal?
False
Suppose 0 = 3*u - 12, u - 3 = -q + 2*q. Is q at least as big as 82/5?
False
Let l(i) = i**3 - 5*i**2 + 4*i - 16. Let o be l(5). Let f be (2 + -2 + -1)/(-24 + o). Is 0 >= f?
False
Let a be (3/(24/46))/(2/8). Suppose a*t - 78 = 26*t. Suppose -4*f + 3*p - 114 = 0, 70 = -2*f - 3*p + 22. Are t and f nonequal?
True
Let a be 15/(-70)*(335/(-60) - -5). Is a at least -4/3?
True
Let j = 9 - 7. Suppose j*o - 5*o - 3 = 0. Let y be (o + 3 - 2)*1. Is 1/8 > y?
True
Let k = 38.4 - 36.4. Which is smaller: k or 2/79?
2/79
Let c be (-90)/(-54) + 46/(-60). Do c and 0 have the same value?
False
Let p = -80 - -61. Which is smaller: p or -91/5?
p
Let q be -6 - 270/(-190) - -3. Which is smaller: -1/4 or q?
q
Let c = -121 + 131. Let b be -1 + (1 - (-1 + -5)). Let r = b - c. Which is greater: -2 or r?
-2
Let p = -2 + -2. Let k = 50.1 + -54. Let n = p - k. Which is smaller: n or -0.03?
n
Let b = 2.28 + -102.28. Let w = b - -99. Suppose 4 = 4*z - 2*r, r - 2 = -3*z + z. Is z <= w?
False
Let o = 188/3 + -61. Is 2 != o?
True
Let w = 207 + -208.7. Which is smaller: w or 10?
w
Suppose 5*v + 1156 = -5*d - 389, 3*d - 5*v = -895. Which is bigger: d or -306?
d
Let w = -70 + 186. Let o be (-2)/(w/40 + -3). Let q = -18 + o. Which is smaller: -1 or q?
-1
Let x(b) be the third derivative of 1/3*b**3 + 0*b + 0 - 5/24*b**4 - 1/15*b**5 + 1/120*b**6 + b**2. Let d be x(5). Is d at most 2?
True
Let s(h) be the third derivative of h**6/120 + h**5/60 - 4*h**2. Let c be s(-1). Let j be (-8)/(-6)*9/102. Which is smaller: c or j?
c
Let f be -9 + 7 - (-42)/30. Which is bigger: f or -45?
f
Let s(r) = -7*r + 30. Let m be s(4). Let i = 1 + 4. Let t = -5.1 + i. Is m less than or equal to t?
False
Let n = -11 - -11. Let p = -1/13 + n. Which is bigger: 1 or p?
1
Suppose 2 = 2*h - 0*h. Are h and -3 equal?
False
Suppose 381 = -4*l - 679. Let r be ((-11154)/14)/3 - (-4)/6. Let z = l - r. Which is bigger: -1 or z?
z
Suppose -r - 3*n = -5*r + 21, -3*r + 4*n = -14. Let i be 1*(549/r + -1). Let s = i - 3443/38. Which is smaller: 0 or s?
s
Let h(c) = 6*c**2 - 9*c - 24. Let i(x) = 7*x**2 - 9*x - 23. Let t(s) = -6*h(s) + 5*i(s). Let n be t(14). Is -40 greater than n?
True
Let t = 96 + -125. Which is greater: t or -27?
-27
Let n = 843 + -843. Is -160 less than n?
True
Let t be 132/(-77) - -2 - 29/126. Is t less than or equal to -0.5?
False
Suppose -4*o = -z - 3, 5*o = 2*o + 3*z + 9. Suppose -3*m = c + 7, 2*c - 13 = 3*m - o*c. Which is smaller: m or -5?
-5
Suppose -4*k + 5*n - 5 = 0, 4*n + 1 - 5 = -5*k. Are k and -24/61 equal?
False
Let w be (-3409)/8435 - 18/(-45). Which is greater: 1 or w?
1
Let j = 1038 - 1058. Which is bigger: -17 or j?
-17
Suppose 2*o = 4*s - 6, 0 = -2*s + 2*o + 1 + 3. Let i be (4966/65)/((-12)/(-5)). Let z = -32 + i. Is z at most s?
True
Let l(t) = 2*t**2 - 33*t - 8. Let j(k) = k**2 - 17*k - 4. Let b(m) = -7*j(m) + 4*l(m). Let y be b(15). Let w = 32 - y. Is 4 at least as big as w?
False
Let d be 12191/34164 - (1 + 14/(-18)). Which is greater: 1 or d?
1
Let m = 3 - 5. Let p = 2 + m. Let b = -225 + 895/4. Which is smaller: p or b?
b
Let l be (333512/(-10))/(22/1). Let g = -1516 - l. Is 0 at least as big as g?
True
Let n = 8.58 - -2.32. Let m = 10.9 - n. Let d = -0.48 + 0.6. Which is bigger: d or m?
d
Let u = -0.0776 - -0.4776. Which is bigger: 9.6 or u?
9.6
Suppose -4*h - 24 - 28 = 0. Let v(d) = d**2 - 6*d - 2. Let u be v(7). Suppose -f - u*b = 13, -52 = -3*f + 7*f - 2*b. Is f less than or equal to h?
True
Suppose -4*p - 1786 = 3*r - 8*p, -r - p - 600 = 0. Is r bigger than -597?
False
Suppose u + 3*u = 108. Suppose -8*m + 5*m = 4*f - 111, 2 = 2*m. Is f < u?
False
Suppose 0 = 2*q - 3 - 3. Let o = -13.7 + 14. Let n = 0.1 - o. Which is greater: q or n?
q
Let k = 187 + -93. Let m = k + -645/7. Is 2 at most as big as m?
False
Let j = 33 - 9. Let y = j - 24.2. Is 50 smaller than y?
False
Suppose 83*n = 80*n - 3. Which is smaller: 2/101 or n?
n
Suppose 5*t = 2*t. Let x(w) = w**3 - 6*w**2 - 75*w + 13. Let d be x(12). Does t = d?
False
Let l be (5/100)/(2/12). Which is greater: -0.06 or l?
l
Let z = 1 + -5. Let d = 0.44 - 2.38. Let y = d - 0.06. Is y at most as big as z?
False
Suppose -5*q = -o - 832, 4*q + 2*o = o + 671. Which is smaller: 168 or q?
q
Let g(v) = -v**3 - 7*v**2 + 6*v - 8. Let h be g(-8). Let x = -6 + h. Let y be x*(-1)/(-3) + -1. Which is smaller: -1 or y?
-1
Let w be 36 + (5/10)/1. Let t = -823/22 + w. Do 0 and t have the same value?
False
Suppose 3*f = 2*r - 3, -3*f = 3*r + r + 3. Let q = 3 + -2. Suppose 2*v - 3*v = q, -3*s + v - 2 = 0. Which is smaller: s or r?
s
Suppose 0 = j - 4*j + 30. Suppose 4 - j = -2*n. Suppose -5 - 20 = -n*g - 5*q, 0 = 3*g - 3*q + 15. Which is greater: 1 or g?
1
Let h = 79 + -66. Suppose -7*u = -6 + h. Which is smaller: u or -2/109?
u
Let g(m) = -m + 6. Let w be g(5). Suppose 5*r = -3*z - 1207, 4*r + 0*z = -2*z - 966. Let i = r + 733/3. Which is greater: w or i?
i
Let c = -163/12 - -21/4. Let n = c - -65/6. Is 1.5 <= n?
True
Let w = -15 + 18. Let q = 13 - 10. Suppose -3 = q*y - 9. Is w greater than y?
True
Let g be (2/(-3))/((-15)/(-27)). Let z = -38 - -46. Suppose -7*y = -1 + z. Which is smaller: g or y?
g
Let r = 8.92 - 9.8. Which is bigger: r or -2?
r
Let c(x) = x**2 - 4*x - 2. Let y be c(-1). Which is greater: y or -3?
y
Suppose 2*p = 4*q - 2, -4*q + 3*p = 8*p + 5. Suppose q = -4*k + 1 + 7. Let s = -2/33 - 20/33. Which is greater: s or k?
k
Let c = 0.4 - 0.3. Suppose l = 5*b + 9, -4*b + 5*b + 83 = 3*l. Let y be 10 - 14 - l/(-6). Is c bigger than y?
False
Let u be (3 - 4)/(63/99). Which is smaller: -2 or u?
-2
Let y(h) = -h**2 + 20*h + 24. Let v be y(18). Let i = 58 - v. Is 11 less than or equal to i?
False
Suppose 13 = -4*s - 47. Suppose -9 = -5*v - 94. Is s < v?
False
Let s = 0 - -3. Let d = -1047 - -1059. Which is smaller: d or s?
s
Let k(x) = x**3 + 9*x**2 - 8*x - 9. Let u = -24 - -15. Let h be k(u). Let n be h/195 - (-2)/(-5). Which is greater: n or 0?
0
Let p = -194 + 195. Which is bigger: p or -78?
p
Let a(q) = -q**3 + 2*q**2 - 1. Let g = 79 + -78. Let d be a(g). Is -1/61 greater than d?
False
Let p(l) = -l**3 + 11*l**2 - 29*l + 40. Let k be p(8). Which is greater: k or -240?
k
Let m = -272 - -276. Which is greater: -14 or m?
m
Let i be (-1*3)/((-33)/22*-2). Which is smaller: i or 3/398?
i
Let n = 52 - 4. Let v = n - 82. Is v greater than or equal to -1/3?
False
Let u(j) = 15*j - 4. Let n be u(4). Suppose 0 = 4*g + 4623 - 4843. Which is smaller: g or n?
g
Let p(u) = u**3 - 10*u**2 - 11. Let s be p(10). Let b = s + -8. Do -18 and b have the same value?
False
Let o = -10.97 + 11. Let y = o - -0.27. Let k = -0.4 + y. Is k less than or equal to -2/5?
False
Suppose 7*f = 10 + 32. Let q(k) = -2*k + 19. Let h be q(f). Which is bigger: h or 8?
8
Let f = -23 - -27. Suppose 7*h = f*h. Is h at most as big as -12?
False
Let y be (-188)/(-36) - 6/27. Suppose y*p - 8*p = 3. Which is bigger: -1/12 or p?
-1/12
Let d = -106 + 106. Suppose -u - 3*m + 5 = 2, m = -5*u + 1. Is u greater than d?
False
Suppose h + 19 = 4*j - 19, -5*j = -5*h - 130. Let k = -20 - h. Which is greater: 13/6 or k?
13/6
Let c(f) = 12*f - 39. Let g be c(-13). Let p be g/(-286)*-1*8/6. Which is smaller: 0 or p?
p
Suppose -4456 - 28369 = -65*a. Which is smaller: a or 507?
a
Let h be (1 + -16)*(-32)/(-880). Which is greater: h or 0.06?