 11 = w - 4*n. Let s = -1 - 2. Is w at least s?
True
Let h(g) be the second derivative of -g**4/6 + g**3/3 + g**2/2 + 4*g. Let c be h(-1). Let v be 0 + 34/10 + c. Which is bigger: v or 1?
1
Let r = -219/1180 + 8/59. Do 0 and r have the same value?
False
Suppose 2*r = -0 + 6. Let c be (-1)/(-5)*(r + -2). Which is bigger: c or -1?
c
Let p(z) = z**3 + 6*z**2 - 6*z + 9. Let q be p(-7). Suppose 3*w = -q*d - 18, 4*d + w = -d - 32. Is -5 at most as big as d?
False
Let z be -2 - 1/2 - 0. Which is greater: z or -3?
z
Let k(v) = -v - 10. Let i be k(-10). Let s = i - -4. Suppose 4*p - 2*r = -8, -2*p - 8 + s = r. Which is greater: p or -7/4?
-7/4
Let k be (18/12)/(6/(-64)). Let z = k + 41. Let b be (-5)/7*(-15)/z. Is 0 > b?
False
Let i = -62 + 68. Is i >= -2?
True
Let g(c) = -c + 3 + 3*c**2 - 4*c - 2*c**2. Let p be g(4). Let n be (0 - (1 - 2))*-2. Which is smaller: n or p?
n
Let i be 0 + -1*(0 + 1). Let c be 4923/12*2/105. Let b = c + -54/7. Which is greater: b or i?
b
Suppose f = 2*w - 9, 5*f = -19 - 6. Which is bigger: w or 5/4?
w
Let o = -139 - -279/2. Let q(d) = 2*d + 2. Let n be q(-5). Is n equal to o?
False
Suppose 3*q = g, -8*g = 4*q - 4*g. Suppose q = 5*d - 2 - 3. Is -2/7 < d?
True
Suppose -2*t + 10 = -5*a, 0*t - 25 = 3*a - 5*t. Suppose 0 = 3*v - 4*k + 12 - 4, v - 4*k + 8 = a. Which is bigger: 4/11 or v?
4/11
Suppose 0 = 5*a - 10, -3*w - a - 7 = -6*a. Let o(k) = k**2 + 8*k + 9. Let u be o(-5). Let b be u/(-208) - 28/182. Which is bigger: b or w?
w
Suppose -5*k + 15 = 0, -4*q = k - 12 + 1. Let m be (q + 0)*1*4. Let d be m/(-12)*(-6)/14. Which is bigger: d or 0?
d
Let o(m) = -m**3 - 5*m**2 - 6*m - 6. Let a be o(-4). Suppose 3*c = 4*r - 5, -12 = -6*r + r - 2*c. Is a bigger than r?
False
Let n = 17/15 + -4/3. Suppose 2*s - 4*g = 16, 0*s + 2*s = -4*g. Let v = 5 - s. Which is smaller: v or n?
n
Let x be (24/15)/(-2)*5. Let c = 10 + x. Suppose 3*k - c*k = 3. Are -2/7 and k non-equal?
True
Let v = 165 + -168.83. Let d = 0.17 - v. Which is bigger: 0.1 or d?
d
Let k = -0.4 + 0.26. Is k less than -1?
False
Let l be (-18 + (-2 - -2))*-1. Let y be 2/(-11) + l/(-22). Does y = 2/7?
False
Let a = 0.5 - -0.5. Which is smaller: a or -0.5?
-0.5
Let r(g) = 2*g. Let y be r(-1). Let m be (1 - 0) + 4/y. Which is bigger: 0 or m?
0
Let q be 34/2 - 1*2. Suppose -5*s + q = -2*j - 0, 3*j = 3*s - 18. Suppose 14 = 4*f + 2*p, -3*f - f = 3*p - 17. Which is bigger: f or s?
f
Let i = -79 - -45. Suppose -4 = -s - 3*s. Let z be s - (i/(-19))/2. Is z < -1?
False
Suppose 4*j + 5*q = 28, -4*j + 5*q = 4 + 8. Let w be j/(-10) + 52/60. Is -0.3 >= w?
False
Let t be (-3)/4 + (-3)/12. Let f = -16 + 14. Are f and t nonequal?
True
Suppose -6 = -0*u - u. Suppose -5*o = -1 + u. Let b = 0 + 0. Do o and b have the same value?
False
Let o be (3 - 0) + (-1127)/371. Which is greater: 1 or o?
1
Let z = -0.02 + 0.04. Let a = -0.02 + z. Let r be (3/6)/(6/(-4)). Is r less than or equal to a?
True
Let b = 9 + -4. Suppose -z = b*i - 2*i + 8, 3*z - 3*i = 0. Let n = -36 + 36. Is n bigger than z?
True
Let h = 9 - 10. Which is greater: 2/13 or h?
2/13
Let p = -20 - -23. Which is bigger: p or 0.2?
p
Suppose v + 6*v = -35. Is -9 smaller than v?
True
Let r be 10/25 - (-34)/(-10). Let p be r*(3 - (-24)/(-9)). Is p != -2?
True
Let t = -95 + 97. Let f = -4.97 - 0.03. Which is bigger: f or t?
t
Let o = 10 + -8. Let v be o/6 - (-132)/(-72). Let k be (-1)/(-2) - (-7)/(-2). Do v and k have different values?
True
Let z = 0.15 - 0.51. Let t = -0.04 + z. Let r = t - -0.1. Which is greater: r or -1?
r
Suppose -2*o = -4*o + 6. Let d be (-1)/((-1 - 1) + o). Is d bigger than 0.1?
False
Let p be 4/(-10) - (-504)/585. Is 1 < p?
False
Let f = 53/15 + -433/165. Is f bigger than -0.1?
True
Let p = -0.001 - -7.001. Which is smaller: p or -0.1?
-0.1
Suppose 2*m + 2*m = 16. Let v = m + -7. Are -1 and v equal?
False
Let b = 118/555 + 39/37. Let s = -8/5 + b. Let a = -3 + 3. Is s smaller than a?
True
Suppose -2*f + 4*f = -2*f. Let r(h) be the second derivative of -h**4/12 + h**3 - 7*h**2/2 - 2*h. Let t be r(5). Which is bigger: f or t?
f
Let h be (-4)/(-6) + (-2 - -56). Let j = h - 59. Which is smaller: -5 or j?
-5
Let d be 2286*((-84)/(-44) - 2). Suppose 3*g = -100 + 724. Let u = d + g. Which is greater: u or 1?
1
Let k = -6 - -5.7. Let q = 0.37 + 0.03. Let a = q + k. Which is bigger: a or 0.3?
0.3
Let g = 0.5 + -0.2. Let d = 0 - 0. Which is smaller: d or g?
d
Suppose 0 = -5*s - 146 - 64. Is -43 less than s?
True
Suppose -2*r = -5*r + 3. Is r equal to 1/18?
False
Suppose 3 = -3*y + 3*c + 2*c, 4*c = 3*y. Suppose -4*i + 5*i - 3 = 0. Which is smaller: y or i?
i
Let i be 2 + (-1)/(-2)*2. Let x be (3/(-6))/((-1)/3). Is i smaller than x?
False
Let p(w) = -w**2 - 9*w. Let d be p(-6). Suppose -3*m + d = -0*m - 3*z, -3*m + 16 = -2*z. Suppose m*q + 22 = -q - l, 4*q + 29 = 3*l. Is q at most -6?
False
Let w be ((-3)/(-2))/(-3) - 0. Suppose -5*d = -3*k + 14, 0 = -0*d + 4*d + 5*k - 11. Which is bigger: w or d?
w
Let r(a) = a + 5. Let u(m) = m + 1. Let y be u(-8). Let z be r(y). Is -4 bigger than z?
False
Let f(m) = -2*m + 1. Let g be f(2). Suppose 3*y - 2*y = -1. Let x = -3 - y. Which is smaller: g or x?
g
Let q = 96 + -129. Which is smaller: -31 or q?
q
Let b(t) = 6*t**2 - t + 1. Let w be b(-2). Which is smaller: 28 or w?
w
Let x be ((-1)/(-5))/((-6)/10). Is 0.7 not equal to x?
True
Let g(n) = n**3 + 2*n**2 + 2. Let q(c) = c - 8. Let r be q(6). Let f be g(r). Suppose -f*a = -0*a - 6. Is a bigger than 3?
False
Suppose i = -i. Let v = -2 + i. Is -4/3 > v?
True
Let y be 2 - (-1 + 1526/464). Let x = -12/29 - y. Which is smaller: 1 or x?
x
Let w = 7 - 7.1. Which is greater: w or 1.5?
1.5
Let r be 766/192 - 16/4. Let x = -21678193/96 - -225817. Let g = r - x. Is -4 > g?
False
Suppose -2*b = -2*h, 3*h + 10 = 4*h + 4*b. Let f be 1*2*3/h. Suppose -i + 2*i + f = 0. Is -4 < i?
True
Let r be -1 - (2 - (-7)/(-3)). Suppose 0*q = 2*q. Suppose -k - 3*k = q. Which is greater: k or r?
k
Let j(s) = s + 10. Let y be (-4 - 0) + 16 + -22. Let a be j(y). Is -2/47 not equal to a?
True
Let q be (-18 + 4)/(0 + -1). Let u be ((-1)/q)/(2/8). Let z = 10 + -10. Is z at most as big as u?
False
Let f = -1 - 0. Is f greater than or equal to 0?
False
Let g = -4 + 2. Which is greater: 0.03 or g?
0.03
Suppose j + 4*a = 13, -10 = -3*a - 1. Suppose -2*b = 4*d - 7*b - j, -2*b = d + 3. Is 1 >= d?
True
Let s(j) = j**3 + 7*j**2 - 3*j - 1. Let c be s(-7). Let k = c + -14. Let y be k/(-3)*(-1)/(-3). Which is bigger: y or -1?
y
Let k be (2/(-2))/((-2)/(-14)). Let f = 9 + -17. Which is smaller: f or k?
f
Let a be 6/10 + 2*146/(-20). Is a less than -14?
False
Let t = -0.53 - -0.43. Which is smaller: 7/4 or t?
t
Let t = 11 + -6. Suppose 4*z = -4*b - 4, 7 = z - 2*z + t*b. Is z greater than -1?
False
Suppose -4*d + 2*d + 2 = 0. Let f be 2*(-5)/40*1. Which is bigger: f or d?
d
Suppose -4*z - 3 - 3 = -g, 0 = -3*g + 4*z + 2. Which is smaller: g or -10?
-10
Suppose -2*y - 10 = -4*c, -c - 3*y = 3 + 12. Which is bigger: 2/39 or c?
2/39
Let t = -6 - -10. Suppose 17 = -2*y + 5*r, t*y + r + 16 = 5*r. Which is smaller: 0 or y?
y
Suppose 4*n = 5*n - 5. Suppose 0*q = n*q. Does q = 2/21?
False
Let w be (-2)/((-8)/(-2) + -2). Which is bigger: -24/29 or w?
-24/29
Let b = 71 + -4. Which is greater: 66 or b?
b
Let b(u) = -u**3 + 7*u**2 - 8*u - 8. Let r be b(5). Is 2 <= r?
True
Let a = -361002/7 - -51397. Let y = -442 - -267. Let l = y - a. Are -1 and l unequal?
True
Let u be ((-8)/(-12))/(2/(-12)). Let h(t) = -t**2 - 5*t - 4. Let o be h(u). Let l = -1 - o. Which is smaller: l or 3/10?
l
Let f(k) = -k**2 + 6*k - 2. Let m be f(5). Suppose 4*s - m + 7 = 0. Which is bigger: s or 2/7?
2/7
Let v be ((-22)/4 - -4)/(19/2). Do v and -1 have the same value?
False
Suppose 3*h + 310 = 103. Is h bigger than -70?
True
Let o = 16 + -31. Are -16 and o equal?
False
Suppose -3*b + 4*d = d - 3, -3*b + 4*d - 1 = 0. Suppose 2*s - s - 4 = 0. Is b > s?
True
Let w = 257216555/9 - 28537367. Let a = 42195 - w. Let f = -55 - a. Which is smaller: f or 1/2?
f
Let h(b) be the third derivative of b**6/120 + b**5/6 - 5*b**4/12 + 2*b**3 + b**2. Let c be h(-11). Suppose -5*f + 6*f = 0. Are c and f equal?
False
Let c = 0.2 + -0.18. Let n = c + -0.02. Is 1/3 smaller than n?
False
Let w be (-10 - -4)*3/(-45). Which is smaller: w or 0.6?
w
Let j 