8. Let n be o(1). Let k be ((-16)/3)/4 - n/15. Is -68 < k?
True
Suppose 17 = 5*a - 4*h, -h - 3 + 4 = 4*a. Let s be 4 - (-44 + -1 + a). Let d be (18/8)/(s/(-32)). Which is bigger: d or -1/2?
-1/2
Let i = 180 - 206.8. Let a = i - -27. Which is greater: a or -2/7?
a
Let s = 687 + -687. Let m be (5/(-8))/(-1) - 0. Is s at most m?
True
Let x = -46 + 47. Suppose -2*c = -5 - 5. Let m be -1*c/((-15)/(-6)). Are m and x equal?
False
Let g(z) = -z**2 - 21*z - 23. Let c be g(-19). Suppose -3*p + 3 = l - 6, -c = 5*l - 5*p. Let y = -59 + 293/5. Which is smaller: y or l?
y
Suppose 0 = 2*y + 3*t + 10, 5*y - y + 3*t + 8 = 0. Is y less than -11/27?
False
Suppose -m - m = -10. Suppose m*r - 3*r = 0. Is 5/6 > r?
True
Suppose -5*y - 4*f + 5*f - 1 = 0, -2*y = 5*f + 22. Which is greater: y or -1/51?
-1/51
Suppose 2*i = 2*n, 4*i + 4 = -3*n + 32. Suppose 3*v + 347 = 4*x, v - 312 = -n*x - 3*v. Is 83 greater than or equal to x?
True
Let b be 2/(-8)*(-24)/66. Let t = 46 + -47. Which is greater: t or b?
b
Let l = 11.51 - 27.51. Which is smaller: l or 11/3?
l
Let w be -3 + 5/102*(-518)/(-7). Let j = w - 5/17. Let s = -3 + 2.9. Which is greater: s or j?
j
Let c = 266 - 264. Which is smaller: c or 6?
c
Let y be 1 - 3/(-9)*(18 + -21). Let c be 3/(-110)*(-5)/2. Do y and c have different values?
True
Suppose -35 = x - 3*t, t + 66 = -3*x + 11. Are 4 and x unequal?
True
Let g = 19409/47 + -413. Suppose s + 1 = 2*f - 0, 2*f - 6 = -4*s. Is s <= g?
False
Let w(v) = -v**3 - 29*v**2 - 30*v - 57. Let n be w(-28). Is n equal to -6/53?
False
Let q(x) = -x**2 - 10*x - 17. Let r be q(-8). Let d be (0 - -1)*-1*2. Let p be d/(-26)*(0 - 2). Are r and p unequal?
True
Let s = -6624761/210 - -31581. Let z = s - 69/2. Is 1 <= z?
False
Suppose 4*d + 8 = -8. Let p be d/6 - 148/(-6). Let c(s) = -s + 37. Let v be c(13). Is v equal to p?
True
Let h(d) = -3*d**3 + 0*d + 2*d + 5*d**3 + 2*d**2 + 3. Let k be h(-2). Let x(m) = m**3 + 8*m**2 - 8*m - 1. Let p be x(k). Are -10 and p unequal?
False
Let i(r) = -8*r + 8. Let d be i(7). Let o be (3/1)/(18/d). Let g be 4/16 + 2/o. Which is smaller: 2/3 or g?
g
Suppose -3*z = -0*z - s - 3, 5*s - 13 = z. Suppose -28 = -2*u - z*u. Suppose -l + u = -0. Which is bigger: l or 5?
l
Let q = 2.2 + 31.1. Let u = q - 35. Let t = 1.2 + u. Does -1/3 = t?
False
Suppose f - q + 3*q = -25, -40 = 4*f - 4*q. Let u = -16 - f. Is u greater than -2/165?
False
Let v be (-6*2/(-42))/(6/(-14)). Let t = 50 - 37. Which is smaller: v or t?
v
Let f(x) = -x**3 - 5*x**2 - 2*x + 5. Let d be f(-5). Let y be 10/3*306/d. Let n = -333/5 + y. Does n = 1?
False
Suppose 3*m - 315 = -5*d, 5*d - 98 = -m + d. Suppose -m = -4*b - 30. Suppose 50 = 5*s + 2*i - 0*i, -2*s + b = 4*i. Is s greater than or equal to 10?
True
Suppose 4*m = -o - 15, -5*o + 13 = -2*m - 0. Which is bigger: o or 6/103?
o
Suppose -2 - 3 = z - 3*f, -3 = -5*z + f. Suppose -o + 0*o = -5*j - 6, -o = -4*j - 4. Let q be -2*j*4/16. Is z smaller than q?
False
Let y(x) = x**3 - 6*x**2 - x + 2. Let c be y(5). Let j be (14/c)/(10/24). Which is greater: j or 0?
0
Let a(i) = i**2 + 10*i + 4. Let q be a(-10). Suppose 0 = q*c - 3*c + 16. Which is smaller: -15 or c?
c
Let y = 2 + 2. Let q = -1 + y. Suppose f - 7 = -g, -15*g + 16 = -17*g + 4*f. Is g != q?
True
Suppose 4*g = -3*t - t + 24, -10 = -g - 5*t. Suppose -4*w - g = w. Is -9 at least w?
False
Let u = 2/53 + -2134/371. Is -7 less than u?
True
Let g(o) = o**2 + 13*o + 25. Let q be g(-12). Suppose 0 = -q*v - 20 - 19. Suppose -b - 29 = -5*k, 0 = -2*b - 2*k - 2*k + 12. Which is smaller: v or b?
b
Let v = -0.0551 - -20.0551. Is v smaller than 8?
False
Let r(p) = -2*p + 16. Let s be r(6). Let x be s - (170/25 + -3). Which is greater: x or 0?
x
Let i be (-1 - (-32)/12)*3. Suppose -i*x - 1 = -6. Let r = 131 + -1964/15. Do x and r have different values?
True
Let r = -4292/9 - -480. Let q = r + -26/9. Are -2/5 and q unequal?
True
Let m be -3*1*28/(-6). Suppose 4*g = -869 + 929. Let p = m - g. Is -2 bigger than p?
False
Let k = -0.1934 - -0.0934. Is k at least 197?
False
Suppose 0 = 7*q + 502 - 1041. Which is greater: q or 75?
q
Suppose 3*t = -2*w - 230, -2*w - t - 232 = t. Which is smaller: w or -233/2?
w
Let p(b) = -4*b**2 - 135*b + 31. Let q be p(-34). Which is bigger: -9/5 or q?
-9/5
Suppose -y - 36 + 19 = -x, x - 4*y = 26. Suppose 5*m = 70 - 5. Is m smaller than x?
True
Let j be 198/(-56) + (-90)/120. Which is smaller: j or -5?
-5
Let j be 0/(4 - 1) + -31. Let u be -1 - (-3)/4 - 1353/44. Is j greater than u?
False
Let q = 98 + -134. Which is smaller: q or -28?
q
Let c = 864 - 6921/8. Which is bigger: c or 0?
0
Let k be (-4)/50 - (-1296)/(-675). Is -43 smaller than k?
True
Suppose 0 = 2*q - 8 + 4. Let j(c) = -c**2 + 3*c + 7. Let w be j(4). Suppose 6 + 12 = -w*s. Which is greater: s or q?
q
Let c = -257 + 254.5. Let i = 6.5 - 5. Let u = i + c. Which is smaller: 0.06 or u?
u
Let u be (-7 + 8)/(1/4). Suppose -4*z = -d - 4*d - 3, 0 = z - u*d + 13. Let f be (-1 + (-3 - -2))/z. Which is smaller: -0.9 or f?
-0.9
Let a be (-38)/20 - (-27)/(-270). Let k = -383 + 2676/7. Is a >= k?
False
Let b = 42 + -37. Let c be 52/((b/(-10))/(1/(-2))). Is c less than 52?
False
Let s = 25068 + -40083734/1599. Is s < -1?
False
Suppose 0 = 3*h - h + 4*u - 2, -7 = 2*h - 5*u. Is h greater than 15/73?
False
Let y = 654 - 1452. Let s = 806.09 + y. Let m = s - 8. Which is greater: m or 1?
1
Let p = -18832536/23 + 818346. Let m = p - -460. Which is greater: m or 2?
2
Let c be ((-8)/24)/(2/6). Is c smaller than -82?
False
Suppose 2*n + j - 320 = -2*j, 3*j = 4*n - 622. Which is greater: n or 158?
158
Suppose -2*j + 14 = 4, 4*j = -4*h - 20. Let b be (-1*h/5)/2. Is 2/139 not equal to b?
True
Let b be (-29916)/(-2772) - 6/14. Are 11 and b equal?
False
Let k(j) = j**2 - 2*j + 3. Let r(a) = -2*a + 4. Let b be r(2). Let o be k(b). Which is smaller: o or -0.3?
-0.3
Suppose -3*o - 2*j - 125 = 2939, 3*o - 2*j + 3056 = 0. Let y = o - -84659/83. Which is smaller: 1 or y?
y
Let t be -1 + 1 + (13 - 9). Suppose 0 = -2*l + l + 4*y + 18, -t*y + 12 = 4*l. Let a be (-16)/88*l/4. Which is bigger: a or 1?
1
Let t(a) be the first derivative of -a**2/2 + 21*a + 6. Let z be t(0). Let y = 21 - z. Are y and 0 equal?
True
Let j = 955/7 + -1935/14. Let c = 2/7 + j. Which is bigger: c or -3?
c
Suppose 4*m = 2*m - 4, -4*m = y - 77. Let g = -98 + y. Is g bigger than -13?
False
Suppose 5*x + 5*k = 1820, 38*x - 4*k = 40*x - 738. Which is smaller: 360 or x?
x
Let v = -0.215 + -14.285. Is 1 >= v?
True
Suppose -3*i - 2*i = -65. Let m = i - 13. Let r be m*2/6*-1. Which is greater: r or 5/8?
5/8
Let b = 137 - 134. Let t be b - (303/(-3) + 1). Which is smaller: t or 102?
102
Let s(m) = -m**3 + m**2 + 4*m + 3. Let a be s(-1). Which is greater: a or 3/13?
a
Suppose 0 = -j - 2*b + 16, 5*j - 3*b - 106 = -0*b. Let a be -2 + -2 + 0 + j. Let w = a - 22. Is -6 != w?
False
Let t = 2.8 - 1.8. Which is smaller: t or 1/59?
1/59
Suppose -b + 4*s + 22 = 0, -12*b = -9*b - 5*s - 45. Suppose 3*x - b = -1. Which is smaller: x or 1?
1
Suppose -2*i + 20 = 3*k, i = 4*k - 14 + 2. Suppose 0 = -2*x + 2*c + 8, -k*c - 4 = x - 7*c. Which is greater: x or 7?
x
Let z be 9/((-3)/24*6). Let s = z + 5. Which is smaller: s or 0?
s
Suppose 12*g + 135 + 177 = -g. Let m = -27 - -2. Which is smaller: g or m?
m
Suppose -116 = -0*r - 4*r. Let y = -26 + r. Which is smaller: -1 or y?
-1
Suppose 0 = -21*u + 6*u. Does -4 = u?
False
Suppose -i = 2*i + 3. Which is bigger: i or -3/25?
-3/25
Suppose 0*n + 3*n + 15 = -3*l, -2*l + 5*n + 25 = 0. Suppose -r + 4 = -9. Suppose 0 = -15*v + r*v. Is l at most v?
True
Suppose -17*h = -15*h - 32. Which is bigger: h or 1?
h
Let s = 210 + -1472/7. Which is smaller: s or 59?
s
Suppose 2*b + 31*b = 1419. Which is bigger: b or 299/7?
b
Suppose -s - 1 = 0, 5*s = 15*q - 16*q - 26. Let g = -67 - -46. Is q >= g?
True
Let j = -15 + 39. Let i = 24.07 - j. Let n = -1.07 + i. Which is smaller: n or 0.1?
n
Suppose 5 - 70 = -13*q. Suppose 3*x + q*a + 25 = 0, -3*a - 11 - 4 = 2*x. Let b be 12/11 + 0/1. Are x and b unequal?
True
Let d = 779 - 1474. Which is smaller: d or -1?
d
Let z(i) = -i**2 - 5*i + 18. Let f be z(-7). Let h be (-1)/((-10)/f + 2). Is h <= -2?
False
Let r = 0.46 - -24.54. Let k = -31 + r. Do k and -2/3 have the same value?
False
Suppose z - 4 = 3*z, 5*a - z = 22. Suppose a*m +