et h be v(-10). Is h at most 0?
True
Let f(x) = -x. Let n be f(-1). Let t(g) be the second derivative of -g**3/6 + 7*g**2/2 + g. Let r be t(6). Is r at least as big as n?
True
Let w = -6 - -4. Let p(d) = 2*d + 6. Let n be (-4)/3*(0 - -3). Let s be p(n). Is w != s?
False
Let i be (-8)/(-2) - (-4)/88*-84. Suppose 0 = -4*v + 1 - 5. Is v less than or equal to i?
True
Let i(x) = x**2 - 3*x - 131. Let l be i(0). Is l at most -131?
True
Suppose -66 = -4*n - 18. Suppose 7*y - 4*y = -n. Let i(z) = -z**2 - 7*z + 7. Let r be i(-8). Which is smaller: r or y?
y
Let o(y) = -y**2 + 10*y. Let g be 10/6*(-6)/(-1). Let b be o(g). Let r = -734/7 - -105. Which is greater: b or r?
r
Let u be 1/(-3)*(12 - 12). Is 1/5 at most u?
False
Let d = -1.6 + 3.6. Let p = d + -1.9. Are -2 and p unequal?
True
Let p be 2/(-7) + (-23)/(-105). Let f = 227 - 227. Is p not equal to f?
True
Suppose n = 2*n. Let v = -0.8 + 1. Which is smaller: n or v?
n
Let v = -354049/99852 + 562/159. Let u = v - 6403/24178. Let d = -2/77 - u. Is d <= -1?
False
Let r be 4/21*6 + 5/(-35). Is r < 1?
False
Let g = 11 - 17. Let v = 8 + g. Let z = v - 1. Is z greater than 1/6?
True
Suppose -4*r + 20 = 4*s, -2*s = s + 5*r - 15. Is -2 bigger than s?
False
Let i(o) = o**2 + 4*o - 3. Let b be i(-5). Suppose -b*h + h + 8 = 0. Which is smaller: h or 9?
h
Suppose 4*b - 4*j + 60 = 0, -5*b + 0*j = j + 63. Let k = 14 + b. Which is smaller: -0.1 or k?
-0.1
Let q = -3596/37317 + 2/1777. Do -1 and q have the same value?
False
Let s = -8623/5344878 - -8/3521. Let w = 11005/759 + s. Let t = -13 + w. Is t greater than 1?
True
Let v be (-5364)/(-1377) - 4 - (-2)/(-17). Is v at most as big as -0.3?
False
Let j be (-3)/((4 - 5) + 4). Which is smaller: -20/9 or j?
-20/9
Suppose 2*s + 5*w + 13 = 0, -5*s + w + 3*w - 49 = 0. Does -10 = s?
False
Let k(z) = 3*z - 1. Let w = -2 - -4. Let b be k(w). Suppose -3*c = -b*c. Which is smaller: 1/4 or c?
c
Suppose -4*s + 10 = -4*j + j, 16 = -2*j + 5*s. Which is greater: 1 or j?
j
Let l(f) = -f + 5. Let w(r) = 1. Let o(i) = -l(i) + 3*w(i). Let d be o(-2). Is d >= -4?
True
Let g be 31/6 - 3/18. Suppose -o = -2, g*v = 2*o - 3*o - 8. Which is greater: v or 1/2?
1/2
Let a be ((-2)/(-6))/(57/(-54)). Let u = 4/133 + a. Let m be -2 + 1 - (-4)/3. Is m bigger than u?
True
Let q = -0.08 - -0.48. Let f = -0.4 + -1. Let y = f + q. Which is smaller: -0.1 or y?
y
Let y be 2/(-9)*(-6)/4. Suppose 0*s = 5*s + 30. Let j be ((-1)/3)/((-2)/s). Is j != y?
True
Let r be (-1 + (-24)/(-20))*-2. Is 0 >= r?
True
Let w(z) = z + 10. Suppose -2*h + u = 16, 4*h - 5*h - 4*u - 17 = 0. Let p be w(h). Which is bigger: p or 2?
2
Let y = 3 + -3. Which is greater: y or -5/8?
y
Let i be (-12)/76*(-2)/(-3). Let p(v) = v**2 - 5*v. Let s be p(5). Which is bigger: i or s?
s
Let j be -1 - (4/(-1) + 2). Is -10 >= j?
False
Let a(u) = -u + 4. Let f be a(2). Let p = 3 + f. Is p at least as big as 4?
True
Let k be (-2)/(-12) - 494/(-24). Let q = 21 - k. Let u be 1 - 3 - 9/(-4). Is q > u?
False
Let n = 63 - 311/5. Which is bigger: n or 0?
n
Suppose 4*q + 2 + 2 = 0. Let w(b) = -b**3 - 3*b**2 + 1. Let h be w(-2). Let g = h + q. Is -2 > g?
True
Let x be (-11)/((-165)/(-20))*(-114)/(-4). Is x greater than -1?
False
Let z = 869/92 + 53/23. Let q = -12 + z. Which is smaller: q or 1?
q
Suppose 5*h + 11 = 1. Let w = -1 - h. Let y = -73 + 583/8. Which is bigger: y or w?
w
Let m = -350/9 + 116/3. Let t(u) = u**3 - 4*u**2 + 3*u + 1. Let v be t(3). Which is bigger: v or m?
v
Let r = 0.758 - 0.058. Are r and 1 equal?
False
Let t(s) be the first derivative of -s**4/4 - 5*s**3/3 + 5*s**2/2 - 3*s + 1. Let k be t(-7). Let p be (-2)/(-3) + k/18. Is 4 at least p?
True
Let n be (3/2)/(3/4). Let p = -2 + 4. Suppose g - 3*m = 18, -9 - p = -2*g + m. Is n at most as big as g?
True
Let b(h) = -h**3 + 3*h**2 + 5*h - 2. Let r be b(4). Let j = r - 1. Let u = 25/9 - 13/9. Which is smaller: u or j?
j
Let g(a) = 2*a + 27. Let b be g(-9). Is b <= 7?
False
Suppose 2*h - 3*r - 18 = -0*h, -3*h = -4*r - 26. Suppose 0 = -h*z + 2*z + 16. Suppose k = -k + z. Are k and 2 equal?
True
Let n(o) = o + 6. Let q be n(-6). Which is bigger: q or 2/77?
2/77
Suppose -w - 5*s + 5 = -6, -3*w - 4*s = -11. Let l = 7/3 - 113/51. Let b = l + -4/17. Is b greater than w?
False
Suppose -4*r + 5 = -15. Suppose 0 = -r*t + 55 - 160. Let o be 2 - 0 - (-36)/t. Which is bigger: o or 2/3?
2/3
Let b(m) = m**3 + 9*m**2 + 6*m - 20. Let p be b(-8). Is p != -9?
True
Let x be ((-286)/(-65))/(2/(-10)). Let c be 4/x - (-276)/1155. Which is bigger: c or 1?
1
Let r(a) = -a**2 + 7*a + 6. Let c be r(5). Let o be 4/c*(-5 - -1). Which is greater: o or -2/11?
-2/11
Let m = 1.98 - -0.02. Let o = 0 + m. Let c = o - 0. Is c != -1?
True
Let w = -8 - -13. Is -0.3 at most w?
True
Suppose o = 5*o + 108. Let w = o - -107/4. Which is smaller: w or 1.3?
w
Let b = 6 - -7. Suppose s + b = 2. Is -11 at least as big as s?
True
Let t = -10 + 12. Let f be (-2)/(-4)*1/t. Which is bigger: f or -3?
f
Let y = -691/3069 - -1/341. Suppose -4*j + 7 = -11*j. Is j greater than or equal to y?
False
Let b be -1 - (-2 + -2 + 2)*2. Is b at least 18/11?
True
Let z = -9 - -12. Suppose 0*c + z*c = 6. Is 4 less than c?
False
Let k = 0.74 + -0.7. Let q = -0.04 + k. Let f be 24/(-14) + 2/(-7). Which is smaller: f or q?
f
Suppose 4*q - 66 = -54. Which is smaller: 5 or q?
q
Suppose -4 = -0*q + 4*q. Which is bigger: q or -7/6?
q
Suppose -4*w + 12 = -0*w. Suppose 0 = -5*h + w*b - 8, 0*b + 2 = -5*h - 3*b. Suppose 3*y = -2*f + 2, -2*y - 3 = -f - 2*f. Do y and h have the same value?
False
Suppose -2*i = -i - 7. Suppose b + i = -o + 3, -b + 5*o = -20. Suppose b = -0*u - 3*u - 3. Which is smaller: u or 0?
u
Suppose 0 = -2*j + 6*j + 56. Let d be j/(-36) - 4/18. Let i(g) = -g**2 - 4*g + 1. Let f be i(-4). Is d at most as big as f?
True
Let k = -6/131 + 633/5240. Is k < 0.1?
True
Let n = -5 + 1. Which is smaller: n or -1?
n
Let r = 59757/80 - 747. Which is smaller: 0 or r?
r
Let y = -1.97 - -2. Let i = -0.43 + y. Let r = -0.5 - i. Is -0.1 at most r?
True
Let w be ((-3)/9)/(1/3). Let f be (-2)/(-22)*(0 + 2). Which is greater: f or w?
f
Suppose 8 = 3*m - 7*m. Let f(s) be the first derivative of -s**2/2 - 2*s + 46. Let n be f(m). Is n <= 3/8?
True
Let s be (1 - 2 - 0)*-1. Let y be 7/(-2) - s/2. Suppose 0 = -2*h - 2*h - 20. Which is greater: y or h?
y
Suppose -4*u = -0 + 8. Let n be 432/(-5) - (-4)/u. Let j = n - -88. Is j at least as big as 1?
False
Let n be 1 + 5/6*(-3 - 6). Let f = -8 - -2. Which is greater: n or f?
f
Suppose -45 = -5*i - 55. Let j be 0 + (-1)/((-20)/(-16)). Which is bigger: i or j?
j
Let o be -3*4/(-6) + -3. Let n be (-10)/(-210) - o/(-3). Is 1 at least as big as n?
True
Let i(f) = f**3 - 2*f**2 + f. Let z be i(1). Suppose -3*g + 4*h + 11 = z, -2*g - h - 4 = 2*h. Are 1/3 and g non-equal?
True
Let k(z) = 2*z**2 + 19*z - 15. Let r be k(-10). Let m be 2/7 + 52/14. Let j be m/6*3 - 8. Which is greater: r or j?
r
Let s = -75 - -71. Is s not equal to -4?
False
Let q = -20 - -59/3. Let o be 1 + (1 - -2)/(-7 + 3). Which is smaller: o or q?
q
Let i be (3 - 1)/(2/2). Suppose 0 = -3*v + 4*v - i. Suppose 0 = 3*f - 3*j, v*f = 3*j - 2*j + 2. Is 2/3 equal to f?
False
Let w = -0.03 + 0.02. Which is smaller: w or 0.1?
w
Let g(p) = 2*p - 12*p - 5 + 11*p. Let j be g(12). Is 6 > j?
False
Let n = 46.04 - 53. Let w = n - 0.04. Is w at least as big as 0?
False
Suppose 0 - 8 = -4*m. Let o(d) = 2 - d**m + 5*d + 3*d - 4*d. Let g be o(4). Which is smaller: g or 1?
1
Let y = 31 + -29. Let n = 0.1 - 0.1. Which is greater: y or n?
y
Let g = -12 + 13. Which is smaller: -0.029 or g?
-0.029
Let q = 1.2 + -0.88. Let z = q + -0.4. Let k = z + -0.02. Is k greater than or equal to 0?
False
Let r(f) = -6*f - 1. Suppose -4*x + 4*i = -8 - 8, 5*x + 2*i - 41 = 0. Let g(v) = 13*v + 2. Let q(d) = x*r(d) + 3*g(d). Let m be q(-2). Is m bigger than 3?
True
Let j = -1018/9 + 113. Which is bigger: -0.2 or j?
j
Suppose d - 10 + 1 = 0. Is -1 greater than d?
False
Suppose -65 = -5*m + 6*m. Let q be m/39*(-2)/(-25). Is 0 greater than or equal to q?
True
Let g(k) = 3*k - 12. Let w be g(6). Let j be 18/(-8) + 4/16. Let h be 3/(-3)*j/w. Is h not equal to 0.3?
True
Suppose -3*f + 9 = -0*f. Suppose -f*l - 4 = -l. Do l and -2 have different values?
False
Let g(h) be the second derivative of -h**3/6