8/19 + -166/95. Is -1/7 <= h?
False
Suppose -2*j = -j + 1, -5*f + j + 11 = 0. Let s = 6 - f. Let g = 45 + -42. Which is smaller: g or s?
g
Let l = -211.18 + 211. Let o = 21.9 + -21. Let d = -1 + o. Which is smaller: d or l?
l
Let b be (21/(-2))/(22/(-44)). Which is greater: 20 or b?
b
Let r(z) = z**2 + z + 2. Let y be r(0). Let i be (4*y/(-32))/((-14)/(-4)). Which is smaller: i or 0?
i
Suppose -3*a = -5*y - 1 - 12, -y = 2. Let h be -3 + (2 - (3 + -8)). Suppose -3*b = -r + 16, 2*b + 5*r + 4 = h*r. Which is smaller: b or a?
b
Let z(v) = v + 12. Let n be z(-8). Suppose -n*c + 15 = -1. Suppose 0 = 4*i + c*w - 12, 0*i + 3*i = w + 9. Is i > -0.5?
True
Suppose 0*m + m + 9 = 0. Suppose 30*q = -41 - 199. Which is smaller: q or m?
m
Let o = -0.16 + 0.25. Let c = 0.13 - o. Let w = 0.16 + c. Is w < -3/4?
False
Let f = -41.029 + 0.029. Let b = -41.34 - f. Let v = b + -1.56. Which is smaller: v or -2/7?
v
Let n be (528 - -3) + 0 - -6. Do 536 and n have the same value?
False
Suppose h - 77 = -2*f, -h + 4*f + 77 = -30. Let p = h - 44. Is p < 43?
False
Let f = 411 + -298. Is f >= 115?
False
Let n = -327.94 - -328. Which is smaller: -0.056 or n?
-0.056
Let k = 43 - 0. Let g = 44 - k. Is g > 7/5?
False
Let d(r) = -r**3 + 5*r**2 - 3*r + 23. Let i be d(5). Let h(b) be the first derivative of -b**3/3 + b**2/2 + 8*b - 3. Let o be h(0). Is i at most as big as o?
True
Let v(x) = -3*x**3 + 3*x**2 + 7*x + 9. Let u be v(-6). Which is smaller: u or -1?
-1
Let v be 1/4 + (1/(-4) - 1). Does -2/273 = v?
False
Let d = -5.94 + 6. Let n = d - 9.06. Which is greater: n or -0.1?
-0.1
Suppose -2*b + 7*b = 20. Suppose 4*a - b = 6*a. Let v be (-113)/23 + -14 + 5120/368. Is v less than or equal to a?
True
Let y = -30 + 33. Suppose 0 = 2*k + y*u - 2, 0 = 4*u + 4 - 12. Is k greater than or equal to -9/5?
False
Let t = -18.886 - 0.114. Let m = t - -19. Is -6 less than m?
True
Let d = 6.88 + -4.9. Let w = d + -0.98. Is w greater than 0.35?
True
Suppose -71*m + 68*m = 66. Which is bigger: -70/3 or m?
m
Suppose 0*n = 3*n. Let s be -19 + -13 + (-1 - n). Let o be 20/s - 4/(-6). Is -1 < o?
True
Let v be (-29)/21 + (-2)/7. Let o = -4/3 - v. Which is greater: o or 1?
1
Let i = 11.8 - -1.2. Let j = -0.29 + -0.01. Is j at least i?
False
Let w = -40 + 6. Let r be ((-9)/(-18))/(1/(-68)). Do w and r have the same value?
True
Suppose y + 589 = -5*o, -y + 3*o - 544 = -o. Which is smaller: -563 or y?
y
Let n = -44 + 16. Let m = 15 - n. Which is greater: m or 45?
45
Let q = -41635 + 41624.8258. Let j = -0.2442 - q. Let n = j + 0.07. Which is smaller: n or -1/4?
-1/4
Suppose -3*b + g = -347, 2*g - 583 = -5*b + 6*g. Is 343/3 greater than b?
False
Let s = -11 - -7. Let c be (-5 - s) + 26/22. Let h = 126 - 129. Which is smaller: h or c?
h
Let h be (194*-30)/5 - (-12)/(-3). Let c be 4*2/(440/64238). Let b = c + h. Do -1 and b have the same value?
False
Let x = 1367 - 1824. Is -458 != x?
True
Let u = -192884/93 + 2074. Which is smaller: -0.1 or u?
-0.1
Suppose -3*l + 15 = 0, 0*m + m + 5*l - 30 = 0. Suppose -2 + m = -3*g. Is -1 at least g?
True
Let l = -12/67 + 242/603. Is l less than or equal to 30?
True
Let j be ((-1)/(-22))/((-10)/(-16)). Let w be (-1 - (-4 - 0))*12/(-36)*-1. Which is bigger: w or j?
w
Let r be 20/110 + (-106)/(-22). Suppose 2*b + r = 35. Let t be 65/b + 4/(-2). Which is greater: 2 or t?
t
Let i = 5.2 + -4.99. Let j = i + 16.79. Which is smaller: j or 0?
0
Let t(f) = -10*f - 2. Let q be t(1). Are -87/7 and q unequal?
True
Let m(g) = -8*g - 2. Let b(l) = -129*l - 33. Let k(j) = -2*b(j) + 33*m(j). Suppose 0*p - 6 = -3*p. Let o be k(p). Which is greater: -11 or o?
-11
Let y = -32 + 33. Let g be (-5)/4 + y + 738/72. Let b = 29 + -20. Which is greater: g or b?
g
Suppose 0 = c + d + 227, -896 = 4*c + 4*d - 3*d. Which is smaller: c or -224?
-224
Let w = 0.0528 - -0.1472. Which is smaller: 0.163 or w?
0.163
Let q = -11 + 9. Let g = 7 + q. Suppose -g*v + 0 + 1 = 3*f, -5*v = -2*f + 9. Is 3 smaller than f?
False
Let l(t) = -2*t**2 + 31*t + 71. Let s be l(-2). Let c(v) = -v - 2. Let h be c(-5). Let b be (-3)/h*(-1 - 0). Is b greater than s?
False
Suppose 3*z - 6*z + 3 = 0, -w - 33 = -z. Which is bigger: -30 or w?
-30
Let q = -1.8 - -4.3. Let f = q - -7.5. Let r = -22 + f. Is r >= -1/2?
False
Let b be (368/44)/4 - 1. Let n = b - 130/99. Suppose 0*r + 2*p = 4*r, r = 2*p. Is r equal to n?
False
Suppose -4 = -4*u + 4*v, 0*v - v = -5*u - 3. Let j(y) = y**3 - y**2 + y - 2. Let m be j(2). Suppose m*z = 5*z + 6. Which is bigger: u or z?
u
Suppose -8 = -5*h + 4*p, -4*p - 4 = -3*h - h. Let q be 1/(1 + 6/(-9)). Suppose q*m - 2*g = 7, -g + h = m - 0*m. Is 3 smaller than m?
False
Let d be (106/12 - -2)*308/(-1155). Suppose -5*y = -5*t, 2*t + 0*t - 5*y - 9 = 0. Which is greater: t or d?
d
Let j(z) = z**2 - 11*z - 2. Let q be j(8). Let i be 2*(3 + q/4). Let r be i/((-14)/(-8)) - -15. Is r at least 12?
False
Let a = -185 + 70. Let n = a - -115.12. Which is bigger: -2/3 or n?
n
Let m be (0*3/(-12))/(61/61). Let y = 28 + -251/9. Which is smaller: y or m?
m
Suppose 5 + 0 = 5*v. Let d(o) = 49*o**3 - 2*o**2 + 2*o - 1. Let y be d(v). Suppose 3*m - y = -21. Which is smaller: 11 or m?
m
Let s be 2/5*10 + -5. Is s bigger than 23?
False
Let o be (-24)/(-72) - (-13)/(-12). Is -1/163 > o?
True
Let k = 90 + -89. Let b be 37/11840*k*5/4. Which is greater: b or -1?
b
Suppose 3*r - 5*m + 32 = 39, r + 5 = -2*m. Is r at most as big as 1/102?
True
Let h(x) be the third derivative of x**6/120 + x**5/5 - x**4/12 - 25*x**3/6 + 32*x**2. Let b be h(-12). Which is bigger: -3/40 or b?
-3/40
Let x = -229836262/6563 - -35020. Let l = -26134/387217 + x. Which is bigger: l or -1?
l
Let o be ((-35)/(-15) - (-30)/(-18))/(3/(-9)). Let p be (-4)/6 - 47/(-3). Suppose 5*i - 4*m + p = 0, -4*i = -3*m + 3 + 9. Is i greater than or equal to o?
False
Suppose -2*x - 55 + 187 = 0. Let i = -331/5 + x. Are -1/2 and i unequal?
True
Let t be 2/(-4)*1/13. Is t at most as big as -1/6?
False
Suppose -2*h + 2*f + 8 = 0, 27 + 13 = 4*h + 4*f. Which is bigger: -25 or h?
h
Let r(u) = 2*u - 2. Let a be r(0). Let w = a + 4. Suppose 3*z = -4*v + 3, -3*v + w = -z - 10. Which is smaller: z or -2?
z
Let b be (8/30)/(3 - 9465/3177). Let x = -66/5 + b. Which is smaller: x or 0?
x
Let v(y) = -7*y + 1. Let q be v(1). Let n be (-1)/(-2) - (-4)/q. Let j = -4 + 4. Which is greater: j or n?
j
Let x = 0.048 - 0.248. Which is bigger: 0.78 or x?
0.78
Let y be 3 - -2 - (0 - -1)*13. Which is smaller: y or -5?
y
Let b = 2376 + -487077/205. Let g = 2713/3280 - b. Let j = g + 43/144. Is 1 <= j?
True
Suppose 3*z + 6*z + 17721 = 0. Let g = 13807/7 + z. Which is smaller: g or 4?
g
Suppose -23*p - 3 = -26*p. Let v(y) = 4*y + 4. Let b be v(-11). Let q = b + 446/11. Which is smaller: q or p?
q
Let c = -8 - -5. Let k(g) = g**2 + g - 2. Let a be k(2). Suppose -3*w - a = -2*v, -2*v - 2*w = 10 + 6. Is v at least c?
False
Let q = 108 - 54. Let x = q + -94. Let u be ((-6)/4)/(570/x). Which is smaller: u or 0?
0
Suppose -2*u = -2*s - 1258, -4*u + 3*s + 2492 + 26 = 0. Suppose 3*j = 5*z - u, 2*j = 3*z - 0*j - 378. Let l be (z/(-12))/4 + 2. Is -0.8 < l?
True
Suppose -3*n + 2*n + 37 = 2*t, 0 = -t + 2*n + 26. Let a = 15 - t. Is a at least -4?
False
Suppose -8*h - 4 + 20 = 0. Suppose -z = -h*z. Is z > -6/61?
True
Let r be (-88)/(-110) + 14631/(-17710). Let q = 3/253 + r. Is q not equal to -1?
True
Let v = -0.01 + 0. Let j = v - -5.01. Let q be (1/5)/((-6)/(-10)). Which is greater: j or q?
j
Let c(a) = a**3 + a**2 + 4. Let o be c(0). Suppose -2 = -d - 2*j, -o*j + 0 = -4. Suppose 2*l - l + 8 = d. Which is smaller: -9 or l?
-9
Let f = -0.51 - -28.51. Let w = -34 + f. Let t = w - -7. Which is smaller: 1/27 or t?
1/27
Let q be (-1)/2 + (-117)/2. Let c be ((59*3)/(-3))/(101/101). Is q at most c?
True
Let f = -0.20012 - -0.10012. Let p = -875.71 + 864. Let r = p + -0.29. Are f and r equal?
False
Let i be ((-14)/4)/(34/68). Let s be (9 + -1)/(-2 - -1). Which is bigger: s or i?
i
Let u = 3 - -2. Suppose -4 = -u*d + 2*n, -3*d + 2*n - 9 = -3*n. Which is smaller: d or 0?
0
Let l = 2.1 + -2.5. Suppose -5*t + 25 = 5*o, -4*t + 14 = 5*o - 4*o. Suppose -4 = o*x + 2*x. Is x > l?
False
Suppose 11 = -5*j + 36, 2*y - 23 = j. Let z = 30 + -15. Let s = y - z. Which is smaller: -3/14 or s?
s
Let x = -160463/444 + -77/222. Let z be