87. Let m be 262/(-65) - -3 - -1. Which is greater: m or b?
m
Suppose -4*y - 2635 = -4*q + 5333, -5968 = -3*q - y. Let b = -555209/279 + q. Which is smaller: 0 or b?
0
Let n(i) = 1 + 6 + 3 - 4*i + 5*i. Let z be n(-10). Do -7/31 and z have the same value?
False
Let q be 24795/54 - (-4 + 7 - 5). Which is greater: 460 or q?
q
Suppose 34*p - 45 + 11 = 0. Are 1/2549 and p non-equal?
True
Let o = 180/581 - 2/83. Let u = -9 + 9. Suppose u*g - z = 4*g + 20, 4*z = -2*g - 24. Is g < o?
True
Let j(o) = -2*o**2 + 1199*o - 16. Let p be j(0). Let u = 26 + -43. Is p equal to u?
False
Let d = 115 - 115. Suppose d = 4*h + 212 + 316. Let j = 127 + h. Are 1/3 and j unequal?
True
Let x = 49244/14893 - 176/53. Do -1 and x have the same value?
False
Let a be (0 + 3 - -201)/1 + -4. Suppose 73*p = 68*p + a. Which is smaller: p or 39?
39
Let f = 20 + -19.91. Let a be (74/(-36) - -2)/(784/(-24696)). Is f bigger than a?
False
Let t be 2/(-8) - 20/8. Suppose -370 = -5*i - b, -4*b - 24 = -3*i + 221. Suppose -62*q = -i*q - 39. Is t <= q?
False
Let s = 3.692 - 3. Let y = 0.008 + s. Let m = 9.7 - y. Is -3 greater than or equal to m?
False
Let a = 1/2038 + 509/1019. Is a at least as big as -141.3?
True
Let a = -4240 - -1640878/387. Suppose -i - 3*i + 4 = 0. Which is bigger: a or i?
i
Let s(k) = -146*k - 146. Let z be s(-1). Is -24/259 less than or equal to z?
True
Suppose 23*u = 19*u - 1280. Let y be (-3)/2*u/24. Suppose -s - y = 3*a - 7*a, 5*s = -4*a + 20. Which is smaller: s or 1/102?
s
Suppose 7*n + n - 4888 = 0. Suppose -1866 = -5*y - n. Suppose 0 = -7*d + y - 62. Which is bigger: d or 26?
d
Suppose -3*r + 27261 = -37*r + 21*r. Which is smaller: r or -2096?
r
Suppose 137*b = 130*b + 2401. Let v = -343 + b. Which is greater: v or 6/65?
6/65
Let o = -0.5 - 297.5. Is 1/24 > o?
True
Let u = -302 + 273.3. Let c = 47 + -76. Let o = c - u. Do 15 and o have the same value?
False
Let s = 812 + -600. Let m = s - 9967/47. Is m greater than or equal to 1?
False
Let p be (-11)/(22/(-1000)) - 1. Let d = 499 - p. Is d less than 8/21?
True
Suppose -11 = -3*v + z - 14, z - 1 = 5*v. Let a(k) = -250*k - 3. Let f be a(-3). Let h be v - -1 - f/(-45). Which is smaller: h or 20?
h
Let c be 84/(-126)*(-11 + -4). Which is smaller: c or -341?
-341
Let d = -2.6859 - -2.86. Which is smaller: d or 1?
d
Suppose -7*t = -11*t + 112. Let z = -111 + t. Let k = 58 + z. Which is bigger: -23 or k?
-23
Suppose -3*h + 84 = -126. Suppose -852 = -5*v - 7*v. Are v and h unequal?
True
Let j(w) = -34*w + 1892. Let p be j(58). Which is smaller: p or -82?
-82
Suppose -22*j = -217*j + 121743 + 22947. Does j = 747?
False
Let j be 15 + (-184563)/(-46134) - 19. Which is greater: -1 or j?
j
Let i = -16 - -34. Suppose 3*u + i = 5*u. Suppose 3*l - 40 = p, -l - p - 1 = -u. Are 13 and l nonequal?
True
Let a = 28837/3 - 9612. Which is smaller: -4183 or a?
-4183
Suppose -3*l - 2*l = -205. Let h = 334/875 - 12/125. Is l at least as big as h?
True
Let t = -93288 + 1772904/19. Is t at least 23?
False
Suppose 0 = 32*z + 634*z - 666. Which is bigger: -156/379 or z?
z
Suppose 0 = -3*z + 45*x - 48*x + 3, -2*z = x. Is z greater than -2/16817?
False
Let a(m) = 2*m**2 - 35*m + 46. Let c be a(16). Let p be (-9)/((-9)/5) + c/2. Is p greater than or equal to 31/8?
True
Let y(d) = -2*d**3 - 8*d**2 - 47*d + 256. Let o be y(6). Is -754 less than o?
True
Suppose -11*m = 84*n - 87*n + 1021, 1371 = 4*n - 5*m. Is n < 3098/9?
True
Let q = -0.998 - -1.378. Which is bigger: 14/5 or q?
14/5
Let m = -1523/228 + 1/76. Let d be 0/((-36)/84 + 34/14). Suppose d = 12*j - 16*j - 28. Is j bigger than m?
False
Let v = 1196/27 - 694984/15687. Do v and 1 have different values?
True
Let s(z) = 21*z**2 + 10*z - 11. Let g be s(1). Let m be (-2 + 0 - 0) + g/8. Which is smaller: m or 7/13?
m
Let f(o) = o**3 + 3*o**2 - 9*o + 5. Let k be f(2). Let z be (2/(-36)*9)/(k/32). Suppose -a - 1 - 2 = 0. Is a <= z?
True
Let j(t) = 11*t - 3. Let a be j(-2). Let d be ((-3)/5)/(1/a). Which is bigger: d or 14?
d
Let k be ((-72)/(-1350))/(58/(-87)). Is 0.087 at least as big as k?
True
Let n = 6 - 6.1. Let p be (-147)/42*16*8/112. Which is smaller: p or n?
p
Let f = 77 + -73. Let b(p) = 0*p - p + 21 + f*p - p. Let h be b(-9). Which is smaller: -2 or h?
-2
Suppose -451*g + 456*g = 5, -5*k + 3*g + 52 = 0. Let y(d) = -d**2 - 6*d. Let i be y(-6). Suppose -25 = -l + 5*z, 3*z + i*z = -4*l + 31. Is l smaller than k?
True
Suppose -1515 = 4*l + 4*r - 7047, -3*r = 5*l - 6897. Which is smaller: l or 9614/7?
9614/7
Let t = 9653 + -9651. Are 101/37 and t equal?
False
Let g be 1 + 4/((-152)/42). Let l be ((-150)/(-75))/(2 + 1*-1). Suppose 0 = 2*y - 2*i + 8, -2*i + l + 6 = 3*y. Which is greater: y or g?
y
Let f(j) = 5*j**2 + 115*j - 52. Let h be f(-32). Is 5557/4 less than h?
False
Let i(z) = -73*z + 69. Let h be i(-12). Let r be ((-14)/h*-15)/((-2)/(-9)). Are 1/34 and r nonequal?
True
Suppose 84*w = 121*w. Which is greater: -350 or w?
w
Suppose 61*w = -46*w + 138*w. Does 2/1405 = w?
False
Let o be (-28)/336*-113010*((-8)/70 - 0). Are -1076 and o equal?
False
Suppose -l + 83 = 5*f - 16, -59 = -3*f - l. Suppose 5*h + f = 3*p, -p - 3*h = -8*h - 10. Let x = 1119/250 - -3/125. Do p and x have the same value?
False
Suppose u = -2*l - 2*l - 14, 5*l + 3*u = -14. Let m be l*(-2 - -6)/16. Let b be ((-105)/(-14) - 5)/(29/2). Are m and b equal?
False
Let j = -0.49 - -0.5. Let k = j - 0.11. Let z be 14000/(-10780) - (-22)/14. Is z bigger than k?
True
Let v be (-6 + -12)/(2/1 + -4). Let p be 21 + (v - (-2 - -5)). Suppose -6*k + k - w + 140 = 0, 4*w = 3*k - 84. Is p greater than or equal to k?
False
Let r be (-203)/(-203) + 1/1781*-1783. Do 1 and r have the same value?
False
Let o be 155 + 2 + (36/(-9))/(-1). Suppose 1435 + o = 14*q. Does q = 116?
False
Let z be (-50 - 1)*8/(264/209). Let d = z - -323. Is 17 bigger than d?
True
Let i = -147.01 - -150. Let o = -296.99 + i. Does o = -1?
False
Let z = 0.35 + -0.02. Suppose -3*l + 4*u + 124 - 110 = 0, 2*u = l - 8. Which is greater: z or l?
z
Let j = -183 - -211. Suppose 0 = j*b - 383 + 19. Which is smaller: 15 or b?
b
Let c be -25 + 40 + 1 + -190. Let x be (3 + -23 - 2)*8. Which is bigger: c or x?
c
Let t(x) = -x**2 - 9*x + 12. Let s be t(-9). Suppose 471 + 25 = -4*k - g, s = -3*g. Which is smaller: -125 or k?
-125
Suppose 5*y = -5*c + y + 446, -3*y - 363 = -4*c. Let l = c - 52. Let j = l - 37. Which is smaller: j or 5/9?
5/9
Let w(z) = 5*z + 2. Let c be w(-4). Let v = c + 23. Suppose 6*r = r + 2*q - 2, v*q - 5 = 0. Is r equal to -6/25?
False
Let d = -73624/9 - -954338/117. Let f = -212/9 - d. Which is smaller: -1 or f?
-1
Suppose -14*p - 13 = -55. Suppose 2*r + 3*r + 5*q - 70 = 0, 0 = -p*r + 2*q + 22. Is r bigger than -4?
True
Suppose 99 = 21*k + 78. Let h(i) = 95*i - 5. Let w be h(k). Is 91 <= w?
False
Suppose 0 = 3*y - 19*y + 5286 + 218. Is y < 357?
True
Let m = 15950 - 16128. Which is bigger: m or -170?
-170
Let p be (-61)/(6077857/797130) - -8. Is p at least as big as 0?
False
Let l be (-8)/208*56/(-12). Let n = 100 + -101. Which is smaller: l or n?
n
Let o = -14.83 + 15. Let m = -0.25 + o. Let r = -1/24 - -13/24. Is r equal to m?
False
Let h(l) = l**3. Let r be h(-1). Let m(i) = -i**2 - 4*i - 1. Let c be 600/(-140) + 6/21. Let z be m(c). Is r <= z?
True
Suppose 5*l - 754 = -224*u + 221*u, u - 3 = 0. Which is greater: 154 or l?
154
Suppose 3*r + 15 = q, -39*q - r = -37*q + 5. Is -1/24158 less than q?
True
Suppose l - 78 = -0*l + 4*o, 4*o + 12 = 0. Suppose 0 = -24*s - l + 306. Which is bigger: s or 1/4?
s
Let l = -0.7 - -0.4. Let k = -0.7 + l. Suppose 8*a = 26*a + 666. Are a and k nonequal?
True
Let m = -50424 - -303895/6. Let o = 226 - m. Let y be (-1 - -2)/(7/14). Are o and y nonequal?
True
Let o(r) = -33 - 28*r + 20*r + 9*r - 8*r**2. Let w be o(6). Which is bigger: -314 or w?
-314
Let a = -5/8412 + 1233/501916. Do 0 and a have different values?
True
Let y(t) = -t**3 + 16*t**2 + 18*t - 17. Let a be y(17). Suppose 2*v + 9*v + 33000 = a. Let x be 423/v - 1/(-16)*2. Is -2/5 greater than x?
False
Let y = -25.1 + 3210.1. Is y smaller than -1/3?
False
Let b = 9 - 1. Suppose -2*g = -5*g. Suppose -r - 6 + b = g. Is r greater than -2?
True
Let x = 406 + -399. Suppose 0*i = x*i - 6*i. Is i less than or equal to -2/673?
False
Let n be ((-120)/16 - -7)*-1114. Let u =