88.2. Which is smaller: g or 5805?
g
Let w(t) = t**2 + 93*t + 362. Let a be w(-4). Let v(n) be the second derivative of n**5/20 - n**4/2 + n**3/3 + 3*n**2/2 + n. Let s be v(a). Is s equal to 14?
False
Suppose 2040 = 105*x - 212*x - 233*x. Let p be 3/12 + (-91)/(-4). Are x and p non-equal?
True
Let s = 51.7 - 51.717. Let n = s - -24.017. Are -7 and n nonequal?
True
Let a = -13590 - -13588. Which is smaller: -18/17 or a?
a
Let c(r) = -10*r + 30. Let o be c(9). Let h = o - -54. Let y be (39/(-130))/(h/8). Which is bigger: -0.2 or y?
y
Suppose -3*g = 2*g - 30. Let j be -11 - 1/(((-184)/(-112))/(-23)). Is j greater than g?
False
Let f = -0.377 + 0.057. Let q = f - -0.05. Let h = -0.07 - q. Is h >= -2?
True
Let u be (57924/(-507))/(-5*9/(-180)). Let s = 457 + u. Which is smaller: s or -1?
-1
Suppose -2561 - 2659 = -4*c. Let m be 20/55*(c/(-6))/5. Are -15 and m non-equal?
True
Suppose 119*w + 1250 + 15218 = -787. Which is smaller: w or -147?
-147
Let d be ((-4)/(-56))/(1/4). Let y be (((-2970)/(-12))/11)/((-2)/(-4)). Let b be (y/100)/((-12)/50). Is d >= b?
True
Let a be (5*2/5)/(-5 + 3). Which is bigger: 15/328 or a?
15/328
Suppose 0 = -2*u - 26*x + 27*x - 171, 3*u = -4*x - 240. Which is bigger: 4 or u?
4
Suppose 0*v + 49 = 7*v. Let t(n) = -2*n + 11. Let o be t(v). Let p(h) = 4*h + 13. Let z be p(o). Which is smaller: z or 5/6?
5/6
Suppose -119 - 607 = 31*m - 9*m. Which is greater: -36 or m?
m
Let m = -18889 + 339839/18. Which is greater: m or -8?
-8
Suppose 8*q = 3*q + 690. Let f = q - 139. Is f at most -2/131?
True
Let d = -113/112 - 105/16. Let n = d + 58/7. Suppose -4*u = -5*q - 2*u + 15, -3*q - u = 2. Which is bigger: q or n?
q
Let z = -61.5 - -65. Let f = -105.7 - -101. Let t = z + f. Which is greater: -1 or t?
-1
Let o be (72/(-5))/(37/2590). Is o at least as big as -1006?
False
Let s(a) = 23*a - 1937. Let f be s(69). Is f != -346?
True
Let x be 612/2295 + 788/(-30) + 1. Suppose -33 = 3*n + 51. Is x != n?
True
Suppose 4*m + 77 = 65. Let q be 1/((-1)/m*(-2)/(-6)). Let z be (q/3)/(8 - 3). Is z at most 2?
True
Suppose -5*u - 5*n - 10 = 0, -3 = -3*u + 4*n + 5. Let b be -25 + u + -3 + 3. Let t = -24 - b. Is -1/6 at least as big as t?
False
Let i = -16 + 18. Let l be (-18)/(-63) - (573/21 + i). Which is smaller: -31 or l?
-31
Let l be (58/22 - 1) + 0. Let j = 302 + -5143/17. Let y = 10/51 + j. Is y != l?
True
Let x = 499 + -499.07. Is x greater than 257?
False
Let v be (6/(-1136))/(45/(-20) - -3). Which is smaller: v or -2/19?
-2/19
Suppose 18*x - 45*x + 38205 = 0. Is x at most 1414?
False
Let h be (4 + -1)*(-560)/(-144). Let m = 137/12 - h. Which is bigger: m or 45?
45
Suppose 4*p + 3*m - 113 = 0, -331*p + 327*p + 115 = m. Which is greater: p or 32?
32
Let n be (-284)/(-569) - (147/(-14) + 11). Which is greater: n or 0?
0
Suppose 6 = 251*o - 252*o. Let x be o - 4670/40*(0 + 2). Is x smaller than -240?
False
Let q(f) = -5*f + 7. Let r be q(3). Let x be (0 - -1)/(r - (-1924)/240). Do 60 and x have the same value?
True
Let i = 19386 - 19386. Which is bigger: i or -20/349?
i
Suppose -1320 = 11*i - 0*i. Let t = i + 121. Is -53.1 smaller than t?
True
Let a(k) = -k**2 + k + 13. Let y be a(4). Are y and 3/116 equal?
False
Let h(i) = -i - 1. Let b(l) = l**2 + 22*l + 39. Let c(r) = -b(r) - 6*h(r). Let y be c(-11). Are y and 26 equal?
False
Let b = -32156/3 + 10719. Which is bigger: b or 5247?
5247
Let c = 2058 + -2056. Suppose 0 = -v + 5*m + 16, v - m - 16 = -0*v. Let x be 12/v + (-3)/(-3). Which is smaller: x or c?
x
Let t(c) = c**3 - 10*c**2 + 3*c - 26. Suppose -9*o - q = -5*o - 382, -2*q = 4*o - 380. Let b = 106 - o. Let w be t(b). Which is bigger: 7 or w?
7
Let l = 17 - 48. Let g = -7037/5 + 1408. Which is smaller: g or l?
l
Let z(k) = -2*k**2 - 545*k - 4277. Let g be z(-8). Which is bigger: g or -81?
g
Let p = -13817/38 - -8273305/22762. Do 1 and p have different values?
True
Let y(n) = -125*n - 234. Let g be y(-7). Is g > 641?
False
Let p = 7963 - 7962.739. Which is smaller: -1/3 or p?
-1/3
Let o = 88524 - 88509. Let f = -17 + 12. Which is greater: f or o?
o
Let q = 1/4 - 275/1052. Is 0 > q?
True
Suppose 62*i + 126 = -120*i + 56*i. Let c(a) = a**3 + 4*a**2 + 3*a + 2. Let s be c(-3). Let b be 0 - (s - 10/i). Which is smaller: -49/4 or b?
-49/4
Let y = -245.66 + 17.66. Is 3 at least as big as y?
True
Let i(m) = 2*m**2 - 7*m - 5. Let u be i(-4). Let l(y) = -y**3 + 6*y**2 + 5*y + 3. Let d be l(5). Which is smaller: u or d?
d
Let x be -2 - (-1 + -2) - 4/(-2). Suppose -x*g + 4*h = 184, -324 = 5*g + 2*h - 0. Let q be (-2)/g - 18/144. Is -1 at least q?
False
Let u be (-8)/(-6) + (-12)/36 - -3. Suppose -285 = -u*k + 9*k. Is k equal to -58?
False
Let w = 1000.3 - 930. Let n = w + -70. Let p be 4/(-6) - (-56)/66. Is n equal to p?
False
Let s = -2829858/143 - -220362/11. Which is bigger: 245 or s?
245
Suppose -q = -2 - 0. Let d be -5 + 2 + 39 + 24. Let p be (-268)/(-90) - (d/(-27) - -2). Which is greater: q or p?
p
Let k(a) = a**2 - 3*a + 1. Let f be k(3). Let y = -235 + 230. Let x be 6/2 + ((-1100)/(-64))/y. Which is bigger: x or f?
f
Let h = -24 + 12. Let r = -10.5 - h. Let q = -1757.2 - -1757. Which is smaller: q or r?
q
Let l(x) = -4*x**2 + x**3 + 3*x**2 + 10*x + 4 + 7*x**2 + 0. Let y be l(-4). Is -3 at least y?
True
Let p = 143/19 + -305/38. Are -111/11 and p non-equal?
True
Suppose -6060 = -35*i + 50*i. Let h = i + 353. Does -53 = h?
False
Suppose -3*j = -4*h - 37, -h - 2*j = -2*h - 3. Let u be 2/8 + (-204)/(-16). Suppose 3*g + u = 2*g. Is h >= g?
True
Let h be ((-42)/(-3340))/(-5 - 408/(-85)). Are 0 and h equal?
False
Let h(t) = -62*t - 1239. Let u be h(-20). Which is bigger: 2/35 or u?
u
Let t(o) = -o**3 - 11*o**2 + 18*o + 300. Let k be t(-10). Which is bigger: 50 or k?
50
Let v be ((-9)/6)/(6 - (-3 - (-9555)/1064)). Which is smaller: 19 or v?
v
Let r = -85095 + 49488. Let j be (-2)/(-7) + r/49973. Let c = 7/59 - j. Is -4/7 less than or equal to c?
True
Suppose -4*x = 3688 - 17388. Does x = 3426?
False
Suppose 5*u = 31 + 1924. Suppose 4*i = -u + 11. Suppose 0 = -4*q + 3*n - 392, q = 2*n + 58 - 161. Is q > i?
False
Suppose -m + 3*s + 2065 = 0, 5*s - 9165 = -5*m + 1060. Is m >= 2049?
True
Let u = 375 + -371. Suppose 2*p + 2 = f + 6, -u*p + 8 = -5*f. Is f equal to 6/155?
False
Let u = -4 + 5. Let a = 65/38 + -867/418. Which is bigger: u or a?
u
Let i be (4 - 0)/(7 + (-478)/68). Which is greater: i or -2473/18?
i
Let g be (1 - 4) + (7 - 22 - 75). Is -96 greater than g?
False
Let s be ((-48)/(-2232))/(0 - (-14)/282). Let b = 1/217 - s. Is b smaller than 1?
True
Let t = 4264 - 4274. Suppose -16 = 2*v + 2*c + 2*c, -4*c - 12 = v. Are v and t nonequal?
True
Suppose -5*j + 4*l - 33 = 706, 4*j + 624 = -5*l. Which is greater: j or 32?
32
Let f = 2157 + -2154. Which is smaller: f or 154/17?
f
Let n = 1.28 - 0.75. Let c = -1.27 + 0.54. Let r = n + c. Is 11 equal to r?
False
Suppose -63*f - 31721 + 4584 - 53818 = 0. Are -1283 and f non-equal?
True
Let w = -34 + 101. Let k = 735.09 - 732.09. Is w less than k?
False
Let a = -193 - -197. Suppose -a*t = y + 20, -3 = -2*t - t. Which is smaller: -23 or y?
y
Let r(i) = -36*i**2 - 75*i + 475. Let c be r(9). Which is smaller: c or -3117?
-3117
Let u(b) = 11*b**2 - 4*b + 4. Let i be u(6). Suppose 24197 + 16400 = 80*a + 10597. Is a at most as big as i?
True
Let m(c) = -9*c**2 + 207*c - 172. Let p be m(22). Let s be (1/(-3))/(1/(-183)). Let i = s + -34. Is p >= i?
False
Let p = -5462 - -5447. Is -177/11 bigger than p?
False
Let g be (-12 - 6/2)/(-1). Let c = g - 12. Suppose -p + 2 = 2*p - 4*x, x + 5 = c*p. Is p equal to 10?
False
Let g = 41 + -40.64. Let h(p) = -p + 1. Let x be h(-1). Let f be (-15)/12*2 + x. Which is smaller: g or f?
f
Let p = 142080.243 - 141974. Let h = p + -0.243. Let j = -103 + h. Is j greater than or equal to -2/3?
True
Let p be ((-66)/(-44))/((-3)/(-2)). Let x = p - 22. Let w(h) = -h**2 - 20*h + 21. Let j be w(x). Is 2/127 smaller than j?
False
Let r be (-3)/(-3)*12*8. Suppose -2*d - d + x + 56 = 0, x - r = -5*d. Let u = 20660 + -20640. Which is smaller: u or d?
d
Let r = 1432 + -1432. Let m be (5/110)/(2/(-4)). Is m smaller than r?
True
Suppose -3*n + 35 = -3*b + 269, -2*n = -5*b + 390. Which is smaller: b or 86?
b
Let g = 11.4 - 9.96. Let p = g + -1.44. Which is greater: p or -1/3?
p
Let k be (3/(-6))/