/d + (-279)/155). Is p bigger than 2?
True
Let d = 534209/4 - 134233. Let q = -46159/68 - d. Is q bigger than 2?
False
Let y be 469/67 + -6*8/12. Let n = -6007 - -5184043/863. Let l = n + 9481/5178. Which is greater: l or y?
y
Let m = -1976 - -1979. Let j(r) = r + 6. Let n be j(-7). Let k be -1 - n - (1 + 2). Are m and k nonequal?
True
Let v = -728 - -764. Suppose -2*b - n + 24 = v, b + 3*n - 4 = 0. Let u(a) = -a**2 + a - 4. Let r be u(3). Is r < b?
True
Let n be (-89)/(-5) - (-60)/(-75). Let a(k) = 3 - 16 - 6*k + k + 0*k. Let f be a(-6). Is f greater than or equal to n?
True
Let g be (-11 - -5)*(-21)/27*6. Which is smaller: 121 or g?
g
Let d(o) = -27*o**2 - 24*o - 25. Let v be d(-1). Let k be (-31)/(1/v*4). Is k <= 218?
True
Let u = 1931.772 - 1932. Are 0 and u equal?
False
Let s be 3/6 - (-17)/(25092/(-810)). Does s = 136?
False
Let t = 81848/51 - 1605. Let m = -1259/10659 - t. Are -1 and m unequal?
True
Suppose -3*y = 0, -5*y = -2*m - 7*y + 58. Which is smaller: -33 or m?
-33
Let o be 1/((-5)/20) + 2. Let i = 1/1113 + -17837/32277. Which is smaller: o or i?
o
Let h(o) be the first derivative of -2*o**3/3 - 9*o**2/2 - 5*o + 117. Let r be h(-4). Let q(c) = c**3 - 2*c**2 - c. Let u be q(2). Is u > r?
False
Let v = 47 - 5. Let h = 41.83582 - 0.03582. Let g = h - v. Do -1 and g have the same value?
False
Let t(m) be the second derivative of -m**3/6 + 39*m**2/2 - 30*m. Let u be t(-11). Suppose -8*n + 13*n = u. Which is smaller: n or 9?
9
Let h be 253/46 - (0 - (-2 + -3)). Let n be (5 - 1) + -4 - -1. Which is smaller: n or h?
h
Let u = -79 - -59. Let h be (-3)/(30/128) - u/25. Let s = 25 + h. Which is smaller: 16 or s?
s
Let b = -14 + 17. Let a be (24/(-1540))/(b/10). Let x = a - -247/308. Is x > 0?
True
Suppose 0 = -7*l + 21*l + 280. Is l at most as big as -190/9?
False
Let r = -27.5 + -30.5. Let y = r - -59. Let s = -6/151 - -367/5436. Which is smaller: s or y?
s
Let s = 149 + -143.33. Which is smaller: s or 3/2?
3/2
Let k(q) = -q**3 + 26*q**2 + 17*q + 56. Let x be k(26). Let r = x + 84. Let y be (0 - (-2)/4) + r/(-108). Is -4 smaller than y?
False
Let i = -2208 - -2207. Suppose -f - 3*z = 5, 0 = 5*f - 0*f + 3*z + 25. Let v be 51/(-12) - (f + 2). Is i smaller than v?
False
Let f = -6315 + 6315. Is 3844 greater than f?
True
Let c = -444 - -174. Let a = 287 + -558. Does c = a?
False
Let x(p) = -12*p**2 + 19*p**2 - 13*p - 5*p**2 - 2. Let t be x(5). Let f = -534 - -1035/2. Which is bigger: f or t?
f
Let t = -14 - -22. Let g = -15.53 - -112.59. Let m = -97 + g. Is m smaller than t?
True
Let i be 2768/(-10)*150/(-132). Let s = i - 19533/55. Is -40 < s?
False
Let j = 807148/169 + -4776. Let g = j - 33490/1183. Which is greater: g or -29?
g
Let f = 0.824 - 0.854. Let i(d) = 6*d**2 - 2*d. Let m be i(5). Let v = -698/5 + m. Is f != v?
True
Let l = -1.2 + 0.2. Let t be ((-195)/658)/1 + 64/224. Let m = t + 231/4042. Is m less than l?
False
Suppose -4*i = i - 735. Suppose j - 34 = -i. Let t = 109 + j. Is -1 smaller than t?
False
Let u = -0.8901 + 439.8901. Is u greater than or equal to -5?
True
Let a be -21*((-16393)/(-663) - 24). Is -14 smaller than a?
False
Let o = -414.6 + 414.6. Is 1205 less than or equal to o?
False
Let d(f) = -33*f + 1461. Let u be d(49). Let n be -160 + (4 - (2 - 2)). Is n greater than or equal to u?
True
Let h = 449 - 664. Let u = h - -216. Which is greater: u or 44/19?
44/19
Suppose -390 = -3*b + 69. Let c be (-1 + 55)/(b/102). Is c > 35?
True
Let x(b) = b**3 + 59*b**2 - 144*b - 1343. Let h be x(-61). Is -44/115 >= h?
True
Let s = -1.039 - 3.961. Which is smaller: s or 149?
s
Suppose v - 1425 = 5*v - u, v + 3*u = -366. Let z be ((-21)/35)/(v/(-14)). Are z and -3 equal?
False
Suppose 3*w = -3*u + 570, -w + 182 = u + 2*w. Let k = -195 + u. Which is smaller: 5/24 or k?
k
Let x = -20495 - -21250. Is x greater than or equal to -6?
True
Let z be 6 + 100/(-24) - 15/10. Is 24 at most z?
False
Let v = -736 - -798. Let j be (-26)/(-234) + v/(-234). Is j at most as big as 0?
True
Let o be ((-15)/(-2))/((-5)/(500/(-75))). Is o at least as big as 48?
False
Let m be 717/24 + 4 + (-4)/(-32). Suppose -l + 2*o = m, 0 = 5*l - 30*o + 29*o + 143. Is -28 at least l?
True
Let w(r) = -r**3 + 5*r**2 - 3*r - 6. Let k be 2/(3*(-4)/(-180)). Suppose -2*p - 22 = -k. Let x be w(p). Which is smaller: -5/4 or x?
x
Let l(p) = -2*p**3 + 19*p**2 + 9*p - 2. Let j be l(10). Let f(n) = 5*n + 30. Let x be f(j). Which is bigger: x or -33?
x
Let w = 85 - 77. Suppose 725 = w*p - 795. Suppose 5*t + 27 = 2*g + p, -2*t = 4*g + 290. Is g greater than -73?
False
Let z = 34 - 33.683. Let x = z + -0.35. Are x and -1 equal?
False
Let s = -742 - -750. Suppose 6 = -2*c + 5*g, -2*c = -4*g + g + 2. Let j be (10/(-25))/(c/(-30)). Do s and j have different values?
True
Let j be (-10 - 0 - -3)/((-3)/(-3)) - 648. Which is greater: j or -2?
-2
Let z = 0.56985 - -0.03615. Which is bigger: 0.4 or z?
z
Let s = 5871 - -3150. Is 9021 smaller than s?
False
Let y be 9*(-9)/(-162) + 8257/2. Suppose -11*d + 202 - y = 0. Which is greater: -358 or d?
d
Let z = -11136 - -9270. Is z <= -1864?
True
Let f = -76 + 75.51. Let b = 0.3 + f. Let r = b - -0.09. Which is greater: r or 1/10?
1/10
Let l = -350/3 + 116. Let g be (1 - 0)/(68/24). Which is bigger: l or g?
g
Suppose -11*p = -27*p + 8*p. Let j be -7 + (p - (-65)/10). Which is greater: 3 or j?
3
Let r = -2061 - -354. Which is smaller: -1711 or r?
-1711
Let m(g) = 13*g**2 - g + 10*g**2 - 6*g**2. Let j be m(-1). Let w be (j/(-30))/(8/5). Does w = 0?
False
Let a(l) = -l**3 - 7*l**2 - 9*l + 8. Let n be a(-5). Suppose -h + 3 = -3*w, -n*h = 16 - 7. Is -16/7 not equal to w?
True
Let b be 25/(-20) + (-95)/4. Let r = b - 8. Let p be (-27)/r - 12/(-66). Is p not equal to -2/135?
True
Let p = -3.953 - 706.247. Let h = -711 - p. Which is smaller: -48 or h?
-48
Let u be ((-1 - -1)/(-2))/2. Let r be -11*1413/(-2574) + (1 - 3)*3. Is u equal to r?
False
Let l be (-18)/(-12)*(-8330)/21. Are -598 and l non-equal?
True
Suppose -17106 = -153*d + 9057. Which is greater: 161 or d?
d
Let c = 0.0915 - -0.0685. Let o = c - -3.84. Which is smaller: o or -1.3?
-1.3
Let o(h) = 2*h + 8. Let p be o(8). Suppose 8*r = 4*r + 12. Let s be 66/p - 9/r. Is -0.6 greater than or equal to s?
False
Let s = 2687 - 34907/13. Let v(z) = z + 3. Let o be v(0). Are s and o nonequal?
True
Let d = 19/55 - 10103/110. Let h = d + 34951/382. Which is greater: h or 2?
2
Let d(y) = 4*y + 18. Let a be d(12). Let j = a - 71. Let q be -1 - j/4 - (-2162)/184. Which is smaller: 13 or q?
q
Let d = -17608 + 17537.068. Let g = -71 - d. Let v = 0.032 - g. Which is greater: v or 3?
3
Suppose 7*q - 3*q - 1904 = 0. Suppose -20*t = -p - 18*t + 467, 1912 = 4*p + 3*t. Which is greater: p or q?
q
Let o = -10950 - -10944. Which is bigger: o or 60?
60
Let t(k) = 22*k - 4. Let y = 52 + -54. Let c be t(y). Let n be (-2)/(3 + c/15). Which is greater: n or 8?
n
Let c = 1.9 - -0.9. Let w = -4.37 + c. Which is bigger: -0.2 or w?
-0.2
Let g = 3094 + -4017. Is -3 at least as big as g?
True
Suppose 3 = c + 9. Let f be 50/c + 3 - (-3)/9. Which is bigger: f or 0?
0
Suppose 82*v + 5 = 77*v. Let b = 28795/36 + -800. Which is bigger: v or b?
b
Let z(i) = 4*i**2 - 11*i + 12. Let c be z(1). Suppose 2*w - 85 = -c*d + 4*d, -140 = -3*w - 4*d. Suppose -4*y + 2*y + 76 = -2*m, -m + 114 = 3*y. Does y = w?
False
Suppose -7*w + 97 - 83 = 0. Let i(j) = 54*j**2 + 4*j - 7. Let d be i(w). Which is greater: 216 or d?
d
Suppose 48806 = -14*b - 68298 - 51204. Are b and -12021 equal?
False
Let q(t) = t**3 - 31*t**2 + 100*t + 16. Let y be q(27). Which is greater: y or -201?
y
Let u = 125936/417 + 648/139. Let p = u + -307. Is p bigger than 3/113?
False
Let t be ((-3)/(-3) + -7)*(46 - 1). Let n = t - -271. Which is smaller: n or -7?
-7
Let m = -1736 - -3738. Is m >= 1994?
True
Let f(v) = 3*v**2 - 3*v + 3. Let a be f(2). Let r = 1157 - 1154. Let m = r + 6. Do a and m have the same value?
True
Let w be 1/(206/6 + -2). Suppose -326 + 681 = -38*d + 393. Which is smaller: w or d?
w
Let u be ((-3)/9)/1 - (-16)/(-6). Let z be (-3)/9*u*-1. Let q be (1 - z)/((-48)/(-3)). Is 6 less than q?
False
Suppose 0 = -400*y + 377*y + 2650 + 2962. Which is greater: y or 253?
253
Let b be 31 + -28 - (7 - (-4697)/(-875)). Which is greater: b or 0?
b
Suppose a = c + 13, 58 = -