 is greater: 67/7 or v?
v
Let p(n) be the second derivative of n**5/20 - n**4/4 - 3*n**3/2 - n**2 + 5*n. Let j be p(4). Let x be -19*1 - (5 - 3). Which is greater: j or x?
x
Let g = -9880 + 9879. Is -3420 at most g?
True
Suppose -22*f + 17*f = -3*q + 1033, -1412 = -4*q - 2*f. Which is smaller: 2/5 or q?
2/5
Let f be (-11 + -52)/(-9) + -3. Let b = 7.222 + -0.022. Let v = -7 + b. Which is smaller: f or v?
v
Let o = -115517/198 - -817/99. Is o > -574?
False
Let a(s) = 2*s**2 - 8*s - 11. Let w be a(5). Let p be 54971/(-588) + 2/(-8). Let k = p + 278/3. Does k = w?
False
Suppose -3*a = 6*m - 4*m - 1727, 2*m - 4*a = 1706. Let o = 915 - m. Which is bigger: 59 or o?
59
Let f(a) = -a**3 + 2*a**2 - 7*a + 32. Let p be f(3). Suppose -5*r + p*n - 7 = 0, -2*r - 4*n + 1 = -n. Is -15/38 != r?
True
Suppose 2*w = 6*w - 8. Let m = 78285 - 78275. Which is smaller: w or m?
w
Let s = 9120 + -191521/21. Does s = -0.334?
False
Let z = -12 + 0. Let b(i) = -2*i**3 - 19*i**2 + 120*i + 1100. Let n be b(-10). Which is smaller: z or n?
z
Let u(k) = 2*k**2 + 132*k - 257. Let o be u(-58). Which is greater: -1186 or o?
o
Let u(f) = -8*f + 278. Suppose 3*g + 2*x - 54 = 0, 19*x - 18*x = -4*g + 72. Let k be u(g). Is 135 greater than or equal to k?
True
Suppose 12*b - 146*b - 850 = 36*b. Suppose 4*s + s = -5*f + 45, 2*f - 5*s - 25 = 0. Let t be ((-8)/f)/((-3)/(-15)). Do t and b have the same value?
False
Let g = 3.81 - -0.19. Let w = -1.31 - 7.99. Let b = w - -0.3. Which is smaller: g or b?
b
Let z(p) = -p**3 - 13*p**2 - 22*p + 39. Let h be z(-13). Suppose -5*v = -4*r - 777, h = -2*r - 5*v - 86. Is -198 not equal to r?
False
Let q = 462532/3 - 152340. Is 1837 greater than or equal to q?
False
Suppose 2*o - 28 = -4*k, 2*o - 30 = -o - 3*k. Suppose 0 = o*y - 4*y - 68. Suppose u + 3*u - y = -2*n, n + 53 = 5*u. Is -1 at most u?
True
Let r = -5673 - 9342. Is 1/2 at most as big as r?
False
Let k = 3.052 - 4.03. Let r = 0.022 - k. Is r <= -266?
False
Let a = 2392 - 2341. Is a at least as big as 38?
True
Suppose -2*g = -g + x - 2, -2*g - 11 = 5*x. Suppose r = o - g, r = 4*o - r - 32. Let p = -51820/9 - -5758. Which is smaller: p or o?
p
Let v = 1333 + -1331. Suppose -4*p + 45 = -3*p. Which is smaller: p or v?
v
Let c = -73.22 - -0.22. Let s = -88 + c. Which is bigger: 0.1 or s?
0.1
Suppose 34*u + 14*u + 68*u = 0. Does u = 1/4741?
False
Let j = -1028 - -1034. Which is smaller: j or -277?
-277
Let v = 4600.621 + 14.379. Is v > -1/3?
True
Let d = -41976 - -41976. Let m = 175919329/157739760 - -6/219083. Let h = m + -1/240. Which is greater: h or d?
h
Let r = 5952 - 5247. Which is bigger: 704 or r?
r
Suppose -2*l - 3*a = 25, 7*l - 10*l - 39 = 3*a. Let q be 4/8*1316/l. Which is smaller: q or 4?
q
Let k = 45.04 + -30.04. Is -2 bigger than k?
False
Suppose 21*n - 3850 = 392. Let t = 159 - n. Is t at most -43?
True
Let k = -4001960/1059 - -3779. Let t = -5222 + 5221. Is t less than or equal to k?
True
Suppose 517*j = 514*j + u + 3974, -1320 = -j - 2*u. Which is greater: 1323 or j?
j
Let i be 3 - 1 - 43 - 1. Suppose -7*w + 4*w + o + 245 = 0, 5*o - 5 = 0. Suppose -4*t + w = -2*h, -164 = 3*h + h + 4*t. Which is smaller: i or h?
i
Let u = -2431 + 2432. Which is smaller: u or 2/985?
2/985
Suppose n + 72 = -7*n. Let o be (54/n)/(-3 - 87/(-28)). Is -56 at least as big as o?
True
Let i(m) = 24*m + 223. Let t be i(-6). Let x be -2 - (381/(-3))/(t + -8). Do -1 and x have the same value?
False
Suppose 3*d = -4*g - 1568, 0 = -86*d + 83*d + 5*g - 1496. Is d less than -4604/9?
True
Let p be -2 + 2 - 19/(-1). Let r be 99*5*55/25. Let y = r + -1071. Is p at most y?
False
Suppose 5*l - 37 = -4*t, -5*l + 64 - 9 = -5*t. Suppose -l*b - 66 = -3*b. Let w be 31/b + -1 + 4. Which is smaller: w or 2?
w
Let o = -976.5 - -976. Let d(v) = -v**2 - 6*v - 7. Let y be d(-7). Let r = 23 + y. Which is smaller: o or r?
o
Let o be (-2)/1 - (-2 - -33). Let x(z) = 6*z**2 + 1. Let k(u) = -17*u**2 - 29*u - 331. Let y(t) = k(t) + 3*x(t). Let h be y(37). Is o greater than h?
False
Let j(w) = 10*w + 8*w + 11*w - 3 - 25*w + 3*w**2 - w. Let c(u) = -u + 5. Let a be c(4). Let t be j(a). Which is smaller: 16/5 or t?
t
Let s be (58/(-87))/((-2)/(-1764)). Which is greater: s or -585?
-585
Let x be (-85)/(-51)*9/15. Let u = -39 - -29. Let r be 4/u*30/99. Is x equal to r?
False
Let s = 48.9 - 43.7. Which is bigger: -0.07 or s?
s
Let d = 4151 + -4186. Let p(g) = -g**2 + 10*g + 3. Let t be p(13). Which is smaller: t or d?
t
Let i = 2471.8 + -2278. Which is bigger: 0.4 or i?
i
Suppose 0 = 4*y + 24*d + 1136, 3*y = -5*d - 40 - 851. Which is smaller: y or -292?
y
Let v(z) = -z**2 - 8*z - 4. Let i be v(-5). Let r be (-34)/85 + 34/10. Suppose x = r*x - 18. Which is greater: x or i?
i
Suppose h - 5*h = -5*u + 4, -4*h = 4*u + 40. Which is greater: h or -189/26?
h
Let o = -2/13921 + 13927/41763. Which is greater: o or -5274?
o
Let l(o) = o**2 + 7*o - 6. Let g be l(-9). Let q be -36*1/(g - -2). Suppose -14 = m - 4*z, 3*z + 4 - 7 = -3*m. Which is smaller: m or q?
q
Suppose -5*h - 3*i + 70 = -8*i, -5*h + 34 = i. Is 0 less than or equal to h?
True
Let i(p) = p**2 - 19*p - 10. Let g be i(6). Let z = 5.3 - 6.3. Is g equal to z?
False
Let n be 168/184 + (-8)/(-92). Let f = -11 + 10. Let d be (f - 27/(-15)) + 0. Which is bigger: n or d?
n
Suppose -2*q = 0, 0 = -4*z - q - q + 1104. Suppose -4*m + m = -z. Do 90 and m have different values?
True
Let x = -1211.1 - 486.9. Which is smaller: x or 0?
x
Suppose -4*t + 3*r = -1174, -r = 1385*t - 1386*t + 294. Is 316 <= t?
False
Let x be (0 - 0) + (-4 - (-506)/110). Let w = -0.28 - 0.42. Which is smaller: x or w?
w
Let a be ((-153)/16)/(41/738). Which is bigger: -171 or a?
-171
Suppose -h + 5*h = h. Let r(y) = y**2 + 5*y + 19. Let w be r(h). Suppose 4*a - 24 + 10 = 2*p, -p - 2*a - w = 0. Which is smaller: -15 or p?
-15
Let r be ((-3)/2)/(2 + (-15)/6). Suppose r*z = -5*a + 213 + 247, 0 = 2*z + 4*a - 308. Is 149 <= z?
True
Let r(p) = p + 14. Let z be r(-11). Suppose b - 5*c - 2 = 24, -2*b - z = c. Let o be 0*b/(-1 - -3). Which is smaller: -3/73 or o?
-3/73
Let w be 4184/(-262) + (1447 - 1431). Let c be (-1 - -2 - 1)/2. Which is smaller: w or c?
c
Let r = 3.61 - 0.91. Let u = 15.3 - r. Let x = u + -2.6. Are x and -1 unequal?
True
Let u = 207.9 - 34.9. Let t = 91 - u. Let y = t + 79. Is y bigger than 1/9?
False
Suppose -2*v = 5*b + 17, 22*b + 4*v = 20*b + 6. Do b and -201/53 have the same value?
False
Let y = 0 + 0. Let r be 1 - 18/135*489/11. Let s = 26/5 + r. Which is smaller: y or s?
y
Let q = 522 + -1226. Let w = 2110/3 + q. Is 176 bigger than w?
True
Suppose -294*r + 208*r - 86 = 0. Do -20/73 and r have different values?
True
Let z = 2693 + -2040. Which is smaller: 651 or z?
651
Let q = -4839 - -5650. Is q >= 812?
False
Let o = -1976 - -1978. Let f be ((-825)/(-273))/((-2)/(-2)). Let m = f - 30/13. Is m at most as big as o?
True
Suppose 3*b + 152 = -190. Let v be (35/(-2))/(-7)*b/(-5). Let l = v + -56. Which is greater: -5/12 or l?
l
Let u(h) = -h - 6. Let v be u(-5). Let g = -41246/13 + 948671/299. Which is bigger: v or g?
g
Suppose 13*a = 1233 + 2706. Do 303 and a have different values?
False
Let x(f) be the third derivative of 3*f**4/8 + 41*f**2 + f. Let v be x(-12). Which is smaller: -107 or v?
v
Let t = -0.27 + -0.08. Let x = 321422.97 + -321423. Do t and x have the same value?
False
Suppose -7*k + 23889 - 4380 = 0. Let g = k - 1881. Let m be (9/(-12))/(g/(-16)). Which is smaller: -1 or m?
-1
Suppose -14 = m + 4*n, -9*m = -6*m - 2*n. Let q be (44/55)/(m*(-1)/(-10)). Is -7 not equal to q?
True
Let a be (5 - 1)*98/7. Let o = a - 69. Is o equal to 4?
False
Suppose -127 - 35 = 3*p. Let v = -40 - p. Let z be (-26)/143 - (-2)/((-88)/v). Is 0.9 at most as big as z?
False
Let m(n) = 2*n**3 + 138*n**2 - 141*n - 72. Let a be m(-70). Which is bigger: -151.8 or a?
a
Let b be (-3)/141756*-2*4. Which is greater: 0 or b?
b
Let x(b) = 30*b + 734*b**2 - 9*b + 4*b - 733*b**2 - 1. Let p be x(-25). Which is smaller: p or -4/133?
p
Let t be 3764090/209*2/5. Is 7204 bigger than t?
False
Let k be ((-16)/(-8))/((-2)/(-5)). Let o(r) = 20*r + 5. Let i be o(k). Is 105 > i?
False
Let i be (-386)/16 + 56/448 + 9. Is -185 bigger than i?
False
Let l be ((-2)/(-7432568))/((119/41907446)/17). Let h = l - 2001/1898. Let b = -1/89 + h. Is b greater t