igger than 8?
False
Suppose 12 = -u - 2*u - 4*f, 5*u + 2*f + 20 = 0. Let o be (-37)/(-66) + 2/u. Let k(d) = -d + 5. Let i be k(4). Which is smaller: o or i?
o
Let l = -257/630 + 1/126. Let a = -16 + 12.5. Let f = 3 + a. Which is smaller: l or f?
f
Let k(o) = o**2 - 1. Let v be k(-2). Suppose 4*i - 634 = -630. Is v equal to i?
False
Suppose -35*c = -20*c + 150. Suppose -2*q + 18 = -28. Let p = q - 32. Is p less than or equal to c?
False
Let q = -1794 + 19714/11. Let s = -609/341 - q. Which is smaller: 1 or s?
s
Let j be (0 - (-3)/9) + (-3160)/12. Is -264 less than j?
True
Let q = -37 - -42. Suppose -1 = -4*x - q. Is x greater than or equal to -12/19?
False
Let m be ((-15)/(-10))/(6/8). Let g = m - 2. Suppose g = -0*o - o + 5. Is o > 4?
True
Let w(u) = 2*u**2 + u. Suppose 0 = -3*v + 34 - 37. Let r be w(v). Which is smaller: -2/295 or r?
-2/295
Suppose -3*d + 4 + 206 = 0. Let t be (-374)/590 + 42/d. Is t at least as big as -1?
True
Let n = -0.14 - 1.46. Let h = -852 - -5937/7. Let o = 149/35 + h. Which is greater: o or n?
o
Let d(x) = 6*x + 2. Let u be d(-2). Suppose 14*i = -3*r + 11*i - 27, -3*i + 33 = -2*r. Let v = r - u. Is v >= -4?
True
Let c = -44 - -118. Suppose 78*l = c*l. Suppose -3*b = 2*b - 10. Which is smaller: b or l?
l
Suppose -2*a - 3*a - 10 = 0. Let z = 11 + a. Which is bigger: 28/3 or z?
28/3
Let y = -126 + 135. Suppose 2*c - 2 = x - 14, -5*x = c - 38. Let q be (-108)/(-14) - x/(-28). Which is smaller: q or y?
q
Suppose 0 = 5*j - 5*u + 5, 8 = -2*j - 2*u - 2. Let b be 44/12 + -2 + -1. Which is smaller: b or j?
j
Let p be ((-820)/68)/(-5) - 1. Is p less than or equal to -0.1?
False
Let v be (-2)/(1*-4)*2. Let p be (1 - (-5446)/(-10))/((-34)/10). Let r = p + -160. Which is bigger: r or v?
v
Let m be ((-6)/8)/((-2)/8). Suppose n = 5*s - m, 2*s = -3*s + 5*n - 5. Let v(c) = -c**3 + 45*c**2 + 143*c - 4456. Let j be v(46). Which is bigger: j or s?
j
Let d be 79/((-2)/(4/246)). Let t be (11/22)/(123/(-6)). Let b = d + t. Which is greater: 5 or b?
5
Let b = 791/92 + 15/23. Is 9 < b?
True
Let m be 31 - (-1)/2*0. Let z = -0.8799 + 0.7799. Which is smaller: z or m?
z
Let w be ((-2)/(-5))/(1/5). Suppose -11*q + 15*q + 40 = 0. Let m be (12/64)/((-3)/q). Which is bigger: w or m?
w
Suppose 5 = 2*r + 5*t + 1, -4*t = 5*r + 24. Let n = 91 + -51. Suppose n = -16*a + 12*a. Is a > r?
False
Let o(q) = q**3 + 15*q**2 + 13*q - 12. Let g be o(-14). Suppose 0 = -2*i - 2 - g. Let c be (i/6 - 2) + 2. Which is smaller: -4/5 or c?
-4/5
Let x(c) = -13*c. Let d(m) = 2*m + 13. Let r be d(-6). Let o = r - 0. Let g be x(o). Is -14 >= g?
False
Let h(t) = 3*t**2 + t - 11. Let s be h(3). Which is smaller: s or 22?
s
Let y(s) = 26*s**2 + 3*s + 2. Let w be y(-1). Let k be -1 + ((-10)/w)/(4/74). Which is greater: -8 or k?
-8
Suppose 17 = -4*k + 17. Let c be ((-12)/438 - k)*2/4. Which is smaller: 0 or c?
c
Let k be (-600)/36*6/5. Which is greater: -16 or k?
-16
Let f = 36067584/1409 + -25598. Which is greater: f or -1?
f
Let z(t) = -t + 12. Let o(g) = -1. Let v(h) = 4*o(h) - z(h). Let k be v(14). Let d = -3 - k. Are d and 2 equal?
False
Suppose -4*c - 4*k = 4, 9*c - k = 5*c + 16. Is c < 0.79?
False
Let k = -0.9 - -1.12. Let x = 495 - 485.78. Let v = k - x. Which is bigger: v or 0.1?
0.1
Let z = 2533 - 2515. Suppose 3*q = 4*q - 18. Is q < z?
False
Let k(g) = g - 16. Suppose 4*w + 107 + 5 = 0. Let t = w + 44. Let c be k(t). Which is smaller: c or 4/3?
c
Suppose o - 34 = 4*n, -o = -6*o + 3*n + 102. Suppose -2*h + o = -4. Let w = -10 + h. Is w greater than -1?
True
Let q = 45.7 + -45.8. Is q at least as big as 940?
False
Suppose 0 = -7*p + 14 - 7. Which is smaller: p or 5/107?
5/107
Suppose -3*o - 2*o = 2*y - 31, -o = y - 8. Suppose 3*d = 2*r - d + 6, 3*d - 3 = y*r. Is 1/40 at most r?
True
Suppose 2*d = 2*u + 24, 3*u - 48 = 8*u - 2*d. Let o = -41 - u. Are o and -31 equal?
False
Let p be (-3*1/462)/(-1 + -1). Which is bigger: p or 0?
p
Let o(q) = -26*q**2 - 2*q + 2. Let k be o(1). Suppose -19 - 77 = 4*p. Let d be k/p + (-3)/4. Which is bigger: -1 or d?
d
Let d(s) = s**3 + 4*s**2 - 8*s + 5. Let b be d(-5). Which is smaller: 17 or b?
17
Let g = 12/43 - 13/43. Let u be 2*-2 + (-6 - -4) + 7. Which is greater: g or u?
u
Suppose -4*n - 1 = -69. Let o be (-8)/(-36) - (-164)/(-9). Let i = o + n. Are 2/13 and i equal?
False
Suppose 6*s + 3 = -3. Let x be ((-36)/(-28))/s - (2 - 3). Let h = 15.8 + 0.2. Is x greater than or equal to h?
False
Suppose 5*k + 1 - 6 = 0. Let b be k/((-54)/26 + 2). Suppose -4*g + 2*w - 69 = -7, 4*g - 5*w = -71. Which is smaller: g or b?
g
Suppose 4*n - 49 = 59. Let k = n - 27. Suppose -q - 7 + 9 = k. Which is greater: q or 3?
3
Let m = -2.0217 - -0.0217. Is 133 greater than or equal to m?
True
Let q = 1.0022 - 0.0022. Is q greater than or equal to -59?
True
Let z = -0.857 - 0.023. Let v = z - -0.7. Let w = v + 0.18. Which is smaller: w or 0.7?
w
Let t = -576 - -612.1. Let q = 36 - t. Which is bigger: 2 or q?
2
Let y = 2 + -5. Let o be -4 + (y - -11) + -4. Which is smaller: 4/23 or o?
o
Let a = 0.0591 - 0.2591. Is -1.7 greater than a?
False
Let f(t) = -t**3 + 9*t**2 + 9*t + 14. Let l be f(10). Suppose -5*p = -s + 2*s - 238, -l*s = -p + 56. Suppose 0*j = -6*j - p. Are j and -6 unequal?
True
Let f(v) = 21*v**3 - v. Let a = 0 + 1. Let j be f(a). Suppose 5 - j = -5*z. Is z at most 2?
False
Let y be 1 + 2 + -3 - -18. Let c be (y/5)/((-9)/30). Let w = -12 - c. Is w != 2?
True
Let b = -28934/13 - -2228. Which is greater: -0.06 or b?
b
Let d be (6/(-24))/((-1)/(-4)). Let j be 6/(-24)*(6 - 1). Which is smaller: d or j?
j
Let d = -0.108 - -69.108. Let v = d + -69. Which is bigger: v or -2/93?
v
Let x(b) = 9*b + 12. Let c be x(-5). Let g = c + 47. Let v = g - 23. Which is smaller: v or -2?
v
Suppose 6*a - 3*a = 5*g - 8, a = -2*g - 10. Let u be (-7)/4 - (-3)/a. Which is smaller: u or -1?
u
Let r = 77324/18039 - 2/2577. Let t(w) = 4*w - 3. Let g be t(2). Which is greater: g or r?
g
Let b be (-15)/30*4*2. Suppose 4*h - 5*d = -22, 0*d - 7 = -h - 5*d. Is b at most as big as h?
True
Let d be 16/(-6) + 12/(-36). Is d less than or equal to 7/5?
True
Let k = 1.08 - 1.1. Let a = -5.98 + k. Let s = a - -5.94. Is 2/9 equal to s?
False
Let o = -18 - -52. Let f = 37 - o. Which is greater: 4 or f?
4
Let b(f) = f**2 + 10*f + 8. Let c(x) = x**2 + 11*x + 9. Let l(y) = 5*b(y) - 4*c(y). Let o be (4 + -8)*(-10)/(-8). Let u be l(o). Which is bigger: u or -3/2?
u
Let w = 29 - 17. Let y = w - -5. Is y equal to 18?
False
Suppose 0 = 5*h + 15, -82*h = -o - 81*h + 2. Let t = -46.1 - 12.9. Are o and t equal?
False
Let a = 5/628 - 5129/13188. Is 0 greater than a?
True
Let p be (-34)/10*(-2 - 3). Let l = -12 + p. Suppose -u = -l*u, 8 = 4*m + 3*u. Which is bigger: m or 3/5?
m
Suppose 2*l + 5*f + 20 = 0, 4*f = 4*l + 5*f + 4. Let g be (51/(-42) - -1)*-2. Is g greater than l?
True
Let q be (2 + -1)/((4 + -2)/6). Suppose 0 = -4*t - x + q*x + 4, -t + 11 = 2*x. Is t at least 11/4?
True
Let w(m) = -m**3 - 7*m**2 + 7*m - 8. Let y be w(-8). Let x be 27/7 - (-2 + (y - -5)). Is 2 < x?
False
Suppose -396*c + 390*c + 6 = 0. Which is bigger: c or -8/151?
c
Let h = 48 - 40. Suppose -3 - 5 = h*p. Is 3 <= p?
False
Let d = 0.1 - 0.3. Let q = 4294 + -4274. Is d less than or equal to q?
True
Let c be (-1 + -2 - (-145)/(-55)) + 4. Is c smaller than -3?
False
Let b be 375/(-21) + (-10)/70. Is b not equal to -15?
True
Let r(m) = m**2 + 26*m - 23. Let u be r(-27). Suppose 3*a + 0*a = 6. Suppose -a*b + 2*o + 7 + 1 = 0, b - 1 = 2*o. Is b at least u?
True
Suppose 0 = -3*l - l + 48. Suppose 2*k = l - 16. Let j be (3/2 + -2)*k. Is j smaller than -1?
False
Let r(j) = 4*j**2 + 2*j + 5. Let a be r(5). Suppose 2*f = 1797 - a. Let n = f + -5877/7. Is n > 2?
False
Suppose 12 = 3*t, 5*h - 3*t + 2*t + 4 = 0. Suppose h = 3*x - x + 30. Is -15 at most as big as x?
True
Let h = 1762 + -1839. Which is greater: h or -72?
-72
Let m(k) = k**3 - 6*k**2 - 6*k - 7. Let h be m(7). Let u be (-3 + 2 + h)*21. Let g be ((-8)/(-6))/(7/u). Is -4 != g?
False
Let w = -504 - -135. Is w equal to -369?
True
Let b be (-1)/(24/18)*(-4)/(-12). Are b and -1/18 equal?
False
Let n = -195 + 194.8. Is -74 bigger than n?
False
Let m = -194959/1221 - -479/3. Is m less than or equal to 1?
True
Let t = 289/795 + -8/265. Is -3.76 smaller than t?
True
Let b = 1431 + -1498.