 4*t + 14*h, 3*t - 3*h = 27. Suppose 12 = -t*g + 102. Suppose 50 = 4*d - g. Is d != 17?
False
Let l = -141 - -541. Suppose 4*t = -4*b + l, -470 = 10*t - 15*t + b. Which is bigger: 98 or t?
98
Suppose -10 - 11 = -3*v - 2*l, -5*l = 3*v - 21. Let f be -67 + 65 + 0 + v/3. Do -12 and f have different values?
True
Let i = 247 - 245. Suppose i*m + 6804 = 11*m. Is m less than 756?
False
Let a = 61/738 - -1996601/5166. Which is smaller: 387 or a?
a
Let j = -0.3 - 0.2. Let v = -1181497/6 - -196910. Which is bigger: j or v?
j
Suppose 53*y - 52*y = 2. Suppose -3*k - y*j + 302 = 71, 3*k + 5*j - 222 = 0. Let d = k - 77. Which is bigger: d or 7?
7
Let r = 16206/5 + -3241. Is r smaller than -11/9?
False
Suppose 0 = 5*q - 4*q - 4*r + 350, -3*q = 2*r + 1064. Let l be 2*(1 + q/12). Is l greater than or equal to -55?
False
Let n = -84 - -89. Suppose n*q - 8 = 9*q. Let p be (q/(-6))/(7 - (-112)/(-21)). Is p equal to 0?
False
Suppose o - 2 = -3*q + 2, -4*o = -5*q + 18. Suppose -5*n + 3 = 2*y, -q*y - 2 = n + y. Let f = 0.2 + -0.214. Which is smaller: n or f?
f
Let x be (15/(-10))/((-48)/(-1024)). Suppose -3*o = -2 - 4. Let l be (o - (-54)/(-15))*20. Is l > x?
False
Let z be 222/42 - (8/14)/2. Suppose -z*j + 60 = n, 5*n + 60 = -0*j + 5*j. Let a be 2*(2 - 14/(-4)). Which is smaller: j or a?
a
Suppose 3 = 3*i - 3. Suppose 0 = -5*r + 8*r + 3*u - 42, 0 = -5*r - 3*u + 70. Let s be (-6)/r - (-29)/(1827/180). Which is bigger: i or s?
s
Suppose 58*t + 46024 + 120929 = -43*t. Is t at least as big as -1647?
False
Let g be -11775*((-762)/(-45) - 17). Let x be (-1 - 5)/1*-131. Which is smaller: x or g?
g
Let l = 309 - 308.8. Let w = l + -0.2. Which is bigger: w or 0.016?
0.016
Let q = -2130 - -2333. Which is smaller: q or 208?
q
Let w be 2/8 + 55437/(-132). Let f = -420 - w. Let i = 23 - 22. Is i greater than or equal to f?
True
Suppose -4*p - 4*v - 1476 = 0, -v + 417 + 706 = -3*p. Is p at most as big as -376?
False
Let t be (164/(-6) - 6)/((-4)/30). Suppose 4*v = t - 246. Is v >= 33/19?
False
Let n be (-8)/18 - 201/(-27). Suppose -3*i + 7 = -5. Suppose 5*a - i = n*a. Which is smaller: 3 or a?
a
Let c = 7115210 - 73464543318/10325. Let m = -2/413 + c. Is 2/9 >= m?
True
Let r = -1466.8 - -1467. Let m be 2/(-9) - 38/(-9). Let k be -1 - (-2 - m/(-3)). Is k at least as big as r?
False
Let c be (559250/(-2780))/(-25) - 8. Is c at least 1?
False
Let x = 2807/5616 + 1/5616. Which is smaller: 1/244 or x?
1/244
Let n = -187 + 186. Let j = 1.3 + n. Is j bigger than 1/2?
False
Let n = -0.149 - -0.031. Let p = -0.318 - n. Does p = -10/27?
False
Let l = 183 + -266. Let p = 106 + l. Is 1 at most as big as p?
True
Suppose -180*r + 166*r - 42 = 0. Which is bigger: 0.977 or r?
0.977
Let i(u) = -14 - 14 - 2*u + 4 + 5*u. Let x be i(10). Let m = x - 7. Does -2 = m?
False
Let q be (-2 + (-21)/(-12))*-4. Let h = 6739 + -1165844/173. Which is smaller: q or h?
h
Suppose 0 = 3*h - 4*j + 12, -4*h - 12 = h - 4*j. Suppose 50*x - 41*x + 369 = h. Are -42 and x equal?
False
Suppose 536*l - 539*l = -57. Let t = l - 20. Which is smaller: t or 5/22?
t
Let h be (-11)/(99/48)*1 + 6. Let w = 88.04 - 1.04. Let d = -33 + w. Which is bigger: d or h?
d
Let j = -25173 - -23090. Is -2083 equal to j?
True
Let k = 6576 - 6718. Which is bigger: 41 or k?
41
Suppose 4*f = 3*u + 16, 7*f - 20 = 2*f + u. Let n be (-3 - 788/(-14)) + f/(-14). Let r = 54 - n. Which is bigger: r or 7/3?
7/3
Let x be 0 + 44/11 + 0 + 2. Suppose 192 = -9*p + x*p. Let k = p - -84. Which is bigger: k or 19?
k
Suppose -21*g + 480 = -18*g. Let q = -314 + g. Let c = q - -116. Is -36 < c?
False
Suppose -3707 = 5*c - 2*q + 4*q, -2*c - 1506 = -5*q. Let j = 581 + c. Which is smaller: j or -484/3?
j
Suppose -3*b - 5*f = 21, -5*f - 17 = -32. Let a = 7 - 18. Which is greater: a or b?
a
Let h = 25492073/1295 + -19685. Which is smaller: h or 0.2?
h
Let h = 9672 - 10080. Is h less than 2/3?
True
Let j = 1204.1 + -1111. Let r = j - 94.1. Which is greater: -200 or r?
r
Let i(u) = u**3 + 9*u**2 - 25*u + 2. Suppose 0*p - 5*p + 5*w - 30 = 0, 5*p - 3*w = -40. Let t be i(p). Is t >= 35?
True
Let k = -1432 - -2056. Suppose k = 14*g - 2*g. Is g at least as big as 53?
False
Let p be 42*(-6 - (-1 + 5 + -3)). Which is smaller: -285 or p?
p
Let d(y) = -6*y + 138. Let j be d(28). Let r be ((-5)/j)/((-3)/(-499 + 4)). Is 27 greater than or equal to r?
False
Let q = 21995 - 22002. Which is bigger: q or 247?
247
Let m = 83.5 - 83.53. Which is smaller: m or -19/4?
-19/4
Let j = 201/7 + -5233/182. Let g(z) = z**3 - 12*z**2 + 33*z - 131. Let b be g(10). Is b less than or equal to j?
True
Let c = 4814789/18 + -267416. Let i = -479/6 + c. Which is smaller: i or -9?
-9
Suppose 0*i - 9*i = 9. Let l be (-372)/696 + i/(-2) - 0. Let j be 30/25*15/6. Which is bigger: j or l?
j
Let f = -4398 + 4532. Is f greater than or equal to 134?
True
Let g = -0.3352 + 0.8352. Is g not equal to 456?
True
Let p = -79882937/52497 - -2/52497. Which is smaller: -1523 or p?
-1523
Let c = 40228 + -56641021/1408. Which is smaller: c or 0?
0
Suppose -g = -5*n - 10, 0 = -5*n - 7*g + 11*g + 5. Let u be -6*n/(27/(-12)). Let i be (0 + 0 - 2) + (-4 - u). Do i and 42 have different values?
True
Suppose -4*r + l + l = -144, 0 = 4*r - 5*l - 138. Let d = 43 - r. Let u = d + 5. Is u at most as big as 9?
False
Let k(b) = 9*b - 122. Let j be k(15). Suppose 0 = 4*d - 5*h + 221, -2*d + 12*h - 93 = j*h. Which is bigger: -55 or d?
d
Let y(a) = a**3 + 6*a**2 + 78*a + 319. Let o be y(-4). Which is bigger: -0.081 or o?
o
Let f = 35984/7 + -5120. Let c = -20/729 + -1761800/86751. Let s = c + f. Is 1 at least as big as s?
True
Suppose -180 = 7*m + 5*m. Let v be 0 + (m/2)/((-6)/36). Let i = -6 - v. Which is greater: i or -52?
i
Let t(w) = -w**3 - 8*w**2 + 25*w + 144. Let p be t(-9). Let f = 9915/28 - 354. Is p != f?
True
Let s(j) = -10*j**2 - 106*j + 14. Let x be s(6). Let z = x + 587. Are z and -396 equal?
False
Let h(j) = -113*j - 5. Let f be h(5). Let v be (f/279 - 1) + 3. Let c = -643/186 + v. Which is smaller: c or 1/3?
c
Let b = 7814 - 6079293/778. Are -1 and b non-equal?
True
Let i be (-24)/40 - (0 + (-2139)/15). Are 136 and i unequal?
True
Suppose 3*o + 4*o + 50*o - 57 = 0. Is 1/178 less than or equal to o?
True
Let f = 1973205/17 - 94649425/833. Let s = 2446 - f. Let g = s - -41/49. Which is smaller: g or 2?
g
Suppose 0 = 104*z - 87*z - 39200 - 44457. Is 4921 > z?
False
Let r = -5144 - -5142. Which is smaller: r or -33/20?
r
Let n = 320602/7 + -45801. Which is greater: -604 or n?
n
Let s = 0.117 - -2.223. Let u = 1.34 - s. Which is greater: -100/7 or u?
u
Let d(n) = 2670*n - 2040. Let a be d(6). Are 13980 and a nonequal?
False
Suppose -5*m = -3*t - 112, 0*t - t = 5*m + 44. Let j be (5 - 3/3) + t. Is 6 >= j?
True
Let s = -3541 + 3635. Which is bigger: s or 102?
102
Let m(f) = -90*f**2 + 155*f - 2873. Let c be m(16). Is -23433 < c?
False
Let r = 79 - 299. Let p = 61719 - 61941. Is p greater than r?
False
Suppose 0 = 10*k + 2 - 62. Suppose k*q = 7*q + 67. Which is greater: q or -1?
-1
Let y = 2143 - 2144. Is y bigger than 27?
False
Suppose -2612*m + 2605*m + 140 = 0. Is m > -9?
True
Suppose -24*p + 64 = -3*p + 43*p. Is 1702 less than p?
False
Let d be -30*2/(-10)*15/9. Let x be (52/(-30))/(2/d). Do x and 0.1 have different values?
True
Let a be 96/10 - (-40)/100. Suppose a*k + 773 = -437. Is -123 less than or equal to k?
True
Suppose 54*g - 7*g = -12173. Let f = -220 - g. Does 39 = f?
True
Let q = -15075 - -15075.11. Is -39/10 >= q?
False
Let s(f) = f + 2. Let i be s(-3). Let j be 9*(1 + 21/9). Let z be (-1)/(236/j + i/5). Which is greater: z or 0?
0
Suppose -2*z + m + 28 = 0, -m - 2*m + 56 = 4*z. Let w = 54 + -77. Let c = w - -35. Which is smaller: c or z?
c
Suppose -3*u - 3*h - 678 = 0, -4*u - 3*h + 2*h - 910 = 0. Let m = u - -171. Let o(x) = -x**2 + 8*x + 7. Let f be o(-5). Which is bigger: m or f?
m
Let k = -85/3 + 29. Suppose 5*t = -3*d + 41, -24 = -6*d + 2*d + t. Suppose l - 18 = d*l. Which is greater: k or l?
k
Let l = 18001239/295 + -61019. Let f = -3/59 - l. Suppose 24*x = -36 - 12. Is f at least as big as x?
False
Let i(x) = x**3 + 29*x**2 - 6*x - 100. Let s be i(-29). Which is greater: s or 5?
s
Let t = 249/13 + -734/39. Is 332 less than or equal to t?
False
Suppose -17*z = -19*z, 3*f + 465 = z. Which is smaller: f o