or 1?
c
Let g be 652/14 + (-7)/((-245)/(-20)). Is g at least 46?
True
Let g = 4 - 1. Suppose -4*l = -0*i - i + g, 3 = -5*l + 2*i. Let h be (-101)/((-1010)/(-140)) - (0 + -10). Which is smaller: l or h?
h
Let w = -430 + 3868/9. Which is smaller: 1 or w?
w
Let v = -158211/47 - -3366. Is -1 less than v?
True
Let l(h) = 3*h**3 - 6*h**2 + 17*h - 166. Let j be l(6). Is j >= 0?
True
Let f be (-16)/(-10) - (-4)/10. Let y = -24.08179 + 0.08179. Is y greater than f?
False
Let p(i) = -i**2 - 10*i. Let y be p(-7). Suppose 0 = -y*d + 18*d + 12. Suppose r = -d*r. Is -1/5 less than r?
True
Let m(v) = -4*v**2 + 29*v + 1. Let f be m(9). Let c = -62 - f. Is c bigger than 6/5?
False
Suppose 0 = -2*w - 5*i + 17, -5*i + 14 = 2*w - i. Let h(j) = -j**3 - 8*j**2 + j + 11. Let r be h(-8). Is r not equal to w?
True
Let v be -4 - (93/(-9))/((-28)/(-6)). Which is smaller: v or -2?
-2
Let v be 2*1 - (-98)/(-48). Suppose -10*l - 30 = -16*l. Let i be (l + 26/(-5))*0. Which is smaller: v or i?
v
Suppose 27*o + 2*w + 4 = 22*o, -5*w - 10 = -2*o. Is -2/1457 smaller than o?
True
Suppose 0 = -2*u + 5*l - 18, 0 = -0*l + l - 4. Which is bigger: u or -1/551?
u
Let r = -7 - -6.73. Let q = -177.23 + 177. Let i = q + r. Which is smaller: i or -0.3?
i
Suppose -2*z - 7 = -11. Let s be z - (-4 + 2) - (0 - -5). Are -12/7 and s nonequal?
True
Let v = 319 - 325. Which is smaller: v or -2?
v
Let f = -7 - -8. Let c be 22/(-152) - ((-78)/(-19) - 4). Is c > f?
False
Let y be (-2)/(-7) + 36/(-28). Let h(c) = -c**3 + 9*c**2 + 11*c - 4. Let u be h(10). Suppose -u*a = -8*a. Which is smaller: a or y?
y
Suppose -3*h + 17 = -g, 2*h - 49 = -4*g - 159. Let r be (-4)/6 - g/3. Suppose 2*u = 3*d + 13 - 5, -4*u = 3*d - 34. Is u <= r?
True
Suppose 6*c + 358 = -224. Let r = -202 + 104. Which is greater: r or c?
c
Let t be (-4)/(-30) - 644/(-345). Which is smaller: t or 33?
t
Suppose -117*c + 33*c - 131040 = 0. Are -1560 and c unequal?
False
Let a(m) = 19*m - m**2 - 5 + 11 + 13. Let p be a(20). Which is smaller: p or 2/95?
p
Let s = -3.5 - -29.5. Let u = s + -27. Which is smaller: u or 2?
u
Let s(f) = -f**3 - 6*f**2 - f + 20. Let j be s(-8). Is j less than or equal to 157?
True
Suppose -7*n - 30 = -22*n. Suppose -g - g = n*g. Which is smaller: g or 20?
g
Let k be 0/(-8)*(-2)/4. Which is bigger: k or 2/629?
2/629
Let q = 242.95 - 249. Let f = q + 0.05. Let g = 148 + -150. Which is bigger: g or f?
g
Suppose -50 + 35 = -3*r. Suppose -4*m + s = r, 3*s - 8 = 7. Which is smaller: 11/14 or m?
m
Let t(u) = -3*u**2 - 64*u - 232. Let a be t(-4). Which is smaller: a or -22?
a
Let y be 2 + (-37842)/(-87) - (-4)/2. Let m = 439 - y. Which is smaller: m or 1?
m
Let g = -53.125 - -0.125. Let a = g - -52.8. Which is bigger: 46 or a?
46
Suppose -3*z - 4*j = 4, 0 = -3*z + 6*z + 3*j + 3. Let q be 0*((0 - z) + -1). Suppose -3*u + q*u + 21 = 0. Is u greater than or equal to -0.1?
True
Let k = 1325 + -56978/43. Suppose 3*j = -2 - 1. Which is smaller: j or k?
j
Suppose -3*i - 18 = -0*i. Suppose 0 = -g + 4*u + 4, 0 = u + 80 - 77. Which is smaller: i or g?
g
Let x be 1/(4/(-36)*-3). Suppose -n - 1 = 2*v, x*n = 4*n + 3*v + 2. Which is bigger: 3 or n?
3
Let b(y) be the third derivative of -y**7/2520 - y**6/120 + y**5/60 + 5*y**2. Let a(i) be the third derivative of b(i). Let n be a(-3). Is n at least 2?
False
Let v = -64 - -59.9. Let o = -3.8 - v. Is o not equal to 1/4?
True
Let y = 362 - 361.984. Which is smaller: 0.1 or y?
y
Let t = 211 - 243. Is -32 at most t?
True
Let h = 71 + -80. Let z be 48 - (1 - (3 + 0)). Suppose -5*f - z = -0*f. Which is bigger: f or h?
h
Let h be ((-9)/6)/((-1)/(-6)). Let z = 2 + h. Let r be ((-1)/4)/(z/(-4)). Is r bigger than 0?
False
Let g = 2/281 - -833/1405. Let f = -34 - -41. Suppose 3*b - f + 4 = 0. Which is smaller: b or g?
g
Let d(q) = q**2 + 16*q + 27. Let z be d(-14). Let o be (-2)/3*18/1. Let c = o + 10. Is c at most z?
True
Let o = -297 - -359. Which is smaller: 243/4 or o?
243/4
Suppose -175 = -5*s + 265. Suppose -j + 2*d = -s, -4*j + 5*d + 362 = 2*d. Do j and 92 have the same value?
True
Suppose 4*o + 13 + 27 = 0. Let w be (2/5)/(-1 + 2/o). Let i = 0.04 - 0. Which is smaller: w or i?
w
Let q = -126 + 129. Let j(w) = w**3 - 3*w**2 + w + 4. Let m be j(q). Is 4/9 at least as big as m?
False
Let c be (-8)/(-1230)*54/24. Is c != -1?
True
Let i = -1052 + 990. Which is greater: -66 or i?
i
Let d = -24.2 + -30.8. Let u = 0.14 - 1.14. Is u less than or equal to d?
False
Let x = 118/13 - 135883/14963. Is -1 < x?
True
Let r = 298 + -293. Let b = 11/19 + 187/38. Which is smaller: b or r?
r
Suppose -3*u = 4*l - 20, -3*l + 2*u + 1 = 3. Suppose -l = -3*v - 20. Which is smaller: -5 or v?
v
Let n be (26763/8919 - 0) + -3. Let a = 77276/32703 + n. Let z = 108/55 - a. Is z at least as big as -1?
True
Let i(y) = -y**2 - 30*y - 101. Let d be i(-25). Suppose 70 = 4*f - 30. Does d = f?
False
Let d be 216/1296 - (-1 + 202/180). Let t = 3 + -1. Suppose -l - l = -t. Do d and l have the same value?
False
Suppose -12*v + 16*v - 112 = 0. Let h = v - 22. Let s = 5 - h. Does s = -2/11?
False
Let x(f) = -f**2 + f. Let s be x(0). Let o = 11 + -13. Let b be (1 - o/(-1))/1. Is b greater than or equal to s?
False
Let f be (-1 - -1)*(-1)/(-1). Let x be 2/80*-9*(832/(-48) - -18). Is x at least f?
False
Suppose c = -c. Let u = 237/275 - 17/25. Which is bigger: u or c?
u
Let u = 96 - 54. Let t = u - 42.1. Which is smaller: t or -19?
-19
Let y = 163 - 171. Let h be (26/(-4))/(2/(-4)). Let n = h - 21. Is n equal to y?
True
Suppose 0 = d - 4*p + 26, -164 = 3*d + d - 4*p. Is d != -49?
True
Let r = -14 - -7. Let j(y) = -2*y**2 - 90*y - 474. Let w be j(-39). Which is greater: w or r?
w
Suppose 0 = -4*q - q - 2*u - 23, 2*u = 3*q + 1. Suppose 2*y + 3*c - 323 = 0, 2*y - 114 = 2*c + 204. Let v be ((-48)/y)/(q/(-4)). Is v bigger than -5?
True
Suppose -3*m + 3*n + 7 = 28, -3*m - 11 = -5*n. Let o be (3/(-12))/(7/m). Does 0 = o?
False
Let d = -1537/66 + 143/6. Which is smaller: d or 1?
d
Let u = 713 - 712.81. Let q = 4 + -3.92. Let j = u - q. Does 0 = j?
False
Suppose 2*i + 9 = a, -15 - 14 = -a - 3*i. Which is smaller: a or 16?
16
Suppose -5*j + 358 = -4*b, j + 8 = -3*j. Let k = -128 - b. Is -35 at least k?
True
Let o = 158 - 159. Let d be 144/(-126) + 0 + o. Suppose -z + 2*z + 2 = 0. Is z at least as big as d?
True
Let l be (-25 + 4)/7 + 3. Which is greater: -8/67 or l?
l
Let g = 114 - 76. Which is smaller: g or 0.04?
0.04
Let j = -90.8 + 91. Let r = j + 6.8. Which is bigger: r or 1?
r
Let s be (-8376)/80 - ((-3)/(-2) + 0). Let w = 105 + s. Which is smaller: w or -2/7?
w
Let u be -5 - (7/(-1) + 1). Is -1/124 equal to u?
False
Let c(f) = -f**2 - 7*f + 3. Let h be c(-6). Which is greater: h or 12?
12
Let g(p) = -4*p - 2. Let r be g(-1). Suppose -r*s = -4*u + 20, 12 = 7*s - 3*s + 5*u. Suppose 2*f = -k - 2*f - 17, 0 = 2*k - 4*f - 14. Is s equal to k?
False
Suppose 0*b - b = -4*h - 22, 16 = 3*b - 2*h. Suppose 0 = -3*l + b*n + 3*n - 26, -2*l - 15 = -n. Which is bigger: -10 or l?
l
Let q = 33/46 + -709/828. Is q not equal to 0?
True
Let m = -39 - -33. Let b be m/(-8) - (-4 + 133/28). Which is smaller: b or 2/31?
b
Let o(m) = -4*m**3 - m**2 + 2*m + 2. Let v be o(-2). Let h be v/(-6) - (-28)/7. Is h greater than or equal to 0?
False
Let l = 329 - 285. Which is smaller: -0.02 or l?
-0.02
Let m be 15/(-9)*12/(-2). Suppose 1 = 2*x + 3*s + 2, 4 = -2*x - 4*s. Let i be (5*x/7)/((-2)/(-7)). Is m <= i?
True
Let a be (2 + 0)*(2 + 39/(-24)). Which is bigger: a or 100?
100
Let l = 2/85 + 20/17. Suppose -3*u + 3 + 3 = 0. Which is smaller: l or u?
l
Let u = -31 - -32. Let l be u + 0 - 36/(-12). Are 3 and l equal?
False
Suppose -2*i + 116 = 2*h, -4*i - 234 = -4*h - 7*i. Is h smaller than 61?
True
Suppose -2*k = -5*c + 129, -246 = k + 3*k + 2*c. Is -60 > k?
True
Let q = -7/19 - -211/57. Let s(l) = -l**2 + 6*l. Let n be s(5). Suppose 4*x + 0 = -n*a - 1, -3*a = 2*x - 1. Is q <= a?
False
Let r(i) = -i**2 - 4*i - 3. Let k be r(-2). Let d be -3 - (263/(-85) - k/5). Which is smaller: 0 or d?
0
Let s be 3/(6 - (-675)/(-111)). Is s greater than or equal to -25?
False
Let a = -1269/154 - -123/14. Let k be 8/6*(-39)/130. Which is bigger: k or a?
a
Suppose 7*d = -2*d - 9. Let y be (-610)/(-190) - (4 + d). Which is bigger: y or -1?
y
Suppose 2*s - 9*s = -196. Suppose -q = y - s, 