- 40. Let c be 0 + (q/8)/11. Is c > 33?
False
Suppose 3*c - 4*k + 456 = 0, -3*c + 13*k = 18*k + 456. Does c = -153?
False
Let q = 51 - -11. Is q greater than or equal to 61?
True
Let w = -4.597 + 1.597. Let n = -9.35 + 1.05. Let i = 8 + n. Is i smaller than w?
False
Let a(w) = -w**3 + w**2 + 5*w + 4. Let i = -57 + 55. Let y be a(i). Which is greater: 9 or y?
9
Suppose -4*c - 6 + 2 = 0. Let t be (((-39)/34)/(-13))/((-6)/16). Which is smaller: c or t?
c
Suppose -4*i = -2*i + 8, -5*i - 93 = -m. Suppose -3*z + u = m, 8*z - 3*u + 127 = 3*z. Is z at least -23?
True
Let t = 22 + -27. Let f(b) be the third derivative of -b**4/24 - 11*b**3/6 - b**2. Let i be f(-8). Which is smaller: i or t?
t
Let t(r) = -r**2 + r + 8. Let g be t(6). Suppose 44*b - 3*b = -861. Is g bigger than b?
False
Let x be -2 - (-12)/((-20)/(-5)). Suppose 0 = 5*q - 0 - 70. Let n be 3/9 - q/30. Is x greater than or equal to n?
True
Let y be (-9831)/24 - 15/10. Let m = y + 412. Is m != -1?
True
Let h be (-53)/38 - (-6)/4. Let p(u) = -31*u - 587. Let w be p(-19). Which is smaller: h or w?
h
Suppose -3*l - 3*s = -15, -6*l - 4*s = -l - 20. Suppose -5*x + 1 - 28 = z, l = 4*x + 12. Let g = -2600/3 - -866. Which is smaller: g or z?
z
Let x be 3/(-6)*(-8)/51. Let t = 750454/12495 + -2986/49. Let d = x + t. Which is smaller: d or -1?
-1
Let q = 911390/221 - 4124. Let m = 328/12155 + q. Which is greater: -1 or m?
m
Let v = 1981 + -1974. Is 109/15 smaller than v?
False
Suppose 7*d - 2*d - 4 = 3*k, -3*k + 2*d + 2 = 0. Suppose 0 = -5*x - 4*q + k, -4*x = 3*q - 4 + 3. Which is smaller: 8 or x?
x
Let m be 1/(-2*1/2). Is m at most -12/41?
True
Let g be ((-50)/35)/(1582/98). Which is smaller: g or 0?
g
Let z = 7 - 9. Let i be -1 - 17*(z - -1). Let u be 15/(-2)*(i + -14). Is -15 bigger than u?
False
Let d(m) = 6*m + 86. Let b be d(-15). Is -8 smaller than b?
True
Let v be 1 + (1620/16 - 1). Let m = -247/2 + v. Let u = 22 + m. Which is smaller: -2/3 or u?
-2/3
Suppose 0 = -2*j + 3*l + 137, 2*j + 2*l - 3*l = 127. Which is greater: 60 or j?
j
Let s be 63/(-6)*2/3. Let f = -5 + s. Let c be (5/f)/(4/16). Which is greater: -2 or c?
c
Suppose z + 5*v = -3*z - 19, -v - 8 = 5*z. Let y(p) = -p**3 + 16*p**2 - 17*p - 10. Let j be y(15). Let a = 38 + j. Is a smaller than z?
True
Let o(b) = -b**3 + 14*b**2 - 22*b - 25. Let r be o(12). Let s be (r/22)/(6 + 125/(-20)). Is s not equal to 13?
True
Let a = 1 + -8. Suppose 2*p + 7 + 11 = 0. Is a >= p?
True
Let q = 77 + -1156/15. Let p = 17/30 + q. Let m = 4112/95 + -218/5. Is m at least as big as p?
False
Let o be 28/20 - 334/110. Let g = -1 - 0. Which is greater: o or g?
g
Suppose 0 = -5*r + 5*n + 18 + 27, -4*r = -5*n - 35. Let z be (-14)/r - (-2)/5. Which is smaller: z or -1/37?
z
Let v = -1 - 3. Let s be (-120)/28 - v - 10/(-14). Is -0.3 greater than s?
False
Suppose -35 + 5 = 3*n. Suppose j = 3*j + 4*o + 38, 4*j + 2*o = -46. Is j smaller than n?
False
Let q be (-4)/14 + -5*12/35. Which is smaller: q or -40?
-40
Let y be 1/(-2)*12/(-117). Is 1 > y?
True
Let z = 33901/23 - 1474. Is z smaller than 0?
True
Suppose -u + 2*u = -3*a + 105, -2*a - u + 70 = 0. Suppose 0 = 8*z - 3*z + a. Are -2/3 and z non-equal?
True
Let u = 325 - 324.43. Are u and 1 non-equal?
True
Let c(l) = l**2 + 5*l + 10. Let b(o) = -2*o - 14. Let s be b(-5). Let m be c(s). Suppose -m*n + 10*n + 4 = 0. Is n < 2/17?
True
Let x = 24433/41 + -596. Let n = 5/9831 - -657652/2015355. Let q = n - x. Is q != 0?
True
Suppose -4*i - 9 = 4*w - 41, 3*i - 20 = -4*w. Is i <= 12?
True
Let s = 1.276 - -0.044. Let q = s + -1.1. Let i = 0.12 - q. Does i = -1/5?
False
Let k be 854*(-4)/(-24) - -2. Let f be 5/((-150)/4284) + 1/(-5). Let r = f + k. Does 0 = r?
False
Suppose 4*w - h - 17 = 2*h, 2*w - h - 7 = 0. Suppose -7 = w*b - 29. Let r = -6 + b. Which is bigger: 1 or r?
r
Let c(t) = -t**2 + 11*t + 9. Let b be c(11). Suppose 3*z - 47 = 1. Let l = b - z. Is l at most as big as -2?
True
Let v = -64 + 97. Is 2/5 at most as big as v?
True
Let a(r) = -7 - r + 12 - 9. Let m be a(-4). Does -2/25 = m?
False
Suppose 2*c = 3*a - 9, -3*c - 8 = c + 4*a. Let z be c*(-28)/(-36) + 2. Which is greater: 0 or z?
0
Let d be -1 - -2 - -284*3/(-12). Let z = 70 + d. Which is smaller: 2/25 or z?
z
Let k be 580/(-44) - -13 - (-1491)/396. Let h be (-14)/(-8)*(-45)/7. Let m = k + h. Which is bigger: -7 or m?
-7
Suppose 5*x = 61 + 4. Suppose 5*u + x = 8. Let a be 4 - (-1 - (-5 + u)). Which is smaller: a or 2/31?
a
Let h = 60.79 - 60.7. Let l = -0.6 + 2.6. Which is greater: l or h?
l
Let o be ((-8)/10)/(20/(-50)). Suppose o*c - 40 = -2*p, -4*c + p = -32 - 53. Suppose -2*f - 6 + c = -5*l, 4*l = 20. Is f bigger than 20?
False
Suppose 2*c + c + 2*v = -10, 5*v = 3*c - 25. Let a be 5*(c + (-36)/(-100)). Which is greater: 3 or a?
3
Let f(i) = -2*i - 11. Suppose 15 = -3*w - 3. Let c be f(w). Suppose -r + 3*x + 9 = 0, -c = -2*r - 4*x - 3. Which is smaller: r or 2?
2
Let q be (-1)/(72/280 - 4/10). Let x(s) = -2*s - 5. Let j be x(-5). Which is greater: j or q?
q
Let y = 0.1297 - 158.4297. Let d = -159 - y. Let i = 0.2 + -0.4. Do d and i have different values?
True
Let g(b) = -14*b - 46. Let u = -62 + 56. Let c be g(u). Is c smaller than 37?
False
Let s be 3 - ((-96)/28 + 1). Let z(d) = -4*d**3 + 17*d**2 - 4*d + 5. Let j be z(4). Is j < s?
True
Let r = 406 + -12587/31. Suppose -3*g - 2 = 2*j, -3*g - 18 = -2*g + 5*j. Suppose 0 = g*d - 3*d - 2*d. Which is smaller: d or r?
r
Let w = -19.2 - -18.9. Is -145 equal to w?
False
Let d be (3 + -2)*-3 + 5. Let x be (15/(-20))/(15/d). Which is smaller: 5 or x?
x
Let w = -17.756 + -0.154. Let o = -18 - w. Which is smaller: 1 or o?
o
Let f(d) = d**3 + d**2 - 10*d - 13. Let i be f(-3). Let z be i/4 - 1704/(-6560). Which is smaller: -1 or z?
-1
Let j(f) be the second derivative of 7*f + 0 - 1/6*f**3 + 13/2*f**2. Let g be j(16). Is g greater than -3?
False
Let w(y) = 7*y**3 + 1. Let d = 55 - 56. Let g be w(d). Is -6 bigger than g?
False
Let g be 8/(-6) + 24/36. Let x = 54 + -56. Which is smaller: g or x?
x
Let u = -39 + 12. Let s be -1 - 9/(u/6). Does -1/36 = s?
False
Let t = -2/479 - -2120/278299. Is -1 greater than or equal to t?
False
Let d = 52 + -51. Let o be (-77)/(-308) + (-2)/32*d. Which is greater: -1 or o?
o
Let f(i) = 75*i**2 - 184*i - 371. Let j be f(-2). Is 591/2 at most as big as j?
True
Suppose -2*t - 2*b + 1290 = 0, 0 = 5*b - 2*b + 9. Let c = t + -12308/19. Which is bigger: 1 or c?
1
Suppose 5*j = -6 - 14. Let t be j/(-20) + 18/10. Which is smaller: t or 16/7?
t
Suppose -1660 = -5*j + 5*p, -2*j - 3*p + 1017 = 373. Is j equal to 327?
False
Suppose -3*f - f = 5*g - 405, 2*f + 95 = g. Suppose 3 = 4*w - g. Which is smaller: w or 20?
20
Let s = 1789 + -2557. Let i = -5342/7 - s. Is 5 not equal to i?
True
Let f be (5 - 1)/((-14)/(-63)). Which is smaller: f or 24?
f
Let s be 4/(-11)*(-41585)/(-20). Let q = -755 - s. Which is greater: q or 1?
q
Let k = -2719 + 1754. Let r = -77203/80 - k. Is 1 <= r?
False
Let q = -104 - -35. Let r = -78 - q. Is r greater than or equal to -10?
True
Let h be ((-1)/(-2))/((-285)/(-5982)). Let t = 1/190 + h. Let v = t + -10. Are 1 and v nonequal?
True
Let r be 4/6 - (-54554)/(-84774). Let g = 1/199 + r. Which is smaller: g or 1?
g
Let f = 36387/190 - 1/95. Which is smaller: f or 191?
191
Let x = 174133 + 229527. Let v = x - 8474696/21. Let l = v - 103. Are 1 and l equal?
False
Let a be -3 - 45*3*2/(-15). Which is smaller: a or 13?
13
Suppose 2*g = 4*o + 32, 0 = -5*g + g - 5*o - 1. Let u(s) = s**2 + 4*s - 8. Suppose -2*a + 7*a + 30 = -q, -3*a + q - 18 = 0. Let l be u(a). Is l not equal to g?
True
Let r = 10322 + -41495/4. Let z = -52 - r. Let t = 0 + 0. Do t and z have different values?
True
Let a(z) = -z**2 + 33*z + 280. Let j be a(-7). Let m = -369 + 4808/13. Is m less than j?
False
Let x = 101953/13 + -7849. Let d = -5/188573 + -151046323/24514490. Let f = x - d. Which is smaller: f or 1?
f
Let w = -5950 + 35873/6. Let q = 55/2 - w. Do 0 and q have the same value?
False
Let d = -28 - -39. Let z = 11.1 - d. Let w be 14/49 + 0/(-2). Which is greater: z or w?
w
Let s = -2.1634 + -0.0266. Let z = -0.81 + s. Which is greater: 0 or z?
0
Suppose v + 2 + 0 = 0. Suppose -5*d + n - 5*n - 26 = 0, -2*d - n = 11. Let t be 2*138/(-36) + 2/d. Is v equal to t?
False
Let x be (-27)/(-12) - (-15)/(-60