1 - ((-223)/(-252) + 10/l). Is h at least 0?
False
Let p = 26 - 37. Let l = 11 + p. Let a = -8/15 + 17/30. Is l bigger than a?
False
Suppose 17157*k = 17178*k + 2184. Which is greater: 0.23 or k?
0.23
Suppose 1926 = -86*q + 83*q. Let j = -642 - q. Is j <= -9/25?
False
Let a = 95 + -98. Suppose 3*z + j - 38 = 0, -4*z + 45 = -j - 1. Suppose -13*x = -14*x - z. Which is bigger: x or a?
a
Let k be 177/2*(-22)/33462*-13. Which is greater: 2 or k?
2
Let h = 2.933 - 2.9. Let i = 276 - 276.033. Let q = h + i. Is 7 != q?
True
Let d be -2 - 2/(6/(-9)*-3). Let l = 4 - d. Suppose -3*i = -l*i + 28. Which is smaller: 9 or i?
i
Let c(g) = g + 50. Let b be c(-6). Suppose 47*o + 9 = b*o. Let m be (-14)/18 + 2/(-9). Are m and o unequal?
True
Let j = 480 - 363. Suppose -22*g + j = -19*g. Are g and 39 nonequal?
False
Let l be (20/200)/((-816)/760). Is -0.1 greater than l?
False
Let x be (-1)/((-6)/(-8))*252/(-24). Suppose -4*d - 2 = -3*w - x, d = -4*w - 16. Is d bigger than 17/24?
False
Let a(k) = k**3 - 30*k**2 - 62*k + 4. Let w be a(-2). Are -6/2183 and w equal?
False
Let h(j) = -2*j**2 + 14*j - 6. Let w be h(6). Let l(b) = b**3 - 6*b**2 + 7*b - 15. Let n be l(w). Let x = 244/9 - n. Which is greater: x or -2?
x
Let u = 102 - 60. Let m = 39 - u. Which is smaller: 1/18 or m?
m
Let b(h) = 7*h**3 - 4*h**2 + 11*h + 2. Let w be b(2). Suppose 9*m = 25*m + w. Let z be ((-2)/(-2))/(3/(-9)). Which is smaller: m or z?
m
Let j = 18615 + -17642. Which is smaller: 962 or j?
962
Let l(i) = i**3 + 53*i**2 + 20*i + 10. Let p(c) = -2*c**3 - 159*c**2 - 59*c - 32. Let g(y) = 8*l(y) + 3*p(y). Let s be g(27). Which is smaller: 509/2 or s?
s
Suppose 0 = -7*g + 9*g - 8. Let m be 0*(5 - (g - 0)). Which is greater: m or -47?
m
Suppose 4960 - 4956 = 4*t. Which is bigger: t or -1/6535?
t
Let s(m) = -2*m**3 - 41*m**2 + 317*m - 72. Let o be s(6). Let b be 10398/(-135) + 4/18. Is o greater than b?
False
Let c be ((-6)/70)/((-14)/(-70))*(-14)/2756. Is -1 bigger than c?
False
Suppose -23 + 13 = -2*x. Suppose r - x*r + 244 = 0. Let v(f) = -f**3 + 25*f**2 - 148*f - 5. Let b be v(11). Is b at least as big as r?
True
Let v = -2848414/357 - -152897/17. Let y = v - 1015. Let l(p) = p**3 - 6*p**2 - p + 5. Let t be l(6). Do y and t have the same value?
False
Suppose -180 = 13*v - 284. Suppose 4*i + v*i - 132 = 0. Which is smaller: i or -2?
-2
Suppose -17 = -2*l + 3*u, 1 = 4*l + 2*u - 9. Let d be l/18*(-72)/48. Is -7/26 greater than or equal to d?
True
Let r be (13 - 19) + 18*1. Suppose -6*t + 7*t = 0. Which is smaller: r or t?
t
Suppose 19*n - 30*n = 22. Let r be 6 - (-121)/(-22) - 53/n. Is 26 != r?
True
Let z(n) be the second derivative of -2*n**3 - 18*n**2 + 2*n - 21. Let p be z(-3). Is p at least as big as 1/48?
False
Let i = 123 - 127. Let g be i + (5 - (-319)/(-323)). Let q = g - 1958/1615. Do q and 0.2 have different values?
True
Let n(d) = -3*d**2 + 6*d + 2. Let i be n(-5). Let m = 10084 - 10083.9. Is i >= m?
False
Let x be (-9)/(-6) + (872/(-112) - -6). Which is bigger: 195 or x?
195
Suppose -5*q = -y - 31, 446*q - 21 = 3*y + 443*q. Which is smaller: y or 2/14189?
y
Suppose -1 = -b + 2. Suppose 0*t + 2*t - 14 = -b*p, -2*t = -4*p - 28. Suppose 5*r - 19 = r - 3*i, 2*i = t. Which is greater: r or -2/115?
r
Let j(o) be the second derivative of o**3/3 + 14*o**2 + 20*o. Let r be j(-17). Let f be (-4)/r + 1 + -1. Is 2/5 < f?
True
Suppose 9 = 2*t + t, -4*v = 5*t - 23. Let a be (-180)/(-20) + (-6)/v. Suppose a*i = 131 + 115. Is 42 less than i?
False
Let k = -2025 - -1930.97. Let j = 94 + k. Is j >= 1/2?
False
Suppose -48*j - 786 = -162. Which is smaller: j or 102?
j
Suppose -s = 4*c - 15, 4*c - 5 = 2*s + 13. Let i = -77 - -225. Which is greater: i or s?
i
Let z be (-2)/(-7) - (3 + (-2562)/(-49)). Let w be (-10)/z - 8/44. Which is smaller: 5/9 or w?
w
Let t = 6 - 10. Let p = 0.109 - 0.363. Let u = -6.254 - p. Is u <= t?
True
Let i be (0 - 7/(-35))*1*0. Suppose -6*s + 232 = -380. Are i and s equal?
False
Let z = -24.683 + 73.683. Which is smaller: z or 1.1?
1.1
Suppose 3*i - 20 = 5*z, 3*z = -4*i + 6*i - 15. Let d be (-54)/i - 27/(-45). Which is smaller: d or 1?
d
Let h = -0.04034 + -224.89966. Let l = -225 - h. Is -2/3 >= l?
False
Let u = -19 - -7. Let r be 0 + (-15)/3 + u/(-3). Which is smaller: r or 3/172?
r
Suppose 531*d + 3155920 = 325*d. Which is bigger: -15319 or d?
-15319
Let s(g) = g**3 + g**2 - 5*g - 27. Let a be s(-5). Let m = 127 - 229. Is m less than a?
False
Let d = 118 + -72. Let x = -43 + d. Suppose -4*y + 5*t + 45 = 141, x*y = -5*t - 37. Which is bigger: -18 or y?
-18
Let j = -5 - 2. Let u = 40 - 52. Let k be (-60)/(-63) + 8/u. Are j and k non-equal?
True
Suppose n = 5*x - 9, 0 = -2*x + 5 + 1. Let l be (18/24)/(1/n)*8. Let d = 11 - l. Which is bigger: -24 or d?
-24
Let v = 120.98 + -69.98. Is -16/11 at most v?
True
Suppose -2*s + s = 0, 30 = 3*w + 5*s. Let o be -2 + -2 + w + 0. Let a be (-1 + 8 - (4 - 0)) + 15 + -14. Is o less than a?
False
Let s = -36017/11271644 - -5/6988. Let g = 3702/191947 + s. Is 0 at least as big as g?
False
Let h be (-768)/(-60) + (-6)/(-5) + -1. Let a = -1 - -36. Suppose 4*w - 3*q = a, w - 10 = -q + 4. Is h less than w?
False
Suppose 4*r - 89 = 47. Let d be 1/(-2)*0 - -1. Let p be -2*d*493/r. Do p and -29 have the same value?
True
Suppose 150 - 87 = -7*m. Let a be m/(-30) - (-80895)/(-268650). Is a smaller than 0?
True
Let v = 38799 - 37342. Which is smaller: v or 1456?
1456
Suppose 3*y + 6 = z + 2*z, 0 = -2*z - y + 10. Suppose -8 = -z*s - 12. Is s < 8/35?
True
Let z be 1 - -1*(-12 + -2). Suppose -173 + 120 = 10*k + 137. Which is smaller: k or z?
k
Let v = -924 + 928. Suppose v*l + 2574 = -9*l. Is -199 bigger than l?
False
Suppose 0 = 11*d - 21 - 67. Suppose 0 = d*u - 2*u - 42. Is 11 != u?
True
Let n = 17 + -11. Suppose 204 = -n*t + 9*t. Suppose -4*r + 0 = t. Is -18 bigger than r?
False
Let s(b) be the second derivative of -b**4/12 - b**3/3 - 11*b**2/2 + 7*b. Let i be s(0). Let c = -11 - i. Which is greater: c or -2/21?
c
Let y be 313/(-313) + 1 + (-4)/(-142). Let m = -1.5 + -0.5. Let s = m + 3. Which is bigger: s or y?
s
Suppose 3 = -3*c - 183*u + 182*u, 0 = 2*c + 3*u + 2. Is -35/233 at least as big as c?
True
Let z be (-16)/192*4*0. Let x = -2080/26873 - 2/3839. Which is greater: z or x?
z
Let l(i) = -236*i + 8799. Let f be l(36). Which is bigger: 308 or f?
308
Suppose -92 + 573 = 5*z + h, 4*z = -h + 385. Which is smaller: 877/9 or z?
z
Let i = 14812 + -11325. Is i less than 3487?
False
Suppose -7*l - 3 = q - 10*l, 5*q + 3*l - 3 = 0. Suppose 5*c = 5, -5*w - c - 54 + 0 = q. Is -11 >= w?
True
Let b(j) = j**3 - 11*j**2 - 13*j + 7. Let d be b(12). Suppose -88 = -49*x + 38*x. Suppose -20 = -x*a + 12*a. Is d equal to a?
True
Let a = 402 + -387. Let c = 0 - 0. Which is smaller: c or a?
c
Let l = -31 - -19. Let i = 9116 - 9136. Which is smaller: i or l?
i
Let c(a) = 3*a**2 + 2*a - 6. Let x be c(-4). Let u = -34 + x. Suppose p - 2*o = 11, 2*o + u*o = -3*p + 25. Is p at most 10?
True
Let o be 2/(-25) - (-1)/((-150)/231363). Which is bigger: -1542 or o?
-1542
Let h = 410 + -412. Let z = -40 - -48.3. Let c = z + -0.3. Is c smaller than h?
False
Let z = -16343 + 14202057/869. Which is smaller: z or -1?
-1
Let s = -394 + 392. Let p(h) = -15*h**2 + h + 7. Let a be p(s). Which is greater: a or -57?
a
Let t = -0.071 - 4.579. Let u = -3 - 1.8. Let b = u - t. Is 0 at most as big as b?
False
Let k be 49*9/63 - 0. Let x(z) be the first derivative of -3*z**2/2 + 13*z + 1. Let b be x(k). Which is greater: -46/7 or b?
-46/7
Let l(g) = -11*g**3 - 99*g**2 + 7*g - 37. Let h be l(-9). Is h >= -101?
True
Let w = -21066 - -21133.592. Let p = w + -67.6. Is p smaller than -7?
False
Let o be -1 + ((-6)/4)/(24/80). Let r be ((-5)/((-20)/o))/(5/(-20)). Let g be 3/63*-3*(-4)/r. Which is smaller: g or 0?
0
Let o be (990/(-380) + (-4)/(-38))*502. Which is smaller: -1257 or o?
-1257
Suppose -2*m = -32 + 2. Suppose m*b - 643 - 197 = 0. Which is bigger: b or 55?
b
Let k be (-3 + (-20)/(-12))/((-2)/18). Suppose k*p - 11*p = 2. Suppose 0 = -3*q - f - 3*f - 6, 11 = -p*q - 5*f. Is 2 smaller than q?
False
Suppose -206*m + 207*m = 533. Let x = -298 + m. Is 236 greater than x?
True
Let g = -54 - -31. Let p = g + 25. Let c be (-8)/p*2*20/32. Which is smaller: 1 or c?
c
Let n be 15/(-150)*(-194204)/18. Let