96. Which is greater: c or 0?
c
Let c be 10/2 - ((-11424)/(-36))/(-17). Which is greater: -2/3 or c?
c
Suppose -24 = 3*x - 0*g + 5*g, 5*g = -x - 18. Let h be -1 + (-9)/x + -1. Let f = 10.0259 - 0.0259. Is f greater than or equal to h?
True
Suppose 0*x - 6 = -3*h + 4*x, h = 2*x + 2. Suppose -3*j + h*j = 2*m + 5, 4*j - 4*m = 16. Suppose 0 = p + 4*d - d + 4, 2*p - 3*d = j. Is p >= -3/7?
False
Suppose 7 = -h - 3*x, -h + 5*x = 2*h - 35. Suppose 0 = -w + h*d - 3, 2 = 6*d - 4*d. Suppose -w = 2*v, 4*u = -u + 4*v + 129. Which is smaller: 24 or u?
24
Let s = 683 + -670. Which is bigger: s or 250/19?
250/19
Let t be ((75/70)/(-5))/(21/14). Let k = -0.03 - 0.15. Let i = -0.02 + k. Which is smaller: t or i?
i
Let q be -6 + (8 - (-88)/(-8)) - -8. Is -32/21 at most as big as q?
True
Let g = 43 - 33. Let z be (-25)/(-2)*((-288)/g)/6. Let r = z + 65. Does 8 = r?
False
Suppose -14*f = -23*f - 1026. Let j = f + 101. Let n(m) = -m**3 - 6*m**2 - 5*m - 2. Let w be n(-4). Which is greater: w or j?
j
Suppose -2*l - 4*s - 20 = 0, 5*s = -4*l + 2*s - 45. Let b be (l/(-1))/(-5*(-4)/120). Do 73 and b have different values?
True
Suppose 3*y - 10873 = 231*u - 229*u, 2*y + 4*u - 7206 = 0. Is 3619 != y?
False
Let r be 12645/60 + (-9)/12. Let k be (0 + 29 + 4)*r/9. Is k less than 770?
False
Let w(t) = -5*t**3 + 10*t**2 - 4*t + 4. Let j be w(2). Is -36/13 at least j?
True
Let c = 27 - 727/27. Let a be (-4)/(-10) + (-2)/(20/734). Let y = a - -73. Which is bigger: c or y?
c
Let s be (-15)/(-25)*(-370)/111. Is s greater than or equal to 169.5?
False
Suppose 1379*q - 1368*q = -53 + 372. Does 47 = q?
False
Let q(o) = -8*o**2 + 1. Let s = 30 + -31. Let n be q(s). Let c be (1/n)/((-18)/(-4) + -5). Is -3 smaller than c?
True
Let t(b) = -b**3 - b**2 + b. Let y(p) = 2*p**3 + 10*p**2 - 3*p + 1. Let c(j) = -t(j) - y(j). Let q be c(-9). Which is bigger: q or -14?
-14
Let h(x) = -3*x**2 + 28*x - 5. Let o be h(9). Suppose c + 6 = 2*i - 0*i, -3*i = o*c - 31. Suppose -5*a = i*y - 10, -2*y - 7 = a - 6. Is y not equal to -2?
True
Let h = 11.5 + -11. Let s = h - 0.54. Let y be (-63)/(-54) + 2/6. Which is greater: y or s?
y
Let j = 10568/629 + -34/37. Let z = 3612/221 - j. Let l = 37/52 - z. Is 0 at most l?
True
Let i = 86.48 - 89. Let f = i - 2.16. Let d = 5 + f. Is -1/4 less than d?
True
Let m = 1840592 - 1845138.045. Let l = -4556 - m. Let o = l - 0.045. Are o and 0 equal?
False
Let c be ((-190)/(-45) - 1) + (-4)/18. Suppose -i - 27 = -g, c*i + 7 = g - 10. Let s be 86/18 + g/144. Do s and 6 have the same value?
False
Let i be (-1)/12*4/3. Let j = -93.897 + 113.897. Is i at most j?
True
Let p be (-4)/16 + (-14)/8. Let d be 1388/11168 - (-19 - -17). Let n = -1/1396 - d. Which is greater: p or n?
p
Suppose 3694 = -5*h + 11449. Suppose -511 + h = 8*k. Is 0 < k?
True
Let d(s) = s**3 + 11*s**2 - 4*s - 3. Let o be d(-6). Let w = o + -125. Let q = -70 + w. Is 14/3 greater than or equal to q?
False
Let b be ((-1)/5 - -4*(-3)/90)*-3. Does 6/41 = b?
False
Suppose -5*c - 50 = -g, 4*c - c + 30 = -3*g. Let m be ((-3)/c)/((-12)/390). Which is bigger: m or -9?
-9
Let d be -4 + (30/6 - -1). Which is smaller: d or -260/57?
-260/57
Let w be (-1 - 2) + -8 + (-9)/(-3). Let v be 1068/w*8/(-12). Suppose 18*a - v = 163. Is 14 != a?
False
Let v be 2823/(-15) + (-3 - (6 + 230/(-25))). Is -184 equal to v?
False
Let g = 5.4 + -7. Let f = g - -0.6. Let v = f + 0. Which is bigger: v or 2/9?
2/9
Let l be 49/(-2)*(-60)/35. Let x be 47/15 - l/315 - 3. Is x at least as big as 3/74?
False
Let i = -5.75 + 5. Let n = i + 0.5. Let m be (-1)/2 + (-5)/(-20). Is m smaller than n?
False
Let d = -2 + 1. Let b = 203016 + -112775. Let r be 2982/b + (-2)/(-31). Which is bigger: d or r?
r
Let g be (2 + -3 + 4)*1/3. Let s be 2 + g - 1 - 67/(-1). Let k = s + -46. Does k = 23?
True
Let a be (-16)/(-56)*2 - (-1940)/(-14). Let j = a + 138. Which is bigger: 13/17 or j?
13/17
Let v(x) = -2*x**2 + 9*x + 15. Let p be v(-6). Let f = 6729 + -6731. Which is greater: f or p?
f
Let z(c) = c**3 - 5*c**2 + 3. Let o be z(4). Let p(s) = -s**3 - 40*s**2 + 2*s + 90. Let i be p(-40). Suppose -15*j = 185 + i. Are j and o unequal?
False
Suppose -40*y - 3196 = -11*y - 12*y. Let s(z) = 27*z + 3. Let o be s(-7). Which is bigger: y or o?
o
Suppose -5*d - 315 = -5*k, 0 = -4*d + k - 201 - 39. Let y = 1.63 - -1.65. Let q = y + -3.28. Which is bigger: d or q?
q
Let i be (((-248508)/(-225))/(-6))/((-8)/60). Which is bigger: 1381 or i?
1381
Let v(s) = -s**2 + 6*s - 8. Let t be v(4). Suppose 2 = w, 5*h + t*w - 72 = -w. Suppose -4*r - 2 = 3*j - 3*r, 5*r = -3*j + h. Which is greater: j or -8/3?
j
Let m = -506 - -1201. Let g = 694 - m. Which is smaller: g or -4/281?
g
Let c(l) = 256*l + 140. Let j be c(-4). Which is greater: -878 or j?
-878
Let u be (92/3)/((-54)/81). Let y be (u + 44)*6/(-44). Is y less than 1.4?
True
Let a = 196 - 185. Suppose -4*u - 3*m + 55 - a = 0, 3*u + m - 33 = 0. Is u smaller than -6?
False
Let x = -26893 - -26894. Let w be (3 - 5)/(3 + 648). Does w = x?
False
Let d = -963.73 - -968. Let s = d + -38.17. Let i = 34 + s. Is i < -11/2?
False
Suppose -1360 = -32*n + 800 - 624. Which is smaller: 61/2 or n?
61/2
Let n be 239/18 + 2/9. Let p = 0.0364 - 1.0364. Is p equal to n?
False
Let d be 412372/(-242) - 1/(2/4). Let o = -1706 - d. Which is smaller: o or 0?
0
Let q be (980/(-2730))/((-8)/(-171)). Is -7 <= q?
False
Let s(h) be the second derivative of -h**4/12 + 8*h**3/3 - 23*h**2 - 2*h - 56. Let x be s(4). Is 32/13 <= x?
False
Suppose -18*w + 12 = -24. Suppose 3*p + 68 = p - 5*u, w*p - 4*u + 32 = 0. Suppose -s - 24 = -0. Does s = p?
True
Suppose 22*d = 160 + 120 + 226. Which is bigger: -43 or d?
d
Suppose -3*x - 6*c + 3*c - 9 = 0, 2*c + 3 = -5*x. Let o be x/(-2) - (-21)/2. Let i be (-5)/o*(2 + -5). Is i at most 3?
True
Suppose -t + v + 10963 = 0, -700*t + 703*t - 2*v - 32880 = 0. Which is smaller: t or 10952?
10952
Let r = -52/31 + 5116/93. Let l be 1/(-7) - 17856/(-336). Let x = l - r. Is 1 bigger than x?
True
Let z(i) = -7*i**3 + i**2 + 3*i + 18. Let q be z(4). Let x = q - -401. Which is smaller: x or 5?
x
Let j = -258847 + 2067853/8. Let g = j - -364. Suppose 26*h = 5746 - 5798. Is h less than g?
True
Let d = 449.71 + -33.31. Let f = d - 411. Which is bigger: 1/2 or f?
f
Let m be (-18)/90 - (-52)/10. Suppose m*g + 0*g = 35. Let t be (-1284)/(-9) - g/(105/(-20)). Which is smaller: t or 143?
143
Let f(z) = -z**3 - 2*z + 0*z**3 + 29*z**2 - 26*z**2 - 1. Let i be f(2). Let u be 4*i + (-152)/(-36). Is 2/7 smaller than u?
False
Let n = 116 - 326. Let x = n - -188. Suppose -2*c - 2*l - 64 = 2*l, 5*c + 120 = -2*l. Is x < c?
False
Let h(a) = 5*a - 71. Let u be h(5). Let t be u/5 - (-18)/(-30). Is -11 greater than t?
False
Let z = -96 + 72. Let j be (-4)/(-6) + -20*4/z. Let k = 4423/1344 - 1/192. Do k and j have different values?
True
Let h(w) = 82*w - 802. Let g be h(18). Is g >= -1/3?
True
Let c be (1 - -1)*(-2502)/(-12). Suppose 0 = -3*z + 4*d - 677 + 1932, 3*z - 5*d - 1256 = 0. Is z equal to c?
True
Let m = 241 - 214. Suppose -m*q + 399 = 1290. Is -33 greater than or equal to q?
True
Let s(v) be the second derivative of v**4/6 + v**3/3 - 17*v**2/2 - 27*v. Let r be s(-5). Let d be (-18)/(-12) - (-3 - r/(-6)). Are d and -0.081 unequal?
True
Let h = -4507 + 4521. Is 4 at least h?
False
Let p = -0.04865 - 0.05135. Suppose 4*s - a - a = 60, 4*a + 72 = 5*s. Let v be s/(-6)*(-1)/4. Is p >= v?
False
Suppose 3*z = 4*v - 1395, -2*v + z + 512 = -187. Are v and 701/2 unequal?
True
Let w be -5 - (3380/(-240) + -12). Is 2/3 at most as big as w?
True
Let k(x) = -30 - 4*x**2 - 13*x**2 + 4*x**2 + x**3 - 38*x + 26*x. Let q be k(14). Let i = 15/143 - 1971/2431. Which is smaller: i or q?
q
Let h = 284.06 - 288.06. Which is smaller: 197 or h?
h
Let c = -121940 - -1027344499/8425. Is c greater than -1?
True
Let q = 234 + -302. Let f = q - -172. Is 104 <= f?
True
Let m be 664/249 - ((-1)/3)/(7/(-77)). Is m greater than or equal to -1/1128?
False
Let c be (-22 - 268/(-12))/((-100)/(-2176)). Is 6 at most as big as c?
True
Let h(n) = 37 - 3*n - 2 - 18 + n. Let v be h(11). Let d be (3 + v)/(3/(-2)). Is d at most 1/4?
False
Suppose -87 = 2*s + 5*f, -s - 10*f = -11*f + 54. Let x = -48 - s. Which is greater: x or 1?
x
Let j(k) = k + 2. Let m = 73 + -77. Let h be j(m). Is h >= -0.043?
F