?
False
Suppose 86*f + 84 = 284*f - 114. Which is smaller: 135/386 or f?
135/386
Let p = -116 - -115. Let a be 116/319*p/(1 + -63). Which is smaller: 0 or a?
0
Let o = -2 + 2. Suppose 13*w - 12*w - 2 = o. Let p be ((-45)/22 + w)/((-2)/4). Does 1 = p?
False
Let o be ((-85)/170)/((-15)/(-5080)*(-8)/(-54)). Which is smaller: o or -1148?
-1148
Let l be 321/(-27)*-3 + 3/9. Let g = l + -29. Which is bigger: 13 or g?
13
Let i = -1/245 - 977/735. Let r be (-164)/(-10) + -6 + (-198)/(-30). Suppose 30*s + 13 = -r. Is i at least as big as s?
False
Let i(r) = r**3 + 7*r**2 - 2*r + 16. Let n be i(-7). Let w = -16 - -15. Let d be (n/(-585))/(w/(-9)). Which is bigger: 0 or d?
0
Let m be (-15)/2*(-2)/12. Let g be (-9)/15 - (-1188)/55. Suppose 12 = 4*r + 2*t, -2*r + 4*t = -7*r + g. Is r greater than m?
False
Suppose -3*t + 2 = -4. Let i = -264 - -786. Let b = 531 - i. Is b >= t?
True
Let h = -33388 + 33994. Which is greater: h or 5458/9?
5458/9
Let g = -59.9 + -17.1. Let y = -174 - g. Let x = y - -99. Which is smaller: -16 or x?
-16
Let l be 3/(-52)*2*(43848/1377 - 36). Is l less than or equal to -1?
False
Suppose 0 = 3*i + 2*k + 37 + 36, 5*i + 4*k + 123 = 0. Which is smaller: -55 or i?
-55
Let q be (-70)/(-210) - (-249801)/(-45). Which is greater: -5551 or q?
q
Let l = 5.97 + -8.27. Does l = -309?
False
Let v be (3/(-63))/((-2)/3246) - (-13 - -8). Which is smaller: 83 or v?
v
Suppose -2*s = -5*u + 1678, -35*s - 986 = -3*u - 39*s. Let h be ((-33)/165)/(u/(-4)). Which is bigger: 0 or h?
h
Let z be 3/6 + (-2)/4. Let u be (71 - 86) + (-2748)/(-188). Which is bigger: u or z?
z
Let o(z) = 6*z + 33. Let w be o(-5). Suppose -108 = -6*k - w*k. Let c be (10/84)/(15/k). Which is bigger: -3 or c?
c
Suppose 12 = 3*b - 57*h + 53*h, 2*h = -2*b - 6. Which is bigger: 18/31 or b?
18/31
Let b(h) = 13*h - 74. Let k be b(5). Is k at most -187/18?
False
Let l be ((-2686)/237)/((-4)/(-6)). Suppose 46*v - 12 = 49*v. Which is smaller: l or v?
l
Let v = 603 - 466. Let x = v - 135. Which is greater: 157 or x?
157
Let w(p) = 94*p - 16792. Let l be w(179). Let n = 137 - 94. Suppose s - g + 13 - 46 = 0, n = s + 4*g. Is l equal to s?
False
Let u = -259 + 264. Suppose -28 = 3*v + a - 155, -u*a = 5*v - 215. Is v greater than 39?
True
Suppose 3*z + 159*l = 154*l - 3884, 5*l + 6460 = -5*z. Which is smaller: -1291 or z?
-1291
Let b(o) = -7*o**2 - 18*o - 36. Let q(k) = 4*k**2 + 9*k + 18. Let g(u) = 3*b(u) + 5*q(u). Let p be g(-3). Which is greater: p or 3/92?
3/92
Suppose -6*p = -11*p - 25. Let g be (0 - (-3 - p))/((-4)/(-5)). Suppose 3*n + 6 = 4*o, 5*n + 10 = -0*n + o. Which is bigger: g or n?
n
Let u = -9364/9 + 1040. Which is smaller: u or 199?
u
Let h = 139 - 139. Let k(f) = -f + 45. Let m be k(h). Is m not equal to 43?
True
Let p(g) = g**2 + g - 1. Let k(c) = -11*c + 22. Let x(o) = -k(o) - p(o). Let y be x(5). Let q be (8 - y)/(-1 + 19). Is q not equal to -23?
True
Let i be (-497)/147*(-12)/40 - (-1)/(-1). Which is bigger: i or -125?
i
Let y = 3932.89 - 3969. Let r = -35.9 - y. Let x = 27/52 + -10/13. Is x at least r?
False
Suppose -30 = -5*x - y, 4*y = 2*x - 0*y + 10. Suppose 2*t = 3*z - 13, -2*t - 3*t = -x*z + 20. Suppose -3*n = 4*v - 38, 4*v - 4*n + t = 53. Is v <= 14?
True
Let n = -123 - -491/4. Let y be (54 - -1)*(-22)/(-110). Is y equal to n?
False
Let q be (-10)/3*(-3 + 15). Let b = 156829/20 + -31525/4. Are b and q non-equal?
True
Let p be -130 + (-2 - 5 - (-6)/45*54). Is p at least -130?
True
Suppose 14*i - 2*i - 60 = 0, 5*i - 6153 = -4*s. Is 7654/5 > s?
False
Suppose 0 = -3*a - 177 + 189. Let x be (-286)/(-52) + a + 0. Is 11 less than x?
False
Suppose -19*j - 330 = -8*j. Let i be (-20)/18*(-6)/j. Which is greater: -135 or i?
i
Let u = 113 - 55. Let c = u + -24. Suppose 34 = -0*w + w + d, -97 = -3*w + 2*d. Which is bigger: c or w?
c
Let t = -556.3 - -537.36. Is t <= 0?
True
Suppose 3*u + 8504 = -q, -3*u = 2*q - 0*q + 8506. Let c = -467612/165 - u. Let s = -1 - -2. Do s and c have different values?
True
Let f = 18815 - 17521. Which is smaller: 1285 or f?
1285
Let u = 1/8 + -11/24. Let o be ((-319)/(-116))/((-1)/(-20)). Let t be 9/18 - o/102. Is u at least t?
False
Let b = 1460748/527 + -6904108619/2492710. Let w be (-1)/(-1) - (-474)/(-473). Let u = w - b. Which is smaller: -1 or u?
u
Let l = 2.7 - 17.7. Let t = 6/469 - 481/938. Is t equal to l?
False
Suppose -37*o - 226 + 7885 = 0. Let i be (-13524)/o*(-60)/14. Is i less than 280?
False
Let q = -9010/10143 + -2/3381. Is 1 at least q?
True
Let s be ((-190)/57)/(3/23). Is -2 != s?
True
Let f = -29 + 31. Suppose 2 = 2*m - v, -4*v = 2*m - 7*v + 6. Suppose -f*r = -m*r. Is 0 != r?
False
Suppose -455*f = -458*f - 27. Is -134/15 bigger than f?
True
Let c = 2.3267 - 3048.3267. Is -0.06 > c?
True
Let o be ((-3)/4)/((-243)/168). Let m = 7581 + -7579. Which is smaller: o or m?
o
Let a = 84 - 151. Let t = a - -71. Let i be (-1)/((-237)/57 + t). Which is bigger: 5 or i?
i
Suppose -165 = -6*r - 27. Let b(k) = -13*k**3 - 5*k**2 - k - 2. Let a be b(-2). Let g = a - r. Is g at most 61?
True
Let i = -3681159708208423/23088 - -159440389401. Let p = -1/23088 + i. Let v = -299/3 + p. Which is smaller: v or 0?
v
Let h = 74 - 71. Suppose 0 = d - 2*d - 14. Let r be d/6*-1 - h. Which is smaller: -2 or r?
-2
Let k = -15856 - -12585. Is k <= -3273?
False
Suppose -2*g - 155 = -7*g. Let u = -27 + g. Let f be (-130)/(-110) + u/(-22). Which is smaller: f or -6/55?
-6/55
Let d(z) = -9*z**2 - 22*z + 3. Let u(h) = 17*h**2 + 43*h - 5. Let r(v) = -11*d(v) - 6*u(v). Let m be r(-4). Let s = -20 - -32. Which is greater: m or s?
m
Suppose 4*q - 6 = -h + 2, -3 = -q. Let w be h*(175/7 + 2). Which is smaller: w or -107?
w
Suppose 60 = 40*b - 34*b. Suppose 5*x + 0 = -b. Does -20/17 = x?
False
Let q = -6329 + 6330. Is 4/3207 smaller than q?
True
Let g = 255 - 252. Suppose 0 = -m + 5*d + 24, -17 = -g*m + 10*d - 6*d. Which is greater: -3/103 or m?
-3/103
Let p be (95180/30 - -23) + 4/(-6)*-2. Which is greater: p or 3198?
3198
Let x = 1148 - 1145. Let m = -1.3 + -3.7. Let u = m + x. Which is greater: u or 2/9?
2/9
Suppose -3*t + 2*d + 1 + 1 = 0, 2*t - 18 = -2*d. Suppose 0 = t*c - 0*c + 4. Is c at most 1/3?
True
Let d be (-4)/1 + -35*(-9)/72. Is d > -2/9?
True
Let k = -443.2 + 409. Let d = k + 21.2. Are d and -2 equal?
False
Suppose 4*b + 8 = 0, 6*t = 2*t - 2*b + 460. Let q = t + -105. Is 3 less than q?
True
Let u be 496/(-6678) + (-13 - 4125/(-315)). Is -2/13 greater than u?
False
Let b = 965 - 964.26. Let w = b - 0.83. Are -11 and w unequal?
True
Let d = -12641/33 - -383. Let s(t) = -4037*t**2 + 4 - 20 + 4038*t**2 + 2*t. Let z be s(3). Is z smaller than d?
True
Let x be 1*2 - -12*(-6)/(-9). Let d be -5 + 18/x + 1/5. Let u be (-336)/(-208)*-1*4/3. Is u less than d?
False
Let k(a) = a**3 + 6*a**2 - 3*a + 9. Suppose -4*w = -8 + 32. Let z be k(w). Let c(s) = s**2 + 39*s + 135. Let d be c(-36). Is z >= d?
True
Let o(f) = 8*f**3 + 4*f**2 + 4*f + 2. Let i be o(-1). Let z(g) = -3*g**2 - 14*g - 13. Let v be z(i). Is -45 > v?
False
Let g be ((-20)/(-50))/(2/20). Let i be g*((-246)/540 + (-6)/(-15)). Is i > 0.27?
False
Let c be ((-96)/84)/(20/14)*2/596. Which is smaller: c or -1?
-1
Suppose -3*k - k = -148. Let a = 52 + -50. Let n be a/(-3) + 2 + (-321)/(-9). Are k and n equal?
True
Let x = 6068.71 + -6042. Let p = 27.4 - x. Is p <= -1?
False
Let y = -3.76 + 3.6. Let s = -0.26 - y. Let r = -67 + 132. Is r greater than or equal to s?
True
Let l(z) = 9*z - 2*z**2 + 3*z**2 + 10 - 17. Let i be l(-10). Suppose -14 = 2*n + 2*j + j, i*j = -3*n - 18. Is -10 bigger than n?
False
Let d = 169 + -263. Let p = d - -94. Is 11 at least p?
True
Suppose r = q - 2, -5*r - 10 = 2*q - 4*q. Which is greater: 1 or r?
1
Let y be 108/135 - (-1)/((-70)/216). Let f be ((-27)/3 + 6)*2/3. Which is greater: f or y?
f
Let f(z) = z**3 + z**2 + z + 66. Let t be f(0). Suppose 448*l = -2*p + 471*l + 63, p = -2*l + 72. Is t at most p?
True
Suppose -5*w - 23 = -j, -20*w + 888 = -j + 926. Let i = 85 - -223. Let f = 22482/73 - i. Which is smaller: w or f?
w
Let k = 486 - 343. Let i = k - 136.1. Is i at least as big as -0.1?
True
Let z = -132 - -96. Let v be ((-4)/10)/(z/(-45))*-2. Let k be ((-4)/(-10))/(21/5). Which is greater: v or k?
v
Let v = 1011037/126 + -8024. Which is smaller: -1 or v?
-1
Suppose 23 = -2*g - 15. Le