f(a) = a**2 + 85*a + 548. Let j be f(-78). Which is bigger: j or -342?
j
Let u be ((-4)/508)/(2/7 - (-120)/560). Which is smaller: u or -0.4?
-0.4
Let r = 3.42 + -6.83. Let x = -0.21 - r. Let w = x + -3. Is w equal to 14?
False
Let r = -546 + 826. Let f = r + -280.1. Is f smaller than 74/9?
True
Let p be -3 + 10 + (-20 - -13) - (-2030)/72. Which is greater: 28 or p?
p
Let q(m) = -m**2 - 3*m - 19. Let p(c) = 2*c**2 + 8*c + 39. Let n(i) = 3*p(i) + 5*q(i). Let d be n(-6). Do 72 and d have the same value?
False
Let s(o) = 16*o - 266. Let t be s(5). Is -189 smaller than t?
True
Let d be 848/2020 - (-2)/(-5). Suppose -4*b = -13*y + 10*y + 24, -3*y - 24 = 4*b. Is y != d?
True
Let l(o) = -55*o**2 + 268*o + 1111. Let t be l(-4). Is t > -841?
False
Let m = 3627 - 3131. Is m greater than or equal to 496?
True
Let f be (-56)/(-4)*1*62*(-4)/16. Which is greater: f or -227?
f
Suppose -w = 4*f - f + 4, 4*f + 10 = -2*w. Let v be (-32)/(-8) + (-7)/(w/(-4)). Let b = 694/9 - 61757/801. Which is bigger: b or v?
b
Let b be (4*3/(-10))/(6/(-20)). Suppose 2*a = -3 - 1, -b*x + 2*a = -8. Which is bigger: -2/233 or x?
x
Let j = 6462/7 + -920. Let k = -18109/400 + 9/400. Let c = -45 - k. Is j at least c?
True
Suppose -2*x = x - 9, 0 = 2*v - 2*x - 74. Let w be 4/14 - v/(-56). Let n(t) = -2*t**3 + t**2 + 4*t - 4. Let g be n(w). Which is smaller: g or 2/13?
g
Let l = 0.0291 - -44.9709. Let f = l - 1. Is f greater than or equal to 1/3?
True
Let r(h) = 4*h**2 + 22*h + 95. Let m(j) = -5*j**2 - 23*j - 97. Let d(w) = 3*m(w) + 4*r(w). Let x be d(-8). Let y = -23 + -20. Is x greater than or equal to y?
True
Let c(x) be the third derivative of x**6/120 - 2*x**5/15 - x**4/3 + 17*x**3/6 + 32*x**2. Let t be c(8). Let v = 40 + t. Is -7 != v?
False
Let n = 876.1 + -876. Let w = -36.047 - -0.047. Let z = w + 7. Which is smaller: z or n?
z
Suppose 3*x = 9, -4*y + 125 = y + 5*x. Suppose 0 = -y*o - 113 + 25. Are o and -4 nonequal?
False
Suppose 2*q + q = 9. Suppose 158*n = -90*n + 63*n - 185. Let i be (-1 - n)*(q - 4). Is 10/7 bigger than i?
True
Suppose 12*d = 33 - 153. Let i be ((-1)/(-8))/(235/d*-3). Is i not equal to 0?
True
Suppose -2246 = -28*n + 19846. Is n at most as big as 787?
False
Let h = 1260 - 3779/3. Let o = -13 - -9. Are o and h non-equal?
True
Suppose -8*y - 2*a + 1327 = -11*y, -a + 2221 = -5*y. Do y and -449 have different values?
True
Let y be (-2)/10*3 + 2340/(-225). Let i(w) = 3*w + 60. Let h be i(y). Suppose 47 = -4*l - 5*m, m = -3*l - 0*l - h. Which is greater: -1 or l?
-1
Suppose -4*x = 2*f + 386, 65*x + 292 = 62*x - 2*f. Are x and -43 unequal?
True
Let s(n) = -4*n - 4. Let k be s(-3). Let o be (975/(-260))/((-11)/8 - -1). Suppose 13*a = 15*a - o. Which is greater: k or a?
k
Let j = -5 - -4. Let v = -2881/15 - -858523/4470. Which is smaller: j or v?
j
Let u = -55273 + 55326.141. Let r = u + -0.241. Let m = r + -53. Which is smaller: 0.4 or m?
m
Let s = 234151/104 - 18411/8. Let k = 50 + s. Let w = k - -11/26. Are w and -0.3 unequal?
True
Let f = 0.2709 + -0.0709. Let l = 4.757 + 0.043. Which is smaller: f or l?
f
Let p be (10 - 4)*(-2)/(-3). Suppose 0 = 3*f - 4*b + 14, 3 = -p*f + 2*b + 1. Suppose f*v + 1 = -3, 4*v = n - 14. Which is greater: -2 or n?
n
Suppose 4*y + 33 = -5*m, -3*y - 8 = -4*y + 2*m. Let c = -16 + 9. Let f be -3 - c - 82*2/24. Which is smaller: y or f?
f
Let a = -3.97 + 2.58. Let h = -3.12 - -3.61. Let z = a + h. Is 0.2 not equal to z?
True
Let t = -18214065/1628 + 11188. Does -1 = t?
False
Let d(r) = 9*r + 25. Let o be d(-24). Let y = o + 190. Which is greater: y or 1/132?
1/132
Let p = 2998 - 766. Is 2233 greater than p?
True
Suppose -3*y = -282 + 6723. Which is smaller: -2 or y?
y
Let r be 6916/84 + ((-2)/6 - (6 + -7)). Do 47 and r have different values?
True
Let v(p) = p**2 + 64*p + 329. Let k be v(-5). Which is bigger: k or -21?
k
Let n(j) = -329*j - 419. Let d be n(-10). Is 2870 greater than d?
False
Let j be (-174417)/(-34883) + 4/(36/(-45)). Do -1 and j have the same value?
False
Let n(k) = 2*k**3 - 28*k**2 - 20*k - 51. Let d be n(15). Which is bigger: d or 100?
100
Suppose -5*s + 25 = -5*j, -2*s = 5*j + 2*s - 20. Let k = -31/382 + 11391/46222. Let u = -1283/5566 + k. Which is smaller: u or j?
u
Let t(q) = -555*q - 13315. Let c be t(-24). Which is smaller: c or 3.75?
3.75
Let i = 2/12343 + -864044/209831. Let f = i - 551/85. Is f at most as big as -10?
True
Let x be (13/((-234)/228))/110. Let c = 12/55 - x. Which is smaller: c or -2.9?
-2.9
Let x = -68 - -137. Let g = x - 217. Let l = -234 - g. Is l less than -1?
True
Suppose 4*r - 4*p = -9*p + 9539, 3*r - 7149 = -2*p. Which is greater: 2382 or r?
2382
Let k = -258 + 142. Let s = -87 - k. Let o = s - 29.1. Is o <= 16/5?
True
Let k(y) = 5*y + 13. Let s(t) = -2*t**3 + 2*t**2 + t + 2. Let h be s(2). Let v be -2 + (h/4 - 2). Let g be k(v). Is g > -10?
False
Suppose -4*x + 367 = -233. Suppose -5*y = z - 6*z - x, -82 = -3*y - z. Let t be (-1)/((-2)/58*1). Is y at least t?
False
Let c be (-1)/6*-2*15. Suppose -c*s + 3*x + 15 = 0, 2*s + 3*x - 15 = -3*s. Suppose -27 = -3*d + s*o, -6*d + 2*d + 33 = -3*o. Is -3 at most as big as d?
True
Let y(x) = -6*x**2 - 7*x - 4. Let w be y(-8). Let u = w - -1329/4. Which is greater: u or -3/22?
u
Let j be (76/(-133))/(4*1/(-7070)). Which is greater: j or 1012?
1012
Let m = -1.06 - -0.96. Let p be (-2)/13 - (-17955)/351. Suppose p - 15 = -9*t. Is t greater than m?
False
Suppose -5*w = -u + 1, 2*u = -312*w + 307*w + 2. Which is smaller: 3/9494 or w?
w
Let l = 13.914 - 13.714. Which is bigger: l or -1341?
l
Let u(y) = -y + 30. Let n(h) = h - 29. Let w(d) = 5*n(d) + 6*u(d). Let o be w(10). Let m = o + 17. Which is bigger: m or 41?
m
Suppose -3*b - 108 = 2*l, b + 117 = -2*b - 5*l. Let g = b + 38. Do 12 and g have the same value?
False
Let s(p) = 4*p**2 + 322*p - 543. Let h be s(-71). Which is bigger: -16199/5 or h?
-16199/5
Let b = -20 - -47. Let x = -9 + b. Let v = -664 - -663.9. Which is bigger: v or x?
x
Let a(p) = -p**3 - 10*p**2 - 15*p - 16. Let f be a(-10). Let k = -123 + f. Suppose -96 = -8*n + k*n. Which is smaller: n or -30?
n
Suppose -4*w + 6*c + 36 = 2*c, -3*c = 2*w - 8. Let m(k) = -6*k + 41. Let h be m(w). Which is smaller: 6/77 or h?
h
Let s = -50 - -4. Let r = 47.5 + s. Let u = 2.5 + r. Is u at least 4?
True
Let y = -346 - 249. Let x be (y/150 + 4)*25/195. Is 1 smaller than x?
False
Suppose 10*h - 9*h = 2*h. Suppose h*d + 2 = 2*d, 5*f + 2*d = -8. Let w be -1 - (-6 - f) - 11. Which is bigger: w or -7?
-7
Let q = -12 - -7. Suppose -2*z + 2*i = 3*z - 25, 0 = -z - i - 2. Let a be (-3*z)/((-36)/(-24)). Are q and a non-equal?
True
Let x = -407 + 551. Suppose 3*b = -d - 2*b - x, 2*b = 4*d + 620. Which is smaller: -0.1 or d?
d
Let m(y) = 6*y**3 + 9*y**2 - 52*y + 600. Let j be m(12). Does j = 11639?
False
Let h(c) = c**2 + 19*c + 78. Let u be h(-13). Suppose 0 = -u*l + 19*l + 418. Which is bigger: -21 or l?
-21
Let o(m) = -4*m**2 + 49*m - 8. Let q be o(8). Let p = q + -158. Suppose 0 = -2*i - i + 5*x - 85, -86 = 3*i - 4*x. Is i greater than or equal to p?
True
Suppose -12*v + 64 = -152. Suppose n - 5*y = 8, -14 = -3*n - 13*y + v*y. Is n > 96/23?
False
Let o(f) be the third derivative of 7*f**4/24 + 53*f**3/3 - 120*f**2. Let n be o(-13). Which is smaller: 44/3 or n?
44/3
Let t = -533 - -518. Let j be ((-2)/(-4))/((-10)/t + 7). Which is bigger: j or 1?
1
Let p be 280/(-60) + 4 - (-28)/(-18). Let j = 3 + 0. Suppose -19 = 5*i - j*a + 7*a, 2*i + 4*a + 10 = 0. Is i > p?
False
Suppose -5*z - 3*x - 157 = 0, z + 2*x = -19 - 11. Let n = -142 + z. Is -175 greater than or equal to n?
False
Suppose -6*a - 29691 = 3*n, -1076*a - 24739 = -1071*a + 2*n. Which is bigger: -4944 or a?
-4944
Let d(m) = 11*m - 266. Let a be d(20). Let n be (-434)/(-48) + 414/a. Is 0 less than n?
True
Let a = -15 - -2. Suppose -3*w = -0 - 3, -2*w = -3*u + 10. Suppose 39 = -u*b + b. Is b greater than a?
False
Let v(o) be the first derivative of 22*o**2 + o - 48. Let s be v(-2). Which is smaller: -86 or s?
s
Let i = 231 - 227.41. Let k = i + -3.65. Which is smaller: -4 or k?
-4
Let b = -9.687 - -11.367. Is b at most -43?
False
Suppose 4*o + 1 = 4*r + 13, -r - 3 = 5*o. Let c = -3304/51 - -194/3. Is o at most as big as c?
False
Let i = -3144/7 + 1091080/2429. Is -1 equal to i?
False
Let g = 0.93 + 0.27.