). Let c(i) = -2*i + 3. Suppose 0 = 2*q - 2 - 6. Let l be c(q). Is l at most d?
True
Let y = 57.1 - 58. Let z = -0.1 + y. Is z at most -2/55?
True
Let f be ((-6)/(-9))/((28/(-15))/(-14)). Let s be 9/((-9)/3) - -18. Let u be (-10)/s + 25/6. Which is greater: u or f?
f
Suppose 4*o - 22 = 2*l, -6*l - 25 = -l. Suppose 0*r = r, -5*s + 5*r = -10. Suppose -2*b - 2*i - s = 0, 3 = -3*b + o*i - 7*i. Which is smaller: b or 1?
b
Suppose 0 = -2*o + 20. Let k be o/4*(-6)/5. Which is greater: k or -7/3?
-7/3
Let w = 0.0411 - -248.2589. Let c = -259 + w. Let h = -3.7 - c. Which is greater: h or 0.3?
h
Let t(c) = c**3 + 5*c**2 - 8*c + 14. Let z be t(-9). Let r = z - -1206/5. Does r = 2?
False
Let g = -34821/55 - -3021/5. Is g > -28?
False
Suppose 3*i - 5*i + 56 = 0. Let d be -2 + (96/i - 4). Let g = d + 17/7. Is g <= 1?
True
Let i be (-7)/((-21)/(-12)) - -28. Let d be (3 - -1)/(22/i*-2). Is -3 less than or equal to d?
True
Suppose 2*z + 0*z = 0. Suppose p + 2*w - 30 = 0, p = 6*p - 3*w - 111. Let l be (-5 + 5 + p/(-3))/9. Are z and l equal?
False
Let o(k) = -k**3 + 11*k**2 + 13*k - 15. Let d be o(12). Let j be ((-1)/d)/(6/36). Is 2 < j?
False
Let a be 8/2 - 87*3/9. Let i = -29 - a. Is -4 less than or equal to i?
True
Let b = 11.9 - -10.1. Which is smaller: b or -0.1?
-0.1
Let k = -121 - -126. Let v = 2 - k. Which is bigger: v or -14/5?
-14/5
Let y(c) = c**2 - 14*c - 14. Let l be y(16). Suppose -3*n - 18 + l = 0. Which is smaller: -3/97 or n?
-3/97
Suppose -9*v + 11*v = 0. Let j = -0.21 + -4.79. Which is smaller: v or j?
j
Let i = -14984972/13 + 1152053. Let h = -633 - i. Is h at most 3?
False
Let h = -1.4 + -20.6. Which is smaller: 0.2 or h?
h
Let r be 3 + -1 - (14 - 12). Let m be (7 + -2)*(-2)/(-55). Which is bigger: m or r?
m
Let n be 246/22 + 10/(-55). Let z be n/44 - 14/(-8). Suppose h - z*h = 0. Is -8 not equal to h?
True
Let a = -0.0879 - 7.9121. Let x be ((-2)/(-8))/(2 - 3). Is x greater than a?
True
Let h = 310 - 64. Which is greater: 1 or h?
h
Let j be 0 + 2 + -1619 + 1. Let h be (-18)/(-30) + j/2660. Is 0 at most h?
False
Let p = -748 - -750. Is 94 bigger than p?
True
Suppose 0 = -56*j + 76*j - 1140. Is j less than 60?
True
Let j = -36 - -22. Let s = -3.21 + 0.11. Let c = -3 - s. Is c at most j?
False
Suppose 22*k - 56 - 208 = 0. Is k greater than or equal to 1?
True
Let j(m) = 1 - 2 + 12 - m. Let p be j(11). Let l be 2 + (p/1 - 3). Which is bigger: l or -2/71?
-2/71
Let a(c) be the first derivative of -c**4/4 + 11*c**3/3 - 13*c**2/2 + 8*c + 1. Let h be a(10). Is h less than or equal to -23?
False
Let t be 140/147 - (-2)/(-7). Is 41 < t?
False
Suppose -17*c = 32*c. Is 2/3465 greater than or equal to c?
True
Let b(t) = t**3 - 13*t**2 + 12*t + 3. Let g be b(12). Suppose -j + 14 = 5*v, -v - 10 = -g*v + 4*j. Let n be 6 - ((0 - v) + 6). Is 4 less than or equal to n?
False
Suppose -5*t + 110 = v, -4*t = -2*t - v - 37. Suppose -4*i = -t + 1. Let m be 24/5 - 2/(-10). Is i smaller than m?
False
Let t = 359 - 893. Do t and -534 have the same value?
True
Let n = 0 - -4. Suppose -3*i - n*v - 16 = 0, i - 2*i + 4*v + 16 = 0. Suppose 0 = 8*x - 12 - 4. Which is smaller: i or x?
i
Let d be -15*((-140)/25 - -5). Let t be ((-2)/(-2))/((-1)/24). Let v be -2*(-4)/(t/d). Which is smaller: v or -2?
v
Suppose -2 = -2*j + 2*p, 0*j - 2*j = -4*p. Let a be (((-22)/121)/(j*1))/(-1). Is a greater than or equal to 1?
False
Let t = 52.2269 - -0.6031. Let y = 1.17 + t. Which is smaller: y or 1/4?
1/4
Let k = 5165/7 + -738. Are 146 and k equal?
False
Let u be (-1 - 1) + 0 + (-12 - 0). Which is greater: -69/5 or u?
-69/5
Let s = -77.005 + 77. Is -1 < s?
True
Let c = -42 - -33. Let f = -4 - 13. Let m = c - f. Are 9 and m equal?
False
Let d be (2 + -1 + -2)/1. Let k = 404/689 + -27/53. Which is smaller: k or d?
d
Let v = 0.017 + -0.217. Let u = v - -0.3. Is 7 > u?
True
Let g = -2.9 - 10.1. Let k = g + 18. Which is greater: k or -0.2?
k
Let l = -1 + 7. Let r(c) = c**3 - 5*c**2 - 7*c + 4. Let d be r(l). Let q(o) = -o**3 - 3*o**2 + 2. Let g be q(d). Which is smaller: -1 or g?
g
Suppose -3*n = 6*n + 144. Let t be (-2)/8 + (-63)/4. Let g = n - t. Which is bigger: g or 1?
1
Let q = 77618/21351 + 2/1941. Which is bigger: 5 or q?
5
Let k be (-4)/5 + 2 + -1. Let s = -94 - -80. Let g be (0*(4 - s/(-4)))/2. Is k at most as big as g?
False
Let r be (-3832)/30 - 40/(-30). Let m = r + 126. Which is smaller: m or 10?
m
Let y(r) = r**2 - 6*r - 2. Let i be y(7). Let c(f) = -f**2 + 5*f + 4. Let o be c(i). Let t = 147 + -289/2. Is t < o?
True
Let r = -208 + 3951/19. Let y = 31/133 - r. Is -9 > y?
False
Let t(a) = -a**2 - 8*a - 4. Let g be t(-6). Let r = 25 - g. Suppose -5*u + 18 + r = 0. Is u <= 7?
True
Let k be (-2)/(-8) + -6 + 324/(-16). Let t be ((-54)/(-12))/(k/(-6) + -3). Is t <= 4?
True
Suppose 4*a + g - 6*g = -335, 4*g = 5*a + 430. Let s = a - -88. Which is bigger: s or 0.2?
0.2
Let h(i) = 5*i + 48. Let t be h(-9). Which is smaller: t or 20?
t
Let s be 1 + 12/16*4. Let h(d) = d. Let u(y) = -y**2 + 14*y + 10. Let m(z) = s*h(z) - u(z). Let k be m(11). Which is bigger: k or 0?
k
Let i(n) = n**3 - 7*n**2 + 7*n - 4. Let z be i(5). Let f(l) = 2*l**2 - 116*l + 1083. Let s be f(46). Does s = z?
False
Let c = -88.081 + 88. Let i = c - -0.041. Which is smaller: 0.1 or i?
i
Let j = -0.297 - -142.297. Is 0.1 smaller than j?
True
Suppose -y + 4 = 5. Let i be (-101)/(-3) - (-15)/45. Let o = 31 - i. Which is bigger: y or o?
y
Let k be (3 - 6)/(6/28). Let n be ((-36)/45)/(6/45) - 7. Which is smaller: k or n?
k
Let w be 3 - -5*8/(-20). Let r be ((-5 - -3) + w)*(-2)/6. Which is smaller: r or 18?
r
Let j = -14.6 - 5.4. Let n = j - -20. Which is smaller: n or -36?
-36
Let a(g) = 4*g + 107. Let s be a(-26). Is 0.41 greater than s?
False
Suppose -t - 17*g - 4 = -14*g, g + 4 = 0. Let y(k) be the first derivative of -k**4/4 + 2*k**3 + 7*k**2/2 + 7*k + 2. Let l be y(7). Is l not equal to t?
True
Let d(k) = k**3 - 2*k**2 - 5*k + 5. Let z be d(3). Let i(b) = -6*b - 4. Let j be i(z). Which is smaller: 8/7 or j?
8/7
Let f be (5 - 7) + (-2)/(-2) - 0. Let x be -6*(6/4)/3 + f. Which is smaller: -6 or x?
-6
Let y(p) = p**2 + p + 1. Let c be y(5). Suppose -c = -4*o + 9. Are o and 8 nonequal?
True
Let v be (4*-1)/((21/3)/7). Let j be (v/1 - -6) + (-34)/18. Are -2 and j nonequal?
True
Let x = 0.095 + -0.15. Let r = 0.055 + x. Let p = 8.92 - -0.08. Which is smaller: p or r?
r
Let l be (1/75*6)/(24/60). Is 0 < l?
True
Let u = 33 + -33. Suppose u*b - b = 0. Is 4/33 greater than or equal to b?
True
Let f(w) = -w**3 + 11*w**2 - 11*w + 4. Let r be f(10). Let h = -8 - -8. Let m = r + h. Is -5 >= m?
True
Let n = -1 - -23. Let t = n + -22.02. Which is smaller: 0.1 or t?
t
Let b be 4 - (71528/10216 + -3). Is 1 at most b?
False
Let a = -128038/4893 - -3/3262. Let z = a - -1901/66. Let m = z + -35/11. Is m greater than or equal to -2?
True
Let u be ((-30)/396)/(-1 - (-11439)/11442). Let l = u - 289. Is l less than -1?
False
Let q be (1 + -2)/1*30. Let s(c) = 3*c + 9. Let b be s(-13). Is q bigger than b?
False
Suppose -3*u = -3*y - 12, 4*u - 7*y - 1 = -8*y. Which is smaller: u or 8/39?
8/39
Let y(d) = 3*d**2 - 5*d - 7. Let h be y(4). Suppose -h = -0*r - 7*r. Is 6 < r?
False
Let l be (2/(-8))/((-2)/(-4)). Suppose -5*w + 5 = 5*n, 4*n - 2*w = 3*w + 22. Suppose 0 = 5*k + n*s - 7, 5*k - 11 = -0*k - 4*s. Are l and k unequal?
True
Let z = -7/233 + 2123/62910. Is z <= 1?
True
Let m be -31*9*((-40)/36)/(-5). Is -62 < m?
False
Let j = 74 - 71. Suppose 39 - 42 = j*l. Is l greater than 2/75?
False
Let u = -906 - -946.3. Let l = u - 40. Which is smaller: -1/4 or l?
-1/4
Let y(w) = -w**3 - 3*w**2 - 9*w - 8. Let x be y(-1). Is -3/43 equal to x?
False
Suppose 10*l + 23 = 33. Suppose -4*v = -3*v + 3*y - 16, 0 = 5*v - 4*y + 15. Is l smaller than v?
False
Let x = 351 + -350.9. Which is bigger: x or 175/2?
175/2
Let g = 1.607 + -1.707. Is g at most 1095?
True
Let t be (20 - 23)*63/27. Are t and -92/15 equal?
False
Let b = 1485 + -1509. Let l = 26 + -52. Is b < l?
False
Let q = 5.59 - 1.44. Let y = -1.15 + q. Are y and 3/5 equal?
False
Suppose 4*z - 6*z - 2 = 0, 0 = -2*v + 5*z + 85. Suppose -7*u - v = u. Which is smaller: -6 or u?
-6
Let z = -28 - -148. Suppose -2*i - i = 6, 4*i + z = 4*p. Is 28 less than p?
False
Let k be 32/6 + (28 - 34). Let a = -4 - -7. Suppo