- 8. Let i be l(-8). Is i equal to d?
False
Let u be (-9422)/(-8) - (-1 - 2)/12. Suppose -4*b - u = -4*c + 854, 2*c = 3*b + 1014. Is 511 less than or equal to c?
False
Let o = -1.2612 - 23.7388. Which is bigger: o or 78?
78
Let n = 15332 + -15333. Does -12/737 = n?
False
Suppose -2*f + 3*f - 95 = 0. Let a = 111781 - 111685. Which is smaller: f or a?
f
Let y be 10/(-6)*(7 + -4). Let j = -92 + 81.2. Let x = 16.8 + j. Is y at least as big as x?
False
Suppose -4 = 9*g - 10*g. Suppose -w - 47 = 2*p, g*p - 12 + 0 = 0. Let l = -101 - w. Which is greater: l or -49?
l
Let p = -239.5 + 192. Let b = 2.5 + p. Let v = b + 44.9. Is v greater than -1/4?
True
Let x be 4/3240*-3*6/(-6). Is -1 equal to x?
False
Let o be (-1 - -9) + (-13 - (-200)/20). Is 59/11 at most as big as o?
False
Suppose b = -3*h - 2, -4*b = 239 - 243. Let w be (-2522)/1896 + 18/(-27) - -2. Which is greater: h or w?
w
Let o = -9948 - -13078. Which is bigger: o or -0.1?
o
Let s be 0 - 0 - (-30)/(42/7). Suppose -769 = -3*d + 2*b - 3*b, 0 = 3*d + s*b - 749. Do d and 257 have the same value?
False
Let s be (-35)/14*(1 - 5). Let v = 14 + -6. Are s and v equal?
False
Let r = -3393 + 1153621/340. Suppose 0*g + 6*g = 2*g. Which is smaller: g or r?
g
Suppose 19*a - 20*a + 247 = -4*k, -5*a - k + 1256 = 0. Which is greater: 240 or a?
a
Let o = 32538124/7483 - 30438/7. Which is smaller: o or 0?
o
Let k = 2099 - 2098.797. Which is smaller: k or -0.2?
-0.2
Let o = -590 - -123. Let l = -205 - o. Which is bigger: 260 or l?
l
Suppose k = -5*f - 1318, -3*f - k = -2*k + 802. Are f and -3 nonequal?
True
Let t(a) = a - 1. Let m(l) = l**3 + 32*l**2 - 40*l - 34. Let g(y) = m(y) + 6*t(y). Let j be g(-33). Which is smaller: -19/3 or j?
j
Let u be (19298/(-77) - 6/66) + -3. Let x = 254 + u. Do -1/40 and x have different values?
True
Suppose -5*a = -2*x + 2328, 2*a - 54 = -5*x - 1020. Which is smaller: -6098/13 or a?
-6098/13
Let f be (-39)/78*(-216)/33. Is f at most as big as 4?
True
Let c be 2*-1 + (77/231)/(3154/18942). Which is bigger: 0 or c?
c
Suppose 17*i = -23 + 142. Let m be 1/((-246)/(-244)) - i/7. Is -1 greater than or equal to m?
False
Let n(c) = -2*c**3 + 55*c**2 - 81*c + 75. Let i be n(26). Which is smaller: -75/17 or i?
-75/17
Suppose -1090*f + 27 = 2*g - 1087*f, 0 = 4*g - 3*f + 27. Let z = -179/860 - 19/43. Which is bigger: g or z?
g
Let o = 175 + 74. Let t = 260 - o. Let k = -1 + 1. Do t and k have the same value?
False
Let g(b) = b**3 - 65*b**2 + 109*b + 272. Let z be g(63). Which is smaller: -808 or z?
-808
Let l = 48.9 - 50. Let n = -9 + 13. Let o = -2 + n. Is o greater than l?
True
Let u(g) = -97*g + 2714. Let k be u(28). Let v = 22.013 - 0.013. Which is smaller: v or k?
k
Suppose -17*h + 12 = -20*h. Let x = h + 47. Suppose 3*a = -3, 2*j - x = -2*a - 3. Is 21 >= j?
True
Let i be -2 + 25*(-108)/(-780). Is i less than 2?
True
Let j = -626704/111 + 5646. Let n = -5 + 5. Is n less than j?
True
Let l = 619/2 - 312. Let u = l - -13/10. Which is smaller: u or 3/11?
u
Suppose 4*c = 3*x + 421, 0 = -4*c + 2 + 2. Suppose -24*w - 1648 = 5*w + 2354. Is x less than or equal to w?
True
Let t = -10 - -10. Let y = -1.2 + -26.6. Let w = y + -13.2. Is t > w?
True
Suppose -12 + 16 = 4*c, -1679 = -5*t + c. Which is smaller: 342 or t?
t
Suppose 0 = d - 4, -4*d - 91 + 107 = -5*u. Is -12/2501 greater than or equal to u?
False
Let q = -12666 + 12666.12. Is 143 greater than q?
True
Let o = 23 - -144. Let y = 84 - o. Let z = y - -83. Which is greater: -9/13 or z?
z
Suppose 0 = 5*u - 2*a - 45, -5*u - a = -5*a - 35. Suppose 21*f - u = 32*f. Which is smaller: -3/53 or f?
f
Suppose -4*b - 20900 = -14*b - 7140. Are 1373 and b equal?
False
Let b = -0.2006 - -0.1706. Let z = 48 + -14. Is b less than z?
True
Let n = -37.9554 + 0.0554. Let j = -38 - n. Let r = 415 - 414.61. Is j >= r?
False
Let o = -82 - -95. Let a(h) = 5*h**2 - 14*h - 13. Let c(y) = -11*y**2 + 29*y + 27. Let n(k) = o*a(k) + 6*c(k). Let g be n(-7). Is 8/11 <= g?
False
Let r = -313.42 - -366.7. Does r = 0.3?
False
Suppose 972 = -66*k + 10476. Does 141 = k?
False
Let s(r) = r. Let p be s(0). Suppose p = -t + 8 + 22. Let z(n) = 75*n - 1397. Let c be z(19). Which is greater: c or t?
t
Suppose -4*t = t - 20, -t = 5*w - 59. Suppose 1249 = w*b + 347. Are b and 82 nonequal?
False
Let o = 332 - 492. Let w = 159.8 + o. Let b = 7.3 + -0.3. Which is bigger: w or b?
b
Let q = 569 - 987. Let b = q - -409. Which is smaller: b or 2?
b
Let p = -766391/94 + 8153. Which is smaller: p or 1?
p
Suppose -77*t - 8 = -76*t. Let p be (-2148)/t*4/(-30)*-5. Does p = 179?
True
Let x = 420 + -412. Let d be ((-48)/8 + x)/5. Which is smaller: d or 23?
d
Let p(d) = d**3 + d. Let b(f) = 42*f**3 + f**2 - 2*f - 1. Let h(t) = -b(t) - p(t). Let m be h(-1). Let a be (-66)/154 - 10/m. Does -0.8 = a?
False
Suppose 0*x = -24*x + 528. Let k be (-2026)/(-13) + (x/(-26) - -1). Which is smaller: 157 or k?
k
Let g(z) = -z**3 - 18*z**2 + 136*z - 363. Let c be g(-27). Which is smaller: c or 2525?
2525
Let z = -179.234 + 0.234. Let x = 112 + z. Let b = -66.79 - x. Is b less than or equal to 2/5?
True
Let q = -3335.5 + 3332. Which is bigger: q or 176?
176
Suppose -7*j + 3024 = 7*j. Let g = j - 223. Is g equal to -2?
False
Suppose -2*p = 3*n + 5, -11*n + 12*n - 3*p = 2. Let i be (-4)/n*33/(-198). Is -376 at least i?
False
Let y = -318 - -382. Let m = 112 + -45. Let d = m - y. Is -11 > d?
False
Let t = -8806 - -8805. Which is smaller: -2138 or t?
-2138
Suppose -5*c = 11 - 1. Let j be (-88740)/(-482625) + c/11. Is -1 less than or equal to j?
True
Let x be 40/540*1*9 + (-3425)/(-15). Which is smaller: x or 221?
221
Let k(j) = j**3 + 13*j**2 - 31*j - 13. Let v be k(-15). Suppose a + 4*a + 299 = 4*f, -f - v*a + 78 = 0. Is 77 <= f?
False
Let i be -1*15/31242*3423/5. Let m = -34/127 - i. Is m not equal to 1?
True
Let h(c) = c**3 + 2*c**2 - 2*c + 2. Let r be h(-3). Let o = 35242.934 + -35243. Which is smaller: o or r?
r
Let v = 3196.8 - 3197. Which is greater: v or -13?
v
Let v(q) = q - 1. Let d(m) = m**2 + 7*m - 6. Let s be d(-8). Suppose s*r = -r. Let l be v(r). Are l and 0 nonequal?
True
Let x(q) = 27*q - 10. Let r be x(2). Let z be (-45 + r)*(-102)/(-2). Suppose -150 = 5*j - 2*j. Which is smaller: j or z?
z
Suppose 2927*d = 2940*d. Which is smaller: d or -2/3443?
-2/3443
Let z = 251 - 250.056. Let a = 0.04 - -0.016. Let q = a + z. Which is smaller: 9 or q?
q
Suppose -s + 69 = 5*g, -28*g = -31*g + 4*s + 23. Which is greater: g or -4?
g
Suppose 3*j = -p - 179, -2*p = 8*j - 4*j + 348. Let s = p + 144. Is -20 at most as big as s?
True
Let w = -17503 - -10729335/613. Which is smaller: 1 or w?
w
Let g be (5397/(-5))/(-7) - (-12)/15. Suppose 12*h - 217 - g = 0. Is 32 > h?
True
Let l be ((-410)/(-75))/(1/(-3)). Let i(g) = 9*g**2 + 40*g - 42. Let w be i(-5). Do w and l have the same value?
False
Let a be (-1)/(-6) + 106/12. Let s(v) = 9*v**3 + 5*v**2 + 7*v - 11. Let f be s(3). Let h = -290 + f. Which is greater: h or a?
a
Let t(x) be the third derivative of -x**5/60 + x**4/12 + 8*x**3/3 - 87*x**2. Let n be t(5). Is 4/167 > n?
False
Suppose -15*n = 5261 - 27896. Is n <= 1509?
True
Suppose -5263*n = -5264*n - m - 3, -n = -3*m - 13. Which is greater: 8972 or n?
8972
Let d be ((-8790)/(-20))/((-1526)/4). Let n = d + 1/109. Suppose 3*f = -4*h + h + 6, -5*f + 11 = 4*h. Is n smaller than h?
True
Let p = 3781 + -3776. Is 2/123 at least as big as p?
False
Let g = -13936 - -13933. Suppose 22 = -3*r - 2. Is g >= r?
True
Let b = -1392 - -1383. Let c(i) = i**2 + 10*i + 7. Let w be c(-9). Is w greater than or equal to b?
True
Let a be (-20556)/342 - (4/(-152))/((-1)/(-4)). Are a and 11 nonequal?
True
Let j = -151 + 157. Let l be 1133/4620 + j/(-63). Let z = 3 + -2. Which is greater: z or l?
z
Suppose 4*j - 2*g - 284 = 0, 4*j + 3*g - 100 = 194. Let l be (-1446)/(-20) - (-5)/25. Which is smaller: j or l?
j
Let x = 29717 + -44426917/1495. Which is greater: x or -1?
x
Suppose 220 + 8 = -4*o. Let m = -65 - o. Let u(x) = -x**2 - 10*x + 1. Let w be u(m). Which is smaller: w or 19?
w
Let s(w) = -3*w**2 + 14*w + 181. Suppose -43*k + 4*j + 52 = -47*k, -3 = k - j. Let z be s(k). Which is bigger: z or -125?
z
Let z(f) = 156*f - 6. Let p be z(6). Suppose p = 18*v - 12*v. Are v and 155 unequal?
False
Let a be (10 - 10)/(2 + (1 - 1)). Suppose a = -8*