(n) be the first derivative of 56*n**2 - 70*n + 78. Let h be t(3). Is h at least 265?
True
Let n be -8 - (13 - 99042/4710). Which is smaller: n or 1?
n
Let s(u) = 2*u**2 + 2*u - 2. Let i be 12/16*8/(-2). Let a be s(i). Let x be ((-4)/a)/((-32)/(-1880)). Is -25 bigger than x?
False
Suppose 0 = 18*q - 6495 + 24585. Does -1005 = q?
True
Suppose -5*s + 3*p + 26 = -1, 4*s + 4*p - 28 = 0. Suppose 2*u = -4*n - 24, 3*n - 12 = -u + 2*u. Let m be 4/u + 48/9 + 3. Does s = m?
False
Let g = -0.45398 + 0.08398. Is 0.12 at least g?
True
Suppose 3*d - 89 = -d + 3*w, 15 = -5*w. Suppose -d*i = -24*i + 4. Which is bigger: i or 3/95?
i
Let u(b) = b**2 - 38*b + 105. Let j be u(35). Suppose 30*c - 33*c - 30 = j. Is c at least -2/29?
False
Let l = 20 + -18. Let o be (-28 - (-60 - -33))/(2 - (-38)/(-8)). Is o <= l?
True
Let g = 860 + -865. Let h = 230.6 - 231. Which is greater: h or g?
h
Suppose 5*j + 3*u = 0, -5*j + 3*u = -2*j. Let z be (-1066)/(-2600)*-28 - -12. Is j less than or equal to z?
True
Let f(d) = -3*d - 59. Let v be f(-24). Suppose -4*s + 4*l - 12 = 0, s - 6*s + 3*l = v. Let k be (-2 - (-4)/s) + 2. Is -5/6 smaller than k?
False
Let f = -95 + 86. Let i be ((-1)/(-5)*-2)/((-2)/f). Suppose -12 = -5*b - 4*p, 3*b = -0*b - 3*p + 9. Which is smaller: b or i?
i
Suppose -132 = 50*q - 61*q. Let d = -3/2 + 2. Is q at least as big as d?
True
Let t(l) = l**3 + 2*l**2 + l. Let s be t(-3). Let p be (29/(-4) + -1)/(18/s). Let f(r) = r**3 + 7*r**2 + 6*r + 7. Let o be f(-6). Which is smaller: p or o?
p
Let l be (-5384)/32592 + 1/((-18)/(-3)). Let s = l + -1389/21049. Which is smaller: 6 or s?
s
Let x(z) = -245*z**2 - 10*z + 1. Let u be x(-1). Let v = u - -334. Are 101 and v unequal?
True
Let q = 714 + -748.9. Let g = q + 34. Let j = -0.8 - g. Is j greater than -4?
True
Let y = -209.84 + 268.1. Let s = -68.8 + y. Let o = s - -0.54. Which is bigger: o or 1?
1
Let p = -1312 + 699. Let c = p - -397. Is c equal to -217?
False
Suppose 16*s + 85 = 21*s. Suppose g + v - 6*v = 33, -g - s = 5*v. Let c be (-8)/(-198) - g/(-44). Is c < -0.2?
False
Let z = -45 - -45.08. Let k = -0.08 + z. Let x be ((-4)/15)/(396/140 - 3). Which is smaller: x or k?
k
Let j = 1552.99 + -1528.2. Are j and 0.2 non-equal?
True
Let x = 9946 - 10177. Is -235 greater than or equal to x?
False
Suppose -l + 7 = n, 5*l - 4*l - 5*n = 13. Let r(u) = -7*u - 5*u - u**3 + 8*u**2 + 16 + 10*u. Let z be r(l). Is 4/23 greater than z?
True
Let d = 1359999 + -25839771/19. Let h be 4/3*15/2. Is h greater than or equal to d?
False
Let y = 1667 - 1667.2. Do -1/58 and y have the same value?
False
Suppose -18 = -2*x + 3*v, -200*x + 203*x - 60 = -v. Is -63 at most x?
True
Let p be ((-1001)/(-56120))/7 - 0. Let b = -3/488 - p. Suppose 0 = 455*i + 68*i + 523. Is i >= b?
False
Let q = -3/5 + 1/10. Let r = 1/768 + 511/768. Which is smaller: r or q?
q
Suppose -11*n - 3*a - 2984 = 1178, -4*n = -2*a + 1498. Which is smaller: n or -359?
n
Let b be 48/(-27)*(-3)/(-2) - (-20)/30. Which is smaller: b or -41/56?
b
Let j(o) = 2*o - 10. Let s = -32 - -39. Let f be j(s). Let q be f/(-7) - (5 + -5). Which is greater: -2 or q?
q
Let i be ((-2 + 2)/(8 + -4))/(-2). Let k be (-14)/(-6) - 2/(-3). Let f be -3 + i + (16 - 2 - k). Which is bigger: f or 0?
f
Let f(g) = -g - 40. Let n be f(-13). Let p = n - -22. Let v(r) = -r - 8. Let c be v(-3). Are c and p equal?
True
Let y = -440.9 + 441. Which is smaller: y or -0.0843?
-0.0843
Let w = 457/154 - 39/14. Let t = 96.4 + -0.4. Let k = 94.9 - t. Do k and w have different values?
True
Let w be (-2)/(-4)*(-282)/(-9). Suppose -5 = -a + 3*l, -4*l - 12 = -4*a - 0*l. Suppose a*f - 18 = 12. Which is greater: w or f?
w
Let h = -580 + 924. Which is bigger: 345 or h?
345
Let z = 41/8 + -159/31. Suppose 0 = -5*u - 1396 + 1391. Is u > z?
False
Let m be (-2)/(-17) - (-38)/((-10982)/(-255)). Is m less than -27/121?
False
Let j = -122.394 - 1.606. Suppose -2*d = -5*d + n, -3*d + 3*n = 0. Which is bigger: j or d?
d
Let k = -12248 + 306196/25. Which is smaller: 1.81 or k?
k
Suppose -46*a - 24450 = 280*a. Suppose -2*b - 156 = 2*c, 3*b + 376 = -5*c + 5*b. Do a and c have different values?
True
Let g = -4795 + -7904. Which is smaller: g or -12701?
-12701
Let z be (12 - 15)*133/35967. Which is smaller: 0.1 or z?
z
Let h = -0.4055 - -1.9855. Which is smaller: h or -5?
-5
Let k(a) = 3*a**2 - 92*a - 1433. Let o be k(-16). Is 802 smaller than o?
True
Let f = -298 - -298.203. Let t = -0.303 + f. Which is smaller: t or 3/55?
t
Let o = -97118447/2891 - -1371834/49. Let t = -5597 - o. Which is greater: -1 or t?
t
Let m = 833.8 + -833.9. Which is smaller: m or -2845?
-2845
Let q be ((-870)/(-20))/(-1 - 4/(-8)). Let t be q*(-2)/18*-9. Is t less than or equal to 4?
True
Let f = 2663792 + -2662443.883. Let v = -1349 + f. Let i = 0.017 - v. Which is smaller: 4 or i?
i
Suppose -13 + 67 = -3*q. Suppose -6082*w = -6071*w + 187. Which is greater: w or q?
w
Let h(p) = -7 - 3*p**3 + 35*p - 34 + 22*p**2 + 4*p**3. Let z be h(-20). Which is smaller: z or 57?
57
Let j be 2/11 - (-114)/(-22). Let x(f) = -9*f**3 + 3*f**2 + 4*f + 2. Let g(h) = h**3 + h**2 + h. Let n(m) = j*g(m) + x(m). Let b be n(1). Are b and 0.1 unequal?
True
Let c(q) = 62*q - 791. Let z be c(14). Let j(p) = -13*p - 1. Let v be j(-6). Is v bigger than z?
False
Suppose -25623 = -379*p + 388*p. Is -2848 at least as big as p?
False
Let d(u) = -u**3 - 129*u**2 - 144*u - 2060. Let z be d(-128). Which is greater: z or -418/35?
-418/35
Suppose -75 = n - 6*b + b, -105 = n + 5*b. Let m be (0 - -35)/(n/(-36)). Which is smaller: 22 or m?
m
Suppose -8*p = 94*p + 1484 - 4952. Let t(w) = -13*w - 4. Let l be t(-3). Are l and p equal?
False
Let u = 117 + -117. Let o = 63 + -56. Is o >= u?
True
Suppose 4*s + 163 = -3*q - 0*q, -4*s + q - 175 = 0. Let f = -1.38 - -2.33. Let r = f + 0.05. Which is bigger: s or r?
r
Suppose 13*x = 4*x + 360. Suppose -45*w + x = -37*w. Is 81/13 greater than or equal to w?
True
Let t(q) = -9*q**2 - 222*q + 129. Let j be t(-27). Which is greater: 2 or j?
2
Let o(c) = c**3 + 10*c**2 - c - 10. Let h be o(-10). Suppose 2*x + 5*q = -h*x + 73, x + q = 29. Let s be (x/16)/(6/40). Which is smaller: s or 11?
s
Let i(m) = -m**3 + 104*m**2 - 588*m + 1. Let x be i(98). Let n be 1*(-1 - -171)/(-2). Let c be x/(-1 + n/(-90)). Which is smaller: -16 or c?
c
Let s = 14846 - 14845. Which is smaller: 262.5 or s?
s
Let p = 4274 + -4356. Let x = 565.43 + -483.2. Let w = x + p. Are w and 3 unequal?
True
Let f = -29 - -29.26. Let n = 1.66 - f. Let k = n + -1.3. Is k at most 11?
True
Suppose -219*b + 225*b - 468 = 0. Which is greater: 168 or b?
168
Let w = -21819 - -65473/3. Let l be 1 + -5 - (-1 + 2). Let x = 10 + l. Is w > x?
True
Let a(b) = -27*b + 184. Let l be a(15). Let k = -159 - l. Which is bigger: 65 or k?
65
Let u be 2*((-185)/10 + 4). Let x = u - -84. Suppose 0 = -2*g + 4*j + 8, 0*g + 4*g - x = -5*j. Are 10 and g nonequal?
False
Let j be (-275)/(-330) - (-5)/(-6). Which is bigger: -18/727 or j?
j
Let k be ((-15)/(-12))/1*-16. Let o be (-214)/(-8) - 1*5/k. Which is bigger: 28 or o?
28
Let c = 134 + 47. Let h = c - 180. Are -1/71 and h nonequal?
True
Let t(b) = -30*b + 49. Let v be t(17). Let g = v + 473. Which is bigger: g or 78/7?
g
Let a be 0/(-2) + -9 + 572/65. Let o be (3 - (-213)/(-75))*-30. Which is smaller: o or a?
o
Suppose -f = 0, -2*f + 2 = -4*w + 5*w. Suppose 4*s + 2 = -5*k + 8, 2*s - 2 = -w*k. Which is smaller: 1/439 or s?
s
Let t(y) = -94*y - 189. Let k be t(-2). Which is greater: -2/4725 or k?
-2/4725
Suppose 0 = b + 101 - 26. Let i = -70 - b. Suppose h + i*f = -2*h + 17, 8 = 2*f. Which is greater: h or -37?
h
Let z(v) = 5*v**3 - 17*v - 8*v**3 + 4*v**3 + 1 + 6*v**2. Let j be z(-8). Suppose 4*y + j = 1. Is -2 at least as big as y?
True
Suppose 1142*r = 1112*r + 19217 - 407. Do r and 622 have different values?
True
Let q = -97.05 + 8.05. Let d = q - -88. Which is smaller: 48 or d?
d
Let l = -2048 + 3969/2. Let x = l - -64. Which is smaller: x or 12/83?
12/83
Let y(u) = 1 + 7*u**2 + u**2 - u**2 + 3 + 4*u. Let k be y(-1). Which is smaller: 57/7 or k?
k
Let p = -10/39 - -233/1365. Let z = -45026 - -45024. Is z equal to p?
False
Suppose 2*m = -6*l - 0*m + 4164, -l - 3*m + 678 = 0. Which is bigger: 0 or l?
l
Suppose -113*l - 2093 = -112*l. Which is bigger: l or -2094?
l
Let 