reater than or equal to -1/7?
True
Suppose -4*f + 3*h - 18 = 0, -5*f + 115*h - 12 = 113*h. Let c = -4027/10 + 403. Are c and f equal?
False
Let h(t) = -3*t + 3. Let f be h(-3). Let g be (-6)/(-76)*8/f. Let j = -36 - -35.8. Is j at least as big as g?
False
Suppose 581 + 57 = 11*q. Let n = q - 58. Which is bigger: n or -2/29?
n
Let l = -0.03 + -0.04. Let a = -0.57 - l. Let g = a + 0.6. Does 0 = g?
False
Let w = 241 - 251. Let s = 30 - 21. Let c = w + s. Which is greater: 3 or c?
3
Let n(r) = r**2 + 9*r - 4. Let t(o) = 11*o + 1. Let y be t(-1). Let w be n(y). Suppose 3*d - 2*s = -0*s - 9, s - w = 3*d. Is 2/73 bigger than d?
True
Let m be ((198/(-8))/(-11))/(1/16). Let n be (-6)/(-56) - (-2 + m/16). Is 1 not equal to n?
True
Let l(u) = -3*u - 24. Let d be l(-5). Is d equal to -16?
False
Let u = 100 - 105. Let z = u - 3. Which is smaller: -0.03 or z?
z
Let p = 140 - 172. Which is smaller: p or -34?
-34
Let n be 4 - 8 - 25/(-7). Let k = 4/7 + n. Suppose -2*r = r - 3. Is r <= k?
False
Let l = -1025 - -1046. Let x be 4/6 + 122/6. Does l = x?
True
Let z = 14236 - 241829/17. Is 10 greater than or equal to z?
False
Let k(n) = -4*n - 43. Let t be k(-6). Which is greater: t or -13?
-13
Let s = 4.7 + 0.3. Is 3 > s?
False
Let i = 5 + -1. Let c(t) = -t - 3. Suppose 2*m = m - 2*l, 3*l - 6 = 0. Let h be c(m). Which is smaller: i or h?
h
Suppose 0*f + 16 = 4*m - 4*f, 5*m - 20 = -2*f. Suppose -m*u - 16 = 0, -4*w + 2*u + 39 = -17. Let o = -0.2 + 0.1. Is o at least as big as w?
False
Let n = 74.6 - 13.6. Let r = -60.9 + n. Is r at least as big as 1/7?
False
Let b = -39 - -32. Let t = -4152/11 + 36532/99. Is b greater than t?
True
Suppose 3*z - z + 3*h - 29 = 0, 2*h = -5*z + 89. Let w = z + -12. Let t(y) = -y + 15. Let c be t(w). Is c < 8?
False
Suppose -63*f = -60*f + 33. Which is smaller: f or -12?
-12
Suppose -4*i - 8 = -2*h, i - h - 5 = -4*h. Is 1/893 at least i?
True
Suppose q = 4*d, 5*q = 3*q - 3*d - 33. Let r = -46.965 - 0.035. Let z = -46.9 - r. Is z less than q?
False
Suppose 6*s + 7*s = 0. Is -5/92 > s?
False
Suppose -6012 - 1988 = 16*q. Which is smaller: -501 or q?
-501
Let m = -375 - -378. Let t(a) be the second derivative of -a**3/6 - 3*a**2/2 - a. Let x be t(-6). Is x greater than m?
False
Let v(c) = -c**3 - 3*c**2 - 2*c. Let j be v(-2). Suppose j = -z + 3. Suppose -z = 3*p - 3*n, -p - 3*n = -5 - 10. Is p <= -2?
False
Suppose 0 = -5*o - 8 + 28. Suppose s = -o*s + z - 5, 4*s + 5*z = 25. Which is smaller: s or -3/22?
-3/22
Let u = 117 + -112. Let g = 44 + -133/3. Is u at least as big as g?
True
Suppose 1015*v - 1006*v = -783. Which is bigger: -82 or v?
-82
Let j be (-4)/30 - ((-2002)/165 - 11). Suppose 3*n - 12 = 0, 2*z + 5*n + 4 = 3*z. Let m = j - z. Which is smaller: m or 1/13?
m
Suppose 3*u + 3*v - 132 = 0, u - 3*v = -8*v + 28. Which is smaller: u or 11?
11
Let c be (-57 - -59)/((6/261)/(-1)). Which is smaller: c or -86?
c
Let k be (17 - 14)/(18/(-48)). Let f be (1 - 39)*(-2)/(-10). Which is smaller: f or k?
k
Let h be ((-40)/(-232))/((-100)/(-40)). Which is smaller: h or -1?
-1
Let n(i) = -i**2 + 4. Let c be n(2). Suppose c = -2*f - 14 - 0. Which is smaller: -9 or f?
-9
Let s = -622 + 545.8. Let j = s - -76. Is j less than or equal to -2/7?
False
Suppose 4*l = 4*u + 24, 3*l = -3*u - 4 - 26. Let w be (u/12)/(16/(-12)). Which is greater: 3/16 or w?
w
Let p = 8837 + -8839. Suppose 4*a - 2*a = -2*h, 0 = h + 3*a. Is h less than or equal to p?
False
Let t(i) = 2*i + 6. Let v be t(-4). Let r be (18/(-27))/((10/(-252))/(-5)). Let b = r + 82. Is b greater than v?
False
Let p = -519 - -529. Which is smaller: p or 26?
p
Let l = 0.493 - 0.393. Is -0.57 bigger than l?
False
Let k be (-2996)/(-39) - 4/26. Let x = k + -680/9. Which is greater: 0 or x?
x
Let l = -54 - -33. Let a = 185 - 206. Are a and l non-equal?
False
Let m be ((-11)/(-3))/((-28)/84). Which is smaller: 0.01 or m?
m
Suppose -x - f = 3*f, 4*f + 72 = 5*x. Let d be ((-52)/x - -4)*-6. Suppose -d = y + 3*u - 8, -4*u + 29 = -y. Are y and -11 nonequal?
True
Let n be (-232)/(-16)*4/2. Suppose n + 3 = 4*h. Suppose -3*y - 3*j - j = -h, 0 = 2*j + 2. Is 3/5 > y?
False
Let n = -341 - -300. Is n not equal to -36?
True
Let s be 62/(-124)*1/(-29). Which is smaller: s or 0?
0
Let f = 185 - 230. Are f and -43 unequal?
True
Suppose 0 = -f - 2*s + 5 - 2, 0 = -5*f + 5*s + 30. Suppose 0 = -4*a - 4*c - 12, f*c + 8 = -2*a + 2*c. Which is greater: a or 0.5?
0.5
Let r(y) = -41*y + 29. Let o be r(5). Let h = o + 175. Let t be 8/(-70)*15/(-18). Which is bigger: t or h?
t
Let n be (0/1 - 12/154)*-2. Is -1 less than n?
True
Let k be -204 - (0 - (11 - 6)). Which is greater: -200 or k?
k
Let d(s) = s**3 - 6*s**2 - 3*s - 4. Let p be d(7). Suppose p*o = 22*o - 6. Which is smaller: o or -1?
o
Let m be (-1)/(-14)*(-7 - -4 - -1). Are -1 and m unequal?
True
Suppose 2*u + 17 = 2*t + u, -2 = 2*u. Suppose 14 = 6*x + t. Let v = -2810/21 + 404/3. Which is smaller: v or x?
v
Let s be 4*(-9)/(-6)*(-1)/(-3). Suppose -u + 3 = -2. Let t = 6 - u. Is s smaller than t?
False
Let a(f) = f**3 + 8*f**2 - 8*f - 7. Let j be a(-9). Are -19 and j equal?
False
Let q = -466 + 471. Suppose -2*s + 14 = -4*x + x, 0 = 4*s + 2*x - 44. Which is smaller: s or q?
q
Let a = 297 + -299. Is -27 < a?
True
Let s = -318 - -933. Let o be 110/s*(-12)/2 + 1. Are o and -1 equal?
False
Let v = 93 + -91. Let w be 32/(-116)*v/(-8). Let k(n) = n**2 + 3*n + 1. Let r be k(-2). Which is smaller: r or w?
r
Let c = -0.9 - 7. Let x = -11 - -3. Let d = x - c. Is -7 equal to d?
False
Let f = -277/2 - -137. Let d be (1/(-3))/((-2)/(-6)). Which is smaller: d or f?
f
Let v be ((3010/(-10))/7)/(-1). Is 43 smaller than v?
False
Let o = -0.111 + -0.079. Does -1 = o?
False
Suppose 0 = 4*x - 0*p - 3*p - 49, -25 = -5*p. Suppose 2 = 2*v - x. Is 15/2 > v?
False
Suppose -6*u = -u - 175. Is u greater than 106/3?
False
Suppose -3*r + 2 = -76. Let i = -15 + r. Suppose -2*k + 40 = 3*j, -j + 4*k = j. Is i less than or equal to j?
False
Let n be ((-3)/(-10))/(6/(-56)). Let z be (-4)/7*(-35)/(-5). Is z less than n?
True
Let c be (-4486)/(-3) - (-3)/2. Let h = -1539 + c. Let f = -42 - h. Is f greater than 0?
True
Let w be -2*(-6365)/5940 - 2. Let u = w + -11/54. Which is smaller: 1 or u?
u
Let y = -2.902 - -2.802. Which is smaller: 4.9 or y?
y
Let u be 3 + 0 + -2 + 1. Suppose -3*m + 1 = -3*r - 14, -u*r - 1 = m. Suppose 3*p = a + 1, -4*p + 7*a + m = 4*a. Which is greater: 4/3 or p?
4/3
Let a = -3.2 - -34.2. Is 0 not equal to a?
True
Let u(x) = 4*x**2 - 7 + 29*x - x**2 - 4*x. Let a be u(-9). Is 10 < a?
True
Let c(b) = b**3 - 5*b**2 + 4*b - 1. Let h be c(4). Let u = 2148 - 45100/21. Which is greater: u or h?
u
Let v(w) = 6*w - 10*w + 35 + w**2 - 3*w. Let x be v(0). Does 35 = x?
True
Let k = -40/101 - -4644/505. Is k bigger than 10?
False
Let s(m) = 86*m - 4. Let k be s(2). Let p be ((-2)/40)/(1 - 186/k). Which is bigger: p or 0?
p
Let t(g) = -11*g + 87. Let o be t(8). Is -3/46 less than or equal to o?
False
Let a(k) = 3*k**2 + k + 1. Let q be a(-1). Let f = q + -8. Let t = -7 - f. Is t at most -2?
True
Let j = 4.477 + -4.177. Let x = 34 - 23. Which is greater: j or x?
x
Suppose 0 = a + 85 + 136. Is -222 less than or equal to a?
True
Let c = 15 + -63. Let t be 2/16 - (-550)/c. Which is greater: t or -12?
t
Let q be 62 - -6*5/(-15). Suppose -330 - q = 13*x. Is x at most -30?
True
Let t = -2 - -4. Suppose t*m = -0*m. Suppose m = -3*k + 18 + 27. Are 15 and k non-equal?
False
Let s be ((3 - -1)*-57)/13. Let a = 2468/117 + s. Let w = a - 38/9. Is w at most as big as 3?
True
Suppose 649 = 56*x + 2049. Which is smaller: -22 or x?
x
Let r(f) = -f**2 + 3*f + 3. Let b be r(3). Let v be 5 + (2 - 0 - b). Let q be 12/78 - v/26. Is q > 0?
False
Suppose 81*p = 77*p - 36. Let d(j) = -13*j**2 + 4*j**2 - j - j**3 - 4 - 5. Let f be d(p). Is f less than 1/6?
True
Let p be -25*1*(-4)/10. Let j = 26 - 16. Let t = j - p. Is -3/8 greater than or equal to t?
False
Let x = -34.8 - 2.2. Let p = x + 37.05. Let h = -4 + 3. Which is bigger: p or h?
p
Let g be 3/12*9/(-18)*-4. Which is smaller: g or 828?
g
Let b = 224 - 110. Let c = 201 + -86. Which is smaller: b or c?
b
Let f(i) = -2*i**2 + 45*i + 73. Let z be f(24). Is -1/127 greater than or equal to z?
False
Let o = -0.02 + 0.06. Let c = 0.16 + o. Let x = -0.8 - c. Which is greater: