89. Suppose -y*n = -51*n + 52. Suppose -2 + 32 = -2*f. Is f less than or equal to n?
True
Suppose -18*g = -10 + 29 - 1. Let p = -57450819 - -847054874767/14744. Let o = 9/152 + p. Is g equal to o?
False
Let z = -73 + 75. Suppose -z*c - 82 = -n, -4*n - 5*c + 117 = -3*n. Which is bigger: n or 91?
n
Let n(i) = -251*i**3 - 2*i - 1. Let r be n(-1). Suppose -w + 221 = 3*z, 8*z = 1601*w - 1606*w + 1175. Which is smaller: r or w?
w
Let o = 816.2606 - -0.7394. Which is smaller: -2/7 or o?
-2/7
Let k be 2*((-7)/(7/(-2)) + 0). Let f be (-7)/28 + (-7)/k. Which is smaller: f or -3/5?
f
Suppose 0 = 4*k + 3*y - 4*y + 37, 0 = 4*k + 3*y + 49. Let o be (k - (-10 - 0))/(-2 + 1). Which is smaller: -7/158 or o?
-7/158
Suppose -7*x - 40 = -54. Suppose t = m - 18, -4 = -x*m + 6*m. Which is smaller: t or -176/9?
-176/9
Let i(m) = -m**2 + 36*m + 133. Let w be i(-4). Let y(r) = 5*r + 4. Let n be y(-2). Let q be (-6)/(-36) - (-175)/n. Which is smaller: w or q?
q
Let y(h) = 34*h - 271. Suppose -11*p + 15*p - 38 = 2*f, 5*p - f = 46. Let a be y(p). Are a and 35 equal?
True
Let o = 34 - 31. Suppose o*r - 2*r - 4*k + 21 = 0, 3*r + 3*k = 12. Let x be 2 - ((-32)/(-11) + r). Which is smaller: -1 or x?
-1
Let h = 20394 + -23619. Is -3223 at least as big as h?
True
Let p = 1362 - 1178. Is p smaller than 12/5?
False
Let m = 188 - 183. Let s be (0 - m)/370*(3 + 1). Which is smaller: 2 or s?
s
Let p be ((-1476)/(-10))/(192/80 - 2). Is p greater than or equal to 5?
True
Let a be (-1108)/3234 + 2/6. Let h = 1413/36113 + a. Let u(f) = -f**3 - 16*f**2 - 16*f - 16. Let q be u(-15). Which is greater: h or q?
h
Let n = -13.66 - 0.34. Let x = -83049 - -83047. Which is greater: x or n?
x
Suppose -66778 = 137*c + 249*c. Let w = -413 + 241. Which is smaller: w or c?
c
Let o be (-10)/15*(-4)/(36/(-675)). Let j be 4/(-10)*(-2 - -3). Is j at least as big as o?
True
Let u be 1 + (-8)/6 + 17217/(-27). Let f be (-4)/32 + (5 - u/(-16)). Which is smaller: f or -34?
f
Suppose -6*b + 14 = -4. Let z be (b/17*-1)/((-3)/(-31851)). Let i = z + 1873. Is -1 greater than i?
False
Let f = 236 + -213. Let x be (f - (10 - 2)) + 0. Is -9 less than or equal to x?
True
Let j be -4*7/4*486/(-126). Is j smaller than 233/9?
False
Let u(b) = 3*b - 18*b**2 + 1 + 6*b**2 + 11*b**2 + 0*b. Let z be u(2). Suppose -r - 28 = -z*r. Is 14 not equal to r?
False
Let j = -427 - -425. Let t = 0.035 - 0.215. Which is smaller: t or j?
j
Let w be ((-1280)/(-35) + -2)*(-21)/(-3). Let p = w - 188. Are 55 and p nonequal?
True
Let p(c) = -c**3 - 4*c**2 + c + 5. Let z be p(-4). Let l be (z*37 - (-26)/(-13)) + -3. Let a = -247 + 247.2. Which is smaller: l or a?
a
Let l = 40 - 27. Let v = l - 12.95. Let k be ((-8)/(-8))/((-1)/7). Is v less than k?
False
Let f = 203 + -203. Let d(r) = r**3 + 11*r**2 - 14*r - 17. Let s be d(-12). Suppose -s*q = -q - 150. Which is smaller: q or f?
f
Let m(r) = -277*r - 271. Let s be m(-1). Suppose -3*n = -2*q + 2, 7*q - 4 = 3*n + 3*q. Is s bigger than n?
True
Let f = 307.9308 + 0.0692. Let u = f - 305. Let p = -2 + 6. Is p less than or equal to u?
False
Let t(m) = m**3 - 2*m**2 + 3*m - 1. Let l be t(2). Suppose -2 = -l*q + 4*q. Suppose 164 = 3*a + 158. Is q greater than a?
False
Suppose -4*v = n - 6870 - 6767, -4*n = -3*v + 10204. Which is greater: v or 3409?
3409
Let n = -6/889 - -14765/2319401. Which is smaller: n or 1?
n
Suppose 114 = -5*w - 1. Let p(m) = m + 4. Let r be p(w). Is r <= -14?
True
Suppose 0*w + 2*c + 746 = 3*w, 2*c = -3*w + 754. Suppose w = 3*o + 25. Let i = o - 130. Is 0 greater than i?
True
Let l be (-4)/((-48867)/(-3054) + -16). Is l greater than -4068?
False
Let w(y) = y**2 + 2*y + 3. Let g be w(-2). Suppose -60*x = -13*x + 329. Which is smaller: x or g?
x
Let l = -51.9 - 0.1. Suppose -3*f = 42*x - 40*x, -5*f + 3*x = 0. Which is smaller: f or l?
l
Let q = 888817/539 - 1649. Which is smaller: 2 or q?
q
Let l be (((-32920)/(-15))/8)/((-17)/(-51)). Is 823 smaller than l?
False
Let w = -4327/4 + 1082. Suppose -6*a = 5 + 1. Which is smaller: a or w?
a
Let o = 23699 - 5521855/233. Is o at least as big as -1?
True
Let x = 19108/117 - 490/3. Let o(k) = -k + 6. Let w be o(7). Is x <= w?
False
Suppose -3*r - 2*i - 3*i = -141, -214 = -4*r + 2*i. Suppose -776 = -21*h - 40*h + 2396. Is r less than or equal to h?
True
Let v be 1129/(-1694) + 2/3. Is -1 equal to v?
False
Suppose -4*n + 2*a = -14, 2*n + a + 6 - 3 = 0. Let y be 2/(168/(-30))*3/(-35). Does n = y?
False
Let q be (1468/6)/(7 - (-427)/(-63)). Suppose -17*s + 1041 = -q. Which is smaller: s or 125?
125
Let z = 208.497 - -0.503. Let i = z - 205. Is -11 != i?
True
Suppose 35*t + 3602 + 16172 = -16311. Which is greater: 2 or t?
2
Let u = -6333/5 + 1276. Let j = u - 433/45. Is j bigger than 2/35?
False
Let t be (24/30)/((-6)/20). Suppose 11*y = -44*y + 11*y + 88. Which is greater: t or y?
y
Let g(b) be the second derivative of 11*b**3/6 + 65*b**2/2 - 50*b. Let r be g(-6). Which is greater: r or -7/31?
-7/31
Let j = 1339 - 1338.8. Let o = 7.4 + 1.6. Which is greater: j or o?
o
Let z = -1038 - -1071. Suppose -224 = 40*o - z*o. Let i = 21 - 52. Which is greater: i or o?
i
Let j be 30/35*(-7 + 0) + 3178/105. Is 24 greater than j?
False
Suppose 6*q = 2*q - 164. Let y = q + 45. Let s be (13/13)/(2/y). Is 29 less than s?
False
Suppose 3*x = -3*m + 72, -3*x - 2*m + 6*m + 72 = 0. Suppose 8*g - 3*g + x = v, -4*v + 12 = g. Is v < 1?
False
Let z = -44562.7 - -44567. Which is greater: z or -17.8?
z
Suppose n - 23*n - 172 = 4602. Does -218 = n?
False
Let q be (-1)/((3 + -1)/(-156)). Suppose -2*x + 2*b = -3*x + 18, 0 = -4*x - 5*b + q. Suppose 0 = 11*i - 6*i + 10, 0 = -4*a + i - x. Is 0 < a?
False
Let q(k) = 4*k**3 + 2*k**2 - 33*k + 16. Let t be q(5). Which is smaller: 398 or t?
398
Let o be (2771/(-652))/(254/12). Is o <= 1?
True
Let j = 0 + 0.07. Let w = 2781 + -2809.93. Let m = w - j. Which is greater: m or 0?
0
Let o = -4527 - -4546. Do -59/3 and o have the same value?
False
Suppose -2*a + 5 = -1. Suppose -j + i + 67 = 3*j, a*j - 5*i - 46 = 0. Suppose j = -d - 23. Which is smaller: -39 or d?
d
Let j(r) = -r**3 - 7*r**2 - 3*r + 19. Let p be j(-6). Which is greater: p or 6/821?
p
Let l be (-8)/(-3)*(-3)/(-2). Suppose -l*p - 66 = -10. Let q = -392849 + 392850. Is p at least q?
False
Suppose 627*f - 620*f = -7. Let r be ((-8)/64)/(5/(-3)). Are r and f nonequal?
True
Let r(x) = 81*x - 566. Let n be r(7). Is 7/379 > n?
False
Let k = 3/424 + -2341/270936. Which is smaller: k or 1?
k
Let m(r) = r - 4. Let y be m(4). Let c = -386 + 454. Let k be -3 - 1244/(-368) - 17/c. Which is bigger: k or y?
k
Let g = -2325 - -2325. Is 3/1813 less than g?
False
Let y = -112/3 + 73/2. Let m = -170409/11 + 15492. Is y equal to m?
False
Let u = 1/253 - 47/253. Which is bigger: -2505 or u?
u
Let q = -18.3 + 27.6. Let d = q + -9.11. Let b = -0.12 + d. Which is greater: b or 0.1?
0.1
Let w(c) be the first derivative of -5*c**2/2 + 10*c + 121. Let r be w(8). Is -27 at least as big as r?
True
Let m be (-795)/6 + (-9)/6 + 1. Let b be (-4)/6*m/38. Suppose 0 = -5*o + 5*w - 10, 2*w - 10 + 1 = -3*o. Which is smaller: o or b?
o
Let n be -2 + 121200/32*(1 + (-9460)/9465). Is -1 at most as big as n?
True
Let s(i) = -i + 35. Let a be s(15). Suppose 3*l - 5*r = -a, -4*l + 3*r - 12 = -2*l. Is l greater than -1/25?
True
Let m = -116 + 392. Let g = m - 274. Which is smaller: -2/105 or g?
-2/105
Let i be (-4 + (-12)/(-3))*-1. Let w be ((-6)/(-8))/((-9)/(-12) - i). Does 1/808 = w?
False
Let o = 5975 + -5968. Which is greater: o or 231/38?
o
Suppose 43*a = 53*a. Suppose a = 2*g - h - 32, 10 - 14 = -h. Which is greater: g or 22?
22
Let t = -222.4 + 221.4. Is -107 < t?
True
Let u = 10544 - 10585. Which is greater: -20 or u?
-20
Let k be (((-27200)/30)/17)/(4/(-24)). Is k smaller than 321?
True
Let j = 2262.29 - 2272. Let v = 9.7 + j. Is 1/2 equal to v?
False
Let i = 5703/11 + -518. Let a(t) = t**2 - 91*t + 587. Let y be a(7). Which is smaller: y or i?
y
Let s(a) = -11*a**2 - 8*a + 8. Suppose -2*p + p - 4*f = -4, p - 4*f + 12 = 0. Let j be s(p). Which is smaller: j or -134?
j
Let g be 174/15 + 3/5*-1. Suppose 5*p = 4*p + g. Suppose -17 + p = 6*u. Which is greater: u or 1/102?
1/102
Let s = -618.7 + 640.7. Which is greater: s or 45?
45
Let w = -433 + 460. Suppose 14*y = -13 + w. Let x = 0 + -0.1. Is x greater