uppose -3*l + 4 = l. Let z(u) = 6*u**3 - u**2 + u. Let y be z(l). Let i be y/10 - (-48)/(-55). Which is smaller: 1 or i?
i
Let g(v) = 9*v**2 - 81*v + 5. Let t be g(9). Is -14 greater than t?
False
Let y be ((-2)/18)/((-9)/(-54)). Which is smaller: y or 12/19?
y
Suppose -2*y - 11 = 2*p + p, -4*p - 16 = 4*y. Let w = 5.281 + -0.281. Which is smaller: w or y?
y
Let n = 167043/80 - 2088. Is n greater than -1?
True
Suppose 0 = -3*g + 9, 0 = -2*l + g + 11 - 4. Suppose -120 = -l*c - 55. Is c != 15?
True
Let f be ((-4)/(-3))/((-4)/(-78)). Let o = -7 + f. Let p = 1061 - 1042. Do o and p have the same value?
True
Let l = -0.1 + -15.9. Let y = l + 13.4. Let u = -1.6 - y. Which is bigger: u or -2?
u
Let b(q) be the second derivative of 2*q**3 - 15*q**2 - 2*q. Let f be b(3). Which is smaller: f or -1/2?
-1/2
Suppose -1056 - 99 = 7*c. Is c > -166?
True
Let g = -10169/1230204 + 2/9921. Suppose -a = -4*v + 1 + 2, 5*a + 15 = -2*v. Is g > v?
False
Suppose -5*z = 2*b + 56, b + 112 = -3*b + 4*z. Which is smaller: -26 or b?
b
Suppose -31*c + 5*c = 5876. Let z = -19748/3 - -190709/30. Let m = c - z. Are m and 0 nonequal?
True
Let p(j) = -2*j - 14. Let s be p(-13). Suppose 0 = -0*z + 6*z + s. Let b be (-4)/2*z/(-52). Which is greater: 0 or b?
0
Let u be 14/77 + 2258/286. Which is smaller: u or 7?
7
Let o = 693 + -692.7. Which is bigger: 137 or o?
137
Let p(r) = 3*r**3 + 3*r**2 + 2*r. Let s be 2/(-4)*(-1 + 3). Let l be p(s). Let c be l/7 + 22/77. Is 6/13 >= c?
True
Let a = 1552 + -1189. Which is bigger: a or 361?
a
Let m = -0.11 + 1.91. Let k = 9603/12772 + -6/3193. Which is greater: k or m?
m
Let s = -280 - -1986/7. Let n = -548838 - -65312178/119. Let h = n - s. Is h equal to 0?
False
Let w = 26 - 28. Let o be w/5 + (-14)/(-10). Let q be ((-1)/4)/(4/(-12)). Which is smaller: q or o?
q
Let w be 2 + -2 - (-3)/(-83). Let m = w + 175/249. Suppose -11*n - 7 = -29. Is m equal to n?
False
Let y be 3/3*(-1 - 1). Let w = 3 + 17. Let f be (-31)/w + 3/(-15). Which is greater: y or f?
f
Suppose 33*r = 41*r - 24. Is r equal to -2?
False
Suppose 0*p - 2*p = -5*z + 332, -3*p = 4*z - 261. Let r be (5 - z/12)*(-3 + 1). Is r greater than 17?
False
Let b = 7380 + -7377. Suppose -3*o + 0*o + 9 = 4*n, -2*o - 3*n + 6 = 0. Suppose 7 = o*m + 1. Which is smaller: b or m?
m
Suppose -2*k + 0*k - 8 = 0, -4*t - 2*k - 4 = 0. Let o be 4 - ((-504)/(-100) - t). Which is smaller: -1 or o?
-1
Suppose -617 = -3*c + 472. Suppose 4*q = -8 + 12, c = -5*o + 3*q. Is -71 bigger than o?
True
Let v be (-21 - -26) + ((-1)/(-1) - 5). Do v and -3/131 have the same value?
False
Let f = -13.2 + 12. Let v = -6.8 + f. Let i = 0.13 - 0.13. Is v equal to i?
False
Suppose -2*o = -10 + 4. Suppose o = -3*y + 2*y. Let x = -1.2 + 0.2. Is x at most as big as y?
False
Let j(d) = 11*d**2 + 16*d + 4. Let g be j(-1). Let u = 14179/34 + -417. Which is smaller: g or u?
g
Let g = -0.0554 - 543.9446. Is -1/2 at least g?
True
Let i be 2/7 + 240/42. Suppose -2 = -o, i*o - o = 5*r + 60. Is -6 greater than r?
True
Suppose 14*k + 30 = 11*k. Is k at most as big as -0.06?
True
Let o = 157 + -13. Which is bigger: 143 or o?
o
Let i(x) = -x - 5. Let c(p) = -p - 8. Let u be c(0). Let y be i(u). Let n = y - -2. Is n > 5?
False
Let y = 1/75 - 7/25. Suppose -1206 + 1207 = s. Which is bigger: s or y?
s
Let h(p) = p**2 - 3*p - 3. Let r be h(7). Let a = r + -25. Let t be 0 - (a - (-44)/8). Which is bigger: -6 or t?
t
Let p be (10/(-4) + 2)*(-60)/(-10). Let c be (-60)/(-32)*(-22)/p. Is c bigger than 13?
True
Let h = 0.554 - 3.084. Is h greater than 1/4?
False
Suppose 4 = 4*m - 16. Suppose m*r + r = 66. Is 12 bigger than r?
True
Suppose 87*j + 12969 = -29748. Which is bigger: -492 or j?
j
Let v(w) = 5*w + 55. Let n(c) = -11*c - 108. Let x(d) = -2*n(d) - 5*v(d). Let f be x(-20). Is f at most as big as -1/28?
False
Suppose 1808*l + 81 = 1817*l. Suppose -s + 5 = -6. Is s != l?
True
Suppose 468 = 29*n - 257. Are n and 10 equal?
False
Let z be (4*3)/((-36)/48) + 2. Which is bigger: z or -7?
-7
Let z = 211 - 211.024. Is z equal to -0.1?
False
Let i = 2276.03 + -2278. Which is bigger: i or 1/2?
1/2
Let w be 1/3 - (-8)/3. Let k = -3 - -25. Suppose -p + 25 = k. Are p and w nonequal?
False
Let c be -3 + 3/(3/7). Let l be -1 + c/3 + -1. Suppose 4*y = -5*o + 5, 2*o - 2 = y - 0. Which is smaller: l or y?
l
Let g = 1327 - 1336. Let y be (3 - 1) + -82 + 2. Let j be (-2)/8 - y/(-8). Which is greater: g or j?
g
Let g = 59 - 55. Let y be -3*g/24*-2. Is y less than or equal to -1/13?
False
Suppose 0 = -m + 4*d + 71, 2*m - d + 4*d = 131. Which is smaller: 66 or m?
66
Let g be (-1 - 39/(-30))/(4/(-5)). Let c = g + 47/40. Is 2/7 < c?
True
Let u be (-46)/(1 + (-22)/10). Let m = 38 - u. Is 2/33 less than or equal to m?
False
Suppose 0 = 8*z - 5*z. Suppose 6*g = -z*g + 18. Suppose 0 = -g*m + 2*m + 7. Which is smaller: 6 or m?
6
Let s be (-7 + 3 - (61 - 0)) + -4. Let r = 37 + s. Which is smaller: -33 or r?
-33
Let y be (611 - -3)/(10 + (-48)/2). Which is greater: -44 or y?
y
Let l = -10 - -12. Is l at least 27?
False
Let x(c) = 2*c + c - 22*c**2 + 1 - 38*c**2. Let n be x(3). Let p = -1576/3 - n. Is p > 0?
True
Let l(m) = m**2 - m - 3. Let b be l(0). Let h be (-6 + 3)/(1/b). Let o be 1/(1/11) + -3. Which is bigger: h or o?
h
Let v = 2814 + -112553/40. Which is smaller: -1 or v?
-1
Let g be (4 - 12)/((-1)/(-2)). Let v be -16 + 2 + (-4)/(-2). Let u = v - g. Is u greater than or equal to 6?
False
Let o(s) = -s**3 + 24*s**2 - 6*s + 17. Let k be o(24). Let j = -103 - k. Let x = 7 + 17. Is x != j?
False
Suppose 12*j = 7*j + 85. Let w = -5 + j. Which is smaller: w or 11?
11
Let b = 2.14 + -2.3. Let g = b - 0.74. Is 0.1 > g?
True
Let v be (-2)/8 - (-74391)/306332. Which is smaller: v or 0?
v
Let z(x) = -x**2 + 9*x - 7. Let q be z(8). Let i = -5/14 + 67/70. Is i equal to q?
False
Let c(b) = b**3 + b**2 - 8*b - 7. Let g be (0 - -1)*(2 + -3 + -2). Let z be c(g). Is z >= -1/73?
False
Suppose q - 3*u - 1 = 3, -5*u = 0. Let t be 1*(q - (3 - 0)). Which is smaller: t or 0?
0
Suppose -3*r - 24 = 27. Let t = -17 - r. Suppose j = 3*u + 14, 2*j - 4 = -t*u + 2*u. Which is smaller: -7 or u?
-7
Let j = 4 + -4. Suppose 0 = 2*m - s - 2*s - 24, j = 4*m + 2*s - 48. Let c be (-2)/(-6) + (-7)/m. Which is bigger: -2.1 or c?
c
Let x(n) = -n**3 - 33*n**2 + 110*n + 48. Let g be x(-36). Which is greater: g or -119/5?
-119/5
Let b = 28 - 28.07. Let p = -9.07 - -9. Let s = b - p. Which is bigger: s or 4?
4
Let b(i) = i**3 - 2*i**2 + i - 4. Let v = -6 + 9. Let d be b(v). Let a(j) = -j**3 + 9*j**2 - 9*j + 7. Let q be a(d). Is q <= 1/7?
True
Let j(m) = 2*m + 5. Let s be j(0). Suppose -s*w + 41 = 4*x, 0 = 5*w - 0*x + 5*x - 45. Which is smaller: 6 or w?
w
Let c be ((-22)/99)/(8/6). Do 25 and c have the same value?
False
Let r = -10.6 - -11.6. Let q = r + -12. Let p = 18 + -37/2. Which is smaller: p or q?
q
Let t(s) = 3*s - 41. Let u(q) = -2*q - 33. Let d be u(-6). Let i be t(d). Do i and -104 have the same value?
True
Let w(a) = 4*a - 55. Let m be w(-4). Is -70 greater than or equal to m?
True
Let l be ((-240)/248)/6*(-3)/(-5). Is l greater than -3/4?
True
Let d = -71 + 72.94. Let s = 2 - d. Let n = s + 0.04. Which is greater: n or 8?
8
Let b = -498408/137 - -3638. Suppose -2*m + 4 = 3*m - 4*p, p = -1. Is b less than m?
True
Let f(z) = z**2 - 6*z - 25. Let n be f(-6). Suppose i + 2*m = 50 - 9, -4*i - 4*m + 176 = 0. Do n and i have the same value?
True
Let p(o) = -o**3 + 7*o**2 + 2*o - 16. Let a be p(7). Let d be ((-2)/a)/(5/55). Is d at most 11?
True
Let k(p) = 178*p + 452. Let n be k(-6). Is n > -618?
True
Let c = 26/1581 + 543526/20553. Which is bigger: c or 26?
c
Let b = 282 + -245. Is b < 189/5?
True
Let r(s) = -s**3 - 39*s**2 - 76*s - 89. Let d be r(-37). Which is smaller: -19 or d?
-19
Let b = 47 - -244. Is b less than 292?
True
Let a(r) = -r**3 - 3*r**2 + 8*r + 6. Let n be a(-5). Let i be (-6)/4*n/(-78). Is i != 0?
True
Let y = -274/589 + 7/19. Let w be 0 - (3 - 2)*-9. Let k = w - 10. Which is smaller: y or k?
k
Suppose -4*i = -14 + 2. Suppose -i*f + 4*u = 2*u + 43, 3*u = -f + 4. Suppose 2 = 4*b + 54. Which is bigger: f or b?
f
Let r be (-9 + 3 + 7)/((-22)/(-4)). Which is bigger: -1/5 or r?
r
Let o = 9982/39 - 256. Let z(u) = -u**3 + 24*u**2 + 24*u + 33. Let n be z(25). Suppose -m = -1, 3*m + 0*m - n = 5*