= -y. Is y at most as big as v?
False
Let n(i) be the first derivative of -i**2 - 6*i + 2. Let s be n(-4). Is s greater than or equal to 2?
True
Let p = 78 - 75.05. Let x = 0.05 + p. Is -1 < x?
True
Suppose -2*y - 6 = 5*x, -8 = -5*x + 5*y + 7. Is 3 bigger than x?
True
Let g be 45/(-84) - (-5)/20. Is g less than or equal to 1/4?
True
Let q = 1.04 - 0.04. Let u = q + -7. Let k = 5 + u. Is k equal to -0.1?
False
Let m = -18 + 17.7. Let x be (2*-1)/((-2)/(-3)). Let r = -1 - x. Is m not equal to r?
True
Let d be (-5)/(230/(-98692)) - 0. Let b = d - 2146. Let v = -154/207 - b. Which is smaller: 2/7 or v?
v
Let r(t) = t**2 + 18*t + 65. Let b be r(-13). Let m be 1/3 - 4/(-12). Do b and m have different values?
True
Let g = -6 - 4. Let b = 15 + g. Which is bigger: b or 4?
b
Let h = 65471/295 + -1109/5. Which is smaller: h or 1?
h
Let m = 0.2 + 0. Let x = 149 - 142.9. Let y = x + -6. Is m at least y?
True
Suppose 4*f - v - 15 = 4*v, v + 3 = f. Which is greater: 2/3 or f?
2/3
Let f = 9/16 + -199/240. Which is bigger: 1 or f?
1
Let w = 75 + -77. Is -31 <= w?
True
Let y = 2.02 + -1.92. Which is smaller: -4/31 or y?
-4/31
Let n be 42/11 + (1 - 5). Does -1 = n?
False
Suppose 0 = 5*w - 4*i + 12, -4*i - 1 = 3*w - 13. Which is smaller: 4/7 or w?
w
Let y = 6 + 39. Suppose l - y = -4*l. Suppose l = -g + 3*t - 6, 5 = -3*g + t. Which is greater: -2 or g?
g
Let a = 3 + -4. Let c(d) = -d**2 + d**2 + d**2 + d. Let w be c(a). Is w > -1/4?
True
Let n(v) = v**3 - 8*v**2 - 8*v - 10. Let o be n(9). Which is bigger: 96 or o?
96
Let c = -176 + 148. Which is greater: -25 or c?
-25
Suppose -p = -3*y - 25, 0*p + 5*y = 2*p - 45. Let q = p - -3. Which is greater: 14 or q?
14
Let h(d) = d - 2. Let n be h(1). Let s = 0 - n. Let r = 0 - s. Which is greater: 0.1 or r?
0.1
Suppose 5*i - 10 = 3*z, i + 2*z = z + 2. Suppose i*d = -2 - 2. Let w(s) = s + 1. Let m be w(-2). Is m > d?
True
Suppose 2 = g + 4. Suppose 0 = -0*i - 2*i + 2*y + 16, -4*y = -5*i + 44. Suppose 2*c + 12 = -3*b + b, 0 = c + 3*b + i. Which is smaller: c or g?
c
Let j = 0.07 - -2.93. Let x = 13 - 13.7. Let r = -0.6 - x. Is j smaller than r?
False
Let r be 2/2 + 8 - 3. Suppose -5*m - r*y = -y, 3*m - y + 16 = 0. Is -2 >= m?
True
Let a(h) be the third derivative of -h**6/120 + 7*h**5/60 - h**4/4 + h**3/6 - 4*h**2. Let d be a(6). Which is greater: d or 1/6?
d
Let b be 8/490*(-5)/2. Does b = 1?
False
Let o be -2 + 2 - (-242)/(-77). Is o bigger than -3?
False
Suppose 2*d - 4*s = -s + 11, 4*d = s + 17. Let l = -3 + d. Which is smaller: 2/11 or l?
2/11
Let j = -55 + 54.6. Is j >= -0.1?
False
Let n be 3/2*8/12. Is -14 at least n?
False
Let c = 9768/7 - 1398. Which is bigger: c or -2?
-2
Suppose -3*h + 26 = 5*d, -12 = 6*h - 4*h - 4*d. Suppose 2 = 3*q - h*q. Let m(a) = a - 2. Let f be m(4). Are q and f equal?
True
Let c be (-1 - -10)*(-17)/21. Let w = -7 - c. Is 0.5 greater than w?
True
Let b = 17 + -5. Which is bigger: b or 40/3?
40/3
Suppose 3*f + 9 = 0, -4*q = 4*f - 2*f + 90. Which is smaller: -22 or q?
-22
Suppose -2*f = i - 45, 153 = 2*i + 2*i - f. Let o be (-72)/i - 6/39. Is -1 equal to o?
False
Let r be (-25)/(-260) + 1/(-4). Let v = 14 - 13. Which is smaller: v or r?
r
Let j = -2 - 5. Let f = -6 - j. Let g be (-48)/70 - (-4)/14. Which is greater: g or f?
f
Let z = -7 - -6.2. Let c = 6.2 - z. Is -0.1 >= c?
False
Let f(a) = a**3 - a**2 + a - 5. Let w be f(0). Let o be 2 - (-48)/w - 0. Let k = o - -157/20. Which is smaller: k or -1?
-1
Let t = -8.5 + 1.5. Let p = 0.09 - 5.09. Let y = t - p. Which is smaller: -0.1 or y?
y
Let b = -59 + 57. Let z be (2/4)/((-1)/1). Which is bigger: z or b?
z
Let n = -6 + 3. Let o(i) = i**3 + 2*i**2 - 4*i - 3. Let c be o(n). Which is greater: c or -1?
c
Let y = -4.3 - -4.5. Does -6 = y?
False
Let l = 2 + 0. Let s = -12 - -43. Let w = s + -30. Does w = l?
False
Let v(u) = -2*u**2 - 50*u - 26. Let z be v(-23). Is z smaller than -1/4?
False
Suppose 0 = 5*q - 17 - 43. Suppose -2 = -4*b + 2. Let s be (-2 - b)*(-4)/q. Is 1 not equal to s?
False
Let p = -8/51 + -3/17. Let f be (24/(-8))/(6/(-4)). Suppose 2*n = -f*n - 4. Are n and p unequal?
True
Let l be 3/((-44)/(-8) - 4). Suppose -l*k = -0*k - 12. Is 3 greater than or equal to k?
False
Let a = 42 + -45. Let r(i) = i**2 + 7*i + 6. Let g be r(-6). Are g and a equal?
False
Let d = -3 - -6. Suppose d*w + 10 = 5*w. Let u(v) = v**2 - 4*v - 2. Let m be u(w). Do m and 3 have the same value?
True
Let y = 0.2 - 1.2. Let s = -1 - y. Let f = 0.056 - -3.944. Is f at least s?
True
Let t be (-32)/(-14) + (-8)/(-1) + -10. Is t greater than -2/157?
True
Suppose 1 - 7 = -w. Are 4 and w equal?
False
Let t = -13 + 13.14. Let w = t + -0.04. Is -2/7 smaller than w?
True
Let y = 193052/117 + -1650. Let t = y - -224/585. Is t bigger than 1?
False
Let c be (-7 + -1)*4/(-8). Let l be (c/3)/(2/(-6)). Let r be (-1 + (-2)/l)*4. Is 0 greater than r?
True
Let u(w) = -w**3 - 13*w**2 + w + 18. Let j be u(-13). Suppose -3*i + 5*q = 3*q + 16, j*i - 4*q = -30. Is i < -3?
False
Let b be (-3)/(-3*2/4). Suppose b*t + 5 = -3*t. Let j be (-1)/((-3)/(-6)*t). Is 3 at least as big as j?
True
Let v be (-1)/3 + 25/(-15). Let m = v - 38. Let f be 8/m*10/4. Are f and -2 unequal?
True
Suppose h + 2*h - 6 = 0. Let c = h - 2. Let d(i) = i**2 - i - 1. Let u be d(c). Is -2/7 bigger than u?
True
Let z be 0 - ((-46)/(-21) + -2). Does -1 = z?
False
Suppose 0 = 8*f - 12*f - 100. Is -23 less than or equal to f?
False
Let s(i) = i**2 + 8*i + 6. Let d be s(-5). Let h be ((-15)/35)/(d/(-6)). Is -0.5 not equal to h?
True
Suppose 2*z + 8 = -3*s, s = -s - 8. Do 2 and z have the same value?
True
Let q = -10 - -10. Let t be 2*(-2)/(-8)*6. Let l be t/9 - (-1)/(-3). Is l at least as big as q?
True
Suppose 0 = r - 4*r. Suppose -j - j - 3*z - 8 = r, 6 = j + 4*z. Suppose 2*i = 8, -k + 0*i + i = 13. Is j equal to k?
False
Let l = -0.1 - -0.03. Let d = l - -0.07. Is d smaller than -0.3?
False
Let l(r) = r**2 - 5*r - 4. Let f be l(5). Suppose s - 3*s = 3*o + 22, 6 = 2*s - 4*o. Which is bigger: f or s?
f
Let b = 0.6 + 0.4. Let k = b - 0.99. Let q = k - -2.99. Is -0.1 < q?
True
Let m be (2 - (0 - 1))/(189/18). Is m < -6?
False
Let g = -54 - -54. Which is bigger: g or 10/17?
10/17
Let u(n) = n**2 + 16*n + 10. Let b be u(-15). Is b greater than -3?
False
Let l be 0/3 + 4 - 78/20. Is -11 > l?
False
Let m(f) = f**3 + f**2 - f + 9. Let j be m(0). Let z be (6/j)/(1 + -5). Which is smaller: 0 or z?
z
Let p = 0.1 + -1.1. Which is smaller: 0.14 or p?
p
Let f = 121 + -120. Which is greater: -18 or f?
f
Suppose -c - 9 = -5*q, q + 3 = 3*q - c. Let t = -1 + 4. Let i be (q - (-5)/(-3))*t. Is -1 bigger than i?
False
Let z = -0.01 - -0.01. Let v = -7.7 - 1.3. Which is bigger: v or z?
z
Let t be -3*3/(-18)*-4. Let y be (4 - 4)/(0 - t). Which is greater: y or 8/9?
8/9
Let s = -16 + 18. Which is smaller: s or 2/3?
2/3
Let r be 0 + -2 + (-64)/(-12). Let i = -95324/15 - -6352. Let m = r + i. Is m greater than 1?
False
Let z = 13 + -9. Is z greater than or equal to 4?
True
Let s = 0.08 + -0.09. Suppose 20 = -x - 5*f - 8, 0 = -5*x - 2*f - 25. Let h be -1*(2/(-1) - x). Which is smaller: h or s?
h
Let v be -2*-1*6/30. Is -21 less than v?
True
Let w be (-6)/(-8)*(-8)/(-3). Suppose 0 = w*r + 2*r. Which is smaller: 1 or r?
r
Let m be (2 + 0)/(1 + 16). Suppose 8*f + 9 = 5*f. Let k = 2 + f. Which is smaller: m or k?
k
Let r be (4*-1)/(2/(-1)). Suppose -r*g = 3*g + 35. Let x = g - -5. Which is smaller: -1 or x?
x
Let o(z) = -z - 1. Let b be o(5). Suppose 5*v - 5*p = v - 15, 5 = -2*v + 5*p. Which is greater: v or b?
v
Let f be (-42)/(-4) - (21/(-2))/(-7). Are f and 10 equal?
False
Let w be 3 + -3 - 80/1. Let k be (14 - -1)*294/(-54). Let c = k - w. Is c > -3?
True
Suppose 0*o - 32 = -3*d + o, -5*d - 2*o = -68. Suppose -3*n - 3*i = 2*i + 15, -4*n - d = 4*i. Suppose -4*x = -y + 2, 5*y - 10 = -0*y. Are n and x nonequal?
False
Let a = 7 + -4. Let o = 6 - a. Let k be (4 - 0) + 3 + -4. Is o != k?
False
Suppose 12 = 3*d - 3. Suppose -d*t - n = 143, -3*t - 5*n = 38 + 39. Let k = -88/3 - t. Is -2 at least k?
False
Let g(x) = -x**2 - 1. Let p(t) = 3*t**2 + 4*t - 2. Let f(w) = 2*g(w) + p(w). Let r = -7 - -2. Let k be f(r). Which is smaller: 2 or k?
k
Let s(g) = -g**2 - 3*g + 7. Let t(l) = l**2 + 1. Let r(x) = -3*x**2 + 9*x + 3. Let n(w) = -r(w) - 2*t(w). Let f be