-10. Let t be (-3)/h*12/27. Is -3 smaller than t?
True
Let l = -63 - -62. Is l bigger than 91?
False
Let m be 2475/(-60) + 3 + 0. Let j = m - -1379/36. Is j <= 0?
False
Let l be (-4)/7827*63/42. Which is smaller: -1 or l?
-1
Suppose -28 = 6*s - 8*s. Suppose -4*i + s - 42 = 0. Let j be (-1)/((i/(-4))/1). Which is greater: j or -2?
j
Let x = 2/13261 - -1657617/53044. Let a = -31 + x. Which is bigger: a or 1?
1
Suppose 7*n - 2*n = -n. Suppose -3*f - 8 = -4*b, b = -f - 5 - n. Suppose 0*a = 3*a + 3. Is a != b?
False
Suppose -37*z + 1589 = 6658. Is z smaller than -141?
False
Let o = -18 + 21. Suppose -2*z = -o - 7. Is 33/8 != z?
True
Let s = -60 - -56. Let l be -5 - (28/(-12))/1. Which is smaller: l or s?
s
Let i = 158 - 159. Which is greater: 12/55 or i?
12/55
Let w be 32/(-6) - (-9)/(54/(-4)). Let m be 2 - (w/4)/((-15)/30). Are 2/15 and m equal?
False
Let z = -5.5 - 2. Let d = z + 7.3. Let m = -11 + 18. Are m and d unequal?
True
Let b = 731 + -710. Which is smaller: -1 or b?
-1
Let t be (-4)/(-8)*4*-3. Let m = -4 - t. Suppose 0 = -m*c - c + 9. Is c at most as big as 3?
True
Let j = 336 + -345. Is -23/3 greater than or equal to j?
True
Suppose -4*c + 0*c + 8 = 3*a, -4*c = -8. Suppose a = 2*s + 19 - 85. Do s and 33 have different values?
False
Let a = 28 + -22. Let o be (a/8)/((-13)/(-104)). Let f = o + 1. Is f greater than 8?
False
Let u be ((-16)/(-12))/((-2)/468). Let w be 6/9 + u/63. Is -4 bigger than w?
True
Let h be 1 - (2406/(-20) + 1). Let b(y) = -y**3 + 42*y**2 + y - 162. Let c be b(42). Let f = c + h. Do f and 0 have the same value?
False
Let t be 3/((-45)/740)*3. Which is smaller: -147 or t?
t
Suppose 13*f - 104 = 195. Which is greater: f or -1?
f
Let o(k) = -6*k - 42. Suppose 10*j - 13*j = 21. Let c be o(j). Which is bigger: 0.78 or c?
0.78
Let x be (-3 - (-344)/114)/(1/(-2)). Which is greater: -2 or x?
x
Suppose 8 = -5*s + 3. Let o = -1741777/12 - -145288. Let y = o + -140. Are y and s nonequal?
True
Let x = 5 - 4. Let z be 2 - 6/(2 + x). Suppose -t + 5*t + 8 = z. Is t != 0?
True
Let x = 5.4 - 0.4. Let f = 8 - x. Let i = -35.7 - -35.4. Does i = f?
False
Let f = -1.6 - -3.7. Let t = 1.95 - f. Let x = -0.45 - t. Which is greater: 1 or x?
1
Let c = -2 + 2. Let u = -5.26 - -0.56. Let s = -3.7 - u. Do c and s have the same value?
False
Let j be (756/24)/(1/10). Suppose 2*i - 7*i = -j. Suppose -2*d = d + i. Are d and -21 nonequal?
False
Let s = 1998 + -1998.1. Is s < 1379?
True
Let u(f) = -4*f**2 + 3*f**2 - 108*f + 36 + 135*f. Let a be u(25). Is a bigger than 85?
True
Suppose -5*r + 2*r + 5*i - 67 = 0, -3*r + 2*i - 52 = 0. Let u be (-6)/(-21) - (-18)/r. Let m = 62.08 - 62. Is m smaller than u?
False
Let d = 74.5 - 72. Let u = 5.5 - d. Which is smaller: -0.2 or u?
-0.2
Let k = 87 + -101. Let l(i) = 7*i**2 - 41*i - 47. Let y(t) = 3*t**2 - 20*t - 24. Let d(o) = -4*l(o) + 9*y(o). Let m be d(k). Which is greater: m or 8/9?
8/9
Let x = 5.2 + -4.5. Is x smaller than -12?
False
Let i = 8 - 9. Let v = -1 - -2. Is i equal to v?
False
Let f = -6755/17 + 397. Suppose 3*z = -2*z. Which is bigger: f or z?
z
Let h be (11 - 35/5) + -3 + 99. Is h greater than or equal to 100?
True
Let h = -49 + 37. Let j be (3/h - 0)*1*-25. Which is bigger: j or 5?
j
Let i(r) = -r**3 + r**2 - r + 1. Let n be ((-6)/4)/((-4)/(-56)). Let j = n + 22. Let g be i(j). Is g >= 3/11?
False
Let r = -14.8 - -13.8. Is r at least as big as -15?
True
Let j be -1 + 6/(-9)*-6. Let w(x) = -11*x - 3 - x**3 - 3 + x + 9*x**2 - j*x. Let y be w(7). Which is bigger: y or -1?
y
Let p be -8*-3*5/(-30). Let x be (p/25)/((-26)/(-65)). Is x < -1.1?
False
Let r = -903 - -1491. Let f = r + -14702/25. Suppose 0 = -2*a + 3*u - 9, 2*u - 7*u = -2*a - 15. Is f > a?
False
Suppose 5*g + 1255 = -5*i, 2*i - g + 496 = -0*i. Let l = i - -5231/21. Which is greater: l or 5?
5
Let w(u) = u**2 + 6*u. Let p be w(-6). Let j = -2/46071 + -30616/2257479. Does j = p?
False
Suppose 0*h + m + 40 = -2*h, -4*h + 2*m - 72 = 0. Which is greater: -0.06 or h?
-0.06
Let j(n) = -10*n**2 - 19*n + 53. Let i be j(3). Does i = -96?
False
Suppose -5*g + 3*n - 173 = 2*n, 3*g + n = -107. Suppose -c = 22 - 56. Let y = c + g. Which is smaller: -1/3 or y?
y
Let i be (-9)/(-4) - (-13)/(-52). Is i greater than or equal to 27/19?
True
Let r = 20 - 33. Let i = r + 13.5. Let j = 3.5 - i. Is j at most 0?
False
Let w = 89 - 80. Let q be 2/w - (-169)/(-234). Let d = -0.2 - -0.1. Are q and d non-equal?
True
Suppose 9 + 1 = 5*a + 2*m, 4*m = 20. Let y be 75/(-35)*(-4)/3 - 2. Is a smaller than y?
True
Let c(l) = l**2 - 3*l - 22. Suppose -a = 5*g + 15, 3*a - a + 2*g + 14 = 0. Let p be c(a). Is 18 greater than or equal to p?
True
Suppose 2*w - 3*s + 0*s - 40 = 0, 2*w - 24 = -5*s. Let t = -13 + w. Let c = 3 - t. Which is smaller: c or 1/5?
c
Suppose 0*o = -4*o + 12. Let r = -5 - -6. Suppose -2*n = r - o. Are -2/11 and n equal?
False
Let h = 1.03 - 5.03. Let q = -59 + h. Which is smaller: q or -0.1?
q
Let t = -11 - -9. Let b be (2 - (0 + t)) + 8. Let f be 9/b - 6/4. Does f = 0?
False
Let v(h) = -h + 5. Suppose -3*u - 3*t + 24 = 0, -7*t = -4*u - 2*t + 14. Let p be v(u). Let d be 1*(p + (0 - -3)). Is 0 < d?
True
Let o = 26.31 - 26.21. Which is greater: o or 239/8?
239/8
Let y = 91 - 92. Is 24/83 >= y?
True
Let f = -2050 - -2050. Is 30/107 smaller than f?
False
Let a be 70/(-245) - 1616/(-5754). Is 0.1 less than or equal to a?
False
Let r(k) = 4*k + 20. Let d be r(-5). Let y be (-56)/42 + (1144/426)/2. Is d smaller than y?
True
Suppose 11 = 5*f - 3*z, 3*f - 15 = -3*z + 2*z. Suppose -2*l + 5 = 5*w, -4*l + 20 = -4*w - f. Which is bigger: -1/4 or l?
l
Let t = 11 - 11.08. Let k = -2.32 + t. Let y = 2.2 + k. Is y at least as big as -2/7?
True
Let q be 0/((-6)/2 + 4). Suppose -4*k + q*k + 64 = 0. Let f be -4 + (-40)/(k/(-4)). Is f > 5?
True
Let k = 9 + -13. Let a be (-1)/k*(-2 - 1). Let m = a - -5/12. Are m and -6 unequal?
True
Suppose -v + 40 = v. Let i = -1108.1 - -1108. Is v bigger than i?
True
Let m be ((-8)/26)/(1 - -21). Let v = 26492 - 26492. Is v smaller than m?
False
Suppose 5*p = -5*m + 20, m - 3*p + 8 = -4. Let x be 0/(m + 2 + -4). Is x < -8/19?
False
Suppose -5*y = -4*y. Suppose 3*b + b = y. Suppose b*z = 6*z. Is 1 at most z?
False
Let b(a) = 6*a**3 + a**2 + 2*a + 1. Let p be b(-1). Let f = -23 + 31. Suppose 0 = -6*d - 34 - f. Is d greater than p?
False
Suppose -5*s + 3*k + 27 = 0, -5*s + k = 2*k - 11. Suppose -10 = s*c + 5, -4*g + 55 = 5*c. Which is bigger: g or 1?
g
Let c be 2/(1*1/2). Suppose -2*n + 8 = -u - n, -49 = 5*u + c*n. Let y = 10 + u. Is 1 less than y?
False
Let n = 143651/187968381 + 1/73111. Let f = 5224/105411 - n. Which is smaller: f or 1?
f
Let p(k) = 59*k + 96. Let x be p(4). Is x at most 331?
False
Let h(j) = -18*j - 736. Let v be h(-39). Are -33 and v equal?
False
Suppose 0 = -4*a - 16, 3*w = 6*w + 3*a + 327. Are w and -104 unequal?
True
Let n = -21 + 20. Let h = -58694/73 + 804. Which is smaller: h or n?
n
Let v = 4 + -4.4. Let m = 0.2 + v. Let j be 48/416*(-8)/6. Are m and j nonequal?
True
Suppose 5894*w - 896 = 5892*w. Which is smaller: 2 or w?
2
Suppose -3 = 2*i - 7. Suppose -2 = 3*o + 5*l - 3, o + 18 = i*l. Is o less than -8?
False
Let s = -35 + 38. Suppose 3*b = -3*l + 33, s*b + l = -b + 56. Which is smaller: b or 14?
14
Suppose j + j = 28. Suppose -3*o + 15 = 404*k - 408*k, 2*o = -k + 32. Which is greater: j or o?
j
Let u be (-33329)/2666 + 12 + 2/4. Which is greater: 0 or u?
0
Let i be -9 + 8 - (1 - (-64)/1). Let p be i + -8 + 0 + 3. Is -71 bigger than p?
False
Let i be (-1)/(-5) - 72/760. Is -4/11 at least i?
False
Let w be (4/(-66))/((-44)/(-12)). Suppose 2*x - 6*t + 9*t - 2 = 0, 3*x - 3 = 3*t. Which is smaller: x or w?
w
Let m be -4 + 16374/4264 + 10/65. Let s = 303/4100 - m. Are -6 and s nonequal?
True
Let p be ((-9)/6)/(3/36). Let t(b) = b**3 + 9*b**2 + 11*b + 5. Let y be t(-8). Which is smaller: p or y?
y
Let y = 3574/19 - 188. Is y greater than or equal to -36?
True
Let m(q) = q**3 - 7*q**2 + 3. Let d be 1 - (2 - 4)*3. Let b be m(d). Let j be 0*(2 + b/(-2)). Which is bigger: j or -4/7?
j
Suppose 0*i - i + z = 47, 5*z + 53 = -i. Which is smaller: -49 or i?
-49
Let u be (-628)/(-10)*(-43)/((-258)/(-180)). Which is smaller: -1885 or u?
-1885
Let c be (-35)/(-110)*1996 + 1. Let j = c - 637. Is j > -1?
True
Let h = -24 + 1