0. Is h != -1?
True
Let x be 4/(-6) - 5/(-3). Let k(c) = 6*c**2 - 2. Let h be k(5). Let v = h - 589/4. Is x less than or equal to v?
False
Let t = -125 + 130.9. Let s = 6 - t. Let m be 4/6 - 35/21. Which is smaller: s or m?
m
Let c = -0.008 - 0.049. Are 0.1 and c nonequal?
True
Let d = -31/187 - 3/187. Suppose -11 + 4 = -4*v + m, 5*m = 5*v + 10. Let w = -3 + v. Is w greater than d?
True
Let j = -6.5 + -1.5. Let d = j + 7. Is 2/11 less than or equal to d?
False
Let a = -1 - -3. Suppose -f - 24 = -5*g, 3*f + 2*g + 3 - 16 = 0. Which is smaller: a or f?
f
Let s = -0.04 + 2.04. Let o = -2 + s. Let i = 0.11 + -0.01. Which is bigger: i or o?
i
Let z(w) be the third derivative of w**5/30 - w**4/24 - w**3/6 - w**2. Let u be z(-1). Is 2 less than or equal to u?
True
Let l = -36 + 39. Which is smaller: l or -1?
-1
Let v(t) = -t**3 + 7*t**2 - t + 5. Let s be v(6). Let j be (-372)/(-10) - (-7 - -9). Let l = s - j. Which is smaller: 0 or l?
l
Let g be (12/14)/(2/(-14)). Let f = -4 - g. Let k be (-115)/(-105) - f/3. Which is smaller: -1 or k?
-1
Suppose 0 = -2*p + 5 - 1. Let h be (1 + -3 + p)/1. Which is smaller: h or -1?
-1
Suppose 4*x + 2*w - 3 + 9 = 0, w + 3 = 4*x. Which is bigger: x or -1?
x
Let v = -6 + -3. Let y = -8.95 - v. Is y greater than 0?
True
Let j(c) = c - 7. Let b be j(9). Let x be -1*1*(-3 + 0). Suppose 6 = -0*l + x*l. Is b at least as big as l?
True
Let p = -48 + 49. Do -2/147 and p have the same value?
False
Suppose 3*v = 2*b - 17, 48 = 5*b - 4*v + 2*v. Let t be (16/30)/((-4)/b). Let l be -2*((-6)/(-10))/3. Which is smaller: t or l?
t
Let b be 24/(-32) - (-1 - -1). Is b <= 0?
True
Let s(m) = -m**3 + 4*m**2 + 5*m. Let t be s(5). Suppose 2 = -t*h + 2*h. Suppose -2 - h = 3*l. Is l less than -2/9?
True
Let a(h) = h**3 + 7*h**2 - 7*h + 9. Let v be a(-8). Is v at least -2/5?
True
Let k(d) = d**3 + 7*d**2 + 7*d + 7. Suppose 0 = 3*u - u + 12. Let j be k(u). Let a be (0 + 1 + -2)*j. Which is smaller: a or -3/4?
a
Suppose -7*z = -5*h - 12*z - 35, -h - 7 = 5*z. Which is bigger: h or -6?
-6
Let l = 1/2542 - 851591/53382. Let x = l - 222/7. Let z = -1579/33 - x. Which is bigger: -1 or z?
z
Let n(o) = o**3 - 5*o**2 - 7*o + 6. Let c be n(6). Let a be 2/9 + 3/(-54)*22. Which is smaller: a or c?
a
Let s = -8003/4 + 1991. Does -9 = s?
False
Let r(t) = 2*t + 94. Let w be r(-48). Let y be (20/(-6))/((-11)/(-3)). Which is bigger: y or w?
y
Let y be (-4 + 4)/(0 - -1). Let t be y/(-1 + (-1 - 0)). Suppose 2 + 0 = -k. Which is smaller: k or t?
k
Let j be (2 + -1)/((-4)/(-3)). Let c = j - 1/4. Is c > 0.04?
True
Let z = 2.7 + -0.9. Let f = 6.2 + z. Which is greater: f or 0?
f
Suppose 9*h - 3*h = 90. Is 14 less than or equal to h?
True
Suppose -5*r - 10 = 0, 4 = -4*k + 2*r - 4*r. Is k at least 10/11?
False
Let n = -54 - -36. Is -19 at least as big as n?
False
Let m = 4 + -6. Let a(h) = -h**2 - 9*h - 2. Let k be a(-8). Let s be -2 + 1 + k/(-3). Is s less than m?
True
Let v = 0.096 - 0.596. Is v bigger than -0.1?
False
Let m(j) = j**3 + 8*j**2 + 7*j - 4. Let t be m(-7). Let b be t/(-6) - (-30)/9. Is b != 5?
True
Let m(w) = w. Let u be m(1). Suppose -24 = -12*i - 0*i. Is i not equal to u?
True
Let a be 4 + (0 - (7 + -2)). Let x = 199/15 + -73/5. Which is smaller: a or x?
x
Suppose 8 = v + 3*v. Let i(p) = p - 4. Let s be i(12). Suppose 0*x = v*x - s. Which is smaller: x or 2?
2
Suppose 0 = -d + 2*d. Let i = -3 + -1. Let f = -2 - i. Is f at least d?
True
Let d(j) = 11 - 9 + 3*j - 4*j. Let v be d(1). Which is smaller: v or -1/6?
-1/6
Let z(u) be the second derivative of u**3/6 - 2*u**2 - 3*u. Suppose -1 = r - 5. Let f be z(r). Which is smaller: 1 or f?
f
Suppose 5*j + 0 = -10. Suppose o - 2*w - 2 = 4, 0 = 5*o - 4*w - 6. Let c be (-1 + -1)*o/(-8). Which is greater: j or c?
c
Let i be 2010/4011*-2 + 1. Let x = i - -70921/26740. Let k = -12/5 + x. Which is smaller: 0 or k?
0
Let p = -22.1 + 22.5. Let q = 3 + -2. Is p equal to q?
False
Let s be (-2)/(-5) + (-12)/5. Suppose 2*g - 40 = 4*g. Let t be (-4)/g - 17/10. Which is greater: t or s?
t
Let q = -83 + 99. Is q equal to 15?
False
Let x = 0 - 2. Is 1/6 bigger than x?
True
Let o = -5.9 - -6. Do o and 2/5 have the same value?
False
Let w be (-10)/12 - 6/9. Let g(u) = u + 8. Let l be g(0). Let p = 6 - l. Which is smaller: p or w?
p
Let w(k) = -12*k - 9. Let u(p) = -6*p - 5. Let d(x) = 11*u(x) - 6*w(x). Let r be d(1). Do r and 5 have different values?
False
Let s be (1/(-1))/((-3)/(-9)). Let l = s - -5. Suppose -4*v = -b - 2 + 14, -l*b + 6 = -2*v. Is b bigger than 2/15?
False
Suppose -2*u - 9 = -5*x + 5, -2*x = -3*u - 10. Let m be 19/(-22) - (-1)/x. Which is smaller: 1 or m?
m
Let o be 1/(-2) - (-11)/(-2). Let z = 16 + o. Let y be z/(-9) - 2/(-3). Is 1 greater than y?
True
Let t = -31 - -32. Which is smaller: t or 5?
t
Let h = 158/259 + -12/37. Is -1 at least as big as h?
False
Suppose v + 4 = -3*v. Do v and -2/5 have the same value?
False
Let v(x) = 3*x**2 + 3*x + 6. Let n be v(-5). Let b = n - 331/5. Is b at least as big as -1/3?
True
Let o(v) = -v**3 - 12*v**2 - 3. Let d be o(-12). Let q = d - -3. Which is bigger: q or 0.1?
0.1
Let c(n) = -3*n - 7. Let x(s) = -s. Let j(z) = -c(z) - 3*x(z). Let a be j(-2). Are a and -4 unequal?
True
Let k = -236.06 + 238. Let t = -2 + k. Let a be (2/25)/(7/35). Which is smaller: a or t?
t
Suppose 0 = -2*d + 13 + 9. Let c be 6/(-15) - d/(-40). Which is greater: 0 or c?
0
Let x = 2 - 1. Let z = 2.31 + 0.29. Let w = 3.6 - z. Is w smaller than x?
False
Let k = 0.15 + -13.15. Is -1 <= k?
False
Suppose -1 - 11 = 6*a. Which is greater: -6/11 or a?
-6/11
Let n = 3 + -3.08. Let z = -0.92 + n. Let q = z + -1. Which is bigger: -2/7 or q?
-2/7
Let h be (-45)/(-6)*(-4)/(-3). Is 10 at most as big as h?
True
Let f = -0.03 - -0.07. Let h = -0.04 + f. Are h and -1/3 non-equal?
True
Suppose -3*b = -30 + 6. Suppose b*m + 18 = x + 3*m, 0 = 5*x + m + 14. Let y = x - -3. Are 5/4 and y non-equal?
True
Let z = -7 - -7.6. Let c = z - 0.7. Is c > 4/7?
False
Let a = -13 + 13.1. Let q = a + 2.9. Which is smaller: q or -1?
-1
Suppose -4*c + 0*q = 3*q, 5*c = -q - 11. Which is bigger: -5 or c?
c
Let i(x) = x. Let c be i(-2). Let f(d) = d + 1. Let a be f(c). Let s be 2/(-2) - (-5)/(-40)*-4. Which is smaller: s or a?
a
Let b be 42/4*(-18)/(-9). Is b less than 21?
False
Let r = 37 - 702/19. Which is smaller: r or 0.1?
r
Let z(f) = 2*f + 17. Let l be z(-10). Let h = 0.3 - 0.4. Let x = h - 0. Is x != l?
True
Let o = -21 - -35. Let i be o/4 - (-2)/4. Let k(z) = -z**3 - 4*z**2 - 5*z - 3. Let n be k(-3). Is i < n?
False
Let s(a) = a**3 + 6*a**2 - 2*a - 6. Let y be s(-6). Let z = y + -5. Is -2/7 < z?
True
Let d = -9.04 + 1.44. Is d smaller than 0?
True
Let t(u) = -3*u - 5. Suppose 3*g - 1 + 7 = 0. Let f be t(g). Suppose -13 + 5 = 2*y + 3*n, y = 3*n + 14. Which is bigger: f or y?
y
Let o = -9 + 18. Is o at least 9?
True
Let r be 6/(-9) + 5/((-15)/(-2)). Is r <= -8/19?
False
Let m be 0 - 1 - -3*(-1)/(-3). Let v = 3 - 2. Let s be v + (-3 - (-1 + 0)). Are s and m non-equal?
True
Let w = -17897/260 - -915/13. Let i = w - 9/5. Which is greater: i or -1?
i
Let g(n) = n - 11. Let u be g(8). Is u > -2?
False
Suppose 3*p - 64 + 13 = 0. Suppose l - 4*s + 2*s = -7, s = 2*l + p. Does l = -8?
False
Let y = -9 + 5. Let j = 7 + y. Is j at most as big as 2?
False
Let d(u) = 3*u + 61. Let w be d(-13). Which is smaller: 20 or w?
20
Let a = -271/30 + -23/10. Is a at least -10?
False
Suppose 3 - 5 = 2*k. Let s = 704/9 + -78. Is s smaller than k?
False
Let w(b) = b**3 - 2*b**2 - 4*b - 2. Let d be w(-2). Let j(g) = -g - 11. Let z be j(d). Which is bigger: z or -2/21?
-2/21
Let a = 0.08 - -0.02. Let r = -4190/13 - -322. Which is smaller: r or a?
r
Suppose -3 = -i - 0. Suppose 0*u + 4 = u. Suppose u*m + 2*r = 8, -5*r + 7 = m + 23. Is m greater than or equal to i?
True
Let a(r) = -r - 2. Let q be (-1 + 1 - 0)/2. Suppose -w - 3 = -q*w. Let i be a(w). Which is smaller: i or 0?
0
Let k(p) = -p + 1. Let a be k(-4). Suppose a*m = 4*m + 1. Let j be 21/60 + m/4. Which is smaller: j or 1?
j
Let d(r) = r + 1. Let x be d(-1). Let w be -1 + 6/2 + 1. Suppose -w*v - v = x. Is v at most as big as 1?
True
Let k be -1 - (20/(-4) - -2). Which is smaller: k or 4?
k
Let x(i) = i**2 - 8*i - 4. Let n be x(9). Suppose 0*m + 28 = -4*m. Let b(j) = -j**2 - 7*j + 4. Let l be b(m)