2 + 57*f - 221. Let q be c(6). Which is smaller: 4749/5 or q?
q
Suppose 75*f - 40*f = -245. Which is smaller: -107/16 or f?
f
Let s = -15119 - -15121. Which is smaller: s or 2443?
s
Let r = -140.974 + 141. Let i = r - 0.038. Which is greater: i or -2/9?
i
Let a = 929 - 1302. Let p = a + 372.5. Which is greater: -3/5 or p?
p
Let s = 297948/31 - 9611. Are 1 and s nonequal?
True
Let u = 246 - 243. Let d = u - 2.8. Is d at least as big as -2/69?
True
Suppose s + 2*j + 12 = -7, 4*j = -16. Do -0.7 and s have different values?
True
Let r be 330/24 + 2/8. Let n(x) = 2*x - 27. Let y be n(r). Let a be y + -2 - (1 - (0 - -3)). Is a < 1/13?
False
Let b be 6/(-64)*(-30)/(-45) + (-182)/160. Is 1111 at least b?
True
Let q(p) be the third derivative of p**5/60 + p**4 + 20*p**3/3 + 26*p**2. Let u be q(-24). Let w = 28 - -11. Is w bigger than u?
False
Let t(a) = 4*a**2 - a**3 - 7 - 2*a**2 - 2*a + 3*a**2 + a**2. Let h be t(5). Let s be (70/(-56))/((-6)/h). Which is smaller: 2 or s?
s
Let w(g) = 2*g**3 + 15*g**2 + 26*g - 37. Let s(o) = 4*o**3 + 31*o**2 + 50*o - 72. Let z(t) = -4*s(t) + 7*w(t). Let p be z(-10). Which is greater: p or 310?
310
Suppose -12 = -9*j - 3*j. Let m be 0/(24/(-6)) + j + -1. Suppose -2*d + 5*s - 110 = -24, 4*d + 5*s + 112 = m. Which is smaller: -32 or d?
d
Let v = 15627 + -15636. Let g = -1.94 + -0.06. Which is greater: g or v?
g
Let b = 127 + -77. Suppose h + 3*m - b = 0, m - 197 + 31 = -3*h. Let t(a) = 2*a**2 + a. Let u be t(5). Which is smaller: h or u?
u
Suppose -5 + 7 = q. Let p = 17 - q. Suppose 17*t - p*t = -8. Which is greater: -6 or t?
t
Let x = 457.43 + -455. Let w = -2.386 + x. Which is bigger: 0 or w?
w
Suppose -11*q - 100 = -89. Are 0.5539 and q non-equal?
True
Let s = -3 - 1. Let x = 219.0146 - 0.0146. Let n = x + -218.9. Do s and n have different values?
True
Let j be (25 + -1)*165/22. Let b be (66/8)/(27/j). Which is smaller: 54 or b?
54
Let b(r) = -17*r**3 - 2*r - 1. Let t be b(-1). Suppose 2*l - 5*w = -312, -16*l + 294 = -t*l - 4*w. Which is greater: l or -152?
l
Let h = -1.8 + -11.2. Let k = h + 11.6. Let c be 2/(64/26 - (-42)/(-91)). Is k >= c?
False
Let c be 38/((-40 + 75)*(-4)/10). Let r = 185/63 + c. Which is greater: 13 or r?
13
Let r be (-977 - 0)*(124 - 125). Is 977 less than or equal to r?
True
Let h be (-13 + 4250/1904)*(-2)/(-6). Which is greater: -3 or h?
-3
Let u(n) = 3*n - 49. Let w be u(16). Let f be w + 1 - (-6)/2. Suppose -f*v + 2 = -13. Are v and 4 unequal?
True
Let g(y) = 2*y**3 + 22*y**2 + 21*y + 230. Let p be g(-11). Which is bigger: p or -0.02963?
-0.02963
Let y be (15/4 + 0)/(66/176). Suppose 6 = 3*l + 2*g, 3*l - 8*l + 5*g = -y. Let r be ((-1)/l)/((-249)/12). Which is greater: 1 or r?
1
Let k = -408 - -409. Let p be 6/k + 320/(-50). Let c = -0.1 + -0.9. Which is bigger: c or p?
p
Let h = -100415/2 - -47989. Let c = h - -2176. Which is smaller: c or -44?
-44
Let m = 199 + -199.216. Let j = m - 1.084. Is j at most -1?
True
Let b(l) = 109*l - 866. Let t be b(8). Is t > 82/11?
False
Let d(a) be the first derivative of 5*a**3/3 + a**2 - 5*a - 52. Let h be d(2). Which is greater: 21 or h?
21
Let s be ((2/(-3))/2)/(8/3376). Let n = s + 2251/16. Is 0 less than n?
True
Let a(b) = -b**3 - 7*b**2 + 31*b + 215. Let i be ((-1)/(-2)*2)/((-3)/21). Let z be a(i). Let v = -1 - -1. Which is greater: v or z?
v
Let b = -3273 - -3138. Which is smaller: b or 0.2?
b
Let u(o) = 24*o**2 - 2*o - 11. Let z be u(0). Suppose -3 = -2*x + 5*i - 0, 0 = x - i - 3. Suppose x*p + 25 = -15. Is p bigger than z?
True
Let m = -3327/5 - -663. Let z(d) = d**2 + 4*d - 6. Let c = 3 + -8. Let w be z(c). Which is greater: w or m?
w
Let y = 53415 + -212575/4. Is 272 greater than y?
True
Let k = 13.841 + -12.841. Is k at most as big as 408.8?
True
Let b = 1397 - 1453. Which is smaller: 1/12 or b?
b
Suppose -9*z - 245 - 403 = 0. Let a = 73 + z. Which is smaller: a or 8/5?
a
Let j = 19.735 + -19.535. Which is bigger: 9/1096 or j?
j
Let g(x) = -3*x**2 + 3*x + 30. Let r be g(-17). Let v = -44393/50 - r. Which is bigger: v or 1?
1
Let w be (520/(-32))/(-5) + -3. Let n = -0.3 - -3.3. Let i = n - 2. Which is smaller: i or w?
w
Let n(h) = h**3 + 15*h**2 - 3*h - 18. Let o be n(-13). Suppose 3*w - 3*v + v = 541, 2*w = v + o. Which is smaller: w or 175?
175
Let d(i) = -2*i**2 + 17*i - 17. Let u = -109 - -112. Suppose -u*x = -4*q + 38, 5*q - 50 = 8*x - 3*x. Let g be d(q). Is g at most as big as -11?
False
Let r be 394 + -379 + (-1381)/92. Which is bigger: 1 or r?
1
Let o = 2.9 - 1. Let m = o - -43.1. Let c = 50 - m. Is 0 != c?
True
Let h = 1175 - 507. Is 667 at most as big as h?
True
Let a = 4977.95 - 5137. Let y = a + 159. Which is bigger: -0.26 or y?
y
Suppose 3*y - 80 = -4886. Which is bigger: 1 or y?
1
Let v(w) = -62*w. Let u be v(-1). Let d = 64 - u. Let y be ((-21)/84)/(d/(-8)). Which is smaller: -9/19 or y?
-9/19
Suppose 2*g = 3*r - 16, -53*g + 2*r = -56*g + 15. Is g >= -1/48737?
True
Let m = -235 - -140. Let r be (2 - (-1)/4)*(-3 + 2023/(-51)). Is m < r?
False
Let i be 40/30*11/((-110)/7785). Is i smaller than -1036?
True
Suppose j + 2*j = -2*w - 1020, -4*w - 1020 = 3*j. Let n = -3742/11 - j. Let a = 0.04 - -0.06. Are n and a nonequal?
True
Let l be (3/2)/((-65)/(-39) + (-131053)/78540). Which is smaller: l or -766?
l
Let p(h) = h**3 - 17*h**2 + 30*h + 4. Let x be p(15). Let c be x/12 + 35/7. Is c < 5?
False
Let r(g) = g**3 - 7*g**2 + 7*g - 5. Let n be r(6). Let k be (-8)/32*(-24)/(-3642). Are n and k nonequal?
True
Let f(p) = -3*p**2 + 3*p + 3. Let w be f(0). Let r be w + (-6 - (-405)/(-99)). Do 0.2 and r have different values?
True
Let a(b) = b**3 - 4*b**2 + 3*b - 5. Let k be a(3). Let n = -5 - k. Suppose -20 = -5*f, n*f - f = 3*w + 14. Is -6 not equal to w?
False
Suppose 109*q - 89*q = 0. Which is greater: q or 20/397?
20/397
Suppose -806*h = -845*h + 11700. Is 300 greater than h?
False
Let d(g) = g**3 + 14*g**2 + 13*g + 3. Let q be d(-13). Suppose 89 = -4*y + i - 261, -y = -q*i + 82. Is -90 != y?
True
Suppose -4*f + t + 26 = 22, -3*f = t + 11. Let s be ((-1)/2)/((-4)/920). Is f > s?
False
Let y = 9428 - 86128/9. Is -142 greater than or equal to y?
False
Let o(n) = -9*n**3 + 10*n**2 - 2*n + 10*n**3 - 12*n**2. Let w be o(3). Let p(f) = f**3 - 3*f**2 + 7. Let c be p(w). Which is smaller: 6 or c?
6
Suppose -4*a = -d - 17, 4*a = -0*a - 5*d + 35. Suppose a*q + 2*q - 1106 = 0. Is q less than or equal to 0.1?
False
Let o be 381786/(-25466) - 5*-3. Which is bigger: 1 or o?
1
Let s = 10 + -7. Suppose -4*z - 1 = 3*f - 21, 0 = s*z - 5*f + 14. Let y be -3 + (z - (0 + 0)). Is -3/14 at least as big as y?
True
Let t = -5.73 + -18.27. Which is smaller: -22/3 or t?
t
Let q = 123 - 120. Suppose 3*l - 16 = -5*p, 14 = p - q*p + 9*l. Is p at least as big as -0.037?
True
Let l = 51.2 + -2.2. Let d = -85 + l. Let f = d - -50. Which is smaller: -2/7 or f?
-2/7
Let w(j) = -j**3 - 10*j**2 + 5*j - 31. Let r be w(-11). Let y = r + -25. Let i(d) = -d**2 + 10*d - 10. Let x be i(7). Which is smaller: y or x?
y
Let y = 6308.91809 - 6309. Which is greater: -1/3 or y?
y
Let f = 44.71 - 44. Let k = f - -0.26. Let a = k - 0.54. Is a > -0.1?
True
Let k be 8/14 - (19 - 7619/399). Which is bigger: k or 2/119?
k
Let x(f) = 228*f + 6578. Let q be x(-40). Which is bigger: q or -1?
-1
Suppose 0 = 26*m + 2028 + 1690. Is m > -151?
True
Let k = 305 - 193. Let r = 112 - k. Do 1/48 and r have different values?
True
Let v = 106.215 + -106. Let i = -0.005 - v. Let j = 0.12 + i. Which is greater: j or -5?
j
Let s be 1422/(-21) + (-2)/7. Let v(o) = -o**3 - 4*o**2 - 11*o + 9. Let f be v(5). Let w = -339 - f. Does s = w?
True
Let w be (1 + -2)/((-3)/(-33)). Let k be 4*(-6)/2*w/44. Let l be 2/(18/(-7)*(-14)/k). Do 0 and l have the same value?
False
Let x be 2/5 + (-268)/(-30). Suppose -b - b + 2*h - 24 = 0, -3*h = -9. Let f(s) = -2*s**2 - 19*s. Let w be f(b). Which is smaller: x or w?
w
Let b = -83/36 + 23/9. Suppose 11*f = 3*f - 1408. Let t = f - -91. Is t equal to b?
False
Let h = -17009 + 16977.067. Let j = -1.536 + 1.603. Let y = j - h. Which is smaller: -2/3 or y?
-2/3
Let x(d) = 2*d**2 + 6*d + 25. Let b be x(-9). Which is bigger: 137 or b?
137
Suppose q - 7*g = -6*g + 8, -2*g + 6 = 0. Suppose -2 - 9 = -q*f. Is 3/166 at least f?
False
Let c = 2956 + -3295. Which is smaller: -340 or c?
-340
L