+ 4*z. Let b = -985/9 + 107. Which is smaller: w or b?
b
Let j = 17341 - 17377. Is -255/7 smaller than j?
True
Let g be (7 + (-152)/24)/((-490)/12). Is 5/6 < g?
False
Let n = -4967 + 4967.11. Which is smaller: n or 0.189?
n
Let g = -11059/11 - -532907/517. Are 26 and g nonequal?
True
Let i = -166 + 169. Suppose -4*b - i*a = 0, -a - 1 - 10 = 5*b. Which is bigger: -38 or b?
b
Let d = 269783/85 + -16069/5. Let p = d - -40. Is p < 1?
True
Let b(a) be the second derivative of -a**3/2 + 29*a**2/2 - 32*a. Let n be b(7). Let c be 894/120 + 2/(-10). Which is smaller: c or n?
c
Suppose 0 = 2*f + 2*t + 48258, -3*f - 5*t - 73998 + 1607 = 0. Let w = f + 699753/29. Is w >= 2?
True
Suppose r = 275*k - 278*k + 248, r - 232 = 5*k. Let w = 6047/25 - r. Let x = -1 + 1. Is w at most as big as x?
True
Let b = -12 + 17. Let w = 4 - b. Let s = 129 + -3742/29. Is s less than w?
False
Let k = -21083 - -21083. Let n be ((-62)/6)/(3/9). Which is greater: n or k?
k
Let o be (1945/20 + 10)/((-6)/32). Which is bigger: o or -2?
-2
Let c = -596 - -1089. Let d be 84/462 + c/11. Is 42 less than d?
True
Suppose -9 = -19*j + 10*j. Suppose -2*t - 4*q = q + 257, -3*q = -3*t - 417. Let x be ((-2)/15)/(t/(-40)). Are j and x equal?
False
Suppose -2*z - 2952 = -6*z - 12*k, -3*z = k - 2174. Which is bigger: 720 or z?
z
Suppose -10*j = -4*j - 84. Suppose -j = -o - 5*f, -10*f - 28 = -2*o - 9*f. Do 99/7 and o have different values?
True
Suppose -2*y = -7*y + 50. Suppose -y*g + g + 9 = 0. Let b be (-10 + 13)*(g + 0). Is 5 bigger than b?
True
Let r = -97 - -67. Let g be (-835)/r - (-4)/24. Let b be g/35*(-1 - -2). Which is smaller: 1/7 or b?
1/7
Let m be 3/(-10)*-687 + 34/(-340). Suppose -m - 18 = -2*p. Which is greater: p or 113?
113
Let k be (95/(-20))/((-17)/6). Let j = 20/17 - k. Let f = -39 + 21. Which is smaller: f or j?
f
Suppose d - 17 = -0*d. Let o = -38952 + 38966. Is o > d?
False
Let a = 0.13 - 1.13. Let m = -461/3944 - 4/493. Is m >= a?
True
Let m be -3*(-1 - 54/(-60)). Let g(v) = 2*v. Let n be g(0). Suppose n = -0*z - z. Is m >= z?
True
Let b be (4*1/3)/(42384/1116 + -38). Let y = 80 - 142. Is y at least b?
True
Let a be (-198)/(-33) - (6 - 0). Let g be 100/18 + -6 + a. Which is bigger: g or 1?
1
Let b be -1*((4 - 6) + -27). Let h(x) = 8*x - b*x + 13*x - 3. Let q be h(-1). Which is bigger: 4 or q?
q
Let m = -6217/30 + 1247/6. Let w be (-24)/(-18)*3*-1. Let j be w/6*(-12)/8. Is m less than j?
True
Suppose 0 = q + 2*w + 677, 37*q + 2*w - 1378 = 39*q. Are q and -685 nonequal?
False
Let b = -0.124 - -1.154. Let c = -0.03 + b. Let p(x) = 180*x + 554. Let j be p(-3). Which is greater: j or c?
j
Let w = -42.03 - -43.33. Are -6/11 and w non-equal?
True
Suppose 31*r = -4*h + 32*r, 0 = 2*h - 5*r + 18. Let a = 2784692/183 + -288569185286/18963741. Let d = 4/599 + a. Which is smaller: h or d?
d
Let y be 266*(-7 - 180/(-24)). Does 133 = y?
True
Let s = 37 + -37. Suppose 59*q - 50*q + 9 = s. Let w be 3/(-12) + (-34)/56. Which is smaller: q or w?
q
Let s be ((-1094)/(-19))/((-200)/(-80) + -3). Which is greater: -116 or s?
s
Let z = 0.25 - 0.47. Let t = 1516 + -1515.98. Let i = t + z. Which is bigger: -0.5 or i?
i
Suppose 3*u - 2*r = -1, 4*r - 3 + 0 = 5*u. Let v be 2*(-18)/(-4) + -2. Let w be 3/20 + 0/v. Which is greater: w or u?
u
Let o be (-9)/87 - 0/1. Let q = 205 - 458. Let s = q + 252. Is o >= s?
True
Let y(g) = -2*g**2 - 3*g + 19. Let a be y(6). Let k = a + 75. Let s be k/(((-2)/(-6))/(6/(-234))). Which is greater: 1 or s?
1
Let x be (8/(-70) + 10/25)/(-1). Let n = 25 + -22. Suppose -2*w + n*k + 11 = 0, -2*w = -k - k - 8. Is w at least as big as x?
True
Let z = 359 - 237. Suppose -127*d + z*d = -300. Let n = -61 + d. Which is smaller: -1/13 or n?
n
Let y = 51 + -31. Let o = -19 + y. Are o and 3/4 nonequal?
True
Let b be (13/(-4))/(14/(-24)). Let f = -80915/7 + 11559. Is f bigger than b?
False
Let x = 1/785 - -4649/47885. Let q(j) be the third derivative of -j**6/120 - j**5/15 + j**4/24 + 2*j**3/3 + 9*j**2 - 3*j. Let g be q(-1). Is x greater than g?
True
Let d = 54/13 + -37504/9035. Are d and 1 nonequal?
True
Let s be -3 - (10/(-85) + (-6675)/51). Let t = 247 - s. Is t greater than or equal to 119?
True
Let l = 33 - 273. Which is greater: -231 or l?
-231
Let k = 4255/6 - 706. Let o = -3 + k. Which is smaller: -2/21 or o?
-2/21
Let w be (-6)/(-4)*(-2124)/(-54). Suppose w*v - 58*v = -37. Suppose -3*l = -3*a + 123, -174 = 5*l - 3*a + 23. Is v != l?
False
Let v(j) = -j**2 - 27*j + 26. Let o be v(-27). Let b = o + 4. Let t(w) = w**2 + w + 9. Let m be t(4). Is m greater than b?
False
Suppose -8 = -2*m - 18, 10 = 5*j - 3*m. Is -15/17 less than or equal to j?
False
Suppose 0 = 44*t - 45*t - 2*x - 462, -4*t - 1926 = -5*x. Is -471 less than or equal to t?
False
Let s be 42/(-3) - (-7 - 6). Do s and -3/178 have the same value?
False
Let o = -48.34 + -8.66. Let d = 100 + o. Is d less than or equal to 1?
False
Let m be (-6)/2 - (-234)/75. Is m at least 1.52?
False
Let u be (4/(-8))/(2/1208). Let q = u - -206. Let m = q - -292/3. Is m <= 1?
False
Let z be -2 - 77/(-44) - (2122/(-424) - -5). Let v be -1*(1 + 0) + 2. Is v at least as big as z?
True
Let m(l) = 23*l - 89. Let g be 44/10 + (-8)/20. Let t be m(g). Which is greater: t or 34?
34
Let z be ((-9)/6 - -2)*87/23. Are z and 1 equal?
False
Let x = -86 + 131. Let o = x - -5. Let k = o + -49.92. Is -1 less than k?
True
Let g = 2901615/2261 + 31/323. Is 1282 at most as big as g?
True
Suppose -20311 - 5111 = -114*m. Are m and 220 equal?
False
Let p(k) = k**3 + 48*k**2 + 96*k + 184. Let y be p(-46). Which is smaller: -14/39 or y?
-14/39
Let a = 61103 - 61103. Let i = 34218/209 + -1794/11. Which is greater: a or i?
i
Suppose 2*t = -73*m + 70*m + 146, 5*t - 3*m - 344 = 0. Let a be (-3*(-6)/(-63))/(75/t). Suppose -3*r = -6*r + c + 2, 10 = -5*r - c. Is r smaller than a?
True
Let i be ((-24)/10)/((-2)/(-5) - 0). Let o be (0 - (-2)/i)/((-16)/48). Suppose 5*k - 20 = -0*k. Which is smaller: o or k?
o
Suppose -20*b + 22*b + 12 = 0, -4*g - 46 = b. Is -5 less than or equal to g?
False
Let a be (4401/4 + (-3)/2)/(51/(-170)). Which is bigger: -3663 or a?
a
Let x = -527/1170 - -29/90. Suppose 0 = 45*o - 57*o + 444. Suppose o*h = 67*h - 29*h. Are x and h equal?
False
Suppose -4*l - 5 = -w, 5*l - 24 = -5*w + 9*w. Is -160 >= w?
False
Let b(q) = -q**3 + 6*q**2 + 37*q + 29. Let i be b(10). Does i = 2609?
False
Suppose -2*p = -2*a + 14, 16 = 4*a - 0*a + 2*p. Suppose -7*b + a = 5. Which is smaller: 2/267 or b?
b
Let d be ((2/8)/((-22)/88) - 4) + 4. Let f = 98 - 3820/39. Which is bigger: f or d?
f
Let o = 20 - 33. Suppose -20*r = -61*r + 13202. Suppose -43*y - 151 = r. Is y less than o?
False
Suppose 2*s - 14 = 2*a - 208, 295 = 3*a - 2*s. Let p be (-3 + -1 - 2)*99/(-6). Is a less than or equal to p?
False
Let k = 72 - 69.1. Let b = -0.09 - -9.99. Let w = k - b. Is -6 < w?
False
Let t be (-1 - -7)/((-2)/13 - (-3045)/(-2262)). Is t at least as big as 14?
False
Let b(r) be the second derivative of -6*r**2 + r + 1/6*r**3 + 0. Let k be b(-9). Is -21 greater than or equal to k?
True
Suppose 240 + 40 = -8*t. Let f be (-327)/7 - (-10)/t. Does f = 0.1?
False
Let p = 14199 - 25004. Let j = p + 205241/19. Which is bigger: j or -2?
-2
Let y(t) = -26*t - 97. Let g(o) = 3*o - 1. Let z(k) = 6*g(k) + y(k). Let s be z(-13). Which is smaller: s or 2/2761?
2/2761
Suppose -20*z + 28*z = -1304. Is -973/6 equal to z?
False
Let i(s) = -20*s**2 - 146*s + 112. Let h be i(-8). Is -1/21 != h?
True
Let o = 316 + -316.0604. Let m = o - -0.0804. Suppose -1 = 5*c + 4. Which is smaller: c or m?
c
Let k = -154 - 4. Let w = 788/5 + k. Which is smaller: w or -1?
-1
Suppose 0 = -2*d, 10*h + 3*d = 9*h - 377. Let s = -555 - h. Is -179 > s?
False
Suppose -33*k + 352 + 836 = 0. Suppose 0 = k*x + 6*x + 3360. Which is bigger: x or 1/6?
1/6
Let r = 98 + -100. Let w be (-8)/(-6)*r/(-8). Which is greater: 86 or w?
86
Let u be (-1)/(-2 + -1 + 90/27). Which is smaller: u or -129/37?
-129/37
Let p = 183.874 + -191.874. Let j = -0.02 - -2.52. Do j and p have the same value?
False
Suppose 206 = -3*u - 3*r + 1229, -2*r + 1693 = 5*u. Which is smaller: 334 or u?
334
Let z(n) = -1 + 3 + 5*n**2 + n**3 + 34*n - 33*n - 2 + 4. Suppose -4*g - 7 - 13 = 0. Let h be z(g). Is -1/19 at most as big as h?
False
Let p(a) = -26*a - 76. Le