(72). Is g greater than or equal to 113?
True
Suppose -27*h = -35*h. Suppose 5*c - 31 = 4*t - 3*t, 17 = -3*t - 4*c. Let u be (90/(-40))/(t/(-4)). Which is bigger: u or h?
h
Suppose 5*w = -40 - 5. Let k = 274300 + -274315. Is k smaller than w?
True
Let q be 6/((-18)/5)*(-567)/54. Which is greater: q or 7?
q
Suppose 5*m = 3*o + 7515, -3*m = -o - o - 5011. Are -2509 and o non-equal?
True
Let z = 34312384/5275275 - -6/47525. Let o = -20/3 + z. Which is smaller: -3 or o?
-3
Let f = 34.5 - 481.5. Let n = f + 449. Let k be (-24)/(-33) - (1 + 0). Which is bigger: k or n?
n
Suppose 3*p + 264 + 54 = 0. Is -425/4 equal to p?
False
Let y = 9.945 + 0.055. Let n be 3/4*64/(-16) + 5. Is n greater than y?
False
Let b(l) = -l + 1. Let j(p) = -p**2 + 18*p - 21. Let h(u) = -5*b(u) - j(u). Suppose 141 = 5*m + 91. Let g be h(m). Is -12 <= g?
False
Let y(h) = h**3 + 7*h**2 + 2*h + 17. Let s be y(-7). Suppose -s*c - 249 = -3*o, -c - o - 75 = 2*o. Let g = 25 + c. Is g at least as big as -109/2?
False
Let j = -2125 + 2123.407. Let f = -0.007 + j. Let r = -1.8 - f. Which is greater: r or 0.2?
0.2
Let b = 60 - 38. Let z be (b/12)/(3/6). Is 4 > z?
True
Let x = -0.186 - -20.386. Let d = -20.5 + x. Is -0.03 < d?
False
Suppose 9*c = 70 - 43. Suppose -2*w - c*w = 4*d + 1057, -2*d = w + 527. Is d at most as big as -263?
True
Let p(u) = 383*u**2 - u**3 + 6 - 376*u**2 - 6*u - 5*u. Let g be p(5). Which is bigger: g or -9?
g
Let y = 8 + -8. Let q = -25 + 15. Let x be ((-32)/q)/((-54)/(-90)). Which is smaller: x or y?
y
Let g be (-78)/117 - (-3624)/9. Which is bigger: g or 0.2?
g
Suppose -57 = -29*o + 10*o. Suppose -4*q + 2 = 2*p, 5*q + 1 = -o*p + 5. Is 3/89 < q?
False
Suppose -h + 2*c = -4*h - 16, 3*c = 2*h + 28. Let k be (-8)/2 - (-14 + -6). Suppose f + 18 = -4*r - k, 0 = 5*r - 3*f + 51. Is h <= r?
False
Let s = -764 - -765.21. Let y = s + -1.13. Suppose -4*c + p = 13, 0 = -c + 4*p - 2 - 20. Which is smaller: c or y?
c
Let m = 83337 + -83314. Let q(c) = -17*c + 8. Let j be q(-6). Suppose 5*f + w = j, 7*f - 3*f - 109 = -5*w. Which is smaller: m or f?
f
Suppose 104*c = -8*c + 112. Is c < 1/2086?
False
Let r(y) be the second derivative of 0 + 1/3*y**4 - y**2 - 5/6*y**3 - 1/10*y**5 + 17*y. Let p be r(3). Is p smaller than -35?
False
Let o be (10/22)/((-6)/(-33)) + 2058/(-820). Let d be 4*(-5)/(-8)*2. Suppose v - 11 = -4*i, 2*i = -v - 0*i + d. Is v < o?
True
Let i(b) = 3*b**3 + 18*b**2 + 140*b - 38. Let q be i(-21). Is q at most as big as -22824?
False
Suppose -15*g = -16*g + 3. Suppose 4*f = 5*b + 7*f + 280, -g*b = 2*f + 169. Are b and -53 equal?
True
Let g = -0.4658 + 0.4047. Are g and -1/4 equal?
False
Let s be (-4)/(-18) - (19832/(-6930) - -3). Let d = 1/21 - s. Let m = -31/55 + d. Which is smaller: -2 or m?
-2
Let f = 1003 - 902. Suppose 212 - f = -z. Which is smaller: -549/5 or z?
z
Let a = 75 + -68. Let u be 384/28 - (-2)/a. Suppose 3*f - 5*r - 33 = f, -47 = -3*f + 5*r. Is u less than f?
False
Let g = -33.7213 - 2.2787. Is 0.1 > g?
True
Suppose 10*q - 13*q + 27 = 0. Suppose -t - 24 = -q*t. Let u = -2 + t. Is -21/4 != u?
True
Let c be (11/((-264)/(-16)))/(1/3). Let p = 103 - -18. Let q be 6/(-21) + p/56. Is c at most as big as q?
False
Suppose -3*w = -k - 3*k - 9, 3*w = 9. Suppose 5*q - 3*q - 20 = -4*v, -5*q = 3*v - 22. Suppose 2 = -q*r - k. Are r and 3/8 nonequal?
True
Suppose -3*i - 258 = -3*z, -2*i + z + 78 = -3*i. Let t = i + 113. Which is smaller: 29 or t?
29
Suppose 7866*f + 7992 = 3937*f + 3956*f. Let p(k) = 150*k - 3. Let c be p(2). Is c at least as big as f?
True
Let k = 121.84 + -84.84. Let t be (-3 + (-11)/(-3))*9. Suppose b = t*b. Do b and k have the same value?
False
Let z be 21*(-2)/8*((-4 - 2104) + 16). Is z less than 10983?
False
Let i(k) = -k + 8. Let o be i(0). Suppose o*a - 11*a = -78. Let b = -585 - -611. Is b at least a?
True
Let g(i) = -i**3 + 13*i**2 + i - 16. Let u be g(13). Let j(o) = 2*o**2 + 6*o - 2. Let r be j(u). Let b be r*1 + (8 - (13 - 8)). Does -2/103 = b?
False
Let a = 0 + -3. Let w be ((-64999)/741)/((-1)/a). Let r = w + 263. Is 0 smaller than r?
False
Let a = -804 + 1148. Suppose 3*d = -5*d - a. Which is smaller: -127/3 or d?
d
Let w be (-57606)/4068 + 14/(-12). Let x = 2/339 - w. Is x equal to 16?
False
Suppose 0 = 18*q - 22*q + 368. Let v = -88 + q. Suppose -46 = v*h - 50. Is 0 less than h?
True
Let o be -39 + (-150)/(-5) + 1195/133. Which is smaller: -2/45 or o?
-2/45
Suppose 22*i - 992 = 6*i. Suppose i - 217 = 5*h. Which is smaller: -29 or h?
h
Let t = 665 + -673. Let l(g) = -g**2 + 4*g + 4. Let o be l(4). Let c be (-14)/o*t/(-7)*-1. Which is bigger: c or 3?
c
Let a = 436 + -441. Let p be (-4 - -2)/(a*1). Which is smaller: p or 2.1?
p
Suppose -5*a + 7 - 22 = -5*u, 3*u = 6. Is a greater than or equal to -132/59?
True
Let z be (2/3)/(55/(-15) - -4). Suppose 4*x = 3*r - 2*r, -3*x = -z*r + 5. Is x >= -2/497?
True
Let m = -5022 - -5022.06. Which is smaller: m or -0.145?
-0.145
Let v = 67 - -88. Let a = 155.3 - v. Are 19/3 and a equal?
False
Let n = -116410 - -116409.83. Let p = -4 + 4. Which is greater: n or p?
p
Let n be -5 + 2 - (-15 - -9). Suppose -146 = n*z + 376. Is -174 smaller than z?
False
Let l = -83 + 83.4. Let o = 102 + -173. Let v = o + 80. Which is smaller: l or v?
l
Let a = 0.358 + 235.742. Let u = a + -263. Let d = u + 27. Which is smaller: d or -0.5?
-0.5
Let d(z) = -z**3 + 15*z**2 + 19*z - 42. Let j be d(16). Let x be j/(-12) - (-2922)/5820. Is x greater than 1?
False
Let r = 11/8189 + -18654619/57323. Are -324 and r unequal?
True
Let f = -161 - -394. Let l = 180 - f. Is -52 > l?
True
Let a = -0.0747 - 27.8253. Let f = 35.9 + a. Which is greater: f or 14?
14
Let k be 10112/6 + -5 + 20/(-15). Which is smaller: 1680 or k?
k
Let i(g) = -g**3 - 3*g**2 + 2. Let l be i(-3). Suppose -t - 4*t = -2*t. Suppose 0 = -2*o - 3*w + 5*w + 8, 3*o - w - 10 = t. Are l and o non-equal?
True
Let y = 4417 + -22309/5. Let j be (-2)/3*(-1 + 67). Are y and j nonequal?
True
Let i = -9182 + 9158. Which is bigger: i or 0.083?
0.083
Let u = 12 + 20. Suppose u*s = 24*s + 8. Let a be 2*s/(-6) - 68/(-276). Are a and -1 unequal?
True
Let k = -289817/10850 + 53/775. Which is smaller: -26 or k?
k
Let j be (-1 - (-3)/(-1)) + (245 - 2). Suppose 5*t + 4*q = -237, 3*q + j = -4*t - t. Is -52 > t?
False
Let v = -30 + 134. Let q = -91 + v. Let x be (12597/(-486))/q + 1 - -1. Is x > -1?
True
Let h = 30.41 - -0.59. Let v = -442.04 - 10.96. Let c = v + 455. Are c and h non-equal?
True
Let b be 3/1 + 8/(-16)*125694/(-9). Which is bigger: b or 6985?
b
Suppose 4*z + 5*c - 2116 = 0, -2*z = 9*c - 6*c - 1060. Let a = z - 525. Is a at least as big as -2/465?
False
Let n = -241/9 - -27. Suppose 11 = 27*d + 38. Let a be d/(-4 + 2) + 4/(-6). Which is smaller: a or n?
a
Let g(y) = -y**2 - 13*y - 42. Let m be g(-7). Let q = 500/3 - 53509/321. Which is bigger: m or q?
m
Let o(w) = 136*w + 16716. Let v be o(-203). Is v less than or equal to -10893?
False
Suppose 16*c = 79*c - 3*c. Is 16/1181 bigger than c?
True
Suppose -39*t + 113*t - 55204 = 0. Is t not equal to 743?
True
Let r = -27 + -10.2. Let u = -44.5 - r. Do u and -0.1 have different values?
True
Let s = 36063 - 1134881/32. Let z = s - 598. Do z and 1 have the same value?
False
Suppose -205*w + 2335 = 5*k - 209*w, -2*k - 5*w + 934 = 0. Which is bigger: 465 or k?
k
Let m = 1089.07759 + -0.07759. Is m greater than or equal to 4?
True
Let f = -2379 - -2385. Let l = 3/68 - -41/34. Let h = l + 11/2. Which is smaller: f or h?
f
Let u = -4182 + 4177. Is u >= -22?
True
Let d = 27.87 - -0.13. Let m = d + -28.48. Let z = -0.38 - m. Is -2/41 not equal to z?
True
Suppose 9*q - 195 = 174. Which is smaller: q or -0.2?
-0.2
Let z be (-176)/352 + (-23007)/(-6)*-1. Is -3836 smaller than z?
True
Suppose 0 = -33*l - 172 - 125. Let j be -1 + 8/12 + (-68)/l. Which is smaller: 6 or j?
6
Suppose 4*x = 4*a + 15108, -17486 + 6170 = -3*x - 2*a. Is 3773 at most as big as x?
True
Let i(k) = -4*k**2 + 3*k + 6. Let v be i(0). Let m(n) = -3*n**2 + 20*n - 12. Let f be m(v). Are f and -5/22 non-equal?
True
Let i be (1 - -1)*5/(-10). Let x be 4466/(1160/(-40))*((-15)/2)/5. Which is smaller: i or x?
i
Let o be 8/(-36) - 10438/(-6579). Which is greater: 0 or o?
o
Let o = 45 - 11. Suppose -2*p = -0*p + o. Let d(g) = -g**3 - 20*g**2 - 127*g - 284. Let q be d(-