 316. Let q = -5375/17 + v. Is -1 less than q?
True
Let o(x) be the second derivative of -x**4/12 + x**3/3 - 9*x. Let f be o(3). Is f bigger than -2?
False
Suppose 0 = 4*w + 5*r + 3, 54 - 14 = -5*w + r. Let t = -6 - w. Let z be 1*2/(-20)*2. Is t less than z?
False
Let j = -502/5 - -100. Is -28 >= j?
False
Suppose -13*b = -10*b. Suppose 2*t + 5*g = 6, -2*t - g + b = 2. Is t greater than or equal to -4?
True
Let l = 2375/4 - 599. Is l <= -4?
True
Let b be (65/(-26))/((-2)/4). Is b smaller than 7/2?
False
Let h = 13 - 4. Let x = h + -10. Which is bigger: x or 0?
0
Let k(v) = v**2 - 11*v - 27. Let q be k(13). Which is smaller: q or 1/204?
q
Let x be 2/6 - (-3)/(-36). Let t(y) = y - 9. Let h(o) = -2*o**3 - 3*o**2 - 2*o. Let d be h(-2). Let g be t(d). Which is bigger: x or g?
x
Let a be (1 + 1)/(48/(-142)). Let y = a - -25/4. Suppose 0 = -3*d - d. Which is smaller: d or y?
d
Let r = -166 + 167. Is 2/365 >= r?
False
Let i be 2/3*(-75)/(-10). Let y = -6 + i. Is -1 not equal to y?
False
Suppose 5*f = -8 - 2. Let j be (-16)/f - (-7 - -7). Is 9 at least as big as j?
True
Let r = 49/100 - 6/25. Let z = 0.3 + 0.2. Let v = 0.8 - z. Is r less than or equal to v?
True
Suppose 29*m - 36*m - 42 = 0. Which is smaller: m or -11/2?
m
Let z = -30 - -36.6. Let o = -7 + z. Let x = o - -0.3. Is 2/23 <= x?
False
Let z = -2 + -14. Let g = -17 - z. Let q(c) = c + 6. Let w be q(-5). Is g bigger than w?
False
Let k = 20 - 33. Let r = -12.9 - k. Which is bigger: r or 13?
13
Let s(w) be the third derivative of w**4/24 - w**3/6 - 3*w**2. Let q be s(6). Suppose 5*f = -4*n + q, -31 + 6 = -4*f + n. Which is greater: 3 or f?
f
Let i be (-54)/(-60)*3/(-5*9). Which is smaller: 0 or i?
i
Let v = -1511281/40 + 37780. Let s be (-62)/48 + (-3)/9. Let m = s - v. Is 0 at most m?
True
Let t be 6 - (-2)/3*-3. Suppose -t = -i - 3*i. Let h be (4/(-35))/((-2)/(-5)). Which is smaller: i or h?
h
Let k = -137279 - -1241209/9. Let r = -632 + k. Which is smaller: 0 or r?
0
Let u be 3 - ((-16)/(-7) - -1). Let p be 4/6 - 11/3. Let q = p + 4. Are q and u equal?
False
Let o be 63/14*2/3. Suppose -3 = -3*m, -5*m + m + 10 = -o*d. Let h = 1 + d. Is -1 equal to h?
True
Suppose -r - 3*x = -2*r, r - 4*x = 0. Which is greater: r or 3/2?
3/2
Let u be (-10)/(-4) + 5/(-10). Suppose 3*c + 4 = -u. Are -5/3 and c equal?
False
Suppose k = -0*k + 3. Suppose -4*x = k*d + 4, x + 0 + 1 = -2*d. Let q be (2/5)/(13/5). Which is smaller: x or q?
x
Let v = 65 + -67. Let j(d) = -d + 4. Let k be j(4). Is k bigger than v?
True
Let g = 0.03 + -2.03. Let n = g - -3. Let s = 0 + n. Is s < 2/5?
False
Let c = 51 - 99/2. Which is greater: 2 or c?
2
Let d(q) = q**3 + 3*q**2 - 4*q - 1. Let n be d(-4). Which is greater: n or 1?
1
Let j = 36 - 35.99. Is -1 at least j?
False
Suppose -3*l + 5*l - 2 = 0. Are 6/7 and l nonequal?
True
Suppose -2*j + b + 8 = 0, 2*j - 4*b = 4 + 4. Let i be 88/(-140) + j/20. Suppose 5*g - 2*g = t - 4, 4 = -5*g - t. Do i and g have the same value?
False
Let m = 0.038 - 2.938. Which is greater: -1 or m?
-1
Let k be (16/3)/4 + -2. Let q = -0.5 + 0.34. Let l = q - 1.84. Which is bigger: l or k?
k
Suppose c = 3*c. Are c and 0 non-equal?
False
Let o be (-14)/(-6) - (-6)/9. Suppose 0 = 2*h + 4*w, -2*w = -h + w + 10. Suppose 2*n + 6*x - 8 = h*x, -n - 6 = -4*x. Which is smaller: n or o?
n
Let l(b) be the first derivative of -2*b**3/3 + 2*b**2 - 8. Let s be l(2). Which is bigger: s or 15?
15
Let b be 4/3*(-6)/(-4). Suppose 0 = 2*q - b - 0. Suppose -3 = -4*m + 3*f - 0*f, -5*m - 2*f = 2. Is m equal to q?
False
Suppose 19*a - 6 = 13*a. Which is smaller: -4/39 or a?
-4/39
Let p(w) = -w**2 - 9*w - 10. Let h be p(-12). Which is greater: h or -0.1?
-0.1
Suppose 4*a + 0*a + 12 = b, 0 = -2*b - 5*a - 2. Which is smaller: b or 7?
b
Let g = -12/17 + -32/51. Suppose 3*f - f = 0. Which is greater: g or f?
f
Let s be 8/2 - (-117)/(-15). Is -3 != s?
True
Let g = -6 - -10. Let b = 1 - 1.2. Which is bigger: g or b?
g
Let k(w) = -w**2 + 8*w - 6. Let q be k(7). Let j be (-236)/58 + 1 + 3. Which is bigger: j or q?
q
Let u be (2/(-4))/((-8)/16) - -2. Suppose 0 = -k - 5*z - 12, 2*k = -0*z - z + 3. Let l = u - k. Is l < -1/2?
False
Let y = 119/3 + -41. Are -1 and y equal?
False
Suppose -v = -1 - 0. Let x(t) = t + 1. Let c be x(-1). Let w = v - c. Which is greater: -3 or w?
w
Suppose -4*i = -0*c + c, -2*c = 4*i. Suppose 4*p + 4*f + 8 = i, p + 2*f + 6 = -2*p. Let d be (-1)/1*p/(-9). Is d less than or equal to 0?
True
Let t be (-1 - 0)/(7 + -1). Let g = -1.9 + 2. Is g at least t?
True
Let s be 2 - 18/8 - 0. Suppose -2*i + 5 = -3*j - 4, -4*j = 5*i - 11. Is j greater than or equal to s?
False
Let q(i) = -i**2 + 6*i - 2. Let f be q(5). Suppose 0 = -3*c - 2 + 20. Let h = c - f. Which is bigger: 1 or h?
h
Let t be (-314)/12 + 13/26. Let w = t - -25. Which is bigger: w or 1/4?
1/4
Let v be 30/18*(-9)/(-10). Which is bigger: 6 or v?
6
Let s = 22.6 + -3.6. Is s bigger than 2/3?
True
Let l = -41 + 64. Are -2/5 and l nonequal?
True
Suppose -2*k + c = -4*c - 57, k - 5*c = 31. Suppose 3*j = -3*s + 6, -5*j + 4*s + k = 5*s. Suppose z = -2*z + j. Is z less than or equal to 2?
True
Let g = -565 + 565. Let o = 246/5 - 2254/45. Which is greater: o or g?
g
Let y = 1.8 + -2. Suppose 2 = 4*p + 14. Let k be ((-1)/p)/(1/3). Which is smaller: k or y?
y
Let m be 1/(-2) + 1/2. Let k = -2.17 - 19.87. Let s = k - -22. Is m < s?
False
Suppose -3*p + p + 4 = 0. Let d = p - 6. Let g be 2/(d/(-2)*-1). Is -2 at most g?
True
Suppose 92 = -t - t. Which is greater: t or -47?
t
Let v = -1.6 + 6.6. Let d = 65/6 + -23/2. Which is greater: v or d?
v
Suppose -7*m = 4*m - 77. Which is bigger: m or 34/5?
m
Let u be 2/(-4) - (-34)/52. Suppose 0 = 30*v - 42*v + 12. Which is smaller: v or u?
u
Let l = 1 - 1. Let a be (-1110)/25 + 2/5. Let x be a/16 - (-3 - -1). Which is greater: l or x?
l
Let k = -30 + 511/17. Suppose -2*l = -0*l. Which is bigger: k or l?
k
Suppose j = -2*m + 5, 3*m - 13 = -4*j + 2. Let u(w) = -w**2 + 4*w - 1. Let c be u(j). Let s be 2 + (9/c)/(-3). Which is smaller: s or 2?
s
Let w(r) = -r**3 - 4*r**2 + 4. Let m be w(-1). Let g = 17 + -16.93. Which is bigger: g or m?
m
Suppose 3*z + 0 = -5*l - 7, 7 = 2*z + l. Let s be (-3)/z - 34/(-52). Which is greater: s or -1?
s
Suppose 22 = -l - 10*l. Let w = -6111/11 - -555. Is w equal to l?
False
Let m be -38 + 4 + 2 + -4. Let r be 2/7 - m/21. Is r smaller than 0.02?
False
Let u be (-12)/(-5) - 1 - 1. Let p(w) = -w + 1. Let y be p(0). Suppose d + z = -y, 5 = -2*d - 5*z - 0*z. Which is smaller: d or u?
d
Let o = -0.06 - -2.06. Let n = 1.1 + -2.1. Is n less than o?
True
Let w(t) = t**2 + t - 3. Let o(h) = h + 5. Suppose -2*c = 2*c + 32. Let r be o(c). Let k be w(r). Which is greater: 2 or k?
k
Let r = -86 + 689/8. Which is bigger: 0 or r?
r
Let v = 1.71 - -0.79. Which is bigger: 1/2 or v?
v
Let v = 11 + -10.74. Is 1 less than v?
False
Let w be (-55)/35 + 3 + (-4)/(-14). Is -2 at most w?
True
Suppose -1 = -5*b - 2*t + 9, -5*b - 5*t = 5. Let x = 6 - b. Is 1 >= x?
False
Let z be (-1)/(-2) - 2/(-71). Let o = 2/71 - z. Let x be ((-4)/6)/(10/6). Which is bigger: o or x?
x
Let i be ((-54)/24)/(4/(32/3)). Is -5 at least i?
True
Suppose -2*u + 7 = -1. Suppose -15 = f - 5*p, -p - 23 = f + u*f. Which is smaller: -3 or f?
f
Let u be (-120)/(-45) + (-8)/(-6) + 0. Do 8 and u have the same value?
False
Suppose 0*x + 4*v - 364 = -3*x, -x + 118 = -2*v. Let n be 2/11 + x/66. Is n at most 4?
True
Let j = 4 + -4. Let f = 0.05 - 0.45. Let p = f - j. Is -1 at most p?
True
Let u = -48 + 48. Let n = -0.172 + -0.838. Let q = n - -1. Is u at least q?
True
Let j = 1 + 1. Let z be 49/(-13) + j + -1. Let n = -154/65 - z. Which is bigger: 0.1 or n?
n
Let d(z) = 5*z**2 + 2 + z - 2*z**2 - z**3 - 5*z**2. Let n be d(-3). Which is smaller: 13/2 or n?
13/2
Let o(h) = 2*h**3 - h**2 + h. Let r be o(1). Let m be (-6)/(-4) - (-6)/4. Which is greater: r or m?
m
Let x(c) = 2*c**2 + 2*c - 1. Let v be x(1). Suppose -v*u + 1 = -2*u. Let y be 6/(-27) + (-2)/(-36). Which is greater: y or u?
u
Let u = -1588 - -1580.93. Let p = u + 7. Is p at most -1?
False
Let k = 9 - 18. Let y = -9.4 - k. Which is bigger: 2/5 or y?
2/5
Let s = 0.83 - -17.17. Is s smaller than -1?
False
Suppose -p + 3 - 8 = 0. Let b = 8 + p. Suppose 0 = -h + b*h + 2. Is -1 less than h?
False
Let c = -6 + 15. Let 