-1386)*14*(0 + 0). Which is smaller: m or b?
b
Suppose 3*o = 4*z + 2*o + 13, -3*z - 4*o = 5. Let b be (-1)/1 + z - -20. Let w be (7 - 3)*4/b. Are w and 1 equal?
True
Suppose 0 = 2*x + a + 10, -2*x + 5*a = -0*x - 2. Let v be (-5)/x + 2/(-8). Let g = -32974 + 956242/29. Is g > v?
False
Suppose 3978 = -7896*i + 7913*i. Which is smaller: 235 or i?
i
Suppose -607 = -5*z + 2*m + 2378, 0 = 3*z + 5*m - 1791. Let f = z - 2415/4. Let s = -23/12 + f. Is s bigger than -8?
False
Let p be 20*3/12*-421. Which is bigger: p or -2109?
p
Let w = -14.83 + 8.83. Let a = 809.3 + -812. Are w and a equal?
False
Let a = -2.9 + 3. Suppose -43903 = -693*m + 1165 + 18688. Is m less than a?
False
Let d = -49334 - -49333. Is d smaller than 15233?
True
Let h(z) = 2*z**3 - 17*z**2 + 10*z - 12. Let u be h(8). Suppose -3*x - 4*o = 609, 2*o - 1041 = -u*x + 9*x. Does x = -206?
False
Let t = -462 - -440. Suppose -o + 15 = 5*c, 2*c + 2 = o - 3*o. Suppose -9*g = -c*g + 115. Which is smaller: t or g?
g
Let d(m) = m**3 + 2*m**2 - 6*m - 5. Let l be d(-5). Suppose 12*a = 15*a + 3*o + 168, 2*o = -3*a - 164. Which is greater: l or a?
l
Let y = -2577.9362 + 2578. Which is smaller: 2 or y?
y
Let h = -34 - -47. Let d(l) = 5*l + 75 - 87 - 6*l. Let y be d(-21). Is y greater than or equal to h?
False
Suppose -8 = 3*v - v. Let m(r) = -r + 7*r + r + 21 + 0*r - 2*r. Let b be m(v). Is 1/30 at most b?
True
Let a = -36 - -40. Suppose -a*m - 168 = -0*m - z, 0 = 2*m - 2*z + 78. Is -43 bigger than m?
False
Let w(t) = -37*t**2 - 4*t. Let p be w(6). Let k = 145091/107 + p. Suppose 12 = 13*a - 213*n + 211*n, -5*n = -5*a + 30. Which is smaller: k or a?
k
Suppose 0 = -5*s + 23 - 3. Suppose s*k + 5*r = 1, 9*k + 1 = 4*k - 4*r. Let g be 180/120*(58/(-26) - k). Is g > -3?
True
Suppose 3*v + 1075 = 6232. Is 1719 bigger than v?
False
Let y = 13067 + -13072. Which is smaller: y or 50?
y
Let s be ((-408)/18)/((-4)/(-138)). Let x be 4690/s - -2 - -4. Let p = x - 2371/9775. Which is greater: 1 or p?
1
Suppose -20*g - 139260 = -135480. Which is smaller: g or -184?
g
Let g be 63/(-63) - (6 + -4 - 3). Let u be ((-1)/8)/((-132)/(-112)). Do g and u have the same value?
False
Let n = 10338 + -10593. Which is bigger: -254 or n?
-254
Let v = -83 + 39. Let q = v - -42. Let x = -2 - q. Which is smaller: x or 2/7?
x
Suppose 0 = -4*g + 3*g + 139. Let z = g + -109. Suppose 0 = 5*r + 5*r + z. Which is smaller: -19/5 or r?
-19/5
Let d be (-18)/(-8) - (-2)/(-8). Suppose 3*v - 5 + d = 0. Let t = -431 + 5173/12. Which is smaller: v or t?
t
Let l = 3/3041 - -4057/2052675. Is l equal to -5?
False
Let b(d) = -4*d + 42. Suppose 4*q - 7*q = -36. Let f be b(q). Let g be (-4)/33 - 10/f. Is 3 at most as big as g?
False
Suppose 0 = -2*w - z + 3, 374*z - 371*z - 3 = 0. Are 14/389 and w non-equal?
True
Let b = 377 + -261. Are b and 120 non-equal?
True
Let d(c) = -2*c**3 + 7*c**2 + 16. Suppose -3*w + 5*y + 22 = 0, -6*w + 20 = -3*w - 4*y. Let h be d(w). Is h != 18/25?
True
Let n be (196440/(-9820) - -20)*(1 - 5). Is n less than 1?
True
Let l be 39/52 + (-1258)/1656. Let w = 550/207 - l. Which is smaller: w or 1?
1
Let a be (-93)/62*(-6)/9. Suppose 0 = g - o + a, 8 = 2*g + 4*o + 4. Is 2/1517 less than or equal to g?
False
Let x be 26*-1*381/(-254). Which is smaller: -1/151 or x?
-1/151
Suppose -23 - 1 = 4*v. Let x = -49.8152 + 7.8152. Which is bigger: x or v?
v
Let w be (-3 - -3) + (-2394)/200 + 12. Suppose -4*v = -0*v + 4. Which is bigger: w or v?
w
Let k be 1/8 - (2058/560)/(-49). Does 34 = k?
False
Let m be (-14 - 2094468/(-63468)) + -19. Which is smaller: m or -1?
-1
Let d(p) = 2*p**3 - 5*p**2 - 7*p - 25. Let w be d(-8). Is -1312 less than w?
False
Suppose 2468 = -13*b + 3*f + 18414, -5*b + 6139 = -2*f. Which is smaller: 1222 or b?
1222
Let l be (-1)/(-3*(-1)/(-12)). Suppose -l*x = -14*x. Let k be -4 + 5 - (-7)/(-5). Which is smaller: k or x?
k
Let a = -1.2 + 0.2. Let n = -0.7 - 98.3. Let g = n - -99.03. Which is bigger: a or g?
g
Suppose -4*l - 39*d - 9824 = -35*d, -4*l - 9824 = 2*d. Which is smaller: -2455 or l?
l
Let w = -29 + 40. Suppose -w*u = u. Suppose -3*q - 5*g - 18 = 7, u = 3*q + g + 5. Which is smaller: 7/18 or q?
q
Let h = -1824 + 796. Let s be 4 - ((-11)/110)/(26/h). Which is smaller: s or -1?
-1
Suppose 19*l = -71*l + 1530. Which is smaller: 225/14 or l?
225/14
Let o be 4/14*(-21)/(-24)*4. Let f be 1*(-4 + 3 + 1). Let z = o + f. Is z less than or equal to 1?
True
Let q be ((-221)/(-13) - 25 - 0) + 12 + -1. Which is smaller: 306/101 or q?
q
Suppose -m = 5*d - 3170, -4*d + 6*m - 11*m = -2557. Suppose -12*n = d - 621. Let h = -101926/135 + 755. Is h > n?
True
Let f = 6.956 + -7. Let b = f + -0.956. Let t be -2 - (-4 + (-528)/(-262)). Is b less than t?
True
Let d = 7463 + -7484. Which is smaller: -445/22 or d?
d
Let m be (-114)/(-1919)*(-190)/15. Which is smaller: m or -1?
-1
Suppose 5*g = -22*d + 19*d + 9457, 2*g - d = 3796. Is 1895 bigger than g?
False
Let i be (-54)/44*(-2)/(-3). Suppose -y - 15 = -4*o, 2*o = 4*o + 3*y - 25. Let x be -4 + 2*(o + -4). Is x equal to i?
False
Let c = 577 - 1431. Is -856 at most as big as c?
True
Let s = -8424 - -8425. Which is smaller: -1/4016 or s?
-1/4016
Let g = -79 + 22. Let w be -2*3/(-9)*g/2. Is w less than or equal to -19?
True
Suppose -115*s + 2*f = -113*s - 876, -3*s + 1322 = -2*f. Let k be 0 + (1 - (3 - 3)). Which is smaller: s or k?
k
Suppose 73*m = -285*m + 8034952. Which is smaller: m or 22445?
m
Suppose -2*i - 5*d - 47 = 0, -d = -2*i - i - 113. Let z be 4/7 - i/(-63). Let l = 27392/49 - 559. Which is greater: l or z?
l
Let n = -13315 + 13310. Let x = -0.02 - -0.09. Is n greater than x?
False
Suppose 4*r - 663 + 383 = 14*r. Which is smaller: -52 or r?
-52
Let x be 1/((-16)/(-32)*-4). Is x at most -442/3?
False
Let x = 5101/1608555 - 6/1469. Which is smaller: x or 4?
x
Let a = 62 + -84. Let j(f) = 2*f + 4. Let z be j(a). Let b be 2 + 73/z - 17/(-85). Is b < 0?
False
Let n = -17574 - -17231. Are n and 7 equal?
False
Let a be 9/12*(-308)/(-30). Let c = a - 1119/20. Which is bigger: c or -47?
-47
Let p = 4 + -3. Let h be (13/(-10))/p - -2. Let o be 258/1376 + (76/(-64) - -1). Is h smaller than o?
False
Let b = -41 + 63. Let t be b*(-2)/(-4) + -3. Let x(r) = -2*r**2 + 18*r - 1. Let q be x(t). Which is smaller: 17 or q?
q
Suppose 0 = 2*b - 10, 17*a + 3*b - 15 = 18*a. Let l be 2 + 1/(3/21). Let m be ((-6)/(-76))/(l/18). Which is smaller: a or m?
a
Let q = -22816 - -22816. Which is smaller: q or 26/443?
q
Let z(y) = 17*y - 40. Let o(x) = 6*x - 13. Let i(a) = 11*o(a) - 4*z(a). Let s be i(-13). Suppose s - 13 = -2*l. Is l greater than or equal to -14?
False
Let z = 217289 - 88219389/406. Let o = z + 64117/467306. Is o at most as big as -1?
False
Let b = 3593/18015 - -2/3603. Which is greater: b or -120?
b
Let x be ((-6)/12)/(2/12). Let j(r) = 2*r**3 + 13*r**2 + 11*r + 4. Let d be j(-8). Let k = 272 + d. Is k less than x?
True
Let w be (18862858/(-140))/(-19) - (-27)/(-90). Which is smaller: w or 7092?
w
Suppose 3*f = 24*f + 630. Let a be f/40 + (-406)/(-584). Is a >= 0?
False
Suppose -5*x - 7*x - 67344 = 0. Which is smaller: x or 2/3?
x
Let a = 20.5 + -22.1. Let r = a - -0.2. Do r and -0.5 have different values?
True
Let s be (-100)/2 - 1*-2. Let n be 3 + -2 + (3 - (6 + 38 - -8)). Is n greater than s?
False
Let a(l) = -4*l - 33. Let b(q) = -2*q - 16. Let w(y) = 6*a(y) - 14*b(y). Let f be w(-8). Let d be (-4)/f - (-156)/36. Which is bigger: d or -4?
d
Suppose -1 = -a - 0. Let h be 20/52*3 + 2/(-13). Let t be (2/23)/(h*1/(-3)). Is t less than a?
True
Let t(n) = -27*n - n**2 + 32*n - 6 - 3. Let k be t(5). Let w be -14*k/((-315)/(-10)). Which is bigger: w or 3?
w
Suppose -129 = 3*l - t - 3*t, -4*l + 4*t = 176. Let j = -172 + 172. Suppose 0 = -q - 3 - j, q - 135 = 3*h. Which is greater: h or l?
h
Let x = 0.384 - 0.484. Are 911.8 and x unequal?
True
Let y = 204.5 - 204.55. Let h be 3/(-18)*18/27. Is h >= y?
False
Let n = -0.2 + -5.8. Let r = n - -6.1. Let x(g) = 3*g**3 + 29*g**2 - 11*g - 14. Let p be x(-10). Which is smaller: p or r?
p
Let i(r) = 3*r**2 + 48*r - 187. Let w be i(-17). Is w greater than -135?
False
Let g = 2294 + -2294. Which is smaller: 2/11197 or g?
g
Suppose -12*b - 22*b - 32*b = -264. Suppose 2*g + p = 14, 3*g = -g - p + 24. Suppose 3*j + 2*w - 106 = 0, 2*j - g*w + b*w = 59. Do 32