 41. Let d be y(-17). Are 4562 and d non-equal?
True
Suppose 0*a - 5*a - 2 = -x, 7*a = -5*x - 22. Let w = -927404/213 - -4354. Is a <= w?
True
Let c = 34.7 - 34.62. Let g = 9.209 - 0.009. Let d = -9 + g. Is c > d?
False
Suppose 0 = 5*x - 0*x - 2*m - 208, 2*x = 5*m + 79. Let i be x/(-70) - (-283)/10*2. Which is smaller: 57 or i?
i
Suppose 5*x = -4*i - 179, -x + 2*x = -2*i - 37. Let f = 10 + x. Let o be 6/(-15) + (-113)/5. Is f != o?
True
Let f = -158484111889/5075 - -218598672/7. Let m = 2/725 + f. Is -16 not equal to m?
True
Let j = -37.085 + 0.085. Suppose 0 = 16*p - 14*p - 6. Suppose -o + p*m - 7 = 0, -4*o + m = 2*m + 2. Are j and o unequal?
True
Let o be 2/(-3) - 65328/(-98028)*1. Is 1 bigger than o?
True
Let a be 33/44*3418/9942 + 3/(-12). Is a <= 1?
True
Let w be (-135)/(-18)*(-14)/(-3). Suppose -170*b - w = -165*b. Let d be (-70)/(-28) - (2/(-4) + 0). Is b != d?
True
Let l = -316.44 + 5.44. Let c = -310 - l. Which is greater: 568 or c?
568
Let j = 1237 - 1238. Which is bigger: -17/362 or j?
-17/362
Let b = 36 - 35. Let m = 10 - 13. Let x(g) = g**3 + 4*g**2 + 3*g - 4. Let z be x(m). Which is bigger: b or z?
b
Let t = -0.0662 - -0.0662. Are t and -1114 nonequal?
True
Suppose d = 3*n - 0*n - 111, 0 = 4*d - 3*n + 444. Let y = d - -77. Let w = y - -63. Are 28 and w non-equal?
True
Let p be 48/22 + (-2)/(-22)*-2. Let h be ((-4)/14 - (-3)/7)*p. Is h > -151?
True
Let i = 10033 - 10031. Do 472/9 and i have the same value?
False
Let f be ((-1)/(1/192))/(2285 + -2286). Which is bigger: f or 213?
213
Let c = 8525 - 8524. Is c smaller than 3/2059?
False
Suppose 0 = -6*n - 85 + 175. Suppose 0 = -3*f + n*g - 14*g - 2, -2 = -f - g. Which is bigger: f or -101?
f
Let x = -60 + 67. Let z(u) = 144 - 56 + 2*u - x*u. Let g be z(17). Is g bigger than 13/4?
False
Let j be 79/(-5)*16753/22. Let h = -12018 - j. Let x = h + -10803/790. Is x at most as big as 1/4?
True
Suppose 16*z - 17*z + 2 = 0. Suppose -5*u = 0, -2*g + z*u - u - 48 = 0. Let l = g + 6. Which is bigger: -4 or l?
-4
Let g = 519 + -998. Let b = g + 473. Is 0.38 at least as big as b?
True
Suppose -g - k = -15, -2*g + 7*g - 75 = 5*k. Suppose -4*q + 174 = -2*p, 6*p - p - g = 0. Is 136/3 >= q?
True
Let u be (10 - -1)/((3 + -11)/(-40)). Suppose 2*b = u - 255. Is -101 < b?
True
Let n be 51/85 - (-6306)/(-10). Let m = 2699 + -3328. Are m and n non-equal?
True
Let h(t) = 223*t + 9. Let y be h(-1). Let c = y + 1496/7. Which is smaller: c or -12/5?
-12/5
Suppose -14*p = -187 - 1283. Is p at least 101?
True
Let t = 3 + -28. Let p be (20/t)/(2/(-30)*-3). Let z be -1*1 - (-5 + p + 3). Which is greater: z or 6?
6
Let s be 6/(-168)*-14*1302. Which is smaller: s or 648?
648
Suppose 5*t = -2*u + 20859, -170*t + u - 4176 = -171*t. Is t > 4170?
False
Let h = -0.028 - 0.222. Let z = h - 5.35. Let x = z - -5.6. Which is greater: x or -0.1?
x
Let i be ((-17)/(-102))/(1/6). Suppose 4*n - 316 = -3*g, -g + 232 = -0*n + 3*n. Let m be 2/4 - 62/n. Which is smaller: m or i?
m
Suppose 0 = 2*c - 3*j + 5*j + 12, 3*j = -18. Which is bigger: c or -15/121?
c
Let g(s) = -2*s**3 + 9*s**2 - 5*s + 4. Suppose -34 = -5*p + 561. Let q = -115 + p. Let r be g(q). Which is smaller: r or 1/42?
r
Let s be ((-43)/6 + 7)/(100/(-198)). Which is greater: -1 or s?
s
Let g(a) = -16*a + 161. Let w be g(10). Let f = 317/1110 - -3/37. Which is smaller: w or f?
f
Let v be (2 + 10/(-3))*11628/340. Let d(k) = -45*k**2 + k + 1. Let q be d(-1). Which is smaller: q or v?
v
Let w be 14/(-126)*(2 - 8)*6/8. Is -0.9276 bigger than w?
False
Suppose 5*c = 2*j + 398, -56*j = -4*c - 52*j + 316. Which is smaller: 195 or c?
c
Suppose -173 = -12*s + 31. Suppose -s*z - 14 = -10*z. Let m be (3/(-6))/(5/10) - z. Is m > 1/28?
True
Suppose -24 + 1184 = 4*z. Let i = 313 - z. Which is greater: 27 or i?
27
Let a = 196.191 - 0.191. Let x = a + -196. Which is smaller: 37 or x?
x
Let n be (10/(-140))/((-35)/12985). Let l = 7.2 - 7. Which is smaller: l or n?
l
Let k be (-348)/15*(3301/(-1100) + 3). Let m = k - -1007296/1375. Let r = -728 + m. Which is bigger: 6 or r?
6
Suppose 2*w - 8*u = -3*u + 80, -4*u = 0. Suppose -4*h + 5*h = w. Let q(r) = 34*r - 28. Let i be q(2). Is h != i?
False
Let v = 2 + -1. Let u be 371/175 + (-18)/45*(-135)/(-30). Which is smaller: u or v?
u
Let r = 17159508/203 - 84529. Let q = r - 9/29. Which is bigger: q or 103?
103
Let k = 14825 - 15610727/1053. Let y = 371/10530 + k. Which is greater: y or -2?
y
Let f be (-72)/(-302) - (34 - 28) - -6. Which is greater: f or 0?
f
Suppose -58*a = -295*a - 144333. Does a = -5482/9?
False
Let u = 165/289 + 1694/2601. Suppose p + 3 = 4*p. Which is bigger: p or u?
u
Let o(l) = l**3 + 14*l**2 - 15*l + 5. Let f be o(-15). Suppose 14*b - 10 = 9*b, 2*h - 18 = f*b. Which is smaller: h or 8?
8
Let f be 3/(-81)*25/((-52200)/(-168)). Which is smaller: -1 or f?
-1
Let f(b) = -36578*b**2 + 10*b - 9. Let p be f(6). Let l = 585956066/445 + p. Let i = l - 2/445. Is -3 smaller than i?
True
Let k = -8498.24 - -8511. Is -1/4 smaller than k?
True
Suppose 0 = -7*k + 312 + 430. Let v be (-1 - (-10)/14)/(k/(-371)). Let l = -21.024 + 0.024. Which is greater: l or v?
v
Suppose -2*a - p + 20 = 0, 3*a - 20 = -p - 3*p. Let x = 19 + -12. Let m = a - x. Which is smaller: 4 or m?
4
Let z = 206 + -195. Suppose -2*g = 3*g - z*g. Which is smaller: 3/110 or g?
g
Let c = 497578489/119705544 - -14/237511. Let o = 33/8 - c. Let d be (3 + -6)*(-1)/(-3). Is d at least o?
False
Let h(j) = j**2 + 14*j - 6. Let c be h(-14). Let v be (-15)/6 + (99/c - 7). Let m = -35 - -11. Which is smaller: m or v?
v
Suppose -64*m = -256*m - 44736. Is m <= 0.5?
True
Let c be (-7320)/(-200) + -37 + 1*14/10. Let q = 7 + -2. Let u be -9*(q/3)/5. Which is bigger: c or u?
c
Let p be 16/(3 - 5 - -4). Suppose p*m - 13*m = -5. Is -2/467 greater than m?
False
Let y = -0.082 + -0.56. Let q = y - -1.642. Is q < 473?
True
Suppose 4*v = -5*o + 8276, -408*o + 413*o = 5*v + 8330. Which is greater: -2/7 or o?
o
Let m = 622 - 609. Suppose 0 = 40*v + m*v - 689. Is v smaller than 8?
False
Let h be 10/50 - 8/60*69. Let x = -17/2 - h. Let u be -1*4*(-2)/(-22). Is x < u?
False
Let q = -60269/232225 - -47/175. Which is bigger: q or 1?
1
Suppose 0 = -65*w + 109*w - 61*w - 1241. Is w smaller than -4?
True
Suppose 0*k - 2*k = -4, s - 2*k = 3. Suppose -80 = -g + s. Suppose -4*a - 58 = -0*q + 2*q, -3*q - g = -a. Which is smaller: q or -28?
q
Let y be (-4 + 2 - 7) + 2 - -15. Let c be 3 - (-3)/((-9)/(-16)). Which is smaller: y or c?
y
Let s(v) = 2*v**2 + 228*v - 240. Let y be s(-115). Let a be 2/(-5) - (-56)/(-10). Is a greater than y?
True
Let u = -16.1 - -15.62. Suppose -5*p + 17 = -2*y - 18, 35 = 5*p + 3*y. Suppose -a - p = 3*c, 5*c + 0*a = -a - 9. Which is bigger: u or c?
u
Let o be (-8)/(-20) + 2/(-5). Let m = -53 - -51. Let k(f) = 5*f + 7. Let n be k(m). Is o < n?
False
Let v = -35220 + 35234.561. Let n = -0.439 - v. Are n and 13 equal?
False
Let s(b) = b**3 - 37*b**2 + 66*b + 8. Let g be s(2). Which is greater: -14/117 or g?
g
Let f = -10579 - -10390. Which is bigger: f or -171?
-171
Let u(y) = 2*y - 9. Let i be u(6). Suppose -s - i*j - 2 = 0, -3*s + 3*j - 22 = 4*j. Let d = -1499 + 1490. Which is bigger: d or s?
s
Suppose -2*f = 5*z - 34 - 74, 4*f - 216 = z. Let q = -697/13 + f. Is -1 smaller than q?
True
Let a(y) = -y**3 + 15*y**2 + 21*y - 8. Let q be a(16). Suppose -5*k + 414 + 26 = 0. Let b = k - q. Is b less than 15?
False
Suppose -4*l - 5*i + 2015 = -205, -3*i = 2*l - 1112. Suppose -89*g + l = -84*g. Which is bigger: 112 or g?
112
Suppose 3*k = -3*z + 6, -322 + 344 = 2*z - 4*k. Is z >= -88?
True
Suppose -21 = -56*d + 50*d - 135. Which is bigger: d or -239/12?
d
Suppose n + 57 = -5*x - 0*x, 4*n = -5*x - 48. Let w be (-112)/20 + x/30. Let m = 6 + w. Is m equal to -1/13?
False
Let n(v) = v**3 + 5*v**2 + 3*v - 2. Let s be n(-4). Let x be (-4 + 7)*-5*1/3. Let t be x + s + 4 - 4. Is -4 > t?
False
Let q = 4 + -4. Let k = 643.5 - 594.5. Is k equal to q?
False
Let r = 3.595 + 0.365. Let u = 4.36 - r. Let t(i) = i**3 + 4*i**2 - 6*i - 7. Let h be t(-5). Is h greater than u?
False
Let o(r) be the second derivative of r**4/4 + 25*r**3/6 - 15*r**2/2 + r - 92. Let k be o(-13). Is k bigger than -1/7?
True
Let u(m) = 7*m**3 - 2*m**2 + 29*m + 7. Let f(n) = 8*n**3 + 30*n + 6. Let c(k) = 6*f(k) - 7*u(k). Let a