3. Which is smaller: o or x?
x
Let p(c) = -3*c**2 - 16*c + 47. Let u(s) = 8*s**2 + 48*s - 141. Let n(j) = -11*p(j) - 4*u(j). Let q be n(12). Is -67 < q?
True
Let s be (-14)/(-2) - 0/(-2). Suppose -x + 11 = -5*q, 9*x - 5*q - 44 = 5*x. Suppose -3*r - v = 9, 5*v = -5*r + x - 36. Which is greater: s or r?
s
Suppose 4*u = 6*u + 5*s + 44, 5*u + 4*s = -127. Suppose 114 = 27*c + 816. Is u != c?
True
Suppose 2*q = 6*r - 3*r - 103, -145 = -5*r - 2*q. Let a(l) = -3*l**2 + 37*l + l**2 - r*l - l**3 + 2*l**3 - 8. Let u be a(4). Is 47 less than or equal to u?
True
Let t = -7/244 + 537/1708. Which is smaller: 1.416 or t?
t
Let b(j) = -j**2 + 10*j - 11. Let o be b(8). Let g be (0 - o)/(1*2/2). Are -54/11 and g nonequal?
True
Let l(d) = -2*d**2 + 5*d + 5. Let j be l(3). Suppose -6*u = -4*u - 2*b - 152, -3*b = -j*u + 154. Is 71 greater than u?
False
Let w = -422840 - -422894. Let g = 136 + -682/5. Which is bigger: g or w?
w
Let a(r) be the first derivative of 5*r**2 - 139*r + 94. Let b be a(14). Are b and 2/47 equal?
False
Let q = 0.0377 - 33.3377. Let m = -33 - q. Which is bigger: m or 37?
37
Let r be 38564/6427 + 438/(-73). Is -1 greater than r?
False
Suppose 6*n = 4*b + 3*n - 131, 0 = 5*b - 2*n - 162. Let u be (816/b)/((-1)/(-4)). Are 102 and u nonequal?
False
Let q(r) = -r**2 + 13*r. Let n be q(14). Let w = n + 18. Let g be w*5/90 - 618/(-135). Is 4 > g?
False
Let k(z) = -z**3 - 19*z**2 + z - 19. Let b be k(-19). Let g = b - -64. Let r = 184/7 - g. Which is bigger: 2/3 or r?
2/3
Let c = 106 - 106. Let o(z) = 0*z**2 + 95 - 83 + 2*z**2 + c*z - 7*z. Let q be o(7). Is q equal to 60?
False
Let q = 198076134694225/12486 + -15863858284. Let m = -6/2081 - q. Is 2 greater than m?
True
Let i = -310 + 318.05. Let f = -0.05 + -7.95. Let a = i + f. Which is greater: a or -0.4?
a
Let m = 7.1 + 7.7. Let l = m + -13.9. Suppose z = -z - 2. Which is smaller: z or l?
z
Let c be ((-175)/21 - -7)*(-6)/4. Which is smaller: -26 or c?
-26
Suppose 11 - 1 = -5*c. Let l be (0/(-4 - (0 - 0)))/c. Let u(z) = -2*z + 25. Let w be u(l). Which is bigger: 26 or w?
26
Suppose 4*d + 4*n + 1149 = -223, 4*n = 2*d + 680. Do -360 and d have different values?
True
Let y = -1759.07 - -1769.9. Is 1/4 less than y?
True
Let i be (39/26)/(-5 - -2). Which is smaller: i or -9.024?
-9.024
Let c be ((-27)/(-135))/(7332/(-329950)) + 1 + 8. Is c bigger than 0?
False
Let y = 1 + -1. Suppose -t = q - 4, -4*q + y*t + 26 = -t. Suppose -4*s + 428 = -m + 461, -2*m - 2*s = -16. Which is smaller: m or q?
q
Let w be 897 - (-25 + -11)/4. Which is bigger: w or 907?
907
Let s = 7943/69 - 2640/23. Are s and 1050 non-equal?
True
Suppose 2*n + 5*v + 5 = 24, 2*v - 16 = -5*n. Let h be n/((596/(-6))/(14/(-21))). Is 1 < h?
False
Let z = -72 + 68. Let k be ((-4)/6)/(z/(-6)). Let u be -1 - (-5 - -4)*(2 + k). Which is bigger: u or -4/11?
u
Let g be 27/18 + 1009/(-14). Let l = -2372/35 - g. Suppose -4*t + 6 = 3*o, -4*t + 3 = -4*o + 11. Is o < l?
True
Let i(n) = 2*n**2 + 3*n + 1. Let f be i(-2). Suppose -2*l + 5 = -f. Suppose -2*g + 4*c - 10 = 0, -2*c + 12 - l = 2*g. Is -5/11 less than or equal to g?
True
Let b = -20579347/317 + 64919. Which is smaller: b or 0?
b
Let r = 14326 - 8409364/587. Which is smaller: -1 or r?
-1
Let g = 13724 + -13658.012. Let h = g - 66. Is 4 at least h?
True
Let h(c) = -34*c + 101. Let g be h(3). Let r be (g - -1 - (-1 + 2)) + 2. Is -1.48 not equal to r?
True
Let p be (-16 - -13)*86/(-3). Suppose 87 - p = -i. Is i bigger than -4/55?
False
Suppose -4*z + 3337 = -5*l, 0*z + 2*z - 2*l - 1670 = 0. Is z less than or equal to 839?
True
Suppose -4*p = -4*c + 4, 3 = 12*p - 14*p + 3*c. Does -2/17303 = p?
False
Let x = 260.171 - 260. Let a = x - -214.829. Is a bigger than 0.1?
True
Let j(z) = -z**2 + 9*z - 10. Let x = 3 - -4. Let i be j(x). Suppose 4*l + 376 = i*b, -4*l - 154 + 588 = 5*b. Are b and 90 non-equal?
False
Let b(o) = -o**2 - o + 1. Let l(c) = c**3 - 18*c**2 + 7*c + 50. Let g(h) = 3*b(h) - l(h). Let a be g(12). Which is smaller: 266 or a?
a
Let y = -619 + 974. Let h = 644 - y. Which is bigger: h or 288?
h
Let f = -0.025 + 2.335. Let j = f - -1.69. Is j > -0.06?
True
Let w = 7111 - 7109.19. Which is smaller: 2/9 or w?
2/9
Let p = -3/1269521 - 1453024487/1269521. Suppose 126*y + 2*z = 122*y + 4594, 5*z - 1171 = -y. Let a = y + p. Which is smaller: 1 or a?
1
Suppose -29*m + 104 + 151 = -35. Is m smaller than 192/5?
True
Let w = 2207 + -2133. Is w at most 68?
False
Let s be ((-120)/(-24) - 2) + -18. Suppose 0 = -3*b + 12 + 3. Let i(w) = -4*w + 5. Let j be i(b). Is j greater than or equal to s?
True
Let m = -6 - 1. Suppose 0 = 70*u - 78*u - 2880. Let s = u - -354. Which is smaller: s or m?
m
Let c = 526069/17 + -30957. Which is smaller: c or -12?
-12
Suppose 0 = 6*l + 8 - 32. Suppose 0 = l*h - 8 + 20. Let c be 4/(h*(-3)/(-90)*4). Is c smaller than -10?
False
Let b(n) be the third derivative of -5*n**4/12 - 41*n**3/6 - 43*n**2. Let p be b(-7). Which is smaller: p or 0.4?
0.4
Let t = 3057.31 + -3072. Let s = 0.31 - t. Is 0.5 greater than s?
False
Let z = -33 + -102. Let a be -4 - 9/(z/(-1570)). Let x = a + 108. Is x at least as big as 2/15?
False
Let m(p) = 6*p**3 - 6*p**2 + 40*p - 104. Let h be m(3). Which is smaller: h or 126?
h
Let g = 15.132 - 11.98. Are 1 and g equal?
False
Let p(u) = -u**2 + 27*u - 61. Let l = 488 - 473. Let k be p(l). Which is bigger: 0.1 or k?
k
Let y = -195 - -199. Let b(o) = -16*o + 52. Let d be b(y). Are d and -7 non-equal?
True
Let p be 754/(-18) + (-4)/(-18). Suppose 1260 = 318*c - 348*c. Do c and p have the same value?
False
Let w be (-147)/(-63) + (2 - (40/(-15))/(-4)). Which is greater: w or -16/7?
w
Suppose -1 = 5*v - 6. Let i = -6654/17 + 143677/272. Let h = i - 137. Which is smaller: v or h?
h
Suppose -4*g + 920 = 4*p, 90*p = 95*p - g - 1174. Suppose p = -m + 7*m. Which is smaller: 77/2 or m?
77/2
Let x(p) = 3*p**3 - 22*p**2 + 49*p - 34. Let j be x(6). Which is smaller: 106 or j?
106
Let c(z) = -z**2 - 5*z + 21. Suppose 15 = 5*f, -4*w = -6*f + f - 137. Suppose -4*m - w = 2*r, r - 3*r - 22 = 2*m. Let y be c(m). Are -2 and y unequal?
True
Let g = -42 + 13. Let d = 0.1007 + -1.1007. Which is greater: g or d?
d
Let v(r) = -r - 5. Let o(b) = -2*b - 11. Let h(n) = 4*o(n) - 7*v(n). Let t be h(-10). Let y be (-72)/(-27)*3*3*t. Is 23 equal to y?
False
Let w = 2414 - 5557. Is w < 1?
True
Let s = -0.29 + 0.68. Let q(t) be the third derivative of 31*t**4/24 - 61*t**3/3 - 16*t**2 - 1. Let n be q(4). Is n smaller than s?
False
Let t = -12169/133200 - -1/925. Is t less than or equal to -1?
False
Let y be 20 + 3982/(-198) + 1 + (-406)/(-9). Is 48 > y?
True
Let k = 1963 - 1964. Which is smaller: -3/29338 or k?
k
Let l be (-8 - 25)*(((-280)/49)/(-10))/4. Suppose -6*b + 3*b + 7 = 2*a, 0 = -5*a - 4*b. Do a and l have the same value?
False
Let y = -1246 + 882. Let w = y + 289. Which is greater: w or -76?
w
Let o = 2601 - 2601.85. Is 29 < o?
False
Let f(v) = -v**3 + 8*v**2 - 3*v - 22. Let h be f(7). Let r be (h + 0)/2 - -2. Suppose 88 = -r*p + 93. Is p less than or equal to -2?
False
Let r be (-239)/(-120) + (-4)/6. Let y = r - 4159/3320. Which is bigger: y or -1?
y
Let s = -11.5388 - -11.538. Which is greater: 5 or s?
5
Let o be (-2)/(-9) - (3 + (-58)/(-18)). Let p be (o/(-46))/(6 - (-45)/(-10)). Let v = p - 5/322. Which is smaller: v or -1?
-1
Let o(k) = -2*k**3 + 2*k**2 - k + 3. Let j be o(3). Suppose -1466*b = -1452*b + 518. Which is smaller: b or j?
b
Let c(r) be the third derivative of r**5/12 - 7*r**4/24 + r**3/3 + 4*r**2 - 11*r. Let f be c(1). Is 1/1024 >= f?
True
Suppose 5*t + 1068 = 4*c, 4*c - 1032 = -17*t + 13*t. Let o = c - 261. Is -445 not equal to o?
True
Let f = 16554 + -20540. Is f equal to -3984?
False
Let x(y) be the third derivative of -y**4/12 + 49*y**3/6 + 49*y**2. Let b be x(22). Is -1/14 greater than or equal to b?
False
Let f(a) = a**3 - 10*a**2 + 16*a + 19. Let r be f(8). Suppose 18 = 16*q - r*q. Let t be 5*(-6)/(-150) - q/(-5). Which is smaller: t or -5?
-5
Let k = 3019 + -2871. Is k at least -0.006?
True
Let o(v) = -v**3 + 4*v**2 + 2*v + 13. Suppose -5*a + 10 = -10. Let l be o(a). Let y = l - 7. Which is greater: 15 or y?
15
Let w(s) = -1118*s + 4193. Let r be w(5). Is -1397 less than or equal to r?
True
Let a be 10 - (-2 - -6)/2. Suppose -3*u = -a*u. Suppose u = -4*