*b, k + b + 6 = 4*k. Let v be (k/(-15))/((-6)/18). Let g = 223.5 - 229.5. Is g at least as big as v?
False
Let u = 1.4 + -2. Let w = -58 - -58.66. Let o = w - -4.34. Are u and o nonequal?
True
Let d be -1*1*(-6 + 3). Suppose o = -o - 8, d*o = -2*u + 36. Let k = u + -12. Is k at least as big as -2?
True
Suppose -3*b - b - s = -77, -2*s = -5*b + 106. Let h be 1845/b - 2/8. Is h at least as big as 92?
True
Let v = 1011943/612 - 77/306. Which is bigger: 1652 or v?
v
Suppose y = -2*d - 1695, 2*d + y + 1707 = 4*y. Which is bigger: -1699/2 or d?
d
Let o = -21773/12 - -1814. Is o greater than or equal to -2/127?
False
Let w = -3347 - -3351. Let x(q) = -q**2 + 9*q - 3. Let v be x(7). Suppose 0 = 5*g - v - 24. Do w and g have different values?
True
Suppose 1577*g - 1571*g - 522 = 0. Let x = 90 - g. Which is smaller: 14 or x?
x
Let o be (2 + 96)*112/32. Let k = o + -3115/9. Which is bigger: -4 or k?
k
Let h = 4.806 + -13.806. Which is smaller: h or 518?
h
Let q(t) = 23*t**2 + 332*t - 22. Let i be q(-11). Is i greater than -893?
True
Let s(p) = 33*p**2 + 497*p + 29. Let v be s(-15). Which is smaller: 14/3 or v?
v
Let u = -4 - -3. Suppose 2*n - 5*n - 267 = 0. Let f = -116 - n. Are u and f unequal?
True
Let b = 0.69 - 0.77. Let v = b + -0.13. Is 0.07 bigger than v?
True
Let a be 12*8/24 - -34*2/(-16). Which is smaller: a or -5154?
-5154
Suppose 0 = -z - 4*z + 10. Let a(q) = q**3 + 8*q**2 + 6*q - 10. Let p be a(-7). Let r be (1 - (-1 - p))*(-2)/z. Are 7 and r equal?
False
Let f be (1 + -2)/((-3)/(-6)) + 47. Let h(b) = 7*b + 120. Let r be h(-10). Suppose -5*c = -f + r. Is -6/5 greater than or equal to c?
False
Let j(r) be the first derivative of -7*r**2/2 + 93*r + 52. Let f be j(13). Let h = 16 - 11. Which is greater: h or f?
h
Let g be (-70)/(-206) - 7/21. Is g less than or equal to -1?
False
Let h be (-26 - -32)/(4 - -11). Is -431/11 less than or equal to h?
True
Let i = -8908 + 9025. Let b = -4 - -5. Which is greater: b or i?
i
Let i be ((-21)/(-42))/((-1)/2 + 0). Let w = -1575/80543 + 8/337. Let s = 725/1912 - w. Is s at most as big as i?
False
Suppose -4*w - 4304 = 4*b, -36*b + 3228 = -39*b + w. Which is smaller: b or -1077?
-1077
Let m(f) = 279*f - 7. Suppose -5 = -x - 4. Let a be m(x). Let h = -2157/8 + a. Which is bigger: h or 2?
h
Let g = 14162 - 14159.65. Which is smaller: g or 18?
g
Suppose 4*d = -2*h - 132, -2*d - 3*h + 36 = 98. Let i = d + 66. Which is bigger: 29 or i?
i
Let r = 0.50399 + -32.51099. Let n = 0.007 + r. Let h = -33.2 - n. Which is smaller: 2/3 or h?
h
Suppose -2*h = -4*d - 94, 61*h - 3*d = 57*h + 188. Is h at least as big as 595/13?
True
Let g(y) = -9*y**2 - y + 10. Let k(i) = 4*i**2 - 4. Let t(m) = 6*g(m) + 14*k(m). Let n be t(1). Is n not equal to 20?
True
Suppose 3*n + 675 = 4*h + 569, h - 137 = 4*n. Let s(t) = -t**2 + 9*t - 9. Let l be s(11). Which is smaller: l or n?
n
Let o = 513.4 + -619. Let y = -107 - o. Is y at most as big as -2/7?
True
Suppose 39*z = 24*z - 1170. Let q be 22/99 - z/(-108). Which is smaller: -28 or q?
-28
Suppose -7*m = 112 - 805. Suppose -2583 + 183 = -24*i. Which is bigger: m or i?
i
Let n = -0.00985 + -2.99015. Let s = 0.29 + 0.2. Let c = 0.4 - s. Which is smaller: c or n?
n
Let a = 1000.5 + -998. Let v = -91 + 547/6. Is a bigger than v?
True
Suppose 1508 = 14*t + 1494. Which is greater: t or -1/5625?
t
Suppose 0 = -110*t - 1739 - 131. Is -24 less than t?
True
Suppose 0 = -2*t - 3*g - 292, -13*g + 10*g + 328 = -2*t. Which is greater: -164 or t?
t
Let j(g) = 31*g - 23. Let o be j(1). Is 89/13 at least o?
False
Let m be (-1)/(-3481 + -1)*(-2672)/(-4676). Is 0 smaller than m?
True
Let d = 55/161 - -1763/966. Does -14 = d?
False
Let h = 21 - 20. Let a(j) = 4*j - 1. Let y be a(h). Suppose -y + 3 = -b. Do b and 0 have different values?
False
Suppose -5*w + 101*c = 102*c - 917, 2*w + 3*c - 385 = 0. Is -27 at least w?
False
Let k = -0.232 - 156.768. Which is bigger: k or 6?
6
Let v(w) = 36*w + 33. Let a be 4 + (4/12 - 25/3). Let o be v(a). Let k = o - -111. Is k < 2?
True
Let p = -57.1 + -11.9. Let v = 18 + p. Let a = -53 - v. Which is greater: 2/13 or a?
2/13
Let t = 16632/577975 - -38/9475. Let j = -1 - -1. Is t greater than or equal to j?
True
Let v = -15844.775 - -15845. Is v bigger than 1?
False
Suppose -3*u + 12 = 3*u. Suppose -3*r = u*r + 4*o - 10, 3*o - 10 = -5*r. Suppose -3*f = 4*f - r*f. Which is greater: f or -36?
f
Let h(d) = 2*d**3 + 14*d**2 - 19*d - 11. Let z be 150/(-18) + (-2 - (-21)/9). Let a be h(z). Is 170/13 less than a?
False
Let l(q) = 3*q - 7. Let x be l(0). Let i be ((-2)/3)/(x/(-210)). Which is greater: -13 or i?
-13
Let v(k) = k**2 + 5*k + 1. Let s(i) = 7*i**2 + 35*i + 5. Let b(x) = -2*s(x) + 13*v(x). Suppose -4*l - 4 = 8. Let w be b(l). Is w greater than or equal to 9?
True
Let o = 13 + -407. Let d = 394.1 + o. Which is smaller: -396 or d?
-396
Let k be (2 + (-114)/63)/((-28)/((-16856)/6)). Is k greater than 18?
True
Let v = 3213 - 6302. Which is greater: v or -3091?
v
Let n(r) = -2*r + 917. Let h be n(-35). Which is greater: 989 or h?
989
Let j be -4*(-1 - 15/(-12)). Let g be 14/28*1/2*0. Let v be g + (-8)/6 - (-304)/336. Is j less than v?
True
Let i(q) = 16*q**2 - 11*q + 31. Let z be i(3). Let g = -141 + z. Which is bigger: g or 12?
12
Let k(r) = r**3 + 20*r**2 + 62*r + 143. Let c be k(-19). Which is smaller: c or -679?
-679
Let z be (-3)/(-2)*((-4485)/117 - -39). Is 5/158 greater than z?
False
Let n = -281 + 276.03. Let d = -0.03 + n. Let q = 4.9 + d. Is -0.12 greater than q?
False
Let g = -52 - -30. Let m(c) = -c**3 - 23*c**2 - 23*c - 22. Let i be m(g). Suppose 0 = -2*o - 0*o - i*o. Is o greater than 0?
False
Suppose -2*c - 5*y - 182 = -0*y, 2*c - 5*y + 222 = 0. Let r = -101 - c. Let k be ((-6)/(-8))/((-45)/(-36)). Is r <= k?
True
Let i be 2/11 + (-36770)/44 + 3. Let g = i - -780. Which is smaller: g or -53?
-53
Let k be (0 + (-9)/(-27)*-6)*1. Which is bigger: k or -59/37?
-59/37
Let b be 10129/(-7) - (4 - (7 + -6)). Is b less than -1447?
True
Suppose 2*l + 0*l + 2*z - 62 = 0, 2*l - z - 47 = 0. Suppose 25*t - 101 = l*t + 2*i, 0 = 4*t - 3*i + 404. Is t < -1/2?
True
Let x(b) = b + 9. Suppose 50 = 49*f - 54*f. Let d be x(f). Which is smaller: -13/8 or d?
-13/8
Let m = 3811/3 - 7709/6. Is m greater than or equal to -8?
False
Let y be ((-346)/(-4) - 7)*(11 + 1). Suppose 4*b = -3*v + y, -2*b - 4*v = 3*b - 1192. Suppose -b = 17*k - 9*k. Is -30 smaller than k?
False
Suppose 3282 = 5*m - 2*x, 2*m + 3*m - 3*x - 3283 = 0. Which is smaller: m or 660?
m
Let m = 150352 - 150349. Suppose 4*p = 2*n + 8, -3*n = -5*p + 4*p - 13. Which is smaller: n or m?
m
Let x = -34 + 36. Let h be 0/((-12)/(-3)*1/x). Suppose h = -m - 3*m + 8. Is m less than or equal to 3/5?
False
Let q = 338.2 + -322.8. Let x = -24 - 75.4. Let d = q + x. Is -1 >= d?
True
Let r(k) = -50*k + 20 + 11*k - 21*k**2 - 13*k + 4 + k**3. Let q be r(23). Are -114 and q equal?
True
Suppose 2*g - 2*x = 160, -3*x + 79 = g - 5*x. Suppose g = m - 3*c, 4 = -m - 4*c + 92. Which is smaller: m or 88?
m
Let k(y) = -2*y**3 + 23*y**2 - 3*y - 37. Let j be k(11). Let v = 78 + j. Which is greater: v or 130?
130
Suppose 15*g + 2*n + 2286 = 11*g, -2*g = -4*n + 1118. Is -567 less than g?
False
Let p(r) = -r**2 + 12*r - 56616. Let c be p(0). Let x be -3 + (-111)/(-39) + c/(-2457). Which is greater: x or 23?
23
Let y be 2 - (-91)/(-21)*-213. Which is smaller: 2771/3 or y?
2771/3
Let o = 9505 - 9503. Which is greater: o or 115/76?
o
Let a(v) = -v - 44. Let t be a(-38). Let n be -307 + 5 + -12 + t. Which is smaller: n or -321?
-321
Let h = 4272 - 4187. Are h and 335/4 nonequal?
True
Suppose -5*d + 650 = -2*f, -2*d + 25 = 2*f - 235. Is 0.18 >= d?
False
Let y = 4796 - 3534. Is 1263 equal to y?
False
Let o be 7/(-2)*120/(-70). Suppose 0 = -4*n + 16, -8*p = -o*p + 4*n - 62. Is 10 smaller than p?
True
Let o be ((-1200)/(-7216))/(-15)*-2. Is o > 0?
True
Let j = -143 + 145. Let c(o) = -5*o + 4*o**2 - o - 3 - 3*o**2 + 0. Let d be c(6). Which is smaller: d or j?
d
Suppose 2*w = 3*p + 8, 4*w - 16 = -36. Let g be (-74)/(-16)*(0 + p). Let z = g - -28. Is -14 at most as big as z?
True
Let z = 127.28 + 436.82. Let l = z + -564. Is -6/191 < l?
True
Let r = 6.31 + -6.51. Let h = -0.405 + 0.605. Are h and r equal?
False
Let d be (-5 - 7/(-7)) + 9/3. Let l be (-1 - d)*37/14