t/2. Is m not equal to k?
True
Let a = -275 - -223. Is a <= -157/3?
False
Let u = 7.88 - -0.12. Let a = -7.1 - 1.9. Let b = u + a. Is -1 at most b?
True
Let o = -16 + -46. Which is smaller: -56 or o?
o
Suppose 30 + 0 = -5*q. Let u(j) = j**2 + 5*j - 12. Let o(b) = b**2 + 16*b + 22. Let h be o(-14). Let d be u(h). Is q equal to d?
True
Let n be 0 + ((-12)/(-3))/(-2). Let l be (4*31 - n)/(-10 + 12). Are l and 63 nonequal?
False
Suppose 0 = -0*h - 2*h + 4. Let l be ((-4)/(-8))/(1*(-1)/h). Which is smaller: -4/17 or l?
l
Let r(g) = -2*g**2 - 2*g + 3. Let v be r(1). Which is bigger: 2/1523 or v?
2/1523
Let t = 0.438 + -11.438. Which is bigger: 0.6 or t?
0.6
Let g = -159 - -99. Suppose 15*k + 400 = -515. Which is bigger: g or k?
g
Let m be 51/(-2) + 9*(-1)/(-6). Let w be (m/(-15) - -2)*-10. Does -36 = w?
True
Let m = -14.0942 - -0.0142. Let g = -0.08 - m. Let c = g + -17. Is c greater than -0.3?
False
Let g be (-2 - -9) + -11 - 412/(-110). Which is smaller: g or 0?
g
Let q(s) = s**3 + s**2 - 4*s - 3. Let o be q(-2). Let g be ((-1)/3)/(24/(-2568)). Let h = g + -36. Is h at most as big as o?
True
Let u = -280 - -1956/7. Suppose f + 0*f - 5*t = 0, 4*t = 0. Let y be f + -2*(-1)/(-2). Which is greater: u or y?
u
Let t = 288 + -301. Are t and 14 equal?
False
Let k = -145612784033/161 + 904431728. Let h = k + -4498. Let i = 1303/805 + h. Which is smaller: 1 or i?
1
Suppose 4*r - 9 = -2*k - 1, 3*r + 2*k = 5. Let x be (r/(-9))/((-2)/24). Suppose -x*c + 7*c = 0. Is 1/8 > c?
True
Let p = -795 + 801. Which is bigger: 72/13 or p?
p
Suppose 0 = 6*w + 23*w. Which is smaller: -2/27 or w?
-2/27
Let o be ((-4 - (2 + -6))/2)/2. Let q be (-1)/(-2)*2 - 0. Is o < q?
True
Suppose c = -3*c + 8. Suppose 2*h + 0*h = 2*x + 6, 3*x + 9 = -4*h. Let a(d) = d**3 + 3*d**2 + 2*d + 7. Let y be a(x). Is y > c?
False
Let g = -60.7 + 11.8. Let y = -52 - g. Let x = y - 1.9. Is x greater than 2?
False
Let v be (-2)/(24/(-10)) - -9. Which is greater: v or 9?
v
Let p(o) = -o**2 - 8*o + 5. Let r be p(-4). Let w(m) = 145*m + 311. Let g be w(-2). Is g less than or equal to r?
True
Let b = -6 + 0. Let i = 82 + -56. Let h = i - 33. Is h less than b?
True
Let z be 2276/6*15/(-10). Let t = z - -51777/91. Is 0 at most as big as t?
False
Let w be (-182)/(-26) + 2 + (-327)/32. Which is greater: 0 or w?
0
Let r be 1*((-9)/(-2))/(-3). Let c(t) = -t + 2*t**3 - 7 - 2 + 28*t**2 - 12*t**2. Let m be c(-8). Which is smaller: m or r?
r
Let t = -43 - -43.21. Let x = 0.09 - t. Which is smaller: 2 or x?
x
Let a = 18 - 7. Suppose a*i - 9 = 8*i. Let n be 3/5 + (-3)/i. Is n smaller than 0?
True
Let u = -239.3 - -239. Suppose 0 + 17 = 2*t - q, -2*q + 20 = 5*t. Do t and u have the same value?
False
Suppose -b = -0*b + 28. Let d = b - -55/2. Suppose 0 = -5*j - 2*s + 5*s - 16, -3*j + 3*s = 12. Is j at most as big as d?
True
Let i = -415273/11 + 37727. Is i equal to -25?
False
Let j be (-8)/(8/(-3)) + 1. Let c be 130/(-4) - 2/j. Is -35 < c?
True
Let c(l) = l - 12. Let u be c(11). Let b be (-174)/468 - u/3. Is b <= -2?
False
Let v(l) = l + 28. Let y be v(-25). Let k be (-4 + y)*((-2)/(-3))/(-2). Suppose 0 = 3*j + 12, 40 = 5*n + j - 11. Which is smaller: k or n?
k
Let c = -0.062 - 0.038. Let u = -3.97 + -0.03. Let w = 5 + u. Is w at most c?
False
Let l = -22.65 - 6.35. Is 0 bigger than l?
True
Let h be -5 - (180/10 - 4). Is 1 not equal to h?
True
Let d be (-3)/((30/6)/(-35)). Let u = 69 - d. Do 49 and u have different values?
True
Let l = 54 - 48. Suppose -m + 3 - l = 0. Is -3 > m?
False
Let a = -17 - -13. Let l be a/16 - (-2)/8. Let y be (-6)/(-2 - l) + -4. Are 1/11 and y equal?
False
Let q(a) = 7*a**3 - 2*a**2 - a + 2. Let t be q(1). Let v(f) = -f**2 + 7*f - 9. Let p be v(t). Which is smaller: p or -21/11?
p
Suppose c - 5*p - 27 = 0, p + p = -4*c - 2. Let t be 6 - 5 - (0 + 2/c). Which is smaller: t or 22?
t
Let j(a) = a**2 + 38*a + 90. Let x be j(-19). Which is bigger: x or -272?
x
Let c be 1014/16 - 7/14 - 1. Which is smaller: c or 61?
61
Let d = -11 + 9. Let v(z) = 2*z**2 - 14*z - 15. Let w be v(7). Let f = w + 15. Is f != d?
True
Let q = -13 - -32. Suppose -13 - q = 4*v. Are -8 and v equal?
True
Let d = -8465/3 + 2910. Is d equal to 87?
False
Let i(u) = 95*u**2 - 3*u - 44. Let r be i(-5). Which is smaller: r or 2345?
2345
Let f be 12/(-9) + (-4)/(-6). Let j = 18 - 17.95. Let t = -0.15 + j. Is f greater than or equal to t?
False
Let v(n) = n**2 - n - 3. Let u be v(-3). Let w = 12 - u. Suppose 5*t = w*t. Which is smaller: -2/27 or t?
-2/27
Suppose -3*c = -60 + 6. Let d be (-346)/c - 12/(-270)*5. Which is greater: -20 or d?
d
Let h = -476 + 476.07. Let z = 2.4 + -6.4. Is h < z?
False
Let k be (4/(-12))/(((-5530)/21)/(-5)). Which is smaller: 1 or k?
k
Let t be (-6)/(-18) + (-28)/3. Let r be -217 + t/((-9)/(-4)). Let l be (-8)/(-60) + r/(-30). Is l at most as big as 9?
True
Let l = 20.7 + -24.7. Let v = 1 + -1.4. Let z = -0.2 - v. Is z > l?
True
Let v = 48 - 103/2. Is -3 less than v?
False
Suppose 20 = -50331*o + 50330*o. Suppose 5*x - 25 = 0, 22 = -2*k + x + 3*x. Is k >= o?
True
Suppose 3 = 2*q + 5. Let x = 2/15 + -4/3. Do q and x have the same value?
False
Let y be (9408/72)/(4/6). Is 197 equal to y?
False
Let q = 34 + -16. Suppose -19*u + q*u + 3 = 0. Is 3 greater than or equal to u?
True
Suppose -3*b = 4*r - 36, 2*r = 5*r - 5*b + 2. Suppose -2*u = -r*u + 132. Suppose h - 2*w - 19 = -8, -u = -3*h + 5*w. Is h at most as big as 11?
True
Let c = 57.028 + -57. Let d = 0.028 - c. Is 69 less than d?
False
Suppose -2*x - g = 0, 3*x + x - 6 = -5*g. Let b = 92/91 + -15/13. Is b smaller than x?
False
Suppose 2*o = -5*p + 2*p - 118, -4*o - 2*p - 236 = 0. Is -63 greater than o?
False
Suppose 0*g = -2*g + 2. Let c = 2 + g. Let v = -140 - -142. Is v not equal to c?
True
Let z = -1.2 - 4.8. Let u = 14 + -13. Let n = z + u. Which is smaller: n or 1?
n
Let h = -9 - -30. Let s be ((-5)/15)/(3/(-198)). Is h less than s?
True
Let h = 22.7161 - -0.0839. Is 0 smaller than h?
True
Suppose -15*i - 109 = -94. Which is bigger: -2/99 or i?
-2/99
Let p = 1.42 - -80.58. Let f = p - 81.9. Is f less than or equal to -3/25?
False
Suppose 4*w - 5*h = 33, -h - 4 - 1 = 0. Suppose -30 = w*u + u. Let f = u - -10. Is f not equal to 2/3?
True
Let t(z) = z**3 + 11*z**2 + 16*z + 421. Let f be t(-15). Do -718 and f have the same value?
False
Let p = -35 + 35.9. Is -4/11 >= p?
False
Suppose 0 = -0*o - 8*o + 376. Suppose -5*h - o = -5*f + 178, -3*f = 5*h - 135. Which is greater: 0 or f?
f
Let h(s) = 11*s**2 + 2*s - 1. Let r be h(1). Let w be (-4)/(-3)*126/r. Suppose -3*g + 3*j - w = -2*j, 0 = -g + j - 2. Which is smaller: 1/2 or g?
1/2
Let y be 181*4*2/(-32). Is -46 greater than or equal to y?
False
Suppose -2*g - 2*m - 3*m + 19 = 0, -3*g = 5*m - 16. Let h(t) = -12*t**2 - 58*t + 10. Let s be h(-5). Which is greater: s or g?
s
Let m be 6/21 + (-12223)/(-119). Which is smaller: m or 105?
m
Let j(a) = -180*a - 97. Let n be j(-2). Is n != 262?
True
Let u = -0.151 + -0.849. Are u and -0.54 equal?
False
Let k = 29 + -30. Let b be (-279)/51 + 9/3. Let s = 243/119 + b. Which is bigger: k or s?
s
Suppose 2*w - 4*w = -4*w. Which is bigger: w or 9/35?
9/35
Suppose 0 = l + 1. Let z(h) = -2*h - 1. Let t be z(l). Let v = 439 - 13171/30. Which is bigger: v or t?
t
Let x = -2 - -1.9. Let z = -3.04 + 2.94. Is z at most as big as x?
True
Let c be 1*5/(20/72). Let o = -16 + c. Suppose -7*w + 8 = -3*w. Is o <= w?
True
Suppose 3*a + 222 = -3*r, r - 6*r = -4*a - 305. Let o be 114/(-9) - (-5)/a*5. Let f be (-188)/16 - 1/4. Is o not equal to f?
True
Let r be (-5 + (5/(-135) - -5))*-6. Do 11 and r have the same value?
False
Let a = -4505/19 + 2389970/10089. Let g = a - 1/177. Are g and 0 equal?
False
Let y be 1/4 + (-13)/4 + -5. Let r be y + 360/44 + (-26)/22. Is r bigger than 4/61?
False
Let w be (-3)/(-2) + 6/4. Suppose -w*s + 4*s = 12. Let a be 39/130*(-10)/s. Which is smaller: -1 or a?
-1
Let k(m) = 37*m**3 - 11*m - 2*m - 6 - 38*m**3 - 15*m**2. Let n be k(-14). Which is smaller: -77/4 or n?
n
Let k(u) = 33*u - 36. Let f be k(1). Which is greater: f or -44/13?
f
Let p = 12.32 - 12.12. Which is smaller: p or 2.6?
p
Let c = 14436/31 - 466. Which is smaller: -1 or c?
-1
Let l be 3169 + 8 - (-2 + -1). Let y be l/(-2800) - (-10)/8. Is y > 0?
True
Let g be 5/2*252/70. Suppose 21*l + 13