 + 9. Let k be h(-5). Does k = 0?
False
Let j = 0 - -1. Suppose 56*d - 68*d = 0. Is d less than j?
True
Let p(n) = -n**2 + n + 1. Suppose -5*a - 4*l - 8 = 0, 2*a - 2*l + 7*l + 10 = 0. Let w be p(a). Suppose -k = -0*k. Which is bigger: w or k?
w
Let j = -9 - -3. Let d = j + 5.9. Does d = -0.1?
True
Let r be 152/(-70) + (-12)/30. Let z = r + 155/63. Are z and 1 equal?
False
Suppose -30 + 3 = -3*u. Let x be -1 + (-1 - u/(-3)). Let k = -46 - -185/4. Do x and k have different values?
True
Suppose -4*w + 50 = -9*w. Let b = -24 - -15. Is b less than or equal to w?
False
Suppose z = -3*c - 2, 2*z = 3*z + 5. Suppose -13 = 4*i - c. Let n be i/(-9) + 1/(-3). Is 0 > n?
False
Suppose 2*u = 3*o - 6, 2*u - 8 = -5*o + o. Is 6/19 less than or equal to u?
False
Let g = 5.633 + 0.067. Is g > -1/3?
True
Let m = -4882/117 + 528/13. Is -0.2 bigger than m?
True
Let r = 23 - 32. Is r less than or equal to -2?
True
Let q be 0 + (1 - 2) - -89. Let x = q + -34. Let y = x + -215/4. Which is smaller: y or 0?
0
Let b = -43 + 43.1. Which is bigger: 11 or b?
11
Let h = 27034 + -135938/5. Let n = h - -153. Is -1 at least as big as n?
False
Let j be 2/3*(2 - -1). Let g(d) = -1 - 2 + 1 + d + d**2 + 0*d**j. Let u be g(0). Is u >= -4?
True
Let p = 2 - 1. Suppose -5*u + p = f, -5*f + 2*u + 12 = -20. Suppose -f = -0*o - 2*o. Which is smaller: -0.1 or o?
-0.1
Let j = 5.1 - -0.9. Let i = -5.4 + j. Is i <= 0?
False
Let f be (124/(-66) + 2)*(-12)/4. Which is greater: f or 1?
1
Let c = -2 - -2. Let v(w) = -w**2 + 5*w - 2. Let f be v(3). Suppose c = -f*r - 4. Which is greater: r or 2/9?
2/9
Let w be 86/42 + (-8)/(-28). Do w and 1 have the same value?
False
Let b(i) = -i + 5. Let p be b(5). Which is smaller: p or -5/8?
-5/8
Let r = -2 + -3. Let a = r + 4.6. Which is bigger: 1 or a?
1
Let p(j) = 5*j**3 + 2*j + 1. Let d be p(-1). Let z be 3/(-9) + (-8)/d. Do z and 1 have the same value?
True
Let q = -76 - -56. Is q > -20?
False
Let x be (2/39)/(2 - (-8)/(-3)). Suppose 2*f + 1 - 3 = 0. Which is greater: x or f?
f
Let p = 5094/7 + -726. Do p and 1 have different values?
True
Let v = -2/131 - 125/393. Let w be (-1 - 10)*(1 + 0). Is v bigger than w?
True
Let z = 0 - -3. Let y(i) = -i**3 + 2*i**2 + 2*i + 4. Let a be y(z). Is a != 1?
False
Suppose a - v = -3*a + 10, -v = a. Which is smaller: 3 or a?
a
Let r(i) = -i**3 - 2*i**2 + 3*i - 1. Let l be 4 + (-3)/(-1 + -2). Suppose l*d + 0*d = 2*f - 4, f - 5 = 4*d. Let t be r(f). Is -2 at most t?
True
Let r be 2/6 - 60/(-9). Suppose r*g = 3*g. Let v be 0 + 0 + (-4 - -2). Is g at most v?
False
Suppose 0 = 5*w - 4*f - 17, -f - 2*f = 2*w - 16. Suppose -3*n + 0*n + r = -5, w*n = 3*r + 11. Is -2 smaller than n?
True
Let y(j) = j**3 + 11*j**2 + 6. Let g be y(-11). Suppose g = -3*u, -62 = 3*r + 3*u + u. Let f be (-11)/r - (-4)/18. Which is greater: f or 2?
2
Let i be 11 - 0/(3 - -1). Let o = i - 18. Which is smaller: o or -1?
o
Let k(t) = -5*t - 39. Let o be k(-8). Let p = -2 - 0. Let j be 32/57 - p/(-3). Is o < j?
False
Let c be (-3)/1 - 123/(-39). Which is greater: 1 or c?
1
Let j = -17.1 + 16. Let h = 3 + j. Let k = h - 2. Is k greater than or equal to -3?
True
Let i be 2/6 - (287/(-147) - -1). Which is smaller: 2 or i?
i
Let y = -2 - -2. Let x(p) = -2*p**2 - 30*p + 29. Let z be x(-16). Which is smaller: y or z?
z
Let f(p) = p - 5. Let z be f(7). Let i = z + -4. Let m(g) = -g**2 - 6*g - 4. Let l be m(-6). Which is smaller: i or l?
l
Let s = 7.9 + -0.9. Let v = s - 6.8. Which is smaller: -1/6 or v?
-1/6
Let u = -1.1 + 0.8. Let d = 9 + -8.89. Let j = d + -0.21. Which is bigger: u or j?
j
Let v = 40 - 40.21. Let r = -0.79 + v. Let j = -1/28 - -31/84. Which is smaller: r or j?
r
Let i = 0.02 - -0.04. Let p = i + -5.06. Suppose 2*r + 6 = -4*j + 5*j, 0 = -5*r + 3*j - 17. Is p at most as big as r?
True
Suppose -3*b + 1 = -5. Let r be (-7)/(21/(-6)) - b. Is r at least as big as -1?
True
Let l = -8 + 5. Let v(i) = -i**3 + 4*i**2 + 5*i + 1. Let p be v(5). Let c = p + l. Are -2 and c equal?
True
Let b = -2 - -4. Suppose 3*g - 9 = -3*r, 5*r - 9 = -g - b. Let j = 4 + -3. Is j at most as big as r?
True
Let f be (57/(-60))/1 - -1. Which is smaller: -1 or f?
-1
Let n be 20/8*8/410. Which is smaller: n or -1?
-1
Let l(w) = w**2 + 8*w + 6. Let n be l(-5). Let v = -10 - n. Let p be (-2 + 2)/(1/1). Which is smaller: v or p?
v
Suppose -5*n - 25 = b, -n + 4 = -0*n + 2*b. Let g be 2 + n/(-9)*-3. Is g != 0?
False
Let g = 14 - 8. Let m = g - 2. Is m at most as big as -0.1?
False
Let q = 1.4 + -8.4. Let r = -6 - q. Is -6 bigger than r?
False
Let o = 18.1 + -18. Which is bigger: -13 or o?
o
Let l(m) = -m**2 - 9*m - 18. Let d be l(-8). Is -11 at least as big as d?
False
Suppose 0 = -3*c - 4*w + 27, -27 = 2*c - 5*c + 3*w. Let f be (15/c)/(3/9). Are f and 5 equal?
True
Let c(n) = n**2 - 5*n - 8. Let u be 32/4*(-6)/(-8). Let k be c(u). Let b(m) = m**3 + 29*m**2 - 30*m - 3. Let g be b(-30). Which is greater: g or k?
k
Let x = 0 + -0.1. Let d be 196/(-6)*(-2)/861. Let o = d + 6/41. Which is greater: x or o?
o
Suppose 3*g + 11 + 38 = 5*b, 0 = -2*g + 4. Which is greater: 12 or b?
12
Let d = -2.4 + 2.2. Let f = -7 - -6.97. Which is smaller: f or d?
d
Suppose -14*z - 17 = 3*z. Do z and -9/4 have the same value?
False
Let f(i) = -i**2 - 7*i - 4. Let w be f(-5). Suppose -3 = -h + 2*h, -w = 2*d + 2*h. Let r = 19 + -19.1. Which is smaller: r or d?
r
Let q = 15 - 13. Is 5 less than or equal to q?
False
Suppose -46*a = -45*a - 5. Which is smaller: 13 or a?
a
Suppose -7*b + 8 = -9*b. Let j be (-2)/b*(0 - 22). Is j greater than or equal to -1?
False
Suppose 5*k = -w - 5, 0 = -0*w + 2*w + k + 1. Let j = -41/30 + 7/6. Is w < j?
False
Let m = -6.98 + -0.02. Which is smaller: m or 3/5?
m
Let p be -10 - 0 - (-3 - 0). Let u = 4 + p. Is -1/2 at least as big as u?
True
Let h(v) be the second derivative of v**3/6 + v**2 - 2*v. Let m be h(3). Does 6 = m?
False
Let m be 8/(-3) + -3 + 7. Suppose 0 = z + 2*z - 9. Suppose -h = z*h. Which is greater: m or h?
m
Let w = -11 - -24. Let v = w + -13.1. Suppose 0 = 3*h - 3*z + 9, 4*z - 13 = 3*h - 0*h. Which is greater: v or h?
h
Let y = 17466/37 - 472. Let g = 80/111 - y. Let p be (2 - (2 + 0)) + 0. Is p smaller than g?
True
Let y = 0 - -0.1. Suppose 2 = -h + 2*h. Suppose h*a + 2 = 4. Is y less than or equal to a?
True
Let g = 14 - 8. Let z = -1 + g. Suppose -p - 2*p - 12 = z*b, 5*b + 20 = 5*p. Which is greater: p or -2/9?
p
Suppose 16 = 4*v - 4*c - 4, 4*c + 11 = v. Let g be 7/4*v/14. Is -2 >= g?
False
Let c = -80 - -125. Is 0 at least c?
False
Let p(a) = a**3 - 3*a**2 - 5. Let y be p(3). Which is greater: -3 or y?
-3
Let m be (2/42)/((-2)/(-4)). Let l be (-2)/10 + 5/25. Which is smaller: m or l?
l
Suppose 4*d - 3 = -2*a + 7, 2*a - 3*d = -4. Let w be 12/9*(-24)/16. Let o = a + w. Which is greater: o or 3/8?
3/8
Let z(h) be the second derivative of -h**3/6 - 5*h**2/2 + 2*h. Let f be -9*((-16)/(-6) - 2). Let t be z(f). Which is bigger: t or -1?
t
Let j(b) be the third derivative of b**5/60 + b**4/24 - b**3/6 + 3*b**2. Let p be j(-2). Which is bigger: -2/41 or p?
p
Let q be 22/(-8) - 65/52. Which is greater: q or -19/6?
-19/6
Let c = 26 - 9. Which is smaller: c or 16?
16
Let m = 1/793 - -3947/14274. Let x = m - -1/126. Let u(q) = -q**3 + 8*q**2 - 6*q - 7. Let v be u(7). Is x less than v?
False
Let h = 10 - 12. Are 0 and h unequal?
True
Let u(c) = -c**2 - 6*c - 1. Let l be u(-6). Let q = -35/18 - -11/6. Which is bigger: q or l?
q
Let r(h) = -h - 11 - 2*h + 2*h. Let x be r(-17). Let d(f) = -f**2 - f + 5. Let y be d(0). Which is smaller: x or y?
y
Let i(p) = p - 2. Let u be i(-7). Let s be (2/6)/((-3)/u). Suppose 4*z - 3 - s = 0. Which is smaller: z or -2/9?
-2/9
Let v(s) = 2*s - 4. Let n be v(3). Suppose -2*i = 3*b + 4, 2*b = n*i + 2 + 2. Let a be (i/3)/(8/(-6)). Is a not equal to 1/2?
False
Let q = -37 - -183/5. Which is bigger: q or -1?
q
Suppose q - 72 = -3*q. Suppose 3*v - 4*x + 2*x + q = 0, -4*v - x = 35. Let w = v - -9. Which is smaller: w or 6/5?
w
Let y be (88/(-30))/((-24)/15 - -2). Which is greater: y or -6?
-6
Let d = -19.2 - -19. Let s = d - -1.2. Let j = 1 + -2. Is j >= s?
False
Suppose 0 = 3*a - 0*i - i - 16, 0 = -5*a - 2*i + 12. Let y be a/10*60/112. Is 1 at most y?
False
Let u(p) = -2*p**2 + 31*p + 14. Let f be u(16). Let h be (-1 + -2)/(15/(-2)). Is h not 