t j(b) = -6*b - 10. Let y(d) = -d + 1. Let g(t) = -j(t) + 3*y(t). Let f be g(-6). Which is bigger: f or -9?
f
Let p = -21 - -22. Let m be (-1)/p*(2 - 1). Let y be (8/8)/(m/(-5)). Do -2 and y have the same value?
False
Let h = -1978 + 1977. Which is bigger: 12/1795 or h?
12/1795
Let k be 8113/(-38) + (2 - (-9)/(-6)). Let y = -1066/5 - k. Which is smaller: y or -0.13?
y
Suppose -14*u = -29*u - 495. Let i be 5 + -7 + (-1)/(15/u). Let y(r) = r**3 - 3*r**2 - 3*r - 3. Let x be y(4). Is x less than or equal to i?
False
Suppose -5*h - 2*i = -326, 2*h - 77 = -i + 53. Let u = -16 + h. Let o = 50 - u. Which is greater: o or 2/239?
2/239
Let o = 0.134 + -68.134. Let w = 100 + o. Let l = w + -41. Which is bigger: l or -4?
-4
Suppose 3*r - 1098*x + 1095*x = 45, -x = -2*r + 22. Let a be (-2 - -1) + 249/33. Which is smaller: r or a?
a
Suppose -5*f - 155 - 715 = 0. Let v = f + 1916/11. Let q(b) = b**2 + 4*b + 3. Let a be q(-2). Is v at most as big as a?
False
Let g = -2.689 + -0.171. Let p = -16.56 - g. Let c = 13 + p. Which is smaller: c or -1?
-1
Let s be 3/((45/(-6024))/((-3)/12)). Which is bigger: s or 101?
101
Suppose p = -11*p + 564. Suppose p*q = 56*q. Which is smaller: -2/605 or q?
-2/605
Suppose -5*g = -g + 3*t + 76, g + 19 = -4*t. Let x = 30 + g. Suppose 7*p + 100 = x*p. Which is smaller: p or 23?
23
Let w = -2.2599 + 9061.2599. Is 0 > w?
False
Suppose -100 = -21*s + 16*s. Let t(d) = -d**3 + 10*d**2 - 9*d. Let c be t(9). Suppose -g + s = j - 1, g - 3 = c. Which is smaller: j or 20?
j
Let w = 316 + -142. Let t = 164 - w. Which is greater: t or -7?
-7
Let n = -179 - -68. Let u = -36448 - -36336. Is n less than or equal to u?
False
Let q = -348 + 589. Let z = 1685/7 - q. Which is greater: 6 or z?
6
Suppose -5*q + 6 = 3*w, -31*w + 4*q + 3 = -36*w. Let z be 3531/(-273) - (-3 - -12)/(-3). Let x = 105/13 + z. Which is smaller: x or w?
w
Suppose -p + 5*g - 38 = -11, 0 = 3*p - g + 11. Let y = -16 - 14. Let i be ((-36)/y)/(p/5). Which is greater: i or 1?
1
Let w(r) = -25*r + 2. Let d be w(-2). Is 102 >= d?
True
Let f(p) = p**3 - 3*p**2 - p - 5. Let v be f(3). Let q be (v/(-22))/2 - 187/363. Which is smaller: 2/95 or q?
q
Let d be 9/((-1782)/(-90))*24/(-70). Which is bigger: d or -3?
d
Suppose 5*z + 861 = 116. Suppose 2*w = -8841 + 8541. Is z at least w?
True
Let c = -0.497 + -22.503. Is 14/31 greater than c?
True
Let h = -85 + 39. Let k = 69 + h. Let c = 28 - k. Is c at most 1/2?
False
Let i be 17/(-204)*(162/(-1758))/3. Is 0.1 <= i?
False
Let o = -2/53449 + 2138346/10315657. Is -1 smaller than o?
True
Let v be -8*(-17)/2108*-152. Which is smaller: -11 or v?
-11
Let q(p) = 4*p - 2. Let b be q(8). Let n be (-4)/b*3 + (-14)/(-10). Let y be (-8 + n)*(-3 + -4 - -5). Is 11 > y?
False
Let q = -11.4 + 12. Let x = q - -9.4. Let z = x + -9.8. Is z smaller than -0.1?
False
Let j(a) = -a**3 + 6*a**2 + 3*a + 15. Let d(w) = w**3 - 5*w**2 - 2*w - 14. Let p(f) = -4*d(f) - 3*j(f). Let z be p(3). Which is smaller: -10/51 or z?
z
Suppose 0*v = -v - c, 4 = 3*v + 5*c. Let r be (-1)/(-9)*v - (-20)/9. Suppose -2*l - r*l + 77 = 5*d, 4*l + 2*d = 74. Is -0.1 not equal to l?
True
Let l be 45/20 - 6/(-8). Let t be (0/l)/(4 + 0). Suppose 8 = -o - b - t, -2*b - 6 = 0. Which is bigger: o or 0.3?
0.3
Let z = 978947814 - 479684661949/490. Let v = z - -2378/5. Do 0 and v have the same value?
False
Let o(g) = 57*g + 1140. Let z be o(-14). Which is greater: 343 or z?
343
Let s = -9.2 + 9. Let n = 9.1 - s. Let a = -11.3 + n. Is 11 at most as big as a?
False
Let r(h) = h - 14. Let t be r(14). Suppose -2*u + 9*u + 77 = t. Let v(y) = -y**3 + 9*y**2 + 14*y - 55. Let o be v(10). Is o <= u?
True
Let b = -5.38 - 20.42. Let l = 26 + b. Is l < 6?
True
Let a = -1326 + 1326. Let r = -63 - -27. Let d = r + a. Is -35 smaller than d?
False
Suppose o - 3 = 3*x, 5*x + 21344 = 3*o + 21347. Let z = 5.12 - 5. Which is smaller: z or o?
o
Suppose 46*a = -74*a + 120. Is -4/507 at least as big as a?
False
Let k = -116 + 99. Let x = k + 8. Suppose -3*v = -4*w - 55, -w + 3*w = v - 25. Which is smaller: w or x?
w
Let q(v) be the second derivative of -14*v**3/3 - 41*v**2/2 + 34*v. Let c be q(-1). Which is greater: -11 or c?
-11
Suppose -139*q + 116*q - 206*q + 70532 = 0. Do 240 and q have different values?
True
Let b = -183 - -367/2. Suppose j = -0*j - 4. Let v be j/(-18) + (-484)/2475. Which is smaller: v or b?
v
Let a be (-2)/3 + (-2)/(-3). Let u be 38*9/42 - (2 - 2) - 9. Is u at most as big as a?
True
Let j(h) = -2*h**2 + 31*h - 5. Let d(x) = -6*x**2 + 86*x - 15. Let a(m) = -4*d(m) + 11*j(m). Let n = -5 - -7. Let o be a(n). Is 6 greater than o?
False
Let f = -414 - -410.81. Let l = 16.89 + f. Let n = l + -2.7. Which is greater: 0 or n?
n
Suppose -30 = -5*w, 0 = -2*g - 14*w + 13*w - 408. Which is bigger: g or -4?
-4
Let f be (-2)/((-2)/(-163)) + (-14)/(-2). Let a = 48 - 50. Which is smaller: a or f?
f
Suppose -a - 158 = 4*z - 4*a, 4*z = -a - 150. Suppose 20*p = -2*p + 704. Let j = p + z. Is 2 less than or equal to j?
False
Let x = -1575 + 1566. Is 26 smaller than x?
False
Let c be (-3 + 1)/((-33)/1419). Which is smaller: c or 509/6?
509/6
Let a = 67 + 408. Let n = a - 474.96. Does -2/23 = n?
False
Let d be 1*(-1 + 2) - -4. Let w be 16/(-10) - 904/(-40). Suppose -w*b - 19*b + 240 = 0. Which is greater: d or b?
b
Let y = 0.1579 + 6.8421. Is 6/35 less than or equal to y?
True
Let l be 0 + 1 - (-1191 + -2). Let g = 4753/4 - l. Let f be (-1)/2*(5 - 0 - -5). Are g and f equal?
False
Let y be 106508/442 + (-5394)/15283. Is 241 less than or equal to y?
False
Let i(l) = 65*l - 275. Let m be i(9). Which is smaller: 312 or m?
m
Let h = -5377569/55 + 511334/5. Let y = h - 4489. Is 3 at least y?
False
Let f = -82.78 + 82. Suppose 4*u - 2*n = -0*n + 18, 0 = 2*u + n + 1. Is u greater than f?
True
Suppose 46*m + 1085049 = -17*m. Let x = m + 4219641/245. Which is smaller: -1 or x?
-1
Let j(l) = 2*l - 18. Let y = 28 + -16. Let d be j(y). Suppose d*w = -5 - 1. Which is smaller: -2/397 or w?
w
Let x(f) = 8*f + 152. Let y be x(-12). Let l be 4 + (0 - y/(-8)). Which is bigger: l or 12?
12
Suppose m = -5*z + 5, 4*z - 3*m - 19 = 2*z. Suppose 56 = z*k + 2*k. Suppose 3844*c - 3840*c = 2*f - 8, 0 = -5*f - 4*c + 90. Is f equal to k?
True
Let o be -7 + ((-1)/3)/(14/(-10386)). Do 240 and o have the same value?
False
Let p(v) = v**3 - 4*v**2 - 5*v + 1. Let q be p(5). Let u = 2694 + -29639/11. Are u and q equal?
False
Let o = -359 + 354.19. Let w = 3.796 + o. Let z = w + 0.014. Are -0.2 and z equal?
False
Let d = 3.349 - 3.249. Let a(n) = 2*n**2 - 3*n**2 + 16*n - 4 - 7*n. Let s be a(8). Is d bigger than s?
False
Let h be (-1 - 2/(-8))/(1/(6/(-36))). Is 9 greater than or equal to h?
True
Let j(m) = m**3 + 13*m**2 - 15*m + 4. Let g be j(-14). Let o be (-81)/(-12)*3/g. Is o at least as big as -1?
True
Let p = 45 + -65. Let u = p + -46. Let z = 65.8 + u. Which is greater: z or -11?
z
Let d be (6/10)/((-34062)/(-315) + -23). Do d and -1 have the same value?
False
Suppose 4*y + 87 = x + 722, -3*x + y - 1872 = 0. Which is smaller: x or -618?
x
Let o = -1716 + 1716. Let a be ((-86)/(-3))/(16/(-120)). Let n = -4084/19 - a. Is o not equal to n?
True
Let o(c) = -4*c**2 + 423*c + 12. Let m be o(106). Is m greater than -1?
False
Suppose -5*p - 55*n = -57*n - 186, 3*p - 3*n = 126. Which is smaller: 86 or p?
p
Let b = -548 - -545.1. Let r = b - -23.9. Which is greater: -4 or r?
r
Let p = -18779 + 18779. Which is smaller: 10/2143 or p?
p
Let g = 2425 - 50935/21. Let s(v) = 2*v**2 - 5*v - 2. Let y be s(3). Which is smaller: g or y?
g
Let j be (0 + 2)/(4/(-1068)*-3). Let t = -184 + j. Which is smaller: t or -64/9?
-64/9
Let m(y) = 2*y**2 - 22*y + 9. Let r be m(20). Let l be 2/8 - r/(-12). Let q = l - 35. Is q at most -1?
True
Suppose -2*v - 1955 = 3*m + 929, 7189 = -5*v + 3*m. Which is bigger: v or -1438?
-1438
Suppose 20 = 3*y - 40. Suppose 0 = -4*h - y, -2*o + 3*o - h - 41 = 0. Is o at least 36?
True
Suppose 3*b - 2 = 5*b. Let m be 4626/(-1215) - -5 - (-6)/(-10). Let q = m + -287/621. Is q at least as big as b?
True
Let d be 16/(6 + (-33)/6). Suppose p - 119 = -4*w, 2*w - p = 3*w - d. Let g(z) = -7*z + 3. Let o be g(-4). Is o > w?
True
Let j = 1489.6566 + -1489. Which is smaller: -1/2 or j?
-1/2
Let q = -236.68 - -239.68. Is q < 27/22?
False
Suppose 0 = 9*d - 0*