3?
False
Suppose -743 = -2*b + s, -4*s = -11*b + 13*b - 748. Do b and 371 have the same value?
False
Let k be 1*(2 - (1 + -2)). Let u = k - 1. Suppose 0 = 4*m + 10 - u. Is -2 greater than or equal to m?
True
Let v = 11.39 - 0.79. Which is smaller: 1/3 or v?
1/3
Let v(y) = -y**3 + 10*y**2 + 4*y - 37. Let d be v(10). Let w be -23 - (0 + 1 + 1). Is d less than w?
False
Suppose -6*w = -2*n - w - 18, 0 = 3*w - 12. Let b be n + 1 - 8/(-2). Suppose 0 = 4*j - k - 2*k + b, -2*k = -2*j - 2. Is j < -3?
False
Let m(r) = -5*r**2 - 2*r + 2. Let f(q) be the first derivative of q**3/3 - q**2/2 - q + 2. Let g(h) = 4*f(h) + m(h). Let v be g(-4). Which is bigger: v or 5?
v
Suppose i - 6 = 5*l, -1 - 2 = -3*i. Let d = -25 - 66. Let t = 1364/15 + d. Which is smaller: l or t?
l
Suppose 37 = 6*v + 7. Suppose 45 = -0*l - v*l. Which is smaller: l or -15/2?
l
Let o be 6*203/42 - (1 - -3). Is 13 <= o?
True
Let k(s) = 2*s**3 + s**2 - 1. Let m be k(-1). Let h(u) = 2*u**2 - 2*u. Let v be h(m). Suppose 3*b = -4*n + v, -n - 23 = -4*b - 7. Which is greater: 1 or n?
1
Suppose -2*l - 3*l - 250 = 0. Let u = -36 - l. Suppose 0*n + 2*n - u = 0. Is n > 7?
False
Suppose 5*n = -25, -4*r - 2*n = -3*r + 8. Let a(t) = t**3 + 2*t**2 - t - 3*t**r + t**2 - t**2. Let u be a(-1). Which is smaller: 1/2 or u?
u
Let k be 6/33 + (-51)/99. Suppose -w - 4*w = -150. Let s be (14/(-10))/(12/w). Which is bigger: k or s?
k
Let q = -0.819 + -0.001. Let h = q + -0.18. Let n = -9.6 - 2.4. Do n and h have different values?
True
Let q be (-12)/(-9)*-114*2/256. Which is smaller: q or -2?
-2
Suppose 20 = -2*j + 4*c, -42 = 4*j - c - 2. Let p = j + 16. Let z be (-11)/(-6) - 9/p. Which is greater: 0 or z?
z
Let q be 0 + 2 - (-66)/(-3). Let p = -32.98 + 33. Let m = 0.12 - p. Does q = m?
False
Let j be (-24)/(-8 - -1*1). Let k = -3762 + 3764. Is k > j?
False
Let i = 56.5 + 5.5. Let z = -62 + i. Are z and -0.19 equal?
False
Let w(y) = y**2 + 10*y - 414. Let u be w(-25). Is -32 >= u?
True
Let w be 2/(-178)*176 + 2. Let u = -159 - -158. Is u not equal to w?
True
Let h(m) = -m**3 + 9*m**2 + 11*m - 11. Let a be h(10). Let c be (11 - -9)/(-10)*(-2)/(-204). Which is smaller: a or c?
a
Let s(x) = x**3 - 2*x**2 - 3*x + 3. Let g be s(3). Suppose -28 = -g*r + 2*a + 2*a, -3*a - 12 = 0. Let n be 2 + 1 + r + 0. Are n and 7 non-equal?
False
Let i = -2986 - -2985. Is i at most as big as -354?
False
Suppose l - 9*l = -32. Suppose s - a = l*a - 14, -5*a = -3*s - 22. Are s and -17/5 nonequal?
True
Let f = -190 - -191. Is f greater than or equal to 26/25?
False
Let z be 16/(-3) + (-2)/(-6). Let g(w) = 2*w + 4. Let b be g(z). Let s(n) = n. Let t be s(-6). Is t equal to b?
True
Let i be 1/((-3)/11*2/66). Let k = 87 + i. Which is smaller: -0.1 or k?
k
Suppose 26*y = -327 - 1207. Do y and 0.17 have the same value?
False
Suppose -2*x - 1 = 5*c, 4*c - 2*c + 2 = 0. Suppose -x*g + 13 = 4*m - 17, 5*g + 16 = 3*m. Do 8 and m have the same value?
False
Let j be (12/2010)/(1/5). Suppose -2*p - 3*p + 90 = 0. Suppose 5*i + 23 - p = 0. Which is greater: j or i?
j
Let u(t) = t + 4. Let p be u(0). Suppose -5*z + 16 = -z. Suppose -z*b = -8*b + p. Is b > 2/11?
True
Let w = 628 + -615. Is w at most as big as 8?
False
Let a = -2880 - -221757/77. Which is bigger: a or 0?
0
Let a(j) be the third derivative of -7*j**6/10 - j**4/12 + j**3/6 + 4*j**2. Let x be a(1). Let w be 1/(-3) + x/(-165). Which is greater: w or -3?
w
Let i = 99 + -100. Let p be ((0*i/(-2))/1)/(-2). Which is smaller: -6/23 or p?
-6/23
Let r(s) = 278*s - 37. Let j be r(1). Is 239 < j?
True
Let c = -5286/17 + 29299/153. Let h(a) = 2*a**2 - 4*a - 7. Let y be h(-7). Let i = y + c. Does i = -1?
False
Let s be (1044/63)/(0 - (-12)/42). Which is bigger: 59 or s?
59
Let x be -3*(-3)/(-1) + 0. Let q = 11 + x. Suppose -3*d + 8*d + g = 25, 3*d - 4*g = -8. Which is smaller: q or d?
q
Let s(d) = -d**2 + 8*d + 3. Let t be s(8). Suppose -i + k = -67, 0 = 4*i - t*k + 4*k - 288. Let p = i + -495/7. Which is smaller: p or 0?
0
Suppose -1 = -j, 32 = -3*w - 5*j - 11. Let t be (w - -2*(-2 - -1))/(-2). Do t and 7 have the same value?
False
Let n = -63 + 53. Let q = n + 16.4. Are q and -1 equal?
False
Let d = 13 - -1. Suppose -j + 2*h = 2, 2*j - d = h - 6*h. Which is smaller: 6 or j?
j
Let d(l) = -4*l - 22. Let h be d(-11). Suppose -7*i - h + 57 = 0. Suppose k - i = -4*r + 2*k, -3*r + 12 = 2*k. Are r and -3 non-equal?
True
Let l be 2*(-3 - 560/45). Which is smaller: l or -30?
l
Let v = -0.28 - -0.48. Suppose -u = -2*u. Which is smaller: v or u?
u
Suppose -8*k = -46 - 26. Let d be ((-3)/k*3)/(-1). Which is smaller: d or 14/17?
14/17
Let j = -7 - -23. Suppose -2*n - 32 = -4*l, -2*l - 3*n + 7*n = -j. Let k(u) = u**3 - 7*u**2 - 7*u - 3. Let y be k(l). Is 3 bigger than y?
False
Let b = 33.56 + -0.56. Let o = b - 54. Let i = -29 - o. Is i less than or equal to 1?
True
Let b(d) be the first derivative of -d**4/24 - d**3/2 - d**2/2 - 1. Let k(p) be the second derivative of b(p). Let w be k(-8). Which is smaller: w or 4?
4
Let p = 1883/147582 + -6/911. Which is smaller: 1 or p?
p
Let z be 3/(105/160) - (-4)/(-1). Is z at least as big as 0?
True
Suppose 7*x = 4*x - 111. Let v = x + 177/5. Let b = 85 - 86. Which is smaller: b or v?
v
Let h(m) = -m**2 + 7*m - 8. Let s be h(6). Let q be (16/64)/(1/4). Let b(x) = -2*x**2. Let v be b(q). Are s and v equal?
True
Let z be 15/(-7385)*4/6. Which is smaller: z or 0?
z
Let z = 3 + -3. Let q be (-1 - z/3)*-3. Let k = 82.9 - 83. Are k and q nonequal?
True
Let m = 0.3 + -1.3. Let u = 1.1 + m. Let j = 7.4 + -10.4. Is u <= j?
False
Let t = 3 - -3. Let s be (-2 + -7)*t/117 + 1. Which is bigger: -2 or s?
s
Let i = 79.675 - 79.7. Is i smaller than -23?
False
Let n be ((-24)/20)/(54/(-20)). Suppose 12 = -l + 3*y, 2*l - 4*y + 3 = -13. Suppose 3*d - d = g + 3, g - 4*d + 7 = l. Which is smaller: n or g?
n
Let a = 54 + -54.9. Which is smaller: a or -10?
-10
Let q be 3*1/(-24) - (-8220)/65248. Is -1 <= q?
True
Let k = 61 + -88. Let v be 0*(2 - k/(-15)). Is 6 smaller than v?
False
Let m = -10.2 - -10. Let w = 7 + -5. Let z = 4 - w. Which is bigger: m or z?
z
Let m = 1/209 + 160/10241. Let l be 0/(-3) + (4 - 3). Which is smaller: l or m?
m
Let s = 0.69 - 0.79. Which is greater: -33 or s?
s
Let n = 2.92 + 2.08. Which is bigger: n or 0.21?
n
Let p = -125 + 296. Suppose 0 = -38*m + 35*m + p. Is 57 greater than or equal to m?
True
Let m(o) = -o**3 + 6*o**2 + 2*o - 1. Let v be m(6). Suppose 4*n = -3 + v. Let q be 4/18 - (-4)/(-18). Is q >= n?
False
Let n(p) = 12*p - 104. Let s be n(10). Let m = -1148147/3134555 + -18/6463. Let u = -3/97 + m. Is s > u?
True
Let g = 95049923/327237912 + 13/400536. Let r = g - 14/43. Which is bigger: r or -1?
r
Let t = -0.04 + -0.16. Let a = -47 + 47.3. Let d = t + a. Which is smaller: d or 1?
d
Suppose -t - 15 = -4*p, -t + 5*p = 11 + 7. Suppose 0 = -5*j - 12 + 22. Let z = t + j. Which is smaller: z or 4/11?
z
Let i(c) = -c**3 + c**2 + 5*c + 119. Let j be i(0). Does 120 = j?
False
Let j = 2/1163 + -1239/44194. Does 1 = j?
False
Suppose 4*j + 49 = 13. Let d = -0.01 - -1.01. Which is greater: d or j?
d
Suppose 284*a - 293*a = -18. Which is bigger: a or -164?
a
Let s be (4/6)/(15*6/1215). Which is smaller: 8 or s?
8
Suppose -12 = -4*w + 508. Let a be (-120)/w*(-1)/(-3). Which is smaller: -1 or a?
-1
Let v(l) = l**3 - 30*l**2 - 64*l - 66. Let t be v(32). Is -65 at most as big as t?
False
Suppose 7*z + 6 = 9*z. Suppose 2*q - 3*i - z = -24, -4*q = -i + 17. Which is greater: q or 3?
3
Suppose k = 5*n - 257, -2*k = -5*n - 3*k + 253. Let g(v) = -v**3 - 14*v**2 - 3*v + 9. Let p be g(-14). Are n and p equal?
True
Let k = -6950417/661 + 10515. Which is greater: k or -1?
k
Let b be 11/(-3)*1 - -3. Let w = b + 4/3. Which is smaller: w or 2?
w
Let g = 102 - 103.2. Is -2 not equal to g?
True
Let d(c) = -2*c**2 + 9 - 14*c + c**2 + 7*c. Let u be d(-8). Let x be 14/8*(-4)/(-3). Is x bigger than u?
True
Let f(w) = w + 1. Let m be f(-2). Let v be 0 + -3 - (0 - m). Which is bigger: v or -2?
-2
Let u = 17 + -15. Let y(w) = 2 - 3*w**u - 5 + w**2 - 5*w + w. Let s be y(-2). Is s < -3?
False
Let l be (6/(-64))/((11664/(-64))/(-27)). Which is smaller: l or 0?
l
Suppose 0*p + 17 = -p - 4*h, -4*p - 5*h - 24 = 0. Let c be ((-21)/(-35))/(1/5). Let a be (-5)/(-33) + c*(-8)/132. Which is greater: p or