pose 0 = -17*x + 20*x - 3. Is a >= x?
False
Let w(q) = -2*q**2 - 12*q - 1. Let a be w(-6). Which is bigger: a or 1?
1
Let c = 0.71 + -0.71. Which is smaller: 10 or c?
c
Let a = 293 - 289.49. Let i = a + -0.61. Let r = i - 3. Is r >= 2?
False
Let t(c) = c - 4. Let h be t(14). Let w(q) = -q**2 + 3*q + 1. Let u be w(5). Let p = h + u. Is 2/9 != p?
True
Let n = 20696/225 - 1379/15. Let m = -4/25 + n. Which is bigger: m or 1?
1
Let s be (-54)/52 + (-2)/(-2). Is s at most 1/3?
True
Let r = 29 + -28. Is 9/13 less than or equal to r?
True
Let b be (12/11 + -1)*2. Suppose 7 + 11 = -3*z. Let u(s) = s**3 + 6*s**2 - s - 6. Let w be u(z). Which is smaller: w or b?
w
Let o be 4*7 - (2 - 5). Let s = 23 - o. Which is smaller: s or -9?
-9
Let p = -23 - -22.8. Which is bigger: p or -1/4?
p
Suppose -5*c + 28 = -c. Let p be 14/21*9/c. Suppose 0 = 2*t - 0*t. Are p and t equal?
False
Suppose 2*q + 0*q = -3*i + 17, -2*i - 6 = -3*q. Suppose 2*w = 4 + 2. Which is greater: w or q?
q
Let d(t) = -t - 3. Suppose 14 - 5 = -3*w. Let n be d(w). Is n <= 0?
True
Let k(r) = r**3 - r**2. Let w be k(1). Is 2/45 smaller than w?
False
Let t = -7 + 19. Is t at most as big as 21/2?
False
Let f = 4 + -6. Let q be 4/3*(-9)/6. Is q smaller than f?
False
Let a = 124 + -623/5. Let f = -6 - -5. Which is smaller: f or a?
f
Let b be 3*-3*(-22)/18. Suppose -3*c = -t + b, 0 = 2*t + 2*c - c + 6. Which is smaller: 1/5 or t?
t
Let u(x) = 2*x - 10. Let o = 3 + 4. Let l be u(o). Suppose 0 = 4*b + 2*z + 2, 3*b = 2*b - l*z + 3. Is -1/5 smaller than b?
False
Let x = 0.5 + 5.5. Let y = x + -8. Let h = -0.3 - -0.1. Which is bigger: y or h?
h
Let k(c) = -2*c**2 + 2*c + 2. Suppose 8 = a + 2*f, 4*a + 2*f = 5*f - 1. Let l be k(a). Let j be (-10)/(-6) + l/(-6). Is 2 <= j?
True
Let x = 18 + -14. Suppose 6*w = 4*w + 2. Let v be x/(-12)*w/1. Which is bigger: v or -1?
v
Suppose 5*c + 1 - 6 = 0. Which is smaller: c or -3/8?
-3/8
Suppose 5*p - p + 16 = 0, 0 = 5*r + 4*p - 49. Let w = -25/2 + r. Suppose 6*i - i + 3*h = -1, -2*i - 8 = 5*h. Is w >= i?
False
Let k(f) = -f**2 + 3*f + 3. Let d be k(4). Let x(y) = -y**3 - 7*y**2 + 3. Let p be x(-7). Let g be 2/(-6) - p/(-9). Is g less than or equal to d?
False
Let s(k) = k**2 + k + 18. Let x be s(6). Which is smaller: -1 or x?
-1
Let j = -1/117 + 664/117. Which is bigger: j or 5?
j
Let z be (3 + (1 - 3))*1. Let g be 1 + -1 - z/4. Let f = -2 + 2.1. Is g greater than f?
False
Suppose -3*t = -7*t + 4. Let q be (3 - (-45)/(-12))/3. Which is greater: q or t?
t
Let i be 30/4 - 2/(-4). Let w be 9/i - 2 - -1. Which is smaller: w or 0?
0
Suppose h - 42 = -h. Is h greater than or equal to 20?
True
Let i be (-4)/2*(-1)/(-2). Let w be (3/3*-1)/i. Let z = 0 - w. Do 1 and z have the same value?
False
Let z be 9/(-42)*(-8)/6. Which is bigger: 1 or z?
1
Let l = -12 - -7. Let y = 2 - l. Is 7 != y?
False
Let l = 5.2 + -5. Let w = -0.1 + l. Let q = 0.1 - w. Is q greater than 2?
False
Suppose 2*u - 5 - 3 = 0. Let x be 6/4 + (-2)/u. Let s be (1*(-1)/4)/1. Is s greater than x?
False
Suppose 3*b = -5 + 17. Let v be 1/(-2) + 1/2. Suppose v = 2*m - b. Are 2 and m equal?
True
Let r be -3*5/(-3)*1. Let d(g) = -g**2 + 6*g + 20. Let b be d(8). Which is bigger: b or r?
r
Let n = 3.1 + -3. Let s = 3 + -2.9. Let l = s + n. Is l less than or equal to 0?
False
Suppose -3*j - 3*c = 3, j + 3*c = c. Which is greater: -11 or j?
j
Suppose -2*i = -0*i + 6. Let k be ((-3)/28)/(i/(-24)). Is 0 at most as big as k?
False
Let w(c) = -c**3 - 29*c**2 + 28*c - 61. Let b be w(-30). Let u = -1/69 - 91/69. Which is greater: u or b?
b
Let o(c) = -c**3 - 7*c**2 + c + 10. Let n be o(-7). Let w be ((-2)/(-8))/(n/18). Which is bigger: 2 or w?
2
Let m(i) = -4*i + 2. Let w be m(1). Is 0.12 greater than or equal to w?
True
Suppose -i + 18 = i. Is 0.1 at least as big as i?
False
Suppose 1 = -3*f - 2. Let w(z) be the first derivative of z**2/2 + 6*z + 6. Let v be w(-7). Are f and v equal?
True
Let x(i) = -i**2 - i - 3. Let c(h) = -2*h**2 - 3*h - 6. Let q(o) = -3*c(o) + 5*x(o). Let l be 0 - (4/2 + 1). Let g be q(l). Are g and 2/11 unequal?
True
Let t be 38/9 - (-6)/(-27). Suppose -t*r = -r. Suppose 0*a - 16 = a + 5*w, -4*a + 4*w + 8 = r. Is 2 < a?
False
Let s(x) = -6*x - 5. Let t be s(4). Let l be -1*59/2 + 0. Let d = l - t. Is 0 not equal to d?
True
Let v = -54 + 57. Which is greater: 2 or v?
v
Let u be 6/(-45)*9/(-12). Which is bigger: u or 0?
u
Let o = 5.337 - 0.037. Let h = 0.3 - o. Do 1 and h have the same value?
False
Let m = -5 - 4. Let d = m - -7. Which is greater: 2 or d?
2
Let b be (-132)/(-28) + (-4)/(-14). Suppose 5*v - 16 = 4*n, b*n + 20 = v + v. Is v greater than 4?
False
Let x = -0.1 + -6.9. Let b = 9 + x. Let m = -0.23 + 0.13. Is b <= m?
False
Let m be ((-11)/11)/((-2)/4*-2). Are m and 1/79 equal?
False
Let x be -3 - (16/(-10))/((-8)/(-20)). Do x and 2/21 have the same value?
False
Let o = 0.9 - 1. Let u = 0.01 - 0.1. Let f = 1.91 - u. Does o = f?
False
Let q = -171 - -1541/9. Let n(a) = -a + 13. Let r be n(12). Suppose 3*s - p = -r, 7*s - 5 = 4*s - 5*p. Is q equal to s?
False
Let z be 3/((-9)/(-6))*1. Suppose 2*x + z*r - 5*r + 9 = 0, -x - 3*r + 9 = 0. Which is bigger: x or -1/9?
x
Let p = 2 + 1. Suppose -m = -p*m + 10. Which is greater: 6 or m?
6
Suppose 5*n + 15 = 5*i, 4*n - 7 = 5*i - 19. Let g = -57 + 229/4. Which is greater: i or g?
g
Let a(t) = -2*t. Let k(x) be the second derivative of x**3/6 - x**2 + 3*x. Let j be k(0). Let p be a(j). Does 3 = p?
False
Let h be 44 - (-5)/(15/6). Let r = -3295 + 9745/3. Let s = r + h. Is 0 smaller than s?
False
Let h be (-2)/(-3)*(-3)/(-12). Let u = h + -1/2. Are u and 1 non-equal?
True
Let q(f) = f**2 - 12. Let a be q(4). Are a and 8/3 equal?
False
Suppose 2*s + 10 = 5*v - 1, s = -3*v. Does 2/3 = v?
False
Suppose 4*o = 2*o + 2*r + 12, -4*r + 4 = 3*o. Let z(m) = -m**2 - 6*m - 5. Let s be z(-4). Is o less than s?
False
Let c = 3 - -4. Suppose 0*i + 3*r - c = -4*i, 2*r = 2*i. Let b(u) = -u + 1. Let w be b(i). Which is greater: 1 or w?
1
Let i = -2171/9 + 241. Is i bigger than 1?
False
Let x = 451 + -4955/11. Which is smaller: 2 or x?
x
Let h(k) be the second derivative of 0 + 1/6*k**3 - k + 5/2*k**2. Let a be h(-6). Is a bigger than -2/3?
False
Suppose 5*z + 0*z - 3*v = -32, 2*z + 4 = -v. Which is smaller: z or -3?
z
Let m be 38 + (0 - 1/4). Let h = m - 38. Which is greater: h or -3?
h
Let x(b) = 7*b**3 + 16*b**2 + 14*b - 11. Let l(c) = -c**3 - c**2 - c. Let g(d) = -6*l(d) - x(d). Let h be g(-9). Which is greater: h or -2/17?
h
Suppose 2*d = -6 - 2. Let j = -6 - d. Do 0 and j have the same value?
False
Let t = 38 + -9. Let n = t - 21. Let s = n - 5. Are 1 and s nonequal?
True
Let g(f) = f + 6. Let t be g(0). Suppose -3*w - 11 = 4. Let q be (w/3)/(1/(-3)). Are q and t unequal?
True
Let i = -78 - -78. Which is greater: -10/23 or i?
i
Let c = 0 - -2. Suppose c*o - 9 = -o. Let t be 1/(-2) + (-5)/(-2). Which is smaller: t or o?
t
Suppose -o - 5 = 0, -2*c - 5*o = -0*c + 19. Suppose 2*r - c*m = -0*m - 11, 4*r = -5*m + 33. Let k = -5 - -8. Do k and r have the same value?
False
Let h(x) = -3*x - 3. Let u be h(2). Is u less than or equal to -9?
True
Let i be ((-21)/6 + 4)/1. Suppose 6*f = 5*w + 2*f + 6, f + 6 = 5*w. Do i and w have different values?
True
Let y(d) = -3*d**2 - 37*d - 2. Let b be y(-12). Is 9 smaller than b?
True
Let p = 110 + -114. Let s = -10 - -5. Let c = p - s. Is c less than or equal to 5?
True
Let g = 57 - 55. Let t(u) = -u**2 - 9*u - 5. Let f be t(-8). Suppose -f*l - 4*y = 3, 2*y + y = -9. Is l >= g?
True
Let c = -7 - -10. Suppose -h + a - 2*a + 10 = 0, -c*h + 35 = 4*a. Let q be 1*h*(-6)/15. Which is smaller: -4/7 or q?
q
Suppose 5*y + 5*l - 14 = 6, -2*y = -5*l + 13. Let c be 1/((-5)/((-20)/(-28))). Which is bigger: y or c?
y
Let t(r) = -11*r - 1. Let y be t(-1). Suppose 5*p = p - 4*s + 8, -5*p - y = -5*s. Which is bigger: p or -2/5?
p
Let y be 0 - ((-8)/90)/(-4). Which is smaller: y or 0?
y
Let j = 6 + -3. Suppose -2*i + 4*i + 4 = 0. Let l be 1/(-2) + j/i. Do -6/7 and l have the same value?
False
Let m = -13796/31 - -445. Are 1 and m nonequal?
True
Let v = -29468/3 - -9732. Suppose d - l - 98 = -4*l, 3*d - 3*l - 270 = 0. Let q = v + d. Is 1 smaller than q?
True
Let o be 2 + 0 + (-5 - -2). Which is greater: 1 or o?
1
Let v = 13 + -8. Suppose -7*k = -2*k - v. Which