18/8. Let x be 1620/504 - (-3)/o. Which is greater: x or -2?
x
Let b(t) = -2*t**2 + 18*t - 2. Let p be b(9). Let l = 66 - p. Suppose -5*v + 75 = 3*h, 2*v + 4*h = -2*v + l. Which is smaller: v or 11?
11
Let f be (-24 - 5) + 55/11. Let g(c) = -c**2 - 3*c + 4. Let j(n) = 2*n**2 - n - 2. Let d be j(2). Let b be g(d). Is b at most f?
True
Let w be (-1012)/115 - -4*-2*3/12. Let q(a) be the second derivative of -a**5/10 + a**4/6 - a**2 - a. Let c be q(2). Are w and c equal?
False
Let u = 3403/3 + -1135. Is -2061 > u?
False
Let k be (439/2)/((2/(-14))/(100/350)). Which is greater: k or -436?
-436
Let d = -16891 - -16890.9. Is d at most as big as -2732?
False
Let u(x) = 8*x**3 + x**2 - 6*x + 6. Let l be u(4). Suppose -5*i - 10 = -3*t - l, -3*i - 15 = 0. Let w be t/399 - 2/(-6). Which is smaller: w or -1?
-1
Suppose 68*k - 72*k + 1076 = 0. Let t = -267 + k. Which is bigger: t or 1/8?
t
Let b = -214916/51 + 4214. Is -6/13 equal to b?
False
Let q be 2/(-6)*(-4 - -7). Let k(w) = w + 2. Let n be k(q). Suppose -528 = -90*p - 5478. Is n greater than p?
True
Let q(h) = -h**3 + 18*h**2 - 18*h + 17. Let p(r) = -10*r - 3. Suppose 13*s - 8*s + 10 = 0. Let m be p(s). Let a be q(m). Is 1/9 less than or equal to a?
False
Let j(f) = -11*f**2 + f + 1. Let o be j(1). Let h(q) = -6*q - 47. Let g be h(o). Suppose 0 = -4*t - 8, -3*n - g = t + 4*t. Which is greater: 5/7 or n?
n
Let r(p) = -3*p**2 - 35*p - 21. Let y(m) = m**2 + 12*m + 7. Let s(l) = -6*r(l) - 17*y(l). Let t be s(-7). Suppose -22 = 3*o - 61. Is t less than o?
False
Let c = 6/13 - -185/78. Suppose 24*o = 25*o + 3*h, 0 = -5*o + h + 16. Do o and c have different values?
True
Let z(o) = -3*o + 29. Suppose 2*x + 3*n - 8 = -0*x, 3*x - 4*n = 29. Let c be z(x). Let w be 4 + -2 - -5*1. Which is bigger: w or c?
c
Let c be 1/3*(2 + -15). Let j be (498 - -3)/(1 - 4 - -4). Let k = j - 506. Is k >= c?
False
Let t = 23.4 - 2.4. Let g(m) = 2*m**3 + 15*m**2 - 9*m - 10. Suppose 0 = -5*h - 356 + 316. Let a be g(h). Which is greater: a or t?
t
Let o be (0 - -1)/(3/12). Let b be ((-95)/(-94) - 1)*o. Let s(x) = 3*x**3 - 99*x**2 - 6*x + 197. Let k be s(33). Which is smaller: b or k?
k
Let g = 3659167021228280/9559755387 + -22764/11672473. Let z = -382768 + g. Let f = 2/819 - z. Which is bigger: 1 or f?
1
Let m(t) = t**2 + 19*t - 5. Let q be m(-20). Suppose 273 = -q*n + 8*n. Let c be 10/65 + (-371)/n. Which is smaller: 9 or c?
9
Let l be 3*-1 - (207 - 210). Let w = -134 - -1741/13. Let d = w + 211/2405. Is l at least as big as d?
False
Suppose 0 = 3*a - 32*a + 6960. Suppose k = 6*k - 1190. Which is bigger: a or k?
a
Suppose -12 = 5*m - m. Let v be 62/26*-3 - (-63 - -57). Let u = -155/91 + v. Is u bigger than m?
True
Let g = 39 + -50. Let v = g - 25. Let n be ((-4)/((-80)/v))/((-8)/(-10)). Which is smaller: -1 or n?
n
Suppose 28*l + 1377 = -70*l + 17*l. Which is bigger: l or -55/3?
l
Let f be (-32662)/((-27)/(621/(-230))). Which is smaller: f or -3267?
-3267
Suppose -19 = 7*j - 33. Let b be (j/(-36))/((-18)/(-1431)). Is b smaller than -5?
False
Let f(o) = -o**3 + 3*o**2 + 3*o - 10. Suppose g - t - 8 = -0, -g + 4*t = -23. Let d be f(g). Is d at least -4.8?
True
Let d be 0 + ((-2)/6 - 110/(-15)). Let h be 297/d - 1/((-35)/20). Suppose 4*k + 2*w = -10 - 8, -h = 4*k - 3*w. Is k not equal to -0.01?
True
Suppose 2*s - 8 = 0, -2*s = 4*v - 31 + 135. Let z be 3 - (-4 + 32 - 1). Which is bigger: v or z?
z
Let z be 4/(-6) + (-2438)/(-159). Suppose -5*l + 30 = 10. Suppose 2*j = -s + 12 + 25, -89 = -l*j - 5*s. Is j >= z?
True
Let r(f) = -4 - f + 3*f + 1 - 17. Let n be r(-2). Which is bigger: 6 or n?
6
Let l(d) = -762*d - 10. Let h be l(-4). Let z be -23 + 24 + (-3042)/h. Is z != 0?
True
Let h = 25142/5 - 5028. Are 6/161 and h non-equal?
True
Let p be (-390)/9*48/(-8). Let j = p + -329. Is -75 < j?
True
Suppose 436*g = 498*g. Which is smaller: g or -82/155?
-82/155
Suppose -q = q. Let d be (1*(-48)/72)/((-94)/(-3)). Are q and d nonequal?
True
Suppose -5*q - 1250 = 4*z, -5*q - 3*z - 1000 = -q. Let j = q + 312. Are j and 67 non-equal?
True
Let q(z) = 4*z - 33. Let u be q(8). Let o be (u + (-145)/(-10))/((-2)/12). Is o less than or equal to -80?
True
Let l = -211.9748 + -0.0252. Let t = l - -92. Which is greater: t or -1?
-1
Let k = 3737 - 3847. Which is smaller: -8 or k?
k
Let o be (-9)/9 - (9/3 + 41). Let h(q) = q + 45. Let k be h(o). Is 1/247 less than k?
False
Let d = 431 - 475. Let l be -5*(13 - (8 + -4)). Are l and d nonequal?
True
Let x = 1.1019 - 0.0219. Let r = x - 0.82. Which is greater: 2/5 or r?
2/5
Let d = -481088612/855 - -562677. Let h = d - -1/171. Suppose -6 = -0*f - f + 5*w, -f - 4*w = 3. Do h and f have different values?
True
Let g = -252.6 + 251.6. Is g greater than 35?
False
Let t = -238.4 - -237. Let j = -24.5 + 26.5. Is j != t?
True
Let l = 161 + -806/5. Let t(h) = -h**3 - 1. Let a(y) = -5*y**3 - 2*y**2 - 2*y - 8. Let q(f) = a(f) - 6*t(f). Let w be q(3). Which is bigger: w or l?
w
Let b = -1397/240 + 35/6. Suppose 9*n - 12*n + 3 = 0. Are b and n nonequal?
True
Let y = 100715/108 - 3705/4. Let t = y - 7148/1161. Suppose -21 = -5*k + 767*h - 765*h, -8 = h. Which is smaller: t or k?
t
Suppose -517*t + 1997 = 5*r - 513*t, t - 400 = -r. Which is smaller: 396 or r?
396
Let b be (-1)/4 - (-75)/12. Suppose 42*f - 14*f = 47 + 569. Is b smaller than f?
True
Let l(u) = u**2 + 3*u - 11. Suppose 0 = -d + p - 5, -d - 2*p - 5 = p. Let q be l(d). Let t be (4 - (-47)/q) + 1. Is t greater than -41?
False
Let b = -0.20525 + -0.49475. Is -0.335 < b?
False
Suppose 2511466 = 257*z + 80*z - 1249791. Which is smaller: 11160 or z?
11160
Let w be (-1 - -3)*(-4 + 5) + -245. Let r = -250 - w. Which is smaller: 5 or r?
r
Let f(n) = -n**3 - 7*n**2 - n - 6. Let o be f(-7). Let a be 2 - o - (-93)/(-33). Suppose -303*p = -305*p - 6. Is a > p?
True
Let q = 9165 + -9252. Which is smaller: q or -92?
-92
Suppose 2*w - 4 = 4*g, -2*w + 8 = -4*g + g. Let x be (-1)/(-5)*-1 + 62/w. Suppose -69 = -2*a - 3*m, -5*a + 170 = x*m - m. Do 32 and a have the same value?
False
Let k be (4/(-64))/(108/(-288)). Let g(z) = 1 - 5*z + 4 + 6*z. Let x be g(-5). Is k > x?
True
Let w = -7796 - -8067. Which is greater: w or 269?
w
Suppose 0 = h + 3*f - 4, -4*f = -3*h + 4 - 5. Let k be 41 - 37 - (-3030)/(-765). Which is smaller: h or k?
k
Suppose -5*i + 4*n = -20, n + 187 = 182. Which is smaller: -7/922 or i?
-7/922
Suppose -3 = -a + 1. Let j be (32/(-24))/(a/6). Let r be ((-6)/(5 + -7))/((-9)/12). Which is smaller: r or j?
r
Let n = 873.2 - 873.08. Which is smaller: 53 or n?
n
Let c be 2/1 + ((-114)/133 - (-1661)/(-1386)). Which is bigger: 251 or c?
251
Let o = 22.304 - 22.4. Let c = o + -0.904. Is c smaller than -0.096?
True
Let t(m) = -2*m**3 + 6*m**2 + 8*m - 10. Let a be t(5). Let p be (-1)/((-495)/a - 7). Which is smaller: p or -8?
p
Let g(k) = k**3 + 33*k**2 + 247*k - 11. Let h be g(-18). Is 2826/7 greater than h?
True
Let t = -164 + 1474/9. Let d = -0.4977 + 19.4977. Which is greater: t or d?
d
Let t = -3689533/43175 + 940/11. Which is smaller: t or -0.1?
-0.1
Suppose 3*z + 8 = n, -16 = -5*z + 15*n - 17*n. Let r be 0 + 36/(-3) - -2. Let a be r/12*(-3)/190. Which is greater: z or a?
a
Suppose -3*n + 160 = -n - 2*m, -n + 3*m + 90 = 0. Suppose -20*t - 15 = -n. Let y(v) = v**3 + 3*v**2 + v. Let w be y(-2). Does t = w?
False
Suppose s + 2*s = l - 14, -l = 3*s + 16. Let k be (-11)/(1/12*-6). Which is greater: k or l?
k
Let v be -1 - (-1)/(2/4). Let g = -66.6 - -24.4. Let x = 4.8 - g. Which is bigger: x or v?
x
Let r = 429.03537 - -0.06463. Let v = r - 429. Which is smaller: v or 93?
v
Let o = 273686/713823 + -63/1067. Let k = o + 2/223. Let f = 0.415 + -0.015. Is k < f?
True
Let l = 31068.4905 + 6.5095. Is 1 > l?
False
Let a = 353981/14 - 25303. Is a at least -20?
True
Let q be 137/3 + (-4)/6. Suppose -3 = -3*h - i + 1, 5*i = -h + 20. Suppose -3*d + 13*w - 9*w = -151, h = 2*d - 4*w - 106. Is q < d?
False
Let z = 27 - 27.11. Suppose -700 = -556*p + 416*p. Is z >= p?
False
Let w = 11 - 10.928. Suppose 0 = 14*y + 9 - 9 + 14. Is w at most y?
False
Let r = 6054 + -6033. Is 23 at least as big as r?
True
Suppose -2*f + 8 = 0, -4*s + 2*f = -2*s - 22. Suppose 3*a - 25 = -2*a, -2*c - a + 1 = 0. Let i be 11/(44/48) - c. Which is bigger: s or i?
s
Suppose -3 = 2*z + 4*w + 81, 4*z + 4*w + 176 = 0.