+ 39. Let k be r(f). Which is smaller: k or d?
k
Suppose -2*u + n - 2 = 0, -2*u = 3*n + 3 - 17. Let c(v) be the first derivative of v**2 - 4*v - 1. Let i be c(4). Do u and i have different values?
True
Let w = -2026917507653/5731 + 353676063. Let h = w - 2/521. Which is smaller: -1 or h?
-1
Let d(x) = 5*x - 12. Let c be d(3). Let g be c/(-4*3/4). Are g and -4/79 equal?
False
Let z be 15/6 - ((-97)/38)/(-1). Which is greater: -15 or z?
z
Suppose -2*n = 46 + 16. Let f be -2 + (n/(-5) - 2). Does f = 2?
False
Suppose 0 = 3*f - z + 17, 2*f + z = -0*z - 3. Is -4 > f?
False
Let u(k) = -k**3 + 6*k**2 + 2*k + 4. Let l be u(6). Suppose 0*b + 2*b = l. Suppose 0*h = -2*h - b. Is -3 at least as big as h?
True
Let f = 2.466 - 2.5. Let j = f - 1.366. Is -2/5 greater than j?
True
Let i = 1544.99 - 1545. Is i less than -85?
False
Let y be (-3)/1*(-10)/(-6). Let x be ((-14)/28)/(1/2). Let o = x + -3. Which is greater: y or o?
o
Let a be 5 + (-3 - -6) + -6. Suppose -a*i - 4*o - 11 = -39, -5*o = 5*i - 45. Suppose 50 = i*v + v. Is 10 at least as big as v?
True
Let c = -14.59 + 14.6. Let r be 128/(-72) + 2/(-9). Which is bigger: c or r?
c
Let g = 683/2 - 356. Is -15 equal to g?
False
Let q = 0.37 + -0.47. Let y = -4.08 + 4. Let l = y - q. Which is bigger: 0.2 or l?
0.2
Let w be -2 + 3 + 1 + 2/(-2). Suppose a + 3*l = -19, w = 4*a - 3*l + 2. Let q = -5 - -1. Is a greater than q?
False
Let d be (-4)/(-18) - 218/(-72). Suppose 0*y = -5*y + 15. Suppose 0 = -2*w + 1 + y. Is w at most d?
True
Let j be ((-38)/(-12))/(9*(-1)/(-81)). Is 30 at most as big as j?
False
Let c(o) = -o**3 + 12*o**2 - 19*o - 12. Let v be c(9). Let u be (-196)/10 + v/(-150). Is -21 equal to u?
False
Let j = 23.93 - 24. Let k = j - 0.63. Is k at most -0.05?
True
Suppose -5*k = -7*k - 164. Let c = 655/8 + k. Let s = 3/8 - c. Is s at most as big as 1?
True
Suppose 0 = -9*h - 243 - 1422. Is -182 < h?
False
Let b = -36/17 - -55/34. Is -1 at most as big as b?
True
Let v = 230 + -204. Which is greater: v or 28?
28
Let x be 1/(-55)*(-26)/(-208). Is x bigger than 0?
False
Suppose 7*b - 4*b = 15. Let i be (8/b)/((-2)/(-5)). Which is greater: i or -0.2?
i
Let s be ((-21)/10 + 2)*(-60)/16. Let a(p) = p**2 - 3*p - 4. Let y be a(4). Which is greater: s or y?
s
Let w = 95 - 23. Which is bigger: -3 or w?
w
Let i = -208.8 - -206.8. Is i greater than or equal to 10/49?
False
Let z be (-52)/(-10*7/(-35)). Does -30 = z?
False
Let u = -801 - -799. Which is smaller: 2/221 or u?
u
Suppose -4*t - 2*o - 42 = 0, -3*t - 2*o - o = 33. Is t > -5?
False
Let c = -110 - -104. Which is greater: -0.05 or c?
-0.05
Let i(q) = -3*q + 1. Let p be 1 - (-4)/(12/(-9)). Let z be i(p). Are z and 9 equal?
False
Let p(o) = o**3 - 6*o**2 - 8*o + 5. Let v be p(7). Let k be 2/(-1) - ((-66)/27 - v). Is k <= -2?
False
Let i = -10061/5 - -2028. Let k = i + -721/45. Which is bigger: 0.01 or k?
0.01
Let y = -104 + 82.2. Let o = -22 - y. Which is smaller: 7/6 or o?
o
Let v = 0.049 + -0.049. Is 34 at most as big as v?
False
Let a be 8/3736*(58 - 2). Let z = 264752/4203 + a. Let t = -63 + z. Is t smaller than 0?
False
Let d = 750655/332 - 2261. Is 0 < d?
True
Suppose -5*k = -0*k - 3500. Let y be -4 + (k/8)/5. Which is bigger: 13 or y?
y
Let v = 289 - 290. Which is bigger: 6/323 or v?
6/323
Suppose -8*i - 2 = -9*i. Let y = -85/2 - -44. Which is smaller: y or i?
y
Suppose -12 = -13*w + 1. Let g be -1 - (w - 1)/(-1). Which is bigger: g or 4/33?
4/33
Let y be -31 + (-2 - 6/(-3)). Let q = 31 + y. Which is smaller: -10/7 or q?
-10/7
Let r(x) = -x + 4. Let u be r(3). Let n be (-3 + -1)*u + -4. Is n at most -0.1?
True
Let j be -1 + 2 - (0 - 0). Let h = 0.19 + -0.28. Let o = h + 0.09. Is j at least o?
True
Let r(j) = -4*j + 26. Let t be r(6). Let m be -6 + 12/3 + (2 - t). Which is smaller: m or -8?
-8
Let y be 12/14*(-5 + 4/5). Which is smaller: 0.1 or y?
y
Let d be ((-184)/1265)/((-4)/(-90)). Which is smaller: 3 or d?
d
Suppose 0 = -4*k, -5*h + 4*k = -462 - 1603. Which is smaller: h or 1655/4?
h
Suppose -10007*p + 7 = -10014*p. Which is smaller: 103 or p?
p
Let m be (-1 - 1840/(-6)) + (-10 - -12). Let s = m + -305. Suppose 18 = -v + 4*a, -7 = 4*v - 4*a + a. Which is smaller: v or s?
v
Let t = 51 + -101. Let u = 50 + t. Which is greater: -3/29 or u?
u
Let m be 2/8 - (-29)/(-4). Let u(x) = -2*x**2 - 6*x - 13. Let r be u(-2). Which is smaller: m or r?
r
Let r be ((-1)/(-12))/((-27)/(-2232)). Let d = 76/9 - r. Which is smaller: d or 2?
d
Let n = 190583193 - 1085943028823/5698. Let a = n + -1/814. Is a not equal to 0?
True
Let o = 12/55 - -19/165. Let i be (-4)/18 - (-14)/(-18). Let k = i + 3/4. Which is greater: k or o?
o
Let d = -10.2 + 9.49. Let u = d + -0.29. Is -2 != u?
True
Let z be 3*7/(-6)*2. Let a be -1 - (-1 - 0) - (8 + z). Which is smaller: a or 2/45?
a
Let i(j) = j - 35. Let t be i(7). Is t > -23?
False
Let o = 1/129402 + 20889179/129402. Let k = -161 + o. Suppose 3*p - 4 = -1. Which is bigger: p or k?
p
Let g(b) = 6*b**2 - 11*b - 12. Let j(l) = 5*l**2 - 10*l - 11. Let m(o) = 4*g(o) - 5*j(o). Let q be m(7). Let r be 2210/(-440) - (-4 + -2 + 1). Is q at most r?
False
Let q = 221 - 1104/5. Which is greater: 0.062 or q?
q
Let h(n) = n**3 - 4*n**2 + 3*n. Let p be h(2). Suppose 5*a - 15 = -5*l, -l - 9 = -2*l - 3*a. Which is bigger: p or l?
l
Let t be 16/136 + 60939/51. Which is smaller: t or 1194?
1194
Let w = 0.259 - 0.399. Which is greater: w or -14/5?
w
Let b = 10 - 8. Let q be -20*(-3 + b)/(-6). Which is bigger: q or -3?
-3
Let r(s) = s**2 + 2*s - 2. Let w(n) = -n**3 - 7*n**2 - 13*n + 20. Let d(p) = 6*r(p) + w(p). Let b = 3 - 3. Let m be d(b). Is 8 != m?
False
Let t be 0 + -2 + 4/1. Let m = t + -15. Let y = m + 22. Is 11 <= y?
False
Let o = 5.17 + -0.17. Let a = o - 3. Which is bigger: 2/9 or a?
a
Let s = -208 + 206. Which is greater: -0.2 or s?
-0.2
Let a = 0.768 - 1.098. Is 3 less than a?
False
Let w = 43 + -16. Let n = 28 - w. Which is smaller: n or -1/37?
-1/37
Suppose -8 = 5*w + 2. Let f = 2 + w. Suppose f*n = -n + 4. Is n <= 4?
True
Let t = -969 + 970. Let s = 74341/62 - 1199. Which is bigger: s or t?
t
Suppose m + 17 = -4*x - 0*m, 0 = -2*x - m - 9. Let f be (0 - -1)/(8/(-24)). Are f and x nonequal?
True
Let u = 64 + -63. Let j = u - -3. Which is bigger: j or 0?
j
Suppose w - 16 = 4*m + 4, 2 = -2*m. Is w smaller than 20?
True
Let j(o) = 3*o + 3. Let p = -25 - -20. Let b be j(p). Let u = b + 10. Is -2 bigger than u?
False
Let v(j) = -2*j**2 - 10*j - 250. Let w be v(-14). Which is bigger: w or -500?
-500
Let b = -248576/19 - -13087. Which is bigger: b or 4?
b
Let c be (-9)/(-4) + (-1)/4. Suppose 42 = 4*w - c*p, -w + 5*p - 1 = 2. Suppose -4*o + 4*n - w = 0, n = -o + 4 - 1. Which is smaller: 0.3 or o?
o
Let r = 139 - -117. Is 256 smaller than r?
False
Let g be 7*(-6)/10*(-1)/3. Let r = 25 - 24. Which is smaller: r or g?
r
Let p = 0.12 - 0.188. Let g = -10.932 + p. Is -0.2 smaller than g?
False
Let t = 59 - 55. Suppose 2*q + 2*q - 128 = -t*c, q - 32 = -3*c. Which is bigger: 33 or q?
33
Let d(b) = b**2 + 4*b - 3. Let a be d(-5). Suppose -a - 38 = -8*n. Suppose -5*z = -u - 16, -4*z + 29 = 2*u + 5. Is u greater than or equal to n?
False
Let f(r) = -r**2 + 16*r - 51. Let v be f(7). Suppose -3*p - 14 = 34. Let k = p + v. Is k at least as big as -4?
True
Let c = -365 - -520. Which is smaller: c or 154?
154
Let u = -3/110 - 136/55. Is u <= -5/7?
True
Let q = 37 + -45. Let d = -7.93 - q. Let h be 2/(-5) + 11/15. Which is greater: h or d?
h
Suppose -5*k + 3*u = 52, -3*k + 3*u - 38 = 8*u. Suppose 0 = -2*z - 4*v - 32 + 10, -3*z + 5*v = -11. Let p(h) = h + 4. Let d be p(z). Is d >= k?
True
Let p = 20 - 17. Let s be (-2)/p - 15/(-18). Let q = -0.18 + 2.18. Does q = s?
False
Let a be (-14)/21 - (-10)/6. Suppose -a - 7 = -2*x. Do x and 3 have the same value?
False
Let y = 1/587 + -6019/87463. Is y greater than or equal to 1?
False
Let j be (-98393)/14030 + (-2 - -2) + 7. Which is smaller: 1 or j?
j
Let n = 124.1 - 123.1. Is n <= 6/161?
False
Let w(g) = -g**2 + 9*g + 13. Let l be w(10). Suppose -l*s = -2*s. Let j be (s - 1)*2 - 1. Is -8/3 <= j?
False
Let u(x) = 2*x**2 + 50*x + 47. Let f be u(-24). Is 266 <= f?
False
Let m = 35 + -126. Let k = m - -91.4. Is k less than -2?
False
Let q = 43 + -38. Suppose -h + 8 = -4*y, -8 = -y + q*y. Which is smaller: h or 19?
h
Let 