/8. Is -1 at most x?
True
Let v(s) = s**2 + 11*s + 4. Let o be v(-10). Let a = -0.07 + 0.07. Which is smaller: o or a?
o
Let a = -77/5 - -509/35. Which is greater: -2 or a?
a
Let p = -0.07 + -18.93. Let g = p + 10. Let k = g + 6. Is k bigger than -0.2?
False
Let o = -2 + 5. Let v = -45.9 + 49. Let n = o - v. Which is greater: n or -1?
n
Suppose j = -0*j + 16085. Let x be (-4)/6 - j/195. Let s = x + 83. Which is bigger: s or 1?
1
Let l(o) = -o**2 + 6*o - 2. Let f be l(5). Suppose 0 = -f*q - 3 - 12. Let u = 7 + q. Is 1 greater than u?
False
Let o = 0.017 - 0.887. Let v = -0.13 + o. Is v at least as big as 2?
False
Let f(o) = o - 4. Let r be f(8). Let q = -2 + r. Is q greater than 2?
False
Let c be 11/22*(-1 + 9). Is c bigger than 3?
True
Let x = 5 + -23. Let c be 4/x - 32/504. Is c at least -1?
True
Let l be 6/(-14) - 66/(-7). Suppose -5*z + l = -2*z. Suppose 3*k - z = b + 1, -b - 4*k + 3 = 0. Which is smaller: 2/9 or b?
b
Let r be 2 - (-11 + (-3)/(-3)). Let t = r - 5. Let i = t + -5. Is 3/2 at most i?
True
Let u = -9 - -8. Let y be (-58)/(-168) + 2/(-8). Does u = y?
False
Let b = 8 + 26. Let q = b + -29. Let o(n) = 2*n - 3. Let u be o(4). Is q less than or equal to u?
True
Let m be (-1)/(4*1*1). Let o(a) be the third derivative of a**4/8 + 5*a**3/3 - 2*a**2. Let l be o(-5). Is l at most m?
True
Let d be (-1)/(-3 - 88/(-28)). Is 2 not equal to d?
True
Let g be 1*(1 - (3 - -4)). Let x(w) = w**2 + 6*w. Let d be x(g). Is d at least 8/9?
False
Let p = -1050 + 7367/7. Which is greater: 3 or p?
3
Let y be (4/1)/((-28)/48). Is y greater than or equal to -7?
True
Let j = -0.7 - -1. Let a = j - -0.7. Which is smaller: -1/3 or a?
-1/3
Suppose 5*d - u - 7 = d, 0 = -4*d + 5*u + 3. Suppose 9 + 1 = d*n. Which is bigger: n or 6?
6
Let p be (30/(-25))/(-3) - 6. Which is smaller: -6 or p?
-6
Let c be (12/6)/(2/(-4)). Suppose -2*q = 5*k - 1, 0 = 3*k - 2*k + q - 2. Let d be k/(-3) - c/6. Is d smaller than 1?
False
Let w(y) = 3*y**3 + 1. Let t be w(1). Suppose -12 = 2*o + 2*b + b, -t*o + 20 = -5*b. Suppose o - 4 = -2*k. Is 3/5 less than k?
True
Suppose -2*s = -s - 4. Suppose -q = -5*q - s. Which is smaller: -2 or q?
-2
Let i = -175 + 164. Which is greater: -29/3 or i?
-29/3
Let i = 11 + -23. Which is smaller: -1 or i?
i
Suppose -4*w + 20 = -0. Let j = w - 4. Let v be ((-1)/9)/(3/(-9)). Are v and j equal?
False
Let l be ((-8)/6 - -1)*-9. Let h(w) = -w**3 - 2*w**2 - 2*w - 3. Let z be h(-3). Let g be (-2)/z - l/9. Which is greater: 0 or g?
0
Let i be (0/1)/(2 - 3). Is 4/5 at most as big as i?
False
Suppose -3*g - 9 = -21. Suppose 2*v + 6 = 2*k, k - v + 5 = -g*v. Let w be (-30)/10 + 3 + -1. Is k > w?
True
Let z = -0.19 + -0.01. Is -6 != z?
True
Let i = 10 - 10. Suppose 4*p - 4 - 8 = i. Suppose -4*w = -p*w. Is w equal to -4/11?
False
Let b = 1.2 - 1.1. Let l = -0.4 + b. Let q = l - -0.4. Which is smaller: -1/2 or q?
-1/2
Suppose x = 6*x - 10. Is 2 at most as big as x?
True
Let f = -24 - -23. Is -2 less than or equal to f?
True
Suppose 7*t - 10 = 6*t. Which is bigger: t or 28/3?
t
Let h = 279 + -569/2. Let d = h - -7. Suppose -3*y + 6 = -3*w, 5*y - 17 - 2 = -4*w. Which is smaller: d or w?
w
Let n = -12.02 - -0.02. Is n > 0.1?
False
Let v = 6 - -9. Let s = 7 - v. Which is smaller: s or -1?
s
Let w = -3 - -1. Which is smaller: 2/3 or w?
w
Suppose 0 = 2*x + 5 - 1. Let l(f) = -2*f + 13. Let s be l(9). Let z = 2 + s. Which is smaller: z or x?
z
Let f = 12 + -13.2. Let t = -1.9 - -2. Which is smaller: t or f?
f
Let f = 10 + -7. Is 3 smaller than f?
False
Suppose 0 = -2*n + 2*c - 28, 4*c = -4*n + 6*c - 58. Let r be (-4)/6 - 10/n. Suppose r = -x - h - 1 - 1, -h - 3 = 0. Which is bigger: -1 or x?
x
Let l be ((-5)/(5/(-2)))/(-1). Suppose -3*v - 15 = -5*c + 2*v, -4*c - 3*v = 16. Which is smaller: l or c?
l
Let s(q) be the second derivative of -q**3/6 + 7*q**2/2 + 4*q. Let m be s(5). Does m = 1?
False
Let y be (-16)/(-12) + (-2)/(-3). Suppose 0 = -y*g + 1 + 3. Suppose -r - 3 = -4. Which is bigger: r or g?
g
Let t = 8 - 8.06. Let o = -0.24 + t. Which is greater: 0 or o?
0
Let l(q) = -q**2 - 2*q**2 - 5*q - 3*q**2 + 1 - q**3. Let d be l(-5). Let b be 1 + (-2)/1 + 0. Which is smaller: d or b?
b
Let n be 94/8 + (-6)/(-24). Suppose -3*c - 5*x = -2*x - 12, -n = -3*c + 3*x. Is c bigger than 8/3?
True
Let d = 111/4 + -29. Let w = 19 - 22. Let b = w + 1. Which is bigger: b or d?
d
Let t be 4/(1 - -1 - 3). Let n = -21 + 16. Which is smaller: t or n?
n
Let q = -47/20 + 13/5. Which is smaller: q or -1/2?
-1/2
Let b = 1/52 + -33/364. Which is smaller: 0 or b?
b
Suppose -40 = -7*h + 3*h. Which is smaller: 12 or h?
h
Let t be 2/12 + (-2)/4. Let d(k) = -4*k + 35. Let m be d(9). Which is greater: t or m?
t
Let a be 2722/4*2/(-44). Let h = 35257/1148 - -11/287. Let b = h + a. Which is smaller: b or 1?
b
Suppose 0 = m + 3*l + 8, -6*m + 5*l = -3*m - 18. Are -1/21 and m equal?
False
Let j = 18 - 23. Which is smaller: -1 or j?
j
Suppose b + 1 = 2*b. Which is smaller: b or 2?
b
Let f(v) = v - 2. Let c be f(3). Let n be 0 + -2 + 2/c. Let y = -1/82 - -91/738. Which is bigger: y or n?
y
Let y be (1*-2)/((-28)/(-21)). Is -1 greater than or equal to y?
True
Suppose 3*z - 7*z = -16. Let l(w) = w - 6. Let h be l(9). Let k be -20*(0 - h/12). Is k equal to z?
False
Let q be (-273)/7*1*-1. Which is smaller: 38 or q?
38
Let y = -2.98 + -0.02. Let u = 2.9 + y. Suppose 19 = -4*v + 3. Which is bigger: v or u?
u
Let c be 1*(-12 + 0 + 2). Let b be 0 + (-5)/(c/8). Do 5/2 and b have the same value?
False
Let p be -2*(-5)/(10/(-4)). Let r(b) = b**3 + 3*b**2 - 4*b. Let h be r(p). Let k = 238 - 477/2. Is h bigger than k?
True
Let s = -185 + 191. Let r = 3 + -3. Is r less than s?
True
Let c be 112/186 - 12/18. Is 0 < c?
False
Let v = 27409/2030 + -2/1015. Let m = v + -251/18. Which is smaller: 1 or m?
m
Suppose 18 - 29 = a. Is -76/7 at most as big as a?
False
Let u = -9/335 - -5142/4355. Which is smaller: 0 or u?
0
Let y(o) = -o**3 - 6*o**2 + 8*o + 9. Let n be y(-7). Suppose 3*s - 7 - 2 = 0. Suppose -s = 5*q + n. Is q bigger than -1?
False
Let n = 11 - 12. Let h(w) = w**2 - 6*w - 8. Let b be h(9). Which is bigger: n or b?
b
Let i = -59.1 - -59. Which is greater: i or 1/5?
1/5
Let r = -6 + 11. Let t = r - 7. Is -2 != t?
False
Let j be (-14)/49 + 9/7. Let z = -1 - -9. Let k be (2/(-5))/(z/(-5)). Is k >= j?
False
Let a be (-11)/7*3 + 2/(-7). Which is bigger: a or -4?
-4
Let a = -60 - -60. Which is greater: a or 1/3?
1/3
Let i = 1 - -2. Let q = 1 + 1. Which is bigger: i or q?
i
Let q = 0.76 - 0.7. Let n = q + 1.94. Which is bigger: n or -0.2?
n
Suppose x + 10 = -4*x. Suppose -10 = -5*d - 40. Let j = d + 3. Which is smaller: x or j?
j
Let q be 432260/(-84) + 2/7. Let x = q + 121717/24. Let n = x - -74. Is n at most 0?
True
Let g be (-9)/12*8/12. Suppose 1 + 2 = r + 4*o, o - 1 = 0. Is g <= r?
False
Suppose 6*y + 43 = -101. Are y and -23 non-equal?
True
Let h = -539/610 - -60/61. Suppose 0 = t - 2*t. Is h equal to t?
False
Let k(y) = 5*y - 8 + y + 2*y**2 + 2*y - 4*y**2. Let p be k(4). Which is smaller: p or -6?
p
Let n(m) = -m**2 - 3. Let g be n(0). Let x(a) = -3*a. Let s be x(g). Suppose -5*r - s = 16. Which is greater: -4 or r?
-4
Suppose 0 = -5*k - h - 2 + 51, 0 = 4*k + 5*h - 35. Let z be 35/14*6/k. Which is smaller: 1 or z?
1
Let m = 1 - 4. Let v(i) = -6*i - 4. Let y be v(m). Let a be (y/(-63))/(2/3). Is a at most 1?
True
Let t = 3295 - 2308. Let c = 44417/45 - t. Which is greater: c or 0?
c
Suppose 33*g - 38*g + 5 = 0. Let s be -3*(-4)/9 + -1. Is s greater than g?
False
Let r be -2*1 + -3 + 5. Suppose 5*a - 3*a = -3*m + 9, -3*m + 3*a - 6 = r. Let x = -0.88 + -0.12. Which is greater: m or x?
m
Let k = -698/11 + 68931/1100. Let g = -1/25 - k. Is g at most as big as 2?
True
Let r be (2 + 34/(-21))/((-20)/(-30)). Is r less than 1?
True
Suppose -5*u + 8 = -4*n - 77, 0 = -n + 4*u - 35. Is n at most -14?
True
Suppose 3*h + o + 6 = 0, h - 2*h - 4*o = 2. Let c be (h/(-5))/((-6)/(-15)). Is 2/7 smaller than c?
True
Suppose 22 = -3*f + 4*f - 5*z, -14 = 3*f + z. Let u be (-1 - 1)*(f - -2). Is 2 at least u?
True
Suppose 0 = u + 2*v, -2*v + 29 = -5*u + 5. Is -8/3 at least u?
True
Let u = -144 - -148. Is 7 <= u?
False
Let c(s) = s**2 + 7*s - 4. Let q be c(-6). Let o be (-4)/q - 84/35. Which is smaller: o or -4?
-4
Let s = 1 + -1. Let x = -7