0. Let j = 387/5 - 78. Let h = j + d. Is 0 <= h?
True
Suppose c + 8 = 3*c. Let j be 1 - (56/10)/c. Let t be 0 + 1 + -3 + 1. Is j at least t?
True
Let l = -16 + 10. Let n be 4/6 + 4/l. Suppose -4*z + v = 2 - n, 4*v = 2*z - 6. Is z at least as big as 2/5?
False
Let c = 49 + -37. Which is smaller: c or -0.1?
-0.1
Let q(j) = -42*j**3 + j**2 + 3*j + 3. Let t be q(-1). Is t bigger than 43?
False
Let v be 4/(-1) + 52/10. Is v < 1?
False
Let m = -766 - -22216/29. Do 0 and m have different values?
True
Let d be -1 + 10/(-5) + -2. Which is smaller: -4 or d?
d
Suppose -2*j = v + 2*v - 3, 3*j = 2*v + 24. Suppose a + j = 2*a. Which is smaller: 4 or a?
4
Suppose -3*c - 2*c + 15 = 0. Suppose -x = 2*k - 1 + 5, -1 = -c*k + 2*x. Let y(q) = q**3 + 5*q**2 - 5*q + 6. Let n be y(-6). Is n smaller than k?
False
Suppose 0 = -5*t + 17 + 23. Which is bigger: 10 or t?
10
Let y be (6/(-27) - 0) + 0. Let k = 0 - -3. Suppose -5*p = -7 - k. Is p equal to y?
False
Let g(p) = p**3 + 11*p**2 + 7*p + 4. Let c(b) = 2*b**3 + 23*b**2 + 13*b + 9. Let d(f) = 2*c(f) - 5*g(f). Let y be d(-8). Is y greater than or equal to 6?
True
Let s = 2302/7 + -328. Which is bigger: 2 or s?
2
Let b(h) be the second derivative of -h**3/6 + h**2/2 + 12*h. Let n be 0/(-2)*(0 + -1). Let a be b(n). Which is bigger: 0 or a?
a
Let j be ((-15)/20)/(1/32). Let x be (-3 + j/(-9))/(-1). Let n = 33/5 + -7. Is n less than x?
True
Suppose -a = -0*a + 2. Let j be 1 + -1*a/(-2). Are -2 and j equal?
False
Suppose -5*b - 3 = 2. Suppose 32 = -5*u + 3*a - 4, -u = a + 4. Let d be 2/9*u/(-4). Is b equal to d?
False
Suppose -5*d + 43 = 3. Suppose -8 = 3*t - 2*s, 2*s + d = -5*t - 0*s. Let f = -5/6 + 7/12. Which is bigger: t or f?
f
Suppose -3 = 5*r - 18. Suppose -5*u - 8 = -r*s, s + 0*u = -2*u - 12. Let l be 2/s*(-2 - -2). Is l smaller than 1/3?
True
Suppose 40 = 2*a + 2*a. Suppose 4*u - 7 = -6*y + 5*y, -2*u = 2. Are a and y equal?
False
Let j(p) = -p**3 + 6*p**2 + 8*p - 8. Let g be j(7). Let x = -5 + g. Is -6 > x?
False
Suppose -3*v - 7 = -2*s, -7*s + 30 = 5*v - 2*s. Let w = 3 - v. Suppose 0*n + n = 3. Is n greater than or equal to w?
True
Let k = -1 - -5/6. Is k <= -25/6?
False
Let g(z) = z**3 - 10*z**2 - 12*z + 12. Let k be g(11). Which is greater: k or -1/15?
k
Let b be (-4)/8*(-4)/7. Suppose x + x = 0. Which is bigger: x or b?
b
Let g = 56 + -64. Is g less than or equal to -4?
True
Suppose 14 = 4*w - 2*w. Let v be (2 - 2)/(-3) + 12. Let k = -5 + v. Is w greater than k?
False
Suppose 2*o = -0*v - 2*v + 22, -3*v - 5*o = -39. Suppose v = -2*l + 6*l. Are 1/2 and l equal?
False
Let c = 0.05 - -0.01. Let k = 45.3 - 48. Let l = k + 2.6. Which is greater: l or c?
c
Suppose -5*t + 6 - 11 = 0. Is 13 smaller than t?
False
Let m be 0/(0 + 1) + 0. Suppose -2*i - 5 = -4*q - 3*i, -q - 4*i + 20 = m. Is -3/7 smaller than q?
True
Let l = 7 + -12. Suppose -5*k = -0*k + 2*u - 40, -k = 3*u - 21. Let g = l + k. Which is bigger: g or 2/3?
g
Suppose -3*r = -0*r. Let v = 0.4 - -1.6. Let g = v - 1.9. Which is smaller: r or g?
r
Suppose 2*o + 0 - 8 = 0. Suppose -o*a = -9*a + 15. Which is bigger: a or 9/4?
a
Let h be 2 - (-9)/(-4) - 4. Is h equal to -5?
False
Suppose 0 = -2*l - 6, -5*x = -6*l + 3*l - 24. Suppose x*d - 12 = -0. Suppose -i = d*r + 7, 4*i + 0*r - r + 28 = 0. Is -6 greater than i?
True
Let m = 3 + -4. Is m less than 2/45?
True
Suppose 2*y + 12 = 2*k + 36, 5*y + 3*k - 36 = 0. Let z = 11 - y. Let q be z/(-6)*(-12)/8. Which is smaller: q or 0?
0
Let b = 0 - 0. Let w = 31 - 33. Let h = w - b. Is h <= 0.1?
True
Let l = -2/7 + 15/28. Let n(j) = -2*j + 0 + j + 2*j - 1. Let w be n(1). Which is smaller: l or w?
w
Let m = 4 + -4.2. Is 1.3 less than m?
False
Suppose -5*l = -14 + 4. Suppose -z - l - 1 = 0. Let x be (-2 - z)/((-2)/(-2)). Does 2/5 = x?
False
Suppose 0 = -8*g + 67 + 45. Which is smaller: g or 12?
12
Let t be ((-6)/(-4))/(18/204). Suppose 2*j + 18 = 3*i, -5*i - 5*j + t = -4*j. Is i less than -4?
False
Let v = 3455/356 + 4/89. Let s = v + -19/2. Are 1 and s equal?
False
Let i = 96289/7268 - -3/1817. Let x = i - 59/4. Which is greater: x or -2?
x
Let d be -5*(-3)/(-6)*-2. Suppose c - 4 = d*c. Let r(s) = -s**3 + s**2 + 2*s. Let l be r(2). Are l and c nonequal?
True
Suppose 11 = 5*m - 4. Suppose -m*j = -j. Let f be j - 3*(-3)/21. Is 1 bigger than f?
True
Let p be (-3 + -4)*(2 - -1). Let h be p/(-12) + 6/(-8). Is h greater than 2/9?
True
Let y be 1/(21/(-14))*(-27)/(-2). Is -10 smaller than y?
True
Let c = 10 + -4. Suppose 0 = -3*a - c - 9. Is a <= -5?
True
Let a = 17 + -17.4. Is a equal to -7?
False
Let a = 4 + -3. Which is smaller: 0 or a?
0
Let n = 0.34 + -0.04. Let l = 0.03 + -7.03. Let y = 6 + l. Does y = n?
False
Let o = 6.99 - -0.01. Let u = -5 + 10. Let f = o - u. Is f equal to 2/7?
False
Let x be (-6)/((-16)/(-4) + 2 + -4). Is -3.5 at most x?
True
Let o = 9.3 + 4.7. Are o and -2/7 nonequal?
True
Let t be 1 + 0/(3*-1). Suppose 5*u - 4 - t = 0. Which is bigger: 0.2 or u?
u
Let c = -0.26 - -0.26. Are -6 and c non-equal?
True
Let k = 4.4 + -0.4. Let t = 3 - k. Is t at least as big as -1/2?
False
Let g be (16/(-20))/((-6)/38705). Let t = g - 5085. Let n = -75 + t. Is 2 at least as big as n?
True
Let t = 1.96 - -0.04. Let j = -0.9 + -0.1. Which is greater: t or j?
t
Let v = -33 - -33.21. Let k = v - 0.01. Is k at most -5?
False
Let i be (1 + -4)*1/(-1). Let w(k) be the first derivative of k**4/4 - k**3 - 5*k**2/2 + 6*k + 4. Let x be w(4). Is i less than or equal to x?
False
Let r be 16/(4/1) + -38*2. Is r greater than or equal to -72?
True
Let b be (-8)/(-10)*(-10)/(-14). Let r = -8738/21 + 416. Let t = r - b. Which is smaller: 0.8 or t?
t
Suppose -4*h + x = -14 - 5, 4*h - 34 = -2*x. Let b be h/(-36) - 19/(-78). Which is bigger: 1 or b?
1
Let k = 2.0249 - -0.0961. Let y = -0.021 + k. Let b = y + -2. Is 3 <= b?
False
Let i = -3.82 + 4. Let r = 0.08 - i. Is r > 0.2?
False
Let m be (3 + (-30)/16)*2. Let a = m + -4. Is 1 smaller than a?
False
Let f(t) = t**3 + 7*t**2 + 14*t + 4. Let w be f(-6). Is w less than -45?
False
Suppose -5*i = -4*q - 145, -65 = -0*i - 2*i + 3*q. Do i and 24 have different values?
True
Let a(s) = s - 1. Let u be a(6). Let d(p) = 2*p**2 - 5*p**2 + 5*p + 2*p**2 - 13*p - 10. Let q be d(-4). Which is bigger: q or u?
q
Let q be (2/6)/((-2)/6). Let b be ((-1)/3)/(q/21). Suppose 3*r - 1 + b = 0. Is r >= -3/5?
False
Let y = 378625/192 - 1972. Let v be (1131/15)/((-2688)/(-10)). Let j = y + v. Which is bigger: j or 0?
j
Suppose 9*t - 13*t - 48 = 0. Let x be (-4 - -3)*(t - 2). Are x and 15 equal?
False
Let y = 3/31 + -164/93. Let g = -18 - -22. Suppose 6 = -2*k + g. Which is bigger: k or y?
k
Let m = -8/15 + 74/195. Which is smaller: 1 or m?
m
Let w = -5 - -3. Let u be -2 - (-2 - 15/(-9)). Which is bigger: u or w?
u
Let c = -8 + 4. Let z = 4 - 3. Which is smaller: z or c?
c
Let d(j) = -j + 1. Let r(n) = 4*n - 1. Let z(y) = 9*y - 2. Let m(p) = -5*r(p) + 2*z(p). Let h(a) = 6*d(a) - 2*m(a). Let v be h(3). Which is greater: -4 or v?
v
Let i be (-10)/(-16*(-2)/(-718)). Let h = i - 224. Are -1 and h equal?
False
Let h = 8 - 7. Let z = -2/13 - -43/26. Are z and h nonequal?
True
Let y = -133 + 663/5. Let q be 1/2 + 0 + -1. Is y at least as big as q?
True
Let b = -5 - -5. Let i = -2 + b. Which is smaller: i or 0.06?
i
Let w = 0 + 0. Let r = -7639577/155 + 49288. Let h = r - 1/155. Which is greater: h or w?
h
Let n = 19/1180 + 2/59. Let z(l) = -l**2 - 6*l + 41. Let v be z(-10). Which is smaller: v or n?
n
Let q = 4 - 3.88. Let b = 0.02 - q. Which is smaller: b or -5/4?
-5/4
Let o = -1566/5 - -315. Is o not equal to 2?
True
Suppose -4*q - 3*s + 9 = 0, -3*q - 7 = -4*q + 4*s. Let z(n) = 2*n - 4. Let u be z(q). Suppose u*p = 7 + 3. Which is greater: -1/3 or p?
p
Let m(b) = b**2 - 5*b - 7. Let a be m(6). Suppose -3*i + 0*i = -81. Let s be a + 3*6/i. Which is bigger: 1 or s?
1
Let h = 0.52 - 0.42. Are 4/5 and h equal?
False
Let l be (-66)/(-78) - 2/(-13). Let d = 1190/9 - 132. Is l less than or equal to d?
False
Let x = -3/20 - 1/10. Let p(w) = w**2 - 4*w + 4. Let n be p(4). Let d = n + -5. Which is smaller: x or d?
d
Let a(o) = -o**3 + 4*o**2 - o - 4. Let v be a(3). Let f = 29392/5 + -5924. Let p = -46 - f. Is p at least v?
False
Let z = -6 + 15. Let y = z - 5. Let w = 4.1 - y. Which is greater: 1 or w?
1
Suppose 4*u = -4*u + 24. Le