 or 1?
1
Let l be ((-10)/(-4))/((-1)/2). Let i = -2 - l. Suppose -2*f - 5*m = -i*f - 25, 0 = -5*f - 5*m + 25. Is 1/4 not equal to f?
True
Suppose 18 = -21*m + 30*m. Which is bigger: m or 23/8?
23/8
Let f = -203 - -131. Let y be (1/2)/((-30)/f). Which is smaller: 1 or y?
1
Let k = 823/3 + -5608/21. Let a be (-1)/4*212/7. Let o = a + k. Which is smaller: o or 0?
o
Suppose -5*m = -5*f, m - 2*f - 6 = -3*f. Let s be m - (-4)/(-1) - 0. Is s less than -2?
False
Let j(y) = -2*y**2 - 2*y + 5. Let d = -6 - -3. Let k be j(d). Are -5 and k equal?
False
Suppose 4*o + 90 = 9*o. Let c be (14/(-10))/(o/45). Is c greater than or equal to -5?
True
Let l be (-1)/3 - (-62)/6. Let t be ((-1)/l)/(3/2). Let d = 0 - 1. Is d equal to t?
False
Let b be 6/(-8)*(-16)/18. Suppose 0 = -z - 2*s + 8, -4*z + 3*z + 3*s - 12 = 0. Which is bigger: z or b?
b
Suppose 11*c - 161 - 4 = 0. Is 19 at most c?
False
Let p(s) = -3*s + 1. Let f be p(-3). Suppose -f = h - 6*h - u, -2*h + 4 = -u. Which is smaller: 1 or h?
1
Let l(d) = -d**3 + 5*d**2 + 4*d + 7. Let o be l(6). Is -5 less than o?
False
Let a be (-10)/4*24/(-20). Suppose -m + 2*f = 3*f + 1, 15 = 3*m - a*f. Let p = -1 + 1. Which is smaller: m or p?
p
Suppose -2*i + 8 = 4. Suppose 4*p - 15 = -f + 2*p, 0 = -5*f - 4*p + 69. Suppose 2*t - 9 = -n, -n + i*t = 5*t - f. Is n less than or equal to -1?
False
Suppose 8 = -m + 3*m. Let k be ((-6)/m)/(9/(-24)). Let o be (-2 + k)/6*0. Which is greater: o or -1/4?
o
Let y = -119 + 174. Let i = -39 + y. Is 15 < i?
True
Let f = -51 - -205/4. Let c = 0 - 0.2. Let b = c + 0.19. Is b equal to f?
False
Let z be (-9)/6*(-48)/9. Let v(m) = -m**3 + 7*m**2 + 8*m. Let o be v(z). Which is smaller: o or -1/6?
-1/6
Let o = -12 - -7. Let m = -6 - o. Let d = 5/52 - -69/364. Which is greater: m or d?
d
Let m(s) = 2 - 1 - s**3 - s**2 + 1. Let w be m(0). Let h be ((0/(-3))/(-1))/(-2). Which is smaller: h or w?
h
Suppose -3*y - 17 = -6*y + 4*p, 4*p + 8 = 0. Suppose 0 = 6*j - y*j - 9. Suppose -2*x = -3*k + 9, 2*x - j = -2*k + 3. Does k = 3?
True
Let q = -4 + 3. Let g be (-12)/(-78)*(1 - 0). Which is greater: q or g?
g
Let x = -218/39 + -19/78. Let t be ((-104)/48)/((-1)/(-2)). Let s = t - x. Which is bigger: s or 2?
2
Let k = 2 - 1.7. Is 0 at most k?
True
Let i = 1 - 5. Let d(q) = -q - 5. Let s be d(i). Let f be (2 - -1)*(-7)/21. Does f = s?
True
Let s = -5/69 + 641/276. Is 3 <= s?
False
Let j = 67975/91 - 747. Which is smaller: j or 0?
j
Let p(z) = z**2 - 4*z - 1. Let k be p(4). Which is smaller: -1/23 or k?
k
Let d = 15 + -31. Let a be ((-42)/28)/((-6)/d). Which is greater: a or -3?
-3
Let y = -1 - 1. Suppose -4*o + 2 = -2*o, 3*b + 4*o - 1 = 0. Which is smaller: b or y?
y
Let k = -46 + 43. Let r be ((-6)/(-4) - 2)*12. Which is bigger: k or r?
k
Let s(k) = k**2 + 3*k - 2. Let w be s(3). Let c = -11 + w. Suppose -4*r = -2*x - 8, 3*r - 1 = -x + c. Which is smaller: -2/7 or x?
-2/7
Let k = 53/63 - 2/7. Let i = k - 7/9. Do 0 and i have different values?
True
Let h(b) = -b - 4. Let i(o) = -o**3 + 5*o**2 + 6*o. Let d be i(6). Let q be h(d). Suppose 0*p + 3*p + 12 = 0. Is p != q?
False
Let p be (2 - 1)*6/3. Suppose 3*n = -p*n. Suppose 0 = o - 2 - n. Is o > 2?
False
Let r(o) be the second derivative of o**5/20 + 7*o**4/12 + o**3 - 2*o**2 - 4*o. Let w be r(-6). Let j be (w/(-27))/((-1)/3). Which is smaller: 1 or j?
j
Let t = 2 + -3. Let i = t - -2. Let y be 1*-3*(-12)/18. Is i less than or equal to y?
True
Let v = -1 - -1. Suppose 3*l + 2*x - x - 13 = v, l - 4*x + 13 = 0. Suppose -12*t - 6 = -15*t. Is t equal to l?
False
Let d be (-40)/(-238) - 14/49. Which is greater: d or -1?
d
Let v be (-22)/77*-4*1. Is 0 <= v?
True
Let u = -0.2 - -0.21. Let i = u + 0.49. Let o = i - 0.5. Which is smaller: -5 or o?
-5
Let x = -0.35 + -0.05. Let t = x - -0.1. Let v = t - -0.3. Which is bigger: 0.4 or v?
0.4
Let x = 779/1332 + -1/666. Which is greater: x or 2?
2
Let l(i) = -2*i**2 + 2*i + 7. Let t be l(-2). Which is bigger: t or -10?
t
Let f(n) = -5*n. Let c be f(1). Let v be (-58)/c - 8/(-20). Suppose 2*o - 2*u - v = 0, 4*o = -u + 14 + 10. Are 6 and o unequal?
False
Let z be (-12)/(-18) + 112/(-150). Let c be (-11)/((-154)/(-4)) - (-4)/14. Which is smaller: z or c?
z
Suppose s = o + 3, -s - 15 = -5*o - 2*s. Is 10/3 <= o?
False
Suppose -4*t + 2 - 6 = 0. Which is smaller: 2/21 or t?
t
Let r(n) be the second derivative of -n**3/6 + 3*n**2 - n. Let k be r(6). Is k <= 0?
True
Let r = -8 - -13. Let f = 7 - r. Let b = f + -4. Is 1/3 bigger than b?
True
Let a be 38/(-6) + (-8)/(-24). Let w be (-20)/a*(-4)/(-20). Suppose 2*b + b - 16 = 5*g, 4 = 3*b + g. Which is greater: w or b?
b
Let g = 14.15 - 9.26. Let k = 0.11 + g. Let i = 4 - k. Does -2 = i?
False
Let q = -63 - -96. Let t be q*(9/(-3) + 2). Let r be t/(-42) + (-4)/14. Which is bigger: 1 or r?
1
Let r be (-147)/(-4)*(-12)/(-3). Let f be 2 - (141/r - -1). Are f and 0 equal?
False
Suppose -6*o + o + 2*j - 7 = 0, 0 = -2*o - 5*j + 3. Which is smaller: o or -0.05?
o
Let a = -5 - -4. Suppose 14 + 1 = -5*x. Let v(j) = -j - 4. Let t be v(x). Is a greater than or equal to t?
True
Let h be (-1*(-9)/12)/3. Let r = 4 - 4. Which is greater: r or h?
h
Let r = 14 - 9. Which is bigger: r or 6?
6
Suppose -6*k = -k. Which is bigger: k or -1/20?
k
Let v = -45 - -43. Which is smaller: -5 or v?
-5
Let h = -25 - -18. Let n = 7 + h. Is n > -2/19?
True
Let o be (-3)/3 - (-5 - -1). Suppose o*r + 1 - 4 = 0. Which is smaller: r or 5?
r
Let y = -10183/6 + 1702. Let k = y + -5/2. Is 2 > k?
False
Let u = 32 + -36. Which is smaller: u or -0.03?
u
Let x = 3147/5 + -626. Which is smaller: 4 or x?
x
Suppose 10*i + i + 726 = 0. Which is smaller: 0.1 or i?
i
Let j be (-2)/(-9) + 16/(-18). Let o(p) = -p**3 - 3*p**2 + 5*p + 2. Let z be o(-4). Is j less than z?
False
Suppose 5*r = -1 + 6. Let w = 12 - 59/5. Which is smaller: r or w?
w
Let p be (-2 - 2) + (3 - -1). Which is smaller: p or 2/7?
p
Let n(u) = -u**3 - u**2 + 1. Let z be n(0). Which is smaller: -11 or z?
-11
Let a be -2 - (-2 - (-1303)/(-28)). Let y = 12/7 + a. Let g = 48 - y. Which is bigger: g or 0?
0
Let j(h) = 2*h - 18. Let a be j(9). Is a != -16?
True
Let n = 0.6 + -0.4. Let s = -0.8 - n. Is 2 less than or equal to s?
False
Let v = 3.73 + -5.73. Suppose -3 = r + 5*c, 0*r - 4*c - 60 = -4*r. Let z be (6/4)/(63/r). Which is smaller: v or z?
v
Suppose -4*l - 80 = 4*p, -4*p - 29 = 4*l - 3*l. Which is greater: l or -18?
l
Suppose -3*o - 22 + 7 = 0. Let p = 5 - 2. Let g = o + p. Is -2 < g?
False
Let w(x) be the first derivative of -x**3 + 2. Let d be w(1). Let h = -10 - -7. Is h less than d?
False
Suppose 4*f - 6 = -4*w + 18, w = 4*f - 14. Let a = 3 - w. Let s = -256/3 - -86. Which is smaller: s or a?
s
Suppose 4*f - 23 = -j + 4*j, 4*j + 16 = -2*f. Suppose -5*i = -5*g - 20, -4*g = 3*i - 14 + f. Which is smaller: g or 1/4?
g
Let h be -1 - (-1 - 2/(-2)). Let y be h/(-3) + 5/(-6). Which is greater: y or 0?
0
Suppose 0 = 3*i + c - 17, 3*i + i + 3*c - 16 = 0. Let j = i - 23/3. Which is bigger: 0 or j?
0
Let k = 10 + -8. Let u be 7*(1 - k) - 0. Is u greater than or equal to -5?
False
Let v be (2 + -3)/(0 - 3). Suppose 136 = -3*t - 194. Let n = t + 547/5. Is n greater than v?
False
Suppose -2*s = s. Let p be (-1)/(-7)*(-61 - s). Let d = 9 + p. Is d smaller than -1?
False
Let q(c) = -2*c + 2. Let k be q(3). Let u be k/14 + 24/(-14). Let j be 3*u*(-1)/(-6). Which is smaller: j or 2/7?
j
Let g be ((-22)/(-4))/((-10)/(-40)). Which is smaller: 1 or g?
1
Suppose 4*w - 4 - 4 = 0. Let f(y) = -y**3 + 2*y**2 - 2*y + 3. Let v be f(w). Which is smaller: 3/16 or v?
v
Let l = 0.05 - -0.95. Let b = -1.2 + l. Let i = 0.05 - 2.05. Which is greater: i or b?
b
Let y = -1.3 - -0.3. Let c = y - -1. Let q = 6 - 6.03. Is q greater than c?
False
Let u = -7/6 - -17/12. Do u and -2/19 have the same value?
False
Let y be (-5)/(-2)*(16 - 2). Let r be (-189)/y - (-2)/5. Is -2 smaller than r?
False
Let g = 0.2 - -0.3. Which is smaller: 9 or g?
g
Let m be 8/42 + 4/(-14). Are 0 and m unequal?
True
Let s = 48 - 51. Which is greater: -30/7 or s?
s
Suppose 3*x + 3*p + 6 = p, -2*x = -3*p - 9. Is 1/17 < x?
False
Let p(u) = -u**2 - 7*u - 2. Let q be p(-7). Let i = q + 5. Let l = i - 3. Is l > -1/2?
True
Suppose -5*s - 5*r = -25, 2*r - 12 = -r. Which is bigger: 24 or s?
24
Let j = 0.043 - 0.053. Do j and 0.3 hav