 (-70)/72 - (-8)/h. Is o at most -2/3?
True
Let k = 164 + -1146/7. Let b(y) = -y**3 + 3*y**2 + y + 2. Let i be b(3). Suppose 0 = 2*w + i*a - 7 - 6, 2*w - 3*a = -11. Which is greater: k or w?
k
Suppose -5*j = -0*j + 35. Let d(a) be the third derivative of -a**6/120 + 7*a**5/60 + a**4/24 - 7*a**3/3 + 5*a**2. Let r be d(7). Is r greater than j?
False
Suppose 0 = 45*v - 29*v - 192. Is 224/17 equal to v?
False
Let h be (-2)/5*60/72. Let j be 1/70*-8 + (-2)/7. Which is greater: j or h?
h
Let u(b) = 3*b**2 + 109*b + 61. Let l be u(-36). Let n be (-360)/(-14) - 2/(-7). Is n bigger than l?
True
Let g be 455/(-49) + 9 + 1/2. Let i = -2 + 2. Which is smaller: i or g?
i
Let h(i) = -i**3 - 3*i**2 + 2*i - 3. Let l be h(-4). Suppose -l*z + 14 + 1 = 0. Suppose -2 = -z*y + 4*y. Which is greater: y or -4?
y
Let s(u) = -u**3 + 18*u**2 - 16*u - 20. Let w be s(17). Let k be w/24 - 27/(-24) - 2. Which is smaller: k or 2/97?
k
Suppose 4*o = -48 + 84. Which is smaller: o or 11?
o
Let r(d) = -d**3 - 19*d**2 - 32*d + 29. Let m be r(-17). Is m greater than or equal to -10?
True
Let o = -35 + 35. Suppose 2*j = r + 4*r - 3, o = 3*j - 3*r + 9. Let g be ((-8)/(-84))/(j/(-12)). Which is smaller: g or -8/5?
-8/5
Let r(x) be the third derivative of -x**5/60 - x**4/12 + x**3/6 + 21*x**2. Let c be 4/(-5)*(-55)/(-22). Let d be r(c). Which is smaller: d or 5/6?
5/6
Let z = 1434 + -1424. Suppose 3*c = -x + 28, 2*x - c + 0*c - 21 = 0. Suppose -q - 3 = -x. Does q = z?
True
Let b = 0.34 + -3.44. Let z = 1.4 + b. Let h = 3.1 + z. Which is bigger: 0.1 or h?
h
Suppose 0 = 2*l - 13 + 5. Suppose 0 = 3*d - l*h - 9, 0*h - 13 = -2*d + 5*h. Which is greater: -2/13 or d?
-2/13
Let b = -1.175 - -12.145. Let t = b + -11. Let h = t - 6.97. Which is bigger: 0.1 or h?
0.1
Let i = 86 - 85. Let n = -5 - 9. Let v = n + 176/13. Is v <= i?
True
Suppose 2*j + 24 = -q, -2 = 2*q + 2*j + 48. Let f = -25 - q. Which is greater: 2 or f?
2
Suppose 5*i + 188 = -5*j - 27, 0 = -2*i + j - 89. Which is greater: i or -40?
-40
Let r = 13819 + -373019/27. Let s = -1/54 - r. Suppose -g + 2*y = 3, -g - g = -y + 6. Which is greater: g or s?
g
Let h = 504 - 506. Is h equal to -221?
False
Let p = -10.2 - -9.65. Let t = p + -58.45. Which is bigger: 0 or t?
0
Let r(z) = z + 1. Let v be r(2). Let a(n) = -4*n - 9. Let o be a(-6). Suppose 6*h = h + v*p - o, -5*h - 35 = p. Which is greater: h or -8?
h
Suppose 444 = -3*j + s, 590 = -4*j - 0*j + 2*s. Let k = j - -1040/7. Which is smaller: k or 0.02?
k
Let c = 0.25 - -1.75. Are 0.022 and c non-equal?
True
Let o = -0.9 - -1.01. Let p = -0.11 + o. Are 0.09 and p nonequal?
True
Let x be (-4)/((-4)/4) + -1. Suppose k - x*k = -4*c + 2, 4*k = 4*c. Which is bigger: c or 2/79?
c
Let t be (112/(-84))/(4/18). Let c be (3/(t/(-4)))/15. Which is smaller: c or 0?
0
Let f(a) = -a**3 - 21*a**2 - 15*a + 96. Let i be f(-20). Which is smaller: -7 or i?
-7
Suppose 4*z - f - 6 - 7 = 0, 3*z - 3*f = 3. Suppose 0*b = b + 2*b. Suppose -5*q + 8 = -b*q - 4*s, -3 = -s. Is q bigger than z?
False
Let k = -2 - -11/4. Suppose -83 + 89 = 2*h. Suppose -5*y + 13 = h*l, -2*l - 11 = -5*y - 3*l. Are y and k equal?
False
Let m(r) = -9*r**3 - 3*r**2 + 9*r - 13. Let k be m(3). Which is bigger: k or -258?
k
Suppose 0 = -0*j + 4*j + 120. Let x = j + 392/13. Which is smaller: x or -3/4?
-3/4
Let c = -500 - -769. Which is smaller: c or 271?
c
Let h be -58*(-1)/(-96) - 4/(-6). Let c(g) = g - 7. Let d be c(6). Does d = h?
False
Let a(l) = 18*l + 298. Let t be a(18). Which is smaller: t or 0.1?
0.1
Let z = -16 + 36. Let x be 1/(-18)*30/z*-2. Let r = 4 + -7. Which is smaller: r or x?
r
Let n = 1 + 3. Suppose n*r - 84 = -0*r. Let f be r/(-28) + (-2)/(-2). Is f at least as big as 1?
False
Let m = -27 + 17. Let h be m/44*-4 - 0/(-2). Which is smaller: h or 0?
0
Let i = -1017/2 + 508. Which is bigger: i or 5/69?
5/69
Let m be (-267)/(-518) - (8 + 150/(-20)). Is m greater than 0?
True
Let z be (-1640)/392 + (7 - (0 - -3)). Which is smaller: 1 or z?
z
Suppose 2*g + 4*m + 0*m = 4, 3*g + 4*m = 2. Let n be (g/4)/((-10)/(-40)). Let l be ((-3)/30)/(n/(-45)). Which is smaller: l or -3?
-3
Suppose -s + 65 = 79. Are s and -6 non-equal?
True
Let y = -483 + 884. Let w = -2413/6 + y. Which is smaller: w or 0?
w
Let x(s) = -s**2 - s. Let u be x(0). Suppose -m + 6 = k, u = 3*k + 4 - 19. Which is bigger: -1 or m?
m
Let m = -362/15 + 104/5. Which is smaller: m or -3?
m
Let w be (-4 - (-5)/2)/((-30)/(-8)). Is w at least 884?
False
Let p be 2*(-1 - (0 + 1)). Let j be 2/(-9)*(-6)/p. Is 1/3 < j?
False
Let j = 3 + 0. Suppose -j*p + 2*p = 0. Suppose -5*o + 4*w + 5 = p, 4*o + o - 5 = 2*w. Is 2/43 less than or equal to o?
True
Let k be 16/6 + (-2)/3. Let z(a) = -4*a**3 - 2*a**2 + 1. Let g = 6 + -7. Let d be z(g). Is k >= d?
False
Let u be 6/(-3)*(3 + (-360)/117). Is u > 25/17?
False
Suppose -3*r + r + 6 = 0. Suppose -r*x - 4 = -2*b, -x + 6 + 16 = 4*b. Let a = 0.07 - 2.07. Which is greater: x or a?
x
Let p be 11*-1*(-540)/64. Let k = 93 - p. Let v = k - -5/16. Which is bigger: 0 or v?
v
Let s(l) = 269*l**3 + l**2 + 2*l + 3. Let g be s(-2). Let j = g - -513609/239. Let m = j - -315/9082. Which is smaller: m or 0?
0
Suppose -4*u - 22 = 2. Let d be u/9 - (-67)/99. Is 0 > d?
False
Let m = 13 - 16. Let u = 2 + -2. Suppose 2*c + 10 = -u*c. Which is smaller: m or c?
c
Let y(q) = -q**2 - q - 6. Let b be y(0). Is b smaller than -4?
True
Let g = 5.78 + 50.22. Is 2/9 bigger than g?
False
Let k = 257 + -201. Do k and 0.1 have the same value?
False
Suppose 1360 = 46*j - 20. Let i = 29 + 1. Is j < i?
False
Let p be 6 + 828/(-135) + 32/15. Which is greater: p or 84?
84
Suppose 40 + 0 = 2*x. Suppose 5*p - 2*i = 5, 0*i + x = 4*i. Let g = 2 - p. Is 1/7 at most as big as g?
False
Let s be ((-2)/4*9)/66. Suppose -3*f - 5*c = -33, -5*f - 48 + 29 = -4*c. Which is smaller: s or f?
s
Let u(d) = d**2 + 6*d - 14. Let c be u(3). Let i = 1 - 1. Suppose 0 = 2*r + 3*a - 6*a - 39, -5*r + a + 65 = i. Which is bigger: c or r?
c
Suppose 0*f + 5*a = 5*f - 5, -a = 2. Suppose -4*n = -2*p + 7*p + 12, 12 = -4*n + 5*p. Let d be 1 - (n + 4 + 2). Is d less than or equal to f?
True
Suppose -2*o + 15 + 63 = 0. Let j = 1809 + -1770. Is o not equal to j?
False
Let j be (-9)/15 + (-15)/(-25). Suppose -3*n = n - 8. Suppose j = o + n*o. Is o equal to -1/11?
False
Let x be (866/290 - 3)*40. Which is bigger: -2 or x?
x
Let u = -3.279 + -0.021. Let w = u + 2.2. Is w greater than -1/3?
False
Let f = -81 - -80.932. Let l = f - -1.068. Which is smaller: 43 or l?
l
Let o be 60/9*1/4. Let l(a) = a + 5. Let p be l(-3). Suppose -q - 1 = -p*q. Which is bigger: o or q?
o
Let i(a) = a**2 + 3*a + 2. Let n be i(3). Suppose -3*q + 6 = 4*t - n, -4*t + 12 = 2*q. Let x be 89/7 + 10/35. Is x greater than q?
False
Suppose 0*s = 5*s + 20, 5*s = -5*b + 115. Suppose 13*n - 14*n = -b. Which is bigger: n or 26?
n
Suppose 160 + 975 = 5*y. Is y greater than or equal to 228?
False
Let y = -31977251751/155 - -206303058. Let r = -1792 - y. Do r and 0 have the same value?
False
Let m be ((-10)/3)/(-4*1). Suppose 0 = 4*q - 2 - 10. Suppose -n = q*n. Is n smaller than m?
True
Suppose 0 = 5*v + 2*f - 4*f + 128, -3*f = 3*v + 60. Do -24 and v have different values?
False
Let u = 105.73 - 105.2. Which is bigger: 0 or u?
u
Let q = -5 + 3. Let a = 0.00542 + 0.69458. Which is smaller: q or a?
q
Let u(x) = -8*x**3 + x**2 - 6*x + 5. Let m be u(2). Let j = -67 - m. Suppose -3*b - 12 = 0, l + 4*l + 2*b = -18. Is l >= j?
False
Let g(t) = -22*t - 365. Let c be g(-16). Are -1/28 and c non-equal?
True
Let q = -274 + 236. Which is smaller: -11 or q?
q
Let b = 17937 + -18066. Let r = -3 + 3.1. Which is greater: r or b?
r
Suppose 6*a + 10 = 11*a. Is a less than -1?
False
Let k = 0 - 6. Let d be ((-3)/8)/(k/(-4)). Let u = 597 - 596. Which is smaller: d or u?
d
Let k = 0.029 - -2.071. Let h = 0.1 - k. Let u = -2 + 2.1. Are u and h equal?
False
Let h = 6/569963 - 1712739151/31917928. Let o = h - -366/7. Which is smaller: o or -2?
-2
Suppose 2*a - 59 = 15*l - 20*l, 3*a - 120 = 3*l. Are a and 35 equal?
False
Let p = -0.033 + 2.333. Let s = p - 4.1. Let h = s + -0.2. Is h at most as big as 4?
True
Let t be (19 + -17)/(10/(-654)). Is t > -132?
True
Suppose 0 = -h + 2*l + 28 - 64, h + 48 = -4*l. Do h and -45 have the same value?
False
Suppose -9 = -5*w - v, 4*w -