Let n be d(1). Let h be -4*n/950*-30610. Let b = h + -644. Which is smaller: b or 1?
b
Let x be (6/(-7))/(81/(-756)). Let t be (-34)/(-16)*(x/32)/1. Which is smaller: 0 or t?
0
Suppose -14*k = -19*k + 5*l + 115, 5*k + 2*l - 101 = 0. Let c be (k/(-147))/(3/(-14)). Are c and 1 nonequal?
True
Let d = -87/28 + 9/4. Let a(k) = -2*k + 1. Let r be -2*((-3)/6 + 0). Let z be a(r). Which is smaller: d or z?
z
Let u = 169 + 4. Let j = u + -173.3. Which is bigger: j or 17?
17
Let o(l) = -l**2 - 180*l - 6731. Let n be o(-127). Let c(z) = 29*z. Let k be c(2). Is k less than n?
False
Let p be (-288)/(-432) - (-16)/(-6). Which is greater: -346 or p?
p
Let a = -319.8 - -622.8. Does -5 = a?
False
Let f be 5/(-45) + (-3098)/(-18). Let p be 3*(-2)/(-3)*(-430)/f. Which is bigger: 2 or p?
2
Let v = 16180.05 + -16180. Which is smaller: 2/1711 or v?
2/1711
Suppose -2 = 5*h + 3*r + 382, -h = -3*r + 84. Let n = h + 83. Suppose 3*o = 4*v + 56, -4*v = -v + n*o + 71. Which is bigger: v or -20?
v
Let n = 13055 + -6073. Which is bigger: 6983 or n?
6983
Let k be 12/10*((-14180)/(-1290) - (-99)/(-9)). Let z = 28 - 28. Which is smaller: z or k?
k
Let y = -2122.9 + 2123.203. Is 0.19 not equal to y?
True
Let v be 1/3*(7 + -1). Let j be v/(-3)*10/(-45). Which is bigger: 0 or j?
j
Let j be (-1 - (-10)/(-6))*(-12)/8. Let h(g) = -g**2 - 6*g - 3. Let b(s) = s**2 + 6*s + 2. Let o(v) = j*b(v) + 5*h(v). Let u be o(-4). Are u and 1/15 unequal?
True
Let v(k) = -5*k**3 - 21*k**2 - 3. Let d be v(-4). Which is smaller: d or -39?
-39
Let m be -129*(-36)/27*(-7)/4. Let d = 301 + m. Do d and -3/463 have different values?
True
Let u = 121/870 + 4/145. Suppose -5*i - 4 - 1 = 0. Which is smaller: i or u?
i
Let l(o) = -11*o - 16. Let t(s) = 11*s + 31. Let f be t(-3). Let w be l(f). Let x = 4 + 2. Are x and w equal?
True
Let j = -0.073 + 1.773. Let v = -6 + -12. Let i be 2/(-24) + 3/v. Is j less than or equal to i?
False
Let k be (11/((-462)/(-3988)))/((-6)/54). Is k greater than or equal to -855?
True
Let p = 118843/690 - 1033/6. Is -2 <= p?
True
Let w = 36 + -40.9. Let x = w + 1.9. Are 27 and x non-equal?
True
Let i be 3/3 + 1801/(-1204). Let c = i + 15/86. Is 0 not equal to c?
True
Let t = -8220 + 7670. Is -4401/8 smaller than t?
True
Let j be (((30/5)/6)/(1 + 15))/180. Is j smaller than 1?
True
Suppose 0 = 3*g + 3*j + 31152, g + 10*j = 12*j - 10378. Are -10381 and g non-equal?
True
Let f = -35/2438 - 5/53. Suppose 143*d - 18 - 2 = -20. Is f > d?
False
Let w = -2 + 9. Let n = 217787/28314 + 1/2178. Which is greater: n or w?
n
Let j(q) = -q**3 + 10*q**2 + 642*q + 7. Let y be j(-20). Which is greater: -835 or y?
y
Let p = 16 - 11. Suppose -p*c = -b + 24, 199*b = 198*b - 2*c - 4. Is b less than 4?
False
Suppose -s + 3*s + 4 = 0. Let j be -3 - s - ((-511)/(-35) - -11). Is -26 less than j?
False
Let x = -11096.03 + 11096. Which is bigger: 0.3 or x?
0.3
Let g(n) = 5*n**2 - 4*n + 3. Let i be g(3). Let y = -45 + i. Let v = -12 - y. Is v equal to -26/7?
False
Let h be (6*(-1)/(-70))/((-90)/5103). Is h < -6?
False
Let c be 38/66 + -18 + (-795)/(-45). Are -28 and c unequal?
True
Let f(d) = -2*d + 4. Let o be f(2). Suppose 0 = -o*s - s. Let y be (9/(-27))/(-1 + (-9)/(-6)). Which is greater: y or s?
s
Let d be 10089/36*(7 - 6). Let n = 280 - d. Which is bigger: n or -0.41?
n
Suppose -36*z = 13*z + 31164. Do z and -628 have the same value?
False
Suppose 0 = -n + 5*q - 2, 0*n + 17 = 5*n + 2*q. Suppose -188 = -n*v - 5*a, v - 76 = -6*a + a. Let o be (21/v)/((-3)/2). Is o at least -2/5?
True
Let q(j) = 8*j**2 + 271*j + 231. Let h be q(-33). Let r = -2/155 + 918/23095. Is r greater than or equal to h?
True
Let l(k) = 77*k + 1511. Let h be l(-21). Let j be 8/12*318/(-2). Are j and h equal?
True
Let d be 12524/(-36) - (-2)/(-18). Let l = -642 - d. Is l less than or equal to -294?
True
Suppose 40 = w - 125. Let z = w - 90. Suppose z = -3*t - 3*i, 2*t + 3*i = -3*t - 133. Which is bigger: -28 or t?
-28
Let c = 592 + -575. Are c and 73 non-equal?
True
Let q(p) = p**2 + 11*p + 32. Let z be q(-6). Let j be (-2961)/1001 - 3 - (-4 - z). Which is smaller: j or 1?
j
Let f = -3394 + 5113. Are f and 1721 nonequal?
True
Let w(q) = q**3 + 22*q**2 - 51*q + 9. Let k be w(-24). Let n = k + -82. Let o = 0.01 - -0.09. Which is bigger: n or o?
o
Let r be (-4)/74 + (-3323865)/(-61248505). Which is smaller: r or 1?
r
Let a(z) = 7*z**3 - 7*z**2 - 4*z + 35. Let y(n) = 15*n**3 - 15*n**2 - 9*n + 70. Let u(r) = 13*a(r) - 6*y(r). Let g be u(0). Is g < 35?
False
Let g = -859/76 + 39/19. Suppose 0 = -6*u + 5 + 7. Suppose -b - u*b - 30 = 0. Is g at least b?
True
Let g be (-8 - (-7 - -1282))/(2 - 0). Let a = g + 628. Which is smaller: a or -15?
-15
Let s = 18.29 + -18.32. Is -4/39 at most s?
True
Let o(j) = -2*j**3 + 7*j**2 - 2*j - 3. Let r be o(3). Suppose -3*m - 2*m + 20 = r. Let q be 5 + (m + 20)/(-4). Which is smaller: q or 1/29?
q
Let z(y) = 117*y - 9812. Let h be z(83). Let j(r) = r**3 - 5*r**2 - 10*r + 5. Let f be j(-4). Are f and h unequal?
True
Let v = -16 - 52. Let j = -8236 + 8241. Is v greater than j?
False
Suppose -35*w + 41*w - 18 = 0. Suppose 0 = w*j - 5*v + 12 + 2, 2*j - 5*v + 16 = 0. Let n be 3 - (-2 + 2)/2. Which is smaller: n or j?
j
Let m = 0.47 + 0.45. Let d = m + 0.08. Let w = -24.4 - -24.2. Which is bigger: w or d?
d
Let f = -572197/3783 - -1966/13. Are -1 and f non-equal?
True
Let t be (1/2)/((-1)/214). Let i = -107 - t. Let p = -0.05 + 1.35. Does i = p?
False
Suppose -5*j + 172 = -l, 88*l - j + 281 = 86*l. Are -219 and l non-equal?
True
Let w be (-92)/(-26) + (-2 + 13/3)*348/406. Suppose 19 = 4*v - 1. Which is greater: w or v?
w
Let f be (0 + (-1)/(-19))*1. Let w(l) = -5*l - 11. Let c be w(-3). Let o be 2*(c - (-7)/(-2)). Is o not equal to f?
True
Let q be ((-440)/48)/((-70)/56). Which is smaller: q or -7.5?
-7.5
Let n(f) = 159*f**2 + 186*f - 1374. Let q be n(7). Which is smaller: q or 7718?
7718
Let d = -2908 - -3344. Is d at least 0.2?
True
Let m(c) = c**3 + 10*c**2 + 42*c + 297. Let a be m(-9). Which is bigger: 5/1401 or a?
5/1401
Let n(g) = -g + 25. Let t be n(10). Let h be (2/(-6))/(t/(-135)). Suppose -h*o + u = -17, 3*o - 5*u = 4*o + 5. Is o less than 1/2?
False
Suppose 3*r - 9 = -2*j, 0 = -5*j - 9*r + 6*r + 9. Which is bigger: 7/123 or j?
7/123
Let d(q) = -5*q**3 + 4*q**2 - q - 1. Let f be d(-2). Let w = 56 - f. Let i(z) = -5*z - 5. Let l be i(w). Is l > -8/9?
True
Suppose 1986 = -604*w - 6470. Let v = -16 + 34. Let o be 0 - (2 - 4) - v. Which is smaller: w or o?
o
Let t(q) = -3*q**2 + 98*q - 191. Let v be t(38). Is -802 <= v?
True
Let r = -989/4 + 109787/444. Let u(a) = a**2 + 27*a - 161. Let y be u(-32). Is y < r?
True
Let x be (-4)/(-26) - (-48 - -46)*(-751)/11622. Is x at least as big as 0?
True
Let l be -2 + (-2)/(-6) + 2274/198 + -10. Which is greater: l or -115/3?
l
Let w = 1.2 + -0.664. Let z = -0.074 - w. Is 1 smaller than z?
False
Let g = 428 - 424. Suppose -3*y = 6*o - 7*o + 10, -g*o - 5*y = 11. Suppose 0 = -3*d + d + 3*k, -1 = d - 2*k. Which is smaller: o or d?
o
Suppose -3*g + g = 2*z - 62, 2 = -z. Let s(d) = -2*d + 112. Let u be s(g). Suppose -4*c + 235 = c. Is u at most as big as c?
True
Let r be (-8 + (-33165)/(-4147))*4. Which is smaller: r or -1?
-1
Let x(z) = -5*z**2 - 5*z + 13. Let w be x(2). Let u be 1330/(-833) + 2/w. Suppose -4 = -n + 5*n. Which is smaller: n or u?
u
Let u be (3/(-2965))/(((-108)/(-10))/(-6)). Which is smaller: 1 or u?
u
Suppose 3*m - 4*u - 3 = 0, -5*m - u + 3 = -2*m. Let g be (1/3)/((-35)/(-180)). Let n = g - 32/35. Which is bigger: n or m?
m
Let p be -18 + (-37)/(-4477)*2266. Suppose 0 = -m - 3*m + 8. Is m equal to p?
False
Suppose 6*m - 2*m = 3*m - 9*m. Which is smaller: m or -0.162?
-0.162
Let d be ((-7843)/(-33))/((-6)/126). Is d less than -4992?
False
Let f(h) be the third derivative of 2/3*h**3 + 0 + 0*h - 16*h**2 - 1/24*h**4. Let p be f(4). Is -3 at most as big as p?
True
Let z = -863.7 - -828. Let q = z - -35.9. Which is smaller: 80 or q?
q
Let f(u) = -3*u**3 + 14*u**2 - 15*u - 5. Let c(q) = q**3 - q**2 + 2*q - 1. Let z(y) = 5*c(y) + f(y). Let d be z(-4). Which is smaller: d or 28?
d
Let k(i) = -i**3 - 29*i**2 - 31*i - 65. Suppose 3*x = -3*r - 93, -3*x - x = -3*r - 72. Let y be k(r). Which is greater: 4 or y?
y
Suppose -4*z = -3*l - 8*z - 18, 23 = -4*l - 5*z. Supp