 be (-6)/2*(-3)/9. Let m = 183045/19 + -9637. Let v = m + 1876/627. Are v and i non-equal?
True
Let s(y) = 4 - 2*y - 1 - 6 + 2. Let k = -1 - -1. Let n be s(k). Is n greater than or equal to 11?
False
Let z = 0.0679 + -0.1159. Is 2/5 at most as big as z?
False
Let c(n) = n. Let x(s) = 3*s - 1. Let j(f) = -5*c(f) + 2*x(f). Let m be j(5). Which is smaller: m or -3?
-3
Let h(v) = 2*v + 11. Let q be h(7). Which is smaller: 76/3 or q?
q
Let p be 3/5 + 4/10. Let c = -15 + -3. Do p and c have the same value?
False
Let d be (-14)/12*(-11)/21. Let l = 235/414 - d. Which is smaller: 0 or l?
l
Let s(v) = -v**3 + 9*v**2 + 10*v. Let r be s(10). Suppose 0 = -3*f - 4*g + 23, -21 = -f - r*f - 4*g. Let x be ((-40)/(-55) - f)/(-1). Which is greater: 1 or x?
1
Let b be 45 + 0 + (0 - -5). Is 32 < b?
True
Let r(h) = -11*h**3 + 8*h**2 + 8*h - 8. Let v be r(-3). Which is smaller: 339 or v?
v
Let x = -686 - -2048/3. Which is smaller: x or -16?
-16
Suppose -5*d - 386 = -86. Let s = 61 + d. Which is bigger: 2/33 or s?
s
Suppose 0 = -262*b + 261*b + 23. Is b greater than 3?
True
Let t = -12 + 18. Let b be 6/(-4)*(-8)/t. Let k = -17/2 - -61/6. Which is smaller: k or b?
k
Let y be (-115 + 102)*2/(-26). Is -497 less than or equal to y?
True
Suppose -2*l + 3*f + 1 = 0, f - 28 = -4*l - l. Let g(j) = 4*j - 57. Let k be g(15). Which is smaller: k or l?
k
Suppose -5*f - 2*a = -186, -89 = -5*f - 4*a + 103. Which is greater: 38 or f?
38
Let m(r) = r**2 - 2*r + 1. Let j(p) = 30 - 2*p - p**2 - p - 29 + 2*p**2. Let o(x) = -6*j(x) + 7*m(x). Let f be o(-2). Which is bigger: 0 or f?
0
Let p(x) = -2*x**2 + 19*x - 8. Suppose 2 - 20 = -2*v. Let j be p(v). Is 2/123 >= j?
False
Let y be ((-102)/((-36)/6))/(-11). Which is smaller: -4 or y?
-4
Let l = 20 - 16. Suppose l*z + 34 = -6. Let r = 6 + z. Is -1 smaller than r?
False
Suppose 5*x - 7*x = -6. Suppose -x*d - 3*a - 2*a = 0, -2*d = -4*a. Is d smaller than -2?
False
Let z be -6 - -5 - 356/(-350). Let q = z - 727/1575. Let y be (-2)/(-11) - (-9)/11. Is y greater than or equal to q?
True
Suppose -5*a = 89 - 9. Let k be (8/a)/(1/12). Is -5 at most k?
False
Let k = 138 + -138.9. Let h = 29 - 28.67. Let p = h + -0.13. Do p and k have the same value?
False
Let n = -0.01 + 0.31. Let f = -7.968 + 0.068. Let q = 8 + f. Is n > q?
True
Let p(k) = -k**3 - 4*k**2 + 3*k - 6. Suppose -d - 84 = -4*g, -4*d + 31 + 7 = g. Let z = 17 - g. Let h be p(z). Which is bigger: 3 or h?
h
Let s = -51640/2171 + 310/13. Which is greater: s or -1?
s
Let w = -160.6 - -160.2. Let a = 2 - 0. Which is bigger: a or w?
a
Let u be ((-3)/9)/((-10)/(-15)). Is u at most 2?
True
Let m(i) = 2*i**2 - 6*i - 12. Let z(d) = -d. Let v(h) = m(h) - 4*z(h). Let y be v(3). Let s = 1043/4 + -262. Which is greater: s or y?
y
Let i = 1161 - 1160. Is 20/11 at least as big as i?
True
Let d = 0.05 - 5.05. Let y = -2/287 + -277/1435. Which is bigger: d or y?
y
Suppose -672 = 2*b + 728. Is b <= -700?
True
Let s be ((-3)/((-9)/2))/((-1)/(-12)). Let x be -5*s/(-28) - (2 - 2). Which is greater: 1 or x?
x
Suppose -3*w = v - 388, -2*w + v = -161 - 101. Are w and -0.1 unequal?
True
Suppose -j + 2*q = -2, 2*j - 4*q - 6 = j. Suppose -n = -3*n + 2*p + 4, 3*p = -9. Let z(s) = -5*s**2 - s - 1. Let f be z(n). Is j bigger than f?
True
Suppose -5*b + 7 = 4*p, -4*p + 11 + 5 = -4*b. Let t(w) = w**3 + 7*w**2 - 9*w - 84. Let i be t(-6). Which is bigger: i or b?
i
Let i(l) = -l - 3. Suppose 14*n - 16*n + 18 = 0. Suppose -12*u = -n*u - 6. Let q be i(u). Is q at most -7?
False
Let w(a) = 9*a + 422. Let b be w(2). Which is smaller: b or 441?
b
Let a = 127 + -115. Suppose -5*x - a = -32. Is x greater than 4?
False
Let u be ((368/(-10))/2)/(24/40). Which is greater: -31 or u?
u
Let c = 11.4 - 12.42. Which is smaller: 0 or c?
c
Let z(j) = -6*j - 1. Let a be z(-1). Suppose 2*w - y + 8 = -5*y, -a*w + 2*y = -28. Let v be (-2 - -3)/((-2)/(-10)). Which is bigger: w or v?
v
Suppose 5*v + 7 = 22. Suppose f = v*f + 4. Let q = -7 - -8. Is q not equal to f?
True
Let s be 4/10 - 21/15. Let q = s + -3. Let c be 8/6*(-75)/50. Is q at least as big as c?
False
Let r be -2 + (-249)/(-84) - (-2 + 3). Which is smaller: r or 0?
r
Suppose -1 = -3*i + 4*f, 5*i - 3*f + 0*f - 9 = 0. Suppose 2*j - 3 = i. Suppose j*k - 3*s = -6, -3*k - 2*s = -7*s. Do k and -6 have the same value?
False
Let k = -4/1127 - 15/313306. Which is bigger: 0 or k?
0
Let c(y) = -y**3 - 3*y**2 + 3*y + 13. Let t be c(0). Is 13 less than t?
False
Let k = -1.3 - -0.3. Let y = -0.309 - -0.049. Let a = y - 5.74. Which is smaller: k or a?
a
Let y be -1*(0 - (-2)/2). Let c be (y/80)/(6/15). Let n be 12/112*-12 + (-6)/(-21). Is c >= n?
True
Suppose 2*r + 0*v + v = 5, 0 = 4*v + 4. Suppose 4*s - f = 103, 79 + 8 = r*s - 4*f. Suppose 3*i + p = -i + 101, 2 = 2*p. Is s greater than or equal to i?
True
Let o = 15.6 + -15.612. Let d = 3.012 + o. Which is bigger: d or -9/8?
d
Let i be 3/7 - ((-3492)/(-1218))/(-2). Which is smaller: 1 or i?
1
Let j = -1674 - -15061/9. Which is bigger: -0.1 or j?
-0.1
Let v(q) = -q**3 + q - 26. Let m be v(0). Let k(s) = -2*s**3 + 5*s**2 + 2*s. Let h be k(4). Let l = m - h. Is l smaller than 14?
False
Let a be ((-3 + -1)*-1)/1. Let b(v) = -4*v**2 - v + 3. Let c(o) = o**2 - o + 1. Let t(l) = -b(l) - 5*c(l). Let z be t(a). Which is smaller: z or -1/2?
-1/2
Let v be ((-542)/(-30))/(2/(-34)). Let f = v + 307. Let m = 2 + -1. Do m and f have different values?
True
Let c be ((-4)/6 + -2)/((-36)/(-810)). Let q = 63 + c. Suppose -4*f + 20 = f. Which is bigger: f or q?
f
Suppose 18*y - 2*y = 16. Which is bigger: y or 7/53?
y
Let h = 7847/1426 - 2/713. Which is smaller: 6 or h?
h
Let o = 17.85 + -19. Let j = 0.05 + o. Which is smaller: j or 0.1?
j
Let u = 34 + -52. Let i = -4 - u. Suppose -9*s + i*s = 5. Which is smaller: -2/31 or s?
-2/31
Let u = 12 - 2. Suppose -2*j = -3*h - 0*j + 14, -h = -3*j + 7. Are h and u equal?
False
Let i be 3/(-36)*9/(-4). Suppose 37 - 23 = -14*w. Which is bigger: w or i?
i
Let j(c) = -c**3 + 19*c**2 + 18*c + 40. Let n be j(20). Suppose -4*k = 8 - 4, n = f - k - 9. Do -9 and f have the same value?
False
Let o = 0.045 - -38.955. Let x = o - 39.3. Let r = -0.54 - -0.6. Is r > x?
True
Let m = 3560 + -42781/12. Let i = -19/4 - m. Is i <= 18?
True
Let b(k) = -3*k**2 + k. Let v be b(-3). Let u = v + 76. Let n be u/(-6) + 2 - -2. Which is smaller: n or -3?
n
Suppose -p - 4*a - 1397 = 0, 2*a + 2*a = -2*p - 2806. Is -1409 at least p?
True
Let n(a) = -6*a - 42. Let v be n(-7). Let c = 30174/35 + -861. Let j = -5/7 + c. Which is smaller: j or v?
v
Let n(m) = m**3 - 11*m**2 - m + 14. Let c be n(11). Suppose 0 = -2*b + 4, c*b + 44 = -2*u - 16. Is 1 > u?
True
Let v(b) = -2*b + 9. Let t be v(4). Let f be 0/(t*(-3 - -1)). Suppose f = 3*o + o. Is 1/16 at most o?
False
Suppose 108 = 4*v - v - 4*l, 0 = 2*v + 5*l - 49. Suppose v*a = 29*a - 3. Does -9/11 = a?
False
Let k = -40 - -40.7. Which is smaller: 4 or k?
k
Let w = -3.19 + 3.19. Which is bigger: w or 197?
197
Let p = -2524 - -2524. Is p less than or equal to -28.3?
False
Let w(f) = -f**2 + 9*f - 14. Let s be w(8). Let n be s/8 + 10/12. Which is bigger: -1 or n?
n
Let h be (-12)/42 + 21/70. Is 2 at least as big as h?
True
Let p = -7 + 11. Let t = p + -4.05. Let x = -1/102 - -211/714. Which is smaller: t or x?
t
Let a = -16 - -22.6. Let h = a - 5.6. Which is greater: h or -1?
h
Suppose n - 5 = -2. Suppose -5*x = -0*y + 3*y + 60, -6 = -x + n*y. Let c = -9 - x. Are 2/7 and c non-equal?
True
Let x = 15.44 + -15.8. Which is smaller: x or 0?
x
Let f = -331 - -337. Is 43/8 != f?
True
Let o = -46 - -45.62. Let x = -0.28 - o. Is x smaller than 5?
True
Suppose 2*x = -3 + 5. Let c = -2 + x. Let l be (-49)/(-140) - 2/5. Is l at least c?
True
Let x(n) = -36*n + 2. Let i be x(-1). Let z be 5 + (-2)/(4/i). Is -2 at least z?
True
Let y = 2.9 + -2.96. Which is greater: y or -49?
y
Let s = -154 + 258. Suppose -4*c - s = 4*f, 2*c - 4*f = f - 80. Is c at least -29?
False
Let q = -1930 + 1931. Are q and -6.76 unequal?
True
Let g = -197046025/532 + 370387. Let r = g + 2/133. Which is greater: -0.06 or r?
-0.06
Let y = 0.1636 + 3.3064. Which is greater: y or -0.3?
y
Let b be (-25)/57 - 4/24. Let r = b - -2/19. Is -2/7 greater than r?
True
Suppose 26*d - 442 = -8*d. Let h be (81/12)/(2/4). Is d less than or equal to h?
True
Let f 