 Let c = o - 1355/8. Is -1/2 bigger than c?
False
Let z be (6/(-9))/((-2)/(-60)). Is 2 smaller than z?
False
Let k be (-4)/18 + (-4)/(-99). Is k > -1?
True
Let f = -0.08 + -0.02. Let y = f - 0.2. Which is bigger: 2 or y?
2
Let s = 43/42 + -7/6. Let t = 0 + 0. Is s less than t?
True
Let a = -143 + 1141/8. Let l be -1*(-2)/(-4)*2. Is a <= l?
False
Let m = 86 - 82. Is m less than 8?
True
Let a = -107 - -93. Is 2 at least a?
True
Suppose -g + 2*g = -2. Let x = g - -4. Suppose 1 - 28 = -a - 5*p, -x*a - 5*p + 29 = 0. Is 0 at most as big as a?
True
Suppose 2*k - 5*k = -6. Suppose k*o + 4*x + 11 = o, 2*o + 10 = -5*x. Let b be o/6*(-1 - -3). Which is smaller: 3 or b?
b
Let j be 128/(-5) + (-14)/35. Let q be (2/(-12))/((-13)/j). Is -1 > q?
False
Suppose -2*x - 3*i = 3*x - 115, -2*i = -5*x + 90. Let f be x/(-72) - 2/(-4). Let u = -19/45 + f. Is u equal to -1?
False
Let b be (-2)/(-12) - (-183)/(-18). Which is smaller: -9 or b?
b
Let v = -0.4 - -0.6. Let l = 0.3 - v. Is 0.1 greater than or equal to l?
True
Let n = -152 - -152. Let x = -8 + 6. Is n less than or equal to x?
False
Let c = -0.08 - -7.08. Which is greater: -2/7 or c?
c
Let d = 4 - 0. Suppose d*y = -a + 5*y + 1, -4*a - 5*y + 40 = 0. Suppose -a*r + 5*b - 15 = 0, 8 = -2*r - 4*b + 26. Is 1/3 > r?
False
Let r = -0.029 + -21.971. Which is greater: r or 1?
1
Let f be (-1 - -3)/((-3)/(-6)). Let i = f + 0. Let p(v) = v - 5. Let u be p(i). Are u and 0 nonequal?
True
Let r = 1.1 + -1. Which is bigger: -0.6 or r?
r
Let y = 53 - 8. Let c be y/(-9) - (-2 + 1). Is -4 bigger than c?
False
Let u be (-21)/7*(-2)/2. Which is smaller: u or 1?
1
Let d(l) = l**2 + 6*l - 2. Let b be d(-6). Let t be (-4 + 5)/(b/4). Which is bigger: t or 0.3?
0.3
Suppose -2*o + 80 = -3*o. Let l = o - -398/5. Let q = 0 - -1. Which is bigger: l or q?
q
Let n = -7 - -14. Let h = 9 - n. Which is greater: -1 or h?
h
Let z = 2/287 - 881/2870. Which is smaller: 1 or z?
z
Let y be (3 + 1135/(-375))/((-9)/5). Which is bigger: 1 or y?
1
Let i = 62/45 - 8/5. Which is smaller: -1 or i?
-1
Let m(z) = -z - 6. Let o be m(-5). Do 2/135 and o have different values?
True
Let a = 5 - 14. Let x(s) = -s**3 - 9*s**2 + 4. Let l be x(a). Is l less than 3?
False
Let q = 0.1 - 1.1. Let s = 42 + -211/5. Which is smaller: s or q?
q
Let c = -20 + 19.9. Let f = c - 0.9. Which is smaller: f or 0.12?
f
Let s be 80/38*-1 + 2. Suppose -2*k - x = -7, 2*k + 0*k + 2*x = 12. Which is smaller: s or k?
s
Suppose 0 = -2*s + 4*i + 6, 5*s + i - 6*i = 5. Suppose t = 5 - 6. Is s >= t?
True
Suppose -3*f - 5 = 4*z + 2*f, 3*f = -3*z. Let r(b) be the third derivative of b**4/24 - 2*b**3/3 - 22*b**2. Let j be r(z). Which is smaller: j or -1/3?
-1/3
Suppose 0 = -l + 1 + 1. Suppose w = l*w. Let b = 5/11 - -1/22. Which is greater: b or w?
b
Let s = -3.4 - -4. Let r = s - 0.67. Let f = 0.03 - r. Is f greater than 1/2?
False
Suppose 13*v = 8*v - 10. Let z be (1 + -2 + 6)*1. Suppose -4*u + 1 = -5*t + 7, -z*t - 2*u - 18 = 0. Are v and t non-equal?
False
Let j be ((-44)/20 + 1)*(-400)/15. Which is smaller: 31 or j?
31
Let j be -1 - (-1 + 4/(-10)). Let n = 61 + -61. Which is smaller: n or j?
n
Let i be 6/(-15) + 3/(-5). Is -8/35 < i?
False
Suppose -i + 4*a - 11 = -0*i, 0 = -i + 2*a - 7. Which is bigger: -4 or i?
i
Let k(x) = -1 + 0*x + 2*x + 3*x - 6*x. Let a be k(1). Let b be 0/(-3) + a/(-3). Which is smaller: b or 0.4?
0.4
Let j = 20 - 12. Let t = -8 + j. Is -1/5 >= t?
False
Let d be (-4)/3*(-45)/150. Let l = 7 + -9/2. Which is bigger: d or l?
l
Let z = 3 - 2. Let o = -34 + 30. Is o <= z?
True
Let j be 10/((-3)/((-6)/(-4))). Let r(h) = -h**3 - 2*h**2 + 3*h + 3. Let x be r(-2). Which is bigger: x or j?
x
Let h(v) = -v + 10. Suppose -3*d - d + 4*y + 24 = 0, 2*y + 2 = d. Let q be h(d). Which is bigger: -0.2 or q?
q
Suppose o = i + 5*o - 18, 0 = 2*i - o. Suppose 0 = 3*u - 1 - i. Is 0 greater than u?
False
Let g(w) = -w**3 + 3*w - 1. Let s be g(2). Let k be 0*(-1)/3*s. Which is bigger: k or -2/3?
k
Let p = 26/51 + -592/561. Which is smaller: p or -2?
-2
Let r = -1.3 - -3.3. Which is bigger: 3/5 or r?
r
Suppose -7*y + 2*y - 9 = w, 0 = -2*w - 8. Let n be -3 - (339/963 - 3). Let q = n - -2/107. Is y >= q?
False
Let b be (5/15)/((-1)/(-6)). Let n(p) = 2 + b*p - p - 1. Let o be n(-2). Are -3/4 and o nonequal?
True
Let x be (-34)/33 - (-11 + 10). Let r = x - 95/132. Let n = -7/4 + 2. Is n equal to r?
False
Suppose 0 = -4*a - 5 + 1. Is a >= -3?
True
Let w(t) = -t - 22. Let p be w(-23). Is 1/33 at least as big as p?
False
Let k be (6 - (-1 + 3))/(-1). Let t be (-1)/(-4) + (-119)/28. Is k at most t?
True
Let c(l) = -l + 8. Let i be c(4). Suppose 4*n - 12 = 0, -2*m + 2*n - 3*n = -7. Let a be (-1)/4 + m/i. Which is bigger: a or 0.1?
a
Let y(x) = x**2 + 2*x - 1. Let i be y(-4). Let d(z) = -2*z**2 + 28*z + 8. Let m be d(14). Is i greater than m?
False
Let i = 2 + 4. Suppose -2*l + i*l = 0. Do l and 0 have different values?
False
Let h = 0.02 + 2.98. Let f = h + -2.9. Is f less than or equal to 0.1?
True
Let k = -30 + 33. Suppose 4*h = -k*o - 0*h - 56, 4 = -2*h. Is o at most as big as -17?
False
Let u = -40 + 33.3. Let y = 7.8 + -0.8. Let v = y + u. Is -0.1 at least v?
False
Let g = -9/61 + 282/671. Let p(q) = -q**2 + q + 1. Let x be p(0). Which is greater: x or g?
x
Let j = 64 - 94. Let l be (-2)/j*(5 + -2). Which is smaller: l or 1?
l
Let z(t) be the second derivative of -t**3/6 - t**2 + t. Let b be z(-2). Let c = -62 + 65. Which is smaller: c or b?
b
Suppose -2*w - 3 = -1. Let f = -6 - -4. Which is smaller: w or f?
f
Let h = -3 - -3.1. Let t = 0.1 + h. Let d = 10.2 - 10. Is d <= t?
True
Suppose 0 = -c - 3*o - 9, -3*c + 4*c - 4*o = 12. Suppose -2*k + 5*p - 13 = -c*p, 8 = -3*k - 4*p. Which is bigger: -5 or k?
k
Let x(k) = k**3 + 5*k**2 - k - 4. Let g be x(-5). Do g and -2/157 have the same value?
False
Let k = 12 + -8. Let l = 6.12 - 0.12. Let h = k - l. Is -1/4 at most as big as h?
False
Suppose -2*c = i - 1, -2*c - 2*i + 2 - 4 = 0. Let h be (0 + (-1 - -2))/(-1). Let t be (-22)/(-24) + h/(-3). Is c at least t?
True
Let a = 28/13 - 114/65. Suppose 3 = 4*q - c, 4 - 1 = -2*q + 5*c. Let h = 0 + q. Are h and a unequal?
True
Let p be (8/(-20))/((-1)/5). Let s = 1 - p. Let h be (-1 - s)/(3/(-3)). Is -1 greater than h?
False
Suppose 5*w - 112 = -4*z, -2*w + 56 = 2*z + w. Suppose z = -3*p - 8. Which is smaller: 0 or p?
p
Let c(x) = -x**3 - 6*x**2 - 8*x - 7. Let s be c(-5). Which is smaller: s or -1?
-1
Let r be (-497)/(-56) + (-1)/(-8). Is 10 <= r?
False
Let x(u) = u + 9. Let o be x(-7). Let b = o - 1. Is 0 < b?
True
Let n = 17 - 10. Suppose 5*i = n + 8. Is 3 equal to i?
True
Let p = 3 - 2. Let t(x) = -x**3 - 6*x**2 - 5*x + 1. Let m be 3 + 8*(-1)/1. Let s be t(m). Is p at least s?
True
Let l = 4.92 + 0.08. Let n = l - 3. Let f = -1.2 + 1. Do f and n have different values?
True
Let q = -9.25 + 7.2. Let x = q - -2.2. Is x less than or equal to -0.1?
False
Let r be (12 - 10)/(1 - -19). Which is greater: r or -1?
r
Suppose -x = 2*x. Let i = -12 - x. Is -13 > i?
False
Let p be -17*1*8/258. Let v = p + -6/43. Which is greater: v or 0?
0
Let p(h) = 2*h - 8. Let b be p(7). Let r = b - 2. Suppose f + 3 = r. Which is smaller: 2 or f?
f
Suppose -2*k = -3*q - 19, -k + q = -7 - 0. Let w = k - 1. Let j be 2/(-2) - (-3)/5. Which is bigger: w or j?
w
Let j be (12/8)/(1/(-2)). Let d be ((-2)/18)/((-1)/j). Which is greater: 5 or d?
5
Suppose 4*u - 30 = 3*v, 4*v + 33 = 6*u - 3*u. Let t be 0 + 1 + 2 + 1. Let f = v + t. Which is greater: f or -1?
-1
Let u(v) = -3*v**2 - v - 1. Let a be u(-1). Let f be ((-6)/a - 0) + 5. Suppose -f = 3*b - 1. Which is bigger: b or -0.1?
-0.1
Suppose 3*r = 4*l + 60, -5 = -2*r + 3. Let n be (4 + 2)*24/(-18). Let z be (n/20)/(l/(-105)). Is -4 smaller than z?
True
Let s = 13 + -12. Which is bigger: s or -15?
s
Let k = 1 - 1. Suppose -4*m + 6 = n, 5*m - 4*n + 2 + 1 = k. Let x = -223/2 + 112. Is m equal to x?
False
Suppose -16 = -2*h + 2. Let q = -31/3 + h. Do q and -0.1 have different values?
True
Let p = 0 + 2. Let m be (p/(-24))/(2/3). Suppose f + d = 5, 2*f + 25 = f + 5*d. Is m less than f?
True
Let f = 55 - 176/3. Do f and -4 have different values?
True
Let k = 2/61 + 379/16348. Let q = 7015/5628 - k. Let w = 13/7 - q. Is -1 >= w?
False
Suppose -4*t - 4 + 0 = 0. Is t <= -0.28?
True
Let o = 5 + -3.9. Le