 Let x be r/20 + 26/10. Is x bigger than 4?
False
Let p = -20.14 - -0.14. Let h = 19 + p. Do -1 and h have different values?
False
Let t = -1028275/7 - -33867485/231. Let s = t - -284. Which is greater: s or 1?
1
Let k = -10 + 9. Which is bigger: 3/20 or k?
3/20
Suppose 0 = -2*b + t - 4*t - 13, 3*t = b - 16. Are b and 5 equal?
False
Let p = 0 + 2. Let y = -1.8 + p. Is y > -1/2?
True
Let i(x) = x**2 - 5*x - 8. Let f be i(8). Let s = f - 19. Are -14/9 and s equal?
False
Let c = 44 + -35. Which is bigger: c or -3/7?
c
Let r be (-20)/144 - (-2 + 21/12). Is -3 smaller than r?
True
Let m(n) = n + 9. Let j be m(-7). Let o be ((-18)/5)/(j/(-10)). Let y be 2*(-3)/o*-3. Which is bigger: y or 1/5?
y
Let t = -116.3 + 116. Let o = -1.95 - 0.05. Which is greater: o or t?
t
Let r = -62 + 61. Is r at least 1/77?
False
Let i = 5 - 6. Let a = -0.42 - -17.42. Let b = a + -11. Is i less than b?
True
Suppose 8*a = -11*a + 798. Are 41 and a unequal?
True
Suppose -4*w = -2*w - 2. Let i = w + 3. Let c be (6/i)/(9/4). Is c less than or equal to -0.3?
False
Let c = 8 + 0. Let p be 12/c*(-4)/5. Suppose k = -2*o + 2, -5 = -3*k - 5*o - 1. Which is greater: k or p?
p
Suppose 5*r + 5*d - 50 = 0, r + 4*d = -2*r + 25. Is 16 != r?
True
Let s be 6459/15*(-10)/12. Let f = s - -358. Which is bigger: -1 or f?
f
Let b(n) be the third derivative of -n**6/120 + n**5/10 - 5*n**4/24 + n**3/6 + n**2. Let z be b(5). Let k = -0.09 - 0.01. Is k at most as big as z?
True
Let m = 91 - 91. Let u be 12/(-30) + 29/110. Is m at least as big as u?
True
Let y = -0.1 - -0.2. Suppose -3 = 3*r - 0*r. Let z be (-5)/45*2*r. Which is smaller: z or y?
y
Let u be 2/(-18)*(6 + -4). Suppose 6*d - 3*d = -3. Are d and u nonequal?
True
Let t = -431/8 - -54. Let c(k) = k**3 - 4*k**2 + 4*k - 7. Let z(v) = v**2 - v - 1. Let g(b) = c(b) - 2*z(b). Let f be g(5). Which is smaller: f or t?
f
Let i be ((-183)/9)/(3/9). Is i > -62?
True
Let x be (-10)/18 + (-10)/(-10). Let k = -29/45 + x. Suppose -4*f = -0*f + 4. Is f less than or equal to k?
True
Let t = 8 - 19/2. Do t and -1 have different values?
True
Let a = -13/63 + 4/63. Which is greater: -4 or a?
a
Let w = -0.7 - -1. Let v = w - 0.5. Let o = v + 0.2. Is 0 at most o?
True
Let l = -43/29 + -1/58. Let b = -4.902 + 0.002. Let g = b + 5. Which is greater: l or g?
g
Let f = 11/56 + -67/504. Which is smaller: -1 or f?
-1
Let b(y) = y + 10. Let r be b(-10). Let j be (-32)/(-14) - 1*2. Is r less than or equal to j?
True
Let v be 1*1/(-2)*0. Let x = 0 + v. Suppose x*g - 8 = -4*g. Which is bigger: g or 1?
g
Let y = 15 + -21. Let w be (-8)/66*(y + 3). Which is smaller: w or 1?
w
Let o = 662/5 + -135. Suppose -99*j = -100*j - 4. Does j = o?
False
Let s be 1 - (-4 + 34 + -4). Which is smaller: -22 or s?
s
Let j = -187 - -199. Is j smaller than 2/3?
False
Let p(f) = -f**3 - f**2 - f. Let g(v) = -4*v**3 - 3*v**2 - 5*v. Let t(x) = -2*g(x) + 9*p(x). Let r be t(-3). Let j = -5 - r. Which is smaller: j or 0?
j
Suppose -1 = -p + 4. Suppose -w = -6*n + n, 0 = -p*n - 3*w. Suppose i = -n + 1. Is i greater than 1/4?
True
Let i be -22*2/(-2)*4/32. Is 3 at least i?
True
Let x be ((-2)/4)/((-1)/2). Suppose 2 = 2*r - 2. Suppose r*z = -2 + 6. Which is smaller: z or x?
x
Let w be 3/4*7/126. Let y = w - 151/168. Which is greater: y or 0?
0
Suppose 4*d - 5 - 15 = 0. Let r be (-4)/((1 - -1)/(-8)). Let g be (-2)/(r/10 - 2). Are g and d nonequal?
False
Let n = -7 + -4. Let m = n - -8. Is m less than or equal to -2/7?
True
Let l be (3/(-9))/((-2)/24). Suppose -7*h + 3*h = -12. Is h bigger than l?
False
Let o = 2 + 3. Suppose 5*d - 20 = -o. Let y = -4 + d. Do -1 and y have the same value?
True
Let d(l) = -2*l**2 + 2*l + 2. Let b be d(2). Suppose -3 = -12*q + 13*q. Is q smaller than b?
True
Suppose -15 = -6*s + s. Suppose -s*b - 28 = -7*b. Which is bigger: 6 or b?
b
Let u = -92 - -103. Which is smaller: u or 12?
u
Let x be 74/(-26)*-1 + -3. Is x at least 5?
False
Suppose -5*k = -2*k - 18. Let h = 3 - k. Let l = 0 + -2. Which is smaller: l or h?
h
Let r be 1 - 1 - (-8 + 6). Let q = r + -5. Which is smaller: 1/3 or q?
q
Let f = 0.47 + -0.27. Which is smaller: -0.09 or f?
-0.09
Let o = -210.03 + 217. Let l = o + -7. Is -0.1 less than l?
True
Suppose -3*p + 3*z - 6 - 18 = 0, 7 = -4*p - z. Let d be 22/p + (-2)/3. Are -7 and d equal?
False
Let f be (5/(-15))/(2/(-6)). Do f and 6 have different values?
True
Let s = 3 + -2.7. Let n = -0.2 + s. Let z = n - -0.9. Which is greater: 2 or z?
2
Let y(m) = -2*m**3 + 6*m**2 - 3*m - 4. Let x(j) = -j**3 + 1. Let t(o) = x(o) - y(o). Let f be t(5). Is -5 at least as big as f?
True
Let c = -4 + 5. Which is smaller: c or 1/20?
1/20
Let s be (2/(-6))/(4/(-48)). Suppose 0 = -2*r + s. Let v be 0*(-2 + r + -1). Is v at most as big as 0?
True
Let z(h) = -h**3 - 10*h**2 + h + 9. Let c(y) = -y**2 + 4. Let l be c(-3). Let g be (l/(-2))/((-1)/4). Let u be z(g). Is -2/7 bigger than u?
True
Let n = 143/30 - 29/6. Is n >= 1?
False
Let a(h) = -h - 6. Let y be a(-5). Which is greater: -8/5 or y?
y
Let t = 0.03 + 8.97. Which is bigger: 1 or t?
t
Let m be -1 + 1*(-6)/(-10). Let z be 34/6 - (-8)/(-12). Suppose -z = -4*j - 21, 3*j + 8 = -4*u. Which is smaller: u or m?
m
Let a = -9.8 - -1.8. Let l = -7 - a. Which is smaller: l or -0.2?
-0.2
Let k be (495/(-12))/((-2)/8). Suppose 7*a = 2*a + k. Let s be 1 + -3 - a/(-15). Which is greater: -1 or s?
s
Let v = 6 + -8. Let i(n) = n**2 + 2*n + 1. Let h be i(v). Let z = -2 + h. Which is bigger: z or -3?
z
Suppose -4*w + 0*w + 32 = 0. Which is greater: w or -1?
w
Let i = 0 + -1. Suppose 26 = -3*p - 58. Let q be (-12)/9*(-6)/p. Is q less than i?
False
Suppose 5*s + 28 = 3*h, -4*s + 18 + 4 = 5*h. Let z be (-2)/h*(10 + -31). Which is bigger: z or 6?
z
Suppose -6*a = -a. Let h be (-1149)/(-15) - (-3)/(-1). Let i = h + -73. Which is smaller: a or i?
a
Suppose -5*q = 2*x - 24, -4*q + 2*x - 4*x = -20. Let w = -9 - -13. Are w and q nonequal?
False
Let z be 3 + (-6)/2 + -6. Is -2 at least z?
True
Let n = 11 - 9. Let m be (-2 + 2)/n*-1. Let u = -0.9 - 0.1. Is m equal to u?
False
Let c = 0.44 + -0.7. Let n = -0.04 + c. Which is bigger: n or 2?
2
Let m = -18 + 17. Is 2/43 less than or equal to m?
False
Let f = -15 - -15.3. Which is smaller: 10 or f?
f
Suppose -3*r - 1 = -7. Let h be 9/15 - (-4)/10. Which is smaller: r or h?
h
Suppose 3*a + 4*x + 159 + 185 = 0, -236 = 2*a + 4*x. Let j = 538/5 + a. Suppose -5*d - 5 = -0*d. Which is greater: j or d?
j
Let t be -3 - (-524)/144 - 6/8. Let v = 8 - 12. Let j = v + 3. Are t and j unequal?
True
Let l(j) = j**3 + j**2 + 2*j - 5. Let n be l(0). Let z(m) = m + 1. Let i be z(-5). Is i > n?
True
Let y be (-12)/(-14) - (7 + -5). Which is greater: y or 1/2?
1/2
Let h = -7.58 - -4.58. Let d = -3.03 + 0.03. Is h > d?
False
Let r be 1/(-3) - (-707)/(-12). Let d = r - -59. Suppose 26 = -26*w + 26. Which is greater: w or d?
w
Suppose 0 = -2*j - 4*a - 10, -3 = -5*j - 2*a + 6*a. Is j > -8?
True
Let w = -1424 - -98285/69. Let t = w + -2/23. Let q = 2.179 + -0.179. Do q and t have the same value?
False
Let a be (-15)/(-3) + (1 - 2). Let o(j) = j - 2. Let q be o(a). Suppose -2*f + 0 - q = 0. Is -1 less than f?
False
Let n = 12.6 + -0.6. Let x = 18 - n. Let h = -10 + x. Is h at least as big as 0.1?
False
Suppose v + j + 4 = -j, -2*v = -4*j - 24. Which is smaller: v or 2/3?
2/3
Let g = 69 + -72. Are 7 and g unequal?
True
Suppose 2*t - 4*c = 16, -3*t = 4*c - c + 21. Let o(z) = 3*z**3 - z**2 - 2*z - 1. Let f be o(-1). Let l = t - f. Which is smaller: 2/3 or l?
2/3
Suppose 3*w + 131 = -2*f - 151, -3*f - 437 = w. Let c be f/264 - 2/(-11). Let p be 0 - 3/3*-1. Which is bigger: p or c?
p
Let g = 37/6 + -7/2. Suppose r - 6 = -2*m - 2, m + 3 = -3*r. Which is smaller: g or m?
g
Let p = -39 - -34. Is -2 > p?
True
Let u = 22 + -19.8. Let p = u - 0.2. Which is greater: p or -1?
p
Let z = -3.92 + -0.08. Let c = -4 - z. Which is smaller: c or -2?
-2
Let s(m) = -2*m + 5. Let d be s(2). Which is smaller: 1/110 or d?
1/110
Let d = -2 - -41. Let f be (-6)/d + (-100)/26. Are -1 and f nonequal?
True
Let h = 7 - 3. Let v = h - 8. Suppose -1 = -3*n - 10. Is v less than or equal to n?
True
Let q = -0.017 - -2.017. Let u be (-2 - -1)/(1/1). Is q >= u?
True
Let o(n) = -n**2 + 6*n + 1. Let m be o(6). Which is bigger: m or -2?
m
Let h be ((-2)/(-4))/(7/(-14))