7 + 96. Let m = c - 27.7. Let j = m - 1. Is -0.1 at least as big as j?
False
Let w(u) = -u**2 + 15*u - 14. Let r be w(14). Suppose 279 = 5*l - 356. Let n = l + -632/5. Is r at most n?
True
Suppose -4*z = z + 15, -3*z = -3*g - 219. Is -77 < g?
True
Let x(m) = 2*m**3 + 2*m**2 - 1. Let r be x(-1). Is r smaller than -4/9?
True
Let n(o) be the third derivative of o**5/60 + 7*o**4/24 + o**3/6 + 2*o**2. Let m be n(-7). Which is smaller: m or 2?
m
Let g(n) = 3*n. Let k be 2/10 - 4/(-5). Let o be (k + -3)*2/(-2). Let w be g(o). Which is smaller: 7 or w?
w
Let y = 1 - 1. Let x = y - 0. Is -2 < x?
True
Let v be 0/2 + (-5 - -11). Suppose v = -2*z + 3*g, -5*z - 3*g = -0*g - 6. Which is bigger: z or 0.3?
0.3
Suppose -22 - 10 = -4*c. Let g be (-54)/(-8) + (-9)/12. Is g bigger than c?
False
Suppose 0 = 4*m - 7*m - 12. Let i(l) = -l**2 - 2*l + 4. Let v be i(m). Is -2 > v?
True
Let b(h) be the third derivative of -1/120*h**6 + 0*h + 0 + 7/60*h**5 + 0*h**4 + 4*h**2 + 1/6*h**3. Let w be b(7). Which is smaller: w or 2/17?
2/17
Suppose -5*j - 54 = -u, 0 = u - 3*j + 4 - 48. Let r = u + -57/2. Let g = 0 + -1. Which is smaller: r or g?
g
Let x = 12 - 11.3. Let k = -1.7 - -2. Let c = k + x. Is -0.1 at most as big as c?
True
Let a = -51 + 71. Suppose -4*q - 5*t + 21 = 0, 2*t - a = -2*t. Let x be q + (-2 - -3)*3. Do 1 and x have different values?
True
Let b = -23/10 - -11/5. Which is bigger: 0 or b?
0
Suppose -2*m = -r + 14, -3*m = -4*r - 2 + 28. Let v be -1 + m*(-1)/(-1). Is v greater than -9?
True
Let b = 246 + -241. Suppose -4*f - 3*h = -14, 0 = -f - f + 2*h + 14. Is b at most f?
True
Suppose v + 2*v - 30 = 0. Let k be (-2)/(-4) - v/4. Suppose -17*c = -13*c + 20. Which is smaller: c or k?
c
Let m = 0.92 - -7.88. Let r = 26 + -35. Let f = m + r. Which is greater: -2 or f?
f
Suppose -2*c + 20 = 3*w, -4*c + 2*w + 7 + 1 = 0. Suppose 3*m + 7 = -5*b - 7, c*b = 2*m - 20. Which is smaller: m or 4?
m
Let d = -64 + 321/5. Let y = -4 + 4. Suppose 0 = -y*c + 4*c. Which is smaller: d or c?
c
Let o = 0.03 + 1.97. Let b = 0 + o. Let w = b - 2.1. Is w greater than or equal to 0.2?
False
Suppose 0 = 5*u - 5*i + 30, 2*u + 3*u - 3*i + 32 = 0. Let h = 4 + u. Let v = h - -3. Are 0 and v non-equal?
False
Let u(w) = -w**3 - w**2 - 66. Let a be u(0). Let r = 401/6 + a. Is r greater than or equal to 2?
False
Suppose -g - x - 97 = -5*g, 5*x = g - 10. Is 47/2 bigger than g?
False
Suppose -44*k + 39*k = -65. Is 10 at least k?
False
Suppose -2*h = 4*u - 2, -h - 2*u = 4*h + 3. Suppose 0 = 3*y - 0 - 6. Let s be ((-4)/(-3))/y + -1. Which is bigger: h or s?
s
Let d be (-50)/28 + (-2)/(-7). Suppose -4*t - 17 = -z, 2*t - z + 20 = -3*t. Are t and d non-equal?
True
Suppose 5*y + 10 = 5*i, -5*i = 8*y - 3*y - 20. Let k be (-2)/6*(y - 58). Is k < 18?
False
Let l be 1/(-1)*4 + 10. Suppose l*b - 2*b + 29 = 5*n, -b = 5*n - 24. Which is smaller: b or 2/93?
b
Let d = -7 - -9. Let o = d + -1.4. Which is greater: 1 or o?
1
Suppose 3*h - 134 - 58 = 0. Which is smaller: 65 or h?
h
Suppose -4*t + 40 = -8*t. Let x = 23 + t. Is x < 12?
False
Let o be (-2)/14 + 45/189. Which is greater: -1 or o?
o
Let t(w) = w + 2. Let g be t(-4). Let k = g + 3. Suppose -2*x - k = 3. Which is smaller: x or -1?
x
Let j = -35 + 41. Which is bigger: j or 2?
j
Let l = -1 + 4. Let d be l/9 + 8/(-6). Let z = 0 + -1. Are z and d equal?
True
Let k = 0.2 + -1.2. Let n = k - 1. Let s be ((-6)/9)/(0 + -2). Which is bigger: s or n?
s
Let f(h) = h - 11. Let v be f(14). Suppose t + 2*u = -5, -2*t - v*u = 10 - 2. Is 1/13 less than or equal to t?
False
Let x be 1*4 - (4 + -5). Suppose z + x = 0, 0*h + 10 = -5*h - 3*z. Is 0 equal to h?
False
Let o = 4.3 + -21.3. Let h = -17.14 - o. Let f = -0.04 - h. Which is smaller: 2 or f?
f
Suppose -28 = 3*r - 10. Let b be (r/(-63))/(3/9). Is b less than 0.2?
False
Let h be (2 - 3) + (-7 - -7). Which is smaller: 1/36 or h?
h
Suppose -2*y + 2*j - 10 = 6*j, 3*j = 4*y + 9. Let k = 6 - 11. Are k and y equal?
False
Suppose -31 = 5*o - 6, g - 2*o + 12 = 0. Are g and -21 unequal?
True
Let b = -1 + 1. Suppose 4*z = 3*p + 16, 3*p - 2*z + 13 = -z. Let t = p - -3. Which is greater: b or t?
b
Let g(u) be the second derivative of u**3/6 - 3*u**2 - 2*u. Let w be g(6). Suppose i + 3*i = w. Which is greater: 3/7 or i?
3/7
Let n be ((-12)/18)/1*3. Let b be 98/(-3) - (-1)/(-3). Let f be (-2)/6 - (-7)/b. Is n > f?
False
Let t be ((-21)/(-5) - 1)/(-1). Let j = 3 + t. Is 2/3 > j?
True
Let h(k) be the third derivative of -k**4/24 + k**2. Let f be h(-3). Suppose d - 4 = -f*d. Is 1 >= d?
True
Let n be (1/4)/((-1)/(-2)). Let h be (2 - 0) + (-1)/1. Is h bigger than n?
True
Let b = -4.5 + 4. Let n = b - -0.47. Are n and -0.1 equal?
False
Let c(j) = j**3 - 4*j**2 + 2*j + 4. Let r be c(4). Which is smaller: r or 7?
7
Let s(q) = 5*q - 24. Let x be s(5). Which is bigger: -1/137 or x?
x
Let v be 4/(-10) + (-32)/(-80). Which is bigger: 1/56 or v?
1/56
Suppose 8*d - 3*d + 10 = 0. Are -2 and d unequal?
False
Let y = 6 + -2. Let m be 5/15 + (-1)/y. Which is smaller: m or 1?
m
Let d be (-6)/8*(-4)/66. Let r = 6/11 - d. Suppose -2*m + 20 = -2*o + 3*m, 20 = 3*o + 5*m. Which is smaller: r or o?
o
Let b be (10/4 + -4)/3. Is -55 equal to b?
False
Let f be (-57)/20 - 45/(-75). Which is greater: f or -2?
-2
Let a = -3 - -4. Let h(b) = -3*b + 7. Let c be h(5). Let q be (6/c)/((-45)/24). Is q greater than or equal to a?
False
Suppose 0 = -3*v + 11 - 2. Let j = -6 + 7. Suppose 0 = b - 1 - j. Which is smaller: v or b?
b
Let f be 2646/896 + 9/(-3) + 0. Is -1 greater than f?
False
Suppose 327 = -14*k - 149. Is -34 equal to k?
True
Let b = -1389/7 - -193. Which is greater: b or -5?
-5
Let i = 1685/9 - 187. Is -4 greater than i?
False
Let h = -0.76 + -0.24. Let x = -4 - -8. Which is smaller: x or h?
h
Suppose -5*i - 50 = -2*h - 3*h, 0 = -4*i + h - 40. Is i <= -19/2?
True
Let w be (-7)/(28/(-10))*4/(-25). Let b = 0.1 - 0.3. Which is smaller: w or b?
w
Let y = -8 - -6. Suppose 4*p = 15 + 5. Suppose -p*d + 3 = 8. Is y > d?
False
Let k = -878/7 - -125. Which is smaller: 0 or k?
k
Let k(o) = o**3 + 5*o**2 + 3*o - 1. Let y be k(-3). Let n = 14 - y. Let h be ((-4)/n)/(12/(-18)). Is 1 equal to h?
True
Let i = 1 + -12. Let o be (-42)/22 + (-9 - i). Suppose 3*w = -0*w. Is o >= w?
True
Let n = 6.8 + -6.6. Which is smaller: -2.4 or n?
-2.4
Let o = 5 - 3. Suppose 39 = o*d + 9. Suppose 5*m + 0*m = -d. Is -5 greater than m?
False
Let d = 8 - 8.04. Let h = d + -0.06. Which is bigger: h or -0.6?
h
Let q = -0.54 - -1.54. Which is smaller: 116/5 or q?
q
Let d be 10/12*((-120)/65 - -2). Which is smaller: -1 or d?
-1
Suppose -2*t - 5*h + 4 = 0, 0 = 3*t + 4*h - 1 - 5. Suppose 5*i + 3*f - 3 - 2 = 0, 4*f = t*i - 2. Which is greater: i or -2/11?
i
Let h be (-46)/10 - 2/5. Do -6 and h have different values?
True
Let c(a) = -2*a + 18. Let m be c(12). Let x = -7 - m. Which is smaller: x or 1/7?
x
Suppose 2*q - 40 = -2*q. Let g be 2 - 5/(q/164). Let j be 2/g*-2*2. Which is smaller: 0 or j?
0
Let s(o) = -3*o**2 - 30*o - 23. Let c be s(-12). Which is smaller: 0.1 or c?
c
Let x(s) = s**2 + 9*s. Let a be x(-9). Suppose 2*f + 3*f = a. Which is smaller: 1 or f?
f
Suppose 3*l + 2457 - 270 = 0. Let q = -5190795 + 140171150/27. Let d = q + l. Which is smaller: d or 0?
0
Let b be 4/18 - (-4)/(-18). Suppose b = 3*a - 5*a. Is a at most as big as -0.2?
False
Suppose 2*q + 2*v + 20 = 0, -36 - 8 = 5*q + 3*v. Is -5 >= q?
True
Suppose -3*t - 2 = -5*t. Which is bigger: t or 5?
5
Let j = 5/9 + -43/45. Let r(m) = 5*m - 20. Let h be r(4). Is j not equal to h?
True
Let j be 0/(-1) + (-1)/(-3). Let h = 3 + -6. Let u = 3.1 + h. Is u equal to j?
False
Let h(r) = -r**3 + 7*r**2 - 3*r - 3. Suppose 0 = -4*g + 5 + 19. Let z be h(g). Let l be ((-1)/(-5))/(3/z). Which is smaller: 3 or l?
l
Let w be ((-1)/7)/((-44)/14). Let p = w + -49/110. Is 0 not equal to p?
True
Suppose -720 = 5*j - 2*b - b, 3*b - 297 = 2*j. Is -141 != j?
False
Let f be (-5)/20 - (-62)/(-8). Is -7 > f?
True
Let p = -22 + 104. Which is smaller: p or 83?
p
Let v(a) = a**3 + 9*a**2 + 6*a - 11. Let j be v(-8). Suppose -2*c + j*c - 6 = 5*r, -5*c - 5*r - 30 = 0. Let h = c + 0. Which is greater: -1 or h?
-1
Let n be -2 - -15 - (-1 + 2). Let p be (-8)/14 + n/42. Which is greater: 0 or p?
0
Let c = 2/39 + -43/78. Which is smaller: -1 or c?
-1
Let o(k) = -k + 3